Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
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 | -112 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -111 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 3159 |
Sum of products size | 6318 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702483-1278568398.opb. 0.00/0.00 c Instance file HOME/instance-2702483-1278568398.opb 0.00/0.00 c File size is 270672 bytes. 0.00/0.05 c Highest Coefficient sum: 22 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 3659 | 0.00/0.05 c | Number Clauses: 3159 | 0.00/0.05 c | Number Cardinality: 1000 | 0.00/0.05 c | Number PB Constraints: 3159 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7318 15206 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 0 0.00/0.06 o 0 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7319 15706 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -1 0.00/0.06 o -1 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7320 16206 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -2 0.00/0.06 o -2 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7321 16706 | 5000 0 nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -3 0.06/0.07 o -3 0.06/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 500 7322 17206 | 5000 0 nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -4 0.06/0.07 o -4 0.06/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 500 7323 17706 | 5000 0 nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -5 0.06/0.07 o -5 0.06/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 1 | 500 7324 18206 | 5000 1 496 | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -6 0.06/0.07 o -6 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 1 | 500 7325 18706 | 5000 1 496 | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -7 0.06/0.07 o -7 0.06/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 2 | 500 7326 19206 | 5000 2 495 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -8 0.06/0.08 o -8 0.06/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 3 | 500 7327 19706 | 5000 3 494 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -9 0.06/0.08 o -9 0.06/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 3 | 500 7328 20206 | 5000 3 494 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -10 0.06/0.08 o -10 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 3 | 500 7329 20706 | 5000 3 494 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -11 0.06/0.08 o -11 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 3 | 500 7330 21206 | 5000 3 494 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -12 0.06/0.09 o -12 0.06/0.09 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 500 7331 21706 | 5000 4 493 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -13 0.06/0.09 o -13 0.06/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 9 | 500 7332 22206 | 5000 9 490 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -14 0.06/0.09 o -14 0.06/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 13 | 500 7333 22706 | 5000 13 489 | 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.091986 s Remaining CPU time: 179.908 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 21 | 500 7334 23206 | 5000 21 488 | 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.095985 s Remaining CPU time: 179.904 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 34 | 500 7335 23706 | 5000 34 487 | 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.100984 s Remaining CPU time: 179.899 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 50 | 500 7336 24206 | 5000 50 486 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -18 0.09/0.11 o -18 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 68 | 500 7337 24706 | 5000 68 485 | 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.110983 s Remaining CPU time: 179.889 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 94 | 500 7338 25206 | 5000 94 485 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: -20 0.09/0.13 o -20 0.09/0.13 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 134 | 500 7339 25706 | 5000 134 484 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: -21 0.09/0.13 o -21 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 148 | 500 7340 26206 | 5000 148 483 | 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.134979 s Remaining CPU time: 179.865 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 177 | 500 7341 26706 | 5000 177 483 | 0.000 % | 0.09/0.16 c | 278 | 500 7341 26706 | 5500 278 481 | 86.335 % | 0.09/0.18 c | 429 | 500 7341 26706 | 6050 429 480 | 86.335 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: -23 0.09/0.19 o -23 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 | 445 | 500 7342 27206 | 5000 445 480 | 86.335 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -24 0.19/0.20 o -24 0.19/0.20 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 473 | 500 7343 27706 | 5000 473 480 | 86.335 % | 0.19/0.22 c | 575 | 500 7343 27706 | 5500 575 480 | 86.335 % | 0.19/0.24 c | 725 | 500 7343 27706 | 6050 725 479 | 86.335 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -25 0.19/0.26 o -25 0.19/0.26 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 790 | 500 7344 28206 | 5000 790 479 | 86.335 % | 0.19/0.28 c | 890 | 500 7344 28206 | 5500 890 478 | 86.335 % | 0.28/0.31 c | 1040 | 500 7344 28206 | 6050 1040 478 | 86.335 % | 0.28/0.35 c | 1267 | 500 7344 28206 | 6655 1267 477 | 86.335 % | 0.38/0.42 c | 1606 | 500 7344 28206 | 7320 1606 477 | 86.335 % | 0.38/0.48 c =============================================================================== 0.38/0.48 c New solution: -26 0.38/0.48 o -26 0.38/0.48 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s 0.38/0.48 c =============================================================================== 0.38/0.48 c | 1932 | 500 7345 28706 | 5000 1932 477 | 86.335 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: -27 0.49/0.51 o -27 0.49/0.51 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2019 | 500 7346 29206 | 5000 2019 477 | 86.335 % | 0.49/0.53 c | 2120 | 500 7346 29206 | 5500 2120 477 | 86.335 % | 0.49/0.58 c | 2270 | 500 7346 29206 | 6050 2270 476 | 86.335 % | 0.59/0.63 c | 2495 | 500 7346 29206 | 6655 2495 476 | 86.335 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: -28 0.69/0.71 o -28 0.69/0.71 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 2783 | 500 7347 29706 | 5000 2783 476 | 86.335 % | 0.69/0.75 c | 2883 | 500 7347 29706 | 5500 2883 476 | 86.335 % | 0.79/0.80 c | 3033 | 500 7347 29706 | 6050 3033 476 | 86.335 % | 0.79/0.88 c | 3259 | 500 7347 29706 | 6655 3259 476 | 86.335 % | 0.89/0.98 c | 3596 | 500 7347 29706 | 7320 3596 475 | 86.335 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c New solution: -29 0.99/1.09 o -29 0.99/1.09 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s 0.99/1.09 c =============================================================================== 0.99/1.09 c | 3991 | 500 7348 30206 | 5000 3991 475 | 86.335 % | 1.09/1.14 c | 4092 | 500 7348 30206 | 5500 4092 475 | 86.335 % | 1.09/1.19 c | 4242 | 500 7348 30206 | 6050 4242 475 | 86.335 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: -30 1.19/1.23 o -30 1.19/1.23 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 4428 | 500 7349 30706 | 5000 4428 475 | 86.335 % | 1.19/1.27 c | 4529 | 500 7349 30706 | 5500 4529 475 | 86.335 % | 1.29/1.32 c | 4680 | 500 7349 30706 | 6050 4680 474 | 86.335 % | 1.39/1.40 c | 4906 | 500 7349 30706 | 6655 4906 474 | 86.335 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: -31 1.49/1.52 o -31 1.49/1.52 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 5195 | 500 7350 31206 | 5000 5195 474 | 86.335 % | 1.49/1.59 c | 5295 | 500 7350 31206 | 5500 5295 474 | 86.335 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: -32 1.59/1.61 o -32 1.59/1.61 c Elapsed CPU time: 1.57876 s Remaining CPU time: 178.421 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 5333 | 500 7351 31706 | 5000 5333 474 | 86.335 % | 1.59/1.66 c | 5434 | 500 7351 31706 | 5500 5434 474 | 86.335 % | 1.68/1.72 c | 5584 | 500 7351 31706 | 6050 5584 474 | 86.335 % | 1.78/1.80 c | 5809 | 500 7351 31706 | 6655 5809 474 | 86.335 % | 1.78/1.89 c =============================================================================== 1.78/1.89 c New solution: -33 1.78/1.89 o -33 1.78/1.89 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s 1.78/1.89 c =============================================================================== 1.78/1.89 c | 6019 | 500 7352 32206 | 5000 6019 474 | 86.335 % | 1.89/1.96 c | 6120 | 500 7352 32206 | 5500 6120 473 | 86.335 % | 1.99/2.01 c | 6270 | 500 7352 32206 | 6050 6270 473 | 86.335 % | 2.09/2.10 c | 6495 | 500 7352 32206 | 6655 6495 473 | 86.335 % | 2.19/2.24 c | 6832 | 500 7352 32206 | 7320 6832 473 | 86.335 % | 2.39/2.48 c | 7339 | 500 7352 32206 | 8052 7339 472 | 86.335 % | 2.78/2.86 c | 8099 | 500 7352 32206 | 8857 8099 472 | 86.335 % | 3.09/3.18 c | 9239 | 500 7352 32206 | 9743 9239 472 | 86.335 % | 3.59/3.68 c | 10947 | 500 7352 32206 | 10717 10947 471 | 86.335 % | 4.29/4.36 c | 13510 | 500 7352 32206 | 11789 13510 470 | 86.335 % | 4.49/4.56 c =============================================================================== 4.49/4.56 c New solution: -34 4.49/4.56 o -34 4.49/4.56 c Elapsed CPU time: 4.47532 s Remaining CPU time: 175.525 s 4.49/4.56 c =============================================================================== 4.49/4.56 c | 14227 | 500 7353 32706 | 5000 14227 470 | 86.335 % | 4.69/4.72 c | 14327 | 500 7353 32706 | 5500 7214 468 | 86.335 % | 4.69/4.77 c | 14478 | 500 7353 32706 | 6050 7365 468 | 86.335 % | 4.79/4.87 c | 14704 | 500 7353 32706 | 6655 7591 468 | 86.335 % | 4.88/4.95 c =============================================================================== 4.88/4.95 c New solution: -35 4.88/4.95 o -35 4.88/4.95 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s 4.88/4.95 c =============================================================================== 4.88/4.95 c | 14939 | 500 7354 33206 | 5000 7826 468 | 86.335 % | 4.88/4.98 c | 15040 | 500 7354 33206 | 5500 7927 468 | 86.335 % | 4.98/5.03 c | 15192 | 500 7354 33206 | 6050 8079 468 | 86.335 % | 5.08/5.10 c | 15418 | 500 7354 33206 | 6655 8305 468 | 86.335 % | 5.19/5.20 c | 15756 | 500 7354 33206 | 7320 8643 467 | 86.335 % | 5.29/5.34 c | 16263 | 500 7354 33206 | 8052 9150 467 | 86.335 % | 5.39/5.46 c =============================================================================== 5.39/5.46 c New solution: -36 5.39/5.46 o -36 5.39/5.46 c Elapsed CPU time: 5.36118 s Remaining CPU time: 174.639 s 5.39/5.46 c =============================================================================== 5.39/5.46 c | 16697 | 500 7355 33706 | 5000 9584 467 | 86.335 % | 5.50/5.52 c | 16797 | 500 7355 33706 | 5500 4892 467 | 86.335 % | 5.50/5.57 c | 16947 | 500 7355 33706 | 6050 5042 467 | 86.335 % | 5.59/5.64 c | 17173 | 500 7355 33706 | 6655 5268 466 | 86.335 % | 5.69/5.74 c | 17510 | 500 7355 33706 | 7320 5605 466 | 86.335 % | 5.69/5.75 c =============================================================================== 5.69/5.75 c New solution: -37 5.69/5.75 o -37 5.69/5.75 c Elapsed CPU time: 5.65314 s Remaining CPU time: 174.347 s 5.69/5.75 c =============================================================================== 5.69/5.75 c | 17522 | 500 7356 34206 | 5000 5617 466 | 86.335 % | 5.69/5.79 c | 17623 | 500 7356 34206 | 5500 5718 466 | 86.335 % | 5.79/5.83 c | 17773 | 500 7356 34206 | 6050 5868 466 | 86.335 % | 5.89/5.92 c | 18000 | 500 7356 34206 | 6655 6095 466 | 86.335 % | 5.99/6.01 c =============================================================================== 5.99/6.01 c New solution: -38 5.99/6.01 o -38 5.99/6.01 c Elapsed CPU time: 5.9011 s Remaining CPU time: 174.099 s 5.99/6.01 c =============================================================================== 5.99/6.01 c | 18273 | 500 7357 34706 | 5000 6368 466 | 86.335 % | 5.99/6.04 c | 18374 | 500 7357 34706 | 5500 6469 466 | 86.335 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c New solution: -39 5.99/6.07 o -39 5.99/6.07 c Elapsed CPU time: 5.96909 s Remaining CPU time: 174.031 s 5.99/6.07 c =============================================================================== 5.99/6.07 c | 18469 | 500 7358 35206 | 5000 6564 466 | 86.335 % | 6.09/6.11 c | 18571 | 500 7358 35206 | 5500 6666 466 | 86.335 % | 6.09/6.16 c | 18723 | 500 7358 35206 | 6050 6818 466 | 86.335 % | 6.18/6.23 c | 18948 | 500 7358 35206 | 6655 7043 466 | 86.335 % | 6.29/6.33 c | 19285 | 500 7358 35206 | 7320 7380 466 | 86.335 % | 6.49/6.51 c | 19793 | 500 7358 35206 | 8052 7888 465 | 86.335 % | 6.69/6.73 c | 20552 | 500 7358 35206 | 8857 8647 465 | 86.335 % | 7.09/7.16 c | 21692 | 500 7358 35206 | 9743 9787 465 | 86.335 % | 7.48/7.59 c | 23400 | 500 7358 35206 | 10717 11495 464 | 86.335 % | 8.48/8.58 c | 25962 | 500 7358 35206 | 11789 14057 464 | 86.335 % | 9.59/9.66 c | 29807 | 500 7358 35206 | 12968 10197 461 | 86.335 % | 11.58/11.64 c | 35573 | 500 7358 35206 | 14265 15963 461 | 86.335 % | 11.78/11.83 c =============================================================================== 11.78/11.83 c New solution: -40 11.78/11.83 o -40 11.78/11.83 c Elapsed CPU time: 11.6402 s Remaining CPU time: 168.36 s 11.78/11.83 c =============================================================================== 11.78/11.83 c | 35985 | 500 7359 35706 | 5000 16375 461 | 86.335 % | 11.98/12.01 c | 36085 | 500 7359 35706 | 5500 4194 461 | 86.335 % | 11.98/12.07 c | 36235 | 500 7359 35706 | 6050 4344 461 | 86.335 % | 12.10/12.16 c | 36460 | 500 7359 35706 | 6655 4569 461 | 86.335 % | 12.19/12.27 c | 36797 | 500 7359 35706 | 7320 4906 461 | 86.335 % | 12.38/12.49 c | 37304 | 500 7359 35706 | 8052 5413 461 | 86.335 % | 12.69/12.77 c | 38064 | 500 7359 35706 | 8857 6173 461 | 86.335 % | 12.98/13.07 c | 39205 | 500 7359 35706 | 9743 7314 461 | 86.335 % | 13.68/13.74 c | 40913 | 500 7359 35706 | 10717 9022 461 | 86.335 % | 15.08/15.11 c | 43475 | 500 7359 35706 | 11789 11584 461 | 86.335 % | 16.49/16.54 c | 47321 | 500 7359 35706 | 12968 7725 461 | 86.335 % | 18.98/19.04 c | 53088 | 500 7359 35706 | 14265 13492 461 | 86.335 % | 23.98/24.00 c | 61739 | 500 7359 35706 | 15692 13200 461 | 86.335 % | 27.08/27.16 c =============================================================================== 27.08/27.16 c New solution: -41 27.08/27.16 o -41 27.08/27.16 c Elapsed CPU time: 26.8009 s Remaining CPU time: 153.199 s 27.08/27.16 c =============================================================================== 27.08/27.16 c | 69830 | 500 7360 36206 | 5000 11636 461 | 86.335 % | 27.28/27.30 c | 69930 | 500 7360 36206 | 5500 5918 461 | 86.335 % | 27.38/27.40 c | 70080 | 500 7360 36206 | 6050 6068 461 | 86.335 % | 27.48/27.53 c | 70305 | 500 7360 36206 | 6655 6293 461 | 86.335 % | 27.69/27.72 c | 70642 | 500 7360 36206 | 7320 6630 461 | 86.335 % | 27.78/27.87 c | 71148 | 500 7360 36206 | 8052 7136 461 | 86.335 % | 28.08/28.14 c | 71909 | 500 7360 36206 | 8857 7897 461 | 86.335 % | 28.59/28.64 c | 73049 | 500 7360 36206 | 9743 9037 461 | 86.335 % | 29.08/29.17 c | 74757 | 500 7360 36206 | 10717 10745 461 | 86.335 % | 30.18/30.20 c | 77320 | 500 7360 36206 | 11789 13308 460 | 86.335 % | 31.98/32.07 c | 81165 | 500 7360 36206 | 12968 9448 459 | 86.335 % | 34.68/34.78 c | 86933 | 500 7360 36206 | 14265 15216 460 | 86.335 % | 34.98/35.05 c =============================================================================== 34.98/35.05 c New solution: -42 34.98/35.05 o -42 34.98/35.05 c Elapsed CPU time: 34.6067 s Remaining CPU time: 145.393 s 34.98/35.05 c =============================================================================== 34.98/35.05 c | 87510 | 500 7361 36706 | 5000 15793 460 | 86.335 % | 35.08/35.17 c | 87611 | 500 7361 36706 | 5500 7998 460 | 86.335 % | 35.18/35.23 c | 87761 | 500 7361 36706 | 6050 8148 460 | 86.335 % | 35.28/35.34 c | 87986 | 500 7361 36706 | 6655 8373 460 | 86.335 % | 35.48/35.54 c | 88325 | 500 7361 36706 | 7320 8712 460 | 86.335 % | 35.88/35.93 c | 88831 | 500 7361 36706 | 8052 9218 460 | 86.335 % | 36.08/36.17 c =============================================================================== 36.08/36.17 c New solution: -43 36.08/36.17 o -43 36.08/36.17 c Elapsed CPU time: 35.7176 s Remaining CPU time: 144.282 s 36.08/36.17 c =============================================================================== 36.08/36.17 c | 89188 | 500 7362 37206 | 5000 9575 460 | 86.335 % | 36.18/36.28 c | 89289 | 500 7362 37206 | 5500 4889 460 | 86.335 % | 36.29/36.37 c | 89440 | 500 7362 37206 | 6050 5040 460 | 86.335 % | 36.48/36.50 c | 89666 | 500 7362 37206 | 6655 5266 460 | 86.335 % | 36.58/36.65 c | 90003 | 500 7362 37206 | 7320 5603 459 | 86.335 % | 36.78/36.85 c | 90510 | 500 7362 37206 | 8052 6110 459 | 86.335 % | 37.18/37.20 c | 91270 | 500 7362 37206 | 8857 6870 459 | 86.335 % | 37.48/37.56 c | 92410 | 500 7362 37206 | 9743 8010 459 | 86.335 % | 38.08/38.17 c | 94119 | 500 7362 37206 | 10717 9719 459 | 86.335 % | 40.18/40.23 c | 96682 | 500 7362 37206 | 11789 12282 459 | 86.335 % | 42.58/42.60 c | 100526 | 500 7362 37206 | 12968 8423 458 | 86.335 % | 43.08/43.15 c =============================================================================== 43.08/43.15 c New solution: -44 43.08/43.15 o -44 43.08/43.15 c Elapsed CPU time: 42.6345 s Remaining CPU time: 137.365 s 43.08/43.15 c =============================================================================== 43.08/43.15 c | 102006 | 500 7363 37706 | 5000 9903 458 | 86.335 % | 43.18/43.26 c | 102106 | 500 7363 37706 | 5500 5052 458 | 86.335 % | 43.28/43.34 c | 102256 | 500 7363 37706 | 6050 5202 458 | 86.335 % | 43.38/43.46 c | 102483 | 500 7363 37706 | 6655 5429 458 | 86.335 % | 43.58/43.61 c | 102820 | 500 7363 37706 | 7320 5766 458 | 86.335 % | 43.78/43.84 c | 103326 | 500 7363 37706 | 8052 6272 458 | 86.335 % | 44.28/44.31 c | 104087 | 500 7363 37706 | 8857 7033 458 | 86.335 % | 44.68/44.72 c =============================================================================== 44.68/44.72 c New solution: -45 44.68/44.72 o -45 44.68/44.72 c Elapsed CPU time: 44.1813 s Remaining CPU time: 135.819 s 44.68/44.72 c =============================================================================== 44.68/44.72 c | 104966 | 500 7364 38206 | 5000 7912 458 | 86.335 % | 44.68/44.78 c | 105066 | 500 7364 38206 | 5500 8012 458 | 86.335 % | 44.78/44.86 c | 105217 | 500 7364 38206 | 6050 8163 458 | 86.335 % | 44.87/44.98 c | 105442 | 500 7364 38206 | 6655 8388 458 | 86.335 % | 45.08/45.19 c | 105780 | 500 7364 38206 | 7320 8726 458 | 86.335 % | 45.38/45.47 c | 106286 | 500 7364 38206 | 8052 9232 458 | 86.335 % | 45.88/45.97 c | 107046 | 500 7364 38206 | 8857 9992 458 | 86.335 % | 46.58/46.63 c | 108186 | 500 7364 38206 | 9743 11132 457 | 86.335 % | 48.17/48.20 c | 109895 | 500 7364 38206 | 10717 12841 457 | 86.335 % | 49.88/49.97 c | 112457 | 500 7364 38206 | 11789 8236 456 | 86.335 % | 52.08/52.14 c | 116302 | 500 7364 38206 | 12968 12081 456 | 86.335 % | 54.68/54.71 c | 122069 | 500 7364 38206 | 14265 9555 456 | 86.335 % | 57.88/57.97 c | 130719 | 500 7364 38206 | 15692 9264 456 | 86.335 % | 60.37/60.50 c =============================================================================== 60.37/60.50 c New solution: -46 60.37/60.50 o -46 60.37/60.50 c Elapsed CPU time: 59.7939 s Remaining CPU time: 120.206 s 60.37/60.50 c =============================================================================== 60.37/60.50 c | 136020 | 500 7365 38706 | 5000 14565 456 | 86.335 % | 60.58/60.61 c | 136120 | 500 7365 38706 | 5500 7383 456 | 86.335 % | 60.58/60.67 c | 136271 | 500 7365 38706 | 6050 7534 456 | 86.335 % | 60.67/60.76 c | 136498 | 500 7365 38706 | 6655 7761 456 | 86.335 % | 60.87/60.92 c | 136835 | 500 7365 38706 | 7320 8098 456 | 86.335 % | 61.17/61.25 c | 137341 | 500 7365 38706 | 8052 8604 456 | 86.335 % | 61.47/61.58 c | 138101 | 500 7365 38706 | 8857 9364 456 | 86.335 % | 61.87/61.95 c | 139241 | 500 7365 38706 | 9743 10504 456 | 86.335 % | 62.47/62.52 c | 140951 | 500 7365 38706 | 10717 12214 456 | 86.335 % | 63.38/63.46 c | 143514 | 500 7365 38706 | 11789 7611 455 | 86.335 % | 64.67/64.71 c | 147358 | 500 7365 38706 | 12968 11455 455 | 86.335 % | 66.67/66.72 c | 153126 | 500 7365 38706 | 14265 8931 455 | 86.335 % | 71.07/71.18 c | 161775 | 500 7365 38706 | 15692 17580 455 | 86.335 % | 77.07/77.10 c =============================================================================== 77.07/77.10 c New solution: -47 77.07/77.10 o -47 77.07/77.10 c Elapsed CPU time: 76.2174 s Remaining CPU time: 103.783 s 77.07/77.10 c =============================================================================== 77.07/77.10 c | 171550 | 500 7366 39206 | 5000 17700 455 | 86.335 % | 77.17/77.25 c | 171650 | 500 7366 39206 | 5500 4525 455 | 86.335 % | 77.27/77.34 c | 171801 | 500 7366 39206 | 6050 4676 455 | 86.335 % | 77.37/77.47 c | 172026 | 500 7366 39206 | 6655 4901 455 | 86.335 % | 77.47/77.58 c | 172364 | 500 7366 39206 | 7320 5239 455 | 86.335 % | 77.67/77.76 c | 172871 | 500 7366 39206 | 8052 5746 454 | 86.335 % | 78.08/78.14 c | 173631 | 500 7366 39206 | 8857 6506 454 | 86.335 % | 78.76/78.80 c | 174771 | 500 7366 39206 | 9743 7646 454 | 86.335 % | 79.77/79.80 c | 176480 | 500 7366 39206 | 10717 9355 454 | 86.335 % | 81.47/81.54 c | 179043 | 500 7366 39206 | 11789 11918 454 | 86.335 % | 84.27/84.31 c | 182888 | 500 7366 39206 | 12968 8063 454 | 86.335 % | 86.77/86.85 c | 188654 | 500 7366 39206 | 14265 13829 454 | 86.335 % | 90.37/90.49 c =============================================================================== 90.37/90.49 c New solution: -48 90.37/90.49 o -48 90.37/90.49 c Elapsed CPU time: 89.4914 s Remaining CPU time: 90.5086 s 90.37/90.49 c =============================================================================== 90.37/90.49 c | 195937 | 500 7367 39706 | 5000 12173 454 | 86.335 % | 90.57/90.61 c | 196038 | 500 7367 39706 | 5500 6188 454 | 86.335 % | 90.57/90.68 c | 196189 | 500 7367 39706 | 6050 6339 454 | 86.335 % | 90.67/90.79 c | 196415 | 500 7367 39706 | 6655 6565 454 | 86.335 % | 90.86/90.96 c | 196752 | 500 7367 39706 | 7320 6902 453 | 86.335 % | 91.17/91.20 c | 197260 | 500 7367 39706 | 8052 7410 453 | 86.335 % | 91.47/91.55 c | 198019 | 500 7367 39706 | 8857 8169 453 | 86.335 % | 91.87/91.99 c | 199158 | 500 7367 39706 | 9743 9308 453 | 86.335 % | 92.97/93.04 c | 200867 | 500 7367 39706 | 10717 11017 453 | 86.335 % | 93.86/93.96 c | 203431 | 500 7367 39706 | 11789 13581 453 | 86.335 % | 95.36/95.43 c | 207275 | 500 7367 39706 | 12968 9723 453 | 86.335 % | 96.66/96.72 c =============================================================================== 96.66/96.72 c New solution: -49 96.66/96.72 o -49 96.66/96.72 c Elapsed CPU time: 95.6345 s Remaining CPU time: 84.3655 s 96.66/96.72 c =============================================================================== 96.66/96.72 c | 211150 | 500 7368 40206 | 5000 13598 453 | 86.335 % | 96.77/96.87 c | 211251 | 500 7368 40206 | 5500 6900 453 | 86.335 % | 96.87/96.94 c | 211401 | 500 7368 40206 | 6050 7050 453 | 86.335 % | 96.97/97.05 c | 211627 | 500 7368 40206 | 6655 7276 453 | 86.335 % | 97.07/97.16 c | 211964 | 500 7368 40206 | 7320 7613 453 | 86.335 % | 97.26/97.34 c | 212473 | 500 7368 40206 | 8052 8122 453 | 86.335 % | 97.56/97.62 c | 213232 | 500 7368 40206 | 8857 8881 453 | 86.335 % | 97.96/98.06 c | 214371 | 500 7368 40206 | 9743 10020 453 | 86.335 % | 98.97/99.01 c | 216080 | 500 7368 40206 | 10717 11729 453 | 86.335 % | 100.26/100.34 c | 218643 | 500 7368 40206 | 11789 14292 453 | 86.335 % | 101.86/101.90 c | 222487 | 500 7368 40206 | 12968 10437 452 | 86.335 % | 105.86/105.99 c | 228253 | 500 7368 40206 | 14265 16203 452 | 86.335 % | 111.96/112.02 c | 236905 | 500 7368 40206 | 15692 15918 452 | 86.335 % | 124.15/124.26 c | 249880 | 500 7368 40206 | 17261 19239 453 | 86.335 % | 137.05/137.11 c | 269342 | 500 7368 40206 | 18987 17828 452 | 86.335 % | 154.95/155.06 c | 298534 | 500 7368 40206 | 20886 11266 452 | 86.335 % | 176.14/176.30 c | 342324 | 500 7368 40206 | 22974 13833 452 | 86.335 % | 181.74/181.86 c There are 3159 assigned variables. 0 in cost function. 182.75/182.86 c core #1 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -499 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #2 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -498 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #3 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -497 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #4 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -496 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #5 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -495 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #6 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -494 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #7 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -493 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #8 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -492 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #9 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -491 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #10 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -490 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #11 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -489 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #12 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -488 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #13 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -487 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #14 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -486 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #15 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -485 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #16 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -484 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #17 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -483 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #18 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -482 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #19 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -481 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #20 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -480 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #21 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -479 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #22 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -478 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #23 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -477 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #24 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -476 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #25 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -475 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #26 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -474 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #27 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -473 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #28 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -472 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #29 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -471 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #30 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -470 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #31 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -469 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #32 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -468 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #33 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -467 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #34 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -466 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #35 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -465 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #36 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -464 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #37 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -463 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #38 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -462 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #39 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -461 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #40 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -460 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #41 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -459 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #42 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -458 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #43 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -457 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #44 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -456 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #45 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -455 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #46 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -454 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #47 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -453 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #48 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -452 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #49 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -451 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #50 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -450 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #51 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -449 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #52 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -448 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #53 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -447 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #54 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -446 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #55 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -445 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #56 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -444 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #57 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -443 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #58 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -442 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c core #59 182.75/182.86 c 182.75/182.86 c 182.75/182.86 c Core size: 3 Core Weight: 1 Total Weight: -441 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #60 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -440 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #61 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -439 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #62 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -438 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #63 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -437 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #64 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -436 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #65 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -435 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #66 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -434 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #67 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -433 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #68 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -432 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #69 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -431 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #70 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -430 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #71 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -429 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #72 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -428 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #73 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -427 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #74 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -426 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #75 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -425 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #76 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -424 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #77 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -423 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #78 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -422 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #79 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -421 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #80 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -420 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #81 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -419 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #82 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -418 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #83 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -417 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #84 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -416 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #85 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -415 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #86 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -414 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #87 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -413 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #88 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -412 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #89 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -411 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #90 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -410 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #91 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -409 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #92 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -408 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #93 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -407 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #94 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -406 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #95 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -405 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #96 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -404 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #97 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -403 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #98 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -402 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #99 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -401 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #100 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -400 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #101 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -399 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #102 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -398 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #103 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -397 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #104 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -396 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #105 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -395 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #106 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -394 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #107 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -393 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #108 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -392 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #109 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -391 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #110 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -390 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #111 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -389 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #112 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -388 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #113 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -387 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #114 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -386 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #115 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -385 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #116 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -384 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c core #117 183.34/183.49 c 183.34/183.49 c 183.34/183.49 c Core size: 3 Core Weight: 1 Total Weight: -383 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #118 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -382 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #119 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -381 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #120 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -380 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #121 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -379 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #122 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -378 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #123 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -377 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #124 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -376 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #125 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -375 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #126 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -374 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #127 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -373 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #128 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -372 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #129 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -371 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #130 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -370 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #131 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -369 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #132 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -368 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #133 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -367 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #134 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -366 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #135 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -365 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #136 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -364 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #137 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -363 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #138 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -362 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #139 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -361 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #140 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -360 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #141 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -359 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #142 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -358 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #143 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -357 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #144 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -356 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #145 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -355 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #146 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -354 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #147 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -353 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #148 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -352 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #149 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -351 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #150 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -350 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #151 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -349 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #152 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -348 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #153 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -347 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #154 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -346 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #155 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -345 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #156 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -344 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #157 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -343 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #158 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -342 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #159 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -341 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #160 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -340 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #161 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -339 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #162 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -338 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #163 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -337 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #164 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -336 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #165 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -335 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #166 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -334 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #167 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -333 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #168 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -332 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #169 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -331 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #170 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -330 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #171 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -329 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #172 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -328 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #173 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -327 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #174 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -326 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c core #175 184.04/184.19 c 184.04/184.19 c 184.04/184.19 c Core size: 3 Core Weight: 1 Total Weight: -325 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #176 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -324 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #177 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -323 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #178 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -322 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #179 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -321 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #180 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -320 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #181 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -319 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #182 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -318 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #183 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -317 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #184 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -316 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #185 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -315 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #186 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -314 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #187 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -313 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #188 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -312 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #189 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -311 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #190 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -310 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #191 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -309 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #192 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -308 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #193 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -307 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #194 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -306 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #195 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -305 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #196 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -304 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #197 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -303 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #198 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -302 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #199 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -301 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #200 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -300 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #201 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -299 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #202 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -298 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #203 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -297 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c core #204 184.84/184.96 c 184.84/184.96 c 184.84/184.96 c Core size: 3 Core Weight: 1 Total Weight: -296 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #205 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -295 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #206 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -294 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #207 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -293 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #208 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -292 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #209 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -291 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #210 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -290 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #211 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -289 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #212 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -288 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #213 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -287 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #214 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -286 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #215 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -285 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #216 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -284 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #217 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -283 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #218 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -282 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #219 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -281 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #220 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -280 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #221 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -279 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #222 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -278 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #223 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -277 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #224 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -276 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #225 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -275 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #226 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -274 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #227 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -273 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #228 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -272 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #229 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -271 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #230 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -270 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #231 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -269 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #232 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -268 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c core #233 184.84/184.97 c 184.84/184.97 c 184.84/184.97 c Core size: 3 Core Weight: 1 Total Weight: -267 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #234 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -266 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #235 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -265 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #236 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 11 Core Weight: 1 Total Weight: -264 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #237 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -263 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #238 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -262 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #239 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -261 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #240 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -260 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #241 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -259 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #242 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 11 Core Weight: 1 Total Weight: -258 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #243 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -257 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #244 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 7 Core Weight: 1 Total Weight: -256 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #245 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 11 Core Weight: 1 Total Weight: -255 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #246 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 11 Core Weight: 1 Total Weight: -254 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c core #247 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 14 Core Weight: 1 Total Weight: -253 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #248 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 10 Core Weight: 1 Total Weight: -252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #249 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 19 Core Weight: 1 Total Weight: -251 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #250 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 15 Core Weight: 1 Total Weight: -250 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #251 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 22 Core Weight: 1 Total Weight: -249 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c core #252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 18 Core Weight: 1 Total Weight: -248 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c ============================[ Search Statistics ]============================== 185.34/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.48 c =============================================================================== 185.34/185.48 c | 0 | 1076 7120 32970 | 5000 0 nan | 0.000 % | 185.34/185.48 c =============================================================================== 185.44/185.51 c core #253 185.44/185.51 c 185.44/185.51 c 185.44/185.51 c Core size: 18 Core Weight: 1 Total Weight: -247 185.44/185.51 c 185.44/185.51 c 185.44/185.51 c ============================[ Search Statistics ]============================== 185.44/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.51 c =============================================================================== 185.44/185.51 c | 0 | 1088 7121 32994 | 5000 0 nan | 0.000 % | 185.44/185.52 c =============================================================================== 185.44/185.55 c core #254 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c Core size: 36 Core Weight: 1 Total Weight: -246 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c ============================[ Search Statistics ]============================== 185.44/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.55 c =============================================================================== 185.44/185.55 c | 0 | 1119 7122 33056 | 5000 0 nan | 0.000 % | 185.44/185.57 c =============================================================================== 185.44/185.59 c core #255 185.44/185.59 c 185.44/185.59 c 185.44/185.59 c Core size: 14 Core Weight: 1 Total Weight: -245 185.44/185.59 c 185.44/185.59 c 185.44/185.59 c ============================[ Search Statistics ]============================== 185.44/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.59 c =============================================================================== 185.44/185.59 c | 0 | 1127 7123 33072 | 5000 0 nan | 0.000 % | 185.54/185.61 c =============================================================================== 185.54/185.64 c core #256 185.54/185.64 c 185.54/185.64 c 185.54/185.64 c Core size: 22 Core Weight: 1 Total Weight: -244 185.54/185.64 c 185.54/185.64 c 185.54/185.64 c ============================[ Search Statistics ]============================== 185.54/185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.64 c =============================================================================== 185.54/185.64 c | 0 | 1141 7124 33100 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.68 c core #257 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 16 Core Weight: 1 Total Weight: -243 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c ============================[ Search Statistics ]============================== 185.54/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.68 c =============================================================================== 185.54/185.68 c | 0 | 1151 7125 33120 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.72 c core #258 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 20 Core Weight: 1 Total Weight: -242 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c ============================[ Search Statistics ]============================== 185.64/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.72 c =============================================================================== 185.64/185.72 c | 0 | 1163 7126 33144 | 5000 0 nan | 0.000 % | 185.64/185.73 c =============================================================================== 185.64/185.76 c core #259 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c Core size: 22 Core Weight: 1 Total Weight: -241 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c ============================[ Search Statistics ]============================== 185.64/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.76 c =============================================================================== 185.64/185.76 c | 0 | 1177 7127 33172 | 5000 0 nan | 0.000 % | 185.64/185.77 c =============================================================================== 185.74/185.80 c core #260 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c Core size: 14 Core Weight: 1 Total Weight: -240 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c ============================[ Search Statistics ]============================== 185.74/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.80 c =============================================================================== 185.74/185.80 c | 0 | 1185 7128 33188 | 5000 0 nan | 0.000 % | 185.74/185.81 c =============================================================================== 185.74/185.84 c core #261 185.74/185.84 c 185.74/185.84 c 185.74/185.84 c Core size: 22 Core Weight: 1 Total Weight: -239 185.74/185.84 c 185.74/185.84 c 185.74/185.84 c ============================[ Search Statistics ]============================== 185.74/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.84 c =============================================================================== 185.74/185.84 c | 0 | 1199 7129 33216 | 5000 0 nan | 0.000 % | 185.74/185.84 c =============================================================================== 185.74/185.87 c core #262 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c Core size: 14 Core Weight: 1 Total Weight: -238 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c ============================[ Search Statistics ]============================== 185.74/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.87 c =============================================================================== 185.74/185.87 c | 0 | 1209 7130 33236 | 5000 0 nan | 0.000 % | 185.74/185.88 c =============================================================================== 185.85/185.90 c core #263 185.85/185.90 c 185.85/185.90 c 185.85/185.90 c Core size: 18 Core Weight: 1 Total Weight: -237 185.85/185.90 c 185.85/185.90 c 185.85/185.90 c ============================[ Search Statistics ]============================== 185.85/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.90 c =============================================================================== 185.85/185.90 c | 0 | 1221 7131 33260 | 5000 0 nan | 0.000 % | 185.85/185.91 c =============================================================================== 185.85/185.94 c core #264 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c Core size: 20 Core Weight: 1 Total Weight: -236 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c ============================[ Search Statistics ]============================== 185.85/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.94 c =============================================================================== 185.85/185.94 c | 0 | 1235 7132 33288 | 5000 0 nan | 0.000 % | 185.85/185.94 c =============================================================================== 185.85/185.97 c core #265 185.85/185.97 c 185.85/185.97 c 185.85/185.97 c Core size: 22 Core Weight: 1 Total Weight: -235 185.85/185.97 c 185.85/185.97 c 185.85/185.97 c ============================[ Search Statistics ]============================== 185.85/185.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.97 c =============================================================================== 185.85/185.97 c | 0 | 1249 7133 33316 | 5000 0 nan | 0.000 % | 185.85/185.98 c =============================================================================== 185.94/186.01 c core #266 185.94/186.01 c 185.94/186.01 c 185.94/186.01 c Core size: 18 Core Weight: 1 Total Weight: -234 185.94/186.01 c 185.94/186.01 c 185.94/186.01 c ============================[ Search Statistics ]============================== 185.94/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.01 c =============================================================================== 185.94/186.01 c | 0 | 1261 7134 33340 | 5000 0 nan | 0.000 % | 185.94/186.01 c =============================================================================== 185.94/186.04 c core #267 185.94/186.04 c 185.94/186.04 c 185.94/186.04 c Core size: 22 Core Weight: 1 Total Weight: -233 185.94/186.04 c 185.94/186.04 c 185.94/186.04 c ============================[ Search Statistics ]============================== 185.94/186.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.04 c =============================================================================== 185.94/186.04 c | 0 | 1275 7135 33368 | 5000 0 nan | 0.000 % | 185.94/186.05 c =============================================================================== 185.94/186.07 c core #268 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c Core size: 22 Core Weight: 1 Total Weight: -232 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c ============================[ Search Statistics ]============================== 185.94/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.07 c =============================================================================== 185.94/186.07 c | 0 | 1289 7136 33396 | 5000 0 nan | 0.000 % | 185.94/186.08 c =============================================================================== 186.04/186.11 c core #269 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c Core size: 22 Core Weight: 1 Total Weight: -231 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c ============================[ Search Statistics ]============================== 186.04/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.11 c =============================================================================== 186.04/186.11 c | 0 | 1303 7137 33424 | 5000 0 nan | 0.000 % | 186.04/186.12 c =============================================================================== 186.04/186.14 c core #270 186.04/186.14 c 186.04/186.14 c 186.04/186.14 c Core size: 28 Core Weight: 1 Total Weight: -230 186.04/186.14 c 186.04/186.14 c 186.04/186.14 c ============================[ Search Statistics ]============================== 186.04/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.14 c =============================================================================== 186.04/186.14 c | 0 | 1321 7138 33460 | 5000 0 nan | 0.000 % | 186.04/186.15 c =============================================================================== 186.04/186.18 c core #271 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c Core size: 18 Core Weight: 1 Total Weight: -229 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c ============================[ Search Statistics ]============================== 186.04/186.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.18 c =============================================================================== 186.04/186.18 c | 0 | 1333 7139 33484 | 5000 0 nan | 0.000 % | 186.04/186.18 c =============================================================================== 186.14/186.21 c core #272 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 16 Core Weight: 1 Total Weight: -228 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c ============================[ Search Statistics ]============================== 186.14/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.21 c =============================================================================== 186.14/186.21 c | 0 | 1343 7140 33504 | 5000 0 nan | 0.000 % | 186.14/186.22 c =============================================================================== 186.14/186.25 c core #273 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c Core size: 19 Core Weight: 1 Total Weight: -227 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c ============================[ Search Statistics ]============================== 186.14/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.25 c =============================================================================== 186.14/186.25 c | 0 | 1355 7141 33528 | 5000 0 nan | 0.000 % | 186.14/186.25 c =============================================================================== 186.14/186.28 c core #274 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c Core size: 26 Core Weight: 1 Total Weight: -226 186.14/186.28 c 186.14/186.28 c 186.14/186.28 c ============================[ Search Statistics ]============================== 186.14/186.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.28 c =============================================================================== 186.14/186.28 c | 0 | 1369 7142 33556 | 5000 0 nan | 0.000 % | 186.14/186.29 c =============================================================================== 186.24/186.32 c core #275 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 35 Core Weight: 1 Total Weight: -225 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c ============================[ Search Statistics ]============================== 186.24/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.32 c =============================================================================== 186.24/186.32 c | 0 | 1390 7143 33598 | 5000 0 nan | 0.000 % | 186.24/186.32 c =============================================================================== 186.24/186.35 c core #276 186.24/186.35 c 186.24/186.35 c 186.24/186.35 c Core size: 23 Core Weight: 1 Total Weight: -224 186.24/186.35 c 186.24/186.35 c 186.24/186.35 c ============================[ Search Statistics ]============================== 186.24/186.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.35 c =============================================================================== 186.24/186.35 c | 0 | 1403 7144 33624 | 5000 0 nan | 0.000 % | 186.24/186.36 c =============================================================================== 186.24/186.39 c core #277 186.24/186.39 c 186.24/186.39 c 186.24/186.39 c Core size: 28 Core Weight: 1 Total Weight: -223 186.24/186.39 c 186.24/186.39 c 186.24/186.39 c ============================[ Search Statistics ]============================== 186.24/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.39 c =============================================================================== 186.24/186.39 c | 0 | 1419 7145 33656 | 5000 0 nan | 0.000 % | 186.34/186.40 c =============================================================================== 186.34/186.43 c core #278 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c Core size: 38 Core Weight: 1 Total Weight: -222 186.34/186.43 c 186.34/186.43 c 186.34/186.43 c ============================[ Search Statistics ]============================== 186.34/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.43 c =============================================================================== 186.34/186.43 c | 0 | 1445 7146 33708 | 5000 0 nan | 0.000 % | 186.34/186.45 c =============================================================================== 186.34/186.48 c core #279 186.34/186.48 c 186.34/186.48 c 186.34/186.48 c Core size: 40 Core Weight: 1 Total Weight: -221 186.34/186.48 c 186.34/186.48 c 186.34/186.48 c ============================[ Search Statistics ]============================== 186.34/186.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.48 c =============================================================================== 186.34/186.48 c | 0 | 1467 7147 33752 | 5000 0 nan | 0.000 % | 186.44/186.51 c =============================================================================== 186.44/186.53 c core #280 186.44/186.53 c 186.44/186.53 c 186.44/186.53 c Core size: 88 Core Weight: 1 Total Weight: -220 186.44/186.53 c 186.44/186.53 c 186.44/186.53 c ============================[ Search Statistics ]============================== 186.44/186.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.53 c =============================================================================== 186.44/186.53 c | 0 | 1520 7148 33858 | 5000 0 nan | 0.000 % | 186.54/186.60 c =============================================================================== 186.54/186.63 c core #281 186.54/186.63 c 186.54/186.63 c 186.54/186.63 c Core size: 74 Core Weight: 1 Total Weight: -219 186.54/186.63 c 186.54/186.63 c 186.54/186.63 c ============================[ Search Statistics ]============================== 186.54/186.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.63 c =============================================================================== 186.54/186.63 c | 0 | 1593 7149 34004 | 5000 0 nan | 0.000 % | 186.65/186.70 c | 101 | 1593 7149 34004 | 5500 101 17 | 66.498 % | 186.65/186.79 c | 251 | 1592 7149 34004 | 6050 251 17 | 66.498 % | 186.85/186.90 c | 476 | 1592 7149 34004 | 6655 476 18 | 66.498 % | 187.14/187.21 c | 814 | 1592 7149 34004 | 7320 813 23 | 66.498 % | 187.44/187.56 c | 1320 | 1592 7149 34004 | 8052 1319 25 | 66.499 % | 187.44/187.59 c =============================================================================== 187.54/187.63 c core #282 187.54/187.63 c 187.54/187.63 c 187.54/187.63 c Core size: 166 Core Weight: 1 Total Weight: -218 187.54/187.63 c 187.54/187.63 c 187.54/187.63 c ============================[ Search Statistics ]============================== 187.54/187.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.63 c =============================================================================== 187.54/187.63 c | 0 | 1726 7150 34270 | 5000 0 nan | 0.000 % | 187.64/187.73 c | 101 | 1726 7150 34270 | 5500 101 77 | 64.667 % | 187.74/187.80 c | 255 | 1726 7150 34270 | 6050 255 74 | 64.667 % | 187.74/187.89 c | 480 | 1726 7150 34270 | 6655 480 84 | 64.667 % | 187.84/187.98 c | 818 | 1726 7150 34270 | 7320 818 76 | 64.667 % | 188.14/188.20 c | 1324 | 1726 7150 34270 | 8052 1324 67 | 64.667 % | 188.35/188.44 c | 2085 | 1726 7150 34270 | 8857 2085 63 | 64.667 % | 188.94/189.07 c | 3228 | 1726 7150 34270 | 9743 3228 54 | 64.667 % | 190.34/190.40 c | 4936 | 1726 7150 34270 | 10717 4936 56 | 64.667 % | 192.04/192.19 c | 7500 | 1726 7150 34270 | 11789 7500 58 | 64.667 % | 193.24/193.30 c =============================================================================== 193.34/193.47 c core #283 193.34/193.47 c 193.34/193.47 c 193.34/193.47 c Core size: 248 Core Weight: 1 Total Weight: -217 193.34/193.47 c 193.34/193.47 c 193.34/193.47 c ============================[ Search Statistics ]============================== 193.34/193.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.47 c =============================================================================== 193.34/193.47 c | 0 | 1955 7151 34728 | 5000 0 nan | 0.000 % | 193.44/193.55 c | 101 | 1955 7151 34728 | 5500 101 67 | 61.772 % | 193.54/193.61 c | 251 | 1955 7151 34728 | 6050 251 52 | 61.772 % | 193.54/193.69 c | 476 | 1954 7151 34728 | 6655 469 44 | 61.791 % | 193.74/193.85 c | 813 | 1953 7151 34728 | 7320 806 37 | 61.811 % | 194.04/194.12 c | 1319 | 1953 7151 34728 | 8052 1310 37 | 61.811 % | 194.34/194.48 c | 2082 | 1953 7151 34728 | 8857 2073 40 | 61.811 % | 195.04/195.18 c | 3221 | 1952 7151 34728 | 9743 3211 38 | 61.830 % | 195.54/195.62 c =============================================================================== 195.64/195.71 c core #284 195.64/195.71 c 195.64/195.71 c 195.64/195.71 c Core size: 243 Core Weight: 1 Total Weight: -216 195.64/195.71 c 195.64/195.71 c 195.64/195.71 c ============================[ Search Statistics ]============================== 195.64/195.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.64/195.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.64/195.71 c =============================================================================== 195.64/195.71 c | 0 | 2189 7152 35196 | 5000 0 nan | 0.000 % | 195.64/195.77 c | 100 | 2189 7152 35196 | 5500 100 30 | 59.069 % | 195.75/195.84 c | 251 | 2189 7152 35196 | 6050 251 28 | 59.069 % | 195.84/195.94 c | 477 | 2189 7152 35196 | 6655 477 35 | 59.069 % | 195.94/196.07 c | 815 | 2189 7152 35196 | 7320 815 46 | 59.069 % | 196.24/196.39 c | 1322 | 2189 7152 35196 | 8052 1322 64 | 59.069 % | 196.74/196.90 c | 2085 | 2189 7152 35196 | 8857 2085 67 | 59.069 % | 197.63/197.74 c | 3225 | 2189 7152 35196 | 9743 3225 65 | 59.069 % | 198.54/198.62 c | 4933 | 2189 7152 35196 | 10717 4933 57 | 59.069 % | 200.64/200.74 c | 7498 | 2189 7152 35196 | 11789 7498 52 | 59.069 % | 204.24/204.40 c | 11342 | 2189 7152 35196 | 12968 11342 52 | 59.069 % | 207.13/207.22 c =============================================================================== 207.33/207.42 c core #285 207.33/207.42 c 207.33/207.42 c 207.33/207.42 c Core size: 236 Core Weight: 1 Total Weight: -215 207.33/207.42 c 207.33/207.42 c 207.33/207.42 c ============================[ Search Statistics ]============================== 207.33/207.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.33/207.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.33/207.42 c =============================================================================== 207.33/207.42 c | 0 | 2394 7153 35606 | 5000 0 nan | 0.000 % | 207.33/207.47 c | 101 | 2394 7153 35606 | 5500 101 42 | 56.888 % | 207.43/207.53 c | 254 | 2394 7153 35606 | 6050 254 39 | 56.888 % | 207.53/207.61 c | 481 | 2394 7153 35606 | 6655 481 44 | 56.888 % | 207.64/207.77 c | 819 | 2394 7153 35606 | 7320 819 47 | 56.888 % | 207.93/208.01 c | 1326 | 2394 7153 35606 | 8052 1326 52 | 56.888 % | 208.34/208.40 c | 2086 | 2394 7153 35606 | 8857 2086 61 | 56.888 % | 208.84/208.97 c | 3227 | 2394 7153 35606 | 9743 3227 74 | 56.888 % | 209.83/209.95 c | 4937 | 2394 7153 35606 | 10717 4937 79 | 56.888 % | 211.93/212.06 c | 7504 | 2394 7153 35606 | 11789 7504 86 | 56.888 % | 215.33/215.40 c | 11352 | 2394 7153 35606 | 12968 11352 87 | 56.888 % | 220.23/220.39 c | 17120 | 2394 7153 35606 | 14265 8980 49 | 56.888 % | 229.13/229.25 c | 25770 | 2394 7153 35606 | 15692 17630 49 | 56.888 % | 242.43/242.51 c | 38746 | 2394 7153 35606 | 17261 11642 46 | 56.888 % | 252.62/252.79 c =============================================================================== 254.03/254.13 c core #286 254.03/254.13 c 254.03/254.13 c 254.03/254.13 c Core size: 235 Core Weight: 1 Total Weight: -214 254.03/254.13 c 254.03/254.13 c 254.03/254.13 c ============================[ Search Statistics ]============================== 254.03/254.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.03/254.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.03/254.13 c =============================================================================== 254.03/254.13 c | 0 | 2593 7154 36004 | 5000 0 nan | 0.000 % | 254.13/254.23 c | 102 | 2593 7154 36004 | 5500 102 80 | 54.920 % | 254.13/254.27 c | 252 | 2593 7154 36004 | 6050 252 45 | 54.920 % | 254.22/254.36 c | 477 | 2593 7154 36004 | 6655 477 47 | 54.920 % | 254.32/254.49 c | 814 | 2593 7154 36004 | 7320 814 52 | 54.920 % | 254.52/254.69 c | 1323 | 2593 7154 36004 | 8052 1323 61 | 54.920 % | 254.82/254.95 c | 2083 | 2593 7154 36004 | 8857 2083 73 | 54.920 % | 255.43/255.50 c | 3226 | 2593 7154 36004 | 9743 3226 80 | 54.920 % | 256.33/256.42 c | 4934 | 2593 7154 36004 | 10717 4934 75 | 54.920 % | 258.13/258.21 c | 7499 | 2593 7154 36004 | 11789 7499 76 | 54.920 % | 261.73/261.82 c | 11344 | 2593 7154 36004 | 12968 11344 81 | 54.920 % | 269.62/269.73 c | 17110 | 2593 7154 36004 | 14265 8872 90 | 54.920 % | 280.32/280.45 c | 25759 | 2593 7154 36004 | 15692 17521 100 | 54.920 % | 299.52/299.67 c | 38733 | 2593 7154 36004 | 17261 11430 97 | 54.920 % | 315.71/315.80 c | 58196 | 2593 7154 36004 | 18987 10348 67 | 54.920 % | 345.70/345.87 c | 87388 | 2593 7154 36004 | 20886 17244 78 | 54.920 % | 393.59/393.75 c =============================================================================== 395.69/395.82 c core #287 395.69/395.82 c 395.69/395.82 c 395.69/395.82 c Core size: 211 Core Weight: 1 Total Weight: -213 395.69/395.82 c 395.69/395.82 c 395.69/395.82 c ============================[ Search Statistics ]============================== 395.69/395.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 395.69/395.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 395.69/395.82 c =============================================================================== 395.69/395.82 c | 0 | 2794 7155 36406 | 5000 0 nan | 0.000 % | 395.79/395.93 c | 101 | 2794 7155 36406 | 5500 101 41 | 53.066 % | 395.79/396.00 c | 251 | 2794 7155 36406 | 6050 251 41 | 53.066 % | 395.89/396.08 c | 476 | 2794 7155 36406 | 6655 476 36 | 53.066 % | 396.09/396.21 c | 814 | 2794 7155 36406 | 7320 814 39 | 53.066 % | 396.19/396.33 c | 1320 | 2794 7155 36406 | 8052 1320 42 | 53.066 % | 396.49/396.62 c | 2079 | 2794 7155 36406 | 8857 2079 51 | 53.066 % | 397.19/397.34 c | 3220 | 2794 7155 36406 | 9743 3220 57 | 53.066 % | 398.59/398.76 c | 4928 | 2794 7155 36406 | 10717 4928 72 | 53.066 % | 400.79/400.91 c | 7490 | 2794 7155 36406 | 11789 7490 85 | 53.066 % | 405.29/405.47 c | 11338 | 2794 7155 36406 | 12968 11338 99 | 53.066 % | 410.79/410.91 c | 17104 | 2794 7155 36406 | 14265 8919 94 | 53.066 % | 420.38/420.51 c | 25753 | 2794 7155 36406 | 15692 17568 101 | 53.066 % | 435.38/435.52 c | 38727 | 2794 7155 36406 | 17261 11430 105 | 53.066 % | 459.08/459.25 c | 58194 | 2794 7155 36406 | 18987 20615 111 | 53.066 % | 503.45/503.65 c | 87391 | 2794 7155 36406 | 20886 16100 134 | 53.066 % | 569.24/569.43 c | 131181 | 2794 7155 36406 | 22974 23380 141 | 53.066 % | 689.20/689.43 c | 196868 | 2794 7155 36406 | 25272 22371 153 | 53.066 % | 865.36/865.66 c | 295396 | 2794 7155 36406 | 27799 17892 148 | 53.066 % | 1135.59/1135.93 c | 443185 | 2794 7155 36406 | 30579 25730 160 | 53.066 % | 1677.35/1677.88 c | 664869 | 2794 7155 36406 | 33637 31825 180 | 53.066 % |
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-2702483-1278568398/watcher-2702483-1278568398 -o /tmp/evaluation-result-2702483-1278568398/solver-2702483-1278568398 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702483-1278568398.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.01 0.93 2/106 1083 /proc/meminfo: memFree=1711668/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=24036 CPUtime=0 /proc/1083/stat : 1083 (runsolver) R 1081 1083 31414 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 1 0 25053583 24612864 106 1992294400 4194304 4302564 140735513991520 18446744073709551615 216120534007 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/1083/statm: 6009 106 69 27 0 2647 0 [startup+0.0691739 s] /proc/loadavg: 1.06 1.01 0.93 2/106 1083 /proc/meminfo: memFree=1711668/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=4540 CPUtime=0.06 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 834 0 0 0 6 0 0 0 19 0 1 0 25053583 4648960 685 1992294400 134512640 135752675 4292679984 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 1135 685 143 303 0 830 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4540 [startup+0.101178 s] /proc/loadavg: 1.06 1.01 0.93 2/106 1083 /proc/meminfo: memFree=1711668/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=4540 CPUtime=0.09 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 835 0 0 0 9 0 0 0 19 0 1 0 25053583 4648960 686 1992294400 134512640 135752675 4292679984 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 1135 686 144 303 0 830 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4540 [startup+0.301199 s] /proc/loadavg: 1.06 1.01 0.93 2/106 1083 /proc/meminfo: memFree=1711668/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=6208 CPUtime=0.28 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 1251 0 0 0 27 1 0 0 20 0 1 0 25053583 6356992 1102 1992294400 134512640 135752675 4292679984 18446744073709551615 134638289 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 1552 1102 145 303 0 1247 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6208 [startup+0.701239 s] /proc/loadavg: 1.06 1.01 0.93 2/106 1083 /proc/meminfo: memFree=1711668/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=9676 CPUtime=0.69 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 2133 0 0 0 67 2 0 0 20 0 1 0 25053583 9908224 1984 1992294400 134512640 135752675 4292679984 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 2419 1985 145 303 0 2114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9676 [startup+1.50132 s] /proc/loadavg: 1.06 1.01 0.93 2/107 1084 /proc/meminfo: memFree=1702856/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=14444 CPUtime=1.49 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 3320 0 0 0 146 3 0 0 22 0 1 0 25053583 14790656 3171 1992294400 134512640 135752675 4292679984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 3611 3171 145 303 0 3306 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14444 [startup+3.10049 s] /proc/loadavg: 1.06 1.01 0.93 2/107 1084 /proc/meminfo: memFree=1696904/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=21772 CPUtime=3.09 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 5131 0 0 0 303 6 0 0 25 0 1 0 25053583 22294528 4982 1992294400 134512640 135752675 4292679984 18446744073709551615 134638882 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 5443 4982 145 303 0 5138 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21772 [startup+6.30081 s] /proc/loadavg: 1.06 1.01 0.93 2/107 1084 /proc/meminfo: memFree=1677312/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=41816 CPUtime=6.29 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 10169 0 0 0 618 11 0 0 25 0 1 0 25053583 42819584 10020 1992294400 134512640 135752675 4292679984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 10454 10020 145 303 0 10149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41816 [startup+12.7005 s] /proc/loadavg: 1.05 1.01 0.93 2/107 1084 /proc/meminfo: memFree=1639616/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=77604 CPUtime=12.69 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 19110 0 0 0 1249 20 0 0 25 0 1 0 25053583 79466496 18961 1992294400 134512640 135752675 4292679984 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 19401 18962 145 303 0 19096 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77604 [startup+25.5018 s] /proc/loadavg: 1.04 1.01 0.93 2/107 1084 /proc/meminfo: memFree=1584312/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=131088 CPUtime=25.48 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 32467 0 0 0 2515 33 0 0 25 0 1 0 25053583 134234112 32318 1992294400 134512640 135752675 4292679984 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 32772 32319 145 303 0 32467 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 131088 [startup+51.1014 s] /proc/loadavg: 1.02 1.01 0.93 2/107 1085 /proc/meminfo: memFree=1491684/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=223900 CPUtime=51.08 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 55645 0 0 0 5050 58 0 0 25 0 1 0 25053583 229273600 55496 1992294400 134512640 135752675 4292679984 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 55975 55496 145 303 0 55670 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 223900 [startup+102.309 s] /proc/loadavg: 1.01 1.00 0.93 2/107 1086 /proc/meminfo: memFree=1284480/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=429084 CPUtime=102.27 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 106900 0 0 0 10116 111 0 0 25 0 1 0 25053583 439382016 106751 1992294400 134512640 135752675 4292679984 18446744073709551615 134640906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 107271 106751 145 303 0 106966 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 429084 [startup+162.302 s] /proc/loadavg: 1.08 1.02 0.93 2/107 1088 /proc/meminfo: memFree=1120676/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=594284 CPUtime=162.25 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 148195 0 0 0 16069 156 0 0 25 0 1 0 25053583 608546816 148046 1992294400 134512640 135752675 4292679984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 148571 148046 145 303 0 148266 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 594284 [startup+222.301 s] /proc/loadavg: 1.10 1.03 0.94 2/107 1090 /proc/meminfo: memFree=1026188/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=686012 CPUtime=222.24 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 171225 0 0 0 22023 201 0 0 25 0 1 0 25053583 702476288 171076 1992294400 134512640 135752675 4292679984 18446744073709551615 134640016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 171503 171076 146 303 0 171198 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 686012 [startup+282.301 s] /proc/loadavg: 1.10 1.04 0.94 2/107 1091 /proc/meminfo: memFree=1008456/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=703988 CPUtime=282.21 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 175725 0 0 0 27993 228 0 0 25 0 1 0 25053583 720883712 175561 1992294400 134512640 135752675 4292679984 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 175997 175561 146 303 0 175692 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 703988 [startup+342.301 s] /proc/loadavg: 1.10 1.04 0.95 2/107 1093 /proc/meminfo: memFree=984772/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=727340 CPUtime=342.2 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 181555 0 0 0 33961 259 0 0 25 0 1 0 25053583 744796160 181391 1992294400 134512640 135752675 4292679984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 181835 181391 146 303 0 181530 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 727340 [startup+402.301 s] /proc/loadavg: 1.09 1.05 0.95 2/107 1094 /proc/meminfo: memFree=967288/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=744572 CPUtime=402.19 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 185917 0 0 0 39937 282 0 0 25 0 1 0 25053583 762441728 185685 1992294400 134512640 135752675 4292679984 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 186143 185685 146 303 0 185838 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 744572 [startup+462.302 s] /proc/loadavg: 1.08 1.05 0.96 2/107 1096 /proc/meminfo: memFree=946084/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=765920 CPUtime=462.18 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 191259 0 0 0 45907 311 0 0 25 0 1 0 25053583 784302080 191027 1992294400 134512640 135752675 4292679984 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 191480 191027 146 303 0 191175 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 765920 [startup+522.302 s] /proc/loadavg: 1.08 1.06 0.96 2/107 1107 /proc/meminfo: memFree=922028/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=790188 CPUtime=522.14 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 197329 0 0 0 51876 338 0 0 25 0 1 0 25053583 809152512 197097 1992294400 134512640 135752675 4292679984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 197547 197097 146 303 0 197242 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 790188 [startup+582.302 s] /proc/loadavg: 1.11 1.07 0.97 2/107 1108 /proc/meminfo: memFree=894996/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=816844 CPUtime=582.13 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 203984 0 0 0 57849 364 0 0 25 0 1 0 25053583 836448256 203752 1992294400 134512640 135752675 4292679984 18446744073709551615 134612058 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 204211 203752 146 303 0 203906 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 816844 [startup+642.302 s] /proc/loadavg: 1.14 1.09 0.98 2/107 1110 /proc/meminfo: memFree=871188/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=840468 CPUtime=642.12 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 209865 0 0 0 63827 385 0 0 25 0 1 0 25053583 860639232 209633 1992294400 134512640 135752675 4292679984 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 210117 209633 146 303 0 209812 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 840468 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.03 0.98 2/107 1116 /proc/meminfo: memFree=774964/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=936736 CPUtime=882.05 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 233862 0 0 0 87733 472 0 0 25 0 1 0 25053583 959217664 233630 1992294400 134512640 135752675 4292679984 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 234184 233630 146 303 0 233879 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 936736 [startup+942.302 s] /proc/loadavg: 1.00 1.02 0.98 2/107 1118 /proc/meminfo: memFree=750164/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=961904 CPUtime=942.04 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 240154 0 0 0 93707 497 0 0 25 0 1 0 25053583 984989696 239922 1992294400 134512640 135752675 4292679984 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 240476 239922 146 303 0 240171 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 961904 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 0.98 2/107 1119 /proc/meminfo: memFree=725860/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=985708 CPUtime=1002.02 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 246098 0 0 0 99683 519 0 0 25 0 1 0 25053583 1009364992 245866 1992294400 134512640 135752675 4292679984 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 246427 245866 146 303 0 246122 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 985708 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.98 2/107 1124 /proc/meminfo: memFree=698704/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1013104 CPUtime=1062.01 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 252941 0 0 0 105657 544 0 0 25 0 1 0 25053583 1037418496 252709 1992294400 134512640 135752675 4292679984 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 253276 252709 146 303 0 252971 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1013104 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.98 2/107 1126 /proc/meminfo: memFree=674772/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1037024 CPUtime=1121.99 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 258897 0 0 0 111635 564 0 0 25 0 1 0 25053583 1061912576 258665 1992294400 134512640 135752675 4292679984 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 259256 258665 146 303 0 258951 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1037024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1127 /proc/meminfo: memFree=655676/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1056300 CPUtime=1181.98 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 263710 0 0 0 117616 582 0 0 25 0 1 0 25053583 1081651200 263478 1992294400 134512640 135752675 4292679984 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 264075 263478 146 303 0 263770 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1056300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1129 /proc/meminfo: memFree=634596/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1076864 CPUtime=1241.96 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 268820 0 0 0 123600 596 0 0 25 0 1 0 25053583 1102708736 268588 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 269216 268588 146 303 0 268911 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1076864 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1130 /proc/meminfo: memFree=614508/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1096856 CPUtime=1301.95 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 273796 0 0 0 129580 615 0 0 25 0 1 0 25053583 1123180544 273564 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 274214 273564 146 303 0 273909 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1096856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1132 /proc/meminfo: memFree=592560/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1118860 CPUtime=1361.94 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 279315 0 0 0 135558 636 0 0 25 0 1 0 25053583 1145712640 279083 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 279715 279083 146 303 0 279410 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1118860 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 0.99 2/107 1134 /proc/meminfo: memFree=571108/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1140184 CPUtime=1421.93 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 284626 0 0 0 141537 656 0 0 25 0 1 0 25053583 1167548416 284394 1992294400 134512640 135752675 4292679984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 285046 284394 146 303 0 284741 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1140184 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 0.99 2/107 1135 /proc/meminfo: memFree=550524/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1161112 CPUtime=1481.9 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 289845 0 0 0 147517 673 0 0 25 0 1 0 25053583 1188978688 289613 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 290278 289613 146 303 0 289973 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1161112 [startup+1542.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 1140 /proc/meminfo: memFree=531304/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1179760 CPUtime=1541.88 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 294476 0 0 0 153496 692 0 0 25 0 1 0 25053583 1208074240 294244 1992294400 134512640 135752675 4292679984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 294940 294244 146 303 0 294635 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1179760 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 1141 /proc/meminfo: memFree=512704/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1198752 CPUtime=1601.87 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 299205 0 0 0 159477 710 0 0 25 0 1 0 25053583 1227522048 298973 1992294400 134512640 135752675 4292679984 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 299688 298973 146 303 0 299383 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1198752 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 1143 /proc/meminfo: memFree=487780/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1223468 CPUtime=1661.86 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 305380 0 0 0 165457 729 0 0 25 0 1 0 25053583 1252831232 305148 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 305867 305148 146 303 0 305562 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1223468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1145 /proc/meminfo: memFree=463724/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1247600 CPUtime=1721.84 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 311432 0 0 0 171435 749 0 0 25 0 1 0 25053583 1277542400 311200 1992294400 134512640 135752675 4292679984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 311900 311200 146 303 0 311595 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1247600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1146 /proc/meminfo: memFree=441404/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1269824 CPUtime=1781.83 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 316959 0 0 0 177412 771 0 0 25 0 1 0 25053583 1300299776 316727 1992294400 134512640 135752675 4292679984 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 317456 316727 146 303 0 317151 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1269824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1147 /proc/meminfo: memFree=434708/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=1276304 CPUtime=1800.02 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4202496 318588 0 0 0 179225 777 0 0 25 0 1 0 25053583 1306935296 318356 1992294400 134512640 135752675 4292679984 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1083/statm: 319076 318356 146 303 0 318771 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1276304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1148 /proc/meminfo: memFree=1533340/2059040 swapFree=4134944/4192956 [pid=1083] ppid=1081 vsize=0 CPUtime=1800.13 /proc/1083/stat : 1083 (wbo1.4b) R 1081 1083 31414 0 -1 4203524 318588 0 0 0 179226 787 0 0 25 0 1 0 25053583 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/1083/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.15 CPU user time (s): 1792.26 CPU system time (s): 7.8898 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1276304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.26 system time used= 7.8898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 318588 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= 21 involuntary context switches= 978 runsolver used 3.10853 second user time and 8.40772 second system time The end
Begin job on node002 at 2010-07-08 07:53:18 IDJOB=2702483 IDBENCH=48176 IDSOLVER=1190 FILE ID=node002/2702483-1278568398 PBS_JOBID= 11239536 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.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-2702483-1278568398/watcher-2702483-1278568398 -o /tmp/evaluation-result-2702483-1278568398/solver-2702483-1278568398 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702483-1278568398.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=505427000 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1712816 kB Buffers: 91792 kB Cached: 169568 kB SwapCached: 12900 kB Active: 157444 kB Inactive: 119228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1712816 kB SwapTotal: 4192956 kB SwapFree: 4134944 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 12008 kB Mapped: 8488 kB Slab: 47588 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180904 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-2702483-1278568398.opb Free space on /tmp at the end= 62564 MiB End job on node002 at 2010-07-08 08:23:21