Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 8908 | 185.64 | 185.805 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655764-1276629808.opb. 0.00/0.00 c Instance file HOME/instance-2655764-1276629808.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.030995 s Remaining CPU time: 179.969 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.035994 s Remaining CPU time: 179.964 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.05/0.07 c | 1141 | 253 289 1727 | 6655 1141 40 | 0.002 % | 0.05/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.52 c =============================================================================== 0.49/0.52 c New solution: 12374 0.49/0.52 o 12374 0.49/0.52 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s 0.49/0.52 c =============================================================================== 0.49/0.52 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.58/0.62 c | 9564 | 253 290 1980 | 8052 5445 38 | 0.002 % | 0.58/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.87 c | 13173 | 253 290 1980 | 10717 9054 39 | 0.002 % | 1.00/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.22 c =============================================================================== 2.20/2.22 c New solution: 12328 2.20/2.22 o 12328 2.20/2.22 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s 2.20/2.22 c =============================================================================== 2.20/2.22 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.30 c | 29944 | 253 291 2233 | 6655 3805 41 | 0.002 % | 2.28/2.32 c | 30281 | 253 291 2233 | 7320 4142 41 | 0.002 % | 2.28/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.48/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.6136 s Remaining CPU time: 177.386 s 2.59/2.69 c =============================================================================== 2.59/2.69 c | 35155 | 253 292 2486 | 5000 9016 41 | 0.002 % | 2.69/2.72 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.6486 s Remaining CPU time: 177.351 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.68959 s Remaining CPU time: 177.31 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.69559 s Remaining CPU time: 177.304 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 35885 | 253 295 3245 | 5000 2619 39 | 0.002 % | 2.69/2.79 c | 35985 | 253 295 3245 | 5500 2719 39 | 0.002 % | 2.79/2.80 c | 36135 | 253 295 3245 | 6050 2869 39 | 0.002 % | 2.79/2.82 c | 36361 | 253 295 3245 | 6655 3095 39 | 0.002 % | 2.79/2.85 c | 36699 | 253 295 3245 | 7320 3433 39 | 0.002 % | 2.79/2.88 c | 37206 | 253 295 3245 | 8052 3940 39 | 0.002 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 12141 2.79/2.88 o 12141 2.79/2.88 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 37206 | 253 296 3498 | 5000 3940 39 | 0.002 % | 2.79/2.89 c | 37306 | 253 296 3498 | 5500 4040 39 | 0.002 % | 2.88/2.91 c | 37457 | 253 296 3498 | 6050 4191 38 | 0.002 % | 2.88/2.92 c | 37685 | 253 296 3498 | 6655 4419 38 | 0.002 % | 2.88/2.95 c | 38023 | 253 296 3498 | 7320 4757 38 | 0.002 % | 2.88/2.99 c | 38529 | 253 296 3498 | 8052 5263 38 | 0.002 % | 2.98/3.06 c | 39288 | 253 296 3498 | 8857 6022 38 | 0.002 % | 2.98/3.06 c =============================================================================== 2.98/3.06 c New solution: 11632 2.98/3.06 o 11632 2.98/3.06 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s 2.98/3.06 c =============================================================================== 2.98/3.06 c | 39331 | 253 297 3751 | 5000 6065 38 | 0.002 % | 2.98/3.08 c | 39431 | 253 297 3751 | 5500 3133 37 | 0.002 % | 2.98/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.02154 s Remaining CPU time: 176.978 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.19/3.21 c | 41133 | 253 298 4004 | 8052 4835 37 | 0.002 % | 3.19/3.27 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.22451 s Remaining CPU time: 176.775 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.23851 s Remaining CPU time: 176.761 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.36 c | 42779 | 253 300 4510 | 6050 3405 40 | 0.002 % | 3.30/3.38 c | 43007 | 253 300 4510 | 6655 3633 39 | 0.002 % | 3.39/3.42 c | 43344 | 253 300 4510 | 7320 3970 39 | 0.002 % | 3.39/3.46 c | 43850 | 253 300 4510 | 8052 4476 39 | 0.002 % | 3.49/3.53 c | 44609 | 253 300 4510 | 8857 5235 38 | 0.002 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 11333 3.49/3.53 o 11333 3.49/3.53 c Elapsed CPU time: 3.42548 s Remaining CPU time: 176.575 s 3.49/3.53 c =============================================================================== 3.49/3.53 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.43048 s Remaining CPU time: 176.57 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.56 c | 44860 | 253 302 5016 | 6050 2869 37 | 0.002 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c New solution: 10513 3.49/3.57 o 10513 3.49/3.57 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s 3.49/3.57 c =============================================================================== 3.49/3.57 c | 44945 | 253 303 5269 | 5000 2954 37 | 0.002 % | 3.49/3.58 c | 45046 | 253 303 5269 | 5500 3055 37 | 0.036 % | 3.59/3.60 c | 45196 | 253 303 5269 | 6050 3205 37 | 0.002 % | 3.59/3.62 c | 45421 | 253 303 5269 | 6655 3430 37 | 0.036 % | 3.59/3.65 c | 45759 | 253 303 5269 | 7320 3768 37 | 0.002 % | 3.59/3.69 c | 46265 | 253 303 5269 | 8052 4274 37 | 0.002 % | 3.69/3.77 c | 47025 | 253 303 5269 | 8857 5034 38 | 0.002 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c New solution: 10413 3.69/3.78 o 10413 3.69/3.78 c Elapsed CPU time: 3.66444 s Remaining CPU time: 176.336 s 3.69/3.78 c =============================================================================== 3.69/3.78 c | 47097 | 253 304 5522 | 5000 5106 38 | 0.002 % | 3.69/3.79 c | 47199 | 253 304 5522 | 5500 2655 38 | 0.002 % | 3.79/3.80 c | 47349 | 253 304 5522 | 6050 2805 38 | 0.002 % | 3.79/3.82 c | 47577 | 253 304 5522 | 6655 3033 38 | 0.002 % | 3.79/3.86 c | 47915 | 253 304 5522 | 7320 3371 38 | 0.002 % | 3.89/3.91 c | 48422 | 253 304 5522 | 8052 3878 39 | 0.002 % | 3.89/3.98 c | 49181 | 253 304 5522 | 8857 4637 39 | 0.002 % | 3.99/4.09 c | 50321 | 253 304 5522 | 9743 5777 39 | 0.002 % | 4.18/4.27 c | 52030 | 253 304 5522 | 10717 7486 39 | 0.002 % | 4.48/4.55 c | 54597 | 253 304 5522 | 11789 10053 40 | 0.002 % | 4.98/5.03 c | 58442 | 253 304 5522 | 12968 7906 44 | 0.002 % | 5.59/5.60 c | 64209 | 253 304 5522 | 14265 7087 39 | 0.002 % | 6.59/6.67 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.29/10.31 c | 105297 | 253 304 5522 | 18987 15607 37 | 0.002 % | 14.39/14.44 c | 134490 | 253 304 5522 | 20886 16056 42 | 0.002 % | 20.09/20.19 c | 178282 | 253 304 5522 | 22974 17765 38 | 0.002 % | 20.38/20.44 c =============================================================================== 20.38/20.44 c New solution: 10403 20.38/20.44 o 10403 20.38/20.44 c Elapsed CPU time: 19.967 s Remaining CPU time: 160.033 s 20.38/20.44 c =============================================================================== 20.38/20.44 c | 180174 | 253 305 5775 | 5000 19657 39 | 0.002 % | 20.48/20.51 c | 180274 | 253 305 5775 | 5500 5015 44 | 0.002 % | 20.48/20.53 c | 180424 | 253 305 5775 | 6050 5165 44 | 0.002 % | 20.48/20.56 c | 180649 | 253 305 5775 | 6655 5390 44 | 0.036 % | 20.48/20.59 c | 180988 | 253 305 5775 | 7320 5729 43 | 0.002 % | 20.58/20.65 c | 181494 | 253 305 5775 | 8052 6235 44 | 0.002 % | 20.69/20.73 c | 182254 | 253 305 5775 | 8857 6995 43 | 0.002 % | 20.79/20.84 c | 183396 | 253 305 5775 | 9743 8137 42 | 0.036 % | 20.98/21.07 c | 185104 | 253 305 5775 | 10717 9845 45 | 0.036 % | 21.38/21.41 c | 187666 | 253 305 5775 | 11789 6967 44 | 0.002 % | 21.78/21.81 c | 191510 | 253 305 5775 | 12968 10811 42 | 0.036 % | 22.48/22.52 c | 197276 | 253 305 5775 | 14265 9990 39 | 0.002 % | 23.49/23.51 c | 205925 | 253 305 5775 | 15692 11406 39 | 0.002 % | 25.09/25.12 c | 218899 | 253 305 5775 | 17261 8535 35 | 0.002 % | 27.98/28.00 c | 238361 | 253 305 5775 | 18987 10569 39 | 0.002 % | 27.98/28.00 c =============================================================================== 27.98/28.00 c New solution: 9980 27.98/28.00 o 9980 27.98/28.00 c Elapsed CPU time: 27.3778 s Remaining CPU time: 152.622 s 27.98/28.00 c =============================================================================== 27.98/28.00 c | 238362 | 253 306 6028 | 5000 10570 39 | 0.002 % | 27.98/28.04 c | 238463 | 253 306 6028 | 5500 2744 36 | 0.002 % | 27.98/28.06 c | 238614 | 253 306 6028 | 6050 2895 36 | 0.002 % | 27.98/28.08 c | 238839 | 253 306 6028 | 6655 3120 36 | 0.002 % | 28.08/28.12 c | 239180 | 253 306 6028 | 7320 3461 37 | 0.002 % | 28.08/28.17 c | 239686 | 253 306 6028 | 8052 3967 37 | 0.002 % | 28.18/28.23 c | 240447 | 253 306 6028 | 8857 4728 36 | 0.002 % | 28.29/28.35 c | 241586 | 253 306 6028 | 9743 5867 37 | 0.036 % | 28.49/28.53 c | 243295 | 253 306 6028 | 10717 7576 36 | 0.002 % | 28.78/28.82 c | 245857 | 253 306 6028 | 11789 10138 37 | 0.002 % | 29.28/29.32 c | 249701 | 253 306 6028 | 12968 8001 39 | 0.002 % | 29.99/30.02 c | 255467 | 253 306 6028 | 14265 7206 43 | 0.002 % | 30.78/30.89 c | 264117 | 253 306 6028 | 15692 8618 35 | 0.002 % | 32.58/32.64 c | 277092 | 253 306 6028 | 17261 13683 41 | 0.002 % | 35.09/35.20 c | 296555 | 253 306 6028 | 18987 15686 43 | 0.036 % | 38.68/38.76 c | 325748 | 253 306 6028 | 20886 16160 38 | 0.036 % | 44.27/44.37 c | 369537 | 253 306 6028 | 22974 17818 36 | 0.002 % | 53.88/53.91 c | 435222 | 253 306 6028 | 25272 22242 36 | 0.002 % | 64.48/64.56 c =============================================================================== 64.48/64.56 c New solution: 9933 64.48/64.56 o 9933 64.48/64.56 c Elapsed CPU time: 63.2534 s Remaining CPU time: 116.747 s 64.48/64.56 c =============================================================================== 64.48/64.56 c | 502367 | 253 307 6281 | 5000 16836 44 | 0.002 % | 64.58/64.64 c | 502467 | 253 307 6281 | 5500 4309 44 | 0.002 % | 64.58/64.66 c | 502618 | 253 307 6281 | 6050 4460 44 | 0.002 % | 64.58/64.68 c | 502843 | 253 307 6281 | 6655 4685 44 | 0.036 % | 64.68/64.72 c | 503180 | 253 307 6281 | 7320 5022 44 | 0.036 % | 64.68/64.76 c | 503687 | 253 307 6281 | 8052 5529 43 | 0.002 % | 64.78/64.84 c | 504446 | 253 307 6281 | 8857 6288 42 | 0.002 % | 64.88/64.95 c | 505585 | 253 307 6281 | 9743 7427 41 | 0.002 % | 65.08/65.15 c | 507293 | 253 307 6281 | 10717 9135 41 | 0.002 % | 65.38/65.42 c | 509857 | 253 307 6281 | 11789 6249 35 | 0.002 % | 65.78/65.87 c | 513701 | 253 307 6281 | 12968 10093 37 | 0.036 % | 66.48/66.57 c | 519469 | 253 307 6281 | 14265 9281 47 | 0.002 % | 67.48/67.58 c | 528120 | 253 307 6281 | 15692 10716 39 | 0.002 % | 69.28/69.31 c | 541094 | 253 307 6281 | 17261 15756 39 | 0.036 % | 71.77/71.86 c | 560557 | 253 307 6281 | 18987 9077 33 | 0.036 % | 76.07/76.14 c | 589749 | 253 307 6281 | 20886 19100 36 | 0.002 % | 82.37/82.44 c | 633538 | 253 307 6281 | 22974 20791 37 | 0.002 % | 92.37/92.49 c | 699223 | 253 307 6281 | 25272 12448 37 | 0.002 % | 108.46/108.59 c | 797750 | 253 307 6281 | 27799 24481 39 | 0.036 % | 125.76/125.82 c =============================================================================== 125.76/125.82 c New solution: 9929 125.76/125.82 o 9929 125.76/125.82 c Elapsed CPU time: 123.4 s Remaining CPU time: 56.5998 s 125.76/125.82 c =============================================================================== 125.76/125.82 c | 909531 | 253 308 6534 | 5000 18226 37 | 0.036 % | 125.86/125.90 c | 909631 | 253 308 6534 | 5500 4657 38 | 0.002 % | 125.86/125.92 c | 909781 | 253 308 6534 | 6050 4807 38 | 0.002 % | 125.86/125.94 c | 910006 | 253 308 6534 | 6655 5032 38 | 0.002 % | 125.86/125.97 c | 910345 | 253 308 6534 | 7320 5371 38 | 0.002 % | 125.96/126.03 c | 910853 | 253 308 6534 | 8052 5879 38 | 0.002 % | 126.06/126.11 c | 911612 | 253 308 6534 | 8857 6638 38 | 0.002 % | 126.16/126.25 c | 912751 | 253 308 6534 | 9743 7777 38 | 0.002 % | 126.37/126.44 c | 914460 | 253 308 6534 | 10717 9486 38 | 0.002 % | 126.66/126.76 c | 917024 | 253 308 6534 | 11789 6599 39 | 0.002 % | 127.06/127.17 c | 920869 | 253 308 6534 | 12968 10444 40 | 0.002 % | 127.85/127.94 c | 926635 | 253 308 6534 | 14265 9619 42 | 0.036 % | 128.35/128.48 c =============================================================================== 128.35/128.48 c New solution: 9925 128.35/128.48 o 9925 128.35/128.48 c Elapsed CPU time: 125.996 s Remaining CPU time: 54.0042 s 128.35/128.48 c =============================================================================== 128.35/128.48 c | 930456 | 253 309 6787 | 5000 13440 42 | 0.036 % | 128.46/128.52 c | 930556 | 253 309 6787 | 5500 3460 41 | 0.036 % | 128.46/128.55 c | 930706 | 253 309 6787 | 6050 3610 41 | 0.002 % | 128.46/128.57 c | 930933 | 253 309 6787 | 6655 3837 41 | 0.002 % | 128.57/128.61 c | 931270 | 253 309 6787 | 7320 4174 40 | 0.002 % | 128.57/128.67 c | 931776 | 253 309 6787 | 8052 4680 40 | 0.002 % | 128.66/128.74 c | 932538 | 253 309 6787 | 8857 5442 39 | 0.002 % | 128.75/128.89 c | 933678 | 253 309 6787 | 9743 6582 41 | 0.002 % | 128.96/129.09 c | 935386 | 253 309 6787 | 10717 8290 40 | 0.002 % | 129.36/129.41 c | 937949 | 253 309 6787 | 11789 10853 41 | 0.002 % | 129.86/129.95 c | 941793 | 253 309 6787 | 12968 8697 42 | 0.036 % | 130.26/130.30 c =============================================================================== 130.26/130.30 c New solution: 9889 130.26/130.30 o 9889 130.26/130.30 c Elapsed CPU time: 127.778 s Remaining CPU time: 52.2224 s 130.26/130.30 c =============================================================================== 130.26/130.30 c | 944475 | 253 310 7040 | 5000 11379 42 | 0.036 % | 130.26/130.34 c | 944576 | 253 310 7040 | 5500 2946 42 | 0.002 % | 130.26/130.35 c | 944726 | 253 310 7040 | 6050 3096 42 | 0.002 % | 130.26/130.38 c | 944952 | 253 310 7040 | 6655 3322 43 | 0.002 % | 130.36/130.42 c | 945291 | 253 310 7040 | 7320 3661 42 | 0.002 % | 130.36/130.47 c | 945798 | 253 310 7040 | 8052 4168 40 | 0.002 % | 130.46/130.55 c | 946558 | 253 310 7040 | 8857 4928 41 | 0.036 % | 130.55/130.68 c | 947697 | 253 310 7040 | 9743 6067 40 | 0.002 % | 130.77/130.87 c | 949407 | 253 310 7040 | 10717 7777 40 | 0.036 % | 131.05/131.18 c | 951969 | 253 310 7040 | 11789 10339 39 | 0.002 % | 131.56/131.62 c | 955815 | 253 310 7040 | 12968 8197 35 | 0.002 % | 132.36/132.40 c =============================================================================== 132.36/132.40 c New solution: 9867 132.36/132.40 o 9867 132.36/132.40 c Elapsed CPU time: 129.839 s Remaining CPU time: 50.1607 s 132.36/132.40 c =============================================================================== 132.36/132.40 c | 961106 | 253 311 7293 | 5000 6907 43 | 0.002 % | 132.36/132.43 c | 961206 | 253 311 7293 | 5500 3554 45 | 0.002 % | 132.36/132.44 c | 961357 | 253 311 7293 | 6050 3705 45 | 0.002 % | 132.36/132.47 c | 961583 | 253 311 7293 | 6655 3931 45 | 0.002 % | 132.46/132.51 c | 961920 | 253 311 7293 | 7320 4268 44 | 0.002 % | 132.46/132.57 c | 962426 | 253 311 7293 | 8052 4774 44 | 0.036 % | 132.55/132.67 c | 963185 | 253 311 7293 | 8857 5533 43 | 0.002 % | 132.76/132.82 c | 964324 | 253 311 7293 | 9743 6672 44 | 0.002 % | 132.96/133.05 c | 966033 | 253 311 7293 | 10717 8381 44 | 0.002 % | 133.26/133.38 c | 968595 | 253 311 7293 | 11789 5495 39 | 0.002 % | 133.75/133.84 c | 972439 | 253 311 7293 | 12968 9339 38 | 0.036 % | 134.66/134.70 c | 978207 | 253 311 7293 | 14265 8549 40 | 0.036 % | 135.86/135.90 c | 986857 | 253 311 7293 | 15692 9976 40 | 0.036 % | 137.75/137.89 c | 999832 | 253 311 7293 | 17261 15036 41 | 0.002 % | 140.67/140.77 c | 1019294 | 253 311 7293 | 18987 17100 37 | 0.002 % | 145.35/145.43 c | 1048487 | 253 311 7293 | 20886 17573 38 | 0.036 % | 152.16/152.22 c | 1092276 | 253 311 7293 | 22974 19193 36 | 0.036 % | 164.14/164.26 c | 1157961 | 253 311 7293 | 25272 11228 40 | 0.036 % | 181.15/181.26 c | 1256487 | 253 311 7293 | 27799 22883 39 | 0.002 % | 183.34/183.47 c There are 0 assigned variables. 0 in cost function. 185.15/185.27 c core #1 185.15/185.27 c core #2 185.15/185.27 c core #3 185.15/185.27 c core #4 185.15/185.27 c core #5 185.15/185.27 c core #6 185.15/185.27 c core #7 185.15/185.27 c core #8 185.15/185.27 c core #9 185.15/185.27 c core #10 185.15/185.27 c core #11 185.15/185.27 c core #12 185.15/185.27 c core #13 185.15/185.27 c core #14 185.15/185.27 c core #15 185.15/185.27 c core #16 185.15/185.27 c core #17 185.15/185.27 c core #18 185.15/185.27 c core #19 185.15/185.27 c core #20 185.15/185.27 c core #21 185.15/185.27 c core #22 185.15/185.27 c core #23 185.15/185.27 c core #24 185.15/185.27 c core #25 185.15/185.27 c core #26 185.15/185.27 c core #27 185.15/185.27 c core #28 185.15/185.27 c core #29 185.15/185.27 c core #30 185.15/185.27 c core #31 185.15/185.27 c core #32 185.15/185.27 c core #33 185.15/185.27 c core #34 185.15/185.27 c core #35 185.15/185.27 c core #36 185.15/185.27 c core #37 185.15/185.27 c core #38 185.15/185.27 c core #39 185.15/185.27 c core #40 185.15/185.27 c core #41 185.15/185.27 c core #42 185.15/185.27 c core #43 185.15/185.27 c core #44 185.15/185.27 c core #45 185.15/185.27 c core #46 185.15/185.27 c core #47 185.15/185.27 c core #48 185.15/185.27 c core #49 185.15/185.27 c core #50 185.15/185.27 c core #51 185.15/185.27 c core #52 185.15/185.27 c core #53 185.15/185.27 c core #54 185.15/185.27 c core #55 185.15/185.27 c core #56 185.15/185.27 c core #57 185.15/185.27 c core #58 185.15/185.27 c core #59 185.15/185.27 c core #60 185.15/185.27 c core #61 185.15/185.27 c core #62 185.15/185.27 c core #63 185.15/185.27 c core #64 185.15/185.27 c core #65 185.15/185.27 c core #66 185.15/185.27 c core #67 185.15/185.27 c core #68 185.15/185.27 c core #69 185.15/185.27 c core #70 185.15/185.27 c core #71 185.15/185.27 c core #72 185.15/185.27 c core #73 185.15/185.27 c core #74 185.15/185.27 c core #75 185.15/185.27 c core #76 185.15/185.27 c core #77 185.15/185.27 c core #78 185.15/185.27 c core #79 185.15/185.27 c core #80 185.15/185.27 c core #81 185.15/185.27 c core #82 185.15/185.27 c core #83 185.15/185.27 c core #84 185.15/185.27 c core #85 185.15/185.27 c core #86 185.15/185.27 c core #87 185.15/185.27 c core #88 185.15/185.27 c core #89 185.15/185.27 c core #90 185.15/185.27 c core #91 185.15/185.27 c core #92 185.15/185.27 c core #93 185.15/185.27 c core #94 185.15/185.27 c core #95 185.15/185.27 c core #96 185.15/185.27 c core #97 185.15/185.27 c core #98 185.15/185.27 c core #99 185.15/185.27 c core #100 185.15/185.27 c core #101 185.15/185.27 c core #102 185.15/185.27 c core #103 185.15/185.27 c core #104 185.15/185.27 c core #105 185.15/185.27 c core #106 185.15/185.27 c core #107 185.15/185.27 c core #108 185.15/185.27 c core #109 185.15/185.27 c core #110 185.15/185.27 c core #111 185.15/185.27 c core #112 185.15/185.27 c core #113 185.15/185.27 c core #114 185.15/185.27 c core #115 185.15/185.27 c core #116 185.15/185.27 c core #117 185.15/185.27 c core #118 185.15/185.27 c core #119 185.15/185.27 c core #120 185.15/185.27 c core #121 185.15/185.27 c core #122 185.15/185.27 c core #123 185.15/185.27 c core #124 185.15/185.27 c core #125 185.15/185.27 c core #126 185.15/185.27 c core #127 185.15/185.27 c core #128 185.15/185.27 c core #129 185.15/185.27 c core #130 185.15/185.27 c core #131 185.15/185.27 c core #132 185.15/185.27 c core #133 185.15/185.27 c core #134 185.15/185.27 c core #135 185.15/185.27 c ============================[ Search Statistics ]============================== 185.15/185.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.15/185.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.15/185.27 c =============================================================================== 185.15/185.27 c | 0 | 1789 2282 9845 | 5000 0 nan | 0.000 % | 185.15/185.27 c =============================================================================== 185.15/185.28 c core #136 185.15/185.28 c ============================[ Search Statistics ]============================== 185.15/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.15/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.15/185.28 c =============================================================================== 185.15/185.28 c | 0 | 1823 2315 9899 | 5000 0 nan | 0.000 % | 185.15/185.29 c =============================================================================== 185.15/185.29 c core #137 185.15/185.29 c ============================[ Search Statistics ]============================== 185.15/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.15/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.15/185.29 c =============================================================================== 185.15/185.29 c | 0 | 1857 2346 9949 | 5000 0 nan | 0.000 % | 185.25/185.30 c =============================================================================== 185.25/185.31 c core #138 185.25/185.31 c ============================[ Search Statistics ]============================== 185.25/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.31 c =============================================================================== 185.25/185.31 c | 0 | 1891 2379 10003 | 5000 0 nan | 0.000 % | 185.25/185.31 c =============================================================================== 185.25/185.32 c core #139 185.25/185.32 c ============================[ Search Statistics ]============================== 185.25/185.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.32 c =============================================================================== 185.25/185.32 c | 0 | 1935 2413 10219 | 5000 0 nan | 0.000 % | 185.25/185.33 c =============================================================================== 185.25/185.34 c core #140 185.25/185.34 c ============================[ Search Statistics ]============================== 185.25/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.34 c =============================================================================== 185.25/185.34 c | 0 | 1982 2458 10312 | 5000 0 nan | 0.000 % | 185.25/185.34 c =============================================================================== 185.25/185.35 c core #141 185.25/185.35 c ============================[ Search Statistics ]============================== 185.25/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.35 c =============================================================================== 185.25/185.35 c | 0 | 2028 2503 10402 | 5000 0 nan | 0.000 % | 185.25/185.35 c =============================================================================== 185.25/185.36 c core #142 185.25/185.36 c ============================[ Search Statistics ]============================== 185.25/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.36 c =============================================================================== 185.25/185.36 c | 0 | 2074 2548 10492 | 5000 0 nan | 0.000 % | 185.25/185.37 c =============================================================================== 185.25/185.38 c core #143 185.25/185.38 c ============================[ Search Statistics ]============================== 185.25/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.38 c =============================================================================== 185.25/185.38 c | 0 | 2104 2578 10538 | 5000 0 nan | 0.000 % | 185.25/185.38 c =============================================================================== 185.25/185.39 c core #144 185.25/185.39 c ============================[ Search Statistics ]============================== 185.25/185.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.39 c =============================================================================== 185.25/185.39 c | 0 | 2136 2609 10587 | 5000 0 nan | 0.000 % | 185.35/185.40 c =============================================================================== 185.35/185.41 c core #145 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 2640 10636 | 5000 0 nan | 0.000 % | 185.35/185.41 c =============================================================================== 185.35/185.42 c core #146 185.35/185.42 c ============================[ Search Statistics ]============================== 185.35/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.42 c =============================================================================== 185.35/185.42 c | 0 | 2200 2672 10691 | 5000 0 nan | 0.000 % | 185.35/185.43 c =============================================================================== 185.35/185.44 c core #147 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 2703 10777 | 5000 0 nan | 0.000 % | 185.35/185.44 c =============================================================================== 185.35/185.46 c core #148 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 2734 10831 | 5000 0 nan | 0.000 % | 185.35/185.46 c =============================================================================== 185.35/185.47 c core #149 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 2763 10880 | 5000 0 nan | 0.000 % | 185.35/185.47 c =============================================================================== 185.35/185.49 c core #150 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 2792 10927 | 5000 0 nan | 0.000 % | 185.35/185.49 c =============================================================================== 185.44/185.50 c core #151 185.44/185.50 c ============================[ Search Statistics ]============================== 185.44/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.50 c =============================================================================== 185.44/185.50 c | 0 | 2353 2822 10978 | 5000 0 nan | 0.000 % | 185.44/185.50 c =============================================================================== 185.44/185.52 c core #152 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 2380 2848 11019 | 5000 0 nan | 0.000 % | 185.44/185.52 c =============================================================================== 185.44/185.53 c core #153 185.44/185.53 c ============================[ Search Statistics ]============================== 185.44/185.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.53 c =============================================================================== 185.44/185.53 c | 0 | 2408 2875 11111 | 5000 0 nan | 0.000 % | 185.44/185.54 c =============================================================================== 185.44/185.55 c core #154 185.44/185.55 c ============================[ Search Statistics ]============================== 185.44/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.55 c =============================================================================== 185.44/185.55 c | 0 | 2436 2903 11162 | 5000 0 nan | 0.000 % | 185.44/185.55 c =============================================================================== 185.44/185.57 c core #155 185.44/185.57 c ============================[ Search Statistics ]============================== 185.44/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.57 c =============================================================================== 185.44/185.57 c | 0 | 2463 2930 11208 | 5000 0 nan | 0.000 % | 185.44/185.57 c =============================================================================== 185.44/185.58 c core #156 185.44/185.58 c ============================[ Search Statistics ]============================== 185.44/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.58 c =============================================================================== 185.44/185.58 c | 0 | 2491 2957 11256 | 5000 0 nan | 0.000 % | 185.44/185.59 c =============================================================================== 185.54/185.60 c core #157 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 2984 11307 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.62 c core #158 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 3011 11357 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.63 c core #159 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 3036 11400 | 5000 0 nan | 0.000 % | 185.54/185.64 c =============================================================================== 185.54/185.65 c core #160 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 3060 11445 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.67 c core #161 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 3091 11508 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.68 c core #162 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 3126 11571 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.70 c core #163 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 3151 11617 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.72 c core #164 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 3177 11667 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.74 c core #165 185.64/185.74 c ============================[ Search Statistics ]============================== 185.64/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.74 c =============================================================================== 185.64/185.74 c | 0 | 2744 3204 11719 | 5000 0 nan | 0.000 % | 185.64/185.74 c =============================================================================== 185.64/185.76 c core #166 185.64/185.76 c ============================[ Search Statistics ]============================== 185.64/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.76 c =============================================================================== 185.64/185.76 c | 0 | 2772 3231 11840 | 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-2655764-1276629808/watcher-2655764-1276629808 -o /tmp/evaluation-result-2655764-1276629808/solver-2655764-1276629808 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655764-1276629808.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.83 1.03 1.25 3/107 4750 /proc/meminfo: memFree=1845284/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=2708 CPUtime=0 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 36636502 2772992 228 1992294400 134512640 135751879 4286723424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 677 228 146 303 0 372 0 [startup+0.0596341 s] /proc/loadavg: 0.83 1.03 1.25 3/107 4750 /proc/meminfo: memFree=1845284/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=2840 CPUtime=0.05 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 359 0 0 0 5 0 0 0 20 0 1 0 36636502 2908160 274 1992294400 134512640 135751879 4286723424 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 710 274 147 303 0 405 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2840 [startup+0.100639 s] /proc/loadavg: 0.83 1.03 1.25 3/107 4750 /proc/meminfo: memFree=1845284/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=2968 CPUtime=0.09 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 410 0 0 0 9 0 0 0 20 0 1 0 36636502 3039232 325 1992294400 134512640 135751879 4286723424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 742 325 147 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.300657 s] /proc/loadavg: 0.83 1.03 1.25 3/107 4750 /proc/meminfo: memFree=1845284/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=3888 CPUtime=0.29 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 621 0 0 0 28 1 0 0 20 0 1 0 36636502 3981312 536 1992294400 134512640 135751879 4286723424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 972 536 147 303 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3888 [startup+0.700692 s] /proc/loadavg: 0.83 1.03 1.25 3/107 4750 /proc/meminfo: memFree=1845284/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=5468 CPUtime=0.69 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 1008 0 0 0 67 2 0 0 20 0 1 0 36636502 5599232 923 1992294400 134512640 135751879 4286723424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 1367 923 148 303 0 1062 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5468 [startup+1.50076 s] /proc/loadavg: 0.83 1.03 1.25 2/108 4751 /proc/meminfo: memFree=1841060/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=8224 CPUtime=1.49 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 1713 0 0 0 145 4 0 0 22 0 1 0 36636502 8421376 1628 1992294400 134512640 135751879 4286723424 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 2056 1628 148 303 0 1751 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8224 [startup+3.10091 s] /proc/loadavg: 0.83 1.03 1.25 2/108 4751 /proc/meminfo: memFree=1837216/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=13212 CPUtime=3.09 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 2961 0 0 0 300 9 0 0 25 0 1 0 36636502 13529088 2876 1992294400 134512640 135751879 4286723424 18446744073709551615 134607811 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 3303 2876 148 303 0 2998 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13212 [startup+6.30119 s] /proc/loadavg: 0.84 1.03 1.25 2/108 4751 /proc/meminfo: memFree=1827916/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=21476 CPUtime=6.29 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 5029 0 0 0 612 17 0 0 25 0 1 0 36636502 21991424 4944 1992294400 134512640 135751879 4286723424 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 5369 4944 148 303 0 5064 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21476 [startup+12.7008 s] /proc/loadavg: 0.85 1.03 1.25 2/108 4751 /proc/meminfo: memFree=1812664/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=35872 CPUtime=12.68 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 8628 0 0 0 1237 31 0 0 25 0 1 0 36636502 36732928 8543 1992294400 134512640 135751879 4286723424 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 9001 8544 148 303 0 8696 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35872 [startup+25.5009 s] /proc/loadavg: 0.89 1.03 1.25 2/108 4751 /proc/meminfo: memFree=1785632/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=62388 CPUtime=25.49 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 15234 0 0 0 2491 58 0 0 25 0 1 0 36636502 63885312 15149 1992294400 134512640 135751879 4286723424 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 15597 15149 148 303 0 15292 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62388 [startup+51.1002 s] /proc/loadavg: 0.92 1.03 1.24 2/108 4753 /proc/meminfo: memFree=1734792/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=113552 CPUtime=51.07 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 28041 0 0 0 5000 107 0 0 25 0 1 0 36636502 116277248 27956 1992294400 134512640 135751879 4286723424 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 28388 27956 148 303 0 28083 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 113552 [startup+102.308 s] /proc/loadavg: 0.96 1.02 1.22 2/108 4753 /proc/meminfo: memFree=1643280/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=203960 CPUtime=102.27 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 50610 0 0 0 10028 199 0 0 25 0 1 0 36636502 208855040 50525 1992294400 134512640 135751879 4286723424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 50990 50525 148 303 0 50685 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 203960 [startup+162.3 s] /proc/loadavg: 0.98 1.02 1.21 2/108 4755 /proc/meminfo: memFree=1542964/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=304748 CPUtime=162.24 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 75797 0 0 0 15920 304 0 0 25 0 1 0 36636502 312061952 75712 1992294400 134512640 135751879 4286723424 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 76187 75712 148 303 0 75882 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 304748 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (185.64 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (185.64 s) to the 'lost time'. [startup+185.701 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1509360/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=337212 CPUtime=185.64 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 84000 0 0 0 18221 343 0 0 25 0 1 0 36636502 345305088 83887 1992294400 134512640 135751879 4286723424 18446744073709551615 134626489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 84303 83887 151 303 0 83998 0 Current children cumulated CPU time (s) 185.64 Current children cumulated vsize (KiB) 337212 [startup+185.801 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1843168/2059040 swapFree=4140108/4192956 [pid=4750] ppid=-1 vsize=0 CPUtime=0 /proc/4750/stat : -- couldn't open stat file --/proc/4750/statm: 64238 965 540 1 0 3321 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 1.02 1.20 2/108 4755 /proc/meminfo: memFree=1536144/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=311188 CPUtime=166.25 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 77401 0 0 0 16314 311 0 0 25 0 1 0 36636502 318656512 77316 1992294400 134512640 135751879 4286723424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 77797 77316 148 303 0 77492 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 311188 [startup+179.101 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1518164/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=330044 CPUtime=179.05 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 82129 0 0 0 17571 334 0 0 25 0 1 0 36636502 337965056 82044 1992294400 134512640 135751879 4286723424 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 82511 82044 148 303 0 82206 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 330044 [startup+182.301 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1513080/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=335012 CPUtime=182.24 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 83364 0 0 0 17884 340 0 0 25 0 1 0 36636502 343052288 83279 1992294400 134512640 135751879 4286723424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 83753 83279 148 303 0 83448 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 335012 [startup+183.901 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1509360/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=337376 CPUtime=183.84 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 83965 0 0 0 18042 342 0 0 25 0 1 0 36636502 345473024 83880 1992294400 134512640 135751879 4286723424 18446744073709551615 134521914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 84344 83880 149 303 0 84039 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 337376 [startup+184.701 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1509360/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=337212 CPUtime=184.65 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 83968 0 0 0 18123 342 0 0 25 0 1 0 36636502 345305088 83855 1992294400 134512640 135751879 4286723424 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 84303 83855 151 303 0 83998 0 Current children cumulated CPU time (s) 184.65 Current children cumulated vsize (KiB) 337212 [startup+185.501 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1509360/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=337212 CPUtime=185.44 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 84000 0 0 0 18201 343 0 0 25 0 1 0 36636502 345305088 83887 1992294400 134512640 135751879 4286723424 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 84303 83887 151 303 0 83998 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 337212 [startup+185.701 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1509360/2059040 swapFree=4140108/4192956 [pid=4750] ppid=4748 vsize=337212 CPUtime=185.64 /proc/4750/stat : 4750 (wbo1.4b) R 4748 4750 4047 0 -1 4202496 84000 0 0 0 18221 343 0 0 25 0 1 0 36636502 345305088 83887 1992294400 134512640 135751879 4286723424 18446744073709551615 134626489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4750/statm: 84303 83887 151 303 0 83998 0 Current children cumulated CPU time (s) 185.64 Current children cumulated vsize (KiB) 337212 [startup+185.801 s] /proc/loadavg: 0.99 1.01 1.20 2/108 4755 /proc/meminfo: memFree=1843168/2059040 swapFree=4140108/4192956 [pid=4750] ppid=-1 vsize=0 CPUtime=0 /proc/4750/stat : -- couldn't open stat file --/proc/4750/statm: 64238 965 540 1 0 3321 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4750 and gives # childrusage.ru_utime.tv_sec=182 # childrusage.ru_utime.tv_usec=279289 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=474471 # CPU time returned by wait4() is 185.754 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 185.64 # lost CPU user time (s): 182.21 # lost CPU system time (s): 3.43 Real time (s): 185.805 CPU time (s): 185.64 CPU user time (s): 182.21 CPU system time (s): 3.43 CPU usage (%): 99.9109 Max. virtual memory (cumulated for all children) (KiB): 337376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.279 system time used= 3.47447 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84000 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= 6 involuntary context switches= 210 runsolver used 0.290955 second user time and 0.91786 second system time The end
Begin job on node025 at 2010-06-15 21:23:28 IDJOB=2655764 IDBENCH=24969 IDSOLVER=1161 FILE ID=node025/2655764-1276629808 PBS_JOBID= 11172360 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b 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-2655764-1276629808/watcher-2655764-1276629808 -o /tmp/evaluation-result-2655764-1276629808/solver-2655764-1276629808 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655764-1276629808.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75c7e5778aa6d0e8c18984c9064c30c6 RANDOM SEED=600841661 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: 1845812 kB Buffers: 21888 kB Cached: 102756 kB SwapCached: 7140 kB Active: 51828 kB Inactive: 86996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845812 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 11828 kB Mapped: 13008 kB Slab: 52596 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181916 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= 62580 MiB End job on node025 at 2010-06-15 21:26:34