Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.18 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb |
MD5SUM | 81ea6ef3f58dd056541f0542171b5402 |
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.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -112 |
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) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 3163 |
Sum of products size | 6326 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702459-1278568134.opb. 0.00/0.00 c Instance file HOME/instance-2702459-1278568134.opb 0.00/0.00 c File size is 271068 bytes. 0.02/0.04 c Highest Coefficient sum: 21 0.02/0.04 c ============================[ Problem Statistics ]============================= 0.02/0.04 c | | 0.02/0.04 c | Parsing time: 0.05 s | 0.02/0.04 c | Number Variables: 3663 | 0.02/0.04 c | Number Clauses: 3163 | 0.02/0.04 c | Number Cardinality: 1000 | 0.02/0.04 c | Number PB Constraints: 3163 | 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 500 7326 15107 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 0 0.02/0.06 o 0 0.02/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 500 7327 15607 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: -1 0.02/0.06 o -1 0.02/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 500 7328 16107 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: -2 0.02/0.06 o -2 0.02/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 500 7329 16607 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: -3 0.02/0.06 o -3 0.02/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 500 7330 17107 | 5000 0 nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -4 0.02/0.07 o -4 0.02/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 500 7331 17607 | 5000 0 nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -5 0.02/0.07 o -5 0.02/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 500 7332 18107 | 5000 0 nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -6 0.02/0.07 o -6 0.02/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 1 | 500 7333 18607 | 5000 1 495 | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -7 0.02/0.07 o -7 0.02/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 1 | 500 7334 19107 | 5000 1 495 | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: -8 0.02/0.08 o -8 0.02/0.08 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 7 | 500 7335 19607 | 5000 7 494 | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: -9 0.02/0.08 o -9 0.02/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 13 | 500 7336 20107 | 5000 13 493 | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: -10 0.02/0.08 o -10 0.02/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 14 | 500 7337 20607 | 5000 14 493 | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: -11 0.02/0.08 o -11 0.02/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 16 | 500 7338 21107 | 5000 16 492 | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: -12 0.02/0.09 o -12 0.02/0.09 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 31 | 500 7339 21607 | 5000 31 491 | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: -13 0.02/0.09 o -13 0.02/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 36 | 500 7340 22107 | 5000 36 491 | 0.000 % | 0.02/0.10 c =============================================================================== 0.02/0.10 c New solution: -14 0.02/0.10 o -14 0.02/0.10 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.02/0.10 c =============================================================================== 0.02/0.10 c | 40 | 500 7341 22607 | 5000 40 490 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -15 0.09/0.10 o -15 0.09/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 47 | 500 7342 23107 | 5000 47 490 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -16 0.09/0.10 o -16 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 50 | 500 7343 23607 | 5000 50 489 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -17 0.09/0.11 o -17 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 | 54 | 500 7344 24107 | 5000 54 489 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -18 0.09/0.11 o -18 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 68 | 500 7345 24607 | 5000 68 488 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -19 0.09/0.12 o -19 0.09/0.12 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 73 | 500 7346 25107 | 5000 73 488 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -20 0.09/0.12 o -20 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 90 | 500 7347 25607 | 5000 90 486 | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -21 0.09/0.14 o -21 0.09/0.14 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 145 | 500 7348 26107 | 5000 145 484 | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -22 0.09/0.14 o -22 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 171 | 500 7349 26607 | 5000 171 484 | 0.000 % | 0.09/0.16 c | 271 | 500 7349 26607 | 5500 271 482 | 86.350 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -23 0.09/0.17 o -23 0.09/0.17 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 317 | 500 7350 27107 | 5000 317 481 | 86.350 % | 0.09/0.19 c | 417 | 500 7350 27107 | 5500 417 480 | 86.350 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -24 0.09/0.19 o -24 0.09/0.19 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 417 | 500 7351 27607 | 5000 417 480 | 86.350 % | 0.19/0.21 c | 518 | 500 7351 27607 | 5500 518 480 | 86.350 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -25 0.19/0.23 o -25 0.19/0.23 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 612 | 500 7352 28107 | 5000 612 479 | 86.350 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -26 0.19/0.24 o -26 0.19/0.24 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 657 | 500 7353 28607 | 5000 657 479 | 86.350 % | 0.19/0.26 c | 758 | 500 7353 28607 | 5500 758 478 | 86.350 % | 0.19/0.29 c | 909 | 500 7353 28607 | 6050 909 478 | 86.350 % | 0.29/0.33 c | 1134 | 500 7353 28607 | 6655 1134 477 | 86.350 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -27 0.29/0.35 o -27 0.29/0.35 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 1222 | 500 7354 29107 | 5000 1222 477 | 86.350 % | 0.29/0.38 c | 1324 | 500 7354 29107 | 5500 1324 477 | 86.350 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -28 0.39/0.41 o -28 0.39/0.41 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1443 | 500 7355 29607 | 5000 1443 476 | 86.350 % | 0.39/0.43 c | 1545 | 500 7355 29607 | 5500 1545 476 | 86.350 % | 0.39/0.46 c | 1695 | 500 7355 29607 | 6050 1695 476 | 86.350 % | 0.49/0.52 c | 1920 | 500 7355 29607 | 6655 1920 476 | 86.350 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: -29 0.49/0.57 o -29 0.49/0.57 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 2103 | 500 7356 30107 | 5000 2103 475 | 86.350 % | 0.59/0.60 c | 2203 | 500 7356 30107 | 5500 2203 475 | 86.350 % | 0.59/0.64 c | 2354 | 500 7356 30107 | 6050 2354 475 | 86.350 % | 0.69/0.70 c | 2580 | 500 7356 30107 | 6655 2580 475 | 86.350 % | 0.69/0.78 c | 2918 | 500 7356 30107 | 7320 2918 474 | 86.350 % | 0.89/0.90 c | 3425 | 500 7356 30107 | 8052 3425 474 | 86.350 % | 1.00/1.08 c | 4186 | 500 7356 30107 | 8857 4186 474 | 86.350 % | 1.00/1.10 c =============================================================================== 1.00/1.10 c New solution: -30 1.00/1.10 o -30 1.00/1.10 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s 1.00/1.10 c =============================================================================== 1.00/1.10 c | 4238 | 500 7357 30607 | 5000 4238 474 | 86.350 % | 1.10/1.13 c | 4338 | 500 7357 30607 | 5500 4338 474 | 86.350 % | 1.10/1.17 c | 4489 | 500 7357 30607 | 6050 4489 473 | 86.350 % | 1.19/1.24 c | 4716 | 500 7357 30607 | 6655 4716 473 | 86.350 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: -31 1.19/1.29 o -31 1.19/1.29 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 4913 | 500 7358 31107 | 5000 4913 473 | 86.350 % | 1.29/1.34 c | 5014 | 500 7358 31107 | 5500 5014 473 | 86.350 % | 1.29/1.38 c | 5165 | 500 7358 31107 | 6050 5165 473 | 86.350 % | 1.40/1.44 c | 5391 | 500 7358 31107 | 6655 5391 473 | 86.350 % | 1.49/1.52 c | 5728 | 500 7358 31107 | 7320 5728 473 | 86.350 % | 1.59/1.68 c | 6234 | 500 7358 31107 | 8052 6234 472 | 86.350 % | 1.89/1.91 c | 6993 | 500 7358 31107 | 8857 6993 472 | 86.350 % | 2.10/2.17 c | 8133 | 500 7358 31107 | 9743 8133 472 | 86.350 % | 2.39/2.41 c =============================================================================== 2.39/2.41 c New solution: -32 2.39/2.41 o -32 2.39/2.41 c Elapsed CPU time: 2.34064 s Remaining CPU time: 177.659 s 2.39/2.41 c =============================================================================== 2.39/2.41 c | 9168 | 500 7359 31607 | 5000 9168 472 | 86.350 % | 2.49/2.50 c | 9268 | 500 7359 31607 | 5500 4684 470 | 86.350 % | 2.49/2.54 c | 9419 | 500 7359 31607 | 6050 4835 470 | 86.350 % | 2.59/2.61 c | 9644 | 500 7359 31607 | 6655 5060 470 | 86.350 % | 2.69/2.72 c | 9981 | 500 7359 31607 | 7320 5397 470 | 86.350 % | 2.79/2.86 c | 10487 | 500 7359 31607 | 8052 5903 470 | 86.350 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: -33 2.99/3.05 o -33 2.99/3.05 c Elapsed CPU time: 2.97555 s Remaining CPU time: 177.024 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 11046 | 500 7360 32107 | 5000 6462 470 | 86.350 % | 2.99/3.08 c | 11146 | 500 7360 32107 | 5500 6562 470 | 86.350 % | 3.09/3.14 c | 11296 | 500 7360 32107 | 6050 6712 470 | 86.350 % | 3.20/3.22 c | 11522 | 500 7360 32107 | 6655 6938 470 | 86.350 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c New solution: -34 3.20/3.29 o -34 3.20/3.29 c Elapsed CPU time: 3.20951 s Remaining CPU time: 176.79 s 3.20/3.29 c =============================================================================== 3.20/3.29 c | 11782 | 500 7361 32607 | 5000 7198 470 | 86.350 % | 3.30/3.34 c | 11884 | 500 7361 32607 | 5500 7300 470 | 86.350 % | 3.39/3.40 c | 12034 | 500 7361 32607 | 6050 7450 470 | 86.350 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c New solution: -35 3.39/3.42 o -35 3.39/3.42 c Elapsed CPU time: 3.34449 s Remaining CPU time: 176.656 s 3.39/3.42 c =============================================================================== 3.39/3.42 c | 12103 | 500 7362 33107 | 5000 7519 470 | 86.350 % | 3.39/3.46 c | 12203 | 500 7362 33107 | 5500 7619 469 | 86.350 % | 3.49/3.50 c | 12353 | 500 7362 33107 | 6050 7769 469 | 86.350 % | 3.49/3.58 c | 12579 | 500 7362 33107 | 6655 7995 469 | 86.350 % | 3.69/3.70 c | 12916 | 500 7362 33107 | 7320 8332 469 | 86.350 % | 3.69/3.79 c =============================================================================== 3.69/3.79 c New solution: -36 3.69/3.79 o -36 3.69/3.79 c Elapsed CPU time: 3.70344 s Remaining CPU time: 176.297 s 3.69/3.79 c =============================================================================== 3.69/3.79 c | 13221 | 500 7363 33607 | 5000 8637 469 | 86.350 % | 3.79/3.86 c | 13321 | 500 7363 33607 | 5500 4419 469 | 86.350 % | 3.89/3.91 c | 13473 | 500 7363 33607 | 6050 4571 468 | 86.350 % | 3.89/3.98 c | 13699 | 500 7363 33607 | 6655 4797 468 | 86.350 % | 3.99/4.07 c | 14036 | 500 7363 33607 | 7320 5134 468 | 86.350 % | 4.19/4.24 c | 14543 | 500 7363 33607 | 8052 5641 468 | 86.350 % | 4.19/4.28 c =============================================================================== 4.19/4.28 c New solution: -37 4.19/4.28 o -37 4.19/4.28 c Elapsed CPU time: 4.18336 s Remaining CPU time: 175.817 s 4.19/4.28 c =============================================================================== 4.19/4.28 c | 14660 | 500 7364 34107 | 5000 5758 468 | 86.350 % | 4.29/4.32 c | 14760 | 500 7364 34107 | 5500 5858 468 | 86.350 % | 4.29/4.37 c | 14911 | 500 7364 34107 | 6050 6009 468 | 86.350 % | 4.40/4.41 c =============================================================================== 4.40/4.42 c New solution: -38 4.40/4.42 o -38 4.40/4.42 c Elapsed CPU time: 4.31334 s Remaining CPU time: 175.687 s 4.40/4.42 c =============================================================================== 4.40/4.42 c | 15050 | 500 7365 34607 | 5000 6148 467 | 86.350 % | 4.40/4.45 c | 15150 | 500 7365 34607 | 5500 6248 467 | 86.350 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c New solution: -39 4.49/4.50 o -39 4.49/4.50 c Elapsed CPU time: 4.39833 s Remaining CPU time: 175.602 s 4.49/4.50 c =============================================================================== 4.49/4.50 c | 15299 | 500 7366 35107 | 5000 6397 467 | 86.350 % | 4.49/4.53 c | 15400 | 500 7366 35107 | 5500 6498 467 | 86.350 % | 4.49/4.58 c | 15552 | 500 7366 35107 | 6050 6650 467 | 86.350 % | 4.59/4.64 c | 15777 | 500 7366 35107 | 6655 6875 467 | 86.350 % | 4.79/4.80 c | 16115 | 500 7366 35107 | 7320 7213 467 | 86.350 % | 4.99/5.01 c | 16622 | 500 7366 35107 | 8052 7720 467 | 86.350 % | 5.19/5.26 c | 17383 | 500 7366 35107 | 8857 8481 466 | 86.350 % | 5.79/5.82 c | 18523 | 500 7366 35107 | 9743 9621 466 | 86.350 % | 6.79/6.80 c | 20233 | 500 7366 35107 | 10717 11331 465 | 86.350 % | 8.29/8.31 c | 22797 | 500 7366 35107 | 11789 13895 465 | 86.350 % | 11.59/11.60 c | 26641 | 500 7366 35107 | 12968 10032 462 | 86.350 % | 15.29/15.38 c | 32408 | 500 7366 35107 | 14265 15799 462 | 86.350 % | 18.59/18.60 c =============================================================================== 18.59/18.60 c New solution: -40 18.59/18.60 o -40 18.59/18.60 c Elapsed CPU time: 18.3462 s Remaining CPU time: 161.654 s 18.59/18.60 c =============================================================================== 18.59/18.60 c | 40885 | 500 7367 35607 | 5000 15333 462 | 86.350 % | 18.69/18.73 c | 40985 | 500 7367 35607 | 5500 7767 461 | 86.350 % | 18.69/18.77 c | 41135 | 500 7367 35607 | 6050 7917 461 | 86.350 % | 18.78/18.83 c | 41360 | 500 7367 35607 | 6655 8142 461 | 86.350 % | 18.99/19.06 c | 41698 | 500 7367 35607 | 7320 8480 461 | 86.350 % | 19.09/19.18 c =============================================================================== 19.09/19.18 c New solution: -41 19.09/19.18 o -41 19.09/19.18 c Elapsed CPU time: 18.9101 s Remaining CPU time: 161.09 s 19.09/19.18 c =============================================================================== 19.09/19.18 c | 41880 | 500 7368 36107 | 5000 8662 461 | 86.350 % | 19.28/19.30 c | 41982 | 500 7368 36107 | 5500 4433 461 | 86.350 % | 19.28/19.39 c | 42133 | 500 7368 36107 | 6050 4584 461 | 86.350 % | 19.38/19.48 c | 42358 | 500 7368 36107 | 6655 4809 461 | 86.350 % | 19.59/19.63 c | 42695 | 500 7368 36107 | 7320 5146 461 | 86.350 % | 19.79/19.88 c | 43201 | 500 7368 36107 | 8052 5652 461 | 86.350 % | 20.09/20.14 c | 43961 | 500 7368 36107 | 8857 6412 461 | 86.350 % | 20.48/20.54 c | 45100 | 500 7368 36107 | 9743 7551 460 | 86.350 % | 21.09/21.18 c | 46808 | 500 7368 36107 | 10717 9259 460 | 86.350 % | 22.09/22.12 c | 49371 | 500 7368 36107 | 11789 11822 460 | 86.350 % | 23.29/23.39 c | 53215 | 500 7368 36107 | 12968 7959 459 | 86.350 % | 25.08/25.14 c | 58981 | 500 7368 36107 | 14265 13725 459 | 86.350 % | 27.89/27.94 c | 67631 | 500 7368 36107 | 15692 13432 460 | 86.350 % | 29.38/29.42 c =============================================================================== 29.38/29.42 c New solution: -42 29.38/29.42 o -42 29.38/29.42 c Elapsed CPU time: 29.0046 s Remaining CPU time: 150.995 s 29.38/29.42 c =============================================================================== 29.38/29.42 c | 71372 | 500 7369 36607 | 5000 17173 460 | 86.350 % | 29.59/29.66 c | 71472 | 500 7369 36607 | 5500 4394 460 | 86.350 % | 29.70/29.71 c | 71622 | 500 7369 36607 | 6050 4544 460 | 86.350 % | 29.70/29.77 c | 71848 | 500 7369 36607 | 6655 4770 460 | 86.350 % | 29.78/29.87 c | 72186 | 500 7369 36607 | 7320 5108 460 | 86.350 % | 30.08/30.10 c | 72692 | 500 7369 36607 | 8052 5614 460 | 86.350 % | 30.28/30.38 c | 73451 | 500 7369 36607 | 8857 6373 460 | 86.350 % | 30.79/30.89 c | 74591 | 500 7369 36607 | 9743 7513 460 | 86.350 % | 31.69/31.73 c | 76300 | 500 7369 36607 | 10717 9222 459 | 86.350 % | 32.69/32.72 c | 78863 | 500 7369 36607 | 11789 11785 459 | 86.350 % | 34.09/34.18 c | 82708 | 500 7369 36607 | 12968 7922 459 | 86.350 % | 36.58/36.64 c | 88475 | 500 7369 36607 | 14265 13689 459 | 86.350 % | 39.99/40.07 c =============================================================================== 39.99/40.07 c New solution: -43 39.99/40.07 o -43 39.99/40.07 c Elapsed CPU time: 39.532 s Remaining CPU time: 140.468 s 39.99/40.07 c =============================================================================== 39.99/40.07 c | 95497 | 500 7370 37107 | 5000 11766 459 | 86.350 % | 40.08/40.16 c | 95599 | 500 7370 37107 | 5500 5985 459 | 86.350 % | 40.18/40.20 c | 95750 | 500 7370 37107 | 6050 6136 459 | 86.350 % | 40.28/40.30 c | 95975 | 500 7370 37107 | 6655 6361 459 | 86.350 % | 40.38/40.41 c | 96313 | 500 7370 37107 | 7320 6699 459 | 86.350 % | 40.59/40.60 c | 96819 | 500 7370 37107 | 8052 7205 458 | 86.350 % | 40.68/40.78 c | 97579 | 500 7370 37107 | 8857 7965 458 | 86.350 % | 41.08/41.10 c | 98718 | 500 7370 37107 | 9743 9104 458 | 86.350 % | 41.79/41.80 c | 100427 | 500 7370 37107 | 10717 10813 458 | 86.350 % | 43.38/43.47 c | 102990 | 500 7370 37107 | 11789 13376 458 | 86.350 % | 44.78/44.81 c | 106834 | 500 7370 37107 | 12968 9515 458 | 86.350 % | 46.58/46.65 c | 112601 | 500 7370 37107 | 14265 15282 457 | 86.350 % | 50.58/50.66 c | 121251 | 500 7370 37107 | 15692 14988 457 | 86.350 % | 55.98/56.10 c | 134225 | 500 7370 37107 | 17261 18304 457 | 86.350 % | 73.58/73.60 c | 153686 | 500 7370 37107 | 18987 16881 458 | 86.350 % | 76.17/76.24 c =============================================================================== 76.17/76.24 c New solution: -44 76.17/76.24 o -44 76.17/76.24 c Elapsed CPU time: 75.3755 s Remaining CPU time: 104.624 s 76.17/76.24 c =============================================================================== 76.17/76.24 c | 159927 | 500 7371 37607 | 5000 11169 458 | 86.350 % | 76.27/76.37 c | 160028 | 500 7371 37607 | 5500 5686 458 | 86.350 % | 76.38/76.44 c | 160179 | 500 7371 37607 | 6050 5837 458 | 86.350 % | 76.48/76.54 c | 160405 | 500 7371 37607 | 6655 6063 458 | 86.350 % | 76.68/76.72 c | 160743 | 500 7371 37607 | 7320 6401 458 | 86.350 % | 76.68/76.76 c =============================================================================== 76.68/76.76 c New solution: -45 76.68/76.76 o -45 76.68/76.76 c Elapsed CPU time: 75.8945 s Remaining CPU time: 104.106 s 76.68/76.76 c =============================================================================== 76.68/76.76 c | 160839 | 500 7372 38107 | 5000 6497 458 | 86.350 % | 76.77/76.81 c | 160939 | 500 7372 38107 | 5500 6597 458 | 86.350 % | 76.77/76.87 c | 161089 | 500 7372 38107 | 6050 6747 458 | 86.350 % | 76.98/77.02 c | 161314 | 500 7372 38107 | 6655 6972 457 | 86.350 % | 77.17/77.29 c | 161652 | 500 7372 38107 | 7320 7310 457 | 86.350 % | 77.38/77.47 c | 162159 | 500 7372 38107 | 8052 7817 457 | 86.350 % | 77.78/77.87 c | 162920 | 500 7372 38107 | 8857 8578 457 | 86.350 % | 78.37/78.45 c | 164059 | 500 7372 38107 | 9743 9717 457 | 86.350 % | 79.18/79.25 c | 165769 | 500 7372 38107 | 10717 11427 457 | 86.350 % | 80.37/80.44 c | 168331 | 500 7372 38107 | 11789 13989 457 | 86.350 % | 82.57/82.61 c | 172176 | 500 7372 38107 | 12968 10132 456 | 86.350 % | 86.67/86.75 c | 177943 | 500 7372 38107 | 14265 15899 456 | 86.350 % | 91.17/91.25 c | 186593 | 500 7372 38107 | 15692 15608 456 | 86.350 % | 97.88/97.97 c | 199567 | 500 7372 38107 | 17261 18926 456 | 86.350 % | 107.57/107.64 c | 219028 | 500 7372 38107 | 18987 17505 456 | 86.350 % | 120.06/120.12 c | 248220 | 500 7372 38107 | 20886 10908 456 | 86.350 % | 140.46/140.58 c | 292011 | 500 7372 38107 | 22974 13473 456 | 86.350 % | 181.65/181.79 c There are 3163 assigned variables. 0 in cost function. 182.64/182.78 c core #1 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -499 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #2 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -498 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #3 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -497 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #4 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -496 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #5 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -495 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #6 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -494 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #7 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -493 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #8 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -492 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #9 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -491 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #10 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -490 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #11 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -489 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #12 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -488 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #13 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -487 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #14 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -486 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #15 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -485 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #16 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -484 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #17 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -483 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #18 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -482 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #19 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -481 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #20 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -480 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #21 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -479 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #22 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -478 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #23 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -477 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #24 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -476 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #25 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -475 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #26 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -474 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #27 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -473 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #28 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -472 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #29 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -471 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #30 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -470 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #31 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -469 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #32 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -468 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #33 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -467 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #34 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -466 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #35 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -465 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #36 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -464 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #37 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -463 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #38 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -462 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #39 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -461 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #40 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -460 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #41 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -459 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #42 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -458 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #43 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -457 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #44 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -456 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #45 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -455 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #46 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -454 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #47 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -453 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #48 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -452 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #49 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -451 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #50 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -450 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #51 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -449 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #52 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -448 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #53 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -447 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #54 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -446 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #55 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -445 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #56 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -444 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #57 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -443 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #58 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -442 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c core #59 182.64/182.78 c 182.64/182.78 c 182.64/182.78 c Core size: 3 Core Weight: 1 Total Weight: -441 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #60 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -440 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #61 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -439 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #62 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -438 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #63 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -437 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #64 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -436 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #65 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -435 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #66 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -434 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #67 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -433 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #68 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -432 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #69 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -431 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #70 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -430 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #71 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -429 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #72 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -428 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #73 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -427 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #74 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -426 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #75 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -425 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #76 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -424 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #77 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -423 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #78 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -422 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #79 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -421 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #80 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -420 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #81 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -419 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #82 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -418 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #83 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -417 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #84 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -416 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #85 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -415 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #86 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -414 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #87 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -413 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #88 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -412 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #89 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -411 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #90 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -410 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #91 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -409 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #92 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -408 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #93 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -407 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #94 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -406 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #95 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -405 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #96 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -404 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #97 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -403 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #98 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -402 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #99 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -401 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #100 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -400 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #101 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -399 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #102 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -398 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #103 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -397 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #104 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -396 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #105 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -395 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #106 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -394 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #107 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -393 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #108 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -392 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #109 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -391 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #110 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -390 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #111 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -389 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #112 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -388 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #113 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -387 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #114 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -386 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #115 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -385 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #116 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -384 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c core #117 183.25/183.39 c 183.25/183.39 c 183.25/183.39 c Core size: 3 Core Weight: 1 Total Weight: -383 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #118 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -382 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #119 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -381 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #120 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -380 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #121 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -379 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #122 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -378 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #123 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -377 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #124 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -376 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #125 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -375 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #126 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -374 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #127 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -373 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #128 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -372 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #129 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -371 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #130 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -370 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #131 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -369 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #132 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -368 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #133 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -367 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #134 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -366 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #135 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -365 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #136 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -364 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #137 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -363 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #138 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -362 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #139 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -361 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #140 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -360 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #141 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -359 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #142 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -358 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #143 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -357 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #144 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -356 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #145 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -355 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #146 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -354 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #147 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -353 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #148 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -352 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #149 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -351 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #150 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -350 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #151 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -349 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #152 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -348 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #153 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -347 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #154 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -346 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #155 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -345 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #156 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -344 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #157 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -343 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #158 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -342 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #159 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -341 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #160 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -340 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #161 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -339 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #162 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -338 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #163 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -337 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #164 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -336 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #165 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -335 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #166 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -334 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #167 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -333 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #168 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -332 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #169 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -331 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #170 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -330 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #171 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -329 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #172 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -328 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #173 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -327 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #174 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -326 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c core #175 183.95/184.07 c 183.95/184.07 c 183.95/184.07 c Core size: 3 Core Weight: 1 Total Weight: -325 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #176 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -324 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #177 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -323 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #178 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -322 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #179 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -321 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #180 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -320 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #181 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -319 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #182 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -318 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #183 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -317 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #184 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -316 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #185 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -315 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #186 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -314 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #187 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -313 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #188 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -312 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #189 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -311 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #190 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -310 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #191 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -309 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #192 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -308 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #193 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -307 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #194 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -306 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #195 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -305 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #196 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -304 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #197 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -303 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #198 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -302 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #199 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -301 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #200 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -300 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #201 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -299 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #202 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -298 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #203 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -297 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #204 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -296 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #205 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -295 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #206 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -294 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #207 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -293 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #208 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -292 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #209 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -291 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #210 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -290 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #211 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -289 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #212 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -288 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #213 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -287 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #214 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -286 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #215 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -285 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #216 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -284 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #217 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -283 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #218 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -282 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #219 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -281 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #220 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -280 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #221 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -279 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #222 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -278 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #223 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -277 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #224 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -276 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #225 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -275 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #226 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -274 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #227 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -273 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #228 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -272 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #229 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -271 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #230 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -270 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #231 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 3 Core Weight: 1 Total Weight: -269 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #232 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 7 Core Weight: 1 Total Weight: -268 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c core #233 184.76/184.84 c 184.76/184.84 c 184.76/184.84 c Core size: 7 Core Weight: 1 Total Weight: -267 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #234 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -266 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #235 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -265 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #236 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -264 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #237 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -263 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #238 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 11 Core Weight: 1 Total Weight: -262 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #239 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -261 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #240 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -260 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #241 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -259 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #242 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 18 Core Weight: 1 Total Weight: -258 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #243 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -257 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #244 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -256 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #245 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -255 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #246 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 6 Core Weight: 1 Total Weight: -254 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #247 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 7 Core Weight: 1 Total Weight: -253 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #248 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 19 Core Weight: 1 Total Weight: -252 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #249 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 18 Core Weight: 1 Total Weight: -251 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #250 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 27 Core Weight: 1 Total Weight: -250 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #251 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 18 Core Weight: 1 Total Weight: -249 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #252 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 22 Core Weight: 1 Total Weight: -248 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c core #253 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c Core size: 14 Core Weight: 1 Total Weight: -247 185.25/185.35 c 185.25/185.35 c 185.25/185.35 c ============================[ Search Statistics ]============================== 185.25/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.35 c =============================================================================== 185.25/185.35 c | 0 | 1092 7125 31010 | 5000 0 nan | 0.000 % | 185.25/185.35 c =============================================================================== 185.25/185.38 c core #254 185.25/185.38 c 185.25/185.38 c 185.25/185.38 c Core size: 18 Core Weight: 1 Total Weight: -246 185.25/185.38 c 185.25/185.38 c 185.25/185.38 c ============================[ Search Statistics ]============================== 185.25/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.38 c =============================================================================== 185.25/185.38 c | 0 | 1104 7126 31034 | 5000 0 nan | 0.000 % | 185.25/185.39 c =============================================================================== 185.35/185.41 c core #255 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c Core size: 25 Core Weight: 1 Total Weight: -245 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c ============================[ Search Statistics ]============================== 185.35/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.41 c =============================================================================== 185.35/185.41 c | 0 | 1126 7127 31078 | 5000 0 nan | 0.000 % | 185.35/185.42 c =============================================================================== 185.35/185.44 c core #256 185.35/185.44 c 185.35/185.44 c 185.35/185.44 c Core size: 14 Core Weight: 1 Total Weight: -244 185.35/185.44 c 185.35/185.44 c 185.35/185.44 c ============================[ Search Statistics ]============================== 185.35/185.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.44 c =============================================================================== 185.35/185.44 c | 0 | 1134 7128 31094 | 5000 0 nan | 0.000 % | 185.35/185.45 c =============================================================================== 185.35/185.48 c core #257 185.35/185.48 c 185.35/185.48 c 185.35/185.48 c Core size: 12 Core Weight: 1 Total Weight: -243 185.35/185.48 c 185.35/185.48 c 185.35/185.48 c ============================[ Search Statistics ]============================== 185.35/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.48 c =============================================================================== 185.35/185.48 c | 0 | 1142 7129 31110 | 5000 0 nan | 0.000 % | 185.35/185.49 c =============================================================================== 185.45/185.51 c core #258 185.45/185.51 c 185.45/185.51 c 185.45/185.51 c Core size: 18 Core Weight: 1 Total Weight: -242 185.45/185.51 c 185.45/185.51 c 185.45/185.51 c ============================[ Search Statistics ]============================== 185.45/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.51 c =============================================================================== 185.45/185.51 c | 0 | 1154 7130 31134 | 5000 0 nan | 0.000 % | 185.45/185.52 c =============================================================================== 185.45/185.55 c core #259 185.45/185.55 c 185.45/185.55 c 185.45/185.55 c Core size: 16 Core Weight: 1 Total Weight: -241 185.45/185.55 c 185.45/185.55 c 185.45/185.55 c ============================[ Search Statistics ]============================== 185.45/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.55 c =============================================================================== 185.45/185.55 c | 0 | 1164 7131 31154 | 5000 0 nan | 0.000 % | 185.45/185.56 c =============================================================================== 185.45/185.59 c core #260 185.45/185.59 c 185.45/185.59 c 185.45/185.59 c Core size: 20 Core Weight: 1 Total Weight: -240 185.45/185.59 c 185.45/185.59 c 185.45/185.59 c ============================[ Search Statistics ]============================== 185.45/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.59 c =============================================================================== 185.45/185.59 c | 0 | 1176 7132 31178 | 5000 0 nan | 0.000 % | 185.45/185.59 c =============================================================================== 185.55/185.62 c core #261 185.55/185.62 c 185.55/185.62 c 185.55/185.62 c Core size: 16 Core Weight: 1 Total Weight: -239 185.55/185.62 c 185.55/185.62 c 185.55/185.62 c ============================[ Search Statistics ]============================== 185.55/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.62 c =============================================================================== 185.55/185.62 c | 0 | 1186 7133 31198 | 5000 0 nan | 0.000 % | 185.55/185.63 c =============================================================================== 185.55/185.66 c core #262 185.55/185.66 c 185.55/185.66 c 185.55/185.66 c Core size: 26 Core Weight: 1 Total Weight: -238 185.55/185.66 c 185.55/185.66 c 185.55/185.66 c ============================[ Search Statistics ]============================== 185.55/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.66 c =============================================================================== 185.55/185.66 c | 0 | 1202 7134 31230 | 5000 0 nan | 0.000 % | 185.55/185.66 c =============================================================================== 185.55/185.69 c core #263 185.55/185.69 c 185.55/185.69 c 185.55/185.69 c Core size: 18 Core Weight: 1 Total Weight: -237 185.55/185.69 c 185.55/185.69 c 185.55/185.69 c ============================[ Search Statistics ]============================== 185.55/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.69 c =============================================================================== 185.55/185.69 c | 0 | 1214 7135 31254 | 5000 0 nan | 0.000 % | 185.55/185.69 c =============================================================================== 185.65/185.72 c core #264 185.65/185.72 c 185.65/185.72 c 185.65/185.72 c Core size: 24 Core Weight: 1 Total Weight: -236 185.65/185.72 c 185.65/185.72 c 185.65/185.72 c ============================[ Search Statistics ]============================== 185.65/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.72 c =============================================================================== 185.65/185.72 c | 0 | 1228 7136 31282 | 5000 0 nan | 0.000 % | 185.65/185.73 c =============================================================================== 185.65/185.75 c core #265 185.65/185.75 c 185.65/185.75 c 185.65/185.75 c Core size: 16 Core Weight: 1 Total Weight: -235 185.65/185.75 c 185.65/185.75 c 185.65/185.75 c ============================[ Search Statistics ]============================== 185.65/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.75 c =============================================================================== 185.65/185.75 c | 0 | 1238 7137 31302 | 5000 0 nan | 0.000 % | 185.65/185.75 c =============================================================================== 185.65/185.78 c core #266 185.65/185.78 c 185.65/185.78 c 185.65/185.78 c Core size: 16 Core Weight: 1 Total Weight: -234 185.65/185.78 c 185.65/185.78 c 185.65/185.78 c ============================[ Search Statistics ]============================== 185.65/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.78 c =============================================================================== 185.65/185.78 c | 0 | 1248 7138 31322 | 5000 0 nan | 0.000 % | 185.65/185.79 c =============================================================================== 185.76/185.81 c core #267 185.76/185.81 c 185.76/185.81 c 185.76/185.81 c Core size: 14 Core Weight: 1 Total Weight: -233 185.76/185.81 c 185.76/185.81 c 185.76/185.81 c ============================[ Search Statistics ]============================== 185.76/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.76/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.76/185.81 c =============================================================================== 185.76/185.81 c | 0 | 1256 7139 31338 | 5000 0 nan | 0.000 % | 185.76/185.82 c =============================================================================== 185.76/185.84 c core #268 185.76/185.84 c 185.76/185.84 c 185.76/185.84 c Core size: 18 Core Weight: 1 Total Weight: -232 185.76/185.84 c 185.76/185.84 c 185.76/185.84 c ============================[ Search Statistics ]============================== 185.76/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.76/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.76/185.84 c =============================================================================== 185.76/185.84 c | 0 | 1266 7140 31358 | 5000 0 nan | 0.000 % | 185.76/185.85 c =============================================================================== 185.76/185.88 c core #269 185.76/185.88 c 185.76/185.88 c 185.76/185.88 c Core size: 24 Core Weight: 1 Total Weight: -231 185.76/185.88 c 185.76/185.88 c 185.76/185.88 c ============================[ Search Statistics ]============================== 185.76/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.76/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.76/185.88 c =============================================================================== 185.76/185.88 c | 0 | 1282 7141 31390 | 5000 0 nan | 0.000 % | 185.76/185.88 c =============================================================================== 185.86/185.91 c core #270 185.86/185.91 c 185.86/185.91 c 185.86/185.91 c Core size: 18 Core Weight: 1 Total Weight: -230 185.86/185.91 c 185.86/185.91 c 185.86/185.91 c ============================[ Search Statistics ]============================== 185.86/185.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.91 c =============================================================================== 185.86/185.91 c | 0 | 1292 7142 31410 | 5000 0 nan | 0.000 % | 185.86/185.91 c =============================================================================== 185.86/185.94 c core #271 185.86/185.94 c 185.86/185.94 c 185.86/185.94 c Core size: 14 Core Weight: 1 Total Weight: -229 185.86/185.94 c 185.86/185.94 c 185.86/185.94 c ============================[ Search Statistics ]============================== 185.86/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.94 c =============================================================================== 185.86/185.94 c | 0 | 1300 7143 31426 | 5000 0 nan | 0.000 % | 185.86/185.95 c =============================================================================== 185.86/185.97 c core #272 185.86/185.97 c 185.86/185.97 c 185.86/185.97 c Core size: 14 Core Weight: 1 Total Weight: -228 185.86/185.97 c 185.86/185.97 c 185.86/185.97 c ============================[ Search Statistics ]============================== 185.86/185.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.97 c =============================================================================== 185.86/185.97 c | 0 | 1308 7144 31442 | 5000 0 nan | 0.000 % | 185.86/185.98 c =============================================================================== 185.95/186.01 c core #273 185.95/186.01 c 185.95/186.01 c 185.95/186.01 c Core size: 22 Core Weight: 1 Total Weight: -227 185.95/186.01 c 185.95/186.01 c 185.95/186.01 c ============================[ Search Statistics ]============================== 185.95/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.01 c =============================================================================== 185.95/186.01 c | 0 | 1322 7145 31470 | 5000 0 nan | 0.000 % | 185.95/186.02 c =============================================================================== 185.95/186.05 c core #274 185.95/186.05 c 185.95/186.05 c 185.95/186.05 c Core size: 39 Core Weight: 1 Total Weight: -226 185.95/186.05 c 185.95/186.05 c 185.95/186.05 c ============================[ Search Statistics ]============================== 185.95/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.05 c =============================================================================== 185.95/186.05 c | 0 | 1354 7146 31534 | 5000 0 nan | 0.000 % | 185.95/186.05 c =============================================================================== 185.95/186.08 c core #275 185.95/186.08 c 185.95/186.08 c 185.95/186.08 c Core size: 17 Core Weight: 1 Total Weight: -225 185.95/186.08 c 185.95/186.08 c 185.95/186.08 c ============================[ Search Statistics ]============================== 185.95/186.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.08 c =============================================================================== 185.95/186.08 c | 0 | 1366 7147 31558 | 5000 0 nan | 0.000 % | 185.95/186.09 c =============================================================================== 186.05/186.12 c core #276 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c Core size: 20 Core Weight: 1 Total Weight: -224 186.05/186.12 c 186.05/186.12 c 186.05/186.12 c ============================[ Search Statistics ]============================== 186.05/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.12 c =============================================================================== 186.05/186.12 c | 0 | 1378 7148 31582 | 5000 0 nan | 0.000 % | 186.05/186.13 c =============================================================================== 186.05/186.15 c core #277 186.05/186.15 c 186.05/186.15 c 186.05/186.15 c Core size: 28 Core Weight: 1 Total Weight: -223 186.05/186.15 c 186.05/186.15 c 186.05/186.15 c ============================[ Search Statistics ]============================== 186.05/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.15 c =============================================================================== 186.05/186.15 c | 0 | 1394 7149 31614 | 5000 0 nan | 0.000 % | 186.05/186.16 c =============================================================================== 186.05/186.19 c core #278 186.05/186.19 c 186.05/186.19 c 186.05/186.19 c Core size: 28 Core Weight: 1 Total Weight: -222 186.05/186.19 c 186.05/186.19 c 186.05/186.19 c ============================[ Search Statistics ]============================== 186.05/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.19 c =============================================================================== 186.05/186.19 c | 0 | 1412 7150 31650 | 5000 0 nan | 0.000 % | 186.05/186.20 c =============================================================================== 186.15/186.22 c core #279 186.15/186.22 c 186.15/186.22 c 186.15/186.22 c Core size: 23 Core Weight: 1 Total Weight: -221 186.15/186.22 c 186.15/186.22 c 186.15/186.22 c ============================[ Search Statistics ]============================== 186.15/186.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.22 c =============================================================================== 186.15/186.22 c | 0 | 1425 7151 31676 | 5000 0 nan | 0.000 % | 186.15/186.23 c =============================================================================== 186.15/186.26 c core #280 186.15/186.26 c 186.15/186.26 c 186.15/186.26 c Core size: 31 Core Weight: 1 Total Weight: -220 186.15/186.26 c 186.15/186.26 c 186.15/186.26 c ============================[ Search Statistics ]============================== 186.15/186.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.26 c =============================================================================== 186.15/186.26 c | 0 | 1450 7152 31726 | 5000 0 nan | 0.000 % | 186.15/186.27 c =============================================================================== 186.25/186.30 c core #281 186.25/186.30 c 186.25/186.30 c 186.25/186.30 c Core size: 45 Core Weight: 1 Total Weight: -219 186.25/186.30 c 186.25/186.30 c 186.25/186.30 c ============================[ Search Statistics ]============================== 186.25/186.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.30 c =============================================================================== 186.25/186.30 c | 0 | 1477 7153 31780 | 5000 0 nan | 0.000 % | 186.25/186.33 c =============================================================================== 186.25/186.36 c core #282 186.25/186.36 c 186.25/186.36 c 186.25/186.36 c Core size: 59 Core Weight: 1 Total Weight: -218 186.25/186.36 c 186.25/186.36 c 186.25/186.36 c ============================[ Search Statistics ]============================== 186.25/186.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.36 c =============================================================================== 186.25/186.36 c | 0 | 1530 7154 31886 | 5000 0 nan | 0.000 % | 186.35/186.41 c | 100 | 1530 7154 31886 | 5500 100 8 | 67.398 % | 186.35/186.43 c =============================================================================== 186.35/186.46 c core #283 186.35/186.46 c 186.35/186.46 c 186.35/186.46 c Core size: 98 Core Weight: 1 Total Weight: -217 186.35/186.46 c 186.35/186.46 c 186.35/186.46 c ============================[ Search Statistics ]============================== 186.35/186.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.46 c =============================================================================== 186.35/186.46 c | 0 | 1621 7155 32068 | 5000 0 nan | 0.000 % | 186.45/186.52 c | 103 | 1621 7155 32068 | 5500 103 18 | 66.116 % | 186.54/186.60 c | 253 | 1621 7155 32068 | 6050 253 17 | 66.116 % | 186.54/186.69 c | 478 | 1621 7155 32068 | 6655 478 13 | 66.116 % | 186.74/186.86 c | 817 | 1621 7155 32068 | 7320 817 14 | 66.116 % | 186.74/186.89 c =============================================================================== 186.85/186.92 c core #284 186.85/186.92 c 186.85/186.92 c 186.85/186.92 c Core size: 120 Core Weight: 1 Total Weight: -216 186.85/186.92 c 186.85/186.92 c 186.85/186.92 c ============================[ Search Statistics ]============================== 186.85/186.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.92 c =============================================================================== 186.85/186.92 c | 0 | 1733 7156 32292 | 5000 0 nan | 0.000 % | 186.85/186.98 c | 100 | 1733 7156 32292 | 5500 100 11 | 64.604 % | 186.95/187.05 c | 252 | 1731 7156 32292 | 6050 252 9 | 64.890 % | 186.95/187.08 c =============================================================================== 187.04/187.11 c core #285 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c Core size: 78 Core Weight: 1 Total Weight: -215 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c ============================[ Search Statistics ]============================== 187.04/187.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.11 c =============================================================================== 187.04/187.11 c | 0 | 1806 7157 32438 | 5000 0 nan | 0.000 % | 187.04/187.17 c | 100 | 1806 7157 32438 | 5500 100 48 | 63.655 % | 187.14/187.24 c | 251 | 1806 7157 32438 | 6050 251 29 | 63.655 % | 187.25/187.36 c | 477 | 1806 7157 32438 | 6655 477 23 | 63.655 % | 187.45/187.52 c | 814 | 1806 7157 32438 | 7320 814 25 | 63.655 % | 187.65/187.78 c | 1321 | 1806 7157 32438 | 8052 1321 24 | 63.655 % | 188.15/188.24 c | 2085 | 1806 7157 32438 | 8857 2085 27 | 63.655 % | 188.84/188.94 c | 3228 | 1806 7157 32438 | 9743 3228 27 | 63.655 % | 188.94/189.00 c =============================================================================== 188.94/189.07 c core #286 188.94/189.07 c 188.94/189.07 c 188.94/189.07 c Core size: 160 Core Weight: 1 Total Weight: -214 188.94/189.07 c 188.94/189.07 c 188.94/189.07 c ============================[ Search Statistics ]============================== 188.94/189.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.07 c =============================================================================== 188.94/189.07 c | 0 | 1962 7158 32750 | 5000 0 nan | 0.000 % | 189.05/189.13 c | 103 | 1962 7158 32750 | 5500 103 43 | 61.717 % | 189.05/189.20 c | 254 | 1962 7158 32750 | 6050 254 32 | 61.717 % | 189.15/189.29 c | 479 | 1962 7158 32750 | 6655 479 26 | 61.717 % | 189.35/189.42 c | 818 | 1962 7158 32750 | 7320 818 24 | 61.717 % | 189.54/189.69 c | 1324 | 1962 7158 32750 | 8052 1324 28 | 61.717 % | 189.95/190.08 c | 2083 | 1962 7158 32750 | 8857 2083 30 | 61.717 % | 190.65/190.73 c | 3222 | 1931 7158 32750 | 9743 1329 20 | 62.322 % | 190.74/190.86 c =============================================================================== 190.84/190.93 c core #287 190.84/190.93 c 190.84/190.93 c 190.84/190.93 c Core size: 196 Core Weight: 1 Total Weight: -213 190.84/190.93 c 190.84/190.93 c 190.84/190.93 c ============================[ Search Statistics ]============================== 190.84/190.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.93 c =============================================================================== 190.84/190.93 c | 0 | 2144 7159 33114 | 5000 0 nan | 0.000 % | 190.84/190.99 c | 100 | 2144 7159 33114 | 5500 100 34 | 59.601 % | 190.94/191.03 c | 253 | 2144 7159 33114 | 6050 253 37 | 59.601 % | 191.04/191.13 c | 478 | 2144 7159 33114 | 6655 478 50 | 59.601 % | 191.25/191.31 c | 815 | 2144 7159 33114 | 7320 815 53 | 59.601 % | 191.45/191.54 c | 1321 | 2144 7159 33114 | 8052 1321 48 | 59.601 % | 191.74/191.89 c | 2080 | 2144 7159 33114 | 8857 2080 46 | 59.601 % | 192.36/192.44 c | 3221 | 2144 7159 33114 | 9743 3221 46 | 59.601 % | 193.35/193.45 c | 4929 | 2144 7159 33114 | 10717 4929 48 | 59.601 % | 195.05/195.15 c | 7493 | 2144 7159 33114 | 11789 7493 50 | 59.601 % | 198.15/198.27 c | 11339 | 2144 7159 33114 | 12968 11339 51 | 59.601 % | 204.24/204.38 c | 17106 | 2133 7159 33114 | 14265 8909 50 | 59.808 % | 206.14/206.23 c =============================================================================== 206.44/206.57 c core #288 206.44/206.57 c 206.44/206.57 c 206.44/206.57 c Core size: 223 Core Weight: 1 Total Weight: -212 206.44/206.57 c 206.44/206.57 c 206.44/206.57 c ============================[ Search Statistics ]============================== 206.44/206.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.44/206.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.44/206.57 c =============================================================================== 206.44/206.57 c | 0 | 2366 7160 33558 | 5000 0 nan | 0.000 % | 206.54/206.62 c | 100 | 2366 7160 33558 | 5500 100 37 | 57.207 % | 206.54/206.67 c | 250 | 2366 7160 33558 | 6050 250 25 | 57.207 % | 206.65/206.71 c | 477 | 2366 7160 33558 | 6655 477 27 | 57.207 % | 206.65/206.80 c | 814 | 2366 7160 33558 | 7320 814 26 | 57.207 % | 206.75/206.88 c | 1321 | 2366 7160 33558 | 8052 1321 35 | 57.207 % | 207.04/207.14 c | 2082 | 2366 7160 33558 | 8857 2082 31 | 57.207 % | 207.24/207.37 c | 3221 | 2366 7160 33558 | 9743 3221 33 | 57.207 % | 208.04/208.15 c | 4929 | 2366 7160 33558 | 10717 4929 35 | 57.207 % | 209.24/209.32 c | 7491 | 2366 7160 33558 | 11789 7491 36 | 57.207 % | 211.84/211.98 c | 11335 | 2366 7160 33558 | 12968 11335 47 | 57.207 % | 216.24/216.36 c | 17103 | 2366 7160 33558 | 14265 8946 56 | 57.207 % | 224.54/224.68 c | 25754 | 2366 7160 33558 | 15692 17597 59 | 57.207 % | 238.93/239.04 c | 38729 | 2366 7160 33558 | 17261 11558 60 | 57.207 % | 259.44/259.57 c | 58191 | 2366 7160 33558 | 18987 10468 58 | 57.207 % | 298.42/298.53 c | 87383 | 2366 7160 33558 | 20886 17294 66 | 57.207 % | 312.62/312.75 c =============================================================================== 315.22/315.36 c core #289 315.22/315.36 c 315.22/315.36 c 315.22/315.36 c Core size: 279 Core Weight: 1 Total Weight: -211 315.22/315.36 c 315.22/315.36 c 315.22/315.36 c ============================[ Search Statistics ]============================== 315.22/315.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 315.22/315.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 315.22/315.36 c =============================================================================== 315.22/315.36 c | 0 | 2629 7161 34084 | 5000 0 nan | 0.000 % | 315.32/315.48 c | 100 | 2629 7161 34084 | 5500 100 49 | 54.610 % | 315.42/315.52 c | 250 | 2629 7161 34084 | 6050 250 31 | 54.610 % | 315.53/315.64 c | 476 | 2629 7161 34084 | 6655 476 38 | 54.610 % | 315.63/315.77 c | 813 | 2629 7161 34084 | 7320 813 37 | 54.610 % | 315.92/316.03 c | 1319 | 2629 7161 34084 | 8052 1319 47 | 54.610 % | 316.31/316.44 c | 2082 | 2629 7161 34084 | 8857 2082 46 | 54.610 % | 317.12/317.24 c | 3221 | 2629 7161 34084 | 9743 3221 63 | 54.610 % | 318.22/318.36 c | 4931 | 2629 7161 34084 | 10717 4931 75 | 54.610 % | 320.31/320.48 c | 7495 | 2629 7161 34084 | 11789 7495 82 | 54.610 % | 323.23/323.31 c | 11343 | 2629 7161 34084 | 12968 11343 88 | 54.610 % | 328.62/328.78 c | 17109 | 2629 7161 34084 | 14265 8947 92 | 54.610 % | 339.41/339.50 c | 25759 | 2629 7161 34084 | 15692 17597 101 | 54.610 % | 357.32/357.44 c | 38733 | 2629 7161 34084 | 17261 11362 105 | 54.610 % | 383.60/383.73 c | 58194 | 2629 7161 34084 | 18987 20439 120 | 54.610 % | 417.99/418.17 c | 87387 | 2629 7161 34084 | 20886 16067 107 | 54.610 % | 475.58/475.79 c | 131176 | 2629 7161 34084 | 22974 23394 106 | 54.610 % | 558.36/558.51 c | 196860 | 2629 7161 34084 | 25272 22964 114 | 54.610 % | 698.33/698.51 c | 295387 | 2629 7161 34084 | 27799 17439 125 | 54.610 % | 920.05/920.31 c | 443178 | 2629 7161 34084 | 30579 24999 150 | 54.610 % | 1285.77/1286.17 c | 664863 | 2628 7161 34084 | 33637 27614 141 | 54.627 % | 1532.21/1532.69 c =============================================================================== 1554.31/1554.76 c core #290 1554.31/1554.76 c 1554.31/1554.76 c 1554.31/1554.76 c Core size: 227 Core Weight: 1 Total Weight: -210 1554.31/1554.76 c 1554.31/1554.76 c 1554.31/1554.76 c ============================[ Search Statistics ]============================== 1554.31/1554.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1554.31/1554.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1554.31/1554.76 c =============================================================================== 1554.31/1554.76 c | 0 | 2852 7162 34530 | 5000 0 nan | 0.000 % | 1554.60/1555.06 c | 100 | 2852 7162 34530 | 5500 100 164 | 52.585 % | 1554.70/1555.12 c | 251 | 2852 7162 34530 | 6050 251 80 | 52.585 % | 1554.81/1555.21 c | 478 | 2852 7162 34530 | 6655 478 72 | 52.585 % | 1554.91/1555.39 c | 815 | 2852 7162 34530 | 7320 815 68 | 52.585 % | 1555.30/1555.71 c | 1322 | 2852 7162 34530 | 8052 1322 72 | 52.585 % | 1555.70/1556.12 c | 2082 | 2852 7162 34530 | 8857 2082 67 | 52.585 % | 1556.40/1556.89 c | 3221 | 2852 7162 34530 | 9743 3221 80 | 52.585 % | 1557.80/1558.23 c | 4931 | 2852 7162 34530 | 10717 4931 95 | 52.585 % | 1560.30/1560.76 c | 7494 | 2852 7162 34530 | 11789 7494 107 | 52.585 % | 1564.31/1564.71 c | 11338 | 2852 7162 34530 | 12968 11338 117 | 52.585 % | 1568.90/1569.30 c | 17109 | 2852 7162 34530 | 14265 8953 108 | 52.585 % | 1576.30/1576.70 c | 25758 | 2852 7162 34530 | 15692 17602 111 | 52.585 % | 1587.80/1588.20 c | 38732 | 2852 7162 34530 | 17261 11514 79 | 52.585 % | 1610.49/1610.97 c | 58194 | 2852 7162 34530 | 18987 10379 87 | 52.585 % | 1643.08/1643.56 c | 87387 | 2852 7162 34530 | 20886 17261 81 | 52.585 % | 1701.77/1702.28 c | 131191 | 2852 7162 34530 | 22974 12340 94 | 52.585 % |
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-2702459-1278568134/watcher-2702459-1278568134 -o /tmp/evaluation-result-2702459-1278568134/solver-2702459-1278568134 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702459-1278568134.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/106 31030 /proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=3264 CPUtime=0 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 383 0 0 0 0 0 0 0 15 0 1 0 25019851 3342336 302 1992294400 134512640 135752675 4294880224 18446744073709551615 134564908 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 816 302 136 303 0 444 0 [startup+0.023201 s] /proc/loadavg: 0.92 1.00 0.99 3/106 31030 /proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=3684 CPUtime=0.02 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 501 0 0 0 2 0 0 0 17 0 1 0 25019851 3772416 420 1992294400 134512640 135752675 4294880224 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 921 421 158 303 0 549 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3684 [startup+0.101209 s] /proc/loadavg: 0.92 1.00 0.99 3/106 31030 /proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=4536 CPUtime=0.09 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 833 0 0 0 9 0 0 0 17 0 1 0 25019851 4644864 685 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 1134 685 144 303 0 829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4536 [startup+0.301226 s] /proc/loadavg: 0.92 1.00 0.99 3/106 31030 /proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=6072 CPUtime=0.29 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 1219 0 0 0 27 2 0 0 17 0 1 0 25019851 6217728 1071 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 1518 1072 145 303 0 1213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6072 [startup+0.70126 s] /proc/loadavg: 0.92 1.00 0.99 3/106 31030 /proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=9424 CPUtime=0.69 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 2046 0 0 0 66 3 0 0 17 0 1 0 25019851 9650176 1898 1992294400 134512640 135752675 4294880224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 2356 1898 145 303 0 2051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9424 [startup+1.50033 s] /proc/loadavg: 0.92 1.00 0.99 2/107 31031 /proc/meminfo: memFree=1748928/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=15348 CPUtime=1.49 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 3542 0 0 0 144 5 0 0 18 0 1 0 25019851 15716352 3394 1992294400 134512640 135752675 4294880224 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 3837 3394 145 303 0 3532 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15348 [startup+3.10047 s] /proc/loadavg: 0.92 1.00 0.99 2/107 31031 /proc/meminfo: memFree=1740992/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=26272 CPUtime=3.09 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 6277 0 0 0 302 7 0 0 21 0 1 0 25019851 26902528 6129 1992294400 134512640 135752675 4294880224 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 6568 6129 145 303 0 6263 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26272 [startup+6.30075 s] /proc/loadavg: 0.93 1.00 0.99 2/107 31031 /proc/meminfo: memFree=1721524/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=42188 CPUtime=6.29 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 10248 0 0 0 617 12 0 0 25 0 1 0 25019851 43200512 10100 1992294400 134512640 135752675 4294880224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 10547 10100 145 303 0 10242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42188 [startup+12.7013 s] /proc/loadavg: 0.93 1.00 0.99 2/107 31031 /proc/meminfo: memFree=1703048/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=59260 CPUtime=12.69 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 14501 0 0 0 1250 19 0 0 25 0 1 0 25019851 60682240 14353 1992294400 134512640 135752675 4294880224 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 14815 14353 145 303 0 14510 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59260 [startup+25.5014 s] /proc/loadavg: 0.95 1.00 0.99 2/107 31031 /proc/meminfo: memFree=1641792/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=120052 CPUtime=25.49 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 29720 0 0 0 2513 36 0 0 25 0 1 0 25019851 122933248 29572 1992294400 134512640 135752675 4294880224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 30013 29573 145 303 0 29708 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 120052 [startup+51.1016 s] /proc/loadavg: 0.96 1.00 0.99 2/107 31033 /proc/meminfo: memFree=1524116/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=238256 CPUtime=51.08 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 59229 0 0 0 5043 65 0 0 25 0 1 0 25019851 243974144 59081 1992294400 134512640 135752675 4294880224 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 59564 59081 145 303 0 59259 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 238256 [startup+102.309 s] /proc/loadavg: 0.98 1.00 0.99 2/107 31033 /proc/meminfo: memFree=1357336/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=402676 CPUtime=102.27 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 100320 0 0 0 10122 105 0 0 25 0 1 0 25019851 412340224 100172 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 100669 100172 145 303 0 100364 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 402676 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31035 /proc/meminfo: memFree=1147652/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=613348 CPUtime=162.25 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 152943 0 0 0 16067 158 0 0 25 0 1 0 25019851 628068352 152795 1992294400 134512640 135752675 4294880224 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 153337 152795 145 303 0 153032 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 613348 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31037 /proc/meminfo: memFree=1076352/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=682288 CPUtime=222.24 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 170291 0 0 0 22030 194 0 0 25 0 1 0 25019851 698662912 170143 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 170572 170143 146 303 0 170267 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 682288 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31039 /proc/meminfo: memFree=1058372/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=700596 CPUtime=282.23 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 174842 0 0 0 28001 222 0 0 25 0 1 0 25019851 717410304 174694 1992294400 134512640 135752675 4294880224 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 175149 174694 146 303 0 174844 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 700596 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31041 /proc/meminfo: memFree=1044980/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=713688 CPUtime=342.21 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 178113 0 0 0 33973 248 0 0 25 0 1 0 25019851 730816512 177965 1992294400 134512640 135752675 4294880224 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 178422 177965 146 303 0 178117 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 713688 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31041 /proc/meminfo: memFree=1020800/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=738072 CPUtime=402.19 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 184213 0 0 0 39947 272 0 0 25 0 1 0 25019851 755785728 184065 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 184518 184065 146 303 0 184213 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 738072 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31043 /proc/meminfo: memFree=996000/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=762584 CPUtime=462.18 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 190312 0 0 0 45918 300 0 0 25 0 1 0 25019851 780886016 190164 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 190646 190164 146 303 0 190341 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 762584 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31045 /proc/meminfo: memFree=971076/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=787676 CPUtime=522.17 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 196575 0 0 0 51889 328 0 0 25 0 1 0 25019851 806580224 196427 1992294400 134512640 135752675 4294880224 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 196919 196427 146 303 0 196614 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 787676 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31047 /proc/meminfo: memFree=947268/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=811372 CPUtime=582.15 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 202492 0 0 0 57862 353 0 0 25 0 1 0 25019851 830844928 202344 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 202843 202344 146 303 0 202538 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 811372 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31049 /proc/meminfo: memFree=921352/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=836932 CPUtime=642.14 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 208880 0 0 0 63835 379 0 0 25 0 1 0 25019851 857018368 208732 1992294400 134512640 135752675 4294880224 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 209233 208732 146 303 0 208928 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 836932 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31064 /proc/meminfo: memFree=801320/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=956752 CPUtime=882.07 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 238784 0 0 0 87731 476 0 0 25 0 1 0 25019851 979714048 238636 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 239188 238636 146 303 0 238883 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 956752 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31066 /proc/meminfo: memFree=776644/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=981708 CPUtime=942.05 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 245013 0 0 0 93705 500 0 0 25 0 1 0 25019851 1005268992 244865 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 245427 244865 146 303 0 245122 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 981708 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31066 /proc/meminfo: memFree=745520/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1012500 CPUtime=1002.04 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 252689 0 0 0 99681 523 0 0 25 0 1 0 25019851 1036800000 252541 1992294400 134512640 135752675 4294880224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 253125 252541 146 303 0 252820 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1012500 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31068 /proc/meminfo: memFree=716752/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1041728 CPUtime=1062.02 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 259947 0 0 0 105657 545 0 0 25 0 1 0 25019851 1066729472 259799 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 260432 259799 146 303 0 260127 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1041728 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31070 /proc/meminfo: memFree=691084/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1066960 CPUtime=1122.01 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 266254 0 0 0 111633 568 0 0 25 0 1 0 25019851 1092567040 266106 1992294400 134512640 135752675 4294880224 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 266740 266106 146 303 0 266435 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1066960 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31072 /proc/meminfo: memFree=663928/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1094692 CPUtime=1181.99 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 273165 0 0 0 117607 592 0 0 25 0 1 0 25019851 1120964608 273017 1992294400 134512640 135752675 4294880224 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 273673 273017 146 303 0 273368 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1094692 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31074 /proc/meminfo: memFree=634416/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1123652 CPUtime=1241.98 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 280405 0 0 0 123585 613 0 0 25 0 1 0 25019851 1150619648 280257 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 280913 280257 146 303 0 280608 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1123652 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31074 /proc/meminfo: memFree=613212/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1144580 CPUtime=1301.97 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 285597 0 0 0 129567 630 0 0 25 0 1 0 25019851 1172049920 285449 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 286145 285449 146 303 0 285840 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1144580 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31076 /proc/meminfo: memFree=591388/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1166592 CPUtime=1361.95 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 291120 0 0 0 135546 649 0 0 25 0 1 0 25019851 1194590208 290972 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 291648 290972 146 303 0 291343 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1166592 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31078 /proc/meminfo: memFree=567084/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1190704 CPUtime=1421.95 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 297128 0 0 0 141524 671 0 0 25 0 1 0 25019851 1219280896 296980 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 297676 296980 146 303 0 297371 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1190704 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31080 /proc/meminfo: memFree=543648/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1214448 CPUtime=1481.92 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 303055 0 0 0 147500 692 0 0 25 0 1 0 25019851 1243594752 302907 1992294400 134512640 135752675 4294880224 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 303612 302907 146 303 0 303307 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1214448 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31082 /proc/meminfo: memFree=505952/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1252160 CPUtime=1541.9 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 312460 0 0 0 153477 713 0 0 25 0 1 0 25019851 1282211840 312312 1992294400 134512640 135752675 4294880224 18446744073709551615 134516330 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 313040 312312 146 303 0 312735 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1252160 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31082 /proc/meminfo: memFree=501364/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1255532 CPUtime=1601.89 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313550 0 0 0 159451 738 0 0 25 0 1 0 25019851 1285664768 313331 1992294400 134512640 135752675 4294880224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 313883 313331 146 303 0 313578 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1255532 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31084 /proc/meminfo: memFree=500992/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1255532 CPUtime=1661.87 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313659 0 0 0 165429 758 0 0 25 0 1 0 25019851 1285664768 313440 1992294400 134512640 135752675 4294880224 18446744073709551615 134605284 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 313883 313440 146 303 0 313578 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1255532 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31086 /proc/meminfo: memFree=500744/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1255532 CPUtime=1721.86 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313676 0 0 0 171409 777 0 0 25 0 1 0 25019851 1285664768 313457 1992294400 134512640 135752675 4294880224 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 313883 313457 146 303 0 313578 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1255532 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31088 /proc/meminfo: memFree=491940/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1264228 CPUtime=1781.85 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 315830 0 0 0 177391 794 0 0 25 0 1 0 25019851 1294569472 315611 1992294400 134512640 135752675 4294880224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 316057 315611 146 303 0 315752 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1264228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31088 /proc/meminfo: memFree=487848/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=1268488 CPUtime=1800.05 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 316864 0 0 0 179204 801 0 0 25 0 1 0 25019851 1298931712 316645 1992294400 134512640 135752675 4294880224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31030/statm: 317122 316645 146 303 0 316817 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1268488 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: 0.99 1.00 0.99 2/108 31089 /proc/meminfo: memFree=1553620/2059040 swapFree=4139820/4192956 [pid=31030] ppid=31028 vsize=0 CPUtime=1800.16 /proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4203524 316864 0 0 0 179204 812 0 0 25 0 1 0 25019851 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.18 CPU user time (s): 1792.05 CPU system time (s): 8.13176 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1268488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.05 system time used= 8.13176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 316864 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= 1500 runsolver used 2.85057 second user time and 8.66368 second system time The end
Begin job on node055 at 2010-07-08 07:48:54 IDJOB=2702459 IDBENCH=48164 IDSOLVER=1190 FILE ID=node055/2702459-1278568134 PBS_JOBID= 11239576 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.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-2702459-1278568134/watcher-2702459-1278568134 -o /tmp/evaluation-result-2702459-1278568134/solver-2702459-1278568134 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702459-1278568134.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED=1389065276 node055.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1759260 kB Buffers: 17448 kB Cached: 194228 kB SwapCached: 6984 kB Active: 82776 kB Inactive: 142684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1759260 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 12068 kB Slab: 52412 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178500 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702459-1278568134.opb Free space on /tmp at the end= 62580 MiB End job on node055 at 2010-07-08 08:18:57