Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 7089 | 1800.06 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4666 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.07 c Initial problem consists of 2756 variables and 749 constraints. 0.07 c preprocess terminated. Elapsed time: 0.065 0.07 c After prepocess the problem consists of 2731 variables and 736 constraints. 0.07 c Initial Lower Bound: 0 11.11 c Sol. found (all assignments made)... 11.11 o 74085 11.11 c NEW SOLUTION FOUND: 74085 @ 11.098 11.12 c Sol. found (all assignments made)... 11.12 o 74083 11.12 c NEW SOLUTION FOUND: 74083 @ 11.104 11.13 c Sol. found (all assignments made)... 11.13 o 74080 11.13 c NEW SOLUTION FOUND: 74080 @ 11.111 11.14 c Sol. found (all assignments made)... 11.14 o 74079 11.14 c NEW SOLUTION FOUND: 74079 @ 11.121 11.15 c Sol. found (all assignments made)... 11.15 o 74078 11.15 c NEW SOLUTION FOUND: 74078 @ 11.132 11.16 c Sol. found (all assignments made)... 11.16 o 74076 11.16 c NEW SOLUTION FOUND: 74076 @ 11.146 11.18 c Sol. found (all assignments made)... 11.18 o 74074 11.18 c NEW SOLUTION FOUND: 74074 @ 11.168 11.21 c Sol. found (all assignments made)... 11.21 o 74015 11.21 c NEW SOLUTION FOUND: 74015 @ 11.194 11.24 c Sol. found (all assignments made)... 11.24 o 74014 11.24 c NEW SOLUTION FOUND: 74014 @ 11.221 11.26 c Sol. found (all assignments made)... 11.26 o 74011 11.26 c NEW SOLUTION FOUND: 74011 @ 11.245 11.29 c Sol. found (all assignments made)... 11.29 o 73992 11.29 c NEW SOLUTION FOUND: 73992 @ 11.273 11.32 c Sol. found (all assignments made)... 11.32 o 73989 11.32 c NEW SOLUTION FOUND: 73989 @ 11.299 11.35 c Sol. found (all assignments made)... 11.35 o 73987 11.35 c NEW SOLUTION FOUND: 73987 @ 11.335 11.38 c Sol. found (all assignments made)... 11.38 o 73984 11.38 c NEW SOLUTION FOUND: 73984 @ 11.362 12.64 c Sol. found (all assignments made)... 12.64 o 69439 12.64 c NEW SOLUTION FOUND: 69439 @ 12.625 12.67 c Sol. found (all assignments made)... 12.67 o 69436 12.67 c NEW SOLUTION FOUND: 69436 @ 12.65 12.71 c Sol. found (all assignments made)... 12.71 o 69341 12.71 c NEW SOLUTION FOUND: 69341 @ 12.691 12.77 c Sol. found (all assignments made)... 12.77 o 69336 12.77 c NEW SOLUTION FOUND: 69336 @ 12.757 12.81 c Sol. found (all assignments made)... 12.81 o 69314 12.81 c NEW SOLUTION FOUND: 69314 @ 12.79 12.86 c Sol. found (all assignments made)... 12.86 o 69311 12.86 c NEW SOLUTION FOUND: 69311 @ 12.844 12.90 c Sol. found (all assignments made)... 12.90 o 69297 12.90 c NEW SOLUTION FOUND: 69297 @ 12.887 12.94 c Sol. found (all assignments made)... 12.94 o 69275 12.94 c NEW SOLUTION FOUND: 69275 @ 12.925 12.98 c Sol. found (all assignments made)... 12.98 o 69238 12.98 c NEW SOLUTION FOUND: 69238 @ 12.967 13.02 c Sol. found (all assignments made)... 13.02 o 69216 13.02 c NEW SOLUTION FOUND: 69216 @ 13.004 13.09 c Sol. found (all assignments made)... 13.09 o 69213 13.09 c NEW SOLUTION FOUND: 69213 @ 13.074 13.18 c Sol. found (all assignments made)... 13.18 o 69206 13.18 c NEW SOLUTION FOUND: 69206 @ 13.165 13.22 c Sol. found (all assignments made)... 13.22 o 69150 13.22 c NEW SOLUTION FOUND: 69150 @ 13.208 13.27 c Sol. found (all assignments made)... 13.27 o 69147 13.27 c NEW SOLUTION FOUND: 69147 @ 13.25 13.31 c Sol. found (all assignments made)... 13.31 o 69146 13.31 c NEW SOLUTION FOUND: 69146 @ 13.295 13.36 c Sol. found (all assignments made)... 13.36 o 69143 13.36 c NEW SOLUTION FOUND: 69143 @ 13.338 13.54 c Restart #1 #Var: 2719 LB: 0 @ 13.519 30.03 c Sol. found (all assignments made)... 30.03 o 37774 30.03 c NEW SOLUTION FOUND: 37774 @ 30.006 30.07 c Sol. found (all assignments made)... 30.07 o 37733 30.07 c NEW SOLUTION FOUND: 37733 @ 30.042 30.14 c Sol. found (all assignments made)... 30.14 o 37701 30.14 c NEW SOLUTION FOUND: 37701 @ 30.114 30.19 c Sol. found (all assignments made)... 30.19 o 37688 30.19 c NEW SOLUTION FOUND: 37688 @ 30.166 30.23 c Sol. found (all assignments made)... 30.23 o 37656 30.23 c NEW SOLUTION FOUND: 37656 @ 30.209 30.28 c Sol. found (all assignments made)... 30.28 o 37655 30.28 c NEW SOLUTION FOUND: 37655 @ 30.262 30.34 c Sol. found (all assignments made)... 30.34 o 37654 30.34 c NEW SOLUTION FOUND: 37654 @ 30.314 30.40 c Sol. found (all assignments made)... 30.40 o 37653 30.40 c NEW SOLUTION FOUND: 37653 @ 30.379 30.46 c Sol. found (all assignments made)... 30.46 o 37651 30.46 c NEW SOLUTION FOUND: 37651 @ 30.434 30.51 c Sol. found (all assignments made)... 30.51 o 37650 30.51 c NEW SOLUTION FOUND: 37650 @ 30.49 30.57 c Sol. found (all assignments made)... 30.57 o 37638 30.57 c NEW SOLUTION FOUND: 37638 @ 30.549 30.63 c Sol. found (all assignments made)... 30.63 o 37636 30.63 c NEW SOLUTION FOUND: 37636 @ 30.603 30.68 c Sol. found (all assignments made)... 30.68 o 37634 30.68 c NEW SOLUTION FOUND: 37634 @ 30.661 30.74 c Sol. found (all assignments made)... 30.74 o 37633 30.74 c NEW SOLUTION FOUND: 37633 @ 30.717 30.93 c Sol. found (all assignments made)... 30.93 o 37548 30.93 c NEW SOLUTION FOUND: 37548 @ 30.912 31.00 c Sol. found (all assignments made)... 31.00 o 37546 31.00 c NEW SOLUTION FOUND: 37546 @ 30.979 31.07 c Sol. found (all assignments made)... 31.07 o 37541 31.07 c NEW SOLUTION FOUND: 37541 @ 31.049 31.14 c Sol. found (all assignments made)... 31.14 o 37502 31.14 c NEW SOLUTION FOUND: 37502 @ 31.116 31.21 c Sol. found (all assignments made)... 31.21 o 37500 31.21 c NEW SOLUTION FOUND: 37500 @ 31.183 31.28 c Sol. found (all assignments made)... 31.28 o 37499 31.28 c NEW SOLUTION FOUND: 37499 @ 31.255 31.35 c Sol. found (all assignments made)... 31.35 o 37493 31.35 c NEW SOLUTION FOUND: 37493 @ 31.329 31.42 c Sol. found (all assignments made)... 31.42 o 37491 31.42 c NEW SOLUTION FOUND: 37491 @ 31.396 31.56 c Sol. found (all assignments made)... 31.56 o 37481 31.56 c NEW SOLUTION FOUND: 37481 @ 31.533 31.64 c Sol. found (all assignments made)... 31.64 o 37478 31.64 c NEW SOLUTION FOUND: 37478 @ 31.617 31.71 c Sol. found (all assignments made)... 31.71 o 37477 31.71 c NEW SOLUTION FOUND: 37477 @ 31.691 31.79 c Sol. found (all assignments made)... 31.79 o 37475 31.79 c NEW SOLUTION FOUND: 37475 @ 31.77 31.88 c Sol. found (all assignments made)... 31.88 o 37474 31.88 c NEW SOLUTION FOUND: 37474 @ 31.852 32.15 c Restart #2 #Var: 2719 LB: 0 @ 32.123 34.12 c Sol. found (all assignments made)... 34.12 o 28460 34.12 c NEW SOLUTION FOUND: 28460 @ 34.095 34.14 c Sol. found (all assignments made)... 34.14 o 28443 34.14 c NEW SOLUTION FOUND: 28443 @ 34.112 34.28 c Sol. found (all assignments made)... 34.28 o 28315 34.28 c NEW SOLUTION FOUND: 28315 @ 34.256 34.37 c Sol. found (all assignments made)... 34.37 o 28310 34.37 c NEW SOLUTION FOUND: 28310 @ 34.348 34.43 c Sol. found (all assignments made)... 34.43 o 28304 34.43 c NEW SOLUTION FOUND: 28304 @ 34.401 34.48 c Sol. found (all assignments made)... 34.48 o 28212 34.48 c NEW SOLUTION FOUND: 28212 @ 34.454 34.53 c Sol. found (all assignments made)... 34.53 o 28195 34.53 c NEW SOLUTION FOUND: 28195 @ 34.507 34.59 c Sol. found (all assignments made)... 34.59 o 28052 34.59 c NEW SOLUTION FOUND: 28052 @ 34.569 34.65 c Sol. found (all assignments made)... 34.65 o 28035 34.65 c NEW SOLUTION FOUND: 28035 @ 34.627 34.71 c Sol. found (all assignments made)... 34.71 o 27935 34.71 c NEW SOLUTION FOUND: 27935 @ 34.685 34.77 c Sol. found (all assignments made)... 34.77 o 27929 34.77 c NEW SOLUTION FOUND: 27929 @ 34.742 34.83 c Sol. found (all assignments made)... 34.83 o 27901 34.83 c NEW SOLUTION FOUND: 27901 @ 34.803 34.89 c Sol. found (all assignments made)... 34.89 o 27797 34.89 c NEW SOLUTION FOUND: 27797 @ 34.868 34.97 c Sol. found (all assignments made)... 34.97 o 27786 34.97 c NEW SOLUTION FOUND: 27786 @ 34.946 35.03 c Sol. found (all assignments made)... 35.03 o 27782 35.03 c NEW SOLUTION FOUND: 27782 @ 35.006 35.10 c Sol. found (all assignments made)... 35.10 o 27757 35.10 c NEW SOLUTION FOUND: 27757 @ 35.071 35.16 c Sol. found (all assignments made)... 35.16 o 27704 35.16 c NEW SOLUTION FOUND: 27704 @ 35.137 35.23 c Sol. found (all assignments made)... 35.23 o 27687 35.23 c NEW SOLUTION FOUND: 27687 @ 35.208 35.30 c Sol. found (all assignments made)... 35.30 o 27523 35.30 c NEW SOLUTION FOUND: 27523 @ 35.278 35.39 c Sol. found (all assignments made)... 35.39 o 27434 35.39 c NEW SOLUTION FOUND: 27434 @ 35.361 35.97 c Sol. found (all assignments made)... 35.97 o 27391 35.97 c NEW SOLUTION FOUND: 27391 @ 35.95 36.10 c Sol. found (all assignments made)... 36.10 o 27380 36.10 c NEW SOLUTION FOUND: 27380 @ 36.076 36.23 c Sol. found (all assignments made)... 36.23 o 27374 36.23 c NEW SOLUTION FOUND: 27374 @ 36.201 36.48 c Sol. found (all assignments made)... 36.48 o 27373 36.48 c NEW SOLUTION FOUND: 27373 @ 36.452 36.56 c Sol. found (all assignments made)... 36.56 o 27372 36.56 c NEW SOLUTION FOUND: 27372 @ 36.53 36.64 c Sol. found (all assignments made)... 36.64 o 27371 36.64 c NEW SOLUTION FOUND: 27371 @ 36.611 36.71 c Sol. found (all assignments made)... 36.71 o 27370 36.71 c NEW SOLUTION FOUND: 27370 @ 36.683 36.77 c Sol. found (all assignments made)... 36.77 o 27350 36.77 c NEW SOLUTION FOUND: 27350 @ 36.746 36.84 c Sol. found (all assignments made)... 36.84 o 27346 36.84 c NEW SOLUTION FOUND: 27346 @ 36.811 36.91 c Sol. found (all assignments made)... 36.91 o 27344 36.91 c NEW SOLUTION FOUND: 27344 @ 36.885 37.01 c Sol. found (all assignments made)... 37.01 o 27335 37.01 c NEW SOLUTION FOUND: 27335 @ 36.988 37.14 c Sol. found (all assignments made)... 37.14 o 27333 37.14 c NEW SOLUTION FOUND: 27333 @ 37.119 37.35 c Sol. found (all assignments made)... 37.35 o 27331 37.35 c NEW SOLUTION FOUND: 27331 @ 37.329 37.53 c Sol. found (all assignments made)... 37.53 o 27317 37.53 c NEW SOLUTION FOUND: 27317 @ 37.505 37.66 c Sol. found (all assignments made)... 37.66 o 27316 37.66 c NEW SOLUTION FOUND: 27316 @ 37.632 37.78 c Sol. found (all assignments made)... 37.78 o 27239 37.78 c NEW SOLUTION FOUND: 27239 @ 37.751 37.91 c Sol. found (all assignments made)... 37.91 o 27209 37.91 c NEW SOLUTION FOUND: 27209 @ 37.883 38.07 c Sol. found (all assignments made)... 38.07 o 27148 38.07 c NEW SOLUTION FOUND: 27148 @ 38.049 38.35 c Sol. found (all assignments made)... 38.35 o 27145 38.35 c NEW SOLUTION FOUND: 27145 @ 38.326 38.60 c Sol. found (all assignments made)... 38.60 o 27133 38.60 c NEW SOLUTION FOUND: 27133 @ 38.575 38.79 c Sol. found (all assignments made)... 38.79 o 27127 38.79 c NEW SOLUTION FOUND: 27127 @ 38.759 38.93 c Sol. found (all assignments made)... 38.93 o 27115 38.93 c NEW SOLUTION FOUND: 27115 @ 38.907 39.08 c Sol. found (all assignments made)... 39.08 o 27065 39.08 c NEW SOLUTION FOUND: 27065 @ 39.056 39.23 c Sol. found (all assignments made)... 39.23 o 27053 39.23 c NEW SOLUTION FOUND: 27053 @ 39.203 39.38 c Sol. found (all assignments made)... 39.38 o 26992 39.38 c NEW SOLUTION FOUND: 26992 @ 39.353 39.58 c Sol. found (all assignments made)... 39.58 o 26858 39.58 c NEW SOLUTION FOUND: 26858 @ 39.558 39.75 c Sol. found (all assignments made)... 39.75 o 26846 39.75 c NEW SOLUTION FOUND: 26846 @ 39.718 39.88 c Sol. found (all assignments made)... 39.88 o 26829 39.88 c NEW SOLUTION FOUND: 26829 @ 39.854 40.04 c Sol. found (all assignments made)... 40.04 o 26757 40.04 c NEW SOLUTION FOUND: 26757 @ 40.012 40.23 c Sol. found (all assignments made)... 40.23 o 26745 40.23 c NEW SOLUTION FOUND: 26745 @ 40.199 40.59 c Sol. found (all assignments made)... 40.59 o 26737 40.60 c NEW SOLUTION FOUND: 26737 @ 40.567 40.93 c Sol. found (all assignments made)... 40.93 o 26725 40.93 c NEW SOLUTION FOUND: 26725 @ 40.901 41.94 c Restart #3 #Var: 2719 LB: 0 @ 41.911 44.09 c Sol. found (all assignments made)... 44.09 o 26720 44.09 c NEW SOLUTION FOUND: 26720 @ 44.063 44.14 c Sol. found (all assignments made)... 44.14 o 26711 44.14 c NEW SOLUTION FOUND: 26711 @ 44.107 44.21 c Sol. found (all assignments made)... 44.21 o 26699 44.21 c NEW SOLUTION FOUND: 26699 @ 44.183 44.48 c Sol. found (all assignments made)... 44.48 o 26694 44.48 c NEW SOLUTION FOUND: 26694 @ 44.449 44.59 c Sol. found (all assignments made)... 44.59 o 26496 44.59 c NEW SOLUTION FOUND: 26496 @ 44.564 44.75 c Sol. found (all assignments made)... 44.75 o 26485 44.75 c NEW SOLUTION FOUND: 26485 @ 44.717 44.85 c Sol. found (all assignments made)... 44.85 o 26467 44.85 c NEW SOLUTION FOUND: 26467 @ 44.821 45.26 c Sol. found (all assignments made)... 45.26 o 26466 45.26 c NEW SOLUTION FOUND: 26466 @ 45.233 45.37 c Sol. found (all assignments made)... 45.37 o 26465 45.37 c NEW SOLUTION FOUND: 26465 @ 45.34 45.52 c Sol. found (all assignments made)... 45.52 o 26464 45.52 c NEW SOLUTION FOUND: 26464 @ 45.491 45.65 c Sol. found (all assignments made)... 45.65 o 26463 45.65 c NEW SOLUTION FOUND: 26463 @ 45.617 45.73 c Sol. found (all assignments made)... 45.73 o 26462 45.73 c NEW SOLUTION FOUND: 26462 @ 45.7 45.83 c Sol. found (all assignments made)... 45.83 o 26461 45.83 c NEW SOLUTION FOUND: 26461 @ 45.803 45.97 c Sol. found (all assignments made)... 45.97 o 26458 45.97 c NEW SOLUTION FOUND: 26458 @ 45.939 46.09 c Sol. found (all assignments made)... 46.09 o 26455 46.09 c NEW SOLUTION FOUND: 26455 @ 46.055 46.25 c Sol. found (all assignments made)... 46.25 o 26453 46.25 c NEW SOLUTION FOUND: 26453 @ 46.22 46.42 c Sol. found (all assignments made)... 46.42 o 26452 46.42 c NEW SOLUTION FOUND: 26452 @ 46.386 46.56 c Sol. found (all assignments made)... 46.56 o 26446 46.56 c NEW SOLUTION FOUND: 26446 @ 46.525 46.66 c Sol. found (all assignments made)... 46.66 o 26440 46.66 c NEW SOLUTION FOUND: 26440 @ 46.629 46.80 c Sol. found (all assignments made)... 46.80 o 26433 46.80 c NEW SOLUTION FOUND: 26433 @ 46.768 46.92 c Sol. found (all assignments made)... 46.92 o 26427 46.92 c NEW SOLUTION FOUND: 26427 @ 46.883 47.09 c Sol. found (all assignments made)... 47.09 o 26414 47.09 c NEW SOLUTION FOUND: 26414 @ 47.055 47.19 c Sol. found (all assignments made)... 47.19 o 26411 47.19 c NEW SOLUTION FOUND: 26411 @ 47.16 47.30 c Sol. found (all assignments made)... 47.30 o 26396 47.30 c NEW SOLUTION FOUND: 26396 @ 47.266 47.43 c Sol. found (all assignments made)... 47.43 o 26393 47.43 c NEW SOLUTION FOUND: 26393 @ 47.401 47.56 c Sol. found (all assignments made)... 47.56 o 26381 47.56 c NEW SOLUTION FOUND: 26381 @ 47.522 47.66 c Sol. found (all assignments made)... 47.66 o 26363 47.66 c NEW SOLUTION FOUND: 26363 @ 47.631 47.77 c Sol. found (all assignments made)... 47.77 o 26304 47.77 c NEW SOLUTION FOUND: 26304 @ 47.733 47.94 c Sol. found (all assignments made)... 47.94 o 26283 47.94 c NEW SOLUTION FOUND: 26283 @ 47.908 48.18 c Sol. found (all assignments made)... 48.18 o 26250 48.18 c NEW SOLUTION FOUND: 26250 @ 48.149 48.29 c Sol. found (all assignments made)... 48.29 o 26119 48.29 c NEW SOLUTION FOUND: 26119 @ 48.26 48.52 c Sol. found (all assignments made)... 48.52 o 26052 48.52 c NEW SOLUTION FOUND: 26052 @ 48.482 48.68 c Sol. found (all assignments made)... 48.68 o 25880 48.68 c NEW SOLUTION FOUND: 25880 @ 48.642 48.79 c Sol. found (all assignments made)... 48.79 o 25850 48.79 c NEW SOLUTION FOUND: 25850 @ 48.758 48.89 c Sol. found (all assignments made)... 48.89 o 25576 48.89 c NEW SOLUTION FOUND: 25576 @ 48.859 48.99 c Sol. found (all assignments made)... 48.99 o 25095 48.99 c NEW SOLUTION FOUND: 25095 @ 48.961 49.10 c Sol. found (all assignments made)... 49.10 o 24821 49.10 c NEW SOLUTION FOUND: 24821 @ 49.063 49.22 c Sol. found (all assignments made)... 49.22 o 24784 49.22 c NEW SOLUTION FOUND: 24784 @ 49.191 49.34 c Sol. found (all assignments made)... 49.34 o 24510 49.34 c NEW SOLUTION FOUND: 24510 @ 49.307 49.48 c Sol. found (all assignments made)... 49.48 o 24321 49.48 c NEW SOLUTION FOUND: 24321 @ 49.446 49.60 c Sol. found (all assignments made)... 49.60 o 23944 49.60 c NEW SOLUTION FOUND: 23944 @ 49.564 49.74 c Sol. found (all assignments made)... 49.74 o 23798 49.74 c NEW SOLUTION FOUND: 23798 @ 49.705 49.86 c Sol. found (all assignments made)... 49.86 o 23735 49.86 c NEW SOLUTION FOUND: 23735 @ 49.826 49.98 c Sol. found (all assignments made)... 49.98 o 23588 49.98 c NEW SOLUTION FOUND: 23588 @ 49.95 50.11 c Sol. found (all assignments made)... 50.11 o 23542 50.11 c NEW SOLUTION FOUND: 23542 @ 50.074 50.24 c Sol. found (all assignments made)... 50.24 o 23537 50.24 c NEW SOLUTION FOUND: 23537 @ 50.211 51.68 c Sol. found (all assignments made)... 51.68 o 23535 51.68 c NEW SOLUTION FOUND: 23535 @ 51.648 52.37 c Sol. found (all assignments made)... 52.37 o 21164 52.37 c NEW SOLUTION FOUND: 21164 @ 52.338 52.49 c Sol. found (all assignments made)... 52.49 o 21146 52.49 c NEW SOLUTION FOUND: 21146 @ 52.456 52.61 c Sol. found (all assignments made)... 52.61 o 10049 52.61 c NEW SOLUTION FOUND: 10049 @ 52.572 52.72 c Sol. found (all assignments made)... 52.72 o 10031 52.72 c NEW SOLUTION FOUND: 10031 @ 52.686 52.85 c Sol. found (all assignments made)... 52.85 o 10026 52.85 c NEW SOLUTION FOUND: 10026 @ 52.816 52.98 c Sol. found (all assignments made)... 52.98 o 10015 52.98 c NEW SOLUTION FOUND: 10015 @ 52.941 53.09 c Sol. found (all assignments made)... 53.09 o 9997 53.09 c NEW SOLUTION FOUND: 9997 @ 53.055 53.53 c Sol. found (all assignments made)... 53.53 o 9996 53.53 c NEW SOLUTION FOUND: 9996 @ 53.496 53.66 c Sol. found (all assignments made)... 53.66 o 9985 53.66 c NEW SOLUTION FOUND: 9985 @ 53.623 53.77 c Sol. found (all assignments made)... 53.77 o 9967 53.77 c NEW SOLUTION FOUND: 9967 @ 53.739 54.62 c Sol. found (all assignments made)... 54.62 o 9959 54.62 c NEW SOLUTION FOUND: 9959 @ 54.583 54.74 c Sol. found (all assignments made)... 54.74 o 9941 54.74 c NEW SOLUTION FOUND: 9941 @ 54.702 55.00 c Sol. found (all assignments made)... 55.00 o 9936 55.00 c NEW SOLUTION FOUND: 9936 @ 54.963 55.17 c Sol. found (all assignments made)... 55.17 o 9912 55.17 c NEW SOLUTION FOUND: 9912 @ 55.132 55.29 c Sol. found (all assignments made)... 55.29 o 9907 55.29 c NEW SOLUTION FOUND: 9907 @ 55.251 55.65 c Sol. found (all assignments made)... 55.65 o 9906 55.65 c NEW SOLUTION FOUND: 9906 @ 55.618 55.77 c Sol. found (all assignments made)... 55.77 o 9901 55.77 c NEW SOLUTION FOUND: 9901 @ 55.738 55.96 c Sol. found (all assignments made)... 55.96 o 9896 55.96 c NEW SOLUTION FOUND: 9896 @ 55.926 56.16 c Sol. found (all assignments made)... 56.16 o 9867 56.16 c NEW SOLUTION FOUND: 9867 @ 56.126 56.36 c Sol. found (all assignments made)... 56.36 o 9745 56.36 c NEW SOLUTION FOUND: 9745 @ 56.324 56.52 c Sol. found (all assignments made)... 56.52 o 9740 56.52 c NEW SOLUTION FOUND: 9740 @ 56.485 56.67 c Sol. found (all assignments made)... 56.67 o 9711 56.67 c NEW SOLUTION FOUND: 9711 @ 56.638 56.97 c Sol. found (all assignments made)... 56.97 o 9705 56.97 c NEW SOLUTION FOUND: 9705 @ 56.937 57.11 c Sol. found (all assignments made)... 57.11 o 9700 57.11 c NEW SOLUTION FOUND: 9700 @ 57.077 57.25 c Sol. found (all assignments made)... 57.25 o 9671 57.25 c NEW SOLUTION FOUND: 9671 @ 57.217 57.42 c Sol. found (all assignments made)... 57.42 o 9666 57.42 c NEW SOLUTION FOUND: 9666 @ 57.388 57.58 c Sol. found (all assignments made)... 57.58 o 9661 57.58 c NEW SOLUTION FOUND: 9661 @ 57.541 57.72 c Sol. found (all assignments made)... 57.72 o 9637 57.72 c NEW SOLUTION FOUND: 9637 @ 57.688 57.85 c Sol. found (all assignments made)... 57.85 o 9632 57.85 c NEW SOLUTION FOUND: 9632 @ 57.815 58.07 c Sol. found (all assignments made)... 58.07 o 9626 58.07 c NEW SOLUTION FOUND: 9626 @ 58.031 58.21 c Sol. found (all assignments made)... 58.21 o 9621 58.21 c NEW SOLUTION FOUND: 9621 @ 58.177 58.36 c Sol. found (all assignments made)... 58.36 o 9592 58.36 c NEW SOLUTION FOUND: 9592 @ 58.321 58.51 c Sol. found (all assignments made)... 58.51 o 9563 58.51 c NEW SOLUTION FOUND: 9563 @ 58.472 58.64 c Sol. found (all assignments made)... 58.64 o 9558 58.64 c NEW SOLUTION FOUND: 9558 @ 58.607 58.78 c Sol. found (all assignments made)... 58.78 o 9529 58.78 c NEW SOLUTION FOUND: 9529 @ 58.74 58.91 c Sol. found (all assignments made)... 58.91 o 9522 58.91 c NEW SOLUTION FOUND: 9522 @ 58.875 59.04 c Sol. found (all assignments made)... 59.04 o 9502 59.04 c NEW SOLUTION FOUND: 9502 @ 59.008 59.19 c Sol. found (all assignments made)... 59.19 o 9206 59.19 c NEW SOLUTION FOUND: 9206 @ 59.149 59.32 c Sol. found (all assignments made)... 59.32 o 9201 59.32 c NEW SOLUTION FOUND: 9201 @ 59.284 59.45 c Sol. found (all assignments made)... 59.45 o 9172 59.45 c NEW SOLUTION FOUND: 9172 @ 59.417 59.69 c Sol. found (all assignments made)... 59.69 o 9159 59.69 c NEW SOLUTION FOUND: 9159 @ 59.648 60.00 c Sol. found (all assignments made)... 60.00 o 9144 60.00 c NEW SOLUTION FOUND: 9144 @ 59.962 60.16 c Sol. found (all assignments made)... 60.16 o 9134 60.16 c NEW SOLUTION FOUND: 9134 @ 60.121 60.48 c Sol. found (all assignments made)... 60.48 o 9126 60.48 c NEW SOLUTION FOUND: 9126 @ 60.443 60.62 c Sol. found (all assignments made)... 60.62 o 9125 60.62 c NEW SOLUTION FOUND: 9125 @ 60.584 60.78 c Sol. found (all assignments made)... 60.78 o 9115 60.78 c NEW SOLUTION FOUND: 9115 @ 60.743 61.02 c Sol. found (all assignments made)... 61.02 o 9107 61.02 c NEW SOLUTION FOUND: 9107 @ 60.984 61.27 c Sol. found (all assignments made)... 61.27 o 9099 61.27 c NEW SOLUTION FOUND: 9099 @ 61.23 61.43 c Sol. found (all assignments made)... 61.43 o 9081 61.43 c NEW SOLUTION FOUND: 9081 @ 61.395 61.69 c Sol. found (all assignments made)... 61.69 o 9072 61.69 c NEW SOLUTION FOUND: 9072 @ 61.647 62.03 c Sol. found (all assignments made)... 62.03 o 9062 62.03 c NEW SOLUTION FOUND: 9062 @ 61.987 62.19 c Sol. found (all assignments made)... 62.19 o 9047 62.19 c NEW SOLUTION FOUND: 9047 @ 62.155 62.45 c Sol. found (all assignments made)... 62.45 o 9039 62.45 c NEW SOLUTION FOUND: 9039 @ 62.412 62.80 c Sol. found (all assignments made)... 62.80 o 9029 62.80 c NEW SOLUTION FOUND: 9029 @ 62.763 62.98 c Sol. found (all assignments made)... 62.98 o 9011 62.98 c NEW SOLUTION FOUND: 9011 @ 62.937 63.15 c Sol. found (all assignments made)... 63.15 o 8998 63.15 c NEW SOLUTION FOUND: 8998 @ 63.112 63.42 c Sol. found (all assignments made)... 63.42 o 8984 63.42 c NEW SOLUTION FOUND: 8984 @ 63.383 63.70 c Sol. found (all assignments made)... 63.70 o 8974 63.70 c NEW SOLUTION FOUND: 8974 @ 63.658 63.88 c Sol. found (all assignments made)... 63.88 o 8963 63.88 c NEW SOLUTION FOUND: 8963 @ 63.838 64.06 c Sol. found (all assignments made)... 64.06 o 8951 64.06 c NEW SOLUTION FOUND: 8951 @ 64.02 64.24 c Sol. found (all assignments made)... 64.24 o 8940 64.24 c NEW SOLUTION FOUND: 8940 @ 64.203 64.43 c Sol. found (all assignments made)... 64.43 o 8934 64.43 c NEW SOLUTION FOUND: 8934 @ 64.388 64.63 c Sol. found (all assignments made)... 64.63 o 8925 64.63 c NEW SOLUTION FOUND: 8925 @ 64.589 64.91 c Sol. found (all assignments made)... 64.91 o 8915 64.91 c NEW SOLUTION FOUND: 8915 @ 64.875 65.07 c Sol. found (all assignments made)... 65.07 o 8914 65.07 c NEW SOLUTION FOUND: 8914 @ 65.033 65.55 c Sol. found (all assignments made)... 65.55 o 8913 65.55 c NEW SOLUTION FOUND: 8913 @ 65.507 65.71 c Sol. found (all assignments made)... 65.71 o 8903 65.71 c NEW SOLUTION FOUND: 8903 @ 65.667 65.87 c Sol. found (all assignments made)... 65.87 o 8902 65.87 c NEW SOLUTION FOUND: 8902 @ 65.826 66.08 c Sol. found (all assignments made)... 66.08 o 8898 66.08 c NEW SOLUTION FOUND: 8898 @ 66.035 66.24 c Sol. found (all assignments made)... 66.24 o 8897 66.24 c NEW SOLUTION FOUND: 8897 @ 66.198 66.64 c Sol. found (all assignments made)... 66.64 o 8894 66.64 c NEW SOLUTION FOUND: 8894 @ 66.595 66.80 c Sol. found (all assignments made)... 66.80 o 8893 66.80 c NEW SOLUTION FOUND: 8893 @ 66.759 67.03 c Sol. found (all assignments made)... 67.03 o 8890 67.03 c NEW SOLUTION FOUND: 8890 @ 66.989 67.19 c Sol. found (all assignments made)... 67.19 o 8889 67.19 c NEW SOLUTION FOUND: 8889 @ 67.153 67.42 c Sol. found (all assignments made)... 67.42 o 8881 67.42 c NEW SOLUTION FOUND: 8881 @ 67.384 67.59 c Sol. found (all assignments made)... 67.59 o 8880 67.59 c NEW SOLUTION FOUND: 8880 @ 67.548 67.82 c Sol. found (all assignments made)... 67.82 o 8873 67.82 c NEW SOLUTION FOUND: 8873 @ 67.779 67.99 c Sol. found (all assignments made)... 67.99 o 8872 67.99 c NEW SOLUTION FOUND: 8872 @ 67.944 68.22 c Sol. found (all assignments made)... 68.22 o 8865 68.22 c NEW SOLUTION FOUND: 8865 @ 68.176 68.38 c Sol. found (all assignments made)... 68.38 o 8864 68.38 c NEW SOLUTION FOUND: 8864 @ 68.341 68.62 c Sol. found (all assignments made)... 68.62 o 8861 68.62 c NEW SOLUTION FOUND: 8861 @ 68.575 68.78 c Sol. found (all assignments made)... 68.78 o 8860 68.78 c NEW SOLUTION FOUND: 8860 @ 68.74 69.14 c Sol. found (all assignments made)... 69.14 o 8851 69.14 c NEW SOLUTION FOUND: 8851 @ 69.096 69.30 c Sol. found (all assignments made)... 69.30 o 8850 69.30 c NEW SOLUTION FOUND: 8850 @ 69.261 69.50 c Sol. found (all assignments made)... 69.50 o 8844 69.51 c NEW SOLUTION FOUND: 8844 @ 69.463 69.65 c Sol. found (all assignments made)... 69.65 o 8840 69.65 c NEW SOLUTION FOUND: 8840 @ 69.612 69.80 c Sol. found (all assignments made)... 69.80 o 8838 69.80 c NEW SOLUTION FOUND: 8838 @ 69.76 69.95 c Sol. found (all assignments made)... 69.95 o 8837 69.95 c NEW SOLUTION FOUND: 8837 @ 69.91 70.17 c Sol. found (all assignments made)... 70.17 o 8833 70.17 c NEW SOLUTION FOUND: 8833 @ 70.133 70.32 c Sol. found (all assignments made)... 70.32 o 8829 70.32 c NEW SOLUTION FOUND: 8829 @ 70.281 70.47 c Sol. found (all assignments made)... 70.47 o 8827 70.47 c NEW SOLUTION FOUND: 8827 @ 70.43 70.67 c Sol. found (all assignments made)... 70.67 o 8826 70.67 c NEW SOLUTION FOUND: 8826 @ 70.631 70.97 c Sol. found (all assignments made)... 70.97 o 8820 70.97 c NEW SOLUTION FOUND: 8820 @ 70.926 71.12 c Sol. found (all assignments made)... 71.12 o 8816 71.12 c NEW SOLUTION FOUND: 8816 @ 71.075 71.27 c Sol. found (all assignments made)... 71.27 o 8814 71.27 c NEW SOLUTION FOUND: 8814 @ 71.224 71.42 c Sol. found (all assignments made)... 71.42 o 8813 71.42 c NEW SOLUTION FOUND: 8813 @ 71.373 71.66 c Sol. found (all assignments made)... 71.66 o 8809 71.66 c NEW SOLUTION FOUND: 8809 @ 71.613 71.81 c Sol. found (all assignments made)... 71.81 o 8805 71.81 c NEW SOLUTION FOUND: 8805 @ 71.762 71.96 c Sol. found (all assignments made)... 71.96 o 8803 71.96 c NEW SOLUTION FOUND: 8803 @ 71.911 72.17 c Sol. found (all assignments made)... 72.17 o 8802 72.17 c NEW SOLUTION FOUND: 8802 @ 72.125 72.46 c Sol. found (all assignments made)... 72.46 o 8797 72.46 c NEW SOLUTION FOUND: 8797 @ 72.412 72.61 c Sol. found (all assignments made)... 72.61 o 8793 72.61 c NEW SOLUTION FOUND: 8793 @ 72.561 72.76 c Sol. found (all assignments made)... 72.76 o 8791 72.76 c NEW SOLUTION FOUND: 8791 @ 72.712 72.91 c Sol. found (all assignments made)... 72.91 o 8790 72.91 c NEW SOLUTION FOUND: 8790 @ 72.863 73.15 c Sol. found (all assignments made)... 73.15 o 8786 73.15 c NEW SOLUTION FOUND: 8786 @ 73.101 73.30 c Sol. found (all assignments made)... 73.30 o 8782 73.30 c NEW SOLUTION FOUND: 8782 @ 73.252 73.45 c Sol. found (all assignments made)... 73.45 o 8780 73.45 c NEW SOLUTION FOUND: 8780 @ 73.402 73.66 c Sol. found (all assignments made)... 73.66 o 8779 73.66 c NEW SOLUTION FOUND: 8779 @ 73.616 73.87 c Sol. found (all assignments made)... 73.87 o 8763 73.87 c NEW SOLUTION FOUND: 8763 @ 73.82 74.02 c Sol. found (all assignments made)... 74.02 o 8759 74.02 c NEW SOLUTION FOUND: 8759 @ 73.971 74.17 c Sol. found (all assignments made)... 74.17 o 8757 74.17 c NEW SOLUTION FOUND: 8757 @ 74.122 74.32 c Sol. found (all assignments made)... 74.32 o 8756 74.32 c NEW SOLUTION FOUND: 8756 @ 74.272 74.47 c Sol. found (all assignments made)... 74.47 o 8738 74.47 c NEW SOLUTION FOUND: 8738 @ 74.423 74.62 c Sol. found (all assignments made)... 74.62 o 8734 74.62 c NEW SOLUTION FOUND: 8734 @ 74.573 74.77 c Sol. found (all assignments made)... 74.77 o 8732 74.77 c NEW SOLUTION FOUND: 8732 @ 74.722 74.92 c Sol. found (all assignments made)... 74.92 o 8731 74.92 c NEW SOLUTION FOUND: 8731 @ 74.873 75.16 c Sol. found (all assignments made)... 75.16 o 8727 75.16 c NEW SOLUTION FOUND: 8727 @ 75.113 75.31 c Sol. found (all assignments made)... 75.31 o 8723 75.31 c NEW SOLUTION FOUND: 8723 @ 75.262 75.46 c Sol. found (all assignments made)... 75.46 o 8721 75.46 c NEW SOLUTION FOUND: 8721 @ 75.411 75.67 c Sol. found (all assignments made)... 75.67 o 8720 75.67 c NEW SOLUTION FOUND: 8720 @ 75.625 75.96 c Sol. found (all assignments made)... 75.96 o 8718 75.96 c NEW SOLUTION FOUND: 8718 @ 75.916 76.18 c Sol. found (all assignments made)... 76.18 o 8717 76.18 c NEW SOLUTION FOUND: 8717 @ 76.131 76.47 c Sol. found (all assignments made)... 76.47 o 8716 76.47 c NEW SOLUTION FOUND: 8716 @ 76.424 76.69 c Sol. found (all assignments made)... 76.69 o 8715 76.69 c NEW SOLUTION FOUND: 8715 @ 76.64 76.98 c Sol. found (all assignments made)... 76.98 o 8714 76.98 c NEW SOLUTION FOUND: 8714 @ 76.936 77.13 c Sol. found (all assignments made)... 77.13 o 8712 77.13 c NEW SOLUTION FOUND: 8712 @ 77.086 77.35 c Sol. found (all assignments made)... 77.35 o 8711 77.35 c NEW SOLUTION FOUND: 8711 @ 77.303 77.65 c Sol. found (all assignments made)... 77.65 o 8710 77.65 c NEW SOLUTION FOUND: 8710 @ 77.601 77.80 c Sol. found (all assignments made)... 77.80 o 8708 77.80 c NEW SOLUTION FOUND: 8708 @ 77.751 78.02 c Sol. found (all assignments made)... 78.02 o 8707 78.02 c NEW SOLUTION FOUND: 8707 @ 77.97 78.40 c Sol. found (all assignments made)... 78.40 o 8705 78.40 c NEW SOLUTION FOUND: 8705 @ 78.355 78.60 c Sol. found (all assignments made)... 78.60 o 8703 78.60 c NEW SOLUTION FOUND: 8703 @ 78.552 78.95 c Sol. found (all assignments made)... 78.95 o 8701 78.95 c NEW SOLUTION FOUND: 8701 @ 78.902 79.26 c Sol. found (all assignments made)... 79.26 o 8699 79.26 c NEW SOLUTION FOUND: 8699 @ 79.207 79.45 c Sol. found (all assignments made)... 79.45 o 8697 79.45 c NEW SOLUTION FOUND: 8697 @ 79.405 79.76 c Sol. found (all assignments made)... 79.76 o 8694 79.76 c NEW SOLUTION FOUND: 8694 @ 79.713 79.96 c Sol. found (all assignments made)... 79.96 o 8692 79.96 c NEW SOLUTION FOUND: 8692 @ 79.912 80.30 c Sol. found (all assignments made)... 80.30 o 8690 80.30 c NEW SOLUTION FOUND: 8690 @ 80.247 80.58 c Sol. found (all assignments made)... 80.58 o 8688 80.58 c NEW SOLUTION FOUND: 8688 @ 80.535 80.79 c Sol. found (all assignments made)... 80.79 o 8686 80.79 c NEW SOLUTION FOUND: 8686 @ 80.735 81.20 c Sol. found (all assignments made)... 81.20 o 8291 81.20 c NEW SOLUTION FOUND: 8291 @ 81.149 81.35 c Sol. found (all assignments made)... 81.35 o 8147 81.35 c NEW SOLUTION FOUND: 8147 @ 81.3 81.50 c Sol. found (all assignments made)... 81.50 o 8122 81.50 c NEW SOLUTION FOUND: 8122 @ 81.451 81.68 c Sol. found (all assignments made)... 81.68 o 8056 81.68 c NEW SOLUTION FOUND: 8056 @ 81.63 81.89 c Sol. found (all assignments made)... 81.89 o 8031 81.89 c NEW SOLUTION FOUND: 8031 @ 81.836 82.41 c Sol. found (all assignments made)... 82.41 o 8019 82.41 c NEW SOLUTION FOUND: 8019 @ 82.36 82.56 c Sol. found (all assignments made)... 82.56 o 7996 82.56 c NEW SOLUTION FOUND: 7996 @ 82.514 82.72 c Sol. found (all assignments made)... 82.72 o 7971 82.72 c NEW SOLUTION FOUND: 7971 @ 82.67 82.93 c Sol. found (all assignments made)... 82.93 o 7924 82.93 c NEW SOLUTION FOUND: 7924 @ 82.879 82.99 c Sol. found (all assignments made)... 82.99 o 7914 82.99 c NEW SOLUTION FOUND: 7914 @ 82.941 83.46 c Sol. found (all assignments made)... 83.46 o 7905 83.46 c NEW SOLUTION FOUND: 7905 @ 83.404 83.71 c Sol. found (all assignments made)... 83.71 o 7880 83.71 c NEW SOLUTION FOUND: 7880 @ 83.656 83.95 c Sol. found (all assignments made)... 83.95 o 7876 83.95 c NEW SOLUTION FOUND: 7876 @ 83.9 84.04 c Sol. found (all assignments made)... 84.04 o 7800 84.04 c NEW SOLUTION FOUND: 7800 @ 83.989 84.15 c Sol. found (all assignments made)... 84.15 o 7753 84.15 c NEW SOLUTION FOUND: 7753 @ 84.094 84.20 c Sol. found (all assignments made)... 84.20 o 7750 84.20 c NEW SOLUTION FOUND: 7750 @ 84.142 84.84 c Sol. found (all assignments made)... 84.84 o 7749 84.84 c NEW SOLUTION FOUND: 7749 @ 84.787 84.93 c Sol. found (all assignments made)... 84.93 o 7742 84.93 c NEW SOLUTION FOUND: 7742 @ 84.872 85.00 c Sol. found (all assignments made)... 85.00 o 7737 85.00 c NEW SOLUTION FOUND: 7737 @ 84.95 85.09 c Sol. found (all assignments made)... 85.09 o 7736 85.09 c NEW SOLUTION FOUND: 7736 @ 85.032 85.19 c Sol. found (all assignments made)... 85.19 o 7735 85.19 c NEW SOLUTION FOUND: 7735 @ 85.132 85.28 c Sol. found (all assignments made)... 85.28 o 7724 85.28 c NEW SOLUTION FOUND: 7724 @ 85.223 85.37 c Sol. found (all assignments made)... 85.37 o 7720 85.37 c NEW SOLUTION FOUND: 7720 @ 85.313 85.50 c Sol. found (all assignments made)... 85.50 o 7714 85.50 c NEW SOLUTION FOUND: 7714 @ 85.445 85.63 c Sol. found (all assignments made)... 85.63 o 7673 85.63 c NEW SOLUTION FOUND: 7673 @ 85.579 85.88 c Sol. found (all assignments made)... 85.88 o 7637 85.88 c NEW SOLUTION FOUND: 7637 @ 85.822 86.00 c Sol. found (all assignments made)... 86.00 o 7548 86.00 c NEW SOLUTION FOUND: 7548 @ 85.949 86.16 c Sol. found (all assignments made)... 86.16 o 7544 86.16 c NEW SOLUTION FOUND: 7544 @ 86.104 86.25 c Sol. found (all assignments made)... 86.25 o 7519 86.25 c NEW SOLUTION FOUND: 7519 @ 86.192 86.34 c Sol. found (all assignments made)... 86.34 o 7494 86.34 c NEW SOLUTION FOUND: 7494 @ 86.281 86.53 c Sol. found (all assignments made)... 86.53 o 7472 86.53 c NEW SOLUTION FOUND: 7472 @ 86.472 86.67 c Sol. found (all assignments made)... 86.67 o 7387 86.67 c NEW SOLUTION FOUND: 7387 @ 86.61 86.86 c Sol. found (all assignments made)... 86.86 o 7296 86.86 c NEW SOLUTION FOUND: 7296 @ 86.8 87.34 c Sol. found (all assignments made)... 87.34 o 7138 87.34 c NEW SOLUTION FOUND: 7138 @ 87.279 87.48 c Sol. found (all assignments made)... 87.48 o 7111 87.48 c NEW SOLUTION FOUND: 7111 @ 87.421 87.81 c Sol. found (all assignments made)... 87.81 o 7101 87.81 c NEW SOLUTION FOUND: 7101 @ 87.756 88.18 c Sol. found (all assignments made)... 88.18 o 7098 88.18 c NEW SOLUTION FOUND: 7098 @ 88.127 88.56 c Sol. found (all assignments made)... 88.56 o 7093 88.56 c NEW SOLUTION FOUND: 7093 @ 88.503 88.85 c Sol. found (all assignments made)... 88.85 o 7089 88.85 c NEW SOLUTION FOUND: 7089 @ 88.787 91.07 c Restart #4 #Var: 2719 LB: 0 @ 91.016 98.44 c Restart #5 #Var: 2719 LB: 0 @ 98.381 107.79 c Restart #6 #Var: 2719 LB: 0 @ 107.72 114.41 c Restart #7 #Var: 2719 LB: 0 @ 114.34 120.80 c CHANGE to LPR mode... UB: 7089 MIS: 39 LPR: 1572 (0.035) Diff: 0.024809 120.80 c Restart #0 #Var: 2719 LB: 0 @ 120.73 231.67 c Restart #1 #Var: 2696 LB: 1572 @ 231.56 307.28 c Restart #2 #Var: 2682 LB: 1572 @ 307.15 470.95 c Restart #3 #Var: 2679 LB: 1572 @ 470.76 630.34 c Restart #4 #Var: 2679 LB: 1572 @ 630.1 694.93 c Restart #5 #Var: 2679 LB: 1572 @ 694.66 793.78 c Restart #6 #Var: 2666 LB: 1572 @ 793.48 1001.28 c Restart #7 #Var: 2666 LB: 1572 @ 1000.9 1106.03 c Restart #8 #Var: 2666 LB: 1572 @ 1105.6 1402.60 c Restart #9 #Var: 2666 LB: 1572 @ 1402.1 1630.00 c Restart #10 #Var: 2666 LB: 1572 @ 1629.4 1800.69 s SATISFIABLE 1800.69 c Cost: 7089 1800.69 v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 1800.69 v -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2114 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 1800.69 v -x2203 -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 -x2402 -x2425 -x2458 -x2469 1800.69 v -x2480 -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 1800.69 v -x2702 -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 -x236 -x247 -x258 1800.69 v -x269 -x291 -x302 x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 x502 -x535 -x546 1800.69 v -x558 -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 x857 -x868 1800.69 v -x902 -x924 -x935 -x946 -x957 -x968 -x979 -x990 x1002 -x1035 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 -x1169 1800.69 v -x1180 -x1191 -x1213 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 1800.69 v -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 1800.69 v -x1691 -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 x1857 -x1868 -x1891 -x1902 1800.69 v -x1913 -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 1800.69 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1982 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1996 1800.69 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 1800.69 v -x2018 -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 1800.69 v -x2044 -x2045 -x2046 -x2048 -x2049 -x2050 -x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 1800.69 v -x2065 -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.69 v -x2088 -x2089 -x2090 -x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 1800.69 v -x2112 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.69 v -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 1800.69 v -x2151 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2170 -x2171 1800.69 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 1800.69 v -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 1800.69 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 1800.69 v x2239 -x2240 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2257 -x2259 -x2260 -x2261 1800.69 v -x2262 -x2263 -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 1800.69 v -x2283 -x2284 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 1800.69 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 1800.69 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1800.69 v -x2345 -x2346 -x2348 -x2349 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.69 v -x2365 -x2366 -x2367 -x2370 -x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 1800.69 v -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2406 -x2407 -x2408 -x2409 1800.69 v -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1800.69 v -x2433 -x2434 -x2435 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 1800.69 v -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.69 v -x2476 -x2477 -x2478 -x2479 x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 1800.69 v -x2497 -x2498 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 1800.69 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 1800.69 v -x2553 -x2554 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 -x2579 -x2581 -x2582 x2583 1800.69 v -x2584 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 1800.69 v -x2619 -x2620 -x2621 -x2622 -x2623 x2625 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 1800.69 v -x2639 -x2642 -x2643 -x2644 -x2645 -x2648 -x2652 -x2656 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2671 -x2672 1800.69 v -x2673 -x2674 -x2675 -x2676 -x2679 -x2684 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 x2695 -x2698 -x2699 -x2700 -x2701 1800.69 v -x2703 -x2704 -x2705 -x2707 -x2708 -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 1800.69 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 1800.69 v -x2749 -x2750 -x2751 x2752 -x2753 -x2754 -x4 -x5 -x6 -x7 -x8 -x9 -x12 -x16 -x17 -x18 -x19 -x21 -x22 -x23 -x24 -x26 -x27 -x28 1800.69 v -x29 -x30 -x31 x32 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x53 -x56 -x57 -x59 -x60 -x61 -x62 1800.69 v -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 1800.69 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 1800.69 v -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 1800.69 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x163 -x164 -x165 -x166 -x167 -x168 -x172 -x175 -x176 1800.69 v -x177 -x178 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x192 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 1800.69 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 1800.69 v -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.69 v -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x281 -x282 -x283 1800.69 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 1800.69 v -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 1800.69 v -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 1800.69 v -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 x373 -x374 x375 -x376 -x377 1800.69 v -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 1800.69 v -x404 -x405 -x406 -x407 -x408 -x409 x410 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 1800.69 v -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 1800.69 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 1800.69 v -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 1800.69 v -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 1800.69 v -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 1800.69 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 1800.69 v -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 1800.69 v -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.69 v -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 1800.69 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 1800.69 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 1800.69 v -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 1800.69 v -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 1800.69 v -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 1800.69 v -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x833 1800.69 v -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 1800.69 v -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x880 -x883 -x884 -x885 -x886 -x887 -x888 1800.69 v -x889 -x893 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 1800.69 v -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 1800.69 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 1800.69 v -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 1800.69 v -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1022 -x1023 1800.69 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.69 v -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.69 v -x1065 -x1066 -x1067 -x1069 x1070 -x1071 -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1800.69 v -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 1800.69 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 1800.69 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 1800.69 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 x1171 1800.69 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 1800.69 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 1800.69 v x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 1800.69 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 1800.69 v -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 1800.69 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 1800.69 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1321 -x1322 -x1323 -x1325 -x1326 1800.69 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 1800.69 v -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 1800.69 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1379 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.69 v -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 1800.69 v -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.69 v -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1454 1800.69 v -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.69 v -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 1800.69 v -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1514 -x1516 -x1517 -x1518 -x1519 -x1520 1800.69 v -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 1800.69 v -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 1800.69 v -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.69 v -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 1800.69 v -x1608 x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 1800.69 v -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 1800.69 v -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 1800.69 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1688 1800.69 v -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 x1705 -x1707 -x1708 -x1709 1800.69 v -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 1800.69 v -x1730 x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x2424 x2535 -x1744 -x91 -x102 1800.69 v -x125 -x1754 -x301 -x1854 -x1855 -x1856 -x1858 x1859 -x388 -x392 -x1860 x411 x1861 x428 -x430 -x433 -x434 -x436 -x1862 -x448 1800.69 v -x451 -x1863 x471 x1864 -x202 -x1755 -x490 -x1865 x507 -x509 -x1866 x529 -x1867 -x549 -x1869 x570 x1870 -x584 -x1871 -x604 1800.69 v -x1872 x623 x1873 -x643 -x1874 -x658 -x1875 x280 -x1756 x678 -x1876 -x693 -x694 -x1877 -x701 x703 -x705 -x706 -x711 -x1878 1800.69 v -x719 -x720 -x1880 -x732 -x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 x767 x770 -x772 -x776 -x777 -x1883 -x787 1800.69 v -x788 -x1884 -x797 -x799 -x800 -x1885 -x814 -x815 -x1886 -x336 -x1758 -x831 x832 -x1887 x845 -x848 -x849 x854 -x1888 -x862 1800.69 v -x866 -x1889 -x881 -x882 -x1892 -x892 -x894 -x895 -x1893 -x908 -x909 -x1894 -x926 -x927 -x1895 -x940 -x942 -x943 -x1896 1800.69 v -x961 -x1897 -x975 -x976 -x1898 -x424 -x1759 -x987 -x988 -x1899 -x1003 -x1004 -x1900 -x1020 x1021 x1901 -x1037 x1038 -x1903 1800.69 v -x1055 -x1904 -x1073 -x1074 -x1905 -x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 -x524 -x1760 -x1910 -x1143 -x1911 1800.69 v -x1154 x1155 -x1157 -x1163 -x1912 -x1172 -x1914 x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 x1230 1800.69 v -x1232 -x1238 -x1918 -x1246 -x1919 x1259 -x1261 -x1265 -x1266 -x1920 -x569 x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 1800.69 v -x1292 -x1922 x1304 -x1306 -x1923 -x1320 -x1925 -x1332 -x1334 -x1926 -x1351 -x1927 -x1366 -x1928 -x1378 -x1381 -x1929 1800.69 v -x1395 -x1930 -x1407 -x1409 -x1931 -x713 x724 -x746 x1762 -x1425 -x1932 -x1440 -x1933 -x1452 x1453 -x1455 -x1461 -x1934 1800.69 v -x1470 -x1936 x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 x1527 -x1529 -x1534 -x1940 -x1543 -x1941 1800.69 v x1555 -x1559 -x1564 -x1942 -x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 1800.69 v x1666 x1949 -x1687 -x1950 -x1697 -x1951 -x1706 -x1952 -x1717 -x1953 -x1013 -x1024 -x1046 -x1764 -x224 x335 -x557 -x668 1800.69 v -x890 -x1745 -x1668 x1779 -x1958 -x1747 -x2092 -x2103 -x2125 -x1748 -x2225 -x2236 -x2258 -x1749 -x2347 x2358 -x1750 -x2413 1800.69 v -x2436 -x2447 -x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 -x1147 -x1765 -x1202 -x1225 -x1236 1800.69 v -x1766 -x1336 -x1347 -x1369 -x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 x1879 -x1773 1800.69 v -x1961 -x1966 -x1967 -x1775 -x1983 -x1984 -x1776 -x1994 -x1995 -x1777 -x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 1800.69 v -x1781 x2032 -x2037 -x2042 -x1782 -x2052 -x2053 -x1783 -x2067 -x2068 -x1784 -x2078 -x2079 -x1785 -x2094 -x2095 -x1786 1800.69 v -x2107 -x2108 -x1787 -x2122 -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 -x2178 -x1794 -x2188 -x2189 -x1795 1800.69 v -x2208 -x2209 -x1796 -x2223 -x2226 -x2227 -x1797 -x2241 -x1798 -x2255 -x2256 -x1799 -x2266 -x2267 -x1800 -x2285 x2286 1800.69 v -x1801 -x2303 x2304 -x1803 -x2319 -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 -x2375 -x1809 -x2385 -x2386 1800.69 v -x1810 -x1746 -x1771 -x2404 -x2405 -x1811 -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 -x2452 -x2453 -x1815 -x2463 -x2464 1800.69 v -x1816 -x2482 x2483 -x1817 -x2499 x2500 -x1818 -x2515 -x1819 -x2529 x2530 x1820 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 1800.69 v -x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 x2559 x1822 -x2565 -x2566 x2567 -x2570 -x2571 -x2572 -x2574 -x2575 -x2576 1800.69 v -x1823 -x2585 x2586 x1825 -x2594 x2595 x2597 -x2599 -x2600 -x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 x2618 1800.69 v -x1827 -x2626 -x1828 -x2640 -x2641 -x1829 -x2649 -x2650 x2651 -x2653 -x2654 -x2655 -x2657 -x2659 -x2660 -x1830 -x2668 1800.69 v x2670 x1831 -x2677 x2678 -x2681 -x2682 -x2683 -x2685 -x2686 -x2687 -x1832 -x2696 -x2697 -x1833 x2706 -x2710 -x2711 -x2717 1800.69 v -x1834 -x2720 -x2722 -x2723 -x1836 -x2737 -x1837 -x2755 x2756 x1838 -x10 x11 -x13 -x15 -x20 -x1839 -x33 x34 x1840 x52 -x54 1800.69 v -x55 -x1841 -x78 -x79 -x1842 -x101 -x103 -x1843 -x1955 -x1774 -x119 -x120 -x1844 -x142 -x1845 -x161 -x162 -x1847 -x170 x171 1800.69 v -x173 -x174 -x179 -x1848 -x193 -x194 -x1849 -x211 -x214 -x215 -x1850 -x239 -x240 -x1851 -x262 -x263 -x1852 -x278 x279 -x1853 1800.69 c Exit Code: 10 1800.69 c Total time: 1800 s
OK 7089
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node73/watcher-40119-1149370179 -o ROOT/results/node73/solver-40119-1149370179 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40119-1149370179/instance-40119-1149370179.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1708928/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=4624 CPUtime=0 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 73 0 0 0 0 0 0 0 18 0 1 0 202682648 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7709476 0 0 4096 0 0 0 0 17 1 0 0 /proc/28253/statm: 1164 57 42 55 0 44 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1680264/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=33180 CPUtime=9.98 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 7546 0 0 0 994 4 0 0 25 0 1 0 202682648 33976320 7461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 8295 7461 296 55 0 7187 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 33180 [startup+20.0091 s] /proc/loadavg: 0.94 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1666256/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=47124 CPUtime=19.98 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11042 0 0 0 1992 6 0 0 25 0 1 0 202682648 48254976 10957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 11781 10957 297 55 0 10673 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 47124 [startup+30.016 s] /proc/loadavg: 0.95 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1666256/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=47124 CPUtime=29.98 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11042 0 0 0 2991 7 0 0 25 0 1 0 202682648 48254976 10957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 11781 10957 297 55 0 10673 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 47124 [startup+40.022 s] /proc/loadavg: 0.96 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1664208/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=49252 CPUtime=39.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11550 0 0 0 3989 10 0 0 25 0 1 0 202682648 50434048 11465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8143584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 12313 11465 297 55 0 11205 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 49252 [startup+50.028 s] /proc/loadavg: 0.96 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1663632/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=49784 CPUtime=49.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11702 0 0 0 4987 12 0 0 25 0 1 0 202682648 50978816 11617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 12446 11617 297 55 0 11338 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 49784 [startup+60.0339 s] /proc/loadavg: 0.97 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1663632/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=49784 CPUtime=59.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11702 0 0 0 5986 13 0 0 25 0 1 0 202682648 50978816 11617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8138741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 12446 11617 297 55 0 11338 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 49784 [startup+70.0409 s] /proc/loadavg: 0.97 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1663184/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=50180 CPUtime=69.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 11806 0 0 0 6984 15 0 0 25 0 1 0 202682648 51384320 11721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 12545 11721 297 55 0 11437 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 50180 [startup+80.0479 s] /proc/loadavg: 0.98 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1662224/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=51104 CPUtime=79.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 12037 0 0 0 7982 17 0 0 25 0 1 0 202682648 52330496 11952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 12776 11952 297 55 0 11668 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 51104 [startup+90.0539 s] /proc/loadavg: 0.98 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1657232/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=56256 CPUtime=89.98 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 13298 0 0 0 8979 19 0 0 25 0 1 0 202682648 57606144 13213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 14064 13213 297 55 0 12956 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 56256 [startup+100.06 s] /proc/loadavg: 0.98 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1657232/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=56256 CPUtime=99.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 13298 0 0 0 9978 21 0 0 25 0 1 0 202682648 57606144 13213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 14064 13213 297 55 0 12956 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 56256 [startup+110.066 s] /proc/loadavg: 0.98 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641744/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=109.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17165 0 0 0 10976 23 0 0 25 0 1 0 202682648 73453568 17080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17080 297 55 0 16825 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 71732 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=119.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17165 0 0 0 11974 25 0 0 25 0 1 0 202682648 73453568 17080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17080 297 55 0 16825 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 71732 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=129.99 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 12974 25 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8142962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 71732 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=140 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 13974 26 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 71732 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=150 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 14974 26 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 71732 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=160 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 15974 26 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8175265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 71732 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=170.01 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 16974 27 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 71732 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=180.01 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 17974 27 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 71732 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641680/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=190.01 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 18974 27 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 71732 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641616/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=71732 CPUtime=200.01 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 17301 0 0 0 19974 27 0 0 25 0 1 0 202682648 73453568 17216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159301168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 17933 17216 429 55 0 16825 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 71732 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28253 /proc/meminfo: memFree=1641616/2055920 swapFree=4182160/4192956 ################ # More data... # ################ /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 91688 [startup+1771.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1770.47 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1324287 0 0 0 176317 730 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 91688 [startup+1781.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91720 CPUtime=1780.46 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1327122 0 0 0 177314 732 0 0 25 0 1 0 202682648 93921280 22227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22930 22227 429 55 0 21822 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 91720 [startup+1782.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1781.48 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1327424 0 0 0 177415 733 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 91688 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1782.48 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1327726 0 0 0 177515 733 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 91688 [startup+1784.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1783.48 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1327999 0 0 0 177615 733 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158433174 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 91688 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91720 CPUtime=1784.49 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1328307 0 0 0 177715 734 0 0 25 0 1 0 202682648 93921280 22227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158503203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22930 22227 429 55 0 21822 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 91720 [startup+1786.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1785.49 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1328595 0 0 0 177815 734 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 91688 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1786.49 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1328897 0 0 0 177915 734 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 91688 [startup+1788.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1787.5 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1329203 0 0 0 178015 735 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 91688 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1788.51 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1329525 0 0 0 178116 735 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8147917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 91688 [startup+1790.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1789.51 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1329857 0 0 0 178216 735 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 91688 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1790.51 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1330181 0 0 0 178316 735 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 91688 [startup+1792.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1791.52 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1330505 0 0 0 178417 735 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 91688 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1792.53 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1330818 0 0 0 178517 736 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 91688 [startup+1794.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1793.53 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1331139 0 0 0 178617 736 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 91688 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1794.53 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1331469 0 0 0 178717 736 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 91688 [startup+1796.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1795.54 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1331820 0 0 0 178817 737 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 91688 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1796.55 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1332166 0 0 0 178918 737 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 91688 [startup+1798.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91720 CPUtime=1797.55 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1332527 0 0 0 179018 737 0 0 25 0 1 0 202682648 93921280 22228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22930 22228 429 55 0 21822 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 91720 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1798.55 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1332894 0 0 0 179118 737 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 91688 [startup+1800.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 28255 /proc/meminfo: memFree=1620952/2055920 swapFree=4182160/4192956 [pid=28253] ppid=28251 vsize=91688 CPUtime=1799.56 /proc/28253/stat : 28253 (bsolo) R 28251 28253 28207 0 -1 0 1333257 0 0 0 179218 738 0 0 25 0 1 0 202682648 93888512 22226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28253/statm: 22922 22226 429 55 0 21814 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 91688 Child status: 10 Real time (s): 1800.71 CPU time (s): 1800.06 CPU user time (s): 1792.65 CPU system time (s): 7.40187 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (Kb): 91780
Begin job on node73 on Sat Jun 3 21:29:39 UTC 2006 FILE ID= 40119-1149370179 PBS_JOBID= 312152 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40119-1149370179/instance-40119-1149370179.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-40119-1149370179 -o ROOT/results/node73/solver-40119-1149370179 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40119-1149370179/instance-40119-1149370179.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 382928165 /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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1709136 kB Buffers: 14420 kB Cached: 273328 kB SwapCached: 2204 kB Active: 42004 kB Inactive: 254112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1709136 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14812 kB Slab: 36704 kB Committed_AS: 385180 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 3 21:59:40 UTC 2006