Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb |
MD5SUM | 8d62286ae12c02f1d9e42b05c51333f2 |
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 | -111 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
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 | 21 |
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) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 3164 |
Sum of products size | 6328 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702571-1278570319.opb. 0.00/0.00 c Instance file HOME/instance-2702571-1278570319.opb 0.00/0.00 c File size is 271087 bytes. 0.01/0.04 c Highest Coefficient sum: 21 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 3664 | 0.01/0.04 c | Number Clauses: 3164 | 0.01/0.04 c | Number Cardinality: 1000 | 0.01/0.04 c | Number PB Constraints: 3164 | 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7328 15176 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 0 0.01/0.05 o 0 0.01/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7329 15676 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: -1 0.01/0.05 o -1 0.01/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7330 16176 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -2 0.01/0.06 o -2 0.01/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7331 16676 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -3 0.01/0.06 o -3 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7332 17176 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -4 0.01/0.06 o -4 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7333 17676 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -5 0.01/0.06 o -5 0.01/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7334 18176 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -6 0.01/0.06 o -6 0.01/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 3 | 500 7335 18676 | 5000 3 495 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -7 0.01/0.07 o -7 0.01/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 6 | 500 7336 19176 | 5000 6 495 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -8 0.01/0.07 o -8 0.01/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 7 | 500 7337 19676 | 5000 7 494 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -9 0.01/0.07 o -9 0.01/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 9 | 500 7338 20176 | 5000 9 494 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -10 0.01/0.07 o -10 0.01/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 10 | 500 7339 20676 | 5000 10 494 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: -11 0.01/0.08 o -11 0.01/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 11 | 500 7340 21176 | 5000 11 493 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: -12 0.01/0.08 o -12 0.01/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 15 | 500 7341 21676 | 5000 15 492 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: -13 0.01/0.08 o -13 0.01/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 19 | 500 7342 22176 | 5000 19 491 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: -14 0.01/0.09 o -14 0.01/0.09 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 19 | 500 7343 22676 | 5000 19 491 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: -15 0.01/0.09 o -15 0.01/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 27 | 500 7344 23176 | 5000 27 490 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: -16 0.01/0.09 o -16 0.01/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 45 | 500 7345 23676 | 5000 45 488 | 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.092985 s Remaining CPU time: 179.907 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 60 | 500 7346 24176 | 5000 60 487 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -18 0.09/0.10 o -18 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 64 | 500 7347 24676 | 5000 64 487 | 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.102984 s Remaining CPU time: 179.897 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 105 | 500 7348 25176 | 5000 105 485 | 0.000 % | 0.09/0.12 c | 206 | 500 7348 25176 | 5500 206 483 | 86.354 % | 0.09/0.15 c | 356 | 500 7348 25176 | 6050 356 483 | 86.354 % | 0.09/0.18 c | 581 | 500 7348 25176 | 6655 581 482 | 86.354 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -20 0.19/0.21 o -20 0.19/0.21 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 740 | 500 7349 25676 | 5000 740 482 | 86.354 % | 0.19/0.23 c | 840 | 500 7349 25676 | 5500 840 482 | 86.354 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -21 0.19/0.23 o -21 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 860 | 500 7350 26176 | 5000 860 482 | 86.354 % | 0.19/0.25 c | 961 | 500 7350 26176 | 5500 961 482 | 86.354 % | 0.19/0.28 c | 1112 | 500 7350 26176 | 6050 1112 481 | 86.354 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -22 0.29/0.30 o -22 0.29/0.30 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 1263 | 500 7351 26676 | 5000 1263 481 | 86.354 % | 0.29/0.32 c | 1364 | 500 7351 26676 | 5500 1364 481 | 86.354 % | 0.29/0.35 c | 1514 | 500 7351 26676 | 6050 1514 481 | 86.354 % | 0.29/0.39 c | 1739 | 500 7351 26676 | 6655 1739 480 | 86.354 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -23 0.39/0.41 o -23 0.39/0.41 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1838 | 500 7352 27176 | 5000 1838 480 | 86.354 % | 0.39/0.43 c | 1939 | 500 7352 27176 | 5500 1939 480 | 86.354 % | 0.39/0.45 c | 2089 | 500 7352 27176 | 6050 2089 480 | 86.354 % | 0.49/0.50 c | 2314 | 500 7352 27176 | 6655 2314 480 | 86.354 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -24 0.49/0.52 o -24 0.49/0.52 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 2370 | 500 7353 27676 | 5000 2370 480 | 86.354 % | 0.49/0.54 c | 2471 | 500 7353 27676 | 5500 2471 480 | 86.354 % | 0.49/0.57 c | 2621 | 500 7353 27676 | 6050 2621 479 | 86.354 % | 0.59/0.63 c | 2847 | 500 7353 27676 | 6655 2847 479 | 86.354 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: -25 0.59/0.66 o -25 0.59/0.66 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 2963 | 500 7354 28176 | 5000 2963 479 | 86.354 % | 0.59/0.68 c | 3064 | 500 7354 28176 | 5500 3064 479 | 86.354 % | 0.69/0.72 c | 3215 | 500 7354 28176 | 6050 3215 479 | 86.354 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: -26 0.69/0.78 o -26 0.69/0.78 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 3423 | 500 7355 28676 | 5000 3423 479 | 86.354 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: -27 0.79/0.80 o -27 0.79/0.80 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 3502 | 500 7356 29176 | 5000 3502 479 | 86.354 % | 0.79/0.84 c | 3602 | 500 7356 29176 | 5500 3602 479 | 86.354 % | 0.79/0.88 c | 3752 | 500 7356 29176 | 6050 3752 478 | 86.354 % | 0.89/0.94 c | 3979 | 500 7356 29176 | 6655 3979 478 | 86.354 % | 1.00/1.03 c | 4317 | 500 7356 29176 | 7320 4317 478 | 86.354 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: -28 1.00/1.05 o -28 1.00/1.05 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 4381 | 500 7357 29676 | 5000 4381 478 | 86.354 % | 1.00/1.08 c | 4483 | 500 7357 29676 | 5500 4483 478 | 86.354 % | 1.00/1.10 c =============================================================================== 1.00/1.10 c New solution: -29 1.00/1.10 o -29 1.00/1.10 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s 1.00/1.10 c =============================================================================== 1.00/1.10 c | 4525 | 500 7358 30176 | 5000 4525 478 | 86.354 % | 1.10/1.14 c | 4628 | 500 7358 30176 | 5500 4628 477 | 86.354 % | 1.10/1.18 c | 4778 | 500 7358 30176 | 6050 4778 477 | 86.354 % | 1.19/1.23 c | 5003 | 500 7358 30176 | 6655 5003 477 | 86.354 % | 1.29/1.32 c | 5340 | 500 7358 30176 | 7320 5340 477 | 86.354 % | 1.39/1.46 c | 5846 | 500 7358 30176 | 8052 5846 476 | 86.354 % | 1.70/1.71 c | 6605 | 500 7358 30176 | 8857 6605 476 | 86.354 % | 1.79/1.90 c =============================================================================== 1.79/1.90 c New solution: -30 1.79/1.90 o -30 1.79/1.90 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s 1.79/1.90 c =============================================================================== 1.79/1.90 c | 6988 | 500 7359 30676 | 5000 6988 476 | 86.354 % | 1.89/1.94 c | 7089 | 500 7359 30676 | 5500 7089 475 | 86.354 % | 1.99/2.01 c | 7240 | 500 7359 30676 | 6050 7240 475 | 86.354 % | 2.10/2.11 c | 7465 | 500 7359 30676 | 6655 7465 475 | 86.354 % | 2.20/2.25 c | 7802 | 500 7359 30676 | 7320 7802 475 | 86.354 % | 2.49/2.58 c | 8308 | 500 7359 30676 | 8052 8308 475 | 86.354 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: -31 2.69/2.79 o -31 2.69/2.79 c Elapsed CPU time: 2.72959 s Remaining CPU time: 177.27 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 8835 | 500 7360 31176 | 5000 8835 475 | 86.354 % | 2.79/2.85 c | 8936 | 500 7360 31176 | 5500 4519 471 | 86.354 % | 2.79/2.88 c | 9087 | 500 7360 31176 | 6050 4670 471 | 86.354 % | 2.89/2.93 c | 9313 | 500 7360 31176 | 6655 4896 471 | 86.354 % | 2.99/3.01 c | 9650 | 500 7360 31176 | 7320 5233 471 | 86.354 % | 3.09/3.19 c | 10156 | 500 7360 31176 | 8052 5739 471 | 86.354 % | 3.39/3.43 c | 10916 | 500 7360 31176 | 8857 6499 471 | 86.354 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c New solution: -32 3.39/3.49 o -32 3.39/3.49 c Elapsed CPU time: 3.42048 s Remaining CPU time: 176.58 s 3.39/3.49 c =============================================================================== 3.39/3.49 c | 11075 | 500 7361 31676 | 5000 6658 471 | 86.354 % | 3.49/3.54 c | 11176 | 500 7361 31676 | 5500 6759 471 | 86.354 % | 3.59/3.60 c | 11327 | 500 7361 31676 | 6050 6910 471 | 86.354 % | 3.59/3.68 c | 11552 | 500 7361 31676 | 6655 7135 471 | 86.354 % | 3.79/3.84 c | 11889 | 500 7361 31676 | 7320 7472 471 | 86.354 % | 3.99/4.08 c | 12395 | 500 7361 31676 | 8052 7978 471 | 86.354 % | 4.30/4.39 c | 13154 | 500 7361 31676 | 8857 8737 471 | 86.354 % | 4.79/4.81 c | 14293 | 500 7361 31676 | 9743 9876 471 | 86.354 % | 5.59/5.64 c | 16001 | 500 7361 31676 | 10717 11584 470 | 86.354 % | 6.79/6.89 c | 18564 | 500 7361 31676 | 11789 14147 470 | 86.354 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c New solution: -33 7.19/7.22 o -33 7.19/7.22 c Elapsed CPU time: 7.11292 s Remaining CPU time: 172.887 s 7.19/7.22 c =============================================================================== 7.19/7.22 c | 19694 | 500 7362 32176 | 5000 15277 470 | 86.354 % | 7.28/7.37 c | 19795 | 500 7362 32176 | 5500 7740 469 | 86.354 % | 7.38/7.43 c | 19945 | 500 7362 32176 | 6050 7890 469 | 86.354 % | 7.48/7.52 c | 20170 | 500 7362 32176 | 6655 8115 469 | 86.354 % | 7.60/7.65 c | 20507 | 500 7362 32176 | 7320 8452 469 | 86.354 % | 7.70/7.76 c | 21013 | 500 7362 32176 | 8052 8958 469 | 86.354 % | 7.89/7.96 c | 21773 | 500 7362 32176 | 8857 9718 469 | 86.354 % | 8.39/8.42 c | 22912 | 500 7362 32176 | 9743 10857 469 | 86.354 % | 9.19/9.23 c | 24620 | 500 7362 32176 | 10717 12565 469 | 86.354 % | 9.59/9.65 c =============================================================================== 9.59/9.65 c New solution: -34 9.59/9.65 o -34 9.59/9.65 c Elapsed CPU time: 9.50455 s Remaining CPU time: 170.495 s 9.59/9.65 c =============================================================================== 9.59/9.65 c | 25489 | 500 7363 32676 | 5000 13434 469 | 86.354 % | 9.69/9.77 c | 25590 | 500 7363 32676 | 5500 6818 468 | 86.354 % | 9.80/9.83 c | 25741 | 500 7363 32676 | 6050 6969 468 | 86.354 % | 9.99/10.00 c | 25966 | 500 7363 32676 | 6655 7194 468 | 86.354 % | 9.99/10.02 c =============================================================================== 9.99/10.02 c New solution: -35 9.99/10.02 o -35 9.99/10.02 c Elapsed CPU time: 9.8715 s Remaining CPU time: 170.129 s 9.99/10.02 c =============================================================================== 9.99/10.02 c | 25994 | 500 7364 33176 | 5000 7222 468 | 86.354 % | 9.99/10.07 c | 26095 | 500 7364 33176 | 5500 7323 468 | 86.354 % | 9.99/10.10 c =============================================================================== 9.99/10.10 c New solution: -36 9.99/10.10 o -36 9.99/10.10 c Elapsed CPU time: 9.94749 s Remaining CPU time: 170.053 s 9.99/10.10 c =============================================================================== 9.99/10.10 c | 26138 | 500 7365 33676 | 5000 7366 468 | 86.354 % | 10.08/10.16 c | 26238 | 500 7365 33676 | 5500 7466 468 | 86.354 % | 10.19/10.23 c | 26389 | 500 7365 33676 | 6050 7617 468 | 86.354 % | 10.29/10.35 c | 26615 | 500 7365 33676 | 6655 7843 468 | 86.354 % | 10.49/10.51 c | 26953 | 500 7365 33676 | 7320 8181 468 | 86.354 % | 10.59/10.66 c =============================================================================== 10.59/10.66 c New solution: -37 10.59/10.66 o -37 10.59/10.66 c Elapsed CPU time: 10.5054 s Remaining CPU time: 169.495 s 10.59/10.66 c =============================================================================== 10.59/10.66 c | 27242 | 500 7366 34176 | 5000 8470 467 | 86.354 % | 10.69/10.72 c | 27342 | 500 7366 34176 | 5500 4335 467 | 86.354 % | 10.79/10.81 c | 27492 | 500 7366 34176 | 6050 4485 466 | 86.354 % | 10.89/10.94 c | 27718 | 500 7366 34176 | 6655 4711 466 | 86.354 % | 11.09/11.11 c | 28055 | 500 7366 34176 | 7320 5048 466 | 86.354 % | 11.29/11.33 c | 28562 | 500 7366 34176 | 8052 5555 467 | 86.354 % | 11.69/11.72 c | 29321 | 500 7366 34176 | 8857 6314 466 | 86.354 % | 12.29/12.32 c | 30461 | 500 7366 34176 | 9743 7454 466 | 86.354 % | 12.69/12.76 c =============================================================================== 12.69/12.76 c New solution: -38 12.69/12.76 o -38 12.69/12.76 c Elapsed CPU time: 12.5801 s Remaining CPU time: 167.42 s 12.69/12.76 c =============================================================================== 12.69/12.76 c | 31395 | 500 7367 34676 | 5000 8388 466 | 86.354 % | 12.79/12.82 c | 31495 | 500 7367 34676 | 5500 4294 465 | 86.354 % | 12.79/12.86 c | 31645 | 500 7367 34676 | 6050 4444 465 | 86.354 % | 12.89/12.90 c | 31870 | 500 7367 34676 | 6655 4669 465 | 86.354 % | 12.99/13.01 c | 32207 | 500 7367 34676 | 7320 5006 465 | 86.354 % | 13.10/13.16 c | 32713 | 500 7367 34676 | 8052 5512 464 | 86.354 % | 13.38/13.46 c | 33472 | 500 7367 34676 | 8857 6271 464 | 86.354 % | 13.69/13.76 c =============================================================================== 13.69/13.76 c New solution: -39 13.69/13.76 o -39 13.69/13.76 c Elapsed CPU time: 13.5649 s Remaining CPU time: 166.435 s 13.69/13.76 c =============================================================================== 13.69/13.76 c | 34141 | 500 7368 35176 | 5000 6940 464 | 86.354 % | 13.79/13.83 c | 34242 | 500 7368 35176 | 5500 7041 464 | 86.354 % | 13.89/13.93 c | 34393 | 500 7368 35176 | 6050 7192 464 | 86.354 % | 13.99/14.04 c | 34619 | 500 7368 35176 | 6655 7418 464 | 86.354 % | 14.19/14.21 c | 34956 | 500 7368 35176 | 7320 7755 464 | 86.354 % | 14.39/14.44 c | 35463 | 500 7368 35176 | 8052 8262 464 | 86.354 % | 14.69/14.76 c | 36223 | 500 7368 35176 | 8857 9022 464 | 86.354 % | 15.29/15.30 c | 37363 | 500 7368 35176 | 9743 10162 464 | 86.354 % | 16.29/16.38 c | 39072 | 500 7368 35176 | 10717 11871 463 | 86.354 % | 17.68/17.79 c | 41635 | 500 7368 35176 | 11789 7263 462 | 86.354 % | 19.29/19.38 c | 45481 | 500 7368 35176 | 12968 11109 462 | 86.354 % | 21.78/21.87 c | 51248 | 500 7368 35176 | 14265 8578 462 | 86.354 % | 25.20/25.23 c | 59898 | 500 7368 35176 | 15692 17228 462 | 86.354 % | 32.79/32.89 c | 72873 | 500 7368 35176 | 17261 10886 462 | 86.354 % | 38.67/38.76 c | 92335 | 500 7368 35176 | 18987 19903 461 | 86.354 % | 40.68/40.71 c =============================================================================== 40.68/40.71 c New solution: -40 40.68/40.71 o -40 40.68/40.71 c Elapsed CPU time: 40.1729 s Remaining CPU time: 139.827 s 40.68/40.71 c =============================================================================== 40.68/40.71 c | 97211 | 500 7369 35676 | 5000 12842 461 | 86.354 % | 40.77/40.83 c | 97313 | 500 7369 35676 | 5500 6523 461 | 86.354 % | 40.87/40.92 c | 97464 | 500 7369 35676 | 6050 6674 461 | 86.354 % | 40.97/41.02 c | 97689 | 500 7369 35676 | 6655 6899 461 | 86.354 % | 41.07/41.15 c | 98026 | 500 7369 35676 | 7320 7236 461 | 86.354 % | 41.27/41.33 c | 98533 | 500 7369 35676 | 8052 7743 461 | 86.354 % | 41.48/41.53 c | 99292 | 500 7369 35676 | 8857 8502 461 | 86.354 % | 42.08/42.13 c | 100431 | 500 7369 35676 | 9743 9641 461 | 86.354 % | 43.17/43.23 c | 102139 | 500 7369 35676 | 10717 11349 461 | 86.354 % | 44.67/44.79 c | 104702 | 500 7369 35676 | 11789 13912 461 | 86.354 % | 46.18/46.21 c | 108547 | 500 7369 35676 | 12968 10051 461 | 86.354 % | 47.97/48.08 c | 114314 | 500 7369 35676 | 14265 15818 461 | 86.354 % | 51.58/51.69 c | 122964 | 500 7369 35676 | 15692 15525 460 | 86.354 % | 55.17/55.24 c | 135939 | 500 7369 35676 | 17261 18841 460 | 86.354 % | 56.57/56.60 c =============================================================================== 56.57/56.60 c New solution: -41 56.57/56.60 o -41 56.57/56.60 c Elapsed CPU time: 55.8805 s Remaining CPU time: 124.119 s 56.57/56.60 c =============================================================================== 56.57/56.60 c | 138349 | 500 7370 36176 | 5000 10811 460 | 86.354 % | 56.57/56.69 c | 138449 | 500 7370 36176 | 5500 5506 460 | 86.354 % | 56.67/56.75 c | 138600 | 500 7370 36176 | 6050 5657 460 | 86.354 % | 56.77/56.84 c | 138825 | 500 7370 36176 | 6655 5882 460 | 86.354 % | 56.87/56.94 c | 139162 | 500 7370 36176 | 7320 6219 460 | 86.354 % | 57.08/57.10 c | 139668 | 500 7370 36176 | 8052 6725 460 | 86.354 % | 57.27/57.36 c | 140427 | 500 7370 36176 | 8857 7484 460 | 86.354 % | 57.37/57.44 c =============================================================================== 57.37/57.44 c New solution: -42 57.37/57.44 o -42 57.37/57.44 c Elapsed CPU time: 56.7024 s Remaining CPU time: 123.298 s 57.37/57.44 c =============================================================================== 57.37/57.44 c | 140730 | 500 7371 36676 | 5000 7787 460 | 86.354 % | 57.37/57.47 c | 140831 | 500 7371 36676 | 5500 7888 460 | 86.354 % | 57.47/57.51 c | 140982 | 500 7371 36676 | 6050 8039 460 | 86.354 % | 57.57/57.64 c | 141208 | 500 7371 36676 | 6655 8265 460 | 86.354 % | 57.67/57.73 c | 141545 | 500 7371 36676 | 7320 8602 460 | 86.354 % | 57.87/57.94 c | 142051 | 500 7371 36676 | 8052 9108 460 | 86.354 % | 58.07/58.18 c | 142810 | 500 7371 36676 | 8857 9867 460 | 86.354 % | 58.47/58.55 c | 143949 | 500 7371 36676 | 9743 11006 460 | 86.354 % | 58.97/59.03 c | 145658 | 500 7371 36676 | 10717 12715 460 | 86.354 % | 59.67/59.80 c | 148221 | 500 7371 36676 | 11789 8108 459 | 86.354 % | 60.87/60.99 c | 152067 | 500 7371 36676 | 12968 11954 459 | 86.354 % | 62.47/62.54 c | 157833 | 500 7371 36676 | 14265 9423 459 | 86.354 % | 64.07/64.11 c =============================================================================== 64.07/64.11 c New solution: -43 64.07/64.11 o -43 64.07/64.11 c Elapsed CPU time: 63.2934 s Remaining CPU time: 116.707 s 64.07/64.11 c =============================================================================== 64.07/64.11 c | 161535 | 500 7372 37176 | 5000 13125 459 | 86.354 % | 64.17/64.27 c | 161635 | 500 7372 37176 | 5500 6663 459 | 86.354 % | 64.27/64.31 c | 161785 | 500 7372 37176 | 6050 6813 459 | 86.354 % | 64.37/64.43 c | 162011 | 500 7372 37176 | 6655 7039 459 | 86.354 % | 64.56/64.61 c | 162349 | 500 7372 37176 | 7320 7377 459 | 86.354 % | 64.77/64.88 c | 162855 | 500 7372 37176 | 8052 7883 458 | 86.354 % | 65.17/65.23 c | 163614 | 500 7372 37176 | 8857 8642 458 | 86.354 % | 65.77/65.85 c | 164753 | 500 7372 37176 | 9743 9781 458 | 86.354 % | 66.26/66.39 c | 166461 | 500 7372 37176 | 10717 11489 458 | 86.354 % | 66.97/67.03 c =============================================================================== 66.97/67.03 c New solution: -44 66.97/67.03 o -44 66.97/67.03 c Elapsed CPU time: 66.1749 s Remaining CPU time: 113.825 s 66.97/67.03 c =============================================================================== 66.97/67.03 c | 168376 | 500 7373 37676 | 5000 13404 458 | 86.354 % | 67.07/67.14 c | 168476 | 500 7373 37676 | 5500 6802 458 | 86.354 % | 67.17/67.21 c | 168627 | 500 7373 37676 | 6050 6953 457 | 86.354 % | 67.27/67.30 c | 168852 | 500 7373 37676 | 6655 7178 457 | 86.354 % | 67.27/67.39 c | 169189 | 500 7373 37676 | 7320 7515 457 | 86.354 % | 67.36/67.47 c =============================================================================== 67.36/67.47 c New solution: -45 67.36/67.47 o -45 67.36/67.47 c Elapsed CPU time: 66.6009 s Remaining CPU time: 113.399 s 67.36/67.47 c =============================================================================== 67.36/67.47 c | 169447 | 500 7374 38176 | 5000 7773 457 | 86.354 % | 67.47/67.51 c | 169548 | 500 7374 38176 | 5500 7874 457 | 86.354 % | 67.47/67.55 c | 169698 | 500 7374 38176 | 6050 8024 457 | 86.354 % | 67.57/67.61 c | 169924 | 500 7374 38176 | 6655 8250 457 | 86.354 % | 67.57/67.69 c | 170263 | 500 7374 38176 | 7320 8589 457 | 86.354 % | 67.76/67.85 c | 170770 | 500 7374 38176 | 8052 9096 457 | 86.354 % | 67.96/68.06 c | 171530 | 500 7374 38176 | 8857 9856 457 | 86.354 % | 68.37/68.43 c | 172671 | 500 7374 38176 | 9743 10997 457 | 86.354 % | 68.87/68.97 c | 174379 | 500 7374 38176 | 10717 12705 457 | 86.354 % | 69.87/70.00 c | 176942 | 500 7374 38176 | 11789 8102 456 | 86.354 % | 71.26/71.32 c | 180787 | 500 7374 38176 | 12968 11947 455 | 86.354 % | 73.36/73.43 c | 186554 | 500 7374 38176 | 14265 9420 455 | 86.354 % | 76.77/76.88 c | 195204 | 500 7374 38176 | 15692 9126 455 | 86.354 % | 86.16/86.29 c | 208178 | 500 7374 38176 | 17261 12443 456 | 86.354 % | 94.06/94.15 c | 227639 | 500 7374 38176 | 18987 11025 455 | 86.354 % | 116.66/116.72 c | 256831 | 500 7374 38176 | 20886 16386 456 | 86.354 % | 124.45/124.54 c =============================================================================== 124.45/124.54 c New solution: -46 124.45/124.54 o -46 124.45/124.54 c Elapsed CPU time: 123.2 s Remaining CPU time: 56.7997 s 124.45/124.54 c =============================================================================== 124.45/124.54 c | 272710 | 500 7375 38676 | 5000 18523 456 | 86.354 % | 124.85/124.95 c | 272810 | 500 7375 38676 | 5500 4731 456 | 86.354 % | 124.95/125.00 c | 272960 | 500 7375 38676 | 6050 4881 455 | 86.354 % | 125.06/125.10 c | 273186 | 500 7375 38676 | 6655 5107 455 | 86.354 % | 125.15/125.24 c | 273524 | 500 7375 38676 | 7320 5445 455 | 86.354 % | 125.26/125.40 c | 274030 | 500 7375 38676 | 8052 5951 455 | 86.354 % | 125.56/125.69 c | 274789 | 500 7375 38676 | 8857 6710 455 | 86.354 % | 126.05/126.11 c | 275930 | 500 7375 38676 | 9743 7851 455 | 86.354 % | 126.85/126.97 c | 277638 | 500 7375 38676 | 10717 9559 455 | 86.354 % | 128.35/128.40 c | 280202 | 500 7375 38676 | 11789 12123 455 | 86.354 % | 130.76/130.83 c | 284047 | 500 7375 38676 | 12968 8264 455 | 86.354 % | 132.75/132.84 c =============================================================================== 132.75/132.84 c New solution: -47 132.75/132.84 o -47 132.75/132.84 c Elapsed CPU time: 131.423 s Remaining CPU time: 48.577 s 132.75/132.84 c =============================================================================== 132.75/132.84 c | 288023 | 500 7376 39176 | 5000 12240 455 | 86.354 % | 132.96/133.02 c | 288123 | 500 7376 39176 | 5500 6220 455 | 86.354 % | 133.06/133.12 c | 288273 | 500 7376 39176 | 6050 6370 455 | 86.354 % | 133.15/133.26 c | 288500 | 500 7376 39176 | 6655 6597 455 | 86.354 % | 133.35/133.46 c | 288839 | 500 7376 39176 | 7320 6936 455 | 86.354 % | 133.55/133.62 c | 289347 | 500 7376 39176 | 8052 7444 455 | 86.354 % | 133.95/134.07 c | 290106 | 500 7376 39176 | 8857 8203 455 | 86.354 % | 134.85/134.94 c | 291245 | 500 7376 39176 | 9743 9342 455 | 86.354 % | 135.85/135.93 c | 292954 | 500 7376 39176 | 10717 11051 455 | 86.354 % | 137.64/137.74 c | 295517 | 500 7376 39176 | 11789 13614 455 | 86.354 % | 139.45/139.53 c | 299362 | 500 7376 39176 | 12968 9755 454 | 86.354 % | 141.55/141.66 c | 305128 | 500 7376 39176 | 14265 15521 454 | 86.354 % | 146.45/146.54 c | 313778 | 500 7376 39176 | 15692 15232 454 | 86.354 % | 150.74/150.84 c =============================================================================== 150.74/150.84 c New solution: -48 150.74/150.84 o -48 150.74/150.84 c Elapsed CPU time: 149.272 s Remaining CPU time: 30.7277 s 150.74/150.84 c =============================================================================== 150.74/150.84 c | 320457 | 500 7377 39676 | 5000 12254 454 | 86.354 % | 150.84/150.92 c | 320558 | 500 7377 39676 | 5500 6228 454 | 86.354 % | 150.84/150.99 c | 320709 | 500 7377 39676 | 6050 6379 454 | 86.354 % | 151.04/151.17 c | 320935 | 500 7377 39676 | 6655 6605 454 | 86.354 % | 151.15/151.23 c =============================================================================== 151.15/151.23 c New solution: -49 151.15/151.23 o -49 151.15/151.23 c Elapsed CPU time: 149.659 s Remaining CPU time: 30.3408 s 151.15/151.23 c =============================================================================== 151.15/151.23 c | 321111 | 500 7378 40176 | 5000 6781 454 | 86.354 % | 151.15/151.26 c | 321212 | 500 7378 40176 | 5500 6882 454 | 86.354 % | 151.25/151.31 c | 321363 | 500 7378 40176 | 6050 7033 454 | 86.354 % | 151.25/151.39 c | 321589 | 500 7378 40176 | 6655 7259 454 | 86.354 % | 151.34/151.47 c | 321927 | 500 7378 40176 | 7320 7597 454 | 86.354 % | 151.44/151.59 c | 322434 | 500 7378 40176 | 8052 8104 453 | 86.354 % | 151.75/151.87 c | 323193 | 500 7378 40176 | 8857 8863 453 | 86.354 % | 152.14/152.23 c | 324332 | 500 7378 40176 | 9743 10002 453 | 86.354 % | 152.75/152.80 c | 326040 | 500 7378 40176 | 10717 11710 453 | 86.354 % | 154.64/154.71 c | 328602 | 500 7378 40176 | 11789 14272 453 | 86.354 % | 157.25/157.33 c | 332447 | 500 7378 40176 | 12968 10416 452 | 86.354 % | 159.54/159.68 c | 338214 | 500 7378 40176 | 14265 16183 452 | 86.354 % | 162.84/162.97 c | 346863 | 500 7378 40176 | 15692 15891 452 | 86.354 % | 168.54/168.64 c | 359837 | 500 7378 40176 | 17261 19210 452 | 86.354 % | 175.54/175.62 c =============================================================================== 175.54/175.62 c New solution: -50 175.54/175.62 o -50 175.54/175.62 c Elapsed CPU time: 173.813 s Remaining CPU time: 6.18742 s 175.54/175.62 c =============================================================================== 175.54/175.62 c | 375809 | 500 7379 40676 | 5000 14304 452 | 86.354 % | 175.64/175.73 c | 375910 | 500 7379 40676 | 5500 7253 452 | 86.354 % | 175.73/175.83 c | 376062 | 500 7379 40676 | 6050 7405 452 | 86.354 % | 175.84/175.99 c | 376288 | 500 7379 40676 | 6655 7631 452 | 86.354 % | 176.04/176.12 c | 376627 | 500 7379 40676 | 7320 7970 452 | 86.354 % | 176.24/176.38 c | 377134 | 500 7379 40676 | 8052 8477 452 | 86.354 % | 176.63/176.76 c | 377893 | 500 7379 40676 | 8857 9236 451 | 86.354 % | 177.24/177.34 c | 379033 | 500 7379 40676 | 9743 10376 451 | 86.354 % | 178.34/178.40 c | 380741 | 500 7379 40676 | 10717 12084 451 | 86.354 % | 179.94/180.03 c | 383305 | 500 7379 40676 | 11789 7483 451 | 86.354 % | 181.35/181.43 c | 387149 | 500 7379 40676 | 12968 11327 451 | 86.354 % | 181.74/181.88 c There are 3164 assigned variables. 0 in cost function. 182.73/182.89 c core #1 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -499 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #2 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -498 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #3 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -497 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #4 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -496 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #5 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -495 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #6 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -494 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #7 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -493 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #8 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -492 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #9 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -491 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #10 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -490 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #11 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -489 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #12 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -488 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #13 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -487 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #14 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -486 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #15 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -485 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #16 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -484 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #17 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -483 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #18 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -482 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #19 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -481 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #20 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -480 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #21 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -479 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #22 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -478 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #23 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -477 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #24 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -476 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #25 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -475 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #26 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -474 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #27 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -473 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #28 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -472 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #29 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -471 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #30 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -470 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #31 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -469 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #32 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -468 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #33 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -467 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #34 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -466 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #35 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -465 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #36 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -464 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #37 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -463 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #38 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -462 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #39 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -461 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #40 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -460 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #41 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -459 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #42 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -458 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #43 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -457 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #44 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -456 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #45 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -455 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #46 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -454 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #47 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -453 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #48 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -452 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #49 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -451 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #50 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -450 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #51 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -449 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #52 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -448 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #53 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -447 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #54 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -446 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #55 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -445 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #56 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -444 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #57 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -443 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #58 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -442 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c core #59 182.73/182.89 c 182.73/182.89 c 182.73/182.89 c Core size: 3 Core Weight: 1 Total Weight: -441 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #60 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -440 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #61 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -439 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #62 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -438 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #63 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -437 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #64 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -436 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #65 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -435 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #66 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -434 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #67 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -433 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #68 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -432 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #69 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -431 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #70 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -430 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #71 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -429 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #72 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -428 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #73 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -427 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #74 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -426 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #75 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -425 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #76 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -424 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #77 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -423 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #78 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -422 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #79 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -421 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #80 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -420 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #81 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -419 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #82 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -418 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #83 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -417 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #84 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -416 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #85 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -415 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #86 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -414 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #87 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -413 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #88 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -412 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #89 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -411 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #90 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -410 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #91 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -409 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #92 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -408 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #93 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -407 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #94 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -406 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #95 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -405 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #96 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -404 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #97 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -403 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #98 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -402 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #99 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -401 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #100 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -400 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #101 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -399 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #102 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -398 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #103 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -397 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #104 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -396 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #105 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -395 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #106 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -394 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #107 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -393 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #108 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -392 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #109 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -391 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #110 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -390 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #111 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -389 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #112 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -388 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #113 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -387 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #114 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -386 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #115 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -385 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #116 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -384 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c core #117 183.33/183.50 c 183.33/183.50 c 183.33/183.50 c Core size: 3 Core Weight: 1 Total Weight: -383 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #118 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -382 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #119 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -381 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #120 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -380 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #121 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -379 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #122 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -378 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #123 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -377 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #124 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -376 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #125 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -375 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #126 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -374 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #127 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -373 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #128 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -372 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #129 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -371 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #130 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -370 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #131 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -369 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #132 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: -368 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #133 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -367 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #134 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -366 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #135 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -365 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #136 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -364 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #137 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -363 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #138 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -362 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #139 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -361 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #140 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -360 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #141 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -359 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #142 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -358 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #143 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -357 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #144 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -356 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #145 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -355 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #146 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -354 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #147 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -353 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #148 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -352 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #149 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -351 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #150 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -350 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #151 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -349 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #152 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -348 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #153 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -347 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #154 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -346 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #155 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -345 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #156 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -344 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #157 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -343 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #158 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -342 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #159 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -341 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #160 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -340 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #161 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -339 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #162 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -338 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #163 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -337 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #164 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -336 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #165 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -335 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #166 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -334 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #167 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -333 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #168 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -332 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #169 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -331 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #170 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -330 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #171 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -329 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #172 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -328 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #173 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -327 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #174 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -326 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c core #175 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 3 Core Weight: 1 Total Weight: -325 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #176 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -324 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #177 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -323 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #178 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -322 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #179 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -321 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #180 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -320 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #181 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -319 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #182 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -318 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #183 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -317 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #184 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -316 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #185 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -315 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #186 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -314 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #187 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -313 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #188 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -312 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #189 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -311 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #190 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -310 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #191 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -309 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #192 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -308 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #193 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -307 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #194 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -306 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #195 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -305 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #196 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -304 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #197 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -303 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #198 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -302 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #199 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -301 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #200 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -300 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #201 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -299 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #202 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -298 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #203 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -297 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #204 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -296 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #205 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -295 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #206 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -294 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #207 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -293 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #208 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -292 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #209 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -291 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #210 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -290 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #211 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -289 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #212 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -288 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #213 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -287 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #214 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -286 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #215 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -285 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #216 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -284 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #217 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -283 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #218 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -282 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #219 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -281 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #220 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -280 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #221 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -279 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #222 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -278 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #223 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -277 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #224 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -276 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #225 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -275 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #226 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -274 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #227 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 3 Core Weight: 1 Total Weight: -273 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #228 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 7 Core Weight: 1 Total Weight: -272 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #229 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 7 Core Weight: 1 Total Weight: -271 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #230 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 7 Core Weight: 1 Total Weight: -270 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #231 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 7 Core Weight: 1 Total Weight: -269 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #232 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 11 Core Weight: 1 Total Weight: -268 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c core #233 184.84/184.95 c 184.84/184.95 c 184.84/184.95 c Core size: 11 Core Weight: 1 Total Weight: -267 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #234 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 7 Core Weight: 1 Total Weight: -266 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #235 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -265 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #236 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -264 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #237 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -263 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #238 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 7 Core Weight: 1 Total Weight: -262 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #239 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 7 Core Weight: 1 Total Weight: -261 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #240 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -260 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #241 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -259 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #242 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 7 Core Weight: 1 Total Weight: -258 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #243 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -257 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #244 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 15 Core Weight: 1 Total Weight: -256 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #245 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 6 Core Weight: 1 Total Weight: -255 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #246 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 7 Core Weight: 1 Total Weight: -254 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #247 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 11 Core Weight: 1 Total Weight: -253 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #248 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 15 Core Weight: 1 Total Weight: -252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #249 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 10 Core Weight: 1 Total Weight: -251 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #250 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 30 Core Weight: 1 Total Weight: -250 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #251 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 26 Core Weight: 1 Total Weight: -249 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 30 Core Weight: 1 Total Weight: -248 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #253 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 18 Core Weight: 1 Total Weight: -247 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c ============================[ Search Statistics ]============================== 185.34/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.48 c =============================================================================== 185.34/185.48 c | 0 | 1120 7132 33568 | 5000 0 nan | 0.000 % | 185.34/185.49 c =============================================================================== 185.44/185.51 c core #254 185.44/185.51 c 185.44/185.51 c 185.44/185.51 c Core size: 16 Core Weight: 1 Total Weight: -246 185.44/185.51 c 185.44/185.51 c 185.44/185.51 c ============================[ Search Statistics ]============================== 185.44/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.51 c =============================================================================== 185.44/185.51 c | 0 | 1130 7133 33588 | 5000 0 nan | 0.000 % | 185.44/185.52 c =============================================================================== 185.44/185.55 c core #255 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c Core size: 22 Core Weight: 1 Total Weight: -245 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c ============================[ Search Statistics ]============================== 185.44/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.55 c =============================================================================== 185.44/185.55 c | 0 | 1144 7134 33616 | 5000 0 nan | 0.000 % | 185.44/185.55 c =============================================================================== 185.44/185.58 c core #256 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 20 Core Weight: 1 Total Weight: -244 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 | 1156 7135 33640 | 5000 0 nan | 0.000 % | 185.44/185.59 c =============================================================================== 185.54/185.61 c core #257 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c Core size: 23 Core Weight: 1 Total Weight: -243 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c ============================[ Search Statistics ]============================== 185.54/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.61 c =============================================================================== 185.54/185.61 c | 0 | 1176 7136 33680 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.65 c core #258 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 22 Core Weight: 1 Total Weight: -242 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 | 1188 7137 33704 | 5000 0 nan | 0.000 % | 185.54/185.66 c =============================================================================== 185.54/185.68 c core #259 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 18 Core Weight: 1 Total Weight: -241 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c ============================[ Search Statistics ]============================== 185.54/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.68 c =============================================================================== 185.54/185.68 c | 0 | 1200 7138 33728 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.72 c core #260 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 16 Core Weight: 1 Total Weight: -240 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 | 1210 7139 33748 | 5000 0 nan | 0.000 % | 185.64/185.73 c =============================================================================== 185.64/185.75 c core #261 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 24 Core Weight: 1 Total Weight: -239 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 1226 7140 33780 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.79 c core #262 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 22 Core Weight: 1 Total Weight: -238 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 1240 7141 33808 | 5000 0 nan | 0.000 % | 185.64/185.79 c =============================================================================== 185.75/185.82 c core #263 185.75/185.82 c 185.75/185.82 c 185.75/185.82 c Core size: 17 Core Weight: 1 Total Weight: -237 185.75/185.82 c 185.75/185.82 c 185.75/185.82 c ============================[ Search Statistics ]============================== 185.75/185.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.82 c =============================================================================== 185.75/185.82 c | 0 | 1250 7142 33828 | 5000 0 nan | 0.000 % | 185.75/185.83 c =============================================================================== 185.75/185.85 c core #264 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c Core size: 22 Core Weight: 1 Total Weight: -236 185.75/185.85 c 185.75/185.85 c 185.75/185.85 c ============================[ Search Statistics ]============================== 185.75/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.85 c =============================================================================== 185.75/185.85 c | 0 | 1264 7143 33856 | 5000 0 nan | 0.000 % | 185.75/185.86 c =============================================================================== 185.75/185.89 c core #265 185.75/185.89 c 185.75/185.89 c 185.75/185.89 c Core size: 20 Core Weight: 1 Total Weight: -235 185.75/185.89 c 185.75/185.89 c 185.75/185.89 c ============================[ Search Statistics ]============================== 185.75/185.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.89 c =============================================================================== 185.75/185.89 c | 0 | 1276 7144 33880 | 5000 0 nan | 0.000 % | 185.75/185.89 c =============================================================================== 185.85/185.92 c core #266 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c Core size: 18 Core Weight: 1 Total Weight: -234 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c ============================[ Search Statistics ]============================== 185.85/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.92 c =============================================================================== 185.85/185.92 c | 0 | 1288 7145 33904 | 5000 0 nan | 0.000 % | 185.85/185.92 c =============================================================================== 185.85/185.95 c core #267 185.85/185.95 c 185.85/185.95 c 185.85/185.95 c Core size: 18 Core Weight: 1 Total Weight: -233 185.85/185.95 c 185.85/185.95 c 185.85/185.95 c ============================[ Search Statistics ]============================== 185.85/185.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.95 c =============================================================================== 185.85/185.95 c | 0 | 1298 7146 33924 | 5000 0 nan | 0.000 % | 185.85/185.96 c =============================================================================== 185.85/185.98 c core #268 185.85/185.98 c 185.85/185.98 c 185.85/185.98 c Core size: 17 Core Weight: 1 Total Weight: -232 185.85/185.98 c 185.85/185.98 c 185.85/185.98 c ============================[ Search Statistics ]============================== 185.85/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.98 c =============================================================================== 185.85/185.98 c | 0 | 1311 7147 33950 | 5000 0 nan | 0.000 % | 185.85/185.99 c =============================================================================== 185.94/186.02 c core #269 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c Core size: 26 Core Weight: 1 Total Weight: -231 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c ============================[ Search Statistics ]============================== 185.94/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.02 c =============================================================================== 185.94/186.02 c | 0 | 1327 7148 33982 | 5000 0 nan | 0.000 % | 185.94/186.02 c =============================================================================== 185.94/186.05 c core #270 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c Core size: 26 Core Weight: 1 Total Weight: -230 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c ============================[ Search Statistics ]============================== 185.94/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.05 c =============================================================================== 185.94/186.05 c | 0 | 1343 7149 34014 | 5000 0 nan | 0.000 % | 185.94/186.06 c =============================================================================== 185.94/186.09 c core #271 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c Core size: 20 Core Weight: 1 Total Weight: -229 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c ============================[ Search Statistics ]============================== 185.94/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.09 c =============================================================================== 185.94/186.09 c | 0 | 1355 7150 34038 | 5000 0 nan | 0.000 % | 185.94/186.09 c =============================================================================== 186.04/186.12 c core #272 186.04/186.12 c 186.04/186.12 c 186.04/186.12 c Core size: 22 Core Weight: 1 Total Weight: -228 186.04/186.12 c 186.04/186.12 c 186.04/186.12 c ============================[ Search Statistics ]============================== 186.04/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.12 c =============================================================================== 186.04/186.12 c | 0 | 1369 7151 34066 | 5000 0 nan | 0.000 % | 186.04/186.13 c =============================================================================== 186.04/186.15 c core #273 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 24 Core Weight: 1 Total Weight: -227 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c ============================[ Search Statistics ]============================== 186.04/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.15 c =============================================================================== 186.04/186.15 c | 0 | 1383 7152 34094 | 5000 0 nan | 0.000 % | 186.04/186.17 c =============================================================================== 186.04/186.19 c core #274 186.04/186.19 c 186.04/186.19 c 186.04/186.19 c Core size: 28 Core Weight: 1 Total Weight: -226 186.04/186.19 c 186.04/186.19 c 186.04/186.19 c ============================[ Search Statistics ]============================== 186.04/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.19 c =============================================================================== 186.04/186.19 c | 0 | 1401 7153 34130 | 5000 0 nan | 0.000 % | 186.13/186.20 c =============================================================================== 186.13/186.23 c core #275 186.13/186.23 c 186.13/186.23 c 186.13/186.23 c Core size: 46 Core Weight: 1 Total Weight: -225 186.13/186.23 c 186.13/186.23 c 186.13/186.23 c ============================[ Search Statistics ]============================== 186.13/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.23 c =============================================================================== 186.13/186.23 c | 0 | 1430 7154 34188 | 5000 0 nan | 0.000 % | 186.13/186.24 c =============================================================================== 186.13/186.27 c core #276 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c Core size: 24 Core Weight: 1 Total Weight: -224 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c ============================[ Search Statistics ]============================== 186.13/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.27 c =============================================================================== 186.13/186.27 c | 0 | 1444 7155 34216 | 5000 0 nan | 0.000 % | 186.13/186.29 c =============================================================================== 186.23/186.31 c core #277 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c Core size: 76 Core Weight: 1 Total Weight: -223 186.23/186.31 c 186.23/186.31 c 186.23/186.31 c ============================[ Search Statistics ]============================== 186.23/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.31 c =============================================================================== 186.23/186.31 c | 0 | 1487 7156 34302 | 5000 0 nan | 0.000 % | 186.23/186.33 c =============================================================================== 186.23/186.36 c core #278 186.23/186.36 c 186.23/186.36 c 186.23/186.36 c Core size: 44 Core Weight: 1 Total Weight: -222 186.23/186.36 c 186.23/186.36 c 186.23/186.36 c ============================[ Search Statistics ]============================== 186.23/186.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.36 c =============================================================================== 186.23/186.36 c | 0 | 1511 7157 34350 | 5000 0 nan | 0.000 % | 186.33/186.41 c | 102 | 1511 7157 34350 | 5500 102 5 | 67.679 % | 186.33/186.46 c =============================================================================== 186.33/186.49 c core #279 186.33/186.49 c 186.33/186.49 c 186.33/186.49 c Core size: 90 Core Weight: 1 Total Weight: -221 186.33/186.49 c 186.33/186.49 c 186.33/186.49 c ============================[ Search Statistics ]============================== 186.33/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.49 c =============================================================================== 186.33/186.49 c | 0 | 1583 7158 34494 | 5000 0 nan | 0.000 % | 186.43/186.58 c | 100 | 1583 7158 34494 | 5500 100 18 | 66.653 % | 186.53/186.64 c | 251 | 1583 7158 34494 | 6050 251 22 | 66.653 % | 186.64/186.75 c | 477 | 1583 7158 34494 | 6655 477 25 | 66.653 % | 186.85/186.92 c | 814 | 1583 7158 34494 | 7320 814 28 | 66.653 % | 187.04/187.15 c | 1320 | 1583 7158 34494 | 8052 1320 29 | 66.653 % | 187.24/187.36 c =============================================================================== 187.34/187.41 c core #280 187.34/187.41 c 187.34/187.41 c 187.34/187.41 c Core size: 108 Core Weight: 1 Total Weight: -220 187.34/187.41 c 187.34/187.41 c 187.34/187.41 c ============================[ Search Statistics ]============================== 187.34/187.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.41 c =============================================================================== 187.34/187.41 c | 0 | 1681 7159 34690 | 5000 0 nan | 0.000 % | 187.34/187.47 c | 100 | 1681 7159 34690 | 5500 100 9 | 65.304 % | 187.44/187.53 c | 250 | 1681 7159 34690 | 6050 250 9 | 65.304 % | 187.54/187.63 c =============================================================================== 187.54/187.66 c core #281 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 114 Core Weight: 1 Total Weight: -219 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c ============================[ Search Statistics ]============================== 187.54/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.66 c =============================================================================== 187.54/187.66 c | 0 | 1770 7160 34868 | 5000 0 nan | 0.000 % | 187.63/187.74 c | 101 | 1770 7160 34868 | 5500 101 45 | 64.126 % | 187.63/187.80 c | 251 | 1770 7160 34868 | 6050 251 31 | 64.126 % | 187.83/187.94 c | 483 | 1770 7160 34868 | 6655 483 32 | 64.126 % | 187.94/188.09 c | 820 | 1770 7160 34868 | 7320 820 32 | 64.126 % | 188.24/188.33 c | 1326 | 1770 7160 34868 | 8052 1326 32 | 64.126 % | 188.64/188.73 c | 2086 | 1770 7160 34868 | 8857 2086 33 | 64.126 % | 189.23/189.33 c | 3225 | 1770 7160 34868 | 9743 3225 35 | 64.126 % | 190.24/190.36 c | 4934 | 1770 7160 34868 | 10717 4934 34 | 64.126 % | 191.94/192.03 c | 7500 | 1770 7160 34868 | 11789 7500 34 | 64.126 % | 195.04/195.18 c =============================================================================== 195.34/195.40 c core #282 195.34/195.40 c 195.34/195.40 c 195.34/195.40 c Core size: 186 Core Weight: 1 Total Weight: -218 195.34/195.40 c 195.34/195.40 c 195.34/195.40 c ============================[ Search Statistics ]============================== 195.34/195.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.34/195.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.34/195.40 c =============================================================================== 195.34/195.40 c | 0 | 1942 7161 35212 | 5000 0 nan | 0.000 % | 195.34/195.48 c | 101 | 1942 7161 35212 | 5500 101 41 | 61.966 % | 195.44/195.56 c | 251 | 1942 7161 35212 | 6050 251 36 | 61.966 % | 195.53/195.65 c | 476 | 1942 7161 35212 | 6655 476 41 | 61.966 % | 195.74/195.82 c | 813 | 1942 7161 35212 | 7320 813 47 | 61.966 % | 196.03/196.10 c | 1320 | 1942 7161 35212 | 8052 1320 50 | 61.966 % | 196.44/196.55 c | 2083 | 1942 7161 35212 | 8857 2083 56 | 61.966 % | 197.13/197.20 c | 3226 | 1942 7161 35212 | 9743 3226 57 | 61.966 % | 197.95/198.04 c | 4934 | 1942 7161 35212 | 10717 4934 56 | 61.966 % | 198.73/198.85 c =============================================================================== 198.73/198.89 c core #283 198.73/198.89 c 198.73/198.89 c 198.73/198.89 c Core size: 123 Core Weight: 1 Total Weight: -217 198.73/198.89 c 198.73/198.89 c 198.73/198.89 c ============================[ Search Statistics ]============================== 198.73/198.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.73/198.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.73/198.90 c =============================================================================== 198.73/198.90 c | 0 | 2047 7162 35422 | 5000 0 nan | 0.000 % | 198.83/198.98 c | 100 | 2047 7162 35422 | 5500 100 20 | 60.718 % | 198.94/199.05 c | 250 | 2047 7162 35422 | 6050 250 14 | 60.718 % | 199.04/199.14 c | 478 | 2047 7162 35422 | 6655 478 16 | 60.718 % | 199.13/199.27 c | 815 | 2047 7162 35422 | 7320 815 14 | 60.718 % | 199.43/199.53 c | 1325 | 2047 7162 35422 | 8052 1325 14 | 60.718 % | 199.83/199.93 c | 2087 | 2047 7162 35422 | 8857 2087 16 | 60.718 % | 200.63/200.73 c | 3228 | 2046 7162 35422 | 9743 3222 17 | 60.737 % | 201.04/201.14 c =============================================================================== 201.14/201.22 c core #284 201.14/201.22 c 201.14/201.22 c 201.14/201.22 c Core size: 139 Core Weight: 1 Total Weight: -216 201.14/201.22 c 201.14/201.22 c 201.14/201.22 c ============================[ Search Statistics ]============================== 201.14/201.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.14/201.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.14/201.22 c =============================================================================== 201.14/201.22 c | 0 | 2164 7163 35656 | 5000 0 nan | 0.000 % | 201.14/201.27 c | 100 | 2164 7163 35656 | 5500 100 29 | 59.384 % | 201.24/201.33 c | 250 | 2164 7163 35656 | 6050 250 32 | 59.384 % | 201.33/201.43 c | 478 | 2164 7163 35656 | 6655 478 36 | 59.384 % | 201.43/201.52 c | 815 | 2164 7163 35656 | 7320 815 41 | 59.384 % | 201.63/201.71 c | 1322 | 2164 7163 35656 | 8052 1322 52 | 59.384 % | 201.93/202.00 c | 2081 | 2164 7163 35656 | 8857 2081 53 | 59.384 % | 202.43/202.50 c | 3220 | 2164 7163 35656 | 9743 3220 56 | 59.384 % | 203.34/203.48 c | 4930 | 2164 7163 35656 | 10717 4930 63 | 59.384 % | 205.03/205.10 c | 7494 | 2164 7163 35656 | 11789 7494 67 | 59.384 % | 207.43/207.56 c | 11339 | 2164 7163 35656 | 12968 11339 72 | 59.384 % | 211.93/212.03 c | 17110 | 2164 7163 35656 | 14265 9022 68 | 59.384 % | 220.32/220.49 c | 25760 | 2164 7163 35656 | 15692 8888 74 | 59.384 % | 235.52/235.68 c | 38737 | 2164 7163 35656 | 17261 12375 92 | 59.384 % | 258.02/258.14 c | 58198 | 2164 7163 35656 | 18987 11364 98 | 59.384 % | 274.21/274.35 c =============================================================================== 275.81/275.98 c core #285 275.81/275.98 c 275.81/275.98 c 275.81/275.98 c Core size: 203 Core Weight: 1 Total Weight: -215 275.81/275.98 c 275.81/275.98 c 275.81/275.98 c ============================[ Search Statistics ]============================== 275.81/275.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 275.81/275.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 275.81/275.98 c =============================================================================== 275.81/275.98 c | 0 | 2358 7164 36044 | 5000 0 nan | 0.000 % | 275.93/276.09 c | 101 | 2358 7164 36044 | 5500 101 58 | 57.298 % | 276.02/276.15 c | 252 | 2358 7164 36044 | 6050 252 40 | 57.298 % | 276.12/276.25 c | 477 | 2358 7164 36044 | 6655 477 39 | 57.298 % | 276.21/276.39 c | 814 | 2358 7164 36044 | 7320 814 34 | 57.298 % | 276.51/276.67 c | 1321 | 2358 7164 36044 | 8052 1321 34 | 57.298 % | 276.91/277.05 c | 2080 | 2358 7164 36044 | 8857 2080 35 | 57.298 % | 277.62/277.74 c | 3220 | 2358 7164 36044 | 9743 3220 37 | 57.298 % | 278.81/278.92 c | 4929 | 2358 7164 36044 | 10717 4929 43 | 57.298 % | 281.31/281.49 c | 7492 | 2358 7164 36044 | 11789 7492 52 | 57.298 % | 284.51/284.64 c | 11337 | 2358 7164 36044 | 12968 11337 53 | 57.298 % | 290.91/291.04 c | 17104 | 2358 7164 36044 | 14265 8970 55 | 57.298 % | 299.91/300.05 c | 25753 | 2358 7164 36044 | 15692 8836 48 | 57.298 % | 302.20/302.38 c =============================================================================== 302.90/303.03 c core #286 302.90/303.03 c 302.90/303.03 c 302.90/303.03 c Core size: 158 Core Weight: 1 Total Weight: -214 302.90/303.03 c 302.90/303.03 c 302.90/303.03 c ============================[ Search Statistics ]============================== 302.90/303.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 302.90/303.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 302.90/303.03 c =============================================================================== 302.90/303.03 c | 0 | 2507 7165 36342 | 5000 0 nan | 0.000 % | 303.00/303.11 c | 101 | 2507 7165 36342 | 5500 101 25 | 55.793 % | 303.00/303.16 c | 254 | 2507 7165 36342 | 6050 254 25 | 55.793 % | 303.11/303.26 c | 479 | 2507 7165 36342 | 6655 479 29 | 55.793 % | 303.21/303.36 c | 817 | 2507 7165 36342 | 7320 817 31 | 55.793 % | 303.41/303.54 c | 1323 | 2507 7165 36342 | 8052 1323 54 | 55.793 % | 303.70/303.84 c | 2082 | 2507 7165 36342 | 8857 2082 59 | 55.793 % | 304.21/304.35 c | 3223 | 2507 7165 36342 | 9743 3223 63 | 55.793 % | 305.10/305.28 c | 4935 | 2507 7165 36342 | 10717 4935 70 | 55.793 % | 307.10/307.28 c | 7499 | 2507 7165 36342 | 11789 7499 83 | 55.793 % | 310.81/310.99 c | 11344 | 2507 7165 36342 | 12968 11344 97 | 55.793 % | 316.20/316.39 c | 17111 | 2507 7165 36342 | 14265 9001 112 | 55.793 % | 324.11/324.21 c | 25761 | 2507 7165 36342 | 15692 17651 111 | 55.793 % | 338.29/338.40 c | 38737 | 2507 7165 36342 | 17261 11578 100 | 55.793 % | 360.19/360.39 c | 58198 | 2507 7165 36342 | 18987 10480 121 | 55.793 % | 396.18/396.38 c | 87390 | 2507 7165 36342 | 20886 17403 129 | 55.793 % | 455.18/455.39 c | 131181 | 2507 7165 36342 | 22974 12703 107 | 55.793 % | 538.94/539.18 c | 196866 | 2507 7165 36342 | 25272 23992 154 | 55.793 % | 710.41/710.69 c | 295392 | 2507 7165 36342 | 27799 16283 166 | 55.793 % | 948.95/949.30 c | 443182 | 2507 7165 36342 | 30579 25050 146 | 55.793 % | 1165.60/1165.97 c =============================================================================== 1176.98/1177.35 c core #287 1176.98/1177.35 c 1176.98/1177.35 c 1176.98/1177.35 c Core size: 222 Core Weight: 1 Total Weight: -213 1176.98/1177.35 c 1176.98/1177.35 c 1176.98/1177.35 c ============================[ Search Statistics ]============================== 1176.98/1177.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1176.98/1177.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1176.98/1177.35 c =============================================================================== 1176.98/1177.35 c | 0 | 2711 7166 36750 | 5000 0 nan | 0.000 % | 1177.18/1177.54 c | 101 | 2711 7166 36750 | 5500 101 97 | 53.855 % | 1177.28/1177.61 c | 251 | 2711 7166 36750 | 6050 251 56 | 53.855 % | 1177.38/1177.72 c | 477 | 2711 7166 36750 | 6655 477 54 | 53.855 % | 1177.48/1177.81 c | 816 | 2711 7166 36750 | 7320 816 45 | 53.855 % | 1177.69/1178.08 c | 1322 | 2711 7166 36750 | 8052 1322 42 | 53.855 % | 1177.98/1178.32 c | 2081 | 2711 7166 36750 | 8857 2081 39 | 53.855 % | 1178.59/1178.98 c | 3221 | 2711 7166 36750 | 9743 3221 49 | 53.855 % | 1179.18/1179.58 c | 4929 | 2711 7166 36750 | 10717 4929 48 | 53.855 % | 1180.58/1180.93 c | 7491 | 2711 7166 36750 | 11789 7491 44 | 53.855 % | 1181.78/1182.19 c | 11335 | 2711 7166 36750 | 12968 11335 41 | 53.855 % | 1186.78/1187.11 c | 17105 | 2711 7166 36750 | 14265 8956 43 | 53.855 % | 1198.18/1198.58 c | 25754 | 2711 7166 36750 | 15692 8863 50 | 53.855 % | 1212.48/1212.85 c | 38729 | 2711 7166 36750 | 17261 12348 62 | 53.855 % | 1234.67/1235.00 c | 58190 | 2711 7166 36750 | 18987 11226 51 | 53.855 % | 1282.56/1282.98 c | 87383 | 2711 7166 36750 | 20886 18048 92 | 53.855 % | 1327.74/1328.18 c =============================================================================== 1331.04/1331.49 c core #288 1331.04/1331.49 c 1331.04/1331.49 c 1331.04/1331.49 c Core size: 151 Core Weight: 1 Total Weight: -212 1331.04/1331.49 c 1331.04/1331.49 c 1331.04/1331.49 c ============================[ Search Statistics ]============================== 1331.04/1331.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1331.04/1331.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1331.04/1331.49 c =============================================================================== 1331.04/1331.49 c | 0 | 2860 7167 37048 | 5000 0 nan | 0.000 % | 1331.24/1331.63 c | 101 | 2860 7167 37048 | 5500 101 49 | 52.523 % | 1331.34/1331.70 c | 251 | 2860 7167 37048 | 6050 251 48 | 52.523 % | 1331.34/1331.79 c | 481 | 2860 7167 37048 | 6655 481 44 | 52.523 % | 1331.55/1331.99 c | 819 | 2860 7167 37048 | 7320 819 37 | 52.523 % | 1331.75/1332.18 c | 1325 | 2860 7167 37048 | 8052 1325 40 | 52.523 % | 1332.14/1332.54 c | 2085 | 2860 7167 37048 | 8857 2085 47 | 52.523 % | 1332.64/1333.03 c | 3225 | 2860 7167 37048 | 9743 3225 55 | 52.523 % | 1333.64/1334.05 c | 4933 | 2860 7167 37048 | 10717 4933 66 | 52.523 % | 1335.34/1335.78 c | 7499 | 2860 7167 37048 | 11789 7499 74 | 52.523 % | 1337.74/1338.12 c | 11343 | 2860 7167 37048 | 12968 11343 80 | 52.523 % | 1342.84/1343.29 c | 17109 | 2860 7167 37048 | 14265 9006 86 | 52.523 % | 1349.54/1349.94 c | 25760 | 2860 7167 37048 | 15692 17657 92 | 52.523 % | 1358.64/1359.03 c | 38736 | 2860 7167 37048 | 17261 11545 97 | 52.523 % | 1378.13/1378.51 c | 58198 | 2860 7167 37048 | 18987 20645 108 | 52.523 % | 1418.92/1419.36 c | 87393 | 2860 7167 37048 | 20886 16313 115 | 52.523 % | 1487.81/1488.30 c | 131184 | 2860 7167 37048 | 22974 23665 106 | 52.523 % | 1597.88/1598.34 c | 196869 | 2860 7167 37048 | 25272 23290 120 | 52.523 % | 1792.82/1793.33 c | 295396 | 2860 7167 37048 | 27799 19280 149 | 52.523 % |
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-2702571-1278570319/watcher-2702571-1278570319 -o /tmp/evaluation-result-2702571-1278570319/solver-2702571-1278570319 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702571-1278570319.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 32584 /proc/meminfo: memFree=1888572/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=3416 CPUtime=0 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 1 0 25240080 3497984 338 1992294400 134512640 135752675 4292392864 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 854 338 137 303 0 482 0 [startup+0.018383 s] /proc/loadavg: 1.00 1.00 1.00 3/105 32584 /proc/meminfo: memFree=1888572/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=3680 CPUtime=0.01 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 485 0 0 0 1 0 0 0 25 0 1 0 25240080 3768320 404 1992294400 134512640 135752675 4292392864 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 920 407 152 303 0 548 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3680 [startup+0.10139 s] /proc/loadavg: 1.00 1.00 1.00 3/105 32584 /proc/meminfo: memFree=1888572/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=4536 CPUtime=0.09 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 835 0 0 0 9 0 0 0 18 0 1 0 25240080 4644864 687 1992294400 134512640 135752675 4292392864 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 1134 687 144 303 0 829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4536 [startup+0.301411 s] /proc/loadavg: 1.00 1.00 1.00 3/105 32584 /proc/meminfo: memFree=1888572/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=6592 CPUtime=0.29 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 1370 0 0 0 28 1 0 0 18 0 1 0 25240080 6750208 1222 1992294400 134512640 135752675 4292392864 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 1648 1222 145 303 0 1343 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6592 [startup+0.701453 s] /proc/loadavg: 1.00 1.00 1.00 3/105 32584 /proc/meminfo: memFree=1888572/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=10432 CPUtime=0.69 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 2309 0 0 0 67 2 0 0 18 0 1 0 25240080 10682368 2161 1992294400 134512640 135752675 4292392864 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 2608 2161 145 303 0 2303 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10432 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32585 /proc/meminfo: memFree=1878644/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=16120 CPUtime=1.49 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 3734 0 0 0 145 4 0 0 18 0 1 0 25240080 16506880 3586 1992294400 134512640 135752675 4292392864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 4030 3586 145 303 0 3725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16120 [startup+3.10071 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32585 /proc/meminfo: memFree=1872072/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=23852 CPUtime=3.09 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 5652 0 0 0 303 6 0 0 21 0 1 0 25240080 24424448 5504 1992294400 134512640 135752675 4292392864 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 5963 5504 145 303 0 5658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23852 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32585 /proc/meminfo: memFree=1855828/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=38040 CPUtime=6.29 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 9219 0 0 0 619 10 0 0 25 0 1 0 25240080 38952960 9071 1992294400 134512640 135752675 4292392864 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 9510 9071 145 303 0 9205 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38040 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32585 /proc/meminfo: memFree=1828052/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=65572 CPUtime=12.69 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 16098 0 0 0 1251 18 0 0 21 0 1 0 25240080 67145728 15950 1992294400 134512640 135752675 4292392864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 16393 15950 145 303 0 16088 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65572 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32586 /proc/meminfo: memFree=1770516/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=121180 CPUtime=25.49 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 29986 0 0 0 2513 36 0 0 25 0 1 0 25240080 124088320 29838 1992294400 134512640 135752675 4292392864 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 30295 29838 145 303 0 29990 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121180 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32587 /proc/meminfo: memFree=1659164/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=235916 CPUtime=51.07 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 58636 0 0 0 5046 61 0 0 25 0 1 0 25240080 241577984 58488 1992294400 134512640 135752675 4292392864 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 58979 58488 145 303 0 58674 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 235916 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32589 /proc/meminfo: memFree=1430880/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=459596 CPUtime=102.26 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 114529 0 0 0 10112 114 0 0 25 0 1 0 25240080 470626304 114381 1992294400 134512640 135752675 4292392864 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 114899 114381 145 303 0 114594 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 459596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32589 /proc/meminfo: memFree=1233100/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=659748 CPUtime=162.25 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 164538 0 0 0 16062 163 0 0 25 0 1 0 25240080 675581952 164390 1992294400 134512640 135752675 4292392864 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 164937 164390 145 303 0 164632 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 659748 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32591 /proc/meminfo: memFree=1138488/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=750700 CPUtime=222.22 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 187377 0 0 0 22019 203 0 0 25 0 1 0 25240080 768716800 187229 1992294400 134512640 135752675 4292392864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 187675 187229 146 303 0 187370 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 750700 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32593 /proc/meminfo: memFree=1117160/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=771852 CPUtime=282.21 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 192649 0 0 0 27992 229 0 0 25 0 1 0 25240080 790376448 192501 1992294400 134512640 135752675 4292392864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 192963 192501 146 303 0 192658 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 771852 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32595 /proc/meminfo: memFree=1097320/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=791700 CPUtime=342.2 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 197709 0 0 0 33962 258 0 0 25 0 1 0 25240080 810700800 197495 1992294400 134512640 135752675 4292392864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 197925 197495 146 303 0 197620 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 791700 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32596 /proc/meminfo: memFree=1066568/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=822680 CPUtime=402.18 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 205424 0 0 0 39929 289 0 0 25 0 1 0 25240080 842424320 205210 1992294400 134512640 135752675 4292392864 18446744073709551615 134639398 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 205670 205210 146 303 0 205365 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 822680 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32597 /proc/meminfo: memFree=1036932/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=852228 CPUtime=462.16 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 212780 0 0 0 45903 313 0 0 25 0 1 0 25240080 872681472 212566 1992294400 134512640 135752675 4292392864 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 213057 212566 146 303 0 212752 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 852228 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32599 /proc/meminfo: memFree=1006800/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=882432 CPUtime=522.15 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 220324 0 0 0 51874 341 0 0 25 0 1 0 25240080 903610368 220110 1992294400 134512640 135752675 4292392864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 220608 220110 146 303 0 220303 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 882432 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32601 /proc/meminfo: memFree=977040/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=912196 CPUtime=582.13 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 227737 0 0 0 57852 361 0 0 25 0 1 0 25240080 934088704 227523 1992294400 134512640 135752675 4292392864 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 228049 227523 146 303 0 227744 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 912196 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32603 /proc/meminfo: memFree=948520/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=940332 CPUtime=642.13 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 234772 0 0 0 63829 384 0 0 25 0 1 0 25240080 962899968 234558 1992294400 134512640 135752675 4292392864 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 235083 234558 146 303 0 234778 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 940332 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32609 /proc/meminfo: memFree=840268/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1048364 CPUtime=882.06 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 261727 0 0 0 87731 475 0 0 25 0 1 0 25240080 1073524736 261513 1992294400 134512640 135752675 4292392864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 262091 261513 146 303 0 261786 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1048364 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32611 /proc/meminfo: memFree=807408/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1081452 CPUtime=942.04 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 270005 0 0 0 93707 497 0 0 25 0 1 0 25240080 1107406848 269791 1992294400 134512640 135752675 4292392864 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 270363 269791 146 303 0 270058 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1081452 [startup+1002.3 s] /proc/loadavg: 1.05 1.01 1.00 2/106 32612 /proc/meminfo: memFree=785832/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1102704 CPUtime=1002.03 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 275309 0 0 0 99687 516 0 0 25 0 1 0 25240080 1129168896 275095 1992294400 134512640 135752675 4292392864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 275676 275095 146 303 0 275371 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1102704 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 32613 /proc/meminfo: memFree=765248/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1123492 CPUtime=1062.01 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 280478 0 0 0 105667 534 0 0 25 0 1 0 25240080 1150455808 280264 1992294400 134512640 135752675 4292392864 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 280873 280264 146 303 0 280568 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1123492 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32615 /proc/meminfo: memFree=746028/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1142548 CPUtime=1122 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 285245 0 0 0 111646 554 0 0 25 0 1 0 25240080 1169969152 285031 1992294400 134512640 135752675 4292392864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 285637 285031 146 303 0 285332 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1142548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32617 /proc/meminfo: memFree=718376/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1169604 CPUtime=1181.98 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 292085 0 0 0 117624 574 0 0 25 0 1 0 25240080 1197674496 291803 1992294400 134512640 135752675 4292392864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 292401 291803 146 303 0 292096 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1169604 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32619 /proc/meminfo: memFree=718128/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1169604 CPUtime=1241.97 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 292092 0 0 0 123601 596 0 0 25 0 1 0 25240080 1197674496 291810 1992294400 134512640 135752675 4292392864 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 292401 291810 146 303 0 292096 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1169604 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32621 /proc/meminfo: memFree=717632/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1169604 CPUtime=1301.95 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 292247 0 0 0 129589 606 0 0 25 0 1 0 25240080 1197674496 291965 1992294400 134512640 135752675 4292392864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 292401 291965 146 303 0 292096 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1169604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32621 /proc/meminfo: memFree=717632/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1169868 CPUtime=1361.93 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 292304 0 0 0 135567 626 0 0 25 0 1 0 25240080 1197944832 292022 1992294400 134512640 135752675 4292392864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 292467 292022 146 303 0 292162 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1169868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32623 /proc/meminfo: memFree=694444/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1192872 CPUtime=1421.92 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 298055 0 0 0 141541 651 0 0 25 0 1 0 25240080 1221500928 297773 1992294400 134512640 135752675 4292392864 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 298218 297773 146 303 0 297913 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1192872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/106 32625 /proc/meminfo: memFree=676092/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1211392 CPUtime=1481.91 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 302693 0 0 0 147519 672 0 0 25 0 1 0 25240080 1240465408 302411 1992294400 134512640 135752675 4292392864 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 302848 302411 146 303 0 302543 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1211392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32627 /proc/meminfo: memFree=655880/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1231376 CPUtime=1541.89 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 307682 0 0 0 153496 693 0 0 25 0 1 0 25240080 1260929024 307400 1992294400 134512640 135752675 4292392864 18446744073709551615 134605264 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 307844 307400 146 303 0 307539 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1231376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32628 /proc/meminfo: memFree=637404/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1249928 CPUtime=1601.87 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 312304 0 0 0 159476 711 0 0 25 0 1 0 25240080 1279926272 312022 1992294400 134512640 135752675 4292392864 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 312482 312022 146 303 0 312177 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1249928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32629 /proc/meminfo: memFree=620664/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1266516 CPUtime=1661.86 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 316442 0 0 0 165457 729 0 0 25 0 1 0 25240080 1296912384 316160 1992294400 134512640 135752675 4292392864 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 316629 316160 146 303 0 316324 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1266516 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32631 /proc/meminfo: memFree=601568/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1285764 CPUtime=1721.85 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 321246 0 0 0 171435 750 0 0 25 0 1 0 25240080 1316622336 320964 1992294400 134512640 135752675 4292392864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 321441 320964 146 303 0 321136 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1285764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32633 /proc/meminfo: memFree=578752/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1308320 CPUtime=1781.82 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 326870 0 0 0 177412 770 0 0 25 0 1 0 25240080 1339719680 326588 1992294400 134512640 135752675 4292392864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 327080 326588 146 303 0 326775 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1308320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32633 /proc/meminfo: memFree=572056/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=1314848 CPUtime=1800.03 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4202496 328495 0 0 0 179227 776 0 0 25 0 1 0 25240080 1346404352 328213 1992294400 134512640 135752675 4292392864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32584/statm: 328712 328213 146 303 0 328407 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1314848 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32634 /proc/meminfo: memFree=1723016/2059040 swapFree=4136924/4192956 [pid=32584] ppid=32582 vsize=0 CPUtime=1800.13 /proc/32584/stat : 32584 (wbo1.4b) R 32582 32584 32044 0 -1 4203524 328496 0 0 0 179227 786 0 0 25 0 1 0 25240080 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32584/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.62 CPU time (s): 1800.15 CPU user time (s): 1792.28 CPU system time (s): 7.8768 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1314848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.28 system time used= 7.8768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328496 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= 29 involuntary context switches= 2546 runsolver used 2.98355 second user time and 8.5357 second system time The end
Begin job on node082 at 2010-07-08 08:25:19 IDJOB=2702571 IDBENCH=48220 IDSOLVER=1190 FILE ID=node082/2702571-1278570319 PBS_JOBID= 11239571 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.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-2702571-1278570319/watcher-2702571-1278570319 -o /tmp/evaluation-result-2702571-1278570319/solver-2702571-1278570319 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702571-1278570319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2 RANDOM SEED=51962734 node082.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.260 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.52 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.260 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1889720 kB Buffers: 11776 kB Cached: 81100 kB SwapCached: 9328 kB Active: 83024 kB Inactive: 23404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1889720 kB SwapTotal: 4192956 kB SwapFree: 4136924 kB Dirty: 2696 kB Writeback: 0 kB AnonPages: 11992 kB Mapped: 8408 kB Slab: 41076 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180040 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702571-1278570319.opb Free space on /tmp at the end= 62396 MiB End job on node082 at 2010-07-08 08:55:22