Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -114 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 3158 |
Sum of products size | 6316 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702505-1278568647.opb. 0.00/0.00 c Instance file HOME/instance-2702505-1278568647.opb 0.00/0.00 c File size is 270643 bytes. 0.00/0.04 c Highest Coefficient sum: 22 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3658 | 0.00/0.04 c | Number Clauses: 3158 | 0.00/0.04 c | Number Cardinality: 1000 | 0.00/0.04 c | Number PB Constraints: 3158 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7316 15167 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 0 0.00/0.05 o 0 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7317 15667 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: -1 0.00/0.05 o -1 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7318 16167 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -2 0.00/0.06 o -2 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7319 16667 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -3 0.00/0.06 o -3 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7320 17167 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -4 0.00/0.06 o -4 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7321 17667 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -5 0.00/0.06 o -5 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7322 18167 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -6 0.00/0.06 o -6 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7323 18667 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -7 0.00/0.07 o -7 0.00/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 500 7324 19167 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -8 0.00/0.07 o -8 0.00/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 1 | 500 7325 19667 | 5000 1 493 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -9 0.00/0.07 o -9 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 500 7326 20167 | 5000 2 492 | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -10 0.06/0.07 o -10 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 5 | 500 7327 20667 | 5000 5 492 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -11 0.06/0.08 o -11 0.06/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 8 | 500 7328 21167 | 5000 8 491 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -12 0.06/0.08 o -12 0.06/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 14 | 500 7329 21667 | 5000 14 490 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -13 0.06/0.08 o -13 0.06/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 17 | 500 7330 22167 | 5000 17 490 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -14 0.06/0.09 o -14 0.06/0.09 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 23 | 500 7331 22667 | 5000 23 489 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -15 0.06/0.09 o -15 0.06/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 27 | 500 7332 23167 | 5000 27 489 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -16 0.09/0.10 o -16 0.09/0.10 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 64 | 500 7333 23667 | 5000 64 487 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -17 0.09/0.10 o -17 0.09/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 75 | 500 7334 24167 | 5000 75 486 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -18 0.09/0.11 o -18 0.09/0.11 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 94 | 500 7335 24667 | 5000 94 486 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -19 0.09/0.11 o -19 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 113 | 500 7336 25167 | 5000 113 485 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -20 0.09/0.12 o -20 0.09/0.12 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 145 | 500 7337 25667 | 5000 145 484 | 0.000 % | 0.09/0.14 c | 245 | 500 7337 25667 | 5500 245 483 | 86.331 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -21 0.09/0.15 o -21 0.09/0.15 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 321 | 500 7338 26167 | 5000 321 482 | 86.331 % | 0.09/0.16 c | 422 | 500 7338 26167 | 5500 422 482 | 86.331 % | 0.09/0.19 c | 572 | 500 7338 26167 | 6050 572 481 | 86.331 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -22 0.19/0.20 o -22 0.19/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 659 | 500 7339 26667 | 5000 659 481 | 86.331 % | 0.19/0.22 c | 760 | 500 7339 26667 | 5500 760 480 | 86.331 % | 0.19/0.24 c | 911 | 500 7339 26667 | 6050 911 480 | 86.331 % | 0.19/0.28 c | 1137 | 500 7339 26667 | 6655 1137 480 | 86.331 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -23 0.29/0.32 o -23 0.29/0.32 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 1413 | 500 7340 27167 | 5000 1413 479 | 86.331 % | 0.29/0.34 c | 1514 | 500 7340 27167 | 5500 1514 479 | 86.331 % | 0.29/0.36 c | 1665 | 500 7340 27167 | 6050 1665 479 | 86.331 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -24 0.29/0.37 o -24 0.29/0.37 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 1734 | 500 7341 27667 | 5000 1734 479 | 86.331 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -25 0.29/0.38 o -25 0.29/0.38 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 1746 | 500 7342 28167 | 5000 1746 479 | 86.331 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -26 0.29/0.39 o -26 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 1806 | 500 7343 28667 | 5000 1806 479 | 86.331 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -27 0.39/0.41 o -27 0.39/0.41 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1867 | 500 7344 29167 | 5000 1867 479 | 86.331 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -28 0.39/0.43 o -28 0.39/0.43 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 1938 | 500 7345 29667 | 5000 1938 479 | 86.331 % | 0.39/0.45 c | 2038 | 500 7345 29667 | 5500 2038 478 | 86.331 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -29 0.39/0.46 o -29 0.39/0.46 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 2074 | 500 7346 30167 | 5000 2074 478 | 86.331 % | 0.39/0.48 c | 2174 | 500 7346 30167 | 5500 2174 478 | 86.331 % | 0.49/0.51 c | 2325 | 500 7346 30167 | 6050 2325 478 | 86.331 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: -30 0.49/0.54 o -30 0.49/0.54 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 2444 | 500 7347 30667 | 5000 2444 477 | 86.331 % | 0.49/0.57 c | 2544 | 500 7347 30667 | 5500 2544 477 | 86.331 % | 0.59/0.60 c | 2694 | 500 7347 30667 | 6050 2694 477 | 86.331 % | 0.59/0.66 c | 2919 | 500 7347 30667 | 6655 2919 476 | 86.331 % | 0.69/0.73 c | 3256 | 500 7347 30667 | 7320 3256 476 | 86.331 % | 0.79/0.86 c | 3763 | 500 7347 30667 | 8052 3763 475 | 86.331 % | 1.00/1.09 c | 4522 | 500 7347 30667 | 8857 4522 474 | 86.331 % | 1.39/1.43 c | 5661 | 500 7347 30667 | 9743 5661 474 | 86.331 % | 2.10/2.11 c | 7370 | 500 7347 30667 | 10717 7370 473 | 86.331 % | 2.89/2.96 c | 9932 | 500 7347 30667 | 11789 9932 473 | 86.331 % | 3.79/3.82 c | 13777 | 500 7347 30667 | 12968 13777 472 | 86.331 % | 5.69/5.78 c | 19544 | 500 7347 30667 | 14265 11244 471 | 86.331 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: -31 6.89/6.93 o -31 6.89/6.93 c Elapsed CPU time: 6.83096 s Remaining CPU time: 173.169 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 21256 | 500 7348 31167 | 5000 12956 471 | 86.331 % | 6.98/7.04 c | 21356 | 500 7348 31167 | 5500 6578 471 | 86.331 % | 6.98/7.09 c | 21506 | 500 7348 31167 | 6050 6728 471 | 86.331 % | 7.09/7.17 c | 21731 | 500 7348 31167 | 6655 6953 471 | 86.331 % | 7.29/7.32 c | 22068 | 500 7348 31167 | 7320 7290 471 | 86.331 % | 7.48/7.51 c =============================================================================== 7.48/7.51 c New solution: -32 7.48/7.51 o -32 7.48/7.51 c Elapsed CPU time: 7.39888 s Remaining CPU time: 172.601 s 7.48/7.51 c =============================================================================== 7.48/7.51 c | 22542 | 500 7349 31667 | 5000 7764 471 | 86.331 % | 7.48/7.55 c | 22642 | 500 7349 31667 | 5500 7864 471 | 86.331 % | 7.60/7.60 c | 22792 | 500 7349 31667 | 6050 8014 470 | 86.331 % | 7.60/7.69 c | 23019 | 500 7349 31667 | 6655 8241 471 | 86.331 % | 7.79/7.83 c | 23357 | 500 7349 31667 | 7320 8579 470 | 86.331 % | 7.99/8.03 c | 23864 | 500 7349 31667 | 8052 9086 470 | 86.331 % | 8.29/8.38 c | 24625 | 500 7349 31667 | 8857 9847 470 | 86.331 % | 8.70/8.77 c | 25764 | 500 7349 31667 | 9743 10986 470 | 86.331 % | 9.08/9.15 c | 27472 | 500 7349 31667 | 10717 12694 470 | 86.331 % | 9.08/9.18 c =============================================================================== 9.08/9.18 c New solution: -33 9.08/9.18 o -33 9.08/9.18 c Elapsed CPU time: 9.03962 s Remaining CPU time: 170.96 s 9.08/9.18 c =============================================================================== 9.08/9.18 c | 27578 | 500 7350 32167 | 5000 12800 470 | 86.331 % | 9.29/9.31 c | 27680 | 500 7350 32167 | 5500 6502 469 | 86.331 % | 9.29/9.35 c | 27832 | 500 7350 32167 | 6050 6654 469 | 86.331 % | 9.39/9.42 c | 28057 | 500 7350 32167 | 6655 6879 469 | 86.331 % | 9.39/9.49 c | 28395 | 500 7350 32167 | 7320 7217 469 | 86.331 % | 9.59/9.63 c | 28902 | 500 7350 32167 | 8052 7724 469 | 86.331 % | 9.69/9.78 c | 29661 | 500 7350 32167 | 8857 8483 469 | 86.331 % | 9.99/10.01 c | 30801 | 500 7350 32167 | 9743 9623 469 | 86.331 % | 10.49/10.57 c | 32510 | 500 7350 32167 | 10717 11332 468 | 86.331 % | 11.19/11.23 c =============================================================================== 11.19/11.23 c New solution: -34 11.19/11.23 o -34 11.19/11.23 c Elapsed CPU time: 11.0553 s Remaining CPU time: 168.945 s 11.19/11.23 c =============================================================================== 11.19/11.23 c | 34637 | 500 7351 32667 | 5000 13459 468 | 86.331 % | 11.28/11.35 c | 34737 | 500 7351 32667 | 5500 6830 468 | 86.331 % | 11.38/11.43 c | 34889 | 500 7351 32667 | 6050 6982 468 | 86.331 % | 11.48/11.53 c | 35115 | 500 7351 32667 | 6655 7208 468 | 86.331 % | 11.48/11.55 c =============================================================================== 11.48/11.55 c New solution: -35 11.48/11.55 o -35 11.48/11.55 c Elapsed CPU time: 11.3763 s Remaining CPU time: 168.624 s 11.48/11.55 c =============================================================================== 11.48/11.55 c | 35129 | 500 7352 33167 | 5000 7222 468 | 86.331 % | 11.58/11.60 c | 35231 | 500 7352 33167 | 5500 7324 467 | 86.331 % | 11.58/11.68 c | 35382 | 500 7352 33167 | 6050 7475 467 | 86.331 % | 11.79/11.81 c | 35608 | 500 7352 33167 | 6655 7701 467 | 86.331 % | 11.89/11.91 c | 35946 | 500 7352 33167 | 7320 8039 467 | 86.331 % | 12.00/12.09 c | 36452 | 500 7352 33167 | 8052 8545 467 | 86.331 % | 12.29/12.36 c | 37212 | 500 7352 33167 | 8857 9305 467 | 86.331 % | 12.68/12.79 c | 38351 | 500 7352 33167 | 9743 10444 467 | 86.331 % | 13.39/13.48 c =============================================================================== 13.39/13.48 c New solution: -36 13.39/13.48 o -36 13.39/13.48 c Elapsed CPU time: 13.281 s Remaining CPU time: 166.719 s 13.39/13.48 c =============================================================================== 13.39/13.48 c | 39726 | 500 7353 33667 | 5000 11819 467 | 86.331 % | 13.49/13.54 c | 39827 | 500 7353 33667 | 5500 6011 466 | 86.331 % | 13.49/13.58 c | 39978 | 500 7353 33667 | 6050 6162 466 | 86.331 % | 13.59/13.65 c | 40203 | 500 7353 33667 | 6655 6387 466 | 86.331 % | 13.68/13.75 c | 40541 | 500 7353 33667 | 7320 6725 466 | 86.331 % | 13.89/13.90 c | 41048 | 500 7353 33667 | 8052 7232 466 | 86.331 % | 14.09/14.13 c | 41807 | 500 7353 33667 | 8857 7991 466 | 86.331 % | 14.48/14.50 c | 42946 | 500 7353 33667 | 9743 9130 466 | 86.331 % | 15.18/15.20 c | 44654 | 500 7353 33667 | 10717 10838 465 | 86.331 % | 16.28/16.39 c =============================================================================== 16.28/16.39 c New solution: -37 16.28/16.39 o -37 16.28/16.39 c Elapsed CPU time: 16.1495 s Remaining CPU time: 163.85 s 16.28/16.39 c =============================================================================== 16.28/16.39 c | 46820 | 500 7354 34167 | 5000 13004 465 | 86.331 % | 16.50/16.51 c | 46920 | 500 7354 34167 | 5500 6602 465 | 86.331 % | 16.50/16.57 c | 47071 | 500 7354 34167 | 6050 6753 465 | 86.331 % | 16.59/16.65 c | 47296 | 500 7354 34167 | 6655 6978 465 | 86.331 % | 16.69/16.77 c | 47634 | 500 7354 34167 | 7320 7316 465 | 86.331 % | 16.89/16.95 c | 48140 | 500 7354 34167 | 8052 7822 465 | 86.331 % | 17.18/17.20 c | 48900 | 500 7354 34167 | 8857 8582 465 | 86.331 % | 17.50/17.50 c | 50039 | 500 7354 34167 | 9743 9721 464 | 86.331 % | 17.79/17.86 c =============================================================================== 17.79/17.86 c New solution: -38 17.79/17.86 o -38 17.79/17.86 c Elapsed CPU time: 17.5963 s Remaining CPU time: 162.404 s 17.79/17.86 c =============================================================================== 17.79/17.86 c | 51266 | 500 7355 34667 | 5000 10948 464 | 86.331 % | 17.88/17.94 c | 51366 | 500 7355 34667 | 5500 5574 464 | 86.331 % | 17.88/17.99 c | 51517 | 500 7355 34667 | 6050 5725 464 | 86.331 % | 17.98/18.04 c | 51744 | 500 7355 34667 | 6655 5952 464 | 86.331 % | 18.09/18.13 c | 52081 | 500 7355 34667 | 7320 6289 464 | 86.331 % | 18.19/18.24 c | 52588 | 500 7355 34667 | 8052 6796 464 | 86.331 % | 18.19/18.26 c =============================================================================== 18.19/18.26 c New solution: -39 18.19/18.26 o -39 18.19/18.26 c Elapsed CPU time: 17.9843 s Remaining CPU time: 162.016 s 18.19/18.26 c =============================================================================== 18.19/18.26 c | 52606 | 500 7356 35167 | 5000 6814 464 | 86.331 % | 18.29/18.30 c | 52706 | 500 7356 35167 | 5500 6914 464 | 86.331 % | 18.29/18.34 c | 52856 | 500 7356 35167 | 6050 7064 464 | 86.331 % | 18.38/18.42 c | 53082 | 500 7356 35167 | 6655 7290 464 | 86.331 % | 18.48/18.54 c | 53420 | 500 7356 35167 | 7320 7628 463 | 86.331 % | 18.60/18.69 c | 53926 | 500 7356 35167 | 8052 8134 463 | 86.331 % | 19.09/19.10 c | 54685 | 500 7356 35167 | 8857 8893 463 | 86.331 % | 19.38/19.49 c | 55824 | 500 7356 35167 | 9743 10032 463 | 86.331 % | 19.58/19.68 c =============================================================================== 19.58/19.69 c New solution: -40 19.58/19.69 o -40 19.58/19.69 c Elapsed CPU time: 19.3941 s Remaining CPU time: 160.606 s 19.58/19.69 c =============================================================================== 19.58/19.69 c | 56597 | 500 7357 35667 | 5000 10805 463 | 86.331 % | 19.70/19.75 c | 56698 | 500 7357 35667 | 5500 5504 462 | 86.331 % | 19.70/19.79 c | 56849 | 500 7357 35667 | 6050 5655 462 | 86.331 % | 19.80/19.87 c | 57074 | 500 7357 35667 | 6655 5880 462 | 86.331 % | 19.89/19.99 c | 57411 | 500 7357 35667 | 7320 6217 462 | 86.331 % | 20.09/20.13 c | 57918 | 500 7357 35667 | 8052 6724 462 | 86.331 % | 20.18/20.24 c =============================================================================== 20.18/20.24 c New solution: -41 20.18/20.24 o -41 20.18/20.24 c Elapsed CPU time: 19.94 s Remaining CPU time: 160.06 s 20.18/20.24 c =============================================================================== 20.18/20.24 c | 58291 | 500 7358 36167 | 5000 7097 462 | 86.331 % | 20.18/20.28 c | 58391 | 500 7358 36167 | 5500 7197 462 | 86.331 % | 20.29/20.33 c | 58541 | 500 7358 36167 | 6050 7347 462 | 86.331 % | 20.39/20.41 c | 58766 | 500 7358 36167 | 6655 7572 462 | 86.331 % | 20.39/20.48 c | 59103 | 500 7358 36167 | 7320 7909 461 | 86.331 % | 20.58/20.60 c | 59609 | 500 7358 36167 | 8052 8415 461 | 86.331 % | 20.68/20.78 c | 60368 | 500 7358 36167 | 8857 9174 461 | 86.331 % | 21.08/21.12 c | 61507 | 500 7358 36167 | 9743 10313 461 | 86.331 % | 21.29/21.30 c =============================================================================== 21.29/21.30 c New solution: -42 21.29/21.30 o -42 21.29/21.30 c Elapsed CPU time: 20.9728 s Remaining CPU time: 159.027 s 21.29/21.30 c =============================================================================== 21.29/21.30 c | 62176 | 500 7359 36667 | 5000 10982 461 | 86.331 % | 21.29/21.37 c | 62277 | 500 7359 36667 | 5500 5592 460 | 86.331 % | 21.39/21.40 c | 62428 | 500 7359 36667 | 6050 5743 460 | 86.331 % | 21.39/21.46 c | 62653 | 500 7359 36667 | 6655 5968 460 | 86.331 % | 21.48/21.56 c | 62990 | 500 7359 36667 | 7320 6305 460 | 86.331 % | 21.69/21.77 c | 63498 | 500 7359 36667 | 8052 6813 460 | 86.331 % | 21.89/21.98 c | 64258 | 500 7359 36667 | 8857 7573 460 | 86.331 % | 22.29/22.38 c | 65397 | 500 7359 36667 | 9743 8712 460 | 86.331 % | 22.88/22.95 c | 67107 | 500 7359 36667 | 10717 10422 460 | 86.331 % | 24.28/24.30 c | 69669 | 500 7359 36667 | 11789 12984 459 | 86.331 % | 25.68/25.72 c | 73513 | 500 7359 36667 | 12968 9128 459 | 86.331 % | 27.59/27.62 c | 79279 | 500 7359 36667 | 14265 14894 459 | 86.331 % | 33.18/33.23 c | 87931 | 500 7359 36667 | 15692 14604 459 | 86.331 % | 33.79/33.86 c =============================================================================== 33.79/33.86 c New solution: -43 33.79/33.86 o -43 33.79/33.86 c Elapsed CPU time: 33.4119 s Remaining CPU time: 146.588 s 33.79/33.86 c =============================================================================== 33.79/33.86 c | 89466 | 500 7360 37167 | 5000 16139 459 | 86.331 % | 33.99/34.02 c | 89566 | 500 7360 37167 | 5500 8170 459 | 86.331 % | 34.09/34.11 c | 89716 | 500 7360 37167 | 6050 8320 459 | 86.331 % | 34.18/34.21 c | 89941 | 500 7360 37167 | 6655 8545 459 | 86.331 % | 34.28/34.35 c | 90279 | 500 7360 37167 | 7320 8883 459 | 86.331 % | 34.58/34.62 c | 90785 | 500 7360 37167 | 8052 9389 459 | 86.331 % | 34.58/34.68 c =============================================================================== 34.58/34.68 c New solution: -44 34.58/34.68 o -44 34.58/34.68 c Elapsed CPU time: 34.2178 s Remaining CPU time: 145.782 s 34.58/34.68 c =============================================================================== 34.58/34.68 c | 90900 | 500 7361 37667 | 5000 9504 459 | 86.331 % | 34.68/34.75 c | 91001 | 500 7361 37667 | 5500 4853 459 | 86.331 % | 34.79/34.82 c | 91153 | 500 7361 37667 | 6050 5005 459 | 86.331 % | 34.79/34.89 c | 91379 | 500 7361 37667 | 6655 5231 459 | 86.331 % | 34.98/35.01 c | 91717 | 500 7361 37667 | 7320 5569 459 | 86.331 % | 35.09/35.20 c | 92223 | 500 7361 37667 | 8052 6075 458 | 86.331 % | 35.38/35.43 c | 92984 | 500 7361 37667 | 8857 6836 458 | 86.331 % | 35.68/35.74 c | 94124 | 500 7361 37667 | 9743 7976 458 | 86.331 % | 36.29/36.38 c | 95832 | 500 7361 37667 | 10717 9684 458 | 86.331 % | 37.49/37.56 c | 98395 | 500 7361 37667 | 11789 12247 458 | 86.331 % | 39.09/39.12 c | 102240 | 500 7361 37667 | 12968 8389 457 | 86.331 % | 40.78/40.84 c | 108006 | 500 7361 37667 | 14265 14155 457 | 86.331 % | 43.99/44.04 c | 116655 | 500 7361 37667 | 15692 13863 456 | 86.331 % | 49.38/49.47 c | 129630 | 500 7361 37667 | 17261 17186 457 | 86.331 % | 50.48/50.57 c =============================================================================== 50.48/50.57 c New solution: -45 50.48/50.57 o -45 50.48/50.57 c Elapsed CPU time: 49.8784 s Remaining CPU time: 130.122 s 50.48/50.57 c =============================================================================== 50.48/50.57 c | 132327 | 500 7362 38167 | 5000 19883 456 | 86.331 % | 50.78/50.81 c | 132427 | 500 7362 38167 | 5500 5071 456 | 86.331 % | 50.78/50.85 c | 132577 | 500 7362 38167 | 6050 5221 456 | 86.331 % | 50.88/50.90 c | 132803 | 500 7362 38167 | 6655 5447 456 | 86.331 % | 50.98/51.00 c | 133140 | 500 7362 38167 | 7320 5784 456 | 86.331 % | 51.28/51.30 c | 133647 | 500 7362 38167 | 8052 6291 456 | 86.331 % | 51.69/51.71 c | 134406 | 500 7362 38167 | 8857 7050 456 | 86.331 % | 52.18/52.25 c | 135546 | 500 7362 38167 | 9743 8190 456 | 86.331 % | 52.98/53.04 c | 137254 | 500 7362 38167 | 10717 9898 456 | 86.331 % | 54.18/54.25 c | 139817 | 500 7362 38167 | 11789 12461 456 | 86.331 % | 56.58/56.64 c | 143662 | 500 7362 38167 | 12968 8609 456 | 86.331 % | 59.78/59.88 c | 149429 | 500 7362 38167 | 14265 14376 456 | 86.331 % | 63.78/63.84 c | 158079 | 500 7362 38167 | 15692 14085 455 | 86.331 % | 69.18/69.22 c | 171053 | 500 7362 38167 | 17261 17405 456 | 86.331 % | 80.28/80.32 c | 190514 | 500 7362 38167 | 18987 15987 456 | 86.331 % | 92.66/92.70 c =============================================================================== 92.66/92.70 c New solution: -46 92.66/92.70 o -46 92.66/92.70 c Elapsed CPU time: 91.6031 s Remaining CPU time: 88.3969 s 92.66/92.70 c =============================================================================== 92.66/92.70 c | 214228 | 500 7363 38667 | 5000 15834 456 | 86.331 % | 92.77/92.82 c | 214328 | 500 7363 38667 | 5500 8017 456 | 86.331 % | 92.87/92.90 c | 214479 | 500 7363 38667 | 6050 8168 456 | 86.331 % | 92.87/92.98 c | 214706 | 500 7363 38667 | 6655 8395 456 | 86.331 % | 93.07/93.13 c | 215044 | 500 7363 38667 | 7320 8733 456 | 86.331 % | 93.27/93.37 c | 215550 | 500 7363 38667 | 8052 9239 456 | 86.331 % | 93.56/93.67 c | 216310 | 500 7363 38667 | 8857 9999 457 | 86.331 % | 94.07/94.12 c | 217449 | 500 7363 38667 | 9743 11138 456 | 86.331 % | 94.86/94.94 c | 219158 | 500 7363 38667 | 10717 12847 456 | 86.331 % | 95.97/96.07 c | 221720 | 500 7363 38667 | 11789 8244 456 | 86.331 % | 97.46/97.59 c | 225565 | 500 7363 38667 | 12968 12089 456 | 86.331 % | 99.46/99.57 c | 231333 | 500 7363 38667 | 14265 9568 455 | 86.331 % | 101.87/101.99 c =============================================================================== 101.87/101.99 c New solution: -47 101.87/101.99 o -47 101.87/101.99 c Elapsed CPU time: 100.782 s Remaining CPU time: 79.2183 s 101.87/101.99 c =============================================================================== 101.87/101.99 c | 237253 | 500 7364 39167 | 5000 15488 455 | 86.331 % | 102.07/102.11 c | 237353 | 500 7364 39167 | 5500 7844 454 | 86.331 % | 102.17/102.28 c | 237504 | 500 7364 39167 | 6050 7995 454 | 86.331 % | 102.36/102.48 c | 237729 | 500 7364 39167 | 6655 8220 455 | 86.331 % | 102.86/102.91 c | 238066 | 500 7364 39167 | 7320 8557 455 | 86.331 % | 103.27/103.32 c | 238574 | 500 7364 39167 | 8052 9065 455 | 86.331 % | 104.07/104.18 c | 239333 | 500 7364 39167 | 8857 9824 455 | 86.331 % | 105.47/105.60 c | 240472 | 500 7364 39167 | 9743 10963 455 | 86.331 % | 107.46/107.50 c | 242180 | 500 7364 39167 | 10717 12671 455 | 86.331 % | 108.87/108.97 c | 244743 | 500 7364 39167 | 11789 8068 454 | 86.331 % | 111.26/111.33 c | 248588 | 500 7364 39167 | 12968 11913 454 | 86.331 % | 114.06/114.11 c | 254355 | 500 7364 39167 | 14265 9388 454 | 86.331 % | 117.26/117.36 c | 263004 | 500 7364 39167 | 15692 9097 454 | 86.331 % | 122.96/123.05 c =============================================================================== 122.96/123.05 c New solution: -48 122.96/123.05 o -48 122.96/123.05 c Elapsed CPU time: 121.673 s Remaining CPU time: 58.3275 s 122.96/123.05 c =============================================================================== 122.96/123.05 c | 273847 | 500 7365 39667 | 5000 10286 454 | 86.331 % | 123.07/123.16 c | 273948 | 500 7365 39667 | 5500 5244 454 | 86.331 % | 123.17/123.22 c | 274099 | 500 7365 39667 | 6050 5395 454 | 86.331 % | 123.26/123.34 c | 274324 | 500 7365 39667 | 6655 5620 454 | 86.331 % | 123.36/123.48 c | 274661 | 500 7365 39667 | 7320 5957 454 | 86.331 % | 123.56/123.65 c | 275168 | 500 7365 39667 | 8052 6464 454 | 86.331 % | 123.86/123.92 c | 275927 | 500 7365 39667 | 8857 7223 454 | 86.331 % | 124.27/124.39 c | 277067 | 500 7365 39667 | 9743 8363 454 | 86.331 % | 125.16/125.26 c | 278776 | 500 7365 39667 | 10717 10072 453 | 86.331 % | 126.06/126.16 c | 281339 | 500 7365 39667 | 11789 12635 453 | 86.331 % | 127.86/127.97 c | 285184 | 500 7365 39667 | 12968 8781 453 | 86.331 % | 130.35/130.45 c | 290951 | 500 7365 39667 | 14265 14548 453 | 86.331 % | 135.16/135.24 c | 299602 | 500 7365 39667 | 15692 14263 453 | 86.331 % | 142.87/142.94 c | 312578 | 500 7365 39667 | 17261 17588 453 | 86.331 % | 152.95/153.03 c | 332039 | 500 7365 39667 | 18987 16177 453 | 86.331 % | 165.54/165.65 c | 361232 | 500 7365 39667 | 20886 21528 452 | 86.331 % | 181.85/181.97 c There are 3158 assigned variables. 0 in cost function. 182.85/182.99 c core #1 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -499 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #2 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -498 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #3 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -497 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #4 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -496 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #5 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -495 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #6 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -494 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #7 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -493 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #8 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -492 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #9 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -491 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #10 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -490 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #11 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -489 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #12 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -488 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #13 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -487 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #14 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -486 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #15 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -485 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #16 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -484 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #17 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -483 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #18 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -482 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #19 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -481 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #20 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -480 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #21 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -479 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #22 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -478 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #23 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -477 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #24 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -476 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #25 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -475 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #26 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -474 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #27 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -473 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #28 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -472 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #29 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -471 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #30 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -470 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #31 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -469 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #32 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -468 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #33 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -467 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #34 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -466 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #35 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -465 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #36 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -464 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #37 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -463 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #38 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -462 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #39 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -461 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #40 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -460 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #41 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -459 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #42 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -458 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #43 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -457 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #44 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -456 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #45 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -455 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #46 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -454 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #47 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -453 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #48 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -452 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #49 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -451 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #50 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -450 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #51 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -449 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #52 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -448 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #53 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -447 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #54 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -446 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #55 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -445 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #56 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -444 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #57 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -443 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #58 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -442 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c core #59 182.85/182.99 c 182.85/182.99 c 182.85/182.99 c Core size: 3 Core Weight: 1 Total Weight: -441 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #60 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -440 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #61 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -439 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #62 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -438 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #63 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -437 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #64 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -436 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #65 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -435 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #66 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -434 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #67 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -433 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #68 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -432 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #69 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -431 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #70 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -430 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #71 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -429 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #72 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -428 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #73 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -427 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #74 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -426 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #75 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -425 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #76 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -424 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #77 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -423 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #78 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -422 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #79 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -421 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #80 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -420 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #81 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -419 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #82 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -418 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #83 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -417 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #84 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -416 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #85 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -415 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #86 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -414 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #87 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -413 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #88 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -412 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #89 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -411 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #90 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -410 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #91 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -409 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #92 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -408 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #93 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -407 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #94 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -406 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #95 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -405 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #96 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -404 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #97 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -403 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #98 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -402 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #99 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -401 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #100 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -400 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #101 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -399 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #102 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -398 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #103 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -397 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #104 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -396 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #105 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -395 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #106 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -394 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #107 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -393 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #108 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -392 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #109 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -391 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #110 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -390 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #111 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -389 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #112 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -388 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #113 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -387 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #114 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -386 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #115 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -385 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #116 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -384 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #117 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: -383 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #118 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -382 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #119 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -381 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #120 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -380 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #121 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -379 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #122 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -378 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #123 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -377 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #124 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -376 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #125 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -375 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #126 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -374 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #127 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -373 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #128 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -372 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #129 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -371 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #130 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -370 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #131 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -369 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #132 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -368 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #133 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -367 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #134 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -366 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #135 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -365 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #136 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -364 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #137 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -363 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #138 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -362 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #139 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -361 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #140 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -360 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #141 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -359 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #142 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -358 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #143 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -357 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #144 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -356 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #145 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -355 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #146 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -354 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #147 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -353 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #148 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -352 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #149 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -351 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #150 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -350 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #151 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -349 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #152 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -348 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #153 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -347 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #154 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -346 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #155 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -345 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #156 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -344 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #157 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -343 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #158 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -342 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #159 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -341 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #160 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -340 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #161 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -339 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #162 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -338 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #163 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -337 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #164 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -336 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #165 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -335 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #166 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -334 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #167 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -333 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #168 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -332 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #169 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -331 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #170 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -330 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #171 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -329 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #172 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -328 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #173 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -327 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #174 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -326 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #175 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 3 Core Weight: 1 Total Weight: -325 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #176 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -324 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #177 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -323 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #178 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -322 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #179 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -321 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #180 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -320 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #181 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -319 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #182 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -318 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #183 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -317 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #184 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -316 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #185 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -315 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #186 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -314 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #187 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -313 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #188 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -312 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #189 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -311 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #190 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -310 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #191 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -309 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #192 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -308 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #193 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -307 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #194 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -306 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #195 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -305 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #196 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -304 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #197 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -303 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #198 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -302 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #199 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -301 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #200 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -300 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #201 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -299 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #202 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -298 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #203 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -297 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #204 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -296 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #205 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -295 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #206 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -294 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #207 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -293 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #208 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -292 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #209 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -291 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #210 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -290 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #211 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -289 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #212 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -288 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #213 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -287 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #214 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -286 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #215 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -285 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #216 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -284 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #217 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -283 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #218 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -282 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #219 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -281 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #220 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -280 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #221 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -279 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #222 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -278 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #223 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -277 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #224 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -276 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #225 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -275 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #226 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 3 Core Weight: 1 Total Weight: -274 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #227 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -273 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #228 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -272 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #229 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -271 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #230 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -270 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #231 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -269 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #232 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -268 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #233 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: -267 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #234 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -266 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #235 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -265 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #236 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -264 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #237 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -263 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #238 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -262 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #239 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -261 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #240 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 10 Core Weight: 1 Total Weight: -260 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #241 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -259 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #242 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 15 Core Weight: 1 Total Weight: -258 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #243 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 11 Core Weight: 1 Total Weight: -257 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #244 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 11 Core Weight: 1 Total Weight: -256 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #245 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 23 Core Weight: 1 Total Weight: -255 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #246 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 14 Core Weight: 1 Total Weight: -254 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #247 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 6 Core Weight: 1 Total Weight: -253 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #248 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 14 Core Weight: 1 Total Weight: -252 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #249 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 11 Core Weight: 1 Total Weight: -251 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #250 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 27 Core Weight: 1 Total Weight: -250 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #251 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 7 Core Weight: 1 Total Weight: -249 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #252 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 18 Core Weight: 1 Total Weight: -248 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #253 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 14 Core Weight: 1 Total Weight: -247 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c ============================[ Search Statistics ]============================== 185.44/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.58 c =============================================================================== 185.44/185.58 c | 0 | 1102 7118 32520 | 5000 0 nan | 0.000 % | 185.44/185.59 c =============================================================================== 185.54/185.62 c core #254 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c Core size: 18 Core Weight: 1 Total Weight: -246 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c ============================[ Search Statistics ]============================== 185.54/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.62 c =============================================================================== 185.54/185.62 c | 0 | 1112 7119 32540 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.65 c core #255 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 14 Core Weight: 1 Total Weight: -245 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 1120 7120 32556 | 5000 0 nan | 0.000 % | 185.54/185.66 c =============================================================================== 185.54/185.69 c core #256 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c Core size: 18 Core Weight: 1 Total Weight: -244 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c ============================[ Search Statistics ]============================== 185.54/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.69 c =============================================================================== 185.54/185.69 c | 0 | 1130 7121 32576 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.72 c core #257 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 20 Core Weight: 1 Total Weight: -243 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c ============================[ Search Statistics ]============================== 185.64/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.72 c =============================================================================== 185.64/185.72 c | 0 | 1142 7122 32600 | 5000 0 nan | 0.000 % | 185.64/185.74 c =============================================================================== 185.64/185.76 c core #258 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c Core size: 14 Core Weight: 1 Total Weight: -242 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c ============================[ Search Statistics ]============================== 185.64/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.76 c =============================================================================== 185.64/185.76 c | 0 | 1150 7123 32616 | 5000 0 nan | 0.000 % | 185.64/185.78 c =============================================================================== 185.75/185.80 c core #259 185.75/185.80 c 185.75/185.80 c 185.75/185.80 c Core size: 14 Core Weight: 1 Total Weight: -241 185.75/185.80 c 185.75/185.80 c 185.75/185.80 c ============================[ Search Statistics ]============================== 185.75/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.80 c =============================================================================== 185.75/185.80 c | 0 | 1158 7124 32632 | 5000 0 nan | 0.000 % | 185.75/185.82 c =============================================================================== 185.75/185.84 c core #260 185.75/185.84 c 185.75/185.84 c 185.75/185.84 c Core size: 26 Core Weight: 1 Total Weight: -240 185.75/185.84 c 185.75/185.84 c 185.75/185.84 c ============================[ Search Statistics ]============================== 185.75/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.84 c =============================================================================== 185.75/185.84 c | 0 | 1174 7125 32664 | 5000 0 nan | 0.000 % | 185.75/185.86 c =============================================================================== 185.75/185.88 c core #261 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c Core size: 29 Core Weight: 1 Total Weight: -239 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c ============================[ Search Statistics ]============================== 185.75/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.88 c =============================================================================== 185.75/185.88 c | 0 | 1196 7126 32708 | 5000 0 nan | 0.000 % | 185.75/185.90 c =============================================================================== 185.85/185.93 c core #262 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c Core size: 22 Core Weight: 1 Total Weight: -238 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c ============================[ Search Statistics ]============================== 185.85/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.93 c =============================================================================== 185.85/185.93 c | 0 | 1210 7127 32736 | 5000 0 nan | 0.000 % | 185.85/185.93 c =============================================================================== 185.85/185.96 c core #263 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c Core size: 19 Core Weight: 1 Total Weight: -237 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c ============================[ Search Statistics ]============================== 185.85/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.96 c =============================================================================== 185.85/185.96 c | 0 | 1224 7128 32764 | 5000 0 nan | 0.000 % | 185.85/185.96 c =============================================================================== 185.85/185.99 c core #264 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c Core size: 20 Core Weight: 1 Total Weight: -236 185.85/185.99 c 185.85/185.99 c 185.85/185.99 c ============================[ Search Statistics ]============================== 185.85/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.99 c =============================================================================== 185.85/185.99 c | 0 | 1236 7129 32788 | 5000 0 nan | 0.000 % | 185.94/186.00 c =============================================================================== 185.94/186.03 c core #265 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c Core size: 20 Core Weight: 1 Total Weight: -235 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c ============================[ Search Statistics ]============================== 185.94/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.03 c =============================================================================== 185.94/186.03 c | 0 | 1248 7130 32812 | 5000 0 nan | 0.000 % | 185.94/186.04 c =============================================================================== 185.94/186.06 c core #266 185.94/186.06 c 185.94/186.06 c 185.94/186.06 c Core size: 22 Core Weight: 1 Total Weight: -234 185.94/186.06 c 185.94/186.06 c 185.94/186.06 c ============================[ Search Statistics ]============================== 185.94/186.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.06 c =============================================================================== 185.94/186.06 c | 0 | 1262 7131 32840 | 5000 0 nan | 0.000 % | 185.94/186.07 c =============================================================================== 186.04/186.10 c core #267 186.04/186.10 c 186.04/186.10 c 186.04/186.10 c Core size: 20 Core Weight: 1 Total Weight: -233 186.04/186.10 c 186.04/186.10 c 186.04/186.10 c ============================[ Search Statistics ]============================== 186.04/186.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.10 c =============================================================================== 186.04/186.10 c | 0 | 1274 7132 32864 | 5000 0 nan | 0.000 % | 186.04/186.10 c =============================================================================== 186.04/186.13 c core #268 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c Core size: 20 Core Weight: 1 Total Weight: -232 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c ============================[ Search Statistics ]============================== 186.04/186.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.13 c =============================================================================== 186.04/186.13 c | 0 | 1286 7133 32888 | 5000 0 nan | 0.000 % | 186.04/186.14 c =============================================================================== 186.04/186.16 c core #269 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c Core size: 16 Core Weight: 1 Total Weight: -231 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c ============================[ Search Statistics ]============================== 186.04/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.16 c =============================================================================== 186.04/186.16 c | 0 | 1296 7134 32908 | 5000 0 nan | 0.000 % | 186.04/186.17 c =============================================================================== 186.14/186.20 c core #270 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c Core size: 26 Core Weight: 1 Total Weight: -230 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c ============================[ Search Statistics ]============================== 186.14/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.20 c =============================================================================== 186.14/186.20 c | 0 | 1312 7135 32940 | 5000 0 nan | 0.000 % | 186.14/186.20 c =============================================================================== 186.14/186.23 c core #271 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c Core size: 22 Core Weight: 1 Total Weight: -229 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c ============================[ Search Statistics ]============================== 186.14/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.23 c =============================================================================== 186.14/186.23 c | 0 | 1326 7136 32968 | 5000 0 nan | 0.000 % | 186.14/186.24 c =============================================================================== 186.14/186.27 c core #272 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c Core size: 22 Core Weight: 1 Total Weight: -228 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c ============================[ Search Statistics ]============================== 186.14/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.27 c =============================================================================== 186.14/186.27 c | 0 | 1338 7137 32992 | 5000 0 nan | 0.000 % | 186.14/186.28 c =============================================================================== 186.24/186.31 c core #273 186.24/186.31 c 186.24/186.31 c 186.24/186.31 c Core size: 20 Core Weight: 1 Total Weight: -227 186.24/186.31 c 186.24/186.31 c 186.24/186.31 c ============================[ Search Statistics ]============================== 186.24/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.31 c =============================================================================== 186.24/186.31 c | 0 | 1350 7138 33016 | 5000 0 nan | 0.000 % | 186.24/186.31 c =============================================================================== 186.24/186.34 c core #274 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c Core size: 25 Core Weight: 1 Total Weight: -226 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c ============================[ Search Statistics ]============================== 186.24/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.34 c =============================================================================== 186.24/186.34 c | 0 | 1367 7139 33050 | 5000 0 nan | 0.000 % | 186.24/186.35 c =============================================================================== 186.24/186.38 c core #275 186.24/186.38 c 186.24/186.38 c 186.24/186.38 c Core size: 16 Core Weight: 1 Total Weight: -225 186.24/186.38 c 186.24/186.38 c 186.24/186.38 c ============================[ Search Statistics ]============================== 186.24/186.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.38 c =============================================================================== 186.24/186.38 c | 0 | 1377 7140 33070 | 5000 0 nan | 0.000 % | 186.24/186.39 c =============================================================================== 186.34/186.41 c core #276 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c Core size: 38 Core Weight: 1 Total Weight: -224 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c ============================[ Search Statistics ]============================== 186.34/186.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.41 c =============================================================================== 186.34/186.41 c | 0 | 1405 7141 33126 | 5000 0 nan | 0.000 % | 186.34/186.42 c =============================================================================== 186.34/186.45 c core #277 186.34/186.45 c 186.34/186.45 c 186.34/186.45 c Core size: 20 Core Weight: 1 Total Weight: -223 186.34/186.45 c 186.34/186.45 c 186.34/186.45 c ============================[ Search Statistics ]============================== 186.34/186.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.45 c =============================================================================== 186.34/186.45 c | 0 | 1417 7142 33150 | 5000 0 nan | 0.000 % | 186.34/186.46 c =============================================================================== 186.34/186.49 c core #278 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c Core size: 25 Core Weight: 1 Total Weight: -222 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c ============================[ Search Statistics ]============================== 186.34/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.49 c =============================================================================== 186.34/186.49 c | 0 | 1433 7143 33182 | 5000 0 nan | 0.000 % | 186.44/186.51 c =============================================================================== 186.44/186.53 c core #279 186.44/186.53 c 186.44/186.53 c 186.44/186.53 c Core size: 25 Core Weight: 1 Total Weight: -221 186.44/186.53 c 186.44/186.53 c 186.44/186.53 c ============================[ Search Statistics ]============================== 186.44/186.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.53 c =============================================================================== 186.44/186.53 c | 0 | 1448 7144 33212 | 5000 0 nan | 0.000 % | 186.44/186.55 c =============================================================================== 186.44/186.58 c core #280 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c Core size: 75 Core Weight: 1 Total Weight: -220 186.44/186.58 c 186.44/186.58 c 186.44/186.58 c ============================[ Search Statistics ]============================== 186.44/186.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.58 c =============================================================================== 186.44/186.58 c | 0 | 1504 7145 33324 | 5000 0 nan | 0.000 % | 186.55/186.61 c =============================================================================== 186.55/186.64 c core #281 186.55/186.64 c 186.55/186.64 c 186.55/186.64 c Core size: 78 Core Weight: 1 Total Weight: -219 186.55/186.64 c 186.55/186.64 c 186.55/186.64 c ============================[ Search Statistics ]============================== 186.55/186.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.64 c =============================================================================== 186.55/186.64 c | 0 | 1561 7146 33438 | 5000 0 nan | 0.000 % | 186.65/186.71 c | 100 | 1561 7146 33438 | 5500 100 22 | 66.921 % | 186.65/186.79 c | 251 | 1560 7146 33438 | 6050 251 16 | 66.942 % | 186.74/186.88 c | 476 | 1560 7146 33438 | 6655 476 16 | 66.942 % | 186.85/186.94 c =============================================================================== 186.85/186.98 c core #282 186.85/186.98 c 186.85/186.98 c 186.85/186.98 c Core size: 160 Core Weight: 1 Total Weight: -218 186.85/186.98 c 186.85/186.98 c 186.85/186.98 c ============================[ Search Statistics ]============================== 186.85/186.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.98 c =============================================================================== 186.85/186.98 c | 0 | 1687 7147 33690 | 5000 0 nan | 0.000 % | 186.95/187.06 c | 100 | 1687 7147 33690 | 5500 100 51 | 65.181 % | 187.04/187.13 c | 253 | 1687 7147 33690 | 6050 253 53 | 65.181 % | 187.24/187.31 c | 482 | 1687 7147 33690 | 6655 482 53 | 65.181 % | 187.34/187.45 c | 819 | 1687 7147 33690 | 7320 819 52 | 65.181 % | 187.54/187.62 c | 1325 | 1687 7147 33690 | 8052 1325 47 | 65.181 % | 187.84/187.98 c | 2086 | 1687 7147 33690 | 8857 2086 45 | 65.181 % | 188.54/188.61 c | 3227 | 1685 7147 33690 | 9743 1073 29 | 65.222 % | 189.04/189.19 c =============================================================================== 189.15/189.27 c core #283 189.15/189.27 c 189.15/189.27 c 189.15/189.27 c Core size: 180 Core Weight: 1 Total Weight: -217 189.15/189.27 c 189.15/189.27 c 189.15/189.27 c ============================[ Search Statistics ]============================== 189.15/189.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.27 c =============================================================================== 189.15/189.27 c | 0 | 1862 7148 34040 | 5000 0 nan | 0.000 % | 189.24/189.34 c | 101 | 1862 7148 34040 | 5500 101 97 | 62.908 % | 189.34/189.44 c | 251 | 1862 7148 34040 | 6050 251 59 | 62.908 % | 189.44/189.56 c | 476 | 1862 7148 34040 | 6655 476 40 | 62.908 % | 189.64/189.74 c | 813 | 1862 7148 34040 | 7320 813 28 | 62.908 % | 189.84/189.90 c =============================================================================== 189.84/189.94 c core #284 189.84/189.94 c 189.84/189.94 c 189.84/189.94 c Core size: 123 Core Weight: 1 Total Weight: -216 189.84/189.94 c 189.84/189.94 c 189.84/189.94 c ============================[ Search Statistics ]============================== 189.84/189.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.94 c =============================================================================== 189.84/189.94 c | 0 | 1962 7149 34240 | 5000 0 nan | 0.000 % | 189.94/190.02 c | 100 | 1962 7149 34240 | 5500 100 51 | 61.680 % | 189.94/190.05 c | 254 | 1962 7149 34240 | 6050 254 39 | 61.680 % | 190.04/190.16 c | 479 | 1962 7149 34240 | 6655 479 35 | 61.680 % | 190.34/190.41 c | 816 | 1962 7149 34240 | 7320 816 37 | 61.680 % | 190.64/190.75 c | 1323 | 1962 7149 34240 | 8052 1323 40 | 61.680 % | 191.04/191.12 c | 2082 | 1962 7149 34240 | 8857 2082 35 | 61.680 % | 191.54/191.64 c | 3221 | 1931 7149 34240 | 9743 2582 32 | 63.242 % | 191.74/191.87 c =============================================================================== 191.84/191.93 c core #285 191.84/191.93 c 191.84/191.93 c 191.84/191.93 c Core size: 179 Core Weight: 1 Total Weight: -215 191.84/191.93 c 191.84/191.93 c 191.84/191.93 c ============================[ Search Statistics ]============================== 191.84/191.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.93 c =============================================================================== 191.84/191.93 c | 0 | 2110 7150 34536 | 5000 0 nan | 0.000 % | 191.94/192.02 c | 100 | 2110 7150 34536 | 5500 100 76 | 59.947 % | 191.94/192.06 c | 250 | 2110 7150 34536 | 6050 250 63 | 59.947 % | 192.04/192.11 c | 475 | 2110 7150 34536 | 6655 475 55 | 59.947 % | 192.25/192.30 c | 812 | 2110 7150 34536 | 7320 812 58 | 59.947 % | 192.45/192.55 c | 1321 | 2110 7150 34536 | 8052 1321 57 | 59.947 % | 192.74/192.88 c | 2081 | 2110 7150 34536 | 8857 2081 59 | 59.947 % | 193.34/193.44 c | 3220 | 2110 7150 34536 | 9743 3220 57 | 59.947 % | 194.44/194.58 c | 4930 | 2110 7150 34536 | 10717 4930 59 | 59.947 % | 196.54/196.60 c | 7492 | 2110 7150 34536 | 11789 7492 64 | 59.947 % | 200.34/200.46 c | 11337 | 2110 7150 34536 | 12968 11337 70 | 59.947 % | 207.24/207.31 c | 17103 | 2110 7150 34536 | 14265 8979 68 | 59.947 % | 217.23/217.32 c | 25755 | 2110 7150 34536 | 15692 8837 64 | 59.947 % | 230.52/230.67 c | 38730 | 2110 7150 34536 | 17261 12364 56 | 59.947 % | 245.92/246.00 c =============================================================================== 246.52/246.60 c core #286 246.52/246.60 c 246.52/246.60 c 246.52/246.60 c Core size: 316 Core Weight: 1 Total Weight: -214 246.52/246.60 c 246.52/246.60 c 246.52/246.60 c ============================[ Search Statistics ]============================== 246.52/246.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.52/246.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.52/246.60 c =============================================================================== 246.52/246.60 c | 0 | 2404 7151 35124 | 5000 0 nan | 0.000 % | 246.52/246.66 c | 100 | 2404 7151 35124 | 5500 100 59 | 56.778 % | 246.62/246.71 c | 250 | 2404 7151 35124 | 6050 250 51 | 56.778 % | 246.62/246.78 c | 477 | 2404 7151 35124 | 6655 477 50 | 56.778 % | 246.82/246.91 c | 814 | 2404 7151 35124 | 7320 814 43 | 56.778 % | 247.02/247.15 c | 1322 | 2404 7151 35124 | 8052 1322 45 | 56.778 % | 247.22/247.39 c | 2081 | 2404 7151 35124 | 8857 2081 51 | 56.778 % | 247.72/247.82 c | 3220 | 2404 7151 35124 | 9743 3220 56 | 56.778 % | 248.53/248.62 c | 4928 | 2404 7151 35124 | 10717 4928 62 | 56.778 % | 249.82/249.98 c | 7491 | 2404 7151 35124 | 11789 7491 64 | 56.778 % | 252.52/252.64 c | 11335 | 2404 7151 35124 | 12968 11335 69 | 56.778 % | 257.72/257.84 c | 17101 | 2404 7151 35124 | 14265 8938 75 | 56.778 % | 265.12/265.23 c | 25750 | 2404 7151 35124 | 15692 17587 78 | 56.778 % | 279.32/279.43 c | 38724 | 2404 7151 35124 | 17261 11624 92 | 56.778 % | 303.11/303.26 c | 58186 | 2404 7151 35124 | 18987 20807 109 | 56.778 % | 337.80/337.91 c | 87380 | 2404 7151 35124 | 20886 16327 107 | 56.778 % | 366.10/366.20 c =============================================================================== 367.39/367.55 c core #287 367.39/367.55 c 367.39/367.55 c 367.39/367.55 c Core size: 217 Core Weight: 1 Total Weight: -213 367.39/367.55 c 367.39/367.55 c 367.39/367.55 c ============================[ Search Statistics ]============================== 367.39/367.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.39/367.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.39/367.55 c =============================================================================== 367.39/367.55 c | 0 | 2591 7152 35498 | 5000 0 nan | 0.000 % | 367.49/367.66 c | 105 | 2591 7152 35498 | 5500 105 92 | 54.931 % | 367.59/367.72 c | 255 | 2591 7152 35498 | 6050 255 97 | 54.931 % | 367.69/367.83 c | 480 | 2591 7152 35498 | 6655 480 68 | 54.931 % | 367.79/367.98 c | 818 | 2591 7152 35498 | 7320 818 63 | 54.931 % | 368.08/368.26 c | 1326 | 2591 7152 35498 | 8052 1326 70 | 54.931 % | 368.59/368.72 c | 2088 | 2591 7152 35498 | 8857 2088 62 | 54.931 % | 369.19/369.38 c | 3227 | 2591 7152 35498 | 9743 3227 80 | 54.931 % | 370.39/370.50 c | 4935 | 2591 7152 35498 | 10717 4935 73 | 54.931 % | 372.08/372.29 c | 7498 | 2591 7152 35498 | 11789 7498 90 | 54.931 % | 374.90/375.01 c | 11342 | 2591 7152 35498 | 12968 11342 93 | 54.931 % | 381.59/381.73 c | 17109 | 2591 7152 35498 | 14265 8992 120 | 54.931 % | 391.28/391.40 c | 25762 | 2591 7152 35498 | 15692 17645 133 | 54.931 % | 408.88/409.02 c | 38736 | 2591 7152 35498 | 17261 11668 157 | 54.931 % | 433.78/433.95 c | 58197 | 2591 7152 35498 | 18987 10604 151 | 54.931 % | 481.86/482.09 c | 87391 | 2591 7152 35498 | 20886 17497 166 | 54.931 % | 565.14/565.36 c | 131182 | 2591 7152 35498 | 22974 12473 132 | 54.931 % | 672.81/673.09 c | 196869 | 2591 7152 35498 | 25272 25405 134 | 54.931 % | 826.66/826.99 c | 295396 | 2590 7152 35498 | 27799 14452 183 | 54.949 % | 1069.00/1069.35 c | 443185 | 2590 7152 35498 | 30579 18101 124 | 54.949 % | 1261.36/1261.77 c =============================================================================== 1267.86/1268.30 c core #288 1267.86/1268.30 c 1267.86/1268.30 c 1267.86/1268.30 c Core size: 202 Core Weight: 1 Total Weight: -212 1267.86/1268.30 c 1267.86/1268.30 c 1267.86/1268.30 c ============================[ Search Statistics ]============================== 1267.86/1268.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1267.86/1268.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1267.86/1268.30 c =============================================================================== 1267.86/1268.30 c | 0 | 2791 7153 35898 | 5000 0 nan | 0.000 % | 1268.05/1268.49 c | 100 | 2791 7153 35898 | 5500 100 80 | 53.085 % | 1268.15/1268.59 c | 252 | 2791 7153 35898 | 6050 252 62 | 53.085 % | 1268.25/1268.65 c | 477 | 2791 7153 35898 | 6655 477 43 | 53.085 % | 1268.35/1268.75 c | 815 | 2791 7153 35898 | 7320 815 37 | 53.085 % | 1268.65/1269.09 c | 1322 | 2791 7153 35898 | 8052 1322 43 | 53.085 % | 1269.15/1269.54 c | 2081 | 2791 7153 35898 | 8857 2081 64 | 53.085 % | 1269.76/1270.14 c | 3222 | 2791 7153 35898 | 9743 3222 77 | 53.085 % | 1270.65/1271.08 c | 4931 | 2791 7153 35898 | 10717 4931 83 | 53.085 % | 1272.36/1272.71 c | 7495 | 2791 7153 35898 | 11789 7495 79 | 53.085 % | 1274.75/1275.18 c | 11341 | 2791 7153 35898 | 12968 11341 83 | 53.085 % | 1279.96/1280.36 c | 17107 | 2791 7153 35898 | 14265 8946 85 | 53.085 % | 1289.65/1290.04 c | 25763 | 2791 7153 35898 | 15692 17602 96 | 53.085 % | 1310.05/1310.48 c | 38738 | 2791 7153 35898 | 17261 11541 120 | 53.085 % | 1337.43/1337.83 c | 58199 | 2791 7153 35898 | 18987 10412 105 | 53.085 % | 1373.92/1374.30 c | 87397 | 2791 7153 35898 | 20886 17320 93 | 53.085 % | 1439.41/1439.80 c | 131186 | 2791 7153 35898 | 22974 12555 95 | 53.085 % | 1452.71/1453.13 c =============================================================================== 1455.10/1455.51 c core #289 1455.10/1455.51 c 1455.10/1455.51 c 1455.10/1455.51 c Core size: 162 Core Weight: 1 Total Weight: -211 1455.10/1455.51 c 1455.10/1455.51 c 1455.10/1455.51 c ============================[ Search Statistics ]============================== 1455.10/1455.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1455.10/1455.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1455.10/1455.51 c =============================================================================== 1455.10/1455.51 c | 0 | 2929 7154 36174 | 5000 0 nan | 0.000 % | 1455.30/1455.73 c | 101 | 2929 7154 36174 | 5500 101 138 | 51.881 % | 1455.30/1455.76 c | 251 | 2929 7154 36174 | 6050 251 72 | 51.881 % | 1455.40/1455.88 c | 476 | 2929 7154 36174 | 6655 476 64 | 51.881 % | 1455.50/1455.98 c | 814 | 2929 7154 36174 | 7320 814 66 | 51.881 % | 1455.70/1456.13 c | 1322 | 2929 7154 36174 | 8052 1322 63 | 51.881 % | 1456.10/1456.54 c | 2083 | 2929 7154 36174 | 8857 2083 76 | 51.881 % | 1456.50/1456.99 c | 3223 | 2929 7154 36174 | 9743 3223 77 | 51.881 % | 1457.50/1457.98 c | 4931 | 2929 7154 36174 | 10717 4931 85 | 51.881 % | 1459.11/1459.50 c | 7497 | 2929 7154 36174 | 11789 7497 88 | 51.881 % | 1461.20/1461.67 c | 11343 | 2929 7154 36174 | 12968 11343 94 | 51.881 % | 1465.70/1466.15 c | 17109 | 2929 7154 36174 | 14265 8799 105 | 51.881 % | 1474.40/1474.88 c | 25760 | 2929 7154 36174 | 15692 17450 132 | 51.881 % | 1491.69/1492.16 c | 38736 | 2929 7154 36174 | 17261 11266 207 | 51.881 % | 1517.18/1517.69 c | 58199 | 2929 7154 36174 | 18987 20487 192 | 51.881 % | 1561.17/1561.68 c | 87391 | 2929 7154 36174 | 20886 16018 151 | 51.881 % | 1604.26/1604.78 c | 131182 | 2929 7154 36174 | 22974 23270 166 | 51.881 % | 1685.44/1685.92 c | 196868 | 2929 7154 36174 | 25272 20794 170 | 51.881 % |
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-2702505-1278568647/watcher-2702505-1278568647 -o /tmp/evaluation-result-2702505-1278568647/solver-2702505-1278568647 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702505-1278568647.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: 0.91 0.95 0.98 3/105 31334 /proc/meminfo: memFree=1671228/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=3412 CPUtime=0 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 1 0 25072920 3493888 337 1992294400 134512640 135752675 4293472144 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 853 337 137 303 0 481 0 [startup+0.076474 s] /proc/loadavg: 0.91 0.95 0.98 3/105 31334 /proc/meminfo: memFree=1671228/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=4532 CPUtime=0.06 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 836 0 0 0 6 0 0 0 18 0 1 0 25072920 4640768 688 1992294400 134512640 135752675 4293472144 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 1133 688 144 303 0 828 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4532 [startup+0.100477 s] /proc/loadavg: 0.91 0.95 0.98 3/105 31334 /proc/meminfo: memFree=1671228/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=4532 CPUtime=0.09 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 836 0 0 0 8 1 0 0 18 0 1 0 25072920 4640768 688 1992294400 134512640 135752675 4293472144 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 1133 688 144 303 0 828 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4532 [startup+0.300498 s] /proc/loadavg: 0.91 0.95 0.98 3/105 31334 /proc/meminfo: memFree=1671228/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=6708 CPUtime=0.29 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 1382 0 0 0 28 1 0 0 18 0 1 0 25072920 6868992 1234 1992294400 134512640 135752675 4293472144 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 1677 1234 145 303 0 1372 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6708 [startup+0.700543 s] /proc/loadavg: 0.91 0.95 0.98 3/105 31334 /proc/meminfo: memFree=1671228/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=10428 CPUtime=0.69 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 2302 0 0 0 66 3 0 0 18 0 1 0 25072920 10678272 2154 1992294400 134512640 135752675 4293472144 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 2607 2154 145 303 0 2302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10428 [startup+1.50063 s] /proc/loadavg: 0.91 0.95 0.98 2/106 31335 /proc/meminfo: memFree=1661052/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=15708 CPUtime=1.49 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 3641 0 0 0 146 3 0 0 19 0 1 0 25072920 16084992 3493 1992294400 134512640 135752675 4293472144 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 3927 3493 145 303 0 3622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15708 [startup+3.10081 s] /proc/loadavg: 0.91 0.95 0.98 2/106 31335 /proc/meminfo: memFree=1654728/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=24964 CPUtime=3.09 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 5944 0 0 0 304 5 0 0 23 0 1 0 25072920 25563136 5796 1992294400 134512640 135752675 4293472144 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 6241 5797 145 303 0 5936 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24964 [startup+6.30116 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31335 /proc/meminfo: memFree=1633028/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=44356 CPUtime=6.29 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 10795 0 0 0 620 9 0 0 25 0 1 0 25072920 45420544 10647 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 11089 10647 145 303 0 10784 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44356 [startup+12.7009 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31337 /proc/meminfo: memFree=1597688/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=78996 CPUtime=12.68 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 19439 0 0 0 1249 19 0 0 19 0 1 0 25072920 80891904 19291 1992294400 134512640 135752675 4293472144 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 19749 19291 145 303 0 19444 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78996 [startup+25.5003 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31337 /proc/meminfo: memFree=1528620/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=145840 CPUtime=25.48 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 36155 0 0 0 2513 35 0 0 25 0 1 0 25072920 149340160 36007 1992294400 134512640 135752675 4293472144 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 36460 36007 145 303 0 36155 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145840 [startup+51.1011 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31337 /proc/meminfo: memFree=1414664/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=260420 CPUtime=51.08 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 64767 0 0 0 5040 68 0 0 25 0 1 0 25072920 266670080 64619 1992294400 134512640 135752675 4293472144 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 65105 64619 145 303 0 64800 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 260420 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31339 /proc/meminfo: memFree=1215148/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=457508 CPUtime=102.27 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 114008 0 0 0 10109 118 0 0 25 0 1 0 25072920 468488192 113860 1992294400 134512640 135752675 4293472144 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 114377 113861 145 303 0 114072 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 457508 [startup+162.3 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31341 /proc/meminfo: memFree=1003108/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=671100 CPUtime=162.25 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 167380 0 0 0 16056 169 0 0 25 0 1 0 25072920 687206400 167232 1992294400 134512640 135752675 4293472144 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 167775 167232 145 303 0 167470 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 671100 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.99 2/106 31350 /proc/meminfo: memFree=912712/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=758156 CPUtime=222.23 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 189246 0 0 0 22015 208 0 0 25 0 1 0 25072920 776351744 189098 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 189539 189098 146 303 0 189234 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 758156 [startup+282.301 s] /proc/loadavg: 1.03 0.99 0.99 2/106 31352 /proc/meminfo: memFree=894112/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=777108 CPUtime=282.21 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 193964 0 0 0 27987 234 0 0 25 0 1 0 25072920 795758592 193816 1992294400 134512640 135752675 4293472144 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 194277 193816 146 303 0 193972 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 777108 [startup+342.3 s] /proc/loadavg: 1.01 0.99 0.99 2/106 31354 /proc/meminfo: memFree=867824/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=803196 CPUtime=342.19 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 200463 0 0 0 33960 259 0 0 25 0 1 0 25072920 822472704 200315 1992294400 134512640 135752675 4293472144 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 200799 200315 146 303 0 200494 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 803196 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31356 /proc/meminfo: memFree=855796/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=815376 CPUtime=402.18 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 203619 0 0 0 39934 284 0 0 25 0 1 0 25072920 834945024 203419 1992294400 134512640 135752675 4293472144 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 203844 203419 146 303 0 203539 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 815376 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31358 /proc/meminfo: memFree=826160/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=844860 CPUtime=462.16 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 210961 0 0 0 45909 307 0 0 25 0 1 0 25072920 865136640 210761 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 211215 210761 146 303 0 210910 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 844860 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31358 /proc/meminfo: memFree=800988/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=870396 CPUtime=522.14 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 217307 0 0 0 51889 325 0 0 25 0 1 0 25072920 891285504 217107 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 217599 217107 146 303 0 217294 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 870396 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31360 /proc/meminfo: memFree=775692/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=895468 CPUtime=582.13 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 223583 0 0 0 57865 348 0 0 25 0 1 0 25072920 916959232 223383 1992294400 134512640 135752675 4293472144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 223867 223383 146 303 0 223562 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 895468 [startup+642.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31362 /proc/meminfo: memFree=751760/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=919340 CPUtime=642.13 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 229517 0 0 0 63843 370 0 0 25 0 1 0 25072920 941404160 229317 1992294400 134512640 135752675 4293472144 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 229835 229317 146 303 0 229530 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 919340 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31368 /proc/meminfo: memFree=643384/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1027900 CPUtime=882.05 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 256583 0 0 0 87749 456 0 0 25 0 1 0 25072920 1052569600 256383 1992294400 134512640 135752675 4293472144 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 256975 256383 146 303 0 256670 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1027900 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31370 /proc/meminfo: memFree=616972/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1054556 CPUtime=942.03 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 263215 0 0 0 93725 478 0 0 25 0 1 0 25072920 1079865344 263015 1992294400 134512640 135752675 4293472144 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 263639 263015 146 303 0 263334 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1054556 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31372 /proc/meminfo: memFree=588824/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1082620 CPUtime=1002.02 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 270211 0 0 0 99701 501 0 0 25 0 1 0 25072920 1108602880 270011 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 270655 270011 146 303 0 270350 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1082620 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31374 /proc/meminfo: memFree=561048/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1110404 CPUtime=1062 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 277132 0 0 0 105677 523 0 0 25 0 1 0 25072920 1137053696 276932 1992294400 134512640 135752675 4293472144 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 277601 276932 146 303 0 277296 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1110404 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31374 /proc/meminfo: memFree=533892/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1137416 CPUtime=1121.99 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 283879 0 0 0 111652 547 0 0 25 0 1 0 25072920 1164713984 283679 1992294400 134512640 135752675 4293472144 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 284354 283679 146 303 0 284049 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1137416 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31376 /proc/meminfo: memFree=505000/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1166444 CPUtime=1181.98 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 291118 0 0 0 117625 573 0 0 25 0 1 0 25072920 1194438656 290918 1992294400 134512640 135752675 4293472144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 291611 290918 146 303 0 291306 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1166444 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31378 /proc/meminfo: memFree=484044/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1187100 CPUtime=1241.96 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 296230 0 0 0 123608 588 0 0 25 0 1 0 25072920 1215590400 296030 1992294400 134512640 135752675 4293472144 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 296775 296030 146 303 0 296470 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1187100 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31380 /proc/meminfo: memFree=467180/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1203440 CPUtime=1301.95 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 300493 0 0 0 129587 608 0 0 25 0 1 0 25072920 1232322560 300191 1992294400 134512640 135752675 4293472144 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 300860 300191 146 303 0 300555 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1203440 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31382 /proc/meminfo: memFree=466436/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1203440 CPUtime=1361.93 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 300687 0 0 0 135565 628 0 0 25 0 1 0 25072920 1232322560 300385 1992294400 134512640 135752675 4293472144 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 300860 300385 146 303 0 300555 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1203440 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31385 /proc/meminfo: memFree=458128/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1211236 CPUtime=1421.92 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 302669 0 0 0 141547 645 0 0 25 0 1 0 25072920 1240305664 302367 1992294400 134512640 135752675 4293472144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 302809 302367 146 303 0 302504 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1211236 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31387 /proc/meminfo: memFree=436056/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1234028 CPUtime=1481.9 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 308334 0 0 0 147514 676 0 0 25 0 1 0 25072920 1263644672 308032 1992294400 134512640 135752675 4293472144 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 308507 308032 146 303 0 308202 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1234028 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31389 /proc/meminfo: memFree=400220/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1269312 CPUtime=1541.88 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 317160 0 0 0 153487 701 0 0 25 0 1 0 25072920 1299775488 316858 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 317328 316858 146 303 0 317023 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1269312 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31391 /proc/meminfo: memFree=364508/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1305396 CPUtime=1601.86 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 326188 0 0 0 159458 728 0 0 25 0 1 0 25072920 1336725504 325886 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 326349 325886 146 303 0 326044 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1305396 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31393 /proc/meminfo: memFree=330532/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1339092 CPUtime=1661.85 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 334593 0 0 0 165426 759 0 0 25 0 1 0 25072920 1371230208 334291 1992294400 134512640 135752675 4293472144 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 334773 334291 146 303 0 334468 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1339092 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31393 /proc/meminfo: memFree=302756/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1367312 CPUtime=1721.84 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 341613 0 0 0 171401 783 0 0 25 0 1 0 25072920 1400127488 341311 1992294400 134512640 135752675 4293472144 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 341828 341311 146 303 0 341523 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1367312 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31395 /proc/meminfo: memFree=270144/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1399412 CPUtime=1781.82 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 349650 0 0 0 177372 810 0 0 25 0 1 0 25072920 1432997888 349348 1992294400 134512640 135752675 4293472144 18446744073709551615 134518848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 349853 349348 146 303 0 349548 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1399412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/106 31395 /proc/meminfo: memFree=260100/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=1409180 CPUtime=1800.02 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4202496 352089 0 0 0 179184 818 0 0 25 0 1 0 25072920 1443000320 351787 1992294400 134512640 135752675 4293472144 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31334/statm: 352295 351787 146 303 0 351990 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1409180 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 0.99 0.99 2/107 31396 /proc/meminfo: memFree=1430032/2059040 swapFree=4136400/4192956 [pid=31334] ppid=31332 vsize=0 CPUtime=1800.13 /proc/31334/stat : 31334 (wbo1.4b) R 31332 31334 30674 0 -1 4203524 352089 0 0 0 179184 829 0 0 25 0 1 0 25072920 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31334/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.15 CPU user time (s): 1791.84 CPU system time (s): 8.30874 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1409180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.84 system time used= 8.30874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 352089 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= 26 involuntary context switches= 20013 runsolver used 2.92455 second user time and 8.59369 second system time The end
Begin job on node087 at 2010-07-08 07:57:27 IDJOB=2702505 IDBENCH=48187 IDSOLVER=1190 FILE ID=node087/2702505-1278568647 PBS_JOBID= 11239557 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702505-1278568647/watcher-2702505-1278568647 -o /tmp/evaluation-result-2702505-1278568647/solver-2702505-1278568647 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702505-1278568647.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED=201761037 node087.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.201 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.40 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.201 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1672128 kB Buffers: 92548 kB Cached: 200424 kB SwapCached: 12768 kB Active: 138020 kB Inactive: 171632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1672128 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 11508 kB Mapped: 8532 kB Slab: 55460 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702505-1278568647.opb Free space on /tmp at the end= 62552 MiB End job on node087 at 2010-07-08 08:27:29