Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 8908 | 185.757 | 185.802 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb |
MD5SUM | 75c7e5778aa6d0e8c18984c9064c30c6 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8908 |
Best CPU time to get the best result obtained on this benchmark | 0.054991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8908 |
Optimality of the best value was proved | YES |
Number of variables | 253 |
Total number of constraints | 264 |
Number of constraints which are clauses | 242 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 253 |
Biggest coefficient in the objective function | 2437 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 125403 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2437 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 125403 |
Number of bits of the biggest sum of numbers | 17 |
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/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680407-1277459187.opb. 0.00/0.00 c Instance file HOME/instance-2680407-1277459187.opb 0.00/0.00 c File size is 10053 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 253 | 0.00/0.00 c | Number Clauses: 264 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 253 286 968 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 12441 0.00/0.00 o 12441 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 253 287 1221 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 253 287 1221 | 5500 100 47 | 0.002 % | 0.00/0.02 c | 250 | 253 287 1221 | 6050 250 46 | 0.002 % | 0.00/0.03 c | 476 | 253 287 1221 | 6655 476 41 | 0.002 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 12433 0.00/0.03 o 12433 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 561 | 253 288 1474 | 5000 561 41 | 0.002 % | 0.00/0.04 c | 662 | 253 288 1474 | 5500 662 40 | 0.002 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 12394 0.00/0.04 o 12394 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 663 | 253 289 1727 | 5000 663 40 | 0.002 % | 0.00/0.04 c | 764 | 253 289 1727 | 5500 764 40 | 0.002 % | 0.00/0.05 c | 914 | 253 289 1727 | 6050 914 41 | 0.002 % | 0.00/0.07 c | 1141 | 253 289 1727 | 6655 1141 40 | 0.002 % | 0.00/0.08 c | 1478 | 253 289 1727 | 7320 1478 41 | 0.002 % | 0.09/0.11 c | 1986 | 253 289 1727 | 8052 1986 38 | 0.002 % | 0.09/0.15 c | 2746 | 253 289 1727 | 8857 2746 36 | 0.002 % | 0.19/0.22 c | 3886 | 253 289 1727 | 9743 3886 35 | 0.036 % | 0.29/0.34 c | 5595 | 253 289 1727 | 10717 5595 36 | 0.036 % | 0.49/0.52 c | 8159 | 253 289 1727 | 11789 8159 37 | 0.002 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 12374 0.49/0.53 o 12374 0.49/0.53 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 8238 | 253 290 1980 | 5000 8238 37 | 0.002 % | 0.49/0.54 c | 8340 | 253 290 1980 | 5500 4221 39 | 0.036 % | 0.49/0.55 c | 8490 | 253 290 1980 | 6050 4371 39 | 0.002 % | 0.49/0.57 c | 8717 | 253 290 1980 | 6655 4598 39 | 0.036 % | 0.49/0.59 c | 9054 | 253 290 1980 | 7320 4935 39 | 0.002 % | 0.59/0.62 c | 9564 | 253 290 1980 | 8052 5445 38 | 0.002 % | 0.59/0.67 c | 10324 | 253 290 1980 | 8857 6205 38 | 0.002 % | 0.69/0.76 c | 11464 | 253 290 1980 | 9743 7345 39 | 0.002 % | 0.79/0.88 c | 13173 | 253 290 1980 | 10717 9054 39 | 0.002 % | 0.99/1.09 c | 15735 | 253 290 1980 | 11789 6163 37 | 0.002 % | 1.29/1.39 c | 19579 | 253 290 1980 | 12968 10007 39 | 0.036 % | 1.79/1.86 c | 25345 | 253 290 1980 | 14265 9190 37 | 0.002 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 12328 2.20/2.23 o 12328 2.20/2.23 c Elapsed CPU time: 2.16967 s Remaining CPU time: 177.83 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 29467 | 253 291 2233 | 5000 13312 38 | 0.002 % | 2.20/2.27 c | 29568 | 253 291 2233 | 5500 3429 41 | 0.002 % | 2.20/2.28 c | 29718 | 253 291 2233 | 6050 3579 41 | 0.002 % | 2.20/2.29 c | 29944 | 253 291 2233 | 6655 3805 41 | 0.002 % | 2.30/2.32 c | 30281 | 253 291 2233 | 7320 4142 41 | 0.002 % | 2.30/2.35 c | 30788 | 253 291 2233 | 8052 4649 41 | 0.002 % | 2.39/2.41 c | 31549 | 253 291 2233 | 8857 5410 41 | 0.002 % | 2.39/2.50 c | 32689 | 253 291 2233 | 9743 6550 42 | 0.002 % | 2.59/2.64 c | 34397 | 253 291 2233 | 10717 8258 41 | 0.002 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c New solution: 12317 2.59/2.69 o 12317 2.59/2.69 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s 2.59/2.69 c =============================================================================== 2.59/2.69 c | 35155 | 253 292 2486 | 5000 9016 41 | 0.002 % | 2.69/2.71 c | 35256 | 253 292 2486 | 5500 4609 41 | 0.002 % | 2.69/2.73 c | 35406 | 253 292 2486 | 6050 4759 41 | 0.002 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: 12315 2.69/2.73 o 12315 2.69/2.73 c Elapsed CPU time: 2.6506 s Remaining CPU time: 177.349 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 35407 | 253 293 2739 | 5000 4760 41 | 0.002 % | 2.69/2.74 c | 35508 | 253 293 2739 | 5500 4861 41 | 0.002 % | 2.69/2.75 c | 35658 | 253 293 2739 | 6050 5011 41 | 0.002 % | 2.69/2.77 c | 35885 | 253 293 2739 | 6655 5238 41 | 0.002 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: 12309 2.69/2.77 o 12309 2.69/2.77 c Elapsed CPU time: 2.69259 s Remaining CPU time: 177.307 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 35885 | 253 294 2992 | 5000 5238 41 | 0.002 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: 12190 2.69/2.78 o 12190 2.69/2.78 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 35885 | 253 295 3245 | 5000 2619 39 | 0.002 % | 2.69/2.78 c | 35985 | 253 295 3245 | 5500 2719 39 | 0.002 % | 2.80/2.80 c | 36135 | 253 295 3245 | 6050 2869 39 | 0.002 % | 2.80/2.82 c | 36361 | 253 295 3245 | 6655 3095 39 | 0.002 % | 2.80/2.84 c | 36699 | 253 295 3245 | 7320 3433 39 | 0.002 % | 2.80/2.88 c | 37206 | 253 295 3245 | 8052 3940 39 | 0.002 % | 2.80/2.88 c =============================================================================== 2.80/2.88 c New solution: 12141 2.80/2.88 o 12141 2.80/2.88 c Elapsed CPU time: 2.80157 s Remaining CPU time: 177.198 s 2.80/2.88 c =============================================================================== 2.80/2.88 c | 37206 | 253 296 3498 | 5000 3940 39 | 0.002 % | 2.80/2.89 c | 37306 | 253 296 3498 | 5500 4040 39 | 0.002 % | 2.89/2.90 c | 37457 | 253 296 3498 | 6050 4191 38 | 0.002 % | 2.89/2.92 c | 37685 | 253 296 3498 | 6655 4419 38 | 0.002 % | 2.89/2.95 c | 38023 | 253 296 3498 | 7320 4757 38 | 0.002 % | 2.89/2.99 c | 38529 | 253 296 3498 | 8052 5263 38 | 0.002 % | 2.99/3.06 c | 39288 | 253 296 3498 | 8857 6022 38 | 0.002 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c New solution: 11632 2.99/3.06 o 11632 2.99/3.06 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s 2.99/3.06 c =============================================================================== 2.99/3.06 c | 39331 | 253 297 3751 | 5000 6065 38 | 0.002 % | 2.99/3.08 c | 39431 | 253 297 3751 | 5500 3133 37 | 0.002 % | 2.99/3.09 c | 39584 | 253 297 3751 | 6050 3286 37 | 0.002 % | 3.09/3.11 c | 39809 | 253 297 3751 | 6655 3511 38 | 0.002 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: 11583 3.09/3.11 o 11583 3.09/3.11 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 39812 | 253 298 4004 | 5000 3514 38 | 0.002 % | 3.09/3.12 c | 39913 | 253 298 4004 | 5500 3615 38 | 0.002 % | 3.09/3.13 c | 40063 | 253 298 4004 | 6050 3765 38 | 0.002 % | 3.09/3.15 c | 40288 | 253 298 4004 | 6655 3990 38 | 0.002 % | 3.09/3.17 c | 40627 | 253 298 4004 | 7320 4329 37 | 0.002 % | 3.20/3.21 c | 41133 | 253 298 4004 | 8052 4835 37 | 0.002 % | 3.20/3.28 c | 41894 | 253 298 4004 | 8857 5596 38 | 0.002 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c New solution: 11550 3.30/3.33 o 11550 3.30/3.33 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s 3.30/3.33 c =============================================================================== 3.30/3.33 c | 42450 | 253 299 4257 | 5000 6152 38 | 0.002 % | 3.30/3.34 c =============================================================================== 3.30/3.34 c New solution: 11386 3.30/3.34 o 11386 3.30/3.34 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s 3.30/3.34 c =============================================================================== 3.30/3.34 c | 42526 | 253 300 4510 | 5000 3152 40 | 0.002 % | 3.30/3.35 c | 42628 | 253 300 4510 | 5500 3254 40 | 0.002 % | 3.30/3.37 c | 42779 | 253 300 4510 | 6050 3405 40 | 0.002 % | 3.30/3.39 c | 43007 | 253 300 4510 | 6655 3633 39 | 0.002 % | 3.40/3.42 c | 43344 | 253 300 4510 | 7320 3970 39 | 0.002 % | 3.40/3.47 c | 43850 | 253 300 4510 | 8052 4476 39 | 0.002 % | 3.49/3.54 c | 44609 | 253 300 4510 | 8857 5235 38 | 0.002 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: 11333 3.49/3.54 o 11333 3.49/3.54 c Elapsed CPU time: 3.43648 s Remaining CPU time: 176.564 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 44609 | 253 301 4763 | 5000 5235 38 | 0.002 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: 10552 3.49/3.54 o 10552 3.49/3.54 c Elapsed CPU time: 3.44248 s Remaining CPU time: 176.558 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 44609 | 253 302 5016 | 5000 2618 37 | 0.002 % | 3.49/3.55 c | 44709 | 253 302 5016 | 5500 2718 37 | 0.002 % | 3.49/3.57 c | 44860 | 253 302 5016 | 6050 2869 37 | 0.002 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c New solution: 10513 3.49/3.58 o 10513 3.49/3.58 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s 3.49/3.58 c =============================================================================== 3.49/3.58 c | 44945 | 253 303 5269 | 5000 2954 37 | 0.002 % | 3.49/3.59 c | 45046 | 253 303 5269 | 5500 3055 37 | 0.036 % | 3.59/3.61 c | 45196 | 253 303 5269 | 6050 3205 37 | 0.002 % | 3.59/3.63 c | 45421 | 253 303 5269 | 6655 3430 37 | 0.036 % | 3.59/3.66 c | 45759 | 253 303 5269 | 7320 3768 37 | 0.002 % | 3.69/3.70 c | 46265 | 253 303 5269 | 8052 4274 37 | 0.002 % | 3.69/3.78 c | 47025 | 253 303 5269 | 8857 5034 38 | 0.002 % | 3.69/3.79 c =============================================================================== 3.69/3.79 c New solution: 10413 3.69/3.79 o 10413 3.69/3.79 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s 3.69/3.79 c =============================================================================== 3.69/3.79 c | 47097 | 253 304 5522 | 5000 5106 38 | 0.002 % | 3.79/3.80 c | 47199 | 253 304 5522 | 5500 2655 38 | 0.002 % | 3.79/3.81 c | 47349 | 253 304 5522 | 6050 2805 38 | 0.002 % | 3.79/3.83 c | 47577 | 253 304 5522 | 6655 3033 38 | 0.002 % | 3.79/3.87 c | 47915 | 253 304 5522 | 7320 3371 38 | 0.002 % | 3.89/3.93 c | 48422 | 253 304 5522 | 8052 3878 39 | 0.002 % | 3.89/3.99 c | 49181 | 253 304 5522 | 8857 4637 39 | 0.002 % | 4.09/4.10 c | 50321 | 253 304 5522 | 9743 5777 39 | 0.002 % | 4.19/4.29 c | 52030 | 253 304 5522 | 10717 7486 39 | 0.002 % | 4.50/4.57 c | 54597 | 253 304 5522 | 11789 10053 40 | 0.002 % | 4.99/5.05 c | 58442 | 253 304 5522 | 12968 7906 44 | 0.002 % | 5.59/5.61 c | 64209 | 253 304 5522 | 14265 7087 39 | 0.002 % | 6.60/6.68 c | 72860 | 253 304 5522 | 15692 8526 39 | 0.002 % | 7.99/8.03 c | 85835 | 253 304 5522 | 17261 13553 40 | 0.002 % | 10.19/10.27 c | 105297 | 253 304 5522 | 18987 15607 37 | 0.002 % | 14.29/14.35 c | 134490 | 253 304 5522 | 20886 16056 42 | 0.002 % | 19.98/20.02 c | 178282 | 253 304 5522 | 22974 17765 38 | 0.002 % | 20.19/20.26 c =============================================================================== 20.19/20.26 c New solution: 10403 20.19/20.26 o 10403 20.19/20.26 c Elapsed CPU time: 19.801 s Remaining CPU time: 160.199 s 20.19/20.26 c =============================================================================== 20.19/20.26 c | 180174 | 253 305 5775 | 5000 19657 39 | 0.002 % | 20.29/20.33 c | 180274 | 253 305 5775 | 5500 5015 44 | 0.002 % | 20.29/20.34 c | 180424 | 253 305 5775 | 6050 5165 44 | 0.002 % | 20.29/20.37 c | 180649 | 253 305 5775 | 6655 5390 44 | 0.036 % | 20.39/20.40 c | 180988 | 253 305 5775 | 7320 5729 43 | 0.002 % | 20.39/20.46 c | 181494 | 253 305 5775 | 8052 6235 44 | 0.002 % | 20.48/20.54 c | 182254 | 253 305 5775 | 8857 6995 43 | 0.002 % | 20.59/20.66 c | 183396 | 253 305 5775 | 9743 8137 42 | 0.036 % | 20.78/20.88 c | 185104 | 253 305 5775 | 10717 9845 45 | 0.036 % | 21.19/21.22 c | 187666 | 253 305 5775 | 11789 6967 44 | 0.002 % | 21.59/21.62 c | 191510 | 253 305 5775 | 12968 10811 42 | 0.036 % | 22.28/22.33 c | 197276 | 253 305 5775 | 14265 9990 39 | 0.002 % | 23.29/23.32 c | 205925 | 253 305 5775 | 15692 11406 39 | 0.002 % | 24.88/24.90 c | 218899 | 253 305 5775 | 17261 8535 35 | 0.002 % | 27.68/27.75 c | 238361 | 253 305 5775 | 18987 10569 39 | 0.002 % | 27.68/27.75 c =============================================================================== 27.68/27.75 c New solution: 9980 27.68/27.75 o 9980 27.68/27.75 c Elapsed CPU time: 27.1359 s Remaining CPU time: 152.864 s 27.68/27.75 c =============================================================================== 27.68/27.75 c | 238362 | 253 306 6028 | 5000 10570 39 | 0.002 % | 27.68/27.78 c | 238463 | 253 306 6028 | 5500 2744 36 | 0.002 % | 27.79/27.80 c | 238614 | 253 306 6028 | 6050 2895 36 | 0.002 % | 27.79/27.82 c | 238839 | 253 306 6028 | 6655 3120 36 | 0.002 % | 27.79/27.85 c | 239180 | 253 306 6028 | 7320 3461 37 | 0.002 % | 27.88/27.90 c | 239686 | 253 306 6028 | 8052 3967 37 | 0.002 % | 27.88/27.97 c | 240447 | 253 306 6028 | 8857 4728 36 | 0.002 % | 27.99/28.09 c | 241586 | 253 306 6028 | 9743 5867 37 | 0.036 % | 28.19/28.27 c | 243295 | 253 306 6028 | 10717 7576 36 | 0.002 % | 28.48/28.55 c | 245857 | 253 306 6028 | 11789 10138 37 | 0.002 % | 28.98/29.05 c | 249701 | 253 306 6028 | 12968 8001 39 | 0.002 % | 29.69/29.75 c | 255467 | 253 306 6028 | 14265 7206 43 | 0.002 % | 30.58/30.62 c | 264117 | 253 306 6028 | 15692 8618 35 | 0.002 % | 32.28/32.37 c | 277092 | 253 306 6028 | 17261 13683 41 | 0.002 % | 34.78/34.89 c | 296555 | 253 306 6028 | 18987 15686 43 | 0.036 % | 38.38/38.41 c | 325748 | 253 306 6028 | 20886 16160 38 | 0.036 % | 43.88/43.99 c | 369537 | 253 306 6028 | 22974 17818 36 | 0.002 % | 53.28/53.39 c | 435222 | 253 306 6028 | 25272 22242 36 | 0.002 % | 63.78/63.81 c =============================================================================== 63.78/63.81 c New solution: 9933 63.78/63.81 o 9933 63.78/63.81 c Elapsed CPU time: 62.4635 s Remaining CPU time: 117.536 s 63.78/63.81 c =============================================================================== 63.78/63.81 c | 502367 | 253 307 6281 | 5000 16836 44 | 0.002 % | 63.78/63.87 c | 502467 | 253 307 6281 | 5500 4309 44 | 0.002 % | 63.78/63.88 c | 502618 | 253 307 6281 | 6050 4460 44 | 0.002 % | 63.89/63.91 c | 502843 | 253 307 6281 | 6655 4685 44 | 0.036 % | 63.89/63.94 c | 503180 | 253 307 6281 | 7320 5022 44 | 0.036 % | 63.89/63.99 c | 503687 | 253 307 6281 | 8052 5529 43 | 0.002 % | 63.98/64.06 c | 504446 | 253 307 6281 | 8857 6288 42 | 0.002 % | 64.08/64.18 c | 505585 | 253 307 6281 | 9743 7427 41 | 0.002 % | 64.27/64.38 c | 507293 | 253 307 6281 | 10717 9135 41 | 0.002 % | 64.58/64.64 c | 509857 | 253 307 6281 | 11789 6249 35 | 0.002 % | 64.98/65.09 c | 513701 | 253 307 6281 | 12968 10093 37 | 0.036 % | 65.67/65.79 c | 519469 | 253 307 6281 | 14265 9281 47 | 0.002 % | 66.67/66.78 c | 528120 | 253 307 6281 | 15692 10716 39 | 0.002 % | 68.47/68.50 c | 541094 | 253 307 6281 | 17261 15756 39 | 0.036 % | 70.88/70.96 c | 560557 | 253 307 6281 | 18987 9077 33 | 0.036 % | 75.17/75.22 c | 589749 | 253 307 6281 | 20886 19100 36 | 0.002 % | 81.38/81.41 c | 633538 | 253 307 6281 | 22974 20791 37 | 0.002 % | 91.27/91.32 c | 699223 | 253 307 6281 | 25272 12448 37 | 0.002 % | 107.16/107.27 c | 797750 | 253 307 6281 | 27799 24481 39 | 0.036 % | 124.27/124.36 c =============================================================================== 124.27/124.36 c New solution: 9929 124.27/124.36 o 9929 124.27/124.36 c Elapsed CPU time: 121.937 s Remaining CPU time: 58.0625 s 124.27/124.36 c =============================================================================== 124.27/124.36 c | 909531 | 253 308 6534 | 5000 18226 37 | 0.036 % | 124.37/124.41 c | 909631 | 253 308 6534 | 5500 4657 38 | 0.002 % | 124.37/124.43 c | 909781 | 253 308 6534 | 6050 4807 38 | 0.002 % | 124.37/124.45 c | 910006 | 253 308 6534 | 6655 5032 38 | 0.002 % | 124.37/124.49 c | 910345 | 253 308 6534 | 7320 5371 38 | 0.002 % | 124.46/124.55 c | 910853 | 253 308 6534 | 8052 5879 38 | 0.002 % | 124.56/124.62 c | 911612 | 253 308 6534 | 8857 6638 38 | 0.002 % | 124.66/124.76 c | 912751 | 253 308 6534 | 9743 7777 38 | 0.002 % | 124.86/124.95 c | 914460 | 253 308 6534 | 10717 9486 38 | 0.002 % | 125.16/125.27 c | 917024 | 253 308 6534 | 11789 6599 39 | 0.002 % | 125.56/125.69 c | 920869 | 253 308 6534 | 12968 10444 40 | 0.002 % | 126.36/126.45 c | 926635 | 253 308 6534 | 14265 9619 42 | 0.036 % | 126.86/126.99 c =============================================================================== 126.86/126.99 c New solution: 9925 126.86/126.99 o 9925 126.86/126.99 c Elapsed CPU time: 124.507 s Remaining CPU time: 55.4929 s 126.86/126.99 c =============================================================================== 126.86/126.99 c | 930456 | 253 309 6787 | 5000 13440 42 | 0.036 % | 126.96/127.03 c | 930556 | 253 309 6787 | 5500 3460 41 | 0.036 % | 126.96/127.05 c | 930706 | 253 309 6787 | 6050 3610 41 | 0.002 % | 126.96/127.08 c | 930933 | 253 309 6787 | 6655 3837 41 | 0.002 % | 127.06/127.11 c | 931270 | 253 309 6787 | 7320 4174 40 | 0.002 % | 127.06/127.18 c | 931776 | 253 309 6787 | 8052 4680 40 | 0.002 % | 127.16/127.25 c | 932538 | 253 309 6787 | 8857 5442 39 | 0.002 % | 127.36/127.40 c | 933678 | 253 309 6787 | 9743 6582 41 | 0.002 % | 127.57/127.60 c | 935386 | 253 309 6787 | 10717 8290 40 | 0.002 % | 127.86/127.93 c | 937949 | 253 309 6787 | 11789 10853 41 | 0.002 % | 128.36/128.46 c | 941793 | 253 309 6787 | 12968 8697 42 | 0.036 % | 128.77/128.81 c =============================================================================== 128.77/128.81 c New solution: 9889 128.77/128.81 o 9889 128.77/128.81 c Elapsed CPU time: 126.286 s Remaining CPU time: 53.7142 s 128.77/128.81 c =============================================================================== 128.77/128.81 c | 944475 | 253 310 7040 | 5000 11379 42 | 0.036 % | 128.77/128.84 c | 944576 | 253 310 7040 | 5500 2946 42 | 0.002 % | 128.77/128.86 c | 944726 | 253 310 7040 | 6050 3096 42 | 0.002 % | 128.77/128.88 c | 944952 | 253 310 7040 | 6655 3322 43 | 0.002 % | 128.86/128.92 c | 945291 | 253 310 7040 | 7320 3661 42 | 0.002 % | 128.86/128.97 c | 945798 | 253 310 7040 | 8052 4168 40 | 0.002 % | 128.96/129.06 c | 946558 | 253 310 7040 | 8857 4928 41 | 0.036 % | 129.06/129.19 c | 947697 | 253 310 7040 | 9743 6067 40 | 0.002 % | 129.26/129.37 c | 949407 | 253 310 7040 | 10717 7777 40 | 0.036 % | 129.56/129.68 c | 951969 | 253 310 7040 | 11789 10339 39 | 0.002 % | 130.06/130.12 c | 955815 | 253 310 7040 | 12968 8197 35 | 0.002 % | 130.87/130.90 c =============================================================================== 130.87/130.90 c New solution: 9867 130.87/130.90 o 9867 130.87/130.90 c Elapsed CPU time: 128.342 s Remaining CPU time: 51.6575 s 130.87/130.90 c =============================================================================== 130.87/130.90 c | 961106 | 253 311 7293 | 5000 6907 43 | 0.002 % | 130.87/130.92 c | 961206 | 253 311 7293 | 5500 3554 45 | 0.002 % | 130.87/130.94 c | 961357 | 253 311 7293 | 6050 3705 45 | 0.002 % | 130.87/130.96 c | 961583 | 253 311 7293 | 6655 3931 45 | 0.002 % | 130.97/131.01 c | 961920 | 253 311 7293 | 7320 4268 44 | 0.002 % | 130.97/131.07 c | 962426 | 253 311 7293 | 8052 4774 44 | 0.036 % | 131.06/131.17 c | 963185 | 253 311 7293 | 8857 5533 43 | 0.002 % | 131.26/131.31 c | 964324 | 253 311 7293 | 9743 6672 44 | 0.002 % | 131.46/131.54 c | 966033 | 253 311 7293 | 10717 8381 44 | 0.002 % | 131.76/131.88 c | 968595 | 253 311 7293 | 11789 5495 39 | 0.002 % | 132.26/132.33 c | 972439 | 253 311 7293 | 12968 9339 38 | 0.036 % | 133.06/133.19 c | 978207 | 253 311 7293 | 14265 8549 40 | 0.036 % | 134.26/134.38 c | 986857 | 253 311 7293 | 15692 9976 40 | 0.036 % | 136.25/136.36 c | 999832 | 253 311 7293 | 17261 15036 41 | 0.002 % | 139.16/139.20 c | 1019294 | 253 311 7293 | 18987 17100 37 | 0.002 % | 143.75/143.81 c | 1048487 | 253 311 7293 | 20886 17573 38 | 0.036 % | 150.45/150.54 c | 1092276 | 253 311 7293 | 22974 19193 36 | 0.036 % | 162.35/162.44 c | 1157961 | 253 311 7293 | 25272 11228 40 | 0.036 % | 179.15/179.29 c | 1256487 | 253 311 7293 | 27799 22883 39 | 0.002 % | 183.35/183.47 c There are 0 assigned variables. 0 in cost function. 184.85/184.92 c core #1 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 122 Total Weight: 122 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #2 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 173 Total Weight: 295 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #3 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 102 Total Weight: 397 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #4 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 145 Total Weight: 542 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #5 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 204 Total Weight: 746 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #6 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 119 Total Weight: 865 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #7 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 179 Total Weight: 1044 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #8 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 223 Total Weight: 1267 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #9 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 146 Total Weight: 1413 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #10 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 114 Total Weight: 1527 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #11 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 195 Total Weight: 1722 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #12 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 258 Total Weight: 1980 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #13 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 144 Total Weight: 2124 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #14 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 121 Total Weight: 2245 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #15 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 123 Total Weight: 2368 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #16 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 111 Total Weight: 2479 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #17 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 134 Total Weight: 2613 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #18 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 141 Total Weight: 2754 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #19 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 131 Total Weight: 2885 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #20 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 177 Total Weight: 3062 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #21 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 145 Total Weight: 3207 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #22 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 12 Core Weight: 132 Total Weight: 3339 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #23 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 59 Total Weight: 3398 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #24 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 103 Total Weight: 3501 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #25 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 57 Total Weight: 3558 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #26 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 57 Total Weight: 3615 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #27 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 320 Total Weight: 3935 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #28 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 290 Total Weight: 4225 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #29 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 96 Total Weight: 4321 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #30 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 6 Total Weight: 4327 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #31 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 19 Total Weight: 4346 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #32 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 32 Total Weight: 4378 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #33 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 149 Total Weight: 4527 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #34 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 28 Total Weight: 4555 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #35 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 73 Total Weight: 4628 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #36 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 7 Total Weight: 4635 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #37 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 236 Total Weight: 4871 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #38 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 138 Total Weight: 5009 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #39 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 15 Total Weight: 5024 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #40 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 19 Total Weight: 5043 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #41 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 272 Total Weight: 5315 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #42 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 63 Total Weight: 5378 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #43 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 16 Core Weight: 19 Total Weight: 5397 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #44 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 17 Core Weight: 3 Total Weight: 5400 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #45 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 127 Total Weight: 5527 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #46 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 22 Total Weight: 5549 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #47 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 5 Total Weight: 5554 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #48 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 106 Total Weight: 5660 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #49 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 73 Total Weight: 5733 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #50 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 16 Total Weight: 5749 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #51 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 110 Total Weight: 5859 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #52 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 13 Core Weight: 66 Total Weight: 5925 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #53 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 44 Total Weight: 5969 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #54 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 14 Core Weight: 66 Total Weight: 6035 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #55 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 15 Core Weight: 1 Total Weight: 6036 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #56 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 16 Core Weight: 100 Total Weight: 6136 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c core #57 184.85/184.92 c 184.85/184.92 c 184.85/184.92 c Core size: 17 Core Weight: 42 Total Weight: 6178 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #58 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 12 Total Weight: 6190 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #59 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 59 Total Weight: 6249 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #60 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 10 Total Weight: 6259 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #61 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 152 Total Weight: 6411 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #62 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 14 Total Weight: 6425 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #63 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 32 Total Weight: 6457 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #64 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 19 Core Weight: 13 Total Weight: 6470 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #65 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 32 Total Weight: 6502 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #66 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 152 Total Weight: 6654 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #67 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 27 Total Weight: 6681 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #68 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 13 Total Weight: 6694 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #69 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 90 Total Weight: 6784 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #70 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 5 Total Weight: 6789 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #71 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 19 Total Weight: 6808 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #72 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 9 Total Weight: 6817 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #73 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 13 Total Weight: 6830 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #74 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 163 Total Weight: 6993 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #75 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 10 Total Weight: 7003 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #76 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 59 Total Weight: 7062 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #77 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 31 Total Weight: 7093 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #78 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 19 Total Weight: 7112 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #79 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 7 Total Weight: 7119 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #80 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 28 Total Weight: 7147 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #81 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 45 Total Weight: 7192 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #82 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 24 Total Weight: 7216 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #83 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 135 Total Weight: 7351 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #84 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 14 Total Weight: 7365 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #85 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 13 Total Weight: 7378 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #86 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 10 Total Weight: 7388 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #87 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 237 Total Weight: 7625 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #88 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 2 Total Weight: 7627 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #89 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 9 Total Weight: 7636 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #90 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 6 Total Weight: 7642 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #91 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 38 Total Weight: 7680 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #92 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 19 Core Weight: 103 Total Weight: 7783 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #93 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 92 Total Weight: 7875 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #94 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 10 Total Weight: 7885 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #95 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 20 Total Weight: 7905 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #96 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 13 Core Weight: 55 Total Weight: 7960 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #97 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 67 Total Weight: 8027 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #98 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 4 Total Weight: 8031 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #99 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 46 Total Weight: 8077 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #100 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 21 Total Weight: 8098 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #101 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 25 Total Weight: 8123 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #102 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 19 Core Weight: 29 Total Weight: 8152 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #103 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 40 Total Weight: 8192 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #104 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 65 Total Weight: 8257 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #105 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 14 Core Weight: 11 Total Weight: 8268 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #106 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 33 Total Weight: 8301 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #107 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 60 Total Weight: 8361 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #108 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 16 Total Weight: 8377 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #109 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 9 Total Weight: 8386 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #110 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 16 Core Weight: 50 Total Weight: 8436 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #111 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 17 Core Weight: 19 Total Weight: 8455 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #112 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 18 Core Weight: 27 Total Weight: 8482 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #113 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 19 Core Weight: 20 Total Weight: 8502 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c core #114 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 33 Core Weight: 6 Total Weight: 8508 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #115 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 33 Core Weight: 14 Total Weight: 8522 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #116 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 34 Core Weight: 1 Total Weight: 8523 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #117 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 34 Core Weight: 4 Total Weight: 8527 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #118 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 2 Total Weight: 8529 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #119 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 30 Core Weight: 39 Total Weight: 8568 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #120 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 5 Total Weight: 8573 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #121 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 32 Core Weight: 3 Total Weight: 8576 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #122 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 32 Core Weight: 7 Total Weight: 8583 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #123 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 29 Core Weight: 7 Total Weight: 8590 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #124 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 29 Core Weight: 20 Total Weight: 8610 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #125 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 2 Total Weight: 8612 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #126 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 5 Total Weight: 8617 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #127 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 42 Total Weight: 8659 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #128 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 12 Total Weight: 8671 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #129 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 31 Core Weight: 3 Total Weight: 8674 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #130 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 32 Core Weight: 17 Total Weight: 8691 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #131 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 33 Core Weight: 7 Total Weight: 8698 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #132 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 34 Core Weight: 5 Total Weight: 8703 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #133 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 47 Core Weight: 4 Total Weight: 8707 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #134 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 48 Core Weight: 10 Total Weight: 8717 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c core #135 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 49 Core Weight: 5 Total Weight: 8722 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c ============================[ Search Statistics ]============================== 185.14/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.28 c =============================================================================== 185.14/185.28 c | 0 | 1789 2281 9592 | 5000 0 nan | 0.000 % | 185.14/185.28 c =============================================================================== 185.14/185.29 c core #136 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 46 Core Weight: 3 Total Weight: 8725 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c ============================[ Search Statistics ]============================== 185.14/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.29 c =============================================================================== 185.14/185.29 c | 0 | 1823 2314 9646 | 5000 0 nan | 0.000 % | 185.14/185.29 c =============================================================================== 185.24/185.30 c core #137 185.24/185.30 c 185.24/185.30 c 185.24/185.30 c Core size: 46 Core Weight: 5 Total Weight: 8730 185.24/185.30 c 185.24/185.30 c 185.24/185.30 c ============================[ Search Statistics ]============================== 185.24/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.30 c =============================================================================== 185.24/185.30 c | 0 | 1857 2345 9696 | 5000 0 nan | 0.000 % | 185.24/185.30 c =============================================================================== 185.24/185.31 c core #138 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 46 Core Weight: 10 Total Weight: 8740 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c ============================[ Search Statistics ]============================== 185.24/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.31 c =============================================================================== 185.24/185.31 c | 0 | 1891 2378 9750 | 5000 0 nan | 0.000 % | 185.24/185.32 c =============================================================================== 185.24/185.33 c core #139 185.24/185.33 c 185.24/185.33 c 185.24/185.33 c Core size: 46 Core Weight: 10 Total Weight: 8750 185.24/185.33 c 185.24/185.33 c 185.24/185.33 c ============================[ Search Statistics ]============================== 185.24/185.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.33 c =============================================================================== 185.24/185.33 c | 0 | 1935 2412 9966 | 5000 0 nan | 0.000 % | 185.24/185.33 c =============================================================================== 185.24/185.34 c core #140 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c Core size: 61 Core Weight: 2 Total Weight: 8752 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c ============================[ Search Statistics ]============================== 185.24/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.34 c =============================================================================== 185.24/185.34 c | 0 | 1982 2457 10059 | 5000 0 nan | 0.000 % | 185.24/185.34 c =============================================================================== 185.24/185.35 c core #141 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c Core size: 61 Core Weight: 1 Total Weight: 8753 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c ============================[ Search Statistics ]============================== 185.24/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.35 c =============================================================================== 185.24/185.35 c | 0 | 2028 2502 10149 | 5000 0 nan | 0.000 % | 185.24/185.36 c =============================================================================== 185.24/185.37 c core #142 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c Core size: 61 Core Weight: 2 Total Weight: 8755 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c ============================[ Search Statistics ]============================== 185.24/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.37 c =============================================================================== 185.24/185.37 c | 0 | 2074 2547 10239 | 5000 0 nan | 0.000 % | 185.24/185.37 c =============================================================================== 185.24/185.38 c core #143 185.24/185.38 c 185.24/185.38 c 185.24/185.38 c Core size: 44 Core Weight: 6 Total Weight: 8761 185.24/185.38 c 185.24/185.38 c 185.24/185.38 c ============================[ Search Statistics ]============================== 185.24/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.38 c =============================================================================== 185.24/185.38 c | 0 | 2104 2577 10285 | 5000 0 nan | 0.000 % | 185.24/185.39 c =============================================================================== 185.35/185.40 c core #144 185.35/185.40 c 185.35/185.40 c 185.35/185.40 c Core size: 45 Core Weight: 2 Total Weight: 8763 185.35/185.40 c 185.35/185.40 c 185.35/185.40 c ============================[ Search Statistics ]============================== 185.35/185.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.40 c =============================================================================== 185.35/185.40 c | 0 | 2136 2608 10334 | 5000 0 nan | 0.000 % | 185.35/185.40 c =============================================================================== 185.35/185.41 c core #145 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c Core size: 45 Core Weight: 13 Total Weight: 8776 185.35/185.41 c 185.35/185.41 c 185.35/185.41 c ============================[ Search Statistics ]============================== 185.35/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.41 c =============================================================================== 185.35/185.41 c | 0 | 2168 2639 10383 | 5000 0 nan | 0.000 % | 185.35/185.42 c =============================================================================== 185.35/185.43 c core #146 185.35/185.43 c 185.35/185.43 c 185.35/185.43 c Core size: 45 Core Weight: 9 Total Weight: 8785 185.35/185.43 c 185.35/185.43 c 185.35/185.43 c ============================[ Search Statistics ]============================== 185.35/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.43 c =============================================================================== 185.35/185.43 c | 0 | 2200 2671 10438 | 5000 0 nan | 0.000 % | 185.35/185.43 c =============================================================================== 185.35/185.44 c core #147 185.35/185.44 c 185.35/185.44 c 185.35/185.44 c Core size: 45 Core Weight: 1 Total Weight: 8786 185.35/185.44 c 185.35/185.44 c 185.35/185.44 c ============================[ Search Statistics ]============================== 185.35/185.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.44 c =============================================================================== 185.35/185.44 c | 0 | 2232 2702 10524 | 5000 0 nan | 0.000 % | 185.35/185.45 c =============================================================================== 185.35/185.46 c core #148 185.35/185.46 c 185.35/185.46 c 185.35/185.46 c Core size: 45 Core Weight: 12 Total Weight: 8798 185.35/185.46 c 185.35/185.46 c 185.35/185.46 c ============================[ Search Statistics ]============================== 185.35/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.46 c =============================================================================== 185.35/185.46 c | 0 | 2263 2733 10578 | 5000 0 nan | 0.000 % | 185.35/185.46 c =============================================================================== 185.35/185.47 c core #149 185.35/185.47 c 185.35/185.47 c 185.35/185.47 c Core size: 44 Core Weight: 2 Total Weight: 8800 185.35/185.47 c 185.35/185.47 c 185.35/185.47 c ============================[ Search Statistics ]============================== 185.35/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.47 c =============================================================================== 185.35/185.47 c | 0 | 2292 2762 10627 | 5000 0 nan | 0.000 % | 185.35/185.48 c =============================================================================== 185.35/185.49 c core #150 185.35/185.49 c 185.35/185.49 c 185.35/185.49 c Core size: 45 Core Weight: 6 Total Weight: 8806 185.35/185.49 c 185.35/185.49 c 185.35/185.49 c ============================[ Search Statistics ]============================== 185.35/185.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.49 c =============================================================================== 185.35/185.49 c | 0 | 2322 2791 10674 | 5000 0 nan | 0.000 % | 185.35/185.49 c =============================================================================== 185.45/185.51 c core #151 185.45/185.51 c 185.45/185.51 c 185.45/185.51 c Core size: 46 Core Weight: 5 Total Weight: 8811 185.45/185.51 c 185.45/185.51 c 185.45/185.51 c ============================[ Search Statistics ]============================== 185.45/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.51 c =============================================================================== 185.45/185.51 c | 0 | 2353 2821 10725 | 5000 0 nan | 0.000 % | 185.45/185.51 c =============================================================================== 185.45/185.52 c core #152 185.45/185.52 c 185.45/185.52 c 185.45/185.52 c Core size: 44 Core Weight: 6 Total Weight: 8817 185.45/185.52 c 185.45/185.52 c 185.45/185.52 c ============================[ Search Statistics ]============================== 185.45/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.52 c =============================================================================== 185.45/185.52 c | 0 | 2380 2847 10766 | 5000 0 nan | 0.000 % | 185.45/185.52 c =============================================================================== 185.45/185.54 c core #153 185.45/185.54 c 185.45/185.54 c 185.45/185.54 c Core size: 45 Core Weight: 2 Total Weight: 8819 185.45/185.54 c 185.45/185.54 c 185.45/185.54 c ============================[ Search Statistics ]============================== 185.45/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.54 c =============================================================================== 185.45/185.54 c | 0 | 2408 2874 10858 | 5000 0 nan | 0.000 % | 185.45/185.54 c =============================================================================== 185.45/185.55 c core #154 185.45/185.55 c 185.45/185.55 c 185.45/185.55 c Core size: 41 Core Weight: 9 Total Weight: 8828 185.45/185.55 c 185.45/185.55 c 185.45/185.55 c ============================[ Search Statistics ]============================== 185.45/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.55 c =============================================================================== 185.45/185.55 c | 0 | 2436 2902 10909 | 5000 0 nan | 0.000 % | 185.45/185.56 c =============================================================================== 185.45/185.57 c core #155 185.45/185.57 c 185.45/185.57 c 185.45/185.57 c Core size: 45 Core Weight: 16 Total Weight: 8844 185.45/185.57 c 185.45/185.57 c 185.45/185.57 c ============================[ Search Statistics ]============================== 185.45/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.57 c =============================================================================== 185.45/185.57 c | 0 | 2463 2929 10955 | 5000 0 nan | 0.000 % | 185.45/185.57 c =============================================================================== 185.45/185.58 c core #156 185.45/185.58 c 185.45/185.58 c 185.45/185.58 c Core size: 42 Core Weight: 2 Total Weight: 8846 185.45/185.58 c 185.45/185.58 c 185.45/185.58 c ============================[ Search Statistics ]============================== 185.45/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.58 c =============================================================================== 185.45/185.58 c | 0 | 2491 2956 11003 | 5000 0 nan | 0.000 % | 185.45/185.59 c =============================================================================== 185.54/185.60 c core #157 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c Core size: 46 Core Weight: 2 Total Weight: 8848 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c ============================[ Search Statistics ]============================== 185.54/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.60 c =============================================================================== 185.54/185.60 c | 0 | 2519 2983 11054 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.62 c core #158 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c Core size: 45 Core Weight: 5 Total Weight: 8853 185.54/185.62 c 185.54/185.62 c 185.54/185.62 c ============================[ Search Statistics ]============================== 185.54/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.62 c =============================================================================== 185.54/185.62 c | 0 | 2546 3010 11104 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.63 c core #159 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c Core size: 45 Core Weight: 6 Total Weight: 8859 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 2572 3035 11147 | 5000 0 nan | 0.000 % | 185.54/185.64 c =============================================================================== 185.54/185.65 c core #160 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 45 Core Weight: 18 Total Weight: 8877 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 2598 3059 11192 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.67 c core #161 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c Core size: 49 Core Weight: 6 Total Weight: 8883 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c ============================[ Search Statistics ]============================== 185.54/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.67 c =============================================================================== 185.54/185.67 c | 0 | 2629 3090 11255 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.68 c core #162 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 55 Core Weight: 1 Total Weight: 8884 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 | 2664 3125 11318 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.70 c core #163 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c Core size: 47 Core Weight: 4 Total Weight: 8888 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c ============================[ Search Statistics ]============================== 185.64/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.70 c =============================================================================== 185.64/185.70 c | 0 | 2690 3150 11364 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.72 c core #164 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 46 Core Weight: 6 Total Weight: 8894 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 | 2717 3176 11414 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.73 c core #165 185.64/185.73 c 185.64/185.73 c 185.64/185.73 c Core size: 46 Core Weight: 3 Total Weight: 8897 185.64/185.73 c 185.64/185.73 c 185.64/185.73 c ============================[ Search Statistics ]============================== 185.64/185.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.73 c =============================================================================== 185.64/185.73 c | 0 | 2744 3203 11466 | 5000 0 nan | 0.000 % | 185.64/185.74 c =============================================================================== 185.64/185.75 c core #166 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 47 Core Weight: 11 Total Weight: 8908 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 2772 3230 11587 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.76 c #cores: 166 185.64/185.76 c Final Weight: 8908 185.64/185.76 o 8908 185.64/185.76 s OPTIMUM FOUND 185.64/185.76 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 185.64/185.76 c Total CPU time: 182.279 s
OK 8908
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680407-1277459187/watcher-2680407-1277459187 -o /tmp/evaluation-result-2680407-1277459187/solver-2680407-1277459187 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680407-1277459187.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22597 /proc/meminfo: memFree=1796956/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=2708 CPUtime=0 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 119574427 2772992 226 1992294400 134512640 135752675 4291231232 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 677 226 143 303 0 372 0 [startup+0.105595 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22597 /proc/meminfo: memFree=1796956/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=3100 CPUtime=0.09 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 413 0 0 0 9 0 0 0 20 0 1 0 119574427 3174400 328 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 775 328 145 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.201603 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22597 /proc/meminfo: memFree=1796956/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=3496 CPUtime=0.19 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 517 0 0 0 19 0 0 0 20 0 1 0 119574427 3579904 432 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 874 432 145 303 0 569 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3496 [startup+0.301612 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22597 /proc/meminfo: memFree=1796956/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=3892 CPUtime=0.29 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 620 0 0 0 28 1 0 0 20 0 1 0 119574427 3985408 535 1992294400 134512640 135752675 4291231232 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 973 535 145 303 0 668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3892 [startup+0.700647 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22597 /proc/meminfo: memFree=1796956/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=5376 CPUtime=0.69 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 1004 0 0 0 67 2 0 0 20 0 1 0 119574427 5505024 919 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 1344 919 145 303 0 1039 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5376 [startup+1.50072 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1792236/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=8248 CPUtime=1.49 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 1709 0 0 0 145 4 0 0 23 0 1 0 119574427 8445952 1624 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 2062 1624 145 303 0 1757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8248 [startup+3.10186 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1788516/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=13268 CPUtime=3.09 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 2960 0 0 0 301 8 0 0 25 0 1 0 119574427 13586432 2875 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 3317 2875 145 303 0 3012 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13268 [startup+6.30115 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1779092/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=21520 CPUtime=6.29 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 5023 0 0 0 612 17 0 0 25 0 1 0 119574427 22036480 4938 1992294400 134512640 135752675 4291231232 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 5380 4938 145 303 0 5075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21520 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1763840/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=36120 CPUtime=12.69 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 8657 0 0 0 1239 30 0 0 25 0 1 0 119574427 36986880 8572 1992294400 134512640 135752675 4291231232 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 9030 8572 145 303 0 8725 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36120 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1736312/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=62784 CPUtime=25.48 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 15338 0 0 0 2492 56 0 0 25 0 1 0 119574427 64290816 15253 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 15696 15253 145 303 0 15391 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62784 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22598 /proc/meminfo: memFree=1685100/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=114300 CPUtime=51.07 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 28224 0 0 0 4995 112 0 0 25 0 1 0 119574427 117043200 28139 1992294400 134512640 135752675 4291231232 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 28575 28139 145 303 0 28270 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 114300 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22600 /proc/meminfo: memFree=1592348/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=205904 CPUtime=102.27 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 51111 0 0 0 10025 202 0 0 25 0 1 0 119574427 210845696 51026 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 51476 51026 145 303 0 51171 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 205904 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1491536/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=307360 CPUtime=162.25 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 76444 0 0 0 15919 306 0 0 25 0 1 0 119574427 314736640 76359 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 76840 76359 145 303 0 76535 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 307360 Solver just ended. Dumping a history of the last processes samples [startup+166.402 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1484220/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=314188 CPUtime=166.35 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 78162 0 0 0 16321 314 0 0 25 0 1 0 119574427 321728512 78077 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 78547 78077 145 303 0 78242 0 Current children cumulated CPU time (s) 166.35 Current children cumulated vsize (KiB) 314188 [startup+179.201 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1466240/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=333252 CPUtime=179.15 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 82921 0 0 0 17580 335 0 0 25 0 1 0 119574427 341250048 82836 1992294400 134512640 135752675 4291231232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 83313 82836 145 303 0 83008 0 Current children cumulated CPU time (s) 179.15 Current children cumulated vsize (KiB) 333252 [startup+182.401 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1460660/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=338788 CPUtime=182.34 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 84303 0 0 0 17894 340 0 0 25 0 1 0 119574427 346918912 84218 1992294400 134512640 135752675 4291231232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 84697 84218 145 303 0 84392 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 338788 [startup+184.001 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1457436/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=340500 CPUtime=183.94 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 84740 0 0 0 18052 342 0 0 25 0 1 0 119574427 348672000 84655 1992294400 134512640 135752675 4291231232 18446744073709551615 134521941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 85125 84655 145 303 0 84820 0 Current children cumulated CPU time (s) 183.94 Current children cumulated vsize (KiB) 340500 [startup+184.8 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1457436/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=340336 CPUtime=184.75 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 84742 0 0 0 18133 342 0 0 25 0 1 0 119574427 348504064 84629 1992294400 134512640 135752675 4291231232 18446744073709551615 135205082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 85084 84629 146 303 0 84779 0 Current children cumulated CPU time (s) 184.75 Current children cumulated vsize (KiB) 340336 [startup+185.6 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1457436/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=340336 CPUtime=185.54 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202496 84764 0 0 0 18211 343 0 0 25 0 1 0 119574427 348504064 84651 1992294400 134512640 135752675 4291231232 18446744073709551615 135211666 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22597/statm: 85084 84651 146 303 0 84779 0 Current children cumulated CPU time (s) 185.54 Current children cumulated vsize (KiB) 340336 [startup+185.8 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22602 /proc/meminfo: memFree=1457436/2059040 swapFree=4139780/4192956 [pid=22597] ppid=22595 vsize=0 CPUtime=185.74 /proc/22597/stat : 22597 (wbo1.4b) R 22595 22597 22155 0 -1 4202500 84765 0 0 0 18227 347 0 0 25 0 1 0 119574427 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 185.74 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 185.802 CPU time (s): 185.757 CPU user time (s): 182.279 CPU system time (s): 3.47747 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 340500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.279 system time used= 3.47747 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84765 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= 17 involuntary context switches= 241 runsolver used 0.291955 second user time and 0.921859 second system time The end
Begin job on node025 at 2010-06-25 11:46:27 IDJOB=2680407 IDBENCH=24969 IDSOLVER=1190 FILE ID=node025/2680407-1277459187 PBS_JOBID= 11188139 Free space on /tmp= 62324 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680407-1277459187/watcher-2680407-1277459187 -o /tmp/evaluation-result-2680407-1277459187/solver-2680407-1277459187 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680407-1277459187.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75c7e5778aa6d0e8c18984c9064c30c6 RANDOM SEED=1434070512 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797360 kB Buffers: 30908 kB Cached: 125644 kB SwapCached: 5912 kB Active: 65504 kB Inactive: 104956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797360 kB SwapTotal: 4192956 kB SwapFree: 4139780 kB Dirty: 2676 kB Writeback: 0 kB AnonPages: 12564 kB Mapped: 11852 kB Slab: 69116 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184652 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62324 MiB End job on node025 at 2010-06-25 11:49:33