Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.2 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f9ec307a3c8f55679d3b9ab693efbd4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.431933 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 934 |
Total number of constraints | 1063 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 184 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680863-1277455009.opb. 0.00/0.00 c Instance file HOME/instance-2680863-1277455009.opb 0.00/0.00 c File size is 44836 bytes. 0.00/0.00 c Highest Coefficient sum: 23 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 934 | 0.00/0.00 c | Number Clauses: 880 | 0.00/0.00 c | Number Cardinality: 183 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 933 1063 3780 | 5000 0 nan | 0.000 % | 0.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 94 0.01/0.01 o 94 0.01/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 0 | 933 1064 4714 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 93 0.01/0.02 o 93 0.01/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 4 | 933 1065 5648 | 5000 4 327 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 56 0.01/0.02 o 56 0.01/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 4 | 933 1066 6582 | 5000 4 327 | 0.000 % | 0.01/0.04 c | 104 | 933 1066 6582 | 5500 104 334 | 0.108 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 55 0.01/0.04 o 55 0.01/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 114 | 933 1067 7516 | 5000 114 334 | 0.108 % | 0.01/0.06 c | 216 | 933 1067 7516 | 5500 216 331 | 0.111 % | 0.01/0.09 c | 366 | 933 1067 7516 | 6050 366 336 | 0.111 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 54 0.01/0.09 o 54 0.01/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 369 | 933 1068 8450 | 5000 369 336 | 0.111 % | 0.09/0.11 c | 469 | 933 1068 8450 | 5500 469 336 | 0.111 % | 0.09/0.14 c | 619 | 933 1068 8450 | 6050 619 338 | 0.111 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 34 0.09/0.14 o 34 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 619 | 933 1069 9384 | 5000 619 338 | 0.111 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 33 0.09/0.15 o 33 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 670 | 933 1070 10318 | 5000 670 336 | 0.111 % | 0.09/0.17 c | 770 | 933 1070 10318 | 5500 770 334 | 0.111 % | 0.19/0.20 c | 920 | 933 1070 10318 | 6050 920 333 | 0.111 % | 0.19/0.24 c | 1146 | 933 1070 10318 | 6655 1146 334 | 0.111 % | 0.29/0.31 c | 1483 | 933 1070 10318 | 7320 1483 333 | 0.111 % | 0.39/0.41 c | 1989 | 933 1070 10318 | 8052 1989 333 | 0.111 % | 0.49/0.55 c | 2750 | 933 1070 10318 | 8857 2750 332 | 0.109 % | 0.69/0.77 c | 3891 | 933 1070 10318 | 9743 3891 329 | 0.108 % | 1.19/1.20 c | 5601 | 933 1070 10318 | 10717 5601 327 | 0.107 % | 1.79/1.82 c | 8163 | 933 1070 10318 | 11789 8163 326 | 0.108 % | 2.79/2.86 c | 12009 | 933 1070 10318 | 12968 12009 334 | 0.108 % | 4.49/4.54 c | 17775 | 933 1070 10318 | 14265 10844 338 | 0.108 % | 6.99/7.07 c | 26424 | 933 1070 10318 | 15692 11923 342 | 0.108 % | 7.19/7.27 c =============================================================================== 7.19/7.27 c New solution: 32 7.19/7.27 o 32 7.19/7.27 c Elapsed CPU time: 7.15791 s Remaining CPU time: 172.842 s 7.19/7.27 c =============================================================================== 7.19/7.27 c | 27362 | 933 1071 11252 | 5000 12861 341 | 0.108 % | 7.29/7.33 c | 27462 | 933 1071 11252 | 5500 3316 339 | 0.107 % | 7.29/7.36 c | 27614 | 933 1071 11252 | 6050 3468 338 | 0.107 % | 7.38/7.41 c | 27840 | 933 1071 11252 | 6655 3694 338 | 0.111 % | 7.38/7.47 c | 28177 | 933 1071 11252 | 7320 4031 337 | 0.111 % | 7.49/7.59 c | 28684 | 933 1071 11252 | 8052 4538 336 | 0.111 % | 7.69/7.74 c | 29444 | 933 1071 11252 | 8857 5298 335 | 0.108 % | 7.99/8.05 c | 30584 | 933 1071 11252 | 9743 6438 335 | 0.108 % | 8.39/8.40 c | 32294 | 933 1071 11252 | 10717 8148 336 | 0.108 % | 8.98/9.04 c | 34857 | 933 1071 11252 | 11789 10711 339 | 0.107 % | 9.99/10.00 c | 38702 | 933 1071 11252 | 12968 8216 343 | 0.108 % | 11.39/11.43 c | 44469 | 933 1071 11252 | 14265 7060 348 | 0.107 % | 13.69/13.76 c | 53119 | 933 1071 11252 | 15692 8147 314 | 0.107 % | 18.18/18.20 c | 66093 | 933 1071 11252 | 17261 12848 337 | 0.107 % | 26.19/26.24 c | 85554 | 933 1071 11252 | 18987 14169 320 | 0.107 % | 36.78/36.87 c | 114746 | 933 1071 11252 | 20886 13559 333 | 0.108 % | 59.97/60.03 c | 158538 | 933 1071 11252 | 22974 13861 330 | 0.108 % | 61.27/61.35 c =============================================================================== 61.27/61.35 c New solution: 31 61.27/61.35 o 31 61.27/61.35 c Elapsed CPU time: 60.6568 s Remaining CPU time: 119.343 s 61.27/61.35 c =============================================================================== 61.27/61.35 c | 163146 | 933 1072 12186 | 5000 18469 333 | 0.108 % | 61.37/61.45 c | 163247 | 933 1072 12186 | 5500 4719 340 | 0.108 % | 61.37/61.49 c | 163398 | 933 1072 12186 | 6050 4870 340 | 0.108 % | 61.48/61.54 c | 163624 | 933 1072 12186 | 6655 5096 339 | 0.111 % | 61.58/61.62 c | 163963 | 933 1072 12186 | 7320 5435 338 | 0.111 % | 61.67/61.74 c | 164469 | 933 1072 12186 | 8052 5941 336 | 0.111 % | 61.88/61.92 c | 165228 | 933 1072 12186 | 8857 6700 336 | 0.108 % | 62.08/62.18 c | 166369 | 933 1072 12186 | 9743 7841 334 | 0.107 % | 62.58/62.61 c | 168077 | 933 1072 12186 | 10717 9549 332 | 0.107 % | 63.27/63.36 c | 170639 | 933 1072 12186 | 11789 6324 326 | 0.108 % | 64.37/64.47 c | 174483 | 933 1072 12186 | 12968 10168 334 | 0.107 % | 66.17/66.20 c | 180250 | 933 1072 12186 | 14265 9010 341 | 0.108 % | 68.98/69.08 c | 188900 | 933 1072 12186 | 15692 10091 334 | 0.107 % | 74.17/74.28 c | 201874 | 933 1072 12186 | 17261 14794 335 | 0.107 % | 81.87/81.93 c | 221335 | 933 1072 12186 | 18987 16123 333 | 0.107 % | 93.07/93.11 c | 250527 | 933 1072 12186 | 20886 15567 316 | 0.107 % | 113.76/113.83 c | 294316 | 933 1072 12186 | 22974 15855 345 | 0.107 % | 146.26/146.39 c | 360002 | 933 1072 12186 | 25272 18859 333 | 0.107 % | 181.85/181.92 c There are 1 assigned variables. 1 in cost function. 182.64/182.72 c core #1 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 7 Core Weight: 1 Total Weight: -545 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #2 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 8 Core Weight: 1 Total Weight: -544 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #3 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -543 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #4 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 15 Core Weight: 1 Total Weight: -542 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #5 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 14 Core Weight: 1 Total Weight: -541 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #6 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 18 Core Weight: 1 Total Weight: -540 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #7 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -539 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #8 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -538 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #9 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -537 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #10 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 8 Core Weight: 1 Total Weight: -536 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #11 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -535 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #12 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -534 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #13 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -533 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #14 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -532 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #15 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -531 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #16 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -530 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #17 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -529 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #18 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -528 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #19 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -527 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #20 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 14 Core Weight: 1 Total Weight: -526 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #21 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -525 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #22 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -524 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #23 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -523 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #24 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -522 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #25 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -521 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #26 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -520 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #27 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -519 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #28 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -518 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #29 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -517 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #30 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -516 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #31 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 6 Core Weight: 1 Total Weight: -515 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #32 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -514 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #33 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 5 Core Weight: 1 Total Weight: -513 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #34 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 6 Core Weight: 1 Total Weight: -512 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #35 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 8 Core Weight: 2 Total Weight: -510 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #36 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -509 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #37 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -508 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #38 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -507 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #39 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -506 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #40 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -505 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #41 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 17 Core Weight: 1 Total Weight: -504 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #42 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 17 Core Weight: 1 Total Weight: -503 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #43 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 15 Core Weight: 1 Total Weight: -502 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #44 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 15 Core Weight: 1 Total Weight: -501 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #45 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 10 Core Weight: 1 Total Weight: -500 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #46 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -499 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #47 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 9 Core Weight: 1 Total Weight: -498 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #48 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -497 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #49 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 14 Core Weight: 1 Total Weight: -496 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #50 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 15 Core Weight: 1 Total Weight: -495 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #51 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 17 Core Weight: 1 Total Weight: -494 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #52 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 17 Core Weight: 1 Total Weight: -493 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #53 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 17 Core Weight: 1 Total Weight: -492 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #54 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 14 Core Weight: 1 Total Weight: -491 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #55 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 13 Core Weight: 1 Total Weight: -490 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #56 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 12 Core Weight: 1 Total Weight: -489 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #57 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 11 Core Weight: 1 Total Weight: -488 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c core #58 182.64/182.72 c 182.64/182.72 c 182.64/182.72 c Core size: 16 Core Weight: 1 Total Weight: -487 182.64/182.72 c 182.64/182.72 c 183.04/183.12 c core #59 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 15 Core Weight: 1 Total Weight: -486 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #60 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 11 Core Weight: 2 Total Weight: -484 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #61 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 13 Core Weight: 1 Total Weight: -483 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #62 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 7 Core Weight: 1 Total Weight: -482 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #63 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 4 Core Weight: 1 Total Weight: -481 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #64 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 7 Core Weight: 1 Total Weight: -480 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #65 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 7 Core Weight: 1 Total Weight: -479 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #66 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 8 Core Weight: 1 Total Weight: -478 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #67 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 10 Core Weight: 1 Total Weight: -477 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #68 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 10 Core Weight: 1 Total Weight: -476 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #69 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 16 Core Weight: 1 Total Weight: -475 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #70 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 14 Core Weight: 1 Total Weight: -474 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #71 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 15 Core Weight: 1 Total Weight: -473 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #72 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 14 Core Weight: 1 Total Weight: -472 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c core #73 183.04/183.12 c 183.04/183.12 c 183.04/183.12 c Core size: 17 Core Weight: 1 Total Weight: -471 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #74 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 18 Core Weight: 1 Total Weight: -470 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #75 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 18 Core Weight: 1 Total Weight: -469 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #76 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 19 Core Weight: 1 Total Weight: -468 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #77 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 17 Core Weight: 1 Total Weight: -467 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #78 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 14 Core Weight: 1 Total Weight: -466 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #79 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 14 Core Weight: 1 Total Weight: -465 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #80 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 16 Core Weight: 1 Total Weight: -464 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #81 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 12 Core Weight: 1 Total Weight: -463 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #82 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 9 Core Weight: 1 Total Weight: -462 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #83 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 11 Core Weight: 1 Total Weight: -461 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #84 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 6 Core Weight: 1 Total Weight: -460 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #85 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 5 Core Weight: 1 Total Weight: -459 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #86 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 7 Core Weight: 1 Total Weight: -458 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #87 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 4 Core Weight: 1 Total Weight: -457 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #88 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 18 Core Weight: 1 Total Weight: -456 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #89 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 19 Core Weight: 1 Total Weight: -455 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #90 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 18 Core Weight: 1 Total Weight: -454 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #91 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 18 Core Weight: 1 Total Weight: -453 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #92 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 20 Core Weight: 1 Total Weight: -452 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #93 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 20 Core Weight: 1 Total Weight: -451 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #94 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 17 Core Weight: 1 Total Weight: -450 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #95 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 22 Core Weight: 1 Total Weight: -449 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #96 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 16 Core Weight: 1 Total Weight: -448 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #97 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 15 Core Weight: 1 Total Weight: -447 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #98 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 16 Core Weight: 1 Total Weight: -446 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #99 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 14 Core Weight: 1 Total Weight: -445 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #100 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 13 Core Weight: 1 Total Weight: -444 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #101 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 12 Core Weight: 1 Total Weight: -443 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #102 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 11 Core Weight: 1 Total Weight: -442 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #103 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 9 Core Weight: 1 Total Weight: -441 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #104 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 14 Core Weight: 1 Total Weight: -440 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #105 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 14 Core Weight: 1 Total Weight: -439 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #106 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 10 Core Weight: 1 Total Weight: -438 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #107 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 5 Core Weight: 1 Total Weight: -437 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #108 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 5 Core Weight: 1 Total Weight: -436 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #109 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 9 Core Weight: 1 Total Weight: -435 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #110 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 16 Core Weight: 1 Total Weight: -434 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #111 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 15 Core Weight: 1 Total Weight: -433 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #112 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 16 Core Weight: 1 Total Weight: -432 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #113 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 19 Core Weight: 1 Total Weight: -431 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #114 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 20 Core Weight: 1 Total Weight: -430 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #115 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 27 Core Weight: 1 Total Weight: -429 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c core #116 183.04/183.13 c 183.04/183.13 c 183.04/183.13 c Core size: 21 Core Weight: 1 Total Weight: -428 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #117 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 29 Core Weight: 1 Total Weight: -427 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #118 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 16 Core Weight: 1 Total Weight: -426 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #119 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 14 Core Weight: 1 Total Weight: -425 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #120 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 15 Core Weight: 1 Total Weight: -424 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #121 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 14 Core Weight: 1 Total Weight: -423 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #122 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 14 Core Weight: 1 Total Weight: -422 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #123 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 13 Core Weight: 1 Total Weight: -421 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #124 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 13 Core Weight: 1 Total Weight: -420 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #125 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 12 Core Weight: 1 Total Weight: -419 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #126 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 11 Core Weight: 1 Total Weight: -418 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #127 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 12 Core Weight: 1 Total Weight: -417 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #128 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 7 Core Weight: 2 Total Weight: -415 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #129 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 8 Core Weight: 1 Total Weight: -414 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c core #130 183.55/183.66 c 183.55/183.66 c 183.55/183.66 c Core size: 11 Core Weight: 1 Total Weight: -413 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #131 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 12 Core Weight: 1 Total Weight: -412 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #132 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 14 Core Weight: 1 Total Weight: -411 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #133 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 17 Core Weight: 1 Total Weight: -410 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #134 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 16 Core Weight: 1 Total Weight: -409 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #135 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 21 Core Weight: 1 Total Weight: -408 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #136 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 13 Core Weight: 1 Total Weight: -407 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #137 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 15 Core Weight: 1 Total Weight: -406 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #138 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 14 Core Weight: 1 Total Weight: -405 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #139 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 16 Core Weight: 1 Total Weight: -404 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #140 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 19 Core Weight: 1 Total Weight: -403 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #141 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 15 Core Weight: 1 Total Weight: -402 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #142 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 14 Core Weight: 1 Total Weight: -401 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #143 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 12 Core Weight: 1 Total Weight: -400 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #144 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 13 Core Weight: 1 Total Weight: -399 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #145 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 13 Core Weight: 1 Total Weight: -398 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #146 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -397 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #147 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -396 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #148 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -395 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #149 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 9 Core Weight: 1 Total Weight: -394 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #150 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 8 Core Weight: 1 Total Weight: -393 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #151 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -392 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #152 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 11 Core Weight: 1 Total Weight: -391 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #153 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 13 Core Weight: 1 Total Weight: -390 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #154 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 16 Core Weight: 1 Total Weight: -389 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #155 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 14 Core Weight: 1 Total Weight: -388 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #156 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 13 Core Weight: 1 Total Weight: -387 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #157 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 17 Core Weight: 1 Total Weight: -386 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #158 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 17 Core Weight: 1 Total Weight: -385 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #159 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 15 Core Weight: 1 Total Weight: -384 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #160 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 11 Core Weight: 1 Total Weight: -383 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #161 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 12 Core Weight: 1 Total Weight: -382 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #162 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 12 Core Weight: 1 Total Weight: -381 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #163 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 11 Core Weight: 1 Total Weight: -380 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #164 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 12 Core Weight: 1 Total Weight: -379 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #165 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 9 Core Weight: 1 Total Weight: -378 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #166 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 8 Core Weight: 1 Total Weight: -377 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #167 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 9 Core Weight: 1 Total Weight: -376 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #168 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 6 Core Weight: 1 Total Weight: -375 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #169 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 7 Core Weight: 1 Total Weight: -374 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #170 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -373 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #171 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 10 Core Weight: 1 Total Weight: -372 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #172 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 9 Core Weight: 1 Total Weight: -371 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c core #173 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 14 Core Weight: 1 Total Weight: -370 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #174 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 12 Core Weight: 1 Total Weight: -369 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #175 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 11 Core Weight: 1 Total Weight: -368 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #176 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 8 Core Weight: 1 Total Weight: -367 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #177 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 12 Core Weight: 1 Total Weight: -366 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #178 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 15 Core Weight: 1 Total Weight: -365 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #179 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 8 Core Weight: 2 Total Weight: -363 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #180 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 12 Core Weight: 1 Total Weight: -362 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #181 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -361 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #182 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 6 Core Weight: 1 Total Weight: -360 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #183 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -359 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #184 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 7 Core Weight: 1 Total Weight: -358 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #185 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 8 Core Weight: 1 Total Weight: -357 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #186 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 3 Core Weight: 2 Total Weight: -355 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #187 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 4 Core Weight: 1 Total Weight: -354 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #188 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 8 Core Weight: 1 Total Weight: -353 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #189 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 5 Core Weight: 2 Total Weight: -351 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #190 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 13 Core Weight: 1 Total Weight: -350 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #191 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 10 Core Weight: 1 Total Weight: -349 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #192 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 14 Core Weight: 1 Total Weight: -348 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #193 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -347 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #194 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -346 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #195 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 10 Core Weight: 1 Total Weight: -345 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #196 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 11 Core Weight: 1 Total Weight: -344 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #197 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 7 Core Weight: 1 Total Weight: -343 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #198 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -342 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #199 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -341 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #200 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 6 Core Weight: 1 Total Weight: -340 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #201 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 5 Core Weight: 1 Total Weight: -339 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #202 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 5 Core Weight: 1 Total Weight: -338 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #203 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 3 Core Weight: 1 Total Weight: -337 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #204 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 22 Core Weight: 1 Total Weight: -336 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #205 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 9 Core Weight: 1 Total Weight: -335 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c core #206 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c Core size: 11 Core Weight: 1 Total Weight: -334 184.05/184.10 c 184.05/184.10 c 184.05/184.10 c ============================[ Search Statistics ]============================== 184.05/184.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.05/184.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.05/184.10 c =============================================================================== 184.05/184.10 c | 0 | 2712 3275 17138 | 5000 0 nan | 0.000 % | 184.05/184.10 c =============================================================================== 184.05/184.13 c core #207 184.05/184.13 c 184.05/184.13 c 184.05/184.13 c Core size: 11 Core Weight: 1 Total Weight: -333 184.05/184.13 c 184.05/184.13 c 184.05/184.13 c ============================[ Search Statistics ]============================== 184.05/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.05/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.05/184.13 c =============================================================================== 184.05/184.13 c | 0 | 2722 3276 17165 | 5000 0 nan | 0.000 % | 184.05/184.13 c =============================================================================== 184.05/184.15 c core #208 184.05/184.15 c 184.05/184.15 c 184.05/184.15 c Core size: 28 Core Weight: 1 Total Weight: -332 184.05/184.15 c 184.05/184.15 c 184.05/184.15 c ============================[ Search Statistics ]============================== 184.05/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.05/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.05/184.15 c =============================================================================== 184.05/184.15 c | 0 | 2749 3281 17231 | 5000 0 nan | 0.000 % | 184.05/184.16 c =============================================================================== 184.05/184.18 c core #209 184.05/184.18 c 184.05/184.18 c 184.05/184.18 c Core size: 47 Core Weight: 1 Total Weight: -331 184.05/184.18 c 184.05/184.18 c 184.05/184.18 c ============================[ Search Statistics ]============================== 184.05/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.05/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.05/184.18 c =============================================================================== 184.05/184.18 c | 0 | 2793 3284 17342 | 5000 0 nan | 0.000 % | 184.05/184.19 c =============================================================================== 184.15/184.21 c core #210 184.15/184.21 c 184.15/184.21 c 184.15/184.21 c Core size: 26 Core Weight: 1 Total Weight: -330 184.15/184.21 c 184.15/184.21 c 184.15/184.21 c ============================[ Search Statistics ]============================== 184.15/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.15/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.15/184.21 c =============================================================================== 184.15/184.21 c | 0 | 2810 3286 17375 | 5000 0 nan | 0.000 % | 184.15/184.22 c =============================================================================== 184.15/184.24 c core #211 184.15/184.24 c 184.15/184.24 c 184.15/184.24 c Core size: 5 Core Weight: 1 Total Weight: -329 184.15/184.24 c 184.15/184.24 c 184.15/184.24 c ============================[ Search Statistics ]============================== 184.15/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.15/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.15/184.24 c =============================================================================== 184.15/184.24 c | 0 | 2813 3287 17381 | 5000 0 nan | 0.000 % | 184.15/184.25 c =============================================================================== 184.15/184.27 c core #212 184.15/184.27 c 184.15/184.27 c 184.15/184.27 c Core size: 37 Core Weight: 1 Total Weight: -328 184.15/184.27 c 184.15/184.27 c 184.15/184.27 c ============================[ Search Statistics ]============================== 184.15/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.15/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.15/184.27 c =============================================================================== 184.15/184.27 c | 0 | 2844 3291 17449 | 5000 0 nan | 0.000 % | 184.15/184.28 c =============================================================================== 184.25/184.30 c core #213 184.25/184.30 c 184.25/184.30 c 184.25/184.30 c Core size: 24 Core Weight: 1 Total Weight: -327 184.25/184.30 c 184.25/184.30 c 184.25/184.30 c ============================[ Search Statistics ]============================== 184.25/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.25/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.25/184.30 c =============================================================================== 184.25/184.30 c | 0 | 2867 3295 17515 | 5000 0 nan | 0.000 % | 184.25/184.31 c =============================================================================== 184.25/184.33 c core #214 184.25/184.33 c 184.25/184.33 c 184.25/184.33 c Core size: 70 Core Weight: 1 Total Weight: -326 184.25/184.33 c 184.25/184.33 c 184.25/184.33 c ============================[ Search Statistics ]============================== 184.25/184.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.25/184.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.25/184.33 c =============================================================================== 184.25/184.33 c | 0 | 2935 3296 17690 | 5000 0 nan | 0.000 % | 184.25/184.35 c | 100 | 2935 3296 17690 | 5500 100 31 | 3.709 % | 184.25/184.35 c =============================================================================== 184.25/184.37 c core #215 184.25/184.37 c 184.25/184.37 c 184.25/184.37 c Core size: 117 Core Weight: 1 Total Weight: -325 184.25/184.37 c 184.25/184.37 c 184.25/184.37 c ============================[ Search Statistics ]============================== 184.25/184.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.25/184.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.25/184.37 c =============================================================================== 184.25/184.37 c | 0 | 3045 3297 17925 | 5000 0 nan | 0.000 % | 184.25/184.39 c | 101 | 3045 3297 17925 | 5500 101 44 | 3.456 % | 184.25/184.40 c | 254 | 3041 3297 17925 | 6050 254 28 | 3.741 % | 184.35/184.40 c =============================================================================== 184.35/184.43 c core #216 184.35/184.43 c 184.35/184.43 c 184.35/184.43 c Core size: 16 Core Weight: 1 Total Weight: -324 184.35/184.43 c 184.35/184.43 c 184.35/184.43 c ============================[ Search Statistics ]============================== 184.35/184.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.35/184.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.35/184.43 c =============================================================================== 184.35/184.43 c | 0 | 3057 3302 17954 | 5000 0 nan | 0.000 % | 184.35/184.43 c =============================================================================== 184.35/184.46 c core #217 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c Core size: 15 Core Weight: 1 Total Weight: -323 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c ============================[ Search Statistics ]============================== 184.35/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.35/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.35/184.46 c =============================================================================== 184.35/184.46 c | 0 | 3068 3303 17976 | 5000 0 nan | 0.000 % | 184.35/184.47 c | 101 | 3068 3303 17976 | 5500 101 44 | 3.431 % | 184.35/184.48 c | 251 | 3065 3303 17976 | 6050 251 29 | 3.683 % | 184.35/184.49 c =============================================================================== 184.45/184.51 c core #218 184.45/184.51 c 184.45/184.51 c 184.45/184.51 c Core size: 92 Core Weight: 1 Total Weight: -322 184.45/184.51 c 184.45/184.51 c 184.45/184.51 c ============================[ Search Statistics ]============================== 184.45/184.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.45/184.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.45/184.51 c =============================================================================== 184.45/184.51 c | 0 | 3142 3304 18124 | 5000 0 nan | 0.000 % | 184.45/184.52 c | 101 | 3142 3304 18124 | 5500 101 44 | 3.353 % | 184.45/184.53 c | 252 | 3140 3304 18124 | 6050 252 29 | 3.507 % | 184.45/184.55 c | 477 | 3137 3304 18124 | 6655 476 22 | 3.507 % | 184.45/184.58 c | 815 | 3136 3304 18124 | 7320 810 19 | 3.537 % | 184.45/184.58 c =============================================================================== 184.54/184.61 c core #219 184.54/184.61 c 184.54/184.61 c 184.54/184.61 c Core size: 17 Core Weight: 1 Total Weight: -321 184.54/184.61 c 184.54/184.61 c 184.54/184.61 c ============================[ Search Statistics ]============================== 184.54/184.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.61 c =============================================================================== 184.54/184.61 c | 0 | 3154 3305 18148 | 5000 0 nan | 0.000 % | 184.54/184.61 c =============================================================================== 184.54/184.64 c core #220 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c Core size: 9 Core Weight: 1 Total Weight: -320 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c ============================[ Search Statistics ]============================== 184.54/184.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.64 c =============================================================================== 184.54/184.64 c | 0 | 3163 3306 18184 | 5000 0 nan | 0.000 % | 184.54/184.64 c =============================================================================== 184.54/184.67 c core #221 184.54/184.67 c 184.54/184.67 c 184.54/184.67 c Core size: 11 Core Weight: 1 Total Weight: -319 184.54/184.67 c 184.54/184.67 c 184.54/184.67 c ============================[ Search Statistics ]============================== 184.54/184.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.67 c =============================================================================== 184.54/184.67 c | 0 | 3171 3309 18204 | 5000 0 nan | 0.000 % | 184.54/184.67 c =============================================================================== 184.54/184.70 c core #222 184.54/184.70 c 184.54/184.70 c 184.54/184.70 c Core size: 35 Core Weight: 1 Total Weight: -318 184.54/184.70 c 184.54/184.70 c 184.54/184.70 c ============================[ Search Statistics ]============================== 184.54/184.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.70 c =============================================================================== 184.54/184.70 c | 0 | 3195 3310 18252 | 5000 0 nan | 0.000 % | 184.65/184.71 c =============================================================================== 184.65/184.73 c core #223 184.65/184.73 c 184.65/184.73 c 184.65/184.73 c Core size: 15 Core Weight: 1 Total Weight: -317 184.65/184.73 c 184.65/184.73 c 184.65/184.73 c ============================[ Search Statistics ]============================== 184.65/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.73 c =============================================================================== 184.65/184.73 c | 0 | 3208 3314 18289 | 5000 0 nan | 0.000 % | 184.65/184.74 c | 101 | 3208 3314 18289 | 5500 101 44 | 3.140 % | 184.65/184.75 c =============================================================================== 184.65/184.77 c core #224 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c Core size: 65 Core Weight: 1 Total Weight: -316 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c ============================[ Search Statistics ]============================== 184.65/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.77 c =============================================================================== 184.65/184.77 c | 0 | 3266 3316 18425 | 5000 0 nan | 0.000 % | 184.65/184.78 c | 102 | 3266 3316 18425 | 5500 102 43 | 3.000 % | 184.65/184.79 c =============================================================================== 184.75/184.81 c core #225 184.75/184.81 c 184.75/184.81 c 184.75/184.81 c Core size: 16 Core Weight: 1 Total Weight: -315 184.75/184.81 c 184.75/184.81 c 184.75/184.81 c ============================[ Search Statistics ]============================== 184.75/184.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.81 c =============================================================================== 184.75/184.81 c | 0 | 3285 3317 18493 | 5000 0 nan | 0.000 % | 184.75/184.82 c =============================================================================== 184.75/184.84 c core #226 184.75/184.84 c 184.75/184.84 c 184.75/184.84 c Core size: 12 Core Weight: 1 Total Weight: -314 184.75/184.84 c 184.75/184.84 c 184.75/184.84 c ============================[ Search Statistics ]============================== 184.75/184.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.84 c =============================================================================== 184.75/184.84 c | 0 | 3291 3320 18509 | 5000 0 nan | 0.000 % | 184.75/184.85 c =============================================================================== 184.75/184.87 c core #227 184.75/184.87 c 184.75/184.87 c 184.75/184.87 c Core size: 37 Core Weight: 1 Total Weight: -313 184.75/184.87 c 184.75/184.87 c 184.75/184.87 c ============================[ Search Statistics ]============================== 184.75/184.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.87 c =============================================================================== 184.75/184.87 c | 0 | 3326 3321 18579 | 5000 0 nan | 0.000 % | 184.75/184.88 c =============================================================================== 184.84/184.90 c core #228 184.84/184.90 c 184.84/184.90 c 184.84/184.90 c Core size: 30 Core Weight: 1 Total Weight: -312 184.84/184.90 c 184.84/184.90 c 184.84/184.90 c ============================[ Search Statistics ]============================== 184.84/184.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.90 c =============================================================================== 184.84/184.90 c | 0 | 3353 3322 18640 | 5000 0 nan | 0.000 % | 184.84/184.92 c | 102 | 3353 3322 18640 | 5500 102 43 | 2.699 % | 184.84/184.93 c =============================================================================== 184.84/184.95 c core #229 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 98 Core Weight: 1 Total Weight: -311 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c ============================[ Search Statistics ]============================== 184.84/184.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.95 c =============================================================================== 184.84/184.95 c | 0 | 3445 3323 18866 | 5000 0 nan | 0.000 % | 184.84/184.96 c =============================================================================== 184.84/184.98 c core #230 184.84/184.98 c 184.84/184.98 c 184.84/184.98 c Core size: 13 Core Weight: 1 Total Weight: -310 184.84/184.98 c 184.84/184.98 c 184.84/184.98 c ============================[ Search Statistics ]============================== 184.84/184.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.98 c =============================================================================== 184.84/184.98 c | 0 | 3454 3324 18884 | 5000 0 nan | 0.000 % | 184.94/185.00 c | 101 | 3454 3324 18884 | 5500 101 18 | 2.457 % | 184.94/185.00 c =============================================================================== 184.94/185.02 c core #231 184.94/185.02 c 184.94/185.02 c 184.94/185.02 c Core size: 19 Core Weight: 1 Total Weight: -309 184.94/185.02 c 184.94/185.02 c 184.94/185.02 c ============================[ Search Statistics ]============================== 184.94/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.02 c =============================================================================== 184.94/185.02 c | 0 | 3468 3325 18912 | 5000 0 nan | 0.000 % | 184.94/185.04 c | 101 | 3468 3325 18912 | 5500 101 26 | 2.447 % | 184.94/185.04 c =============================================================================== 184.94/185.07 c core #232 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 47 Core Weight: 1 Total Weight: -308 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c ============================[ Search Statistics ]============================== 184.94/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.07 c =============================================================================== 184.94/185.07 c | 0 | 3501 3326 18978 | 5000 0 nan | 0.000 % | 184.94/185.08 c =============================================================================== 185.05/185.10 c core #233 185.05/185.10 c 185.05/185.10 c 185.05/185.10 c Core size: 46 Core Weight: 1 Total Weight: -307 185.05/185.10 c 185.05/185.10 c 185.05/185.10 c ============================[ Search Statistics ]============================== 185.05/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.05/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.05/185.10 c =============================================================================== 185.05/185.10 c | 0 | 3539 3327 19054 | 5000 0 nan | 0.000 % | 185.05/185.11 c =============================================================================== 185.05/185.13 c core #234 185.05/185.13 c 185.05/185.13 c 185.05/185.13 c Core size: 22 Core Weight: 1 Total Weight: -306 185.05/185.13 c 185.05/185.13 c 185.05/185.13 c ============================[ Search Statistics ]============================== 185.05/185.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.05/185.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.05/185.13 c =============================================================================== 185.05/185.13 c | 0 | 3552 3328 19080 | 5000 0 nan | 0.000 % | 185.05/185.15 c =============================================================================== 185.05/185.17 c core #235 185.05/185.17 c 185.05/185.17 c 185.05/185.17 c Core size: 36 Core Weight: 1 Total Weight: -305 185.05/185.17 c 185.05/185.17 c 185.05/185.17 c ============================[ Search Statistics ]============================== 185.05/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.05/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.05/185.17 c =============================================================================== 185.05/185.17 c | 0 | 3579 3331 19159 | 5000 0 nan | 0.000 % | 185.05/185.18 c | 100 | 3579 3331 19159 | 5500 100 45 | 2.267 % | 185.05/185.20 c | 250 | 3579 3331 19159 | 6050 250 32 | 2.267 % | 185.15/185.21 c | 475 | 3579 3331 19159 | 6655 475 27 | 2.267 % | 185.15/185.24 c | 813 | 3579 3331 19159 | 7320 813 23 | 2.267 % | 185.15/185.29 c | 1326 | 3579 3331 19159 | 8052 1326 19 | 2.267 % | 185.25/185.32 c =============================================================================== 185.25/185.35 c core #236 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 81 Core Weight: 1 Total Weight: -304 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c ============================[ Search Statistics ]============================== 185.25/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.35 c =============================================================================== 185.25/185.35 c | 0 | 3650 3332 19357 | 5000 0 nan | 0.000 % | 185.25/185.35 c =============================================================================== 185.25/185.38 c core #237 185.25/185.38 c 185.25/185.38 c 185.25/185.38 c Core size: 42 Core Weight: 1 Total Weight: -303 185.25/185.38 c 185.25/185.38 c 185.25/185.38 c ============================[ Search Statistics ]============================== 185.25/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.38 c =============================================================================== 185.25/185.38 c | 0 | 3684 3334 19454 | 5000 0 nan | 0.000 % | 185.25/185.39 c =============================================================================== 185.35/185.41 c core #238 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c Core size: 28 Core Weight: 1 Total Weight: -302 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c ============================[ Search Statistics ]============================== 185.35/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.41 c =============================================================================== 185.35/185.41 c | 0 | 3707 3335 19500 | 5000 0 nan | 0.000 % | 185.35/185.43 c | 100 | 3707 3335 19500 | 5500 100 44 | 1.619 % | 185.35/185.44 c | 251 | 3704 3335 19500 | 6050 250 26 | 1.699 % | 185.35/185.44 c =============================================================================== 185.35/185.47 c core #239 185.35/185.47 c 185.35/185.47 c 185.35/185.47 c Core size: 69 Core Weight: 1 Total Weight: -301 185.35/185.47 c 185.35/185.47 c 185.35/185.47 c ============================[ Search Statistics ]============================== 185.35/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.47 c =============================================================================== 185.35/185.47 c | 0 | 3769 3341 19634 | 5000 0 nan | 0.000 % | 185.35/185.48 c =============================================================================== 185.45/185.50 c core #240 185.45/185.50 c 185.45/185.50 c 185.45/185.50 c Core size: 42 Core Weight: 1 Total Weight: -300 185.45/185.50 c 185.45/185.50 c 185.45/185.50 c ============================[ Search Statistics ]============================== 185.45/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.50 c =============================================================================== 185.45/185.50 c | 0 | 3805 3342 19706 | 5000 0 nan | 0.000 % | 185.45/185.51 c =============================================================================== 185.45/185.54 c core #241 185.45/185.54 c 185.45/185.54 c 185.45/185.54 c Core size: 59 Core Weight: 1 Total Weight: -299 185.45/185.54 c 185.45/185.54 c 185.45/185.54 c ============================[ Search Statistics ]============================== 185.45/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.54 c =============================================================================== 185.45/185.54 c | 0 | 3860 3344 19845 | 5000 0 nan | 0.000 % | 185.45/185.55 c | 101 | 3860 3344 19845 | 5500 101 15 | 1.380 % | 185.45/185.55 c =============================================================================== 185.45/185.58 c core #242 185.45/185.58 c 185.45/185.58 c 185.45/185.58 c Core size: 61 Core Weight: 1 Total Weight: -298 185.45/185.58 c 185.45/185.58 c 185.45/185.58 c ============================[ Search Statistics ]============================== 185.45/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.58 c =============================================================================== 185.45/185.58 c | 0 | 3917 3345 19959 | 5000 0 nan | 0.000 % | 185.45/185.59 c =============================================================================== 185.55/185.62 c core #243 185.55/185.62 c 185.55/185.62 c 185.55/185.62 c Core size: 94 Core Weight: 1 Total Weight: -297 185.55/185.62 c 185.55/185.62 c 185.55/185.62 c ============================[ Search Statistics ]============================== 185.55/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.62 c =============================================================================== 185.55/185.62 c | 0 | 4006 3347 20176 | 5000 0 nan | 0.000 % | 185.55/185.63 c | 103 | 4006 3347 20176 | 5500 103 13 | 1.135 % | 185.55/185.64 c =============================================================================== 185.55/185.67 c core #244 185.55/185.67 c 185.55/185.67 c 185.55/185.67 c Core size: 24 Core Weight: 1 Total Weight: -296 185.55/185.67 c 185.55/185.67 c 185.55/185.67 c ============================[ Search Statistics ]============================== 185.55/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.67 c =============================================================================== 185.55/185.67 c | 0 | 4022 3348 20208 | 5000 0 nan | 0.000 % | 185.55/185.68 c | 100 | 4022 3348 20208 | 5500 100 16 | 1.131 % | 185.55/185.69 c | 250 | 4022 3348 20208 | 6050 250 12 | 1.131 % | 185.64/185.71 c | 476 | 4018 3348 20208 | 6655 473 10 | 1.229 % | 185.64/185.72 c =============================================================================== 185.64/185.75 c core #245 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 162 Core Weight: 1 Total Weight: -295 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 4173 3354 20520 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.79 c core #246 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 42 Core Weight: 1 Total Weight: -294 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 4210 3356 20611 | 5000 0 nan | 0.000 % | 185.76/185.81 c | 101 | 4210 3356 20611 | 5500 101 10 | 1.011 % | 185.76/185.82 c | 251 | 4197 3356 20611 | 6050 82 9 | 1.317 % | 185.76/185.82 c =============================================================================== 185.76/185.85 c core #247 185.76/185.85 c 185.76/185.85 c 185.76/185.85 c Core size: 84 Core Weight: 1 Total Weight: -293 185.76/185.85 c 185.76/185.85 c 185.76/185.85 c ============================[ Search Statistics ]============================== 185.76/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.76/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.76/185.85 c =============================================================================== 185.76/185.85 c | 0 | 4287 3357 20765 | 5000 0 nan | 0.000 % | 185.76/185.85 c =============================================================================== 185.76/185.88 c core #248 185.76/185.88 c 185.76/185.88 c 185.76/185.88 c Core size: 13 Core Weight: 1 Total Weight: -292 185.76/185.88 c 185.76/185.88 c 185.76/185.88 c ============================[ Search Statistics ]============================== 185.76/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.76/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.76/185.88 c =============================================================================== 185.76/185.88 c | 0 | 4296 3358 20783 | 5000 0 nan | 0.000 % | 185.76/185.90 c | 103 | 4296 3358 20783 | 5500 103 51 | 0.991 % | 185.85/185.91 c | 253 | 4296 3358 20783 | 6050 253 36 | 0.991 % | 185.85/185.92 c | 480 | 4296 3358 20783 | 6655 480 31 | 0.991 % | 185.85/185.95 c | 822 | 4296 3358 20783 | 7320 822 27 | 0.991 % | 185.85/185.99 c | 1328 | 4296 3358 20783 | 8052 1328 23 | 0.991 % | 185.94/186.07 c | 2087 | 4296 3358 20783 | 8857 2087 22 | 0.991 % | 186.04/186.18 c | 3229 | 4272 3358 20783 | 9743 3228 22 | 1.544 % | 186.34/186.41 c | 4937 | 4272 3358 20783 | 10717 4936 24 | 1.544 % | 186.74/186.80 c | 7500 | 4270 3358 20783 | 11789 7498 23 | 1.590 % | 187.55/187.62 c | 11347 | 4270 3358 20783 | 12968 11345 23 | 1.590 % | 188.44/188.57 c =============================================================================== 188.74/188.87 c core #249 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c Core size: 273 Core Weight: 1 Total Weight: -291 188.74/188.87 c 188.74/188.87 c 188.74/188.87 c ============================[ Search Statistics ]============================== 188.74/188.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.87 c =============================================================================== 188.74/188.87 c | 0 | 4551 3359 21302 | 5000 0 nan | 0.000 % | 188.74/188.89 c =============================================================================== 188.84/188.92 c core #250 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c Core size: 26 Core Weight: 1 Total Weight: -290 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c ============================[ Search Statistics ]============================== 188.84/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.92 c =============================================================================== 188.84/188.92 c | 0 | 4572 3360 21344 | 5000 0 nan | 0.000 % | 188.84/188.93 c | 101 | 4572 3360 21344 | 5500 101 19 | 0.846 % | 188.84/188.95 c | 251 | 4572 3360 21344 | 6050 251 20 | 0.846 % | 188.84/188.97 c | 476 | 4568 3360 21344 | 6655 358 20 | 0.933 % | 188.94/189.00 c | 814 | 4568 3360 21344 | 7320 696 20 | 0.933 % | 188.94/189.04 c | 1322 | 4568 3360 21344 | 8052 1204 19 | 0.933 % | 189.05/189.11 c | 2082 | 4568 3360 21344 | 8857 1964 20 | 0.933 % | 189.15/189.23 c | 3221 | 4568 3360 21344 | 9743 3103 19 | 0.933 % | 189.25/189.32 c =============================================================================== 189.34/189.40 c core #251 189.34/189.40 c 189.34/189.40 c 189.34/189.40 c Core size: 182 Core Weight: 1 Total Weight: -289 189.34/189.40 c 189.34/189.40 c 189.34/189.40 c ============================[ Search Statistics ]============================== 189.34/189.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.40 c =============================================================================== 189.34/189.40 c | 0 | 4747 3362 21721 | 5000 0 nan | 0.000 % | 189.34/189.41 c =============================================================================== 189.34/189.44 c core #252 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c Core size: 39 Core Weight: 1 Total Weight: -288 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c ============================[ Search Statistics ]============================== 189.34/189.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.44 c =============================================================================== 189.34/189.44 c | 0 | 4783 3363 21793 | 5000 0 nan | 0.000 % | 189.34/189.46 c | 101 | 4783 3363 21793 | 5500 101 74 | 0.726 % | 189.34/189.47 c | 251 | 4783 3363 21793 | 6050 251 55 | 0.726 % | 189.34/189.49 c | 480 | 4783 3363 21793 | 6655 480 44 | 0.726 % | 189.44/189.53 c | 819 | 4783 3363 21793 | 7320 819 37 | 0.726 % | 189.44/189.53 c =============================================================================== 189.44/189.57 c core #253 189.44/189.57 c 189.44/189.57 c 189.44/189.57 c Core size: 42 Core Weight: 1 Total Weight: -287 189.44/189.57 c 189.44/189.57 c 189.44/189.57 c ============================[ Search Statistics ]============================== 189.44/189.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.44/189.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.44/189.57 c =============================================================================== 189.44/189.57 c | 0 | 4822 3365 21870 | 5000 0 nan | 0.000 % | 189.44/189.58 c =============================================================================== 189.54/189.61 c core #254 189.54/189.61 c 189.54/189.61 c 189.54/189.61 c Core size: 101 Core Weight: 1 Total Weight: -286 189.54/189.61 c 189.54/189.61 c 189.54/189.61 c ============================[ Search Statistics ]============================== 189.54/189.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.54/189.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.54/189.61 c =============================================================================== 189.54/189.61 c | 0 | 4918 3368 22078 | 5000 0 nan | 0.000 % | 189.54/189.62 c | 103 | 4918 3368 22078 | 5500 103 57 | 0.646 % | 189.54/189.64 c | 253 | 4918 3368 22078 | 6050 253 39 | 0.646 % | 189.54/189.66 c | 479 | 4918 3368 22078 | 6655 479 30 | 0.646 % | 189.54/189.67 c =============================================================================== 189.64/189.70 c core #255 189.64/189.70 c 189.64/189.70 c 189.64/189.70 c Core size: 15 Core Weight: 1 Total Weight: -285 189.64/189.70 c 189.64/189.70 c 189.64/189.70 c ============================[ Search Statistics ]============================== 189.64/189.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.70 c =============================================================================== 189.64/189.70 c | 0 | 4929 3369 22110 | 5000 0 nan | 0.000 % | 189.64/189.71 c | 100 | 4929 3369 22110 | 5500 100 19 | 0.605 % | 189.64/189.72 c | 250 | 4929 3369 22110 | 6050 250 21 | 0.605 % | 189.64/189.74 c | 475 | 4929 3369 22110 | 6655 475 19 | 0.605 % | 189.64/189.77 c | 812 | 4929 3369 22110 | 7320 812 20 | 0.605 % | 189.74/189.83 c | 1321 | 4929 3369 22110 | 8052 1321 23 | 0.605 % | 189.84/189.93 c | 2081 | 4929 3369 22110 | 8857 2081 26 | 0.605 % | 189.95/190.07 c | 3222 | 4929 3369 22110 | 9743 3222 25 | 0.605 % | 189.95/190.09 c =============================================================================== 190.04/190.13 c core #256 190.04/190.13 c 190.04/190.13 c 190.04/190.13 c Core size: 159 Core Weight: 1 Total Weight: -284 190.04/190.13 c 190.04/190.13 c 190.04/190.13 c ============================[ Search Statistics ]============================== 190.04/190.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.13 c =============================================================================== 190.04/190.13 c | 0 | 5068 3370 22388 | 5000 0 nan | 0.000 % | 190.04/190.15 c | 100 | 5068 3370 22388 | 5500 100 11 | 0.588 % | 190.04/190.15 c =============================================================================== 190.04/190.18 c core #257 190.04/190.18 c 190.04/190.18 c 190.04/190.18 c Core size: 159 Core Weight: 1 Total Weight: -283 190.04/190.18 c 190.04/190.18 c 190.04/190.18 c ============================[ Search Statistics ]============================== 190.04/190.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.18 c =============================================================================== 190.04/190.18 c | 0 | 5225 3371 22747 | 5000 0 nan | 0.000 % | 190.04/190.19 c =============================================================================== 190.15/190.22 c core #258 190.15/190.22 c 190.15/190.22 c 190.15/190.22 c Core size: 30 Core Weight: 1 Total Weight: -282 190.15/190.22 c 190.15/190.22 c 190.15/190.22 c ============================[ Search Statistics ]============================== 190.15/190.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.22 c =============================================================================== 190.15/190.22 c | 0 | 5247 3372 22791 | 5000 0 nan | 0.000 % | 190.15/190.23 c =============================================================================== 190.15/190.26 c core #259 190.15/190.26 c 190.15/190.26 c 190.15/190.26 c Core size: 12 Core Weight: 1 Total Weight: -281 190.15/190.26 c 190.15/190.26 c 190.15/190.26 c ============================[ Search Statistics ]============================== 190.15/190.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.15/190.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.15/190.26 c =============================================================================== 190.15/190.26 c | 0 | 5257 3373 22811 | 5000 0 nan | 0.000 % | 190.15/190.27 c =============================================================================== 190.25/190.30 c core #260 190.25/190.30 c 190.25/190.30 c 190.25/190.30 c Core size: 43 Core Weight: 1 Total Weight: -280 190.25/190.30 c 190.25/190.30 c 190.25/190.30 c ============================[ Search Statistics ]============================== 190.25/190.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.30 c =============================================================================== 190.25/190.30 c | 0 | 5297 3374 22891 | 5000 0 nan | 0.000 % | 190.25/190.32 c =============================================================================== 190.25/190.35 c core #261 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c Core size: 136 Core Weight: 1 Total Weight: -279 190.25/190.35 c 190.25/190.35 c 190.25/190.35 c ============================[ Search Statistics ]============================== 190.25/190.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.25/190.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.25/190.35 c =============================================================================== 190.25/190.35 c | 0 | 5406 3376 23132 | 5000 0 nan | 0.000 % | 190.25/190.37 c | 100 | 5403 3376 23132 | 5500 100 9 | 0.775 % | 190.25/190.37 c =============================================================================== 190.34/190.40 c core #262 190.34/190.40 c 190.34/190.40 c 190.34/190.40 c Core size: 68 Core Weight: 1 Total Weight: -278 190.34/190.40 c 190.34/190.40 c 190.34/190.40 c ============================[ Search Statistics ]============================== 190.34/190.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.40 c =============================================================================== 190.34/190.40 c | 0 | 5460 3377 23240 | 5000 0 nan | 0.000 % | 190.34/190.41 c | 100 | 5460 3377 23240 | 5500 100 24 | 0.310 % | 190.34/190.42 c | 250 | 5460 3377 23240 | 6050 250 16 | 0.310 % | 190.34/190.44 c =============================================================================== 190.34/190.47 c core #263 190.34/190.47 c 190.34/190.47 c 190.34/190.47 c Core size: 57 Core Weight: 1 Total Weight: -277 190.34/190.47 c 190.34/190.47 c 190.34/190.47 c ============================[ Search Statistics ]============================== 190.34/190.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.34/190.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.34/190.47 c =============================================================================== 190.34/190.47 c | 0 | 5512 3378 23344 | 5000 0 nan | 0.000 % | 190.34/190.48 c | 100 | 5512 3378 23344 | 5500 100 24 | 0.307 % | 190.34/190.49 c | 252 | 5512 3378 23344 | 6050 252 20 | 0.307 % | 190.45/190.51 c | 477 | 5512 3378 23344 | 6655 477 20 | 0.307 % | 190.45/190.53 c | 814 | 5512 3378 23344 | 7320 814 19 | 0.307 % | 190.45/190.54 c =============================================================================== 190.45/190.58 c core #264 190.45/190.58 c 190.45/190.58 c 190.45/190.58 c Core size: 111 Core Weight: 1 Total Weight: -276 190.45/190.58 c 190.45/190.58 c 190.45/190.58 c ============================[ Search Statistics ]============================== 190.45/190.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.45/190.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.45/190.58 c =============================================================================== 190.45/190.58 c | 0 | 5612 3379 23544 | 5000 0 nan | 0.000 % | 190.54/190.60 c | 102 | 5612 3379 23544 | 5500 102 12 | 0.302 % | 190.54/190.60 c | 252 | 5612 3379 23544 | 6050 252 14 | 0.302 % | 190.54/190.62 c | 477 | 5610 3379 23544 | 6655 477 14 | 0.391 % | 190.54/190.62 c =============================================================================== 190.54/190.66 c core #265 190.54/190.66 c 190.54/190.66 c 190.54/190.66 c Core size: 40 Core Weight: 1 Total Weight: -275 190.54/190.66 c 190.54/190.66 c 190.54/190.66 c ============================[ Search Statistics ]============================== 190.54/190.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.54/190.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.54/190.66 c =============================================================================== 190.54/190.66 c | 0 | 5647 3380 23614 | 5000 0 nan | 0.000 % | 190.54/190.67 c | 101 | 5647 3380 23614 | 5500 101 29 | 0.300 % | 190.54/190.68 c | 251 | 5647 3380 23614 | 6050 251 20 | 0.300 % | 190.54/190.69 c | 477 | 5647 3380 23614 | 6655 477 18 | 0.300 % | 190.65/190.71 c | 816 | 5647 3380 23614 | 7320 816 19 | 0.300 % | 190.65/190.75 c | 1322 | 5647 3380 23614 | 8052 1322 18 | 0.300 % | 190.74/190.81 c | 2083 | 5643 3380 23614 | 8857 2015 19 | 0.371 % | 190.84/190.93 c | 3223 | 5643 3380 23614 | 9743 3155 21 | 0.371 % | 190.94/191.01 c =============================================================================== 190.94/191.09 c core #266 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c Core size: 70 Core Weight: 1 Total Weight: -274 190.94/191.09 c 190.94/191.09 c 190.94/191.09 c ============================[ Search Statistics ]============================== 190.94/191.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.09 c =============================================================================== 190.94/191.09 c | 0 | 5710 3381 23740 | 5000 0 nan | 0.000 % | 191.04/191.11 c =============================================================================== 191.04/191.14 c core #267 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c Core size: 82 Core Weight: 1 Total Weight: -273 191.04/191.14 c 191.04/191.14 c 191.04/191.14 c ============================[ Search Statistics ]============================== 191.04/191.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.04/191.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.04/191.14 c =============================================================================== 191.04/191.14 c | 0 | 5788 3382 23896 | 5000 0 nan | 0.000 % | 191.04/191.16 c | 101 | 5788 3382 23896 | 5500 101 39 | 0.293 % | 191.04/191.16 c | 251 | 5788 3382 23896 | 6050 251 30 | 0.293 % | 191.04/191.18 c | 478 | 5788 3382 23896 | 6655 478 27 | 0.293 % | 191.14/191.20 c | 816 | 5788 3382 23896 | 7320 816 26 | 0.293 % | 191.14/191.25 c | 1322 | 5788 3382 23896 | 8052 1322 30 | 0.293 % | 191.25/191.32 c | 2081 | 5764 3382 23896 | 8857 2080 32 | 0.706 % | 191.25/191.33 c =============================================================================== 191.25/191.37 c core #268 191.25/191.37 c 191.25/191.37 c 191.25/191.37 c Core size: 24 Core Weight: 1 Total Weight: -272 191.25/191.37 c 191.25/191.37 c 191.25/191.37 c ============================[ Search Statistics ]============================== 191.25/191.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.25/191.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.25/191.37 c =============================================================================== 191.25/191.37 c | 0 | 5809 3383 23938 | 5000 0 nan | 0.000 % | 191.25/191.38 c | 101 | 5809 3383 23938 | 5500 101 19 | 0.292 % | 191.25/191.39 c | 253 | 5809 3383 23938 | 6050 253 22 | 0.292 % | 191.35/191.40 c | 478 | 5809 3383 23938 | 6655 478 21 | 0.292 % | 191.35/191.42 c | 815 | 5809 3383 23938 | 7320 815 21 | 0.292 % | 191.35/191.46 c | 1321 | 5809 3383 23938 | 8052 1321 22 | 0.292 % | 191.44/191.52 c | 2084 | 5805 3383 23938 | 8857 1275 19 | 0.360 % | 191.44/191.57 c =============================================================================== 191.55/191.64 c core #269 191.55/191.64 c 191.55/191.64 c 191.55/191.64 c Core size: 41 Core Weight: 1 Total Weight: -271 191.55/191.64 c 191.55/191.64 c 191.55/191.64 c ============================[ Search Statistics ]============================== 191.55/191.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.55/191.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.55/191.64 c =============================================================================== 191.55/191.64 c | 0 | 5846 3384 24012 | 5000 0 nan | 0.000 % | 191.55/191.66 c | 101 | 5846 3384 24012 | 5500 101 51 | 0.290 % | 191.55/191.67 c | 254 | 5846 3384 24012 | 6050 254 40 | 0.290 % | 191.55/191.68 c | 479 | 5846 3384 24012 | 6655 479 31 | 0.290 % | 191.64/191.70 c | 816 | 5846 3384 24012 | 7320 816 30 | 0.290 % | 191.64/191.71 c =============================================================================== 191.64/191.74 c core #270 191.64/191.74 c 191.64/191.74 c 191.64/191.74 c Core size: 27 Core Weight: 1 Total Weight: -270 191.64/191.74 c 191.64/191.74 c 191.64/191.74 c ============================[ Search Statistics ]============================== 191.64/191.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.74 c =============================================================================== 191.64/191.74 c | 0 | 5871 3385 24072 | 5000 0 nan | 0.000 % | 191.64/191.75 c =============================================================================== 191.64/191.79 c core #271 191.64/191.79 c 191.64/191.79 c 191.64/191.79 c Core size: 26 Core Weight: 1 Total Weight: -269 191.64/191.79 c 191.64/191.79 c 191.64/191.79 c ============================[ Search Statistics ]============================== 191.64/191.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.79 c =============================================================================== 191.64/191.79 c | 0 | 5888 3386 24106 | 5000 0 nan | 0.000 % | 191.64/191.80 c =============================================================================== 191.75/191.83 c core #272 191.75/191.83 c 191.75/191.83 c 191.75/191.83 c Core size: 47 Core Weight: 1 Total Weight: -268 191.75/191.83 c 191.75/191.83 c 191.75/191.83 c ============================[ Search Statistics ]============================== 191.75/191.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.75/191.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.75/191.83 c =============================================================================== 191.75/191.83 c | 0 | 5925 3387 24189 | 5000 0 nan | 0.000 % | 191.75/191.85 c | 100 | 5925 3387 24189 | 5500 100 39 | 0.202 % | 191.75/191.87 c | 254 | 5925 3387 24189 | 6050 254 30 | 0.202 % | 191.75/191.89 c | 479 | 5925 3387 24189 | 6655 479 23 | 0.202 % | 191.85/191.92 c | 818 | 5925 3387 24189 | 7320 818 24 | 0.202 % | 191.85/191.98 c | 1325 | 5925 3387 24189 | 8052 1325 21 | 0.202 % | 191.94/192.07 c | 2084 | 5925 3387 24189 | 8857 2084 23 | 0.202 % | 192.14/192.22 c | 3225 | 5925 3387 24189 | 9743 3225 28 | 0.202 % | 192.35/192.45 c | 4933 | 5925 3387 24189 | 10717 4933 25 | 0.202 % | 192.74/192.83 c | 7495 | 5925 3387 24189 | 11789 7495 26 | 0.202 % | 193.64/193.71 c | 11340 | 5925 3387 24189 | 12968 11340 29 | 0.202 % | 194.94/195.00 c | 17107 | 5925 3387 24189 | 14265 10548 34 | 0.202 % | 196.84/196.95 c | 25757 | 5925 3387 24189 | 15692 12036 32 | 0.202 % | 200.24/200.33 c | 38731 | 5925 3387 24189 | 17261 9221 25 | 0.202 % | 206.54/206.69 c | 58192 | 5925 3387 24189 | 18987 11273 43 | 0.202 % | 212.43/212.54 c =============================================================================== 212.54/212.69 c core #273 212.54/212.69 c 212.54/212.69 c 212.54/212.69 c Core size: 68 Core Weight: 1 Total Weight: -267 212.54/212.69 c 212.54/212.69 c 212.54/212.69 c ============================[ Search Statistics ]============================== 212.54/212.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.54/212.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.54/212.69 c =============================================================================== 212.54/212.69 c | 0 | 5984 3388 24307 | 5000 0 nan | 0.000 % | 212.64/212.74 c | 101 | 5984 3388 24307 | 5500 101 14 | 0.200 % | 212.64/212.75 c | 251 | 5984 3388 24307 | 6050 251 14 | 0.200 % | 212.64/212.77 c | 476 | 5958 3388 24307 | 6655 475 18 | 0.634 % | 212.74/212.80 c | 815 | 5957 3388 24307 | 7320 812 19 | 0.650 % | 212.74/212.86 c | 1322 | 5950 3388 24307 | 8052 427 12 | 0.767 % | 212.74/212.88 c =============================================================================== 212.84/212.93 c core #274 212.84/212.93 c 212.84/212.93 c 212.84/212.93 c Core size: 249 Core Weight: 1 Total Weight: -266 212.84/212.93 c 212.84/212.93 c 212.84/212.93 c ============================[ Search Statistics ]============================== 212.84/212.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.84/212.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.84/212.93 c =============================================================================== 212.84/212.93 c | 0 | 6221 3390 24802 | 5000 0 nan | 0.000 % | 212.84/212.95 c | 100 | 6221 3390 24802 | 5500 100 31 | 0.128 % | 212.84/212.97 c | 250 | 6221 3390 24802 | 6050 250 29 | 0.128 % | 212.84/212.99 c =============================================================================== 212.93/213.03 c core #275 212.93/213.03 c 212.93/213.03 c 212.93/213.03 c Core size: 184 Core Weight: 1 Total Weight: -265 212.93/213.03 c 212.93/213.03 c 212.93/213.03 c ============================[ Search Statistics ]============================== 212.93/213.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.93/213.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.93/213.03 c =============================================================================== 212.93/213.03 c | 0 | 6405 3391 25179 | 5000 0 nan | 0.000 % | 212.93/213.05 c | 100 | 6405 3391 25179 | 5500 100 33 | 0.062 % | 212.93/213.07 c | 250 | 6405 3391 25179 | 6050 250 39 | 0.062 % | 212.93/213.10 c | 475 | 6403 3391 25179 | 6655 472 34 | 0.094 % | 213.04/213.12 c | 813 | 6403 3391 25179 | 7320 810 24 | 0.094 % | 213.04/213.13 c =============================================================================== 213.04/213.17 c core #276 213.04/213.17 c 213.04/213.17 c 213.04/213.17 c Core size: 101 Core Weight: 1 Total Weight: -264 213.04/213.17 c 213.04/213.17 c 213.04/213.17 c ============================[ Search Statistics ]============================== 213.04/213.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.04/213.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.04/213.17 c =============================================================================== 213.04/213.17 c | 0 | 6500 3392 25369 | 5000 0 nan | 0.000 % | 213.04/213.19 c | 104 | 6500 3392 25369 | 5500 104 42 | 0.062 % | 213.13/213.21 c | 255 | 6499 3392 25369 | 6050 255 39 | 0.077 % | 213.13/213.23 c | 480 | 6497 3392 25369 | 6655 479 38 | 0.108 % | 213.13/213.27 c | 818 | 6497 3392 25369 | 7320 815 33 | 0.108 % | 213.25/213.34 c | 1327 | 6471 3392 25369 | 8052 1321 30 | 0.507 % | 213.35/213.45 c | 2087 | 6471 3392 25369 | 8857 2081 32 | 0.538 % | 213.35/213.45 c =============================================================================== 213.35/213.50 c core #277 213.35/213.50 c 213.35/213.50 c 213.35/213.50 c Core size: 121 Core Weight: 1 Total Weight: -263 213.35/213.50 c 213.35/213.50 c 213.35/213.50 c ============================[ Search Statistics ]============================== 213.35/213.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.35/213.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.35/213.50 c =============================================================================== 213.35/213.50 c | 0 | 6612 3393 25600 | 5000 0 nan | 0.000 % | 213.44/213.52 c | 100 | 6612 3393 25600 | 5500 100 87 | 0.045 % | 213.44/213.53 c =============================================================================== 213.44/213.56 c core #278 213.44/213.56 c 213.44/213.56 c 213.44/213.56 c Core size: 82 Core Weight: 1 Total Weight: -262 213.44/213.56 c 213.44/213.56 c 213.44/213.56 c ============================[ Search Statistics ]============================== 213.44/213.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.44/213.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.44/213.56 c =============================================================================== 213.44/213.56 c | 0 | 6684 3394 25744 | 5000 0 nan | 0.000 % | 213.44/213.58 c | 100 | 6684 3394 25744 | 5500 100 73 | 0.045 % | 213.53/213.60 c | 251 | 6684 3394 25744 | 6050 251 53 | 0.045 % | 213.53/213.62 c | 476 | 6684 3394 25744 | 6655 476 37 | 0.045 % | 213.53/213.65 c | 813 | 6684 3394 25744 | 7320 813 30 | 0.045 % | 213.53/213.69 c | 1321 | 6684 3394 25744 | 8052 1321 25 | 0.045 % | 213.64/213.76 c | 2082 | 6684 3394 25744 | 8857 2082 21 | 0.045 % | 213.74/213.88 c | 3224 | 6684 3394 25744 | 9743 3224 18 | 0.045 % | 214.03/214.10 c | 4933 | 6684 3394 25744 | 10717 4933 17 | 0.045 % | 214.24/214.39 c =============================================================================== 214.44/214.52 c core #279 214.44/214.52 c 214.44/214.52 c 214.44/214.52 c Core size: 66 Core Weight: 1 Total Weight: -261 214.44/214.52 c 214.44/214.52 c 214.44/214.52 c ============================[ Search Statistics ]============================== 214.44/214.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.44/214.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.44/214.52 c =============================================================================== 214.44/214.52 c | 0 | 6742 3395 25860 | 5000 0 nan | 0.000 % | 214.44/214.54 c | 100 | 6742 3395 25860 | 5500 100 34 | 0.044 % | 214.44/214.55 c | 251 | 6742 3395 25860 | 6050 251 29 | 0.044 % | 214.44/214.56 c | 476 | 6742 3395 25860 | 6655 476 27 | 0.044 % | 214.44/214.59 c | 814 | 6742 3395 25860 | 7320 814 29 | 0.044 % | 214.53/214.64 c | 1321 | 6742 3395 25860 | 8052 1321 32 | 0.044 % | 214.63/214.70 c | 2081 | 6742 3395 25860 | 8857 2081 33 | 0.044 % | 214.74/214.86 c | 3223 | 6742 3395 25860 | 9743 3223 38 | 0.044 % | 215.03/215.10 c | 4934 | 6742 3395 25860 | 10717 4934 36 | 0.044 % | 215.44/215.50 c | 7497 | 6742 3395 25860 | 11789 7497 37 | 0.044 % | 216.23/216.30 c | 11343 | 6742 3395 25860 | 12968 11343 38 | 0.044 % | 217.34/217.47 c | 17110 | 6742 3395 25860 | 14265 10562 39 | 0.044 % | 218.03/218.18 c =============================================================================== 218.13/218.26 c core #280 218.13/218.26 c 218.13/218.26 c 218.13/218.26 c Core size: 142 Core Weight: 1 Total Weight: -260 218.13/218.26 c 218.13/218.26 c 218.13/218.26 c ============================[ Search Statistics ]============================== 218.13/218.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.13/218.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.13/218.26 c =============================================================================== 218.13/218.26 c | 0 | 6866 3396 26108 | 5000 0 nan | 0.000 % | 218.13/218.29 c | 100 | 6866 3396 26108 | 5500 100 44 | 0.044 % | 218.24/218.30 c | 250 | 6866 3396 26108 | 6050 250 39 | 0.044 % | 218.24/218.32 c | 480 | 6866 3396 26108 | 6655 480 49 | 0.044 % | 218.24/218.35 c | 818 | 6866 3396 26108 | 7320 818 47 | 0.044 % | 218.34/218.40 c | 1324 | 6866 3396 26108 | 8052 1324 44 | 0.044 % | 218.34/218.48 c | 2085 | 6866 3396 26108 | 8857 2085 42 | 0.044 % | 218.44/218.58 c | 3227 | 6866 3396 26108 | 9743 3227 37 | 0.044 % | 218.74/218.85 c | 4935 | 6866 3396 26108 | 10717 4935 41 | 0.044 % | 219.14/219.28 c | 7497 | 6866 3396 26108 | 11789 7497 42 | 0.044 % | 219.84/219.98 c | 11341 | 6866 3396 26108 | 12968 11341 48 | 0.044 % | 220.03/220.17 c =============================================================================== 220.13/220.24 c core #281 220.13/220.24 c 220.13/220.24 c 220.13/220.24 c Core size: 56 Core Weight: 1 Total Weight: -259 220.13/220.24 c 220.13/220.24 c 220.13/220.24 c ============================[ Search Statistics ]============================== 220.13/220.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.13/220.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.13/220.24 c =============================================================================== 220.13/220.24 c | 0 | 6918 3397 26212 | 5000 0 nan | 0.000 % | 220.13/220.27 c | 101 | 6918 3397 26212 | 5500 101 19 | 0.043 % | 220.13/220.27 c =============================================================================== 220.24/220.31 c core #282 220.24/220.31 c 220.24/220.31 c 220.24/220.31 c Core size: 34 Core Weight: 1 Total Weight: -258 220.24/220.31 c 220.24/220.31 c 220.24/220.31 c ============================[ Search Statistics ]============================== 220.24/220.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.24/220.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.24/220.31 c =============================================================================== 220.24/220.31 c | 0 | 6946 3398 26268 | 5000 0 nan | 0.000 % | 220.24/220.33 c | 100 | 6946 3398 26268 | 5500 100 29 | 0.043 % | 220.24/220.35 c | 253 | 6946 3398 26268 | 6050 253 27 | 0.043 % | 220.24/220.37 c | 479 | 6946 3398 26268 | 6655 479 25 | 0.043 % | 220.33/220.40 c | 819 | 6946 3398 26268 | 7320 819 26 | 0.043 % | 220.33/220.47 c | 1325 | 6946 3398 26268 | 8052 1325 29 | 0.043 % | 220.43/220.55 c | 2084 | 6946 3398 26268 | 8857 2084 28 | 0.043 % | 220.54/220.65 c | 3223 | 6944 3398 26268 | 9743 3222 23 | 0.072 % | 220.63/220.71 c =============================================================================== 220.63/220.77 c core #283 220.63/220.77 c 220.63/220.77 c 220.63/220.77 c Core size: 165 Core Weight: 1 Total Weight: -257 220.63/220.77 c 220.63/220.77 c 220.63/220.77 c ============================[ Search Statistics ]============================== 220.63/220.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.63/220.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.63/220.77 c =============================================================================== 220.63/220.77 c | 0 | 7105 3399 26586 | 5000 0 nan | 0.000 % | 220.63/220.79 c | 100 | 7105 3399 26586 | 5500 100 66 | 0.042 % | 220.73/220.80 c | 250 | 7103 3399 26586 | 6050 250 35 | 0.070 % | 220.73/220.81 c =============================================================================== 220.73/220.84 c core #284 220.73/220.84 c 220.73/220.84 c 220.73/220.84 c Core size: 101 Core Weight: 1 Total Weight: -256 220.73/220.84 c 220.73/220.84 c 220.73/220.84 c ============================[ Search Statistics ]============================== 220.73/220.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.73/220.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.73/220.84 c =============================================================================== 220.73/220.84 c | 0 | 7198 3400 26772 | 5000 0 nan | 0.000 % | 220.73/220.86 c | 102 | 7198 3400 26772 | 5500 102 17 | 0.042 % | 220.73/220.86 c =============================================================================== 220.83/220.90 c core #285 220.83/220.90 c 220.83/220.90 c 220.83/220.90 c Core size: 40 Core Weight: 1 Total Weight: -255 220.83/220.90 c 220.83/220.90 c 220.83/220.90 c ============================[ Search Statistics ]============================== 220.83/220.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.83/220.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.83/220.90 c =============================================================================== 220.83/220.90 c | 0 | 7230 3401 26836 | 5000 0 nan | 0.000 % | 220.83/220.92 c | 101 | 7230 3401 26836 | 5500 101 22 | 0.041 % | 220.83/220.93 c | 252 | 7230 3401 26836 | 6050 252 18 | 0.041 % | 220.83/220.95 c | 477 | 7230 3401 26836 | 6655 477 18 | 0.041 % | 220.83/220.97 c | 814 | 7230 3401 26836 | 7320 814 16 | 0.042 % | 220.95/221.01 c | 1320 | 7230 3401 26836 | 8052 1320 20 | 0.041 % | 220.95/221.07 c | 2080 | 7228 3401 26836 | 8857 1901 22 | 0.069 % | 221.04/221.17 c | 3223 | 7228 3401 26836 | 9743 3044 24 | 0.069 % | 221.23/221.37 c | 4931 | 7228 3401 26836 | 10717 4752 30 | 0.069 % | 221.64/221.71 c | 7496 | 7228 3401 26836 | 11789 7317 31 | 0.069 % | 222.33/222.41 c | 11340 | 7228 3401 26836 | 12968 11161 33 | 0.069 % | 223.54/223.64 c | 17106 | 7228 3401 26836 | 14265 10403 39 | 0.069 % | 225.34/225.41 c | 25759 | 7228 3401 26836 | 15692 11811 47 | 0.069 % | 228.44/228.57 c | 38734 | 7228 3401 26836 | 17261 8943 49 | 0.069 % | 232.23/232.35 c | 58195 | 7225 3401 26836 | 18987 16580 40 | 0.111 % | 237.23/237.32 c =============================================================================== 238.64/238.76 c core #286 238.64/238.76 c 238.64/238.76 c 238.64/238.76 c Core size: 94 Core Weight: 1 Total Weight: -254 238.64/238.76 c 238.64/238.76 c 238.64/238.76 c ============================[ Search Statistics ]============================== 238.64/238.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.64/238.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.64/238.76 c =============================================================================== 238.64/238.76 c | 0 | 7312 3402 27000 | 5000 0 nan | 0.000 % | 238.73/238.80 c =============================================================================== 238.73/238.84 c core #287 238.73/238.84 c 238.73/238.84 c 238.73/238.84 c Core size: 42 Core Weight: 1 Total Weight: -253 238.73/238.84 c 238.73/238.84 c 238.73/238.84 c ============================[ Search Statistics ]============================== 238.73/238.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.73/238.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.73/238.84 c =============================================================================== 238.73/238.84 c | 0 | 7343 3403 27062 | 5000 0 nan | 0.000 % | 238.73/238.86 c | 100 | 7341 3403 27062 | 5500 100 9 | 0.095 % | 238.73/238.87 c =============================================================================== 238.83/238.91 c core #288 238.83/238.91 c 238.83/238.91 c 238.83/238.91 c Core size: 20 Core Weight: 1 Total Weight: -252 238.83/238.91 c 238.83/238.91 c 238.83/238.91 c ============================[ Search Statistics ]============================== 238.83/238.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 238.83/238.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 238.83/238.91 c =============================================================================== 238.83/238.91 c | 0 | 7359 3404 27094 | 5000 0 nan | 0.000 % | 238.83/238.93 c | 103 | 7359 3404 27094 | 5500 103 19 | 0.041 % | 238.83/238.94 c | 255 | 7359 3404 27094 | 6050 255 17 | 0.041 % | 238.83/238.96 c | 480 | 7359 3404 27094 | 6655 480 18 | 0.041 % | 238.93/239.00 c | 820 | 7359 3404 27094 | 7320 820 24 | 0.041 % | 238.93/239.05 c | 1328 | 7359 3404 27094 | 8052 1328 21 | 0.041 % | 239.03/239.14 c | 2087 | 7359 3404 27094 | 8857 2087 24 | 0.041 % | 239.13/239.28 c | 3226 | 7359 3404 27094 | 9743 3226 22 | 0.041 % | 239.43/239.50 c | 4936 | 7359 3404 27094 | 10717 4936 24 | 0.041 % | 239.83/239.95 c | 7499 | 7359 3404 27094 | 11789 7499 28 | 0.041 % | 240.53/240.62 c | 11345 | 7359 3404 27094 | 12968 11345 27 | 0.041 % | 241.72/241.87 c | 17112 | 7359 3404 27094 | 14265 10565 38 | 0.041 % | 243.53/243.68 c | 25762 | 7359 3404 27094 | 15692 12021 30 | 0.041 % | 246.52/246.68 c | 38738 | 7359 3404 27094 | 17261 9250 34 | 0.041 % | 250.93/251.00 c | 58199 | 7359 3404 27094 | 18987 11345 34 | 0.041 % | 258.33/258.49 c | 87394 | 7359 3404 27094 | 20886 11923 32 | 0.041 % | 270.13/270.29 c | 131183 | 7359 3404 27094 | 22974 13836 42 | 0.041 % | 288.91/289.02 c | 196870 | 7355 3404 27094 | 25272 10753 34 | 0.095 % | 310.41/310.53 c =============================================================================== 312.91/313.00 c core #289 312.91/313.00 c 312.91/313.00 c 312.91/313.00 c Core size: 250 Core Weight: 1 Total Weight: -251 312.91/313.00 c 312.91/313.00 c 312.91/313.00 c ============================[ Search Statistics ]============================== 312.91/313.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 312.91/313.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 312.91/313.00 c =============================================================================== 312.91/313.00 c | 0 | 7603 3405 27582 | 5000 0 nan | 0.000 % | 312.91/313.07 c | 101 | 7603 3405 27582 | 5500 101 78 | 0.039 % | 312.91/313.09 c | 251 | 7603 3405 27582 | 6050 251 64 | 0.039 % | 313.01/313.11 c | 476 | 7603 3405 27582 | 6655 476 53 | 0.039 % | 313.01/313.13 c | 813 | 7603 3405 27582 | 7320 813 47 | 0.039 % | 313.01/313.17 c | 1319 | 7603 3405 27582 | 8052 1319 46 | 0.039 % | 313.11/313.22 c | 2080 | 7603 3405 27582 | 8857 2080 33 | 0.039 % | 313.11/313.25 c =============================================================================== 313.21/313.30 c core #290 313.21/313.30 c 313.21/313.30 c 313.21/313.30 c Core size: 107 Core Weight: 1 Total Weight: -250 313.21/313.30 c 313.21/313.30 c 313.21/313.30 c ============================[ Search Statistics ]============================== 313.21/313.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 313.21/313.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 313.21/313.30 c =============================================================================== 313.21/313.30 c | 0 | 7697 3406 27770 | 5000 0 nan | 0.000 % | 313.21/313.32 c | 101 | 7697 3406 27770 | 5500 101 52 | 0.039 % | 313.21/313.33 c | 251 | 7697 3406 27770 | 6050 251 34 | 0.039 % | 313.21/313.34 c | 477 | 7697 3406 27770 | 6655 477 31 | 0.039 % | 313.21/313.37 c | 814 | 7697 3406 27770 | 7320 814 36 | 0.039 % | 313.32/313.42 c | 1320 | 7697 3406 27770 | 8052 1320 36 | 0.039 % | 313.32/313.48 c | 2080 | 7697 3406 27770 | 8857 2080 45 | 0.039 % | 313.42/313.59 c | 3219 | 7697 3406 27770 | 9743 3219 42 | 0.039 % | 313.71/313.82 c | 4928 | 7697 3406 27770 | 10717 4928 47 | 0.039 % | 314.21/314.30 c | 7490 | 7697 3406 27770 | 11789 7490 51 | 0.039 % | 315.01/315.16 c | 11334 | 7697 3406 27770 | 12968 11334 57 | 0.039 % | 316.22/316.33 c | 17102 | 7697 3406 27770 | 14265 10579 56 | 0.039 % | 317.41/317.53 c | 25756 | 7697 3406 27770 | 15692 12030 28 | 0.039 % | 319.11/319.22 c =============================================================================== 319.51/319.62 c core #291 319.51/319.62 c 319.51/319.62 c 319.51/319.62 c Core size: 115 Core Weight: 1 Total Weight: -249 319.51/319.62 c 319.51/319.62 c 319.51/319.62 c ============================[ Search Statistics ]============================== 319.51/319.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 319.51/319.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 319.51/319.62 c =============================================================================== 319.51/319.62 c | 0 | 7808 3407 27992 | 5000 0 nan | 0.000 % | 319.51/319.66 c | 100 | 7808 3407 27992 | 5500 100 33 | 0.038 % | 319.51/319.67 c | 252 | 7808 3407 27992 | 6050 252 24 | 0.038 % | 319.51/319.69 c | 477 | 7808 3407 27992 | 6655 477 20 | 0.038 % | 319.61/319.71 c | 814 | 7796 3407 27992 | 7320 366 21 | 0.192 % | 319.61/319.72 c =============================================================================== 319.61/319.77 c core #292 319.61/319.77 c 319.61/319.77 c 319.61/319.77 c Core size: 82 Core Weight: 1 Total Weight: -248 319.61/319.77 c 319.61/319.77 c 319.61/319.77 c ============================[ Search Statistics ]============================== 319.61/319.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 319.61/319.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 319.61/319.77 c =============================================================================== 319.61/319.77 c | 0 | 7882 3408 28140 | 5000 0 nan | 0.000 % | 319.61/319.79 c | 100 | 7882 3408 28140 | 5500 100 91 | 0.038 % | 319.71/319.80 c | 250 | 7882 3408 28140 | 6050 250 46 | 0.038 % | 319.71/319.81 c | 475 | 7882 3408 28140 | 6655 475 30 | 0.038 % | 319.71/319.85 c | 812 | 7882 3408 28140 | 7320 812 24 | 0.038 % | 319.81/319.90 c | 1318 | 7882 3408 28140 | 8052 1318 21 | 0.038 % | 319.81/319.98 c | 2080 | 7882 3408 28140 | 8857 2080 22 | 0.038 % | 319.92/320.06 c =============================================================================== 320.02/320.12 c core #293 320.02/320.12 c 320.02/320.12 c 320.02/320.12 c Core size: 70 Core Weight: 1 Total Weight: -247 320.02/320.12 c 320.02/320.12 c 320.02/320.12 c ============================[ Search Statistics ]============================== 320.02/320.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 320.02/320.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 320.02/320.12 c =============================================================================== 320.02/320.12 c | 0 | 7946 3409 28268 | 5000 0 nan | 0.000 % | 320.02/320.14 c | 102 | 7946 3409 28268 | 5500 102 21 | 0.038 % | 320.02/320.16 c | 252 | 7946 3409 28268 | 6050 252 21 | 0.038 % | 320.02/320.19 c | 479 | 7946 3409 28268 | 6655 479 21 | 0.038 % | 320.11/320.24 c | 816 | 7946 3409 28268 | 7320 816 32 | 0.038 % | 320.21/320.31 c | 1322 | 7946 3409 28268 | 8052 1322 36 | 0.038 % | 320.31/320.42 c | 2081 | 7946 3409 28268 | 8857 2081 35 | 0.038 % | 320.51/320.60 c | 3220 | 7946 3409 28268 | 9743 3220 38 | 0.038 % | 320.71/320.84 c | 4928 | 7946 3409 28268 | 10717 4928 39 | 0.038 % | 321.21/321.31 c | 7492 | 7946 3409 28268 | 11789 7492 47 | 0.038 % | 321.81/321.96 c | 11337 | 7946 3409 28268 | 12968 11337 47 | 0.038 % | 322.01/322.11 c =============================================================================== 322.01/322.18 c core #294 322.01/322.18 c 322.01/322.18 c 322.01/322.18 c Core size: 59 Core Weight: 1 Total Weight: -246 322.01/322.18 c 322.01/322.18 c 322.01/322.18 c ============================[ Search Statistics ]============================== 322.01/322.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 322.01/322.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 322.01/322.18 c =============================================================================== 322.01/322.18 c | 0 | 8002 3410 28380 | 5000 0 nan | 0.000 % | 322.12/322.21 c | 101 | 8002 3410 28380 | 5500 101 11 | 0.037 % | 322.12/322.22 c | 252 | 7998 3410 28380 | 6050 181 10 | 0.087 % | 322.12/322.23 c =============================================================================== 322.12/322.27 c core #295 322.12/322.27 c 322.12/322.27 c 322.12/322.27 c Core size: 89 Core Weight: 1 Total Weight: -245 322.12/322.27 c 322.12/322.27 c 322.12/322.27 c ============================[ Search Statistics ]============================== 322.12/322.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 322.12/322.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 322.12/322.27 c =============================================================================== 322.12/322.27 c | 0 | 8080 3411 28536 | 5000 0 nan | 0.000 % | 322.12/322.29 c | 100 | 8080 3411 28536 | 5500 100 45 | 0.037 % | 322.22/322.31 c | 250 | 8080 3411 28536 | 6050 250 36 | 0.037 % | 322.22/322.33 c | 475 | 8080 3411 28536 | 6655 475 29 | 0.037 % | 322.22/322.37 c | 814 | 8080 3411 28536 | 7320 814 28 | 0.037 % | 322.31/322.42 c | 1321 | 8080 3411 28536 | 8052 1321 27 | 0.037 % | 322.41/322.51 c | 2081 | 8080 3411 28536 | 8857 2081 33 | 0.037 % | 322.51/322.62 c | 3221 | 8080 3411 28536 | 9743 3221 29 | 0.037 % | 322.71/322.86 c | 4930 | 8080 3411 28536 | 10717 4930 36 | 0.037 % | 323.01/323.13 c | 7496 | 8080 3411 28536 | 11789 7496 31 | 0.037 % | 323.61/323.74 c | 11340 | 8080 3411 28536 | 12968 11340 30 | 0.037 % | 324.71/324.88 c | 17107 | 8080 3411 28536 | 14265 10485 43 | 0.037 % | 326.31/326.47 c | 25761 | 8080 3411 28536 | 15692 11916 45 | 0.037 % | 329.50/329.61 c | 38736 | 8080 3411 28536 | 17261 8842 57 | 0.037 % | 335.60/335.79 c | 58202 | 8080 3411 28536 | 18987 10800 45 | 0.037 % | 343.70/343.87 c | 87395 | 8080 3411 28536 | 20886 11263 39 | 0.037 % | 355.80/355.93 c | 131184 | 8080 3411 28536 | 22974 12809 52 | 0.037 % | 378.80/378.92 c | 196868 | 8080 3411 28536 | 25272 20673 42 | 0.037 % | 413.69/413.88 c | 295395 | 8080 3411 28536 | 27799 15263 46 | 0.037 % | 471.27/471.45 c | 443184 | 8080 3411 28536 | 30579 15151 47 | 0.037 % | 563.75/563.95 c | 664870 | 8080 3411 28536 | 33637 25646 62 | 0.037 % | 704.11/704.38 c | 997396 | 8080 3411 28536 | 37001 20433 56 | 0.037 % | 955.06/955.32 c | 1496184 | 8080 3411 28536 | 40701 22739 61 | 0.037 % | 1343.45/1343.83 c | 2244366 | 8080 3411 28536 | 44771 16768 63 | 0.037 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680863-1277455009/watcher-2680863-1277455009 -o /tmp/evaluation-result-2680863-1277455009/solver-2680863-1277455009 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680863-1277455009.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20956 /proc/meminfo: memFree=1861812/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=2756 CPUtime=0 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 119157277 2822144 238 1992294400 134512640 135752675 4292824912 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 689 238 141 303 0 373 0 [startup+0.015763 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20956 /proc/meminfo: memFree=1861812/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=2976 CPUtime=0.01 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 393 0 0 0 1 0 0 0 20 0 1 0 119157277 3047424 301 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 744 301 143 303 0 439 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2976 [startup+0.10077 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20956 /proc/meminfo: memFree=1861812/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=3496 CPUtime=0.09 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 528 0 0 0 9 0 0 0 20 0 1 0 119157277 3579904 436 1992294400 134512640 135752675 4292824912 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 874 436 145 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300789 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20956 /proc/meminfo: memFree=1861812/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=5052 CPUtime=0.29 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 909 0 0 0 29 0 0 0 20 0 1 0 119157277 5173248 817 1992294400 134512640 135752675 4292824912 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 1263 817 145 303 0 958 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5052 [startup+0.700827 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20956 /proc/meminfo: memFree=1861812/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=8012 CPUtime=0.69 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 1649 0 0 0 68 1 0 0 21 0 1 0 119157277 8204288 1557 1992294400 134512640 135752675 4292824912 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 2003 1557 145 303 0 1698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8012 [startup+1.5009 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20957 /proc/meminfo: memFree=1854240/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=12564 CPUtime=1.49 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 2787 0 0 0 147 2 0 0 23 0 1 0 119157277 12865536 2695 1992294400 134512640 135752675 4292824912 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 3141 2695 145 303 0 2836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12564 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20957 /proc/meminfo: memFree=1847916/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=21612 CPUtime=3.09 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 5068 0 0 0 304 5 0 0 25 0 1 0 119157277 22130688 4976 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 5403 4976 145 303 0 5098 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21612 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20957 /proc/meminfo: memFree=1830804/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=37344 CPUtime=6.29 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 8992 0 0 0 619 10 0 0 25 0 1 0 119157277 38240256 8900 1992294400 134512640 135752675 4292824912 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 9336 8900 145 303 0 9031 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37344 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20959 /proc/meminfo: memFree=1793356/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=73580 CPUtime=12.69 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 18058 0 0 0 1248 21 0 0 25 0 1 0 119157277 75345920 17966 1992294400 134512640 135752675 4292824912 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 18395 17966 145 303 0 18090 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73580 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20959 /proc/meminfo: memFree=1743136/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=121676 CPUtime=25.48 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 30061 0 0 0 2515 33 0 0 25 0 1 0 119157277 124596224 29969 1992294400 134512640 135752675 4292824912 18446744073709551615 134638006 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 30419 29969 145 303 0 30114 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 121676 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20959 /proc/meminfo: memFree=1659188/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=205792 CPUtime=51.08 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 51083 0 0 0 5048 60 0 0 25 0 1 0 119157277 210731008 50991 1992294400 134512640 135752675 4292824912 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 51448 50991 145 303 0 51143 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 205792 [startup+102.309 s] /proc/loadavg: 1.06 1.01 0.91 2/107 20964 /proc/meminfo: memFree=1432924/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=386868 CPUtime=102.28 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 96333 0 0 0 10113 115 0 0 25 0 1 0 119157277 396152832 96241 1992294400 134512640 135752675 4292824912 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 96717 96241 145 303 0 96412 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 386868 [startup+162.301 s] /proc/loadavg: 1.02 1.01 0.91 2/107 20966 /proc/meminfo: memFree=1257960/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=562692 CPUtime=162.25 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 140261 0 0 0 16054 171 0 0 25 0 1 0 119157277 576196608 140169 1992294400 134512640 135752675 4292824912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 140673 140169 145 303 0 140368 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 562692 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20966 /proc/meminfo: memFree=1204764/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=614092 CPUtime=222.24 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 153168 0 0 0 21972 252 0 0 25 0 1 0 119157277 628830208 153076 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 153523 153076 146 303 0 153218 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 614092 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20968 /proc/meminfo: memFree=1168556/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=650988 CPUtime=282.22 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 162442 0 0 0 27888 334 0 0 25 0 1 0 119157277 666611712 162307 1992294400 134512640 135752675 4292824912 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 162747 162307 146 303 0 162442 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 650988 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20970 /proc/meminfo: memFree=1133340/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=685024 CPUtime=342.2 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 171043 0 0 0 33817 403 0 0 25 0 1 0 119157277 701464576 170841 1992294400 134512640 135752675 4292824912 18446744073709551615 134642701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 171256 170841 146 303 0 170951 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 685024 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20972 /proc/meminfo: memFree=1081012/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=738524 CPUtime=402.19 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 184360 0 0 0 39748 471 0 0 25 0 1 0 119157277 756248576 184158 1992294400 134512640 135752675 4292824912 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 184631 184158 146 303 0 184326 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 738524 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20974 /proc/meminfo: memFree=1028064/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=790876 CPUtime=462.17 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 197441 0 0 0 45688 529 0 0 25 0 1 0 119157277 809857024 197239 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 197719 197239 146 303 0 197414 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 790876 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20974 /proc/meminfo: memFree=978588/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=840732 CPUtime=522.16 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 209865 0 0 0 51631 585 0 0 25 0 1 0 119157277 860909568 209663 1992294400 134512640 135752675 4292824912 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 210183 209663 146 303 0 209878 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 840732 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20976 /proc/meminfo: memFree=927128/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=891668 CPUtime=582.14 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 222609 0 0 0 57576 638 0 0 25 0 1 0 119157277 913068032 222407 1992294400 134512640 135752675 4292824912 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 222917 222407 146 303 0 222612 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 891668 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20978 /proc/meminfo: memFree=878148/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=940292 CPUtime=642.14 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 234745 0 0 0 63518 696 0 0 25 0 1 0 119157277 962859008 234543 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 235073 234543 146 303 0 234768 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 940292 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20984 /proc/meminfo: memFree=697976/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1120176 CPUtime=882.07 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 279702 0 0 0 87306 901 0 0 25 0 1 0 119157277 1147060224 279500 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 280044 279500 146 303 0 279739 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1120176 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20986 /proc/meminfo: memFree=659536/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1159152 CPUtime=942.06 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 289433 0 0 0 93264 942 0 0 25 0 1 0 119157277 1186971648 289231 1992294400 134512640 135752675 4292824912 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 289788 289231 146 303 0 289483 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1159152 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20988 /proc/meminfo: memFree=619360/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1198952 CPUtime=1002.04 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 299314 0 0 0 99216 988 0 0 25 0 1 0 119157277 1227726848 299112 1992294400 134512640 135752675 4292824912 18446744073709551615 134612137 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 299738 299112 146 303 0 299433 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1198952 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20990 /proc/meminfo: memFree=580672/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1237652 CPUtime=1062.03 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 309001 0 0 0 105165 1038 0 0 25 0 1 0 119157277 1267355648 308799 1992294400 134512640 135752675 4292824912 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 309413 308799 146 303 0 309108 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1237652 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20990 /proc/meminfo: memFree=541736/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1276344 CPUtime=1122.01 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 318667 0 0 0 111119 1082 0 0 25 0 1 0 119157277 1306976256 318465 1992294400 134512640 135752675 4292824912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 319086 318465 146 303 0 318781 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1276344 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20992 /proc/meminfo: memFree=507760/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1310580 CPUtime=1182 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 327211 0 0 0 117077 1123 0 0 25 0 1 0 119157277 1342033920 327009 1992294400 134512640 135752675 4292824912 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 327645 327009 146 303 0 327340 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1310580 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20994 /proc/meminfo: memFree=464608/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1353356 CPUtime=1241.98 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 337894 0 0 0 123019 1179 0 0 25 0 1 0 119157277 1385836544 337692 1992294400 134512640 135752675 4292824912 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 338339 337692 146 303 0 338034 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1353356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20996 /proc/meminfo: memFree=422944/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1394756 CPUtime=1301.97 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 348238 0 0 0 128970 1227 0 0 25 0 1 0 119157277 1428230144 348036 1992294400 134512640 135752675 4292824912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 348689 348036 146 303 0 348384 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1394756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20998 /proc/meminfo: memFree=380164/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1437828 CPUtime=1361.95 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 358990 0 0 0 134917 1278 0 0 25 0 1 0 119157277 1472335872 358788 1992294400 134512640 135752675 4292824912 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 359457 358788 146 303 0 359152 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1437828 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 20998 /proc/meminfo: memFree=349288/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1468428 CPUtime=1421.94 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 366603 0 0 0 140884 1310 0 0 25 0 1 0 119157277 1503670272 366401 1992294400 134512640 135752675 4292824912 18446744073709551615 134612010 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 367107 366401 146 303 0 366802 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1468428 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 0.92 2/107 21009 /proc/meminfo: memFree=310428/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1507788 CPUtime=1481.9 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 376392 0 0 0 146838 1352 0 0 25 0 1 0 119157277 1543974912 376190 1992294400 134512640 135752675 4292824912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 376947 376190 146 303 0 376642 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1507788 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 0.92 2/107 21011 /proc/meminfo: memFree=273972/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1543680 CPUtime=1541.89 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 385354 0 0 0 152794 1395 0 0 25 0 1 0 119157277 1580728320 385152 1992294400 134512640 135752675 4292824912 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 385920 385152 146 303 0 385615 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1543680 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 21013 /proc/meminfo: memFree=236896/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1580856 CPUtime=1601.87 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 394666 0 0 0 158754 1433 0 0 25 0 1 0 119157277 1618796544 394464 1992294400 134512640 135752675 4292824912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 395214 394464 146 303 0 394909 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1580856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 21015 /proc/meminfo: memFree=201804/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1615776 CPUtime=1661.86 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 403371 0 0 0 164711 1475 0 0 25 0 1 0 119157277 1654554624 403169 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 403944 403169 146 303 0 403639 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1615776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 21015 /proc/meminfo: memFree=166216/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1651528 CPUtime=1721.84 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 412295 0 0 0 170675 1509 0 0 25 0 1 0 119157277 1691164672 412093 1992294400 134512640 135752675 4292824912 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 412882 412093 146 303 0 412577 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1651528 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 21017 /proc/meminfo: memFree=132736/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1684768 CPUtime=1781.83 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 420579 0 0 0 176643 1540 0 0 25 0 1 0 119157277 1725202432 420377 1992294400 134512640 135752675 4292824912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 421192 420377 146 303 0 420887 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1684768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 21017 /proc/meminfo: memFree=123684/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=1693684 CPUtime=1800.04 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4202496 422790 0 0 0 178455 1549 0 0 25 0 1 0 119157277 1734332416 422588 1992294400 134512640 135752675 4292824912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20956/statm: 423421 422588 146 303 0 423116 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1693684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.92 2/108 21018 /proc/meminfo: memFree=1138244/2059040 swapFree=4139948/4192956 [pid=20956] ppid=20954 vsize=0 CPUtime=1800.14 /proc/20956/stat : 20956 (wbo1.4b) R 20954 20956 20778 0 -1 4203524 422790 0 0 0 178455 1559 0 0 25 0 1 0 119157277 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20956/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.67 CPU time (s): 1800.2 CPU user time (s): 1784.55 CPU system time (s): 15.6516 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1693684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.55 system time used= 15.6516 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 422790 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47 involuntary context switches= 20343 runsolver used 3.23051 second user time and 8.29674 second system time The end
Begin job on node018 at 2010-06-25 10:36:49 IDJOB=2680863 IDBENCH=2227 IDSOLVER=1190 FILE ID=node018/2680863-1277455009 PBS_JOBID= 11188141 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680863-1277455009/watcher-2680863-1277455009 -o /tmp/evaluation-result-2680863-1277455009/solver-2680863-1277455009 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680863-1277455009.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c RANDOM SEED=172133165 node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1862340 kB Buffers: 52340 kB Cached: 36584 kB SwapCached: 5504 kB Active: 25436 kB Inactive: 76568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1862340 kB SwapTotal: 4192956 kB SwapFree: 4139948 kB Dirty: 2632 kB Writeback: 0 kB AnonPages: 11652 kB Mapped: 11944 kB Slab: 72856 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181944 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62488 MiB End job on node018 at 2010-06-25 11:06:52