From 6606adf757bc5eb523bdb1c3d1316c921923646a Mon Sep 17 00:00:00 2001 From: Stefan Brass <stefan.brass@informatik.uni-halle.de> Date: Tue, 20 Aug 2019 11:28:24 +0200 Subject: [PATCH] Optimization for Runtime Estimation --- graph/graph.cpp | 152 ++++- opt/{OPT => BEST} | 0 opt/MARIADB | 1306 +++++++++++++++++++++-------------------- opt/RUNS | 23 + opt/SOUFFLE | 688 ++++++++++++++++++++++ opt/estimate_data.csv | 3 + 6 files changed, 1506 insertions(+), 666 deletions(-) rename opt/{OPT => BEST} (100%) create mode 100644 opt/SOUFFLE diff --git a/graph/graph.cpp b/graph/graph.cpp index f33d737..91fae50 100644 --- a/graph/graph.cpp +++ b/graph/graph.cpp @@ -2,7 +2,7 @@ // Project: rbench - Logic Programming and Database Benchmarks // Filename: graph/graph.cpp // Purpose: Alternative Graph Generator -// Last Change: 23.04.2019 +// Last Change: 10.05.2019 // Language: C++ // EMail: brass@informatik.uni-halle.de // WWW: http://www.informatik.uni-halle.de/~brass/ @@ -913,7 +913,7 @@ class Output { std::ofstream &file = files_[i]; switch(format_[i]) { case FORMAT_P: - file << "par(" << from << "," << to << + file << "par(" << from << ", " << to << ")." << "\n"; break; case FORMAT_TSV: @@ -1016,6 +1016,67 @@ bigint_t pow2(int n) { return pow; } +//----------------------------------------------------------------------------- +// Prime Number test: +//----------------------------------------------------------------------------- + +bool is_prime(int p) { + for(int i = 2; i < p; i++) { + if(p % i == 0) + return false; + } + return true; +} + +//----------------------------------------------------------------------------- +// Compute Prime Number Greater Than or Equal To a Number: +//----------------------------------------------------------------------------- + +int next_prime(int p) { + while(!is_prime(p)) { + p++; + if(p < 0) { + std::cout << + "Overflow in computation of prime number\n"; + exit(23); + } + } + return p; +} + +//----------------------------------------------------------------------------- +// Compute Random Number from 0 to n (inclusive): +//----------------------------------------------------------------------------- + +int rand_until(int n) { + //return rand() % (n+1); + int r = rand(); + int result = r % (n+1); + std::cout << "rand_until(" << n << ") = " << result << + "\t[rand = " << r << "]\n"; + return result; +} + +//----------------------------------------------------------------------------- +// Random Suffling of Array: +//----------------------------------------------------------------------------- + +void rand_shuffle(int arr[], int len) { + for(int i = len-1; i > 0; i--) { + int j = rand_until(i); + int swap = arr[i]; + arr[i] = arr[j]; + arr[j] = swap; + } + + std::cout << "\n"; + std::cout << "Result of Shuffle (Array Length: " << len << "\n"; + for(int i = 0; i < len; i++) + std::cout << "\t arr[" << i << "] = " << arr[i] << "\n"; + std::cout << "\n"; +} + + //============================================================================= // Generator Functions for Graphs: //============================================================================= @@ -1213,7 +1274,7 @@ void gen_graph_s(int n, int k, output_t out, gsize_t gsize) { // Check divisibility condition: if(n % (k+1) != 0) { std::cout << "S[n,k] requires that n is divisible by k+1.\n"; - exit(23); + exit(24); } // Set number of nodes: @@ -1490,6 +1551,68 @@ void gen_graph_d(int n, int k, output_t out, gsize_t gsize) { gsize->set_tc_inst(k * (3 * n)); } +//----------------------------------------------------------------------------- +// U-Graph (Random Graph with Uniform Distribution of Node Degrees): +//----------------------------------------------------------------------------- + +// This Graph Generation Algorithm is more or less copied from OpenRuleBench. +// The first parameter n is the number of nodes. +// The second parameter k the number of edges. +// The two next prime numbers p1 and p2 greater than n are computed +// and two arrays a1 and a2 of size p1 and p2 are generated. +// These arrays are filled with the numbers 1..n and p1/p2 - n entries +// with the value 0. +// The two arrays are randomly shuffled and then a1[i mod p1] +// is connected with a2[i mod p2] and all connections with 0 are ignored. + +void gen_graph_u(int n, int k, output_t out, gsize_t gsize) { + + // Check that second parameter is defined: + if(k < 0) { + second_par_missing("U"); + } + + // Set number of nodes: + out->set_nodes(n); + + // Compute next two prime numbers greater than n: + int p1 = next_prime(n + 1); + int p2 = next_prime(p1 + 1); + + // Allocate and fill lists of nodes: + int *a1 = new int[p1]; + int *a2 = new int[p2]; + for(int i = 0; i < p1; i++) { + a1[i] = (i < n)? (i+1) : 0; + } + for(int i = 0; i < p2; i++) { + a2[i] = (i < n)? (i+1) : 0; + } + + // Do the random shuffling: + rand_shuffle(a1, p1); + rand_shuffle(a2, p2); + + // Generate edges: + int generated_edges = 0; + for(int i = 0; generated_edges < k; i++) { + int node1 = a1[i % p1]; + int node2 = a2[i % p2]; + if(node1 != 0 && node2 != 0) { + out->write_edge(node1, node2); + generated_edges++; + } + } + + // Free allocated memory: + delete[] a1; + delete[] a2; + + // There are no formulas for the benchmark size, only edges and nodes: + gsize->set_num_nodes(n); + gsize->set_num_edges(k); +} + //============================================================================= // The main Function: //============================================================================= @@ -1504,7 +1627,7 @@ int main(int argc, str_t argv[]) // The program should be called with the graph and the output files: if(argc < 3) { std::cout << "Usage: ./graph GraphID OutputFile1 ...\n"; - exit(24); + exit(25); } // Get graph parameters, first code: @@ -1513,7 +1636,7 @@ int main(int argc, str_t argv[]) char graph_code = *p++; if(graph_code == '\0') { std::cout << "Impossible empty Graph ID.\n"; - exit(25); + exit(26); } // First parameter: @@ -1524,7 +1647,7 @@ int main(int argc, str_t argv[]) par_chars[i] = 0; if(i == 0) { std::cout << "First parameter in graph ID missing.\n"; - exit(26); + exit(27); } int par1 = str_int(par_chars); if(*p == 'k') { @@ -1559,7 +1682,7 @@ int main(int argc, str_t argv[]) par_chars[i] = 0; if(i == 0) { std::cout << "Second parameter in graph ID missing.\n"; - exit(27); + exit(28); } par2 = str_int(par_chars); if(*p == 'k') { @@ -1589,7 +1712,7 @@ int main(int argc, str_t argv[]) // Check that we have successfully parsed the entire graph ID: if(*p != '\0') { std::cout << "Unexpected characters at the end of graph ID.\n"; - exit(28); + exit(29); } // Open output file(s): @@ -1642,10 +1765,14 @@ int main(int argc, str_t argv[]) // Total order graph (maximum acyclic graph) gen_graph_t(par1, par2, &output, &formula); break; + case 'u': + case 'U': + // Random Graph, Uniform Distribution of Node Degrees + gen_graph_u(par1, par2, &output, &formula); + break; case 'v': case 'V': // InVerted bin. tree (looks like V if edges point down) -std::cout << "TODO: COMPUTATION OF ITERATIONS IS WRONG. MUST SAVE OLD TC VER\n"; gen_graph_v(par1, par2, &output, &formula); break; case 'w': @@ -1666,16 +1793,13 @@ std::cout << "TODO: COMPUTATION OF ITERATIONS IS WRONG. MUST SAVE OLD TC VER\n"; case 'a': case 'A': // Acyclic random graph - case 'u': - case 'U': - // Random graph with Uniform node degrees std::cout << "Please use the other graph generator " << "for this graph.\n"; - exit(29); + exit(30); default: std::cout << "Unknown graph type '" << graph_code << "'.\n"; - exit(30); + exit(31); } // Output number of edges written: diff --git a/opt/OPT b/opt/BEST similarity index 100% rename from opt/OPT rename to opt/BEST diff --git a/opt/MARIADB b/opt/MARIADB index 90679ea..c686dee 100644 --- a/opt/MARIADB +++ b/opt/MARIADB @@ -1,3 +1,4 @@ +Wed May 1 17:24:41 CEST 2019 Welcome to the TC runtime prediction optimizer. Number of Threads: 30 @@ -6,681 +7,682 @@ Doing optimization for: mariadb Search Space for Parameter Values: --------------------------------- - Startup: 0 - 200 [Step: 1] + Startup: 0 - 300 [Step: 1] LoadX: 1000 - 1500 [Step: 1] RuleApp: 200 - 600 [Step: 1] - Result: 1000 - 1500 [Step: 1] + Result: 800 - 1500 [Step: 1] -Number of parameter tuples: 20230931601 +Number of parameter tuples: 42390311901 Starting 30 threads ... -[Job 11: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 17: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 9: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 0: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 4: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 5: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 2: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 15: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 1: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 3: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 11: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 6: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 8: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 14: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 9: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 10: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 12: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 13: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 0: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 6: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 22: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 4: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 16: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 26: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 23: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 24: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 16: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 15: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 29: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 7: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 19: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 20: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 21: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 25: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 12: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 19: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 28: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 26: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 27: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 21: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 23: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 8: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 10: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 29: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 3: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 1: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 7: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 17: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 28: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) [Job 18: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 5: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) -[Job 21: 5%, Best: 22]: (S: 147, X: 1149, A: 431, R: 1042) -[Job 23: 5%, Best: 22]: (S: 159, X: 1149, A: 431, R: 1030) -[Job 8: 5%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 22: 5%, Best: 22]: (S: 153, X: 1149, A: 431, R: 1036) -[Job 24: 5%, Best: 22]: (S: 165, X: 1149, A: 431, R: 1024) -[Job 29: 5%, Best: 22]: (S: 195, X: 1149, A: 425, R: 1000) -[Job 28: 5%, Best: 22]: (S: 189, X: 1147, A: 431, R: 1000) -[Job 20: 5%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 19: 5%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 27: 5%, Best: 22]: (S: 183, X: 1148, A: 431, R: 1006) -[Job 5: 5%, Best: 24]: (S: 35, X: 1156, A: 431, R: 1154) -[Job 16: 5%, Best: 23]: (S: 112, X: 1166, A: 430, R: 1078) -[Job 26: 5%, Best: 22]: (S: 177, X: 1148, A: 431, R: 1012) -[Job 13: 5%, Best: 23]: (S: 91, X: 1171, A: 430, R: 1098) -[Job 25: 5%, Best: 22]: (S: 171, X: 1148, A: 431, R: 1018) -[Job 7: 5%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 2: 5%, Best: 24]: (S: 14, X: 1174, A: 430, R: 1175) -[Job 18: 5%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 0: 5%, Best: 23]: (S: 0, X: 1174, A: 430, R: 1189) -[Job 1: 5%, Best: 24]: (S: 7, X: 1174, A: 430, R: 1182) -[Job 6: 5%, Best: 24]: (S: 42, X: 1174, A: 430, R: 1147) -[Job 3: 5%, Best: 24]: (S: 21, X: 1157, A: 431, R: 1168) -[Job 10: 5%, Best: 23]: (S: 70, X: 1172, A: 430, R: 1119) -[Job 15: 5%, Best: 23]: (S: 105, X: 1171, A: 430, R: 1084) -[Job 9: 5%, Best: 23]: (S: 63, X: 1154, A: 431, R: 1126) -[Job 4: 5%, Best: 24]: (S: 28, X: 1174, A: 430, R: 1161) -[Job 17: 5%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 11: 5%, Best: 23]: (S: 77, X: 1172, A: 430, R: 1112) -[Job 12: 5%, Best: 23]: (S: 84, X: 1172, A: 430, R: 1105) -[Job 14: 5%, Best: 23]: (S: 98, X: 1171, A: 430, R: 1091) -[Job 21: 10%, Best: 22]: (S: 147, X: 1277, A: 424, R: 1048) -[Job 8: 10%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 22: 10%, Best: 22]: (S: 153, X: 1277, A: 424, R: 1042) -[Job 26: 10%, Best: 22]: (S: 177, X: 1277, A: 424, R: 1018) -[Job 29: 10%, Best: 22]: (S: 195, X: 1276, A: 424, R: 1000) -[Job 16: 10%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 23: 10%, Best: 22]: (S: 159, X: 1277, A: 424, R: 1036) -[Job 28: 10%, Best: 22]: (S: 189, X: 1277, A: 424, R: 1006) -[Job 25: 10%, Best: 22]: (S: 171, X: 1277, A: 424, R: 1024) -[Job 27: 10%, Best: 22]: (S: 183, X: 1277, A: 424, R: 1012) -[Job 7: 10%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 6: 10%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 24: 10%, Best: 22]: (S: 165, X: 1277, A: 424, R: 1030) -[Job 19: 10%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 0: 10%, Best: 24]: (S: 0, X: 1343, A: 421, R: 1197) -[Job 17: 10%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 18: 10%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 5: 10%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 20: 10%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 1: 10%, Best: 24]: (S: 7, X: 1342, A: 421, R: 1190) -[Job 2: 10%, Best: 24]: (S: 14, X: 1342, A: 421, R: 1183) -[Job 13: 10%, Best: 23]: (S: 91, X: 1338, A: 421, R: 1106) -[Job 3: 10%, Best: 24]: (S: 21, X: 1342, A: 421, R: 1176) -[Job 14: 10%, Best: 23]: (S: 98, X: 1319, A: 422, R: 1098) -[Job 4: 10%, Best: 24]: (S: 28, X: 1341, A: 421, R: 1169) -[Job 21: 15%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 10: 10%, Best: 23]: (S: 70, X: 1264, A: 425, R: 1124) -[Job 11: 10%, Best: 23]: (S: 77, X: 1320, A: 422, R: 1119) -[Job 12: 10%, Best: 23]: (S: 84, X: 1320, A: 422, R: 1112) -[Job 15: 10%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 8: 15%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 9: 10%, Best: 23]: (S: 63, X: 1321, A: 422, R: 1133) -[Job 28: 15%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 22: 15%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 27: 15%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 7: 15%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 16: 15%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 26: 15%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 25: 15%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 29: 15%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 17: 15%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 5: 15%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 18: 15%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 24: 15%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 23: 15%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 6: 15%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 0: 15%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 2: 15%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 1: 15%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 19: 15%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 15: 15%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 20: 15%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 4: 15%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 13: 15%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 11: 15%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 14: 15%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 12: 15%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 8: 20%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 3: 15%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 28: 20%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 10: 15%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 27: 20%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 25: 20%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 21: 20%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 7: 20%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 26: 20%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 16: 20%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 23: 20%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 5: 20%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 9: 15%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 29: 20%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 24: 20%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 0: 20%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 17: 20%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 18: 20%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 22: 20%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 2: 20%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 19: 20%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 6: 20%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 1: 20%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 12: 20%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 15: 20%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 4: 20%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 27: 25%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 13: 20%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 28: 25%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 20: 20%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 21: 25%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 26: 25%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 11: 20%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 14: 20%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 25: 25%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 3: 20%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 8: 25%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 7: 25%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 0: 25%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 29: 25%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 16: 25%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 2: 25%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 18: 25%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 9: 20%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 10: 20%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 17: 25%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 1: 25%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 24: 25%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 22: 25%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 5: 25%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 23: 25%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 27: 30%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 21: 30%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 15: 25%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 19: 25%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 6: 25%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 4: 25%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 12: 25%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 26: 30%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 28: 30%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 25: 30%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 8: 30%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 7: 30%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 14: 25%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 13: 25%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 20: 25%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 11: 25%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 10: 25%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 0: 30%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 3: 25%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 29: 30%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 23: 30%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 24: 30%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 9: 25%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 17: 30%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 1: 30%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 27: 35%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 22: 30%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 18: 30%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 2: 30%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 15: 30%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 5: 30%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 16: 30%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 21: 35%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 19: 30%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 26: 35%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 4: 30%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 8: 35%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 25: 35%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 28: 35%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 7: 35%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 14: 30%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 12: 30%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 6: 30%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 13: 30%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 10: 30%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 29: 35%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 20: 30%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 17: 35%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 0: 35%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 27: 40%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 23: 35%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 11: 30%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 2: 35%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 24: 35%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 8: 40%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 9: 30%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 1: 35%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 15: 35%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 3: 30%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 26: 40%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 25: 40%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 22: 35%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 14: 35%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 5: 35%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 7: 40%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 4: 35%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 18: 35%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 21: 40%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 19: 35%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 28: 40%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 16: 35%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 24: 40%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 6: 35%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 27: 45%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 17: 40%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 20: 35%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 12: 35%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 29: 40%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 13: 35%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 0: 40%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 1: 40%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 25: 45%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 9: 35%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 8: 45%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 23: 40%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 10: 35%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 26: 45%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 2: 40%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 15: 40%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 11: 35%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 14: 40%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 3: 35%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 19: 40%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 22: 40%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 5: 40%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 18: 40%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 21: 45%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 27: 50%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 4: 40%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 28: 45%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 17: 45%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 7: 45%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 6: 40%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 16: 40%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 24: 45%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 25: 50%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 20: 40%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 8: 50%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 0: 45%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 29: 45%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 1: 45%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 12: 40%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 2: 45%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 9: 40%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 26: 50%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 23: 45%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 10: 40%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 13: 40%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 11: 40%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 3: 40%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 14: 45%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 21: 50%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 15: 45%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 19: 45%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 18: 45%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 5: 45%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 22: 45%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 24: 50%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 27: 55%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 28: 50%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 25: 55%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 17: 50%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 4: 45%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 29: 50%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 16: 45%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 7: 50%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 8: 55%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 6: 45%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 20: 45%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 18: 50%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 0: 50%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 23: 50%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 1: 50%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 26: 55%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 21: 55%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 12: 45%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 2: 50%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 9: 45%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 19: 50%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 3: 45%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 24: 55%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 15: 50%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 13: 45%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 10: 45%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 22: 50%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 7: 55%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 8: 60%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 14: 50%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 25: 60%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 11: 45%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 29: 55%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 4: 50%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 5: 50%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 27: 60%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 17: 55%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 16: 50%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 28: 55%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 20: 50%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 26: 60%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 1: 55%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 6: 50%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 21: 60%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 0: 55%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 2: 55%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 18: 55%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 24: 60%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 23: 55%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 12: 50%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 22: 55%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 15: 55%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 13: 50%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 7: 60%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 25: 65%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 27: 65%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 8: 65%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 29: 60%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 19: 55%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 4: 55%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 26: 65%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 14: 55%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 10: 50%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 17: 60%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 1: 60%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 5: 55%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 9: 50%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 11: 50%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 3: 50%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 16: 55%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 28: 60%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 2: 60%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 20: 55%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 22: 60%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 21: 65%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 6: 55%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 7: 65%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 0: 60%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 12: 55%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 18: 60%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 24: 65%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 23: 60%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 27: 70%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 26: 70%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 1: 65%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 17: 65%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 15: 60%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 13: 55%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 25: 70%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 29: 65%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 8: 70%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 10: 55%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 19: 60%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 5: 60%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 14: 60%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 4: 60%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 28: 65%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 3: 55%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 2: 65%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 16: 60%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 11: 55%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 9: 55%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 22: 65%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 20: 60%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 17: 70%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 7: 70%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 27: 75%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 0: 65%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 24: 70%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 21: 70%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 23: 65%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 6: 60%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 26: 75%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 12: 60%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 18: 65%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 13: 60%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 15: 65%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 8: 75%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 29: 70%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 1: 70%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 10: 60%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 25: 75%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 5: 65%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 4: 65%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 22: 70%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 19: 65%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 7: 75%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 14: 65%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 2: 70%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 28: 70%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 16: 65%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 24: 75%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 3: 60%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 27: 80%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 17: 75%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 20: 65%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 21: 75%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 26: 80%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 0: 70%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 12: 65%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 6: 65%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 23: 70%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 15: 70%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 8: 80%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 11: 60%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 1: 75%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 9: 60%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 29: 75%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 13: 65%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 4: 70%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 18: 70%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 2: 75%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 25: 80%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 5: 70%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 10: 65%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 7: 80%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 19: 70%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 22: 75%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 16: 70%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 28: 75%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 27: 85%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 24: 80%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 17: 80%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 1: 80%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 14: 70%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 0: 75%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 26: 85%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 23: 75%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 8: 85%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 15: 75%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 21: 80%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 29: 80%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 13: 70%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 20: 70%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 3: 65%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 11: 65%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 12: 70%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 2: 80%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 6: 70%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 25: 85%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 9: 65%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 4: 75%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 10: 70%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 18: 75%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 27: 90%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 22: 80%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 19: 75%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 7: 85%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 14: 75%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 5: 75%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 0: 80%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 15: 80%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 17: 85%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 1: 85%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 26: 90%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 24: 85%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 28: 80%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 8: 90%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 23: 80%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 21: 85%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 13: 75%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 12: 75%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 25: 90%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 11: 70%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 29: 85%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 20: 75%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 16: 75%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 2: 85%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 27: 95%, Best: 22]: (S: 183, X: 1370, A: 419, R: 1016) -[Job 4: 80%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 3: 70%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 18: 80%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 6: 75%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 9: 70%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 5: 80%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 7: 90%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 10: 75%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 0: 85%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 22: 85%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 1: 90%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 17: 90%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 15: 85%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 8: 95%, Best: 24]: (S: 56, X: 1024, A: 438, R: 1127) -[Job 26: 95%, Best: 22]: (S: 177, X: 1370, A: 419, R: 1022) -[Job 14: 80%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 19: 80%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 28: 85%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 23: 85%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 24: 90%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 25: 95%, Best: 22]: (S: 171, X: 1388, A: 418, R: 1029) -[Job 21: 90%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 12: 80%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 13: 80%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 7: 95%, Best: 24]: (S: 49, X: 1118, A: 433, R: 1138) -[Job 29: 90%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 4: 85%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 11: 75%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 2: 90%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 20: 80%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 16: 80%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 5: 85%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 6: 80%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 3: 75%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 15: 90%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 10: 80%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 17: 95%, Best: 23]: (S: 119, X: 1166, A: 430, R: 1071) -[Job 18: 85%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 14: 85%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 9: 75%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 0: 90%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 1: 95%, Best: 24]: (S: 7, X: 1379, A: 419, R: 1192) -[Job 22: 90%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 28: 90%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 19: 85%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 23: 90%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 24: 95%, Best: 22]: (S: 165, X: 1371, A: 419, R: 1034) -[Job 12: 85%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 21: 95%, Best: 22]: (S: 147, X: 1372, A: 419, R: 1052) -[Job 2: 95%, Best: 24]: (S: 14, X: 1379, A: 419, R: 1185) -[Job 4: 90%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 29: 95%, Best: 22]: (S: 195, X: 1387, A: 418, R: 1005) -[Job 13: 85%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 20: 85%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 6: 85%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 0: 95%, Best: 24]: (S: 0, X: 1380, A: 419, R: 1199) -[Job 5: 90%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 15: 95%, Best: 23]: (S: 105, X: 1263, A: 425, R: 1089) -[Job 3: 80%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 18: 90%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 9: 80%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 11: 80%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 16: 85%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 14: 90%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 22: 95%, Best: 22]: (S: 153, X: 1371, A: 419, R: 1046) -[Job 28: 95%, Best: 22]: (S: 189, X: 1388, A: 418, R: 1011) -[Job 10: 85%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 23: 95%, Best: 22]: (S: 159, X: 1371, A: 419, R: 1040) -[Job 19: 90%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 12: 90%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 4: 95%, Best: 24]: (S: 28, X: 1378, A: 419, R: 1171) -[Job 20: 90%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 18: 95%, Best: 23]: (S: 126, X: 1090, A: 434, R: 1060) -[Job 13: 90%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 6: 90%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 5: 95%, Best: 24]: (S: 35, X: 1267, A: 425, R: 1159) -[Job 14: 95%, Best: 23]: (S: 98, X: 1372, A: 419, R: 1101) -[Job 3: 85%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 16: 90%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 10: 90%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 11: 85%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 9: 85%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 19: 95%, Best: 23]: (S: 133, X: 1021, A: 438, R: 1049) -[Job 12: 95%, Best: 23]: (S: 84, X: 1357, A: 420, R: 1114) -[Job 20: 95%, Best: 23]: (S: 140, X: 1003, A: 415, R: 1000) -[Job 6: 95%, Best: 24]: (S: 42, X: 1211, A: 428, R: 1149) -[Job 13: 95%, Best: 23]: (S: 91, X: 1356, A: 420, R: 1107) -[Job 10: 95%, Best: 23]: (S: 70, X: 1375, A: 419, R: 1129) -[Job 16: 95%, Best: 23]: (S: 112, X: 1242, A: 426, R: 1081) -[Job 3: 90%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 9: 90%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) -[Job 11: 90%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 3: 95%, Best: 24]: (S: 21, X: 1379, A: 419, R: 1178) -[Job 11: 95%, Best: 23]: (S: 77, X: 1357, A: 420, R: 1121) -[Job 9: 95%, Best: 23]: (S: 63, X: 1376, A: 419, R: 1136) +[Job 1: 5%, Best: 24]: (S: 11, X: 1120, A: 433, R: 1176) +[Job 5: 5%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 3: 5%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 14: 5%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 13: 5%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 2: 5%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 4: 5%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 8: 5%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 5%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 6: 5%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 29: 5%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 9: 5%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 12: 5%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 11: 5%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 10: 5%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 28: 5%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 25: 5%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 5%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 27: 5%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 23: 5%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 26: 5%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 18: 5%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 24: 5%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 0: 5%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 22: 5%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 15: 5%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 5%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 20: 5%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 19: 5%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 5%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 14: 10%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 5: 10%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 1: 10%, Best: 24]: (S: 11, X: 1120, A: 433, R: 1176) +[Job 13: 10%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 4: 10%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 3: 10%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 10%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 10%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 10%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 8: 10%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 10: 10%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 11: 10%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 10%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 6: 10%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 27: 10%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 7: 10%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 10%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 10%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 16: 10%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 25: 10%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 24: 10%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 23: 10%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 10%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 22: 10%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 18: 10%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 0: 10%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 17: 10%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 20: 10%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 19: 10%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 10%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 5: 15%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 14: 15%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 1: 15%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 15%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 4: 15%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 15%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 2: 15%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 12: 15%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 15%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 6: 15%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 8: 15%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 28: 15%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 15%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 7: 15%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 11: 15%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 9: 15%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 15%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 27: 15%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 16: 15%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 25: 15%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 23: 15%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 0: 15%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 18: 15%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 15: 15%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 22: 15%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 24: 15%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 17: 15%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 19: 15%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 15%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 15%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 5: 20%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 14: 20%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 1: 20%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 20%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 4: 20%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 20%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 2: 20%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 12: 20%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 6: 20%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 29: 20%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 10: 20%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 28: 20%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 11: 20%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 8: 20%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 20%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 7: 20%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 27: 20%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 26: 20%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 20%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 20%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 0: 20%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 23: 20%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 17: 20%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 18: 20%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 24: 20%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 22: 20%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 15: 20%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 19: 20%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 20: 20%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 21: 20%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 5: 25%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 14: 25%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 1: 25%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 25%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 13: 25%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 4: 25%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 12: 25%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 2: 25%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 6: 25%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 29: 25%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 28: 25%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 11: 25%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 10: 25%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 8: 25%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 27: 25%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 9: 25%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 7: 25%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 26: 25%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 25%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 25%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 0: 25%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 24: 25%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 22: 25%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 17: 25%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 23: 25%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 25%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 25%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 25%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 20: 25%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 21: 25%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 5: 30%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 14: 30%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 1: 30%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 13: 30%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 4: 30%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 3: 30%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 30%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 30%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 30%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 6: 30%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 11: 30%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 30%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 30%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 30%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 30%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 30%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 30%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 7: 30%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 25: 30%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 30%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 17: 30%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 22: 30%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 24: 30%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 0: 30%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 23: 30%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 30%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 30%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 30%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 20: 30%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 21: 30%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 5: 35%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 14: 35%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 1: 35%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 4: 35%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 35%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 3: 35%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 35%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 35%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 6: 35%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 2: 35%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 11: 35%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 35%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 35%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 35%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 35%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 35%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 35%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 35%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 35%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 35%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 24: 35%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 0: 35%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 22: 35%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 17: 35%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 23: 35%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 35%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 35%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 14: 40%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 19: 35%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 5: 40%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 21: 35%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 35%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 4: 40%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 1: 40%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 13: 40%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 3: 40%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 40%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 40%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 11: 40%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 2: 40%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 6: 40%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 28: 40%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 40%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 40%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 40%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 40%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 7: 40%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 26: 40%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 40%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 16: 40%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 24: 40%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 0: 40%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 22: 40%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 14: 45%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 23: 40%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 17: 40%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 5: 45%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 15: 40%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 40%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 40%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 40%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 40%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 4: 45%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 1: 45%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 45%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 13: 45%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 12: 45%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 45%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 45%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 6: 45%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 11: 45%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 45%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 45%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 45%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 45%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 45%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 45%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 45%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 45%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 14: 50%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 16: 45%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 5: 50%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 0: 45%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 22: 45%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 24: 45%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 23: 45%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 17: 45%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 4: 50%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 15: 45%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 1: 50%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 13: 50%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 18: 45%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 3: 50%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 19: 45%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 45%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 45%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 12: 50%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 50%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 50%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 11: 50%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 6: 50%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 28: 50%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 50%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 50%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 50%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 50%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 50%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 26: 50%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 14: 55%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 25: 50%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 5: 55%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 0: 50%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 16: 50%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 22: 50%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 24: 50%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 23: 50%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 1: 55%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 4: 55%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 55%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 17: 50%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 3: 55%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 15: 50%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 50%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 50%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 50%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 12: 55%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 20: 50%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 29: 55%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 55%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 6: 55%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 11: 55%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 55%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 55%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 27: 55%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 55%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 55%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 55%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 14: 60%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 5: 60%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 26: 55%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 55%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 4: 60%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 60%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 0: 55%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 1: 60%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 16: 55%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 3: 60%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 22: 55%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 24: 55%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 23: 55%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 17: 55%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 12: 60%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 15: 55%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 18: 55%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 55%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 29: 60%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 2: 60%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 20: 55%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 21: 55%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 11: 60%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 10: 60%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 6: 60%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 28: 60%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 8: 60%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 27: 60%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 7: 60%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 60%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 14: 65%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 5: 65%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 26: 60%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 60%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 4: 65%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 65%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 1: 65%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 65%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 0: 60%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 24: 60%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 16: 60%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 22: 60%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 23: 60%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 12: 65%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 17: 60%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 15: 60%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 29: 65%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 18: 60%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 19: 60%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 2: 65%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 21: 60%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 60%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 11: 65%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 6: 65%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 28: 65%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 10: 65%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 8: 65%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 14: 70%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 27: 65%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 9: 65%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 7: 65%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 5: 70%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 4: 70%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 26: 65%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 13: 70%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 25: 65%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 1: 70%, Best: 24]: (S: 12, X: 1102, A: 434, R: 1174) +[Job 3: 70%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 70%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 0: 65%, Best: 24]: (S: 0, X: 1232, A: 427, R: 1192) +[Job 16: 65%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 24: 65%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 22: 65%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 23: 65%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 29: 70%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 17: 65%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 2: 70%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 15: 65%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 11: 70%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 19: 65%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 28: 70%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 18: 65%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 20: 65%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 21: 65%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 10: 70%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 6: 70%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 14: 75%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 27: 70%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 8: 70%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 7: 70%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 9: 70%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 5: 75%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 4: 75%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 26: 70%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 13: 75%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 1: 75%, Best: 24]: (S: 18, X: 1046, A: 437, R: 1166) +[Job 25: 70%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 3: 75%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 75%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 75%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 16: 70%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 0: 70%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 24: 70%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 22: 70%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 23: 70%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 2: 75%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 17: 70%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 15: 70%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 11: 75%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 75%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 18: 70%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 10: 75%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 19: 70%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 21: 70%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 70%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 14: 80%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 6: 75%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 8: 75%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 27: 75%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 5: 80%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 9: 75%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 7: 75%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 4: 80%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 13: 80%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 3: 80%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 26: 75%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 1: 80%, Best: 24]: (S: 18, X: 1046, A: 437, R: 1166) +[Job 25: 75%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 12: 80%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 80%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 24: 75%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 16: 75%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 2: 80%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 0: 75%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 11: 80%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 28: 80%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 22: 75%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 23: 75%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 75%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 75%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 10: 80%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 14: 85%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 21: 75%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 18: 75%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 6: 80%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 20: 75%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 19: 75%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 5: 85%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 8: 80%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 80%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 27: 80%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 4: 85%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 7: 80%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 13: 85%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 1: 85%, Best: 24]: (S: 19, X: 1026, A: 438, R: 1164) +[Job 3: 85%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 26: 80%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 12: 85%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 85%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 25: 80%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 2: 85%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 24: 80%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 16: 80%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 28: 85%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 11: 85%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 0: 80%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 22: 80%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 14: 90%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 23: 80%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 15: 80%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 80%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 10: 85%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 5: 90%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 6: 85%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 21: 80%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 18: 80%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 8: 85%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 85%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 20: 80%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 4: 90%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 19: 80%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 27: 85%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 13: 90%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 7: 85%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 3: 90%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 1: 90%, Best: 24]: (S: 19, X: 1026, A: 438, R: 1164) +[Job 26: 85%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 29: 90%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 12: 90%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 25: 85%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 2: 90%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 28: 90%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 11: 90%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 24: 85%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 14: 95%, Best: 23]: (S: 141, X: 1003, A: 439, R: 952) +[Job 0: 85%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 16: 85%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 22: 85%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 10: 90%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 23: 85%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 5: 95%, Best: 24]: (S: 51, X: 1007, A: 439, R: 1131) +[Job 15: 85%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 85%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 6: 90%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 4: 95%, Best: 24]: (S: 41, X: 1005, A: 439, R: 1141) +[Job 8: 90%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 9: 90%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 27: 90%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 18: 85%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 13: 95%, Best: 23]: (S: 131, X: 1000, A: 439, R: 1051) +[Job 21: 85%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 85%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 19: 85%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 7: 90%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 1: 95%, Best: 24]: (S: 19, X: 1026, A: 438, R: 1164) +[Job 3: 95%, Best: 24]: (S: 31, X: 1007, A: 439, R: 1151) +[Job 12: 95%, Best: 23]: (S: 121, X: 1000, A: 439, R: 1061) +[Job 29: 95%, Best: 22]: (S: 291, X: 1006, A: 438, R: 892) +[Job 26: 90%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 90%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 2: 95%, Best: 24]: (S: 21, X: 1026, A: 438, R: 1162) +[Job 28: 95%, Best: 22]: (S: 281, X: 1013, A: 438, R: 902) +[Job 11: 95%, Best: 23]: (S: 111, X: 1001, A: 439, R: 1071) +[Job 24: 90%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 0: 90%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 16: 90%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 10: 95%, Best: 23]: (S: 101, X: 1004, A: 439, R: 1081) +[Job 22: 90%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 23: 90%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 6: 95%, Best: 23]: (S: 61, X: 1005, A: 439, R: 1121) +[Job 15: 90%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 90%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 9: 95%, Best: 23]: (S: 91, X: 1004, A: 439, R: 1091) +[Job 8: 95%, Best: 23]: (S: 81, X: 1001, A: 439, R: 1101) +[Job 27: 95%, Best: 22]: (S: 271, X: 1013, A: 438, R: 912) +[Job 18: 90%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 21: 90%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 90%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 7: 95%, Best: 23]: (S: 71, X: 1003, A: 439, R: 1111) +[Job 19: 90%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) +[Job 26: 95%, Best: 22]: (S: 261, X: 1013, A: 438, R: 922) +[Job 25: 95%, Best: 22]: (S: 251, X: 1013, A: 438, R: 932) +[Job 22: 95%, Best: 22]: (S: 221, X: 1015, A: 438, R: 962) +[Job 16: 95%, Best: 22]: (S: 161, X: 1000, A: 439, R: 1021) +[Job 23: 95%, Best: 22]: (S: 231, X: 1015, A: 438, R: 952) +[Job 24: 95%, Best: 22]: (S: 241, X: 1014, A: 438, R: 942) +[Job 15: 95%, Best: 22]: (S: 151, X: 1000, A: 439, R: 1031) +[Job 17: 95%, Best: 22]: (S: 171, X: 1000, A: 439, R: 1011) +[Job 18: 95%, Best: 22]: (S: 181, X: 1000, A: 439, R: 1001) +[Job 21: 95%, Best: 22]: (S: 211, X: 1014, A: 438, R: 972) +[Job 20: 95%, Best: 22]: (S: 201, X: 1013, A: 438, R: 982) +[Job 0: 95%, Best: 24]: (S: 7, X: 1156, A: 431, R: 1182) +[Job 19: 95%, Best: 22]: (S: 191, X: 1017, A: 438, R: 992) Threads have finished. Detailed Formula Evaluation: --------------------------- - Startup: 0 - LoadX: 1380 - Rule App: 419 - Result: 1199 + Startup: 19 + LoadX: 1026 + Rule App: 438 + Result: 1164 -Graph: k500, Estimate: 58645, Runtime: 49997, hit (+) Error: -14% -Graph: k1k, Estimate: 446838, Runtime: 388418, hit (+) Error: -12% -Graph: k2k, Estimate: 3474392, Runtime: 129816330, miss (-) Error: 3636% -Graph: t500, Estimate: 11633, Runtime: 10544, hit (+) Error: -8% -Graph: t1k, Estimate: 82840, Runtime: 66273, hit (+) Error: -19% -Graph: t2k, Estimate: 616236, Runtime: 526193, hit (+) Error: -14% +Graph: k500, Estimate: 59531, Runtime: 49997, hit (+) Error: -15% +Graph: k1k, Estimate: 459115, Runtime: 388418, hit (+) Error: -14% +Graph: k2k, Estimate: 3596611, Runtime: 129816330, miss (-) Error: 3509% +Graph: t500, Estimate: 11337, Runtime: 10544, hit (+) Error: -6% +Graph: t1k, Estimate: 82825, Runtime: 66273, hit (+) Error: -19% +Graph: t2k, Estimate: 627365, Runtime: 526193, hit (+) Error: -15% Graph: c1k, Estimate: 1630, Runtime: 1304, hit (+) Error: -19% -Graph: c2k, Estimate: 6501, Runtime: 12576, miss (-) Error: 93% -Graph: c3k, Estimate: 14609, Runtime: 128374, miss (-) Error: 779% -Graph: c4k, Estimate: 25951, Runtime: 304909, miss (-) Error: 1075% -Graph: s1k_1, Estimate: 2066, Runtime: 1669, hit (+) Error: -18% -Graph: s1k_3, Estimate: 2938, Runtime: 2392, hit (+) Error: -18% -Graph: s1k_4, Estimate: 3379, Runtime: 2756, hit (+) Error: -17% -Graph: s2k_1, Estimate: 8211, Runtime: 16639, miss (-) Error: 103% -Graph: s2k_3, Estimate: 11635, Runtime: 24598, miss (-) Error: 111% -Graph: s2k_4, Estimate: 13359, Runtime: 28478, miss (-) Error: 113% -Graph: p1k, Estimate: 820, Runtime: 948, hit (-) Error: 16% -Graph: p2k, Estimate: 3263, Runtime: 2853, hit (+) Error: -12% -Graph: p3k, Estimate: 7325, Runtime: 24111, miss (-) Error: 229% -Graph: p4k, Estimate: 13002, Runtime: 99325, miss (-) Error: 664% -Graph: m4_2ki, Estimate: 122, Runtime: 120, hit (+) Error: -1% -Graph: m16_512, Estimate: 227, Runtime: 255, hit (-) Error: 12% -Graph: m64_128, Estimate: 551, Runtime: 585, hit (-) Error: 6% -Graph: m256_32, Estimate: 1825, Runtime: 1634, hit (+) Error: -9% -Graph: m1ki_8, Estimate: 6916, Runtime: 17744, miss (-) Error: 157% -Graph: m4ki_2, Estimate: 27275, Runtime: 316511, miss (-) Error: 1060% -Graph: b17, Estimate: 6075, Runtime: 3041, miss (+) Error: -49% -Graph: b18, Estimate: 12936, Runtime: 17804, miss (-) Error: 38% -Graph: b19, Estimate: 27445, Runtime: 112167, miss (-) Error: 309% -Graph: v17, Estimate: 6075, Runtime: 2967, miss (+) Error: -50% -Graph: v18, Estimate: 12936, Runtime: 17307, miss (-) Error: 34% -Graph: v19, Estimate: 27445, Runtime: 109384, miss (-) Error: 299% -Graph: y500_4k, Estimate: 16252, Runtime: 148951, miss (-) Error: 817% -Graph: y500_8k, Estimate: 58393, Runtime: 836356, miss (-) Error: 1332% -Graph: y1k_4k, Estimate: 19496, Runtime: 197292, miss (-) Error: 912% -Graph: y1k_8k, Estimate: 64874, Runtime: 950743, miss (-) Error: 1366% -Graph: u1k_50k, Estimate: 23205, Runtime: 20580, hit (+) Error: -10% -Graph: u1k_125k, Estimate: 56386, Runtime: 47832, hit (+) Error: -14% -Graph: u1k_250k, Estimate: 111919, Runtime: 93632, hit (+) Error: -15% -Graph: u2k_200k, Estimate: 177172, Runtime: 5134330, miss (-) Error: 2798% -Graph: u2k_500k, Estimate: 436426, Runtime: 14193750, miss (-) Error: 3152% -Graph: u2k_1m, Estimate: 869435, Runtime: 24617260, miss (-) Error: 2731% -Graph: a1k_50k, Estimate: 7998, Runtime: 6877, hit (+) Error: -13% -Graph: a1k_125k, Estimate: 20469, Runtime: 17081, hit (+) Error: -16% -Graph: a1k_250k, Estimate: 41214, Runtime: 34016, hit (+) Error: -16% -Graph: a2k_200k, Estimate: 60832, Runtime: 54015, hit (+) Error: -10% -Graph: a2k_500k, Estimate: 153349, Runtime: 134013, hit (+) Error: -12% -Graph: a2k_1m, Estimate: 307681, Runtime: 270875, hit (+) Error: -11% -Graph: w1k_1k, Estimate: 27838, Runtime: 397929, miss (-) Error: 1329% -Graph: x10k, Estimate: 162218, Runtime: 5764090, miss (-) Error: 3453% +Graph: c2k, Estimate: 6449, Runtime: 12576, miss (-) Error: 95% +Graph: c3k, Estimate: 14472, Runtime: 128374, miss (-) Error: 787% +Graph: c4k, Estimate: 25698, Runtime: 304909, miss (-) Error: 1087% +Graph: s1k_1, Estimate: 2081, Runtime: 1669, hit (+) Error: -19% +Graph: s1k_3, Estimate: 2982, Runtime: 2392, hit (+) Error: -19% +Graph: s1k_4, Estimate: 3437, Runtime: 2756, hit (+) Error: -19% +Graph: s2k_1, Estimate: 8226, Runtime: 16639, miss (-) Error: 102% +Graph: s2k_3, Estimate: 11785, Runtime: 24598, miss (-) Error: 109% +Graph: s2k_4, Estimate: 13572, Runtime: 28478, miss (-) Error: 110% +Graph: p1k, Estimate: 828, Runtime: 948, hit (-) Error: 14% +Graph: p2k, Estimate: 3243, Runtime: 2853, hit (+) Error: -11% +Graph: p3k, Estimate: 7259, Runtime: 24111, miss (-) Error: 232% +Graph: p4k, Estimate: 12877, Runtime: 99325, miss (-) Error: 671% +Graph: m4_2ki, Estimate: 114, Runtime: 120, hit (-) Error: 5% +Graph: m16_512, Estimate: 213, Runtime: 255, hit (-) Error: 20% +Graph: m64_128, Estimate: 531, Runtime: 585, hit (-) Error: 10% +Graph: m256_32, Estimate: 1792, Runtime: 1634, hit (+) Error: -8% +Graph: m1ki_8, Estimate: 6832, Runtime: 17744, miss (-) Error: 160% +Graph: m4ki_2, Estimate: 26991, Runtime: 316511, miss (-) Error: 1073% +Graph: b17, Estimate: 5321, Runtime: 3041, miss (+) Error: -42% +Graph: b18, Estimate: 11310, Runtime: 17804, miss (-) Error: 57% +Graph: b19, Estimate: 23981, Runtime: 112167, miss (-) Error: 368% +Graph: v17, Estimate: 5321, Runtime: 2967, miss (+) Error: -43% +Graph: v18, Estimate: 11310, Runtime: 17307, miss (-) Error: 53% +Graph: v19, Estimate: 23981, Runtime: 109384, miss (-) Error: 356% +Graph: y500_4k, Estimate: 16091, Runtime: 148951, miss (-) Error: 826% +Graph: y500_8k, Estimate: 57797, Runtime: 836356, miss (-) Error: 1347% +Graph: y1k_4k, Estimate: 19302, Runtime: 197292, miss (-) Error: 922% +Graph: y1k_8k, Estimate: 64212, Runtime: 950743, miss (-) Error: 1381% +Graph: u1k_50k, Estimate: 23875, Runtime: 20580, hit (+) Error: -13% +Graph: u1k_125k, Estimate: 58040, Runtime: 47832, hit (+) Error: -17% +Graph: u1k_250k, Estimate: 115154, Runtime: 93632, hit (+) Error: -18% +Graph: u2k_200k, Estimate: 183451, Runtime: 5134330, miss (-) Error: 2699% +Graph: u2k_500k, Estimate: 452128, Runtime: 14193750, miss (-) Error: 3039% +Graph: u2k_1m, Estimate: 900607, Runtime: 24617260, miss (-) Error: 2633% +Graph: a1k_50k, Estimate: 8026, Runtime: 6877, hit (+) Error: -13% +Graph: a1k_125k, Estimate: 20538, Runtime: 17081, hit (+) Error: -16% +Graph: a1k_250k, Estimate: 41287, Runtime: 34016, hit (+) Error: -17% +Graph: a2k_200k, Estimate: 62019, Runtime: 54015, hit (+) Error: -12% +Graph: a2k_500k, Estimate: 156396, Runtime: 134013, hit (+) Error: -13% +Graph: a2k_1m, Estimate: 313559, Runtime: 270875, hit (+) Error: -13% +Graph: w1k_1k, Estimate: 21115, Runtime: 7074, miss (+) Error: -65% +Graph: x10k, Estimate: 160538, Runtime: 5764090, miss (-) Error: 3490% Hits: 24 -Average Error: 540% +Average Error: 512% Best Parameter Values (24/50): - Startup: 0 - LoadX: 1380 - Rule App: 419 - Result: 1199 + Startup: 19 + LoadX: 1026 + Rule App: 438 + Result: 1164 +Wed May 1 18:47:42 CEST 2019 diff --git a/opt/RUNS b/opt/RUNS index a593ed5..9c77a13 100644 --- a/opt/RUNS +++ b/opt/RUNS @@ -27,3 +27,26 @@ ./opt sqlite3 Startup=0-200 LoadX=0-500 RuleApp=0-800 Result=0-1500 >SQLITE & # The same with timestamp output: Lief 3:36 auf dbs1 mit 30 Threads (date; ./opt sqlite3 Startup=0-200 LoadX=0-500 RuleApp=0-800 Result=0-1500; date) >SQLITE & + + +(date; ./opt mariadb Startup=0-300 LoadX=1000-1500 RuleApp=200-600 Result=800-1500; date) >MARIADB & +Auf dbs1: +Number of parameter tuples: 42390311901 +Starting 30 threads ... +Wed May 1 17:24:41 CEST 2019 +Wed May 1 18:47:42 CEST 2019 + +(date; ./opt souffle Startup=0-40 LoadX=0-500 RuleApp=0-100 Result=0-1000; date) >SOUFFLE & +Auf dbs1: +Number of parameter tuples: 2076715641 +Starting 30 threads ... +Wed May 1 21:48:31 CEST 2019 +Wed May 1 21:53:27 CEST 2019 + +Aiuf dbs1: +./opt jena Startup=1900-2199 LoadX=1590-1600 RuleApp=150-175 Result=1350-1450 +Number of parameter tuples: 8665800 +Starting 30 threads ... +37.84user 0.01system 0:01.49elapsed 2530%CPU (0avgtext+0avgdata 2956maxresident)k +0inputs+0outputs (0major+207minor)pagefaults 0swaps + diff --git a/opt/SOUFFLE b/opt/SOUFFLE new file mode 100644 index 0000000..8e67ba1 --- /dev/null +++ b/opt/SOUFFLE @@ -0,0 +1,688 @@ +Wed May 1 21:48:31 CEST 2019 +Welcome to the TC runtime prediction optimizer. + +Number of Threads: 30 +Read 619 lines from 'estimate_data.csv' (50 data points for 'souffle') +Doing optimization for: souffle + +Search Space for Parameter Values: +--------------------------------- + Startup: 0 - 40 [Step: 1] + LoadX: 0 - 500 [Step: 1] + RuleApp: 0 - 100 [Step: 1] + Result: 0 - 1000 [Step: 1] + +Number of parameter tuples: 2076715641 + +Starting 30 threads ... +[Job 0: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 4: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 1: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 3: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 8: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 9: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 6: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 2: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 13: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 7: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 16: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 17: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 18: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 19: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 20: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 23: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 24: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 10: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 11: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 28: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 12: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 21: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 15: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 22: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 14: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 25: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 26: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 27: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 5: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 29: 0%, Best: 0]: (S: 0, X: 0, A: 0, R: 0) +[Job 28: 5%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 24: 5%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 20: 5%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 15: 5%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 25: 5%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 29: 5%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 26: 5%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 18: 5%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 17: 5%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 19: 5%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 21: 5%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 23: 5%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 22: 5%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 16: 5%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 13: 5%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 11: 5%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 12: 5%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 14: 5%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 27: 5%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 24: 10%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 1: 5%, Best: 29]: (S: 2, X: 21, A: 42, R: 692) +[Job 28: 10%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 18: 10%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 15: 10%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 26: 10%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 23: 10%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 8: 5%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 25: 10%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 20: 10%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 5: 5%, Best: 30]: (S: 10, X: 16, A: 42, R: 676) +[Job 10: 5%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 9: 5%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 29: 10%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 13: 10%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 17: 10%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 14: 10%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 0: 5%, Best: 29]: (S: 0, X: 21, A: 42, R: 692) +[Job 16: 10%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 7: 5%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 3: 5%, Best: 30]: (S: 6, X: 14, A: 42, R: 692) +[Job 2: 5%, Best: 29]: (S: 4, X: 21, A: 42, R: 692) +[Job 22: 10%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 27: 10%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 12: 10%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 21: 10%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 11: 10%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 19: 10%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 4: 5%, Best: 30]: (S: 8, X: 21, A: 42, R: 681) +[Job 6: 5%, Best: 31]: (S: 12, X: 17, A: 42, R: 676) +[Job 24: 15%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 28: 15%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 15: 15%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 26: 15%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 18: 15%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 23: 15%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 25: 15%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 14: 15%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 20: 15%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 22: 15%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 16: 15%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 21: 15%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 29: 15%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 17: 15%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 19: 15%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 12: 15%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 11: 15%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 13: 15%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 27: 15%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 24: 20%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 14: 20%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 26: 20%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 28: 20%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 5: 10%, Best: 31]: (S: 10, X: 75, A: 41, R: 678) +[Job 15: 20%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 1: 10%, Best: 29]: (S: 2, X: 89, A: 41, R: 692) +[Job 16: 20%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 10: 10%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 20: 20%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 18: 20%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 2: 10%, Best: 30]: (S: 4, X: 86, A: 41, R: 679) +[Job 21: 20%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 8: 10%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 11: 20%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 25: 20%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 23: 20%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 3: 10%, Best: 30]: (S: 6, X: 14, A: 42, R: 692) +[Job 19: 20%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 22: 20%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 0: 10%, Best: 29]: (S: 0, X: 89, A: 41, R: 692) +[Job 9: 10%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 7: 10%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 27: 20%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 29: 20%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 13: 20%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 17: 20%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 4: 10%, Best: 30]: (S: 8, X: 21, A: 42, R: 681) +[Job 12: 20%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 6: 10%, Best: 31]: (S: 12, X: 17, A: 42, R: 676) +[Job 24: 25%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 14: 25%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 15: 25%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 28: 25%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 25: 25%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 19: 25%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 26: 25%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 18: 25%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 16: 25%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 21: 25%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 11: 25%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 20: 25%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 22: 25%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 27: 25%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 23: 25%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 13: 25%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 29: 25%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 17: 25%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 12: 25%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 24: 30%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 25: 30%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 14: 30%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 1: 15%, Best: 30]: (S: 2, X: 143, A: 40, R: 692) +[Job 15: 30%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 28: 30%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 16: 30%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 18: 30%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 26: 30%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 5: 15%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 21: 30%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 3: 15%, Best: 31]: (S: 6, X: 139, A: 40, R: 692) +[Job 8: 15%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 19: 30%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 11: 30%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 27: 30%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 9: 15%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 2: 15%, Best: 31]: (S: 4, X: 120, A: 40, R: 683) +[Job 22: 30%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 20: 30%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 29: 30%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 10: 15%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 0: 15%, Best: 30]: (S: 0, X: 149, A: 39, R: 694) +[Job 23: 30%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 12: 30%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 17: 30%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 7: 15%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 13: 30%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 24: 35%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 4: 15%, Best: 32]: (S: 8, X: 120, A: 40, R: 682) +[Job 6: 15%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 28: 35%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 15: 35%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 25: 35%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 14: 35%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 19: 35%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 26: 35%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 18: 35%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 29: 35%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 16: 35%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 11: 35%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 22: 35%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 21: 35%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 12: 35%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 20: 35%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 27: 35%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 13: 35%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 23: 35%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 17: 35%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 24: 40%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 3: 20%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 25: 40%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 9: 20%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 1: 20%, Best: 32]: (S: 2, X: 190, A: 38, R: 694) +[Job 28: 40%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 15: 40%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 19: 40%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 8: 20%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 5: 20%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 16: 40%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 11: 40%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 29: 40%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 12: 40%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 22: 40%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 14: 40%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 10: 20%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 26: 40%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 27: 40%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 21: 40%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 18: 40%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 0: 20%, Best: 31]: (S: 0, X: 192, A: 38, R: 692) +[Job 20: 40%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 2: 20%, Best: 32]: (S: 4, X: 190, A: 38, R: 693) +[Job 7: 20%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 17: 40%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 13: 40%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 23: 40%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 24: 45%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 4: 20%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 25: 45%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 6: 20%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 15: 45%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 28: 45%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 16: 45%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 14: 45%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 11: 45%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 12: 45%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 27: 45%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 19: 45%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 17: 45%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 26: 45%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 20: 45%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 21: 45%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 29: 45%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 22: 45%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 18: 45%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 23: 45%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 13: 45%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 24: 50%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 3: 25%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 25: 50%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 15: 50%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 28: 50%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 1: 25%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 14: 50%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 20: 50%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 19: 50%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 9: 25%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 8: 25%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 27: 50%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 26: 50%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 29: 50%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 11: 50%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 16: 50%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 0: 25%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 10: 25%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 21: 50%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 17: 50%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 12: 50%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 5: 25%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 18: 50%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 2: 25%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 23: 50%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 22: 50%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 13: 50%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 7: 25%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 4: 25%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 24: 55%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 25: 55%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 15: 55%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 29: 55%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 11: 55%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 20: 55%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 28: 55%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 19: 55%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 21: 55%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 17: 55%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 26: 55%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 6: 25%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 23: 55%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 12: 55%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 14: 55%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 18: 55%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 27: 55%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 16: 55%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 22: 55%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 13: 55%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 24: 60%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 8: 30%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 28: 60%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 19: 60%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 15: 60%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 17: 60%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 11: 60%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 29: 60%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 3: 30%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 20: 60%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 26: 60%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 12: 60%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 25: 60%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 27: 60%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 21: 60%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 1: 30%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 9: 30%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 23: 60%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 14: 60%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 2: 30%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 5: 30%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 18: 60%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 0: 30%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 16: 60%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 22: 60%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 10: 30%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 13: 60%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 4: 30%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 7: 30%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 28: 65%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 17: 65%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 24: 65%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 19: 65%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 21: 65%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 29: 65%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 11: 65%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 15: 65%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 14: 65%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 27: 65%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 12: 65%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 20: 65%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 26: 65%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 22: 65%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 25: 65%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 18: 65%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 23: 65%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 6: 30%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 16: 65%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 13: 65%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 28: 70%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 24: 70%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 17: 70%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 8: 35%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 21: 70%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 15: 70%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 20: 70%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 19: 70%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 29: 70%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 23: 70%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 18: 70%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 22: 70%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 3: 35%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 14: 70%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 11: 70%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 27: 70%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 1: 35%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 5: 35%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 26: 70%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 12: 70%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 2: 35%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 25: 70%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 9: 35%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 0: 35%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 16: 70%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 10: 35%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 13: 70%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 28: 75%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 4: 35%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 7: 35%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 17: 75%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 24: 75%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 29: 75%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 21: 75%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 23: 75%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 27: 75%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 20: 75%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 15: 75%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 22: 75%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 19: 75%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 11: 75%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 18: 75%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 25: 75%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 14: 75%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 26: 75%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 12: 75%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 6: 35%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 16: 75%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 28: 80%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 13: 75%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 24: 80%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 8: 40%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 21: 80%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 23: 80%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 27: 80%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 29: 80%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 17: 80%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 20: 80%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 3: 40%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 22: 80%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 19: 80%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 5: 40%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 18: 80%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 15: 80%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 1: 40%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 12: 80%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 11: 80%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 14: 80%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 26: 80%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 2: 40%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 25: 80%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 16: 80%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 10: 40%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 0: 40%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 28: 85%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 9: 40%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 4: 40%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 24: 85%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 7: 40%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 13: 80%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 21: 85%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 19: 85%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 29: 85%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 22: 85%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 23: 85%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 27: 85%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 17: 85%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 15: 85%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 14: 85%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 20: 85%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 12: 85%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 18: 85%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 26: 85%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 16: 85%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 11: 85%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 25: 85%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 6: 40%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 28: 90%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 24: 90%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 8: 45%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 13: 85%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 22: 90%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 19: 90%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 21: 90%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 29: 90%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 17: 90%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 26: 90%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 3: 45%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 23: 90%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 2: 45%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 14: 90%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 18: 90%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 12: 90%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 15: 90%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 5: 45%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 16: 90%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 27: 90%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 20: 90%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 11: 90%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 25: 90%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 28: 95%, Best: 31]: (S: 39, X: 10, A: 42, R: 668) +[Job 1: 45%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 4: 45%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 9: 45%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 10: 45%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 0: 45%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 13: 90%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 29: 95%, Best: 31]: (S: 40, X: 10, A: 42, R: 668) +[Job 22: 95%, Best: 31]: (S: 33, X: 11, A: 42, R: 670) +[Job 24: 95%, Best: 31]: (S: 35, X: 10, A: 42, R: 669) +[Job 17: 95%, Best: 31]: (S: 28, X: 5, A: 43, R: 670) +[Job 19: 95%, Best: 31]: (S: 30, X: 11, A: 42, R: 670) +[Job 7: 45%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 23: 95%, Best: 31]: (S: 34, X: 11, A: 42, R: 669) +[Job 14: 95%, Best: 32]: (S: 25, X: 12, A: 42, R: 671) +[Job 21: 95%, Best: 31]: (S: 32, X: 11, A: 42, R: 671) +[Job 26: 95%, Best: 31]: (S: 37, X: 10, A: 42, R: 669) +[Job 12: 95%, Best: 32]: (S: 23, X: 12, A: 42, R: 672) +[Job 27: 95%, Best: 31]: (S: 38, X: 10, A: 42, R: 668) +[Job 18: 95%, Best: 31]: (S: 29, X: 12, A: 42, R: 670) +[Job 11: 95%, Best: 32]: (S: 22, X: 12, A: 42, R: 673) +[Job 16: 95%, Best: 32]: (S: 27, X: 11, A: 42, R: 671) +[Job 20: 95%, Best: 31]: (S: 31, X: 10, A: 42, R: 670) +[Job 15: 95%, Best: 32]: (S: 26, X: 12, A: 42, R: 671) +[Job 6: 45%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 25: 95%, Best: 31]: (S: 36, X: 10, A: 42, R: 670) +[Job 13: 95%, Best: 32]: (S: 24, X: 12, A: 42, R: 672) +[Job 5: 50%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 8: 50%, Best: 32]: (S: 16, X: 13, A: 42, R: 677) +[Job 3: 50%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 2: 50%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 9: 50%, Best: 32]: (S: 18, X: 13, A: 42, R: 673) +[Job 4: 50%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 0: 50%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 10: 50%, Best: 32]: (S: 20, X: 13, A: 42, R: 673) +[Job 1: 50%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 7: 50%, Best: 32]: (S: 14, X: 21, A: 42, R: 676) +[Job 6: 50%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 8: 55%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 5: 55%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 3: 55%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 2: 55%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 10: 55%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 9: 55%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 55%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 7: 55%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 6: 55%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 8: 60%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 60%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 4: 55%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 5: 60%, Best: 32]: (S: 10, X: 120, A: 40, R: 682) +[Job 2: 60%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 10: 60%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 9: 60%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 60%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 1: 55%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 7: 60%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 6: 60%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 8: 65%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 65%, Best: 32]: (S: 6, X: 190, A: 38, R: 692) +[Job 5: 65%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 2: 65%, Best: 32]: (S: 4, X: 227, A: 37, R: 695) +[Job 10: 65%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 9: 65%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 65%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 7: 65%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 4: 60%, Best: 32]: (S: 8, X: 156, A: 39, R: 686) +[Job 6: 65%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 8: 70%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 70%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 5: 70%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 1: 60%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 10: 70%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 2: 70%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 0: 70%, Best: 32]: (S: 0, X: 225, A: 37, R: 696) +[Job 9: 70%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 7: 70%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 8: 75%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 75%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 6: 70%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 10: 75%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 5: 75%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 2: 75%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 4: 65%, Best: 32]: (S: 9, X: 120, A: 40, R: 682) +[Job 0: 75%, Best: 32]: (S: 1, X: 228, A: 37, R: 695) +[Job 9: 75%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 7: 75%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 8: 80%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 80%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 1: 65%, Best: 32]: (S: 2, X: 228, A: 37, R: 695) +[Job 6: 75%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 10: 80%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 5: 80%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 2: 80%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 9: 80%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 80%, Best: 32]: (S: 1, X: 228, A: 37, R: 695) +[Job 8: 85%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 85%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 7: 80%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 6: 80%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 10: 85%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 4: 70%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 5: 85%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 2: 85%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 9: 85%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 85%, Best: 32]: (S: 1, X: 228, A: 37, R: 695) +[Job 1: 70%, Best: 32]: (S: 3, X: 190, A: 38, R: 693) +[Job 8: 90%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 90%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 7: 85%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 10: 90%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 6: 85%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 5: 90%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 2: 90%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 9: 90%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 90%, Best: 32]: (S: 1, X: 228, A: 37, R: 695) +[Job 8: 95%, Best: 32]: (S: 17, X: 13, A: 42, R: 676) +[Job 3: 95%, Best: 32]: (S: 7, X: 190, A: 38, R: 692) +[Job 7: 90%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 4: 75%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 10: 95%, Best: 32]: (S: 21, X: 13, A: 42, R: 672) +[Job 6: 90%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 5: 95%, Best: 32]: (S: 11, X: 120, A: 40, R: 681) +[Job 1: 75%, Best: 32]: (S: 3, X: 227, A: 37, R: 695) +[Job 2: 95%, Best: 32]: (S: 5, X: 190, A: 38, R: 692) +[Job 9: 95%, Best: 32]: (S: 19, X: 13, A: 42, R: 673) +[Job 0: 95%, Best: 32]: (S: 1, X: 228, A: 37, R: 695) +[Job 7: 95%, Best: 32]: (S: 15, X: 13, A: 42, R: 681) +[Job 6: 95%, Best: 32]: (S: 12, X: 120, A: 40, R: 681) +[Job 4: 80%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 1: 80%, Best: 32]: (S: 3, X: 227, A: 37, R: 695) +[Job 4: 85%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 1: 85%, Best: 32]: (S: 3, X: 227, A: 37, R: 695) +[Job 4: 90%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 1: 90%, Best: 32]: (S: 3, X: 227, A: 37, R: 695) +[Job 4: 95%, Best: 32]: (S: 9, X: 156, A: 39, R: 686) +[Job 1: 95%, Best: 32]: (S: 3, X: 227, A: 37, R: 695) +Threads have finished. + + +Detailed Formula Evaluation: +--------------------------- + Startup: 25 + LoadX: 12 + Rule App: 42 + Result: 671 + +Graph: k500, Estimate: 5505, Runtime: 2688, miss (+) Error: -50% +Graph: k1k, Estimate: 42966, Runtime: 18742, miss (+) Error: -55% +Graph: k2k, Estimate: 339885, Runtime: 146694, miss (+) Error: -56% +Graph: t500, Estimate: 1008, Runtime: 721, miss (+) Error: -27% +Graph: t1k, Estimate: 7468, Runtime: 3603, miss (+) Error: -51% +Graph: t2k, Estimate: 57846, Runtime: 25266, miss (+) Error: -55% +Graph: c1k, Estimate: 738, Runtime: 798, hit (-) Error: 8% +Graph: c2k, Estimate: 2877, Runtime: 2471, hit (+) Error: -13% +Graph: c3k, Estimate: 6442, Runtime: 5319, hit (+) Error: -16% +Graph: c4k, Estimate: 11434, Runtime: 9401, hit (+) Error: -17% +Graph: s1k_1, Estimate: 780, Runtime: 1034, miss (-) Error: 33% +Graph: s1k_3, Estimate: 865, Runtime: 1204, miss (-) Error: 39% +Graph: s1k_4, Estimate: 907, Runtime: 1278, miss (-) Error: 41% +Graph: s2k_1, Estimate: 3046, Runtime: 3301, hit (-) Error: 8% +Graph: s2k_3, Estimate: 3382, Runtime: 4007, hit (-) Error: 18% +Graph: s2k_4, Estimate: 3551, Runtime: 4261, hit (-) Error: 20% +Graph: p1k, Estimate: 381, Runtime: 433, hit (-) Error: 14% +Graph: p2k, Estimate: 1450, Runtime: 1403, hit (+) Error: -2% +Graph: p3k, Estimate: 3232, Runtime: 2836, hit (+) Error: -11% +Graph: p4k, Estimate: 5729, Runtime: 4924, hit (+) Error: -13% +Graph: m4_2ki, Estimate: 35, Runtime: 30, hit (+) Error: -13% +Graph: m16_512, Estimate: 70, Runtime: 70, hit (!) Error: 0% +Graph: m64_128, Estimate: 210, Runtime: 236, hit (-) Error: 12% +Graph: m256_32, Estimate: 771, Runtime: 747, hit (+) Error: -2% +Graph: m1ki_8, Estimate: 3014, Runtime: 2501, hit (+) Error: -16% +Graph: m4ki_2, Estimate: 11985, Runtime: 10157, hit (+) Error: -14% +Graph: b17, Estimate: 1452, Runtime: 864, miss (+) Error: -39% +Graph: b18, Estimate: 3068, Runtime: 1537, miss (+) Error: -49% +Graph: b19, Estimate: 6493, Runtime: 2955, miss (+) Error: -53% +Graph: v17, Estimate: 1452, Runtime: 940, miss (+) Error: -34% +Graph: v18, Estimate: 3068, Runtime: 1739, miss (+) Error: -42% +Graph: v19, Estimate: 6493, Runtime: 3395, miss (+) Error: -47% +Graph: y500_4k, Estimate: 7155, Runtime: 6052, hit (+) Error: -14% +Graph: y500_8k, Estimate: 25691, Runtime: 22269, hit (+) Error: -12% +Graph: y1k_4k, Estimate: 8581, Runtime: 7124, hit (+) Error: -16% +Graph: y1k_8k, Estimate: 28543, Runtime: 24607, hit (+) Error: -13% +Graph: u1k_50k, Estimate: 2807, Runtime: 2336, hit (+) Error: -16% +Graph: u1k_125k, Estimate: 5975, Runtime: 4804, hit (+) Error: -19% +Graph: u1k_250k, Estimate: 11258, Runtime: 11631, hit (-) Error: 3% +Graph: u2k_200k, Estimate: 19558, Runtime: 12619, miss (+) Error: -34% +Graph: u2k_500k, Estimate: 44838, Runtime: 36952, hit (+) Error: -17% +Graph: u2k_1m, Estimate: 86979, Runtime: 93510, hit (-) Error: 8% +Graph: a1k_50k, Estimate: 991, Runtime: 1060, hit (-) Error: 7% +Graph: a1k_125k, Estimate: 2096, Runtime: 2258, hit (-) Error: 8% +Graph: a1k_250k, Estimate: 3894, Runtime: 4670, hit (-) Error: 20% +Graph: a2k_200k, Estimate: 6765, Runtime: 5505, hit (+) Error: -18% +Graph: a2k_500k, Estimate: 15353, Runtime: 15919, hit (-) Error: 4% +Graph: a2k_1m, Estimate: 29565, Runtime: 36342, miss (-) Error: 23% +Graph: w1k_1k, Estimate: 966, Runtime: 945, hit (+) Error: -1% +Graph: x10k, Estimate: 71342, Runtime: 20499, miss (+) Error: -70% +Hits: 32 +Average Error: 23% + + +Best Parameter Values (32/50): + Startup: 25 + LoadX: 12 + Rule App: 42 + Result: 671 + +Wed May 1 21:53:27 CEST 2019 diff --git a/opt/estimate_data.csv b/opt/estimate_data.csv index 74d3b09..15ec510 100644 --- a/opt/estimate_data.csv +++ b/opt/estimate_data.csv @@ -185,6 +185,9 @@ "mariadb","tcff","i","b17","131071","131070","1966082","1966082","16","3041" "mariadb","tcff","i","b18","262143","262142","4194306","4194306","17","17804" "mariadb","tcff","i","b19","524287","524286","8912898","8912898","18","112167" +"mariadb","tcff","i","v17","131071","131070","1966082","1966082","16","2967" +"mariadb","tcff","i","v18","262143","262142","4194306","4194306","17","17307" +"mariadb","tcff","i","v19","524287","524286","8912898","8912898","18","109384" "mariadb","tcff","i","y500_4k","4500","4499","9998000","9998000","4000","148951" "mariadb","tcff","i","y500_8k","8500","8499","35996000","35996000","8000","836356" "mariadb","tcff","i","y1k_4k","5000","4999","11998000","11998000","4000","197292" -- GitLab