Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.1 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12037_10.std.opb |
MD5SUM | 2d7989b1a1c0b548cce5b438f15fc440 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 143 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 245287 |
Number of constraints which are clauses | 244087 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
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-2687269-1278450584.opb. 0.00/0.00 c Instance file HOME/instance-2687269-1278450584.opb 0.00/0.00 c File size is 8328295 bytes. 1.59/1.67 c Highest Coefficient sum: 699 1.59/1.68 c ============================[ Problem Statistics ]============================= 1.59/1.68 c | | 1.59/1.68 c | Parsing time: 1.65 s | 1.59/1.68 c | Number Variables: 72842 | 1.59/1.68 c | Number Clauses: 244087 | 1.59/1.68 c | Number Cardinality: 0 | 1.59/1.68 c | Number PB Constraints: 1200 | 97.25/97.33 c ============================[ Search Statistics ]============================== 97.25/97.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.25/97.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.25/97.33 c =============================================================================== 97.25/97.33 c | 0 | 57022 246567 576561 | 81762 0 nan | 0.000 % | 97.35/97.40 c | 103 | 57022 246567 576561 | 89938 103 25 | 21.718 % | 97.35/97.49 c | 255 | 57022 246567 576561 | 98932 255 37 | 21.718 % | 97.45/97.56 c =============================================================================== 97.45/97.56 c New solution: 300 97.45/97.56 o 300 97.45/97.56 c Elapsed CPU time: 97.3242 s Remaining CPU time: 82.6758 s 97.45/97.56 c =============================================================================== 97.45/97.56 c | 273 | 57022 246568 576861 | 82189 273 35 | 21.718 % | 97.55/97.62 c =============================================================================== 97.55/97.62 c New solution: 299 97.55/97.62 o 299 97.55/97.62 c Elapsed CPU time: 97.3842 s Remaining CPU time: 82.6158 s 97.55/97.62 c =============================================================================== 97.55/97.62 c | 291 | 56901 246569 577161 | 82189 291 35 | 21.718 % | 97.55/97.70 c | 391 | 56784 246569 577161 | 90408 391 44 | 22.068 % | 97.65/97.79 c | 542 | 56783 246569 577161 | 99449 542 42 | 22.068 % | 97.76/97.86 c =============================================================================== 97.76/97.86 c New solution: 298 97.76/97.86 o 298 97.76/97.86 c Elapsed CPU time: 97.6292 s Remaining CPU time: 82.3708 s 97.76/97.86 c =============================================================================== 97.76/97.86 c | 558 | 56767 246570 577461 | 82190 396 40 | 22.068 % | 97.86/97.93 c =============================================================================== 97.86/97.93 c New solution: 297 97.86/97.93 o 297 97.86/97.93 c Elapsed CPU time: 97.6951 s Remaining CPU time: 82.3049 s 97.86/97.93 c =============================================================================== 97.86/97.93 c | 573 | 56623 246571 577761 | 82190 411 39 | 22.068 % | 97.95/98.01 c =============================================================================== 97.95/98.01 c New solution: 296 97.95/98.01 o 296 97.95/98.01 c Elapsed CPU time: 97.7701 s Remaining CPU time: 82.2299 s 97.95/98.01 c =============================================================================== 97.95/98.01 c | 584 | 56463 246572 578061 | 82190 422 40 | 22.068 % | 97.95/98.09 c | 684 | 56414 246572 578061 | 90409 522 40 | 22.723 % | 98.05/98.16 c =============================================================================== 98.05/98.16 c New solution: 295 98.05/98.16 o 295 98.05/98.16 c Elapsed CPU time: 97.9231 s Remaining CPU time: 82.0769 s 98.05/98.16 c =============================================================================== 98.05/98.16 c | 716 | 56290 246573 578361 | 82191 554 40 | 22.723 % | 98.15/98.21 c | 816 | 56280 246573 578361 | 90410 654 39 | 22.977 % | 98.15/98.27 c =============================================================================== 98.15/98.27 c New solution: 294 98.15/98.27 o 294 98.15/98.27 c Elapsed CPU time: 98.0331 s Remaining CPU time: 81.9669 s 98.15/98.27 c =============================================================================== 98.15/98.27 c | 831 | 56105 246574 578661 | 82191 669 39 | 22.977 % | 98.25/98.33 c =============================================================================== 98.25/98.33 c New solution: 293 98.25/98.33 o 293 98.25/98.33 c Elapsed CPU time: 98.0951 s Remaining CPU time: 81.9049 s 98.25/98.33 c =============================================================================== 98.25/98.33 c | 842 | 55907 246575 578961 | 82191 336 39 | 22.977 % | 98.35/98.40 c =============================================================================== 98.35/98.40 c New solution: 292 98.35/98.40 o 292 98.35/98.40 c Elapsed CPU time: 98.1651 s Remaining CPU time: 81.8349 s 98.35/98.40 c =============================================================================== 98.35/98.40 c | 850 | 55693 246576 579261 | 82192 344 38 | 22.977 % | 98.35/98.47 c =============================================================================== 98.35/98.47 c New solution: 291 98.35/98.47 o 291 98.35/98.47 c Elapsed CPU time: 98.2361 s Remaining CPU time: 81.7639 s 98.35/98.47 c =============================================================================== 98.35/98.47 c | 863 | 55473 246577 579561 | 82192 357 38 | 22.977 % | 98.44/98.53 c =============================================================================== 98.44/98.53 c New solution: 290 98.44/98.53 o 290 98.44/98.53 c Elapsed CPU time: 98.2931 s Remaining CPU time: 81.7069 s 98.44/98.53 c =============================================================================== 98.44/98.53 c | 875 | 55242 246578 579861 | 82192 369 37 | 22.977 % | 98.54/98.60 c | 976 | 55236 246578 579861 | 90411 470 41 | 24.494 % | 98.64/98.70 c | 1126 | 55225 246578 579861 | 99453 620 43 | 24.494 % | 98.64/98.76 c =============================================================================== 98.64/98.76 c New solution: 289 98.64/98.76 o 289 98.64/98.76 c Elapsed CPU time: 98.523 s Remaining CPU time: 81.477 s 98.64/98.76 c =============================================================================== 98.64/98.76 c | 1142 | 55000 246579 580161 | 82193 636 42 | 24.494 % | 98.74/98.82 c =============================================================================== 98.74/98.82 c New solution: 288 98.74/98.82 o 288 98.74/98.82 c Elapsed CPU time: 98.583 s Remaining CPU time: 81.417 s 98.74/98.82 c =============================================================================== 98.74/98.82 c | 1156 | 54758 246580 580461 | 82193 460 37 | 24.494 % | 98.74/98.89 c =============================================================================== 98.74/98.89 c New solution: 287 98.74/98.89 o 287 98.74/98.89 c Elapsed CPU time: 98.648 s Remaining CPU time: 81.352 s 98.74/98.89 c =============================================================================== 98.74/98.89 c | 1182 | 54516 246581 580761 | 82193 486 36 | 24.494 % | 98.85/98.97 c =============================================================================== 98.85/98.97 c New solution: 286 98.85/98.97 o 286 98.85/98.97 c Elapsed CPU time: 98.73 s Remaining CPU time: 81.27 s 98.85/98.97 c =============================================================================== 98.85/98.97 c | 1241 | 54274 246582 581061 | 82194 545 37 | 24.494 % | 98.95/99.05 c | 1343 | 54265 246582 581061 | 90413 647 38 | 25.823 % | 99.04/99.14 c | 1494 | 54256 246582 581061 | 99454 798 40 | 25.823 % | 99.15/99.20 c =============================================================================== 99.15/99.20 c New solution: 285 99.15/99.20 o 285 99.15/99.20 c Elapsed CPU time: 98.963 s Remaining CPU time: 81.037 s 99.15/99.20 c =============================================================================== 99.15/99.20 c | 1521 | 54032 246583 581361 | 82194 825 39 | 25.823 % | 99.15/99.27 c =============================================================================== 99.15/99.27 c New solution: 284 99.15/99.27 o 284 99.15/99.27 c Elapsed CPU time: 99.0279 s Remaining CPU time: 80.9721 s 99.15/99.27 c =============================================================================== 99.15/99.27 c | 1548 | 53790 246584 581661 | 82194 852 39 | 25.823 % | 99.25/99.37 c | 1648 | 53548 246584 581661 | 90414 574 37 | 26.487 % | 99.35/99.44 c | 1798 | 53548 246584 581661 | 99455 724 37 | 26.487 % | 99.45/99.54 c | 2024 | 53548 246584 581661 | 109401 950 38 | 26.487 % | 99.55/99.61 c =============================================================================== 99.55/99.61 c New solution: 283 99.55/99.61 o 283 99.55/99.61 c Elapsed CPU time: 99.3699 s Remaining CPU time: 80.6301 s 99.55/99.61 c =============================================================================== 99.55/99.61 c | 2050 | 53548 246585 581961 | 82195 976 37 | 26.487 % | 99.55/99.67 c =============================================================================== 99.55/99.67 c New solution: 282 99.55/99.67 o 282 99.55/99.67 c Elapsed CPU time: 99.4309 s Remaining CPU time: 80.5691 s 99.55/99.67 c =============================================================================== 99.55/99.67 c | 2063 | 53306 246586 582261 | 82195 989 37 | 26.487 % | 99.65/99.76 c =============================================================================== 99.65/99.76 c New solution: 281 99.65/99.76 o 281 99.65/99.76 c Elapsed CPU time: 99.5149 s Remaining CPU time: 80.4851 s 99.65/99.76 c =============================================================================== 99.65/99.76 c | 2120 | 53064 246587 582561 | 82195 1046 37 | 26.487 % | 99.75/99.84 c | 2220 | 52822 246587 582561 | 90415 962 36 | 27.484 % | 99.84/99.93 c =============================================================================== 99.84/99.93 c New solution: 280 99.84/99.93 o 280 99.84/99.93 c Elapsed CPU time: 99.6838 s Remaining CPU time: 80.3162 s 99.84/99.93 c =============================================================================== 99.84/99.93 c | 2282 | 52822 246588 582861 | 82196 1024 36 | 27.484 % | 99.84/99.98 c | 2382 | 52810 246588 582861 | 90415 1124 35 | 27.816 % | 99.95/100.05 c =============================================================================== 99.95/100.05 c New solution: 279 99.95/100.05 o 279 99.95/100.05 c Elapsed CPU time: 99.7958 s Remaining CPU time: 80.2042 s 99.95/100.05 c =============================================================================== 99.95/100.05 c | 2387 | 52580 246589 583161 | 82196 1129 35 | 27.816 % | 100.05/100.11 c =============================================================================== 100.05/100.11 c New solution: 278 100.05/100.11 o 278 100.05/100.11 c Elapsed CPU time: 99.8618 s Remaining CPU time: 80.1382 s 100.05/100.11 c =============================================================================== 100.05/100.11 c | 2408 | 52338 246590 583461 | 82196 1150 35 | 27.816 % | 100.05/100.18 c | 2510 | 52324 246590 583461 | 90416 1252 36 | 28.481 % | 100.15/100.25 c | 2661 | 52322 246590 583461 | 99457 1403 36 | 28.481 % | 100.25/100.31 c =============================================================================== 100.25/100.31 c New solution: 277 100.25/100.31 o 277 100.25/100.31 c Elapsed CPU time: 100.063 s Remaining CPU time: 79.9372 s 100.25/100.31 c =============================================================================== 100.25/100.31 c | 2670 | 52096 246591 583761 | 82197 1206 35 | 28.481 % | 100.35/100.40 c =============================================================================== 100.35/100.40 c New solution: 276 100.35/100.40 o 276 100.35/100.40 c Elapsed CPU time: 100.152 s Remaining CPU time: 79.8482 s 100.35/100.40 c =============================================================================== 100.35/100.40 c | 2769 | 51854 246592 584061 | 82197 1305 36 | 28.481 % | 100.35/100.46 c | 2869 | 51851 246592 584061 | 90417 1405 36 | 29.145 % | 100.45/100.55 c | 3019 | 51847 246592 584061 | 99458 1555 36 | 29.145 % | 100.55/100.67 c | 3244 | 51834 246592 584061 | 109404 1780 38 | 29.145 % | 100.85/100.90 c | 3582 | 51829 246592 584061 | 120345 2118 40 | 29.145 % | 100.85/100.98 c =============================================================================== 100.85/100.98 c New solution: 275 100.85/100.98 o 275 100.85/100.98 c Elapsed CPU time: 100.721 s Remaining CPU time: 79.2793 s 100.85/100.98 c =============================================================================== 100.85/100.98 c | 3613 | 51612 246593 584361 | 82197 2087 40 | 29.145 % | 100.95/101.04 c =============================================================================== 100.95/101.04 c New solution: 274 100.95/101.04 o 274 100.95/101.04 c Elapsed CPU time: 100.782 s Remaining CPU time: 79.2183 s 100.95/101.04 c =============================================================================== 100.95/101.04 c | 3627 | 51370 246594 584661 | 82198 2101 40 | 29.145 % | 101.05/101.10 c =============================================================================== 101.05/101.10 c New solution: 273 101.05/101.10 o 273 101.05/101.10 c Elapsed CPU time: 100.844 s Remaining CPU time: 79.1563 s 101.05/101.10 c =============================================================================== 101.05/101.10 c | 3644 | 51128 246595 584961 | 82198 2118 40 | 29.145 % | 101.05/101.17 c =============================================================================== 101.05/101.17 c New solution: 272 101.05/101.17 o 272 101.05/101.17 c Elapsed CPU time: 100.914 s Remaining CPU time: 79.0863 s 101.05/101.17 c =============================================================================== 101.05/101.17 c | 3651 | 50886 246596 585261 | 82198 2125 40 | 29.145 % | 101.15/101.24 c | 3751 | 50811 246596 585261 | 90418 2225 41 | 30.474 % | 101.24/101.39 c | 3901 | 50811 246596 585261 | 99460 2375 43 | 30.474 % | 101.44/101.53 c | 4126 | 50809 246596 585261 | 109406 2600 42 | 30.474 % | 101.54/101.61 c =============================================================================== 101.54/101.62 c New solution: 271 101.54/101.62 o 271 101.54/101.62 c Elapsed CPU time: 101.357 s Remaining CPU time: 78.6434 s 101.54/101.62 c =============================================================================== 101.54/101.62 c | 4172 | 50644 246597 585561 | 82199 1886 39 | 30.474 % | 101.54/101.68 c | 4272 | 50639 246597 585561 | 90418 1986 39 | 30.806 % | 101.64/101.74 c =============================================================================== 101.64/101.74 c New solution: 270 101.64/101.74 o 270 101.64/101.74 c Elapsed CPU time: 101.482 s Remaining CPU time: 78.5184 s 101.64/101.74 c =============================================================================== 101.64/101.74 c | 4276 | 50402 246598 585861 | 82199 1990 39 | 30.806 % | 101.74/101.81 c =============================================================================== 101.74/101.81 c New solution: 269 101.74/101.81 o 269 101.74/101.81 c Elapsed CPU time: 101.547 s Remaining CPU time: 78.4534 s 101.74/101.81 c =============================================================================== 101.74/101.81 c | 4298 | 50160 246599 586161 | 82199 2012 39 | 30.806 % | 101.74/101.87 c | 4398 | 50128 246599 586161 | 90419 2112 39 | 31.471 % | 101.85/101.98 c | 4548 | 50126 246599 586161 | 99461 2262 39 | 31.471 % | 101.95/102.06 c | 4774 | 50122 246599 586161 | 109407 2488 39 | 31.471 % | 102.16/102.21 c | 5111 | 50119 246599 586161 | 120348 2825 39 | 31.471 % | 102.16/102.27 c =============================================================================== 102.16/102.27 c New solution: 268 102.16/102.27 o 268 102.16/102.27 c Elapsed CPU time: 102.011 s Remaining CPU time: 77.9885 s 102.16/102.27 c =============================================================================== 102.16/102.27 c | 5117 | 49918 246600 586461 | 82200 2281 37 | 31.471 % | 102.25/102.35 c =============================================================================== 102.25/102.35 c New solution: 267 102.25/102.35 o 267 102.25/102.35 c Elapsed CPU time: 102.087 s Remaining CPU time: 77.9125 s 102.25/102.35 c =============================================================================== 102.25/102.35 c | 5132 | 49676 246601 586761 | 82200 2296 37 | 31.471 % | 102.35/102.43 c =============================================================================== 102.35/102.43 c New solution: 266 102.35/102.43 o 266 102.35/102.43 c Elapsed CPU time: 102.162 s Remaining CPU time: 77.8375 s 102.35/102.43 c =============================================================================== 102.35/102.43 c | 5167 | 49434 246602 587061 | 82200 2331 37 | 31.471 % | 102.35/102.48 c | 5267 | 49430 246602 587061 | 90420 2431 36 | 32.468 % | 102.45/102.58 c | 5417 | 49421 246602 587061 | 99462 2581 37 | 32.468 % | 102.55/102.64 c =============================================================================== 102.55/102.64 c New solution: 265 102.55/102.64 o 265 102.55/102.64 c Elapsed CPU time: 102.377 s Remaining CPU time: 77.6226 s 102.55/102.64 c =============================================================================== 102.55/102.64 c | 5444 | 49192 246603 587361 | 82201 2608 37 | 32.468 % | 102.64/102.70 c | 5546 | 49164 246603 587361 | 90421 2710 37 | 32.800 % | 102.64/102.78 c | 5696 | 49162 246603 587361 | 99463 2860 37 | 32.800 % | 102.74/102.84 c =============================================================================== 102.74/102.84 c New solution: 264 102.74/102.84 o 264 102.74/102.84 c Elapsed CPU time: 102.568 s Remaining CPU time: 77.4316 s 102.74/102.84 c =============================================================================== 102.74/102.84 c | 5707 | 48950 246604 587661 | 82201 2871 37 | 32.800 % | 102.84/102.91 c =============================================================================== 102.84/102.91 c New solution: 263 102.84/102.91 o 263 102.84/102.91 c Elapsed CPU time: 102.644 s Remaining CPU time: 77.3556 s 102.84/102.91 c =============================================================================== 102.84/102.91 c | 5721 | 48708 246605 587961 | 82201 2212 36 | 32.800 % | 102.84/102.97 c | 5822 | 48672 246605 587961 | 90421 2313 36 | 33.464 % | 102.94/103.04 c | 5972 | 48670 246605 587961 | 99464 2463 36 | 33.464 % | 103.05/103.18 c | 6197 | 48666 246605 587961 | 109410 2688 37 | 33.464 % | 103.15/103.24 c =============================================================================== 103.15/103.24 c New solution: 262 103.15/103.24 o 262 103.15/103.24 c Elapsed CPU time: 102.964 s Remaining CPU time: 77.0357 s 103.15/103.24 c =============================================================================== 103.15/103.24 c | 6207 | 48466 246606 588261 | 82202 2698 37 | 33.464 % | 103.26/103.31 c =============================================================================== 103.26/103.31 c New solution: 261 103.26/103.31 o 261 103.26/103.31 c Elapsed CPU time: 103.034 s Remaining CPU time: 76.9657 s 103.26/103.31 c =============================================================================== 103.26/103.31 c | 6226 | 48224 246607 588561 | 82202 2717 37 | 33.464 % | 103.26/103.38 c =============================================================================== 103.26/103.38 c New solution: 260 103.26/103.38 o 260 103.26/103.38 c Elapsed CPU time: 103.105 s Remaining CPU time: 76.8947 s 103.26/103.38 c =============================================================================== 103.26/103.38 c | 6231 | 47982 246608 588861 | 82202 2722 37 | 33.464 % | 103.36/103.45 c =============================================================================== 103.36/103.45 c New solution: 259 103.36/103.45 o 259 103.36/103.45 c Elapsed CPU time: 103.177 s Remaining CPU time: 76.8227 s 103.36/103.45 c =============================================================================== 103.36/103.45 c | 6248 | 47740 246609 589161 | 82203 2739 36 | 33.464 % | 103.45/103.56 c =============================================================================== 103.45/103.56 c New solution: 258 103.45/103.56 o 258 103.45/103.56 c Elapsed CPU time: 103.287 s Remaining CPU time: 76.7127 s 103.45/103.56 c =============================================================================== 103.45/103.56 c | 6347 | 47498 246610 589461 | 82203 2838 37 | 33.464 % | 103.55/103.63 c =============================================================================== 103.55/103.63 c New solution: 257 103.55/103.63 o 257 103.55/103.63 c Elapsed CPU time: 103.353 s Remaining CPU time: 76.6467 s 103.55/103.63 c =============================================================================== 103.55/103.63 c | 6373 | 47256 246611 589761 | 82203 1921 37 | 33.464 % | 103.55/103.69 c =============================================================================== 103.55/103.69 c New solution: 256 103.55/103.69 o 256 103.55/103.69 c Elapsed CPU time: 103.417 s Remaining CPU time: 76.5827 s 103.55/103.69 c =============================================================================== 103.55/103.69 c | 6377 | 47014 246612 590061 | 82204 1925 37 | 33.464 % | 103.65/103.75 c | 6477 | 46996 246612 590061 | 90424 2025 37 | 35.790 % | 103.75/103.83 c | 6628 | 46991 246612 590061 | 99466 2176 37 | 35.790 % | 103.75/103.89 c =============================================================================== 103.75/103.89 c New solution: 255 103.75/103.89 o 255 103.75/103.89 c Elapsed CPU time: 103.612 s Remaining CPU time: 76.3878 s 103.75/103.89 c =============================================================================== 103.75/103.89 c | 6632 | 46772 246613 590361 | 82204 2180 37 | 35.790 % | 103.85/103.94 c =============================================================================== 103.85/103.94 c New solution: 254 103.85/103.94 o 254 103.85/103.94 c Elapsed CPU time: 103.668 s Remaining CPU time: 76.3318 s 103.85/103.94 c =============================================================================== 103.85/103.94 c | 6636 | 46530 246614 590661 | 82204 2184 37 | 35.790 % | 103.94/104.00 c =============================================================================== 103.94/104.00 c New solution: 253 103.94/104.00 o 253 103.94/104.00 c Elapsed CPU time: 103.722 s Remaining CPU time: 76.2778 s 103.94/104.00 c =============================================================================== 103.94/104.00 c | 6637 | 46288 246615 590961 | 82205 2185 37 | 35.790 % | 103.94/104.06 c =============================================================================== 103.94/104.06 c New solution: 252 103.94/104.06 o 252 103.94/104.06 c Elapsed CPU time: 103.786 s Remaining CPU time: 76.2138 s 103.94/104.06 c =============================================================================== 103.94/104.06 c | 6642 | 46046 246616 591261 | 82205 2190 37 | 35.790 % | 104.04/104.12 c =============================================================================== 104.04/104.12 c New solution: 251 104.04/104.12 o 251 104.04/104.12 c Elapsed CPU time: 103.845 s Remaining CPU time: 76.1548 s 104.04/104.12 c =============================================================================== 104.04/104.12 c | 6658 | 45804 246617 591561 | 82205 2206 37 | 35.790 % | 104.14/104.20 c | 6758 | 45782 246617 591561 | 90426 2306 38 | 37.451 % | 104.24/104.30 c | 6908 | 45775 246617 591561 | 99468 2456 38 | 37.451 % | 104.24/104.37 c =============================================================================== 104.24/104.37 c New solution: 250 104.24/104.37 o 250 104.24/104.37 c Elapsed CPU time: 104.09 s Remaining CPU time: 75.9098 s 104.24/104.37 c =============================================================================== 104.24/104.37 c | 6954 | 45562 246618 591861 | 82206 1795 37 | 37.451 % | 104.36/104.43 c | 7055 | 45515 246618 591861 | 90426 1896 37 | 37.783 % | 104.55/104.60 c | 7206 | 45512 246618 591861 | 99469 2047 39 | 37.783 % | 104.55/104.67 c =============================================================================== 104.55/104.67 c New solution: 249 104.55/104.67 o 249 104.55/104.67 c Elapsed CPU time: 104.381 s Remaining CPU time: 75.6189 s 104.55/104.67 c =============================================================================== 104.55/104.67 c | 7227 | 45320 246619 592161 | 82206 2068 39 | 37.783 % | 104.65/104.73 c =============================================================================== 104.65/104.73 c New solution: 248 104.65/104.73 o 248 104.65/104.73 c Elapsed CPU time: 104.442 s Remaining CPU time: 75.5579 s 104.65/104.73 c =============================================================================== 104.65/104.73 c | 7241 | 45078 246620 592461 | 82206 2082 39 | 37.783 % | 104.65/104.79 c =============================================================================== 104.65/104.79 c New solution: 247 104.65/104.79 o 247 104.65/104.79 c Elapsed CPU time: 104.504 s Remaining CPU time: 75.4959 s 104.65/104.79 c =============================================================================== 104.65/104.79 c | 7251 | 44836 246621 592761 | 82207 2092 38 | 37.783 % | 104.74/104.88 c =============================================================================== 104.74/104.88 c New solution: 246 104.74/104.88 o 246 104.74/104.88 c Elapsed CPU time: 104.59 s Remaining CPU time: 75.4099 s 104.74/104.88 c =============================================================================== 104.74/104.88 c | 7300 | 44594 246622 593061 | 82207 2141 39 | 37.783 % | 104.84/104.94 c =============================================================================== 104.84/104.94 c New solution: 245 104.84/104.94 o 245 104.84/104.94 c Elapsed CPU time: 104.649 s Remaining CPU time: 75.3509 s 104.84/104.94 c =============================================================================== 104.84/104.94 c | 7318 | 44352 246623 593361 | 82207 2159 38 | 37.783 % | 104.94/105.00 c | 7418 | 44110 246623 593361 | 90428 1429 34 | 39.444 % | 104.94/105.08 c =============================================================================== 104.94/105.08 c New solution: 244 104.94/105.08 o 244 104.94/105.08 c Elapsed CPU time: 104.785 s Remaining CPU time: 75.2149 s 104.94/105.08 c =============================================================================== 104.94/105.08 c | 7461 | 44110 246624 593661 | 82208 1472 34 | 39.444 % | 105.04/105.13 c | 7561 | 44109 246624 593661 | 90428 1572 34 | 39.777 % | 105.14/105.21 c =============================================================================== 105.14/105.21 c New solution: 243 105.14/105.21 o 243 105.14/105.21 c Elapsed CPU time: 104.916 s Remaining CPU time: 75.084 s 105.14/105.21 c =============================================================================== 105.14/105.21 c | 7609 | 43868 246625 593961 | 82208 1620 34 | 39.777 % | 105.14/105.27 c =============================================================================== 105.14/105.27 c New solution: 242 105.14/105.27 o 242 105.14/105.27 c Elapsed CPU time: 104.979 s Remaining CPU time: 75.021 s 105.14/105.27 c =============================================================================== 105.14/105.27 c | 7616 | 43626 246626 594261 | 82208 1627 34 | 39.777 % | 105.25/105.33 c =============================================================================== 105.25/105.33 c New solution: 241 105.25/105.33 o 241 105.25/105.33 c Elapsed CPU time: 105.034 s Remaining CPU time: 74.966 s 105.25/105.33 c =============================================================================== 105.25/105.33 c | 7626 | 43384 246627 594561 | 82209 1637 34 | 39.777 % | 105.25/105.38 c | 7727 | 43372 246627 594561 | 90429 1738 34 | 40.773 % | 105.35/105.45 c =============================================================================== 105.35/105.45 c New solution: 240 105.35/105.45 o 240 105.35/105.45 c Elapsed CPU time: 105.151 s Remaining CPU time: 74.849 s 105.35/105.45 c =============================================================================== 105.35/105.45 c | 7772 | 43142 246628 594861 | 82209 1783 34 | 40.773 % | 105.45/105.51 c | 7873 | 43135 246628 594861 | 90430 1884 35 | 41.105 % | 105.55/105.60 c =============================================================================== 105.55/105.60 c New solution: 239 105.55/105.60 o 239 105.55/105.60 c Elapsed CPU time: 105.309 s Remaining CPU time: 74.691 s 105.55/105.60 c =============================================================================== 105.55/105.60 c | 7951 | 42900 246629 595161 | 82209 1459 34 | 41.105 % | 105.55/105.67 c =============================================================================== 105.55/105.67 c New solution: 238 105.55/105.67 o 238 105.55/105.67 c Elapsed CPU time: 105.371 s Remaining CPU time: 74.629 s 105.55/105.67 c =============================================================================== 105.55/105.67 c | 7954 | 42658 246630 595461 | 82210 1462 34 | 41.105 % | 105.65/105.72 c | 8056 | 42587 246630 595461 | 90431 1564 34 | 41.770 % | 105.75/105.81 c | 8207 | 42585 246630 595461 | 99474 1715 35 | 41.770 % | 105.85/105.94 c | 8432 | 42583 246630 595461 | 109421 1940 35 | 41.770 % | 105.95/106.00 c =============================================================================== 105.95/106.00 c New solution: 237 105.95/106.00 o 237 105.95/106.00 c Elapsed CPU time: 105.707 s Remaining CPU time: 74.2931 s 105.95/106.00 c =============================================================================== 105.95/106.00 c | 8455 | 42416 246631 595761 | 82210 1963 35 | 41.770 % | 105.95/106.06 c =============================================================================== 105.95/106.06 c New solution: 236 105.95/106.06 o 236 105.95/106.06 c Elapsed CPU time: 105.764 s Remaining CPU time: 74.2361 s 105.95/106.06 c =============================================================================== 105.95/106.06 c | 8467 | 42174 246632 596061 | 82210 1975 35 | 41.770 % | 106.05/106.11 c | 8567 | 42161 246632 596061 | 90431 2075 35 | 42.434 % | 106.14/106.22 c | 8717 | 41932 246632 596061 | 99474 1672 33 | 42.434 % | 106.14/106.28 c =============================================================================== 106.14/106.28 c New solution: 235 106.14/106.28 o 235 106.14/106.28 c Elapsed CPU time: 105.977 s Remaining CPU time: 74.0231 s 106.14/106.28 c =============================================================================== 106.14/106.28 c | 8726 | 41932 246633 596361 | 82211 1681 33 | 42.434 % | 106.24/106.34 c =============================================================================== 106.24/106.34 c New solution: 234 106.24/106.34 o 234 106.24/106.34 c Elapsed CPU time: 106.038 s Remaining CPU time: 73.9621 s 106.24/106.34 c =============================================================================== 106.24/106.34 c | 8735 | 41690 246634 596661 | 82211 1690 33 | 42.434 % | 106.24/106.39 c | 8835 | 41665 246634 596661 | 90432 1790 33 | 43.099 % | 106.34/106.48 c | 8985 | 41662 246634 596661 | 99475 1940 34 | 43.099 % | 106.44/106.54 c =============================================================================== 106.44/106.54 c New solution: 233 106.44/106.54 o 233 106.44/106.54 c Elapsed CPU time: 106.242 s Remaining CPU time: 73.7582 s 106.44/106.54 c =============================================================================== 106.44/106.54 c | 9000 | 41448 246635 596961 | 82211 1955 34 | 43.099 % | 106.56/106.60 c =============================================================================== 106.56/106.60 c New solution: 232 106.56/106.60 o 232 106.56/106.60 c Elapsed CPU time: 106.298 s Remaining CPU time: 73.7022 s 106.56/106.60 c =============================================================================== 106.56/106.60 c | 9012 | 41206 246636 597261 | 82212 1967 34 | 43.099 % | 106.56/106.66 c | 9114 | 41192 246636 597261 | 90433 2069 34 | 43.763 % | 106.66/106.77 c | 9264 | 41178 246636 597261 | 99476 2219 36 | 43.763 % | 106.75/106.88 c | 9490 | 40964 246636 597261 | 109424 1562 34 | 43.763 % | 107.05/107.12 c | 9828 | 40964 246636 597261 | 120366 1900 38 | 43.763 % | 107.05/107.18 c =============================================================================== 107.05/107.18 c New solution: 231 107.05/107.18 o 231 107.05/107.18 c Elapsed CPU time: 106.877 s Remaining CPU time: 73.1232 s 107.05/107.18 c =============================================================================== 107.05/107.18 c | 9855 | 40964 246637 597561 | 82212 1927 38 | 43.763 % | 107.15/107.24 c =============================================================================== 107.15/107.24 c New solution: 230 107.15/107.24 o 230 107.15/107.24 c Elapsed CPU time: 106.931 s Remaining CPU time: 73.0693 s 107.15/107.24 c =============================================================================== 107.15/107.24 c | 9857 | 40722 246638 597861 | 82212 1929 38 | 43.763 % | 107.15/107.29 c =============================================================================== 107.15/107.29 c New solution: 229 107.15/107.29 o 229 107.15/107.29 c Elapsed CPU time: 106.984 s Remaining CPU time: 73.0163 s 107.15/107.29 c =============================================================================== 107.15/107.29 c | 9862 | 40480 246639 598161 | 82213 1934 38 | 43.763 % | 107.25/107.34 c =============================================================================== 107.25/107.34 c New solution: 228 107.25/107.34 o 228 107.25/107.34 c Elapsed CPU time: 107.035 s Remaining CPU time: 72.9653 s 107.25/107.34 c =============================================================================== 107.25/107.34 c | 9867 | 40238 246640 598461 | 82213 1939 38 | 43.763 % | 107.35/107.40 c =============================================================================== 107.35/107.40 c New solution: 227 107.35/107.40 o 227 107.35/107.40 c Elapsed CPU time: 107.097 s Remaining CPU time: 72.9033 s 107.35/107.40 c =============================================================================== 107.35/107.40 c | 9870 | 39996 246641 598761 | 82213 1942 38 | 43.763 % | 107.35/107.46 c =============================================================================== 107.35/107.46 c New solution: 226 107.35/107.46 o 226 107.35/107.46 c Elapsed CPU time: 107.155 s Remaining CPU time: 72.8453 s 107.35/107.46 c =============================================================================== 107.35/107.46 c | 9882 | 39754 246642 599061 | 82214 1359 35 | 43.763 % | 107.45/107.53 c =============================================================================== 107.45/107.53 c New solution: 225 107.45/107.53 o 225 107.45/107.53 c Elapsed CPU time: 107.222 s Remaining CPU time: 72.7783 s 107.45/107.53 c =============================================================================== 107.45/107.53 c | 9935 | 39512 246643 599361 | 82214 1412 35 | 43.763 % | 107.54/107.60 c | 10035 | 39500 246643 599361 | 90435 1512 35 | 46.089 % | 107.54/107.70 c =============================================================================== 107.54/107.70 c New solution: 224 107.54/107.70 o 224 107.54/107.70 c Elapsed CPU time: 107.386 s Remaining CPU time: 72.6143 s 107.54/107.70 c =============================================================================== 107.54/107.70 c | 10125 | 39270 246644 599661 | 82214 1602 35 | 46.089 % | 107.65/107.77 c | 10225 | 39263 246644 599661 | 90436 1702 35 | 46.421 % | 107.75/107.83 c =============================================================================== 107.75/107.83 c New solution: 223 107.75/107.83 o 223 107.75/107.83 c Elapsed CPU time: 107.523 s Remaining CPU time: 72.4773 s 107.75/107.83 c =============================================================================== 107.75/107.83 c | 10232 | 39028 246645 599961 | 82215 1709 35 | 46.421 % | 107.84/107.90 c =============================================================================== 107.84/107.90 c New solution: 222 107.84/107.90 o 222 107.84/107.90 c Elapsed CPU time: 107.589 s Remaining CPU time: 72.4114 s 107.84/107.90 c =============================================================================== 107.84/107.90 c | 10269 | 38786 246646 600261 | 82215 1746 35 | 46.421 % | 107.84/107.98 c | 10370 | 38782 246646 600261 | 90436 1847 36 | 47.085 % | 107.94/108.04 c =============================================================================== 107.94/108.04 c New solution: 221 107.94/108.04 o 221 107.94/108.04 c Elapsed CPU time: 107.729 s Remaining CPU time: 72.2714 s 107.94/108.04 c =============================================================================== 107.94/108.04 c | 10393 | 38544 246647 600561 | 82215 1870 36 | 47.085 % | 108.04/108.10 c =============================================================================== 108.04/108.10 c New solution: 220 108.04/108.10 o 220 108.04/108.10 c Elapsed CPU time: 107.79 s Remaining CPU time: 72.2104 s 108.04/108.10 c =============================================================================== 108.04/108.10 c | 10417 | 38302 246648 600861 | 82216 1164 32 | 47.085 % | 108.04/108.18 c =============================================================================== 108.04/108.18 c New solution: 219 108.04/108.18 o 219 108.04/108.18 c Elapsed CPU time: 107.867 s Remaining CPU time: 72.1334 s 108.04/108.18 c =============================================================================== 108.04/108.18 c | 10491 | 38060 246649 601161 | 82216 1238 33 | 47.085 % | 108.14/108.26 c | 10593 | 38045 246649 601161 | 90437 1340 34 | 48.082 % | 108.24/108.34 c | 10743 | 38039 246649 601161 | 99481 1490 34 | 48.082 % | 108.44/108.50 c | 10969 | 38036 246649 601161 | 109429 1716 38 | 48.082 % | 108.44/108.56 c =============================================================================== 108.44/108.56 c New solution: 218 108.44/108.56 o 218 108.44/108.56 c Elapsed CPU time: 108.243 s Remaining CPU time: 71.7575 s 108.44/108.56 c =============================================================================== 108.44/108.56 c | 10987 | 37818 246650 601461 | 82216 1734 37 | 48.082 % | 108.55/108.61 c | 11087 | 37731 246650 601461 | 90438 1834 38 | 48.414 % | 108.55/108.69 c | 11238 | 37576 246650 601461 | 99482 1677 37 | 48.414 % | 108.75/108.85 c | 11463 | 37576 246650 601461 | 109430 1902 39 | 48.414 % | 108.75/108.90 c =============================================================================== 108.75/108.90 c New solution: 217 108.75/108.90 o 217 108.75/108.90 c Elapsed CPU time: 108.586 s Remaining CPU time: 71.4135 s 108.75/108.90 c =============================================================================== 108.75/108.90 c | 11468 | 37576 246651 601761 | 82217 1907 39 | 48.414 % | 108.85/108.95 c =============================================================================== 108.85/108.95 c New solution: 216 108.85/108.95 o 216 108.85/108.95 c Elapsed CPU time: 108.636 s Remaining CPU time: 71.3635 s 108.85/108.95 c =============================================================================== 108.85/108.95 c | 11476 | 37334 246652 602061 | 82217 1915 39 | 48.414 % | 108.95/109.02 c =============================================================================== 108.95/109.02 c New solution: 215 108.95/109.02 o 215 108.95/109.02 c Elapsed CPU time: 108.704 s Remaining CPU time: 71.2955 s 108.95/109.02 c =============================================================================== 108.95/109.02 c | 11489 | 37092 246653 602361 | 82217 1928 39 | 48.414 % | 108.95/109.08 c =============================================================================== 108.95/109.08 c New solution: 214 108.95/109.08 o 214 108.95/109.08 c Elapsed CPU time: 108.76 s Remaining CPU time: 71.2395 s 108.95/109.08 c =============================================================================== 108.95/109.08 c | 11499 | 36850 246654 602661 | 82218 1938 38 | 48.414 % | 109.04/109.13 c =============================================================================== 109.04/109.13 c New solution: 213 109.04/109.13 o 213 109.04/109.13 c Elapsed CPU time: 108.813 s Remaining CPU time: 71.1865 s 109.04/109.13 c =============================================================================== 109.04/109.13 c | 11509 | 36608 246655 602961 | 82218 1948 38 | 48.414 % | 109.04/109.19 c | 11611 | 36369 246655 602961 | 90440 2050 39 | 50.076 % | 109.14/109.27 c | 11762 | 36369 246655 602961 | 99484 2201 39 | 50.076 % | 109.34/109.42 c | 11987 | 36366 246655 602961 | 109432 1767 35 | 50.076 % | 109.45/109.56 c | 12324 | 36366 246655 602961 | 120375 2104 37 | 50.076 % | 109.65/109.78 c | 12830 | 36366 246655 602961 | 132413 2610 40 | 50.076 % | 110.24/110.34 c | 13589 | 36366 246655 602961 | 145654 3369 42 | 50.076 % | 110.24/110.39 c =============================================================================== 110.24/110.39 c New solution: 212 110.24/110.39 o 212 110.24/110.39 c Elapsed CPU time: 110.059 s Remaining CPU time: 69.9407 s 110.24/110.39 c =============================================================================== 110.24/110.39 c | 13599 | 36366 246656 603261 | 82218 3379 41 | 50.076 % | 110.34/110.46 c =============================================================================== 110.34/110.46 c New solution: 211 110.34/110.46 o 211 110.34/110.46 c Elapsed CPU time: 110.128 s Remaining CPU time: 69.8717 s 110.34/110.46 c =============================================================================== 110.34/110.46 c | 13615 | 36124 246657 603561 | 82219 3267 42 | 50.076 % | 110.44/110.53 c | 13716 | 36077 246657 603561 | 90440 3368 42 | 50.740 % | 110.54/110.65 c | 13867 | 36072 246657 603561 | 99484 3519 42 | 50.740 % | 110.64/110.71 c =============================================================================== 110.64/110.71 c New solution: 210 110.64/110.71 o 210 110.64/110.71 c Elapsed CPU time: 110.377 s Remaining CPU time: 69.6228 s 110.64/110.71 c =============================================================================== 110.64/110.71 c | 13880 | 35882 246658 603861 | 82219 3532 42 | 50.740 % | 110.64/110.76 c =============================================================================== 110.64/110.76 c New solution: 209 110.64/110.76 o 209 110.64/110.76 c Elapsed CPU time: 110.43 s Remaining CPU time: 69.5698 s 110.64/110.76 c =============================================================================== 110.64/110.76 c | 13891 | 35640 246659 604161 | 82219 3543 42 | 50.740 % | 110.74/110.82 c =============================================================================== 110.74/110.82 c New solution: 208 110.74/110.82 o 208 110.74/110.82 c Elapsed CPU time: 110.493 s Remaining CPU time: 69.5068 s 110.74/110.82 c =============================================================================== 110.74/110.82 c | 13904 | 35398 246660 604461 | 82220 3556 42 | 50.740 % | 110.74/110.88 c =============================================================================== 110.74/110.88 c New solution: 207 110.74/110.88 o 207 110.74/110.88 c Elapsed CPU time: 110.545 s Remaining CPU time: 69.4548 s 110.74/110.88 c =============================================================================== 110.74/110.88 c | 13912 | 35156 246661 604761 | 82220 3564 42 | 50.740 % | 110.85/110.93 c | 14013 | 35134 246661 604761 | 90442 3665 42 | 52.069 % | 110.85/110.99 c =============================================================================== 110.85/110.99 c New solution: 206 110.85/110.99 o 206 110.85/110.99 c Elapsed CPU time: 110.655 s Remaining CPU time: 69.3448 s 110.85/110.99 c =============================================================================== 110.85/110.99 c | 14029 | 34914 246662 605061 | 82220 3681 42 | 52.069 % | 110.95/111.05 c =============================================================================== 110.95/111.05 c New solution: 205 110.95/111.05 o 205 110.95/111.05 c Elapsed CPU time: 110.713 s Remaining CPU time: 69.2868 s 110.95/111.05 c =============================================================================== 110.95/111.05 c | 14035 | 34672 246663 605361 | 82221 3687 42 | 52.069 % | 111.05/111.11 c =============================================================================== 111.05/111.11 c New solution: 204 111.05/111.11 o 204 111.05/111.11 c Elapsed CPU time: 110.771 s Remaining CPU time: 69.2288 s 111.05/111.11 c =============================================================================== 111.05/111.11 c | 14045 | 34430 246664 605661 | 82221 3697 42 | 52.069 % | 111.05/111.16 c =============================================================================== 111.05/111.16 c New solution: 203 111.05/111.16 o 203 111.05/111.16 c Elapsed CPU time: 110.821 s Remaining CPU time: 69.1788 s 111.05/111.16 c =============================================================================== 111.05/111.16 c | 14051 | 34188 246665 605961 | 82221 3703 42 | 52.069 % | 111.15/111.21 c | 14151 | 34182 246665 605961 | 90443 3803 42 | 53.398 % | 111.25/111.33 c | 14301 | 33946 246665 605961 | 99488 2279 40 | 53.398 % | 111.25/111.38 c =============================================================================== 111.25/111.38 c New solution: 202 111.25/111.38 o 202 111.25/111.38 c Elapsed CPU time: 111.041 s Remaining CPU time: 68.9589 s 111.25/111.38 c =============================================================================== 111.25/111.38 c | 14312 | 33946 246666 606261 | 82222 2290 40 | 53.398 % | 111.35/111.43 c | 14414 | 33911 246666 606261 | 90444 2392 40 | 53.730 % | 111.45/111.52 c | 14564 | 33905 246666 606261 | 99488 2542 40 | 53.730 % | 111.45/111.57 c =============================================================================== 111.45/111.57 c New solution: 201 111.45/111.57 o 201 111.45/111.57 c Elapsed CPU time: 111.238 s Remaining CPU time: 68.7619 s 111.45/111.58 c =============================================================================== 111.45/111.58 c | 14591 | 33704 246667 606561 | 82222 2569 40 | 53.730 % | 111.55/111.65 c | 14691 | 33670 246667 606561 | 90444 2669 40 | 54.062 % | 111.65/111.76 c | 14841 | 33669 246667 606561 | 99489 2819 41 | 54.062 % | 111.74/111.82 c =============================================================================== 111.74/111.82 c New solution: 200 111.74/111.82 o 200 111.74/111.82 c Elapsed CPU time: 111.482 s Remaining CPU time: 68.5179 s 111.74/111.82 c =============================================================================== 111.74/111.82 c | 14880 | 33462 246668 606861 | 82222 2858 41 | 54.062 % | 111.74/111.87 c =============================================================================== 111.74/111.87 c New solution: 199 111.74/111.87 o 199 111.74/111.87 c Elapsed CPU time: 111.532 s Remaining CPU time: 68.468 s 111.74/111.87 c =============================================================================== 111.74/111.87 c | 14888 | 33220 246669 607161 | 82223 2866 41 | 54.062 % | 111.84/111.93 c =============================================================================== 111.84/111.93 c New solution: 198 111.84/111.93 o 198 111.84/111.93 c Elapsed CPU time: 111.593 s Remaining CPU time: 68.407 s 111.84/111.93 c =============================================================================== 111.84/111.93 c | 14924 | 32978 246670 607461 | 82223 2902 41 | 54.062 % | 111.94/112.00 c | 15025 | 32736 246670 607461 | 90445 2153 35 | 55.059 % | 112.05/112.10 c | 15176 | 32736 246670 607461 | 99490 2304 35 | 55.059 % | 112.05/112.15 c =============================================================================== 112.05/112.15 c New solution: 197 112.05/112.15 o 197 112.05/112.15 c Elapsed CPU time: 111.809 s Remaining CPU time: 68.191 s 112.05/112.15 c =============================================================================== 112.05/112.15 c | 15196 | 32736 246671 607761 | 82223 2324 35 | 55.059 % | 112.15/112.20 c =============================================================================== 112.15/112.20 c New solution: 196 112.15/112.20 o 196 112.15/112.20 c Elapsed CPU time: 111.863 s Remaining CPU time: 68.137 s 112.15/112.20 c =============================================================================== 112.15/112.20 c | 15213 | 32494 246672 608061 | 82224 2341 35 | 55.059 % | 112.15/112.26 c =============================================================================== 112.15/112.26 c New solution: 195 112.15/112.26 o 195 112.15/112.26 c Elapsed CPU time: 111.916 s Remaining CPU time: 68.084 s 112.15/112.26 c =============================================================================== 112.15/112.26 c | 15228 | 32252 246673 608361 | 82224 2356 34 | 55.059 % | 112.24/112.35 c | 15328 | 32241 246673 608361 | 90446 2456 35 | 56.056 % | 112.34/112.41 c =============================================================================== 112.34/112.41 c New solution: 194 112.34/112.41 o 194 112.34/112.41 c Elapsed CPU time: 112.074 s Remaining CPU time: 67.926 s 112.34/112.41 c =============================================================================== 112.34/112.41 c | 15363 | 32010 246674 608661 | 82224 2491 35 | 56.056 % | 112.44/112.51 c | 15463 | 31999 246674 608661 | 90447 2591 37 | 56.388 % | 112.44/112.59 c | 15614 | 31971 246674 608661 | 99491 2742 37 | 56.388 % | 112.54/112.69 c | 15839 | 31768 246674 608661 | 109441 2320 37 | 56.388 % | 112.64/112.75 c =============================================================================== 112.64/112.75 c New solution: 193 112.64/112.75 o 193 112.64/112.75 c Elapsed CPU time: 112.406 s Remaining CPU time: 67.5941 s 112.64/112.75 c =============================================================================== 112.64/112.75 c | 15857 | 31768 246675 608961 | 82225 2338 37 | 56.388 % | 112.75/112.80 c =============================================================================== 112.75/112.80 c New solution: 192 112.75/112.80 o 192 112.75/112.80 c Elapsed CPU time: 112.461 s Remaining CPU time: 67.5391 s 112.75/112.80 c =============================================================================== 112.75/112.80 c | 15879 | 31526 246676 609261 | 82225 2360 37 | 56.388 % | 112.75/112.86 c | 15979 | 31479 246676 609261 | 90447 2460 37 | 57.052 % | 112.85/112.98 c | 16133 | 31478 246676 609261 | 99492 2614 38 | 57.052 % | 112.95/113.04 c =============================================================================== 112.95/113.04 c New solution: 191 112.95/113.04 o 191 112.95/113.04 c Elapsed CPU time: 112.692 s Remaining CPU time: 67.3081 s 112.95/113.04 c =============================================================================== 112.95/113.04 c | 16150 | 31284 246677 609561 | 82225 2631 38 | 57.052 % | 113.05/113.11 c =============================================================================== 113.05/113.11 c New solution: 190 113.05/113.11 o 190 113.05/113.11 c Elapsed CPU time: 112.764 s Remaining CPU time: 67.2361 s 113.05/113.11 c =============================================================================== 113.05/113.11 c | 16228 | 31042 246678 609861 | 82226 2709 38 | 57.052 % | 113.05/113.18 c | 16328 | 31032 246678 609861 | 90448 2809 38 | 57.717 % | 113.15/113.26 c | 16478 | 31000 246678 609861 | 99493 2959 39 | 57.717 % | 113.25/113.38 c | 16703 | 30800 246678 609861 | 109442 2674 38 | 57.717 % | 113.54/113.65 c | 17040 | 30800 246678 609861 | 120387 3011 39 | 57.717 % | 113.64/113.70 c =============================================================================== 113.64/113.70 c New solution: 189 113.64/113.70 o 189 113.64/113.70 c Elapsed CPU time: 113.354 s Remaining CPU time: 66.6462 s 113.64/113.70 c =============================================================================== 113.64/113.70 c | 17050 | 30800 246679 610161 | 82226 3021 39 | 57.717 % | 113.64/113.76 c =============================================================================== 113.64/113.76 c New solution: 188 113.64/113.76 o 188 113.64/113.76 c Elapsed CPU time: 113.407 s Remaining CPU time: 66.5932 s 113.64/113.76 c =============================================================================== 113.64/113.76 c | 17072 | 30558 246680 610461 | 82226 3043 39 | 57.717 % | 113.74/113.83 c | 17172 | 30530 246680 610461 | 90449 3143 39 | 58.381 % | 113.84/113.97 c | 17323 | 30527 246680 610461 | 99494 3294 39 | 58.381 % | 113.94/114.09 c | 17548 | 30316 246680 610461 | 109443 2880 39 | 58.381 % | 114.15/114.24 c | 17885 | 30316 246680 610461 | 120388 3217 40 | 58.381 % | 114.45/114.57 c | 18392 | 30316 246680 610461 | 132426 3724 41 | 58.381 % | 114.55/114.62 c =============================================================================== 114.55/114.62 c New solution: 187 114.55/114.62 o 187 114.55/114.62 c Elapsed CPU time: 114.265 s Remaining CPU time: 65.7354 s 114.55/114.62 c =============================================================================== 114.55/114.62 c | 18407 | 30316 246681 610761 | 82227 3739 41 | 58.381 % | 114.55/114.67 c =============================================================================== 114.55/114.67 c New solution: 186 114.55/114.67 o 186 114.55/114.67 c Elapsed CPU time: 114.316 s Remaining CPU time: 65.6844 s 114.55/114.67 c =============================================================================== 114.55/114.67 c | 18425 | 30074 246682 611061 | 82227 3757 41 | 58.381 % | 114.64/114.72 c | 18525 | 30063 246682 611061 | 90450 3857 41 | 59.046 % | 114.74/114.87 c | 18675 | 29832 246682 611061 | 99495 3066 41 | 59.046 % | 114.84/114.92 c =============================================================================== 114.84/114.92 c New solution: 185 114.84/114.92 o 185 114.84/114.92 c Elapsed CPU time: 114.566 s Remaining CPU time: 65.4344 s 114.84/114.92 c =============================================================================== 114.84/114.92 c | 18689 | 29832 246683 611361 | 82227 3080 40 | 59.046 % | 114.94/115.00 c =============================================================================== 114.94/115.00 c New solution: 184 114.94/115.00 o 184 114.94/115.00 c Elapsed CPU time: 114.64 s Remaining CPU time: 65.3604 s 114.94/115.00 c =============================================================================== 114.94/115.00 c | 18756 | 29590 246684 611661 | 82228 3147 41 | 59.046 % | 114.94/115.08 c | 18856 | 29584 246684 611661 | 90450 3247 41 | 59.710 % | 115.04/115.16 c | 19006 | 29530 246684 611661 | 99495 3397 41 | 59.710 % | 115.14/115.27 c | 19232 | 29529 246684 611661 | 109445 3623 41 | 59.710 % | 115.54/115.60 c | 19569 | 29527 246684 611661 | 120390 3960 41 | 59.710 % | 115.54/115.65 c =============================================================================== 115.54/115.65 c New solution: 183 115.54/115.65 o 183 115.54/115.65 c Elapsed CPU time: 115.293 s Remaining CPU time: 64.7065 s 115.54/115.65 c =============================================================================== 115.54/115.65 c | 19578 | 29348 246685 611961 | 82228 3538 42 | 59.710 % | 115.64/115.71 c =============================================================================== 115.64/115.71 c New solution: 182 115.64/115.71 o 182 115.64/115.71 c Elapsed CPU time: 115.346 s Remaining CPU time: 64.6535 s 115.64/115.71 c =============================================================================== 115.64/115.71 c | 19581 | 29106 246686 612261 | 82228 3541 42 | 59.710 % | 115.64/115.76 c =============================================================================== 115.64/115.76 c New solution: 181 115.64/115.76 o 181 115.64/115.76 c Elapsed CPU time: 115.4 s Remaining CPU time: 64.5995 s 115.64/115.76 c =============================================================================== 115.64/115.76 c | 19585 | 28864 246687 612561 | 82229 3545 42 | 59.710 % | 115.74/115.82 c =============================================================================== 115.74/115.82 c New solution: 180 115.74/115.82 o 180 115.74/115.82 c Elapsed CPU time: 115.457 s Remaining CPU time: 64.5426 s 115.74/115.82 c =============================================================================== 115.74/115.82 c | 19600 | 28622 246688 612861 | 82229 3560 42 | 59.710 % | 115.74/115.87 c | 19700 | 28608 246688 612861 | 90452 3660 42 | 61.039 % | 115.84/115.95 c =============================================================================== 115.84/115.95 c New solution: 179 115.84/115.95 o 179 115.84/115.95 c Elapsed CPU time: 115.588 s Remaining CPU time: 64.4116 s 115.84/115.95 c =============================================================================== 115.84/115.95 c | 19739 | 28380 246689 613161 | 82229 3699 42 | 61.039 % | 115.94/116.03 c =============================================================================== 115.94/116.03 c New solution: 178 115.94/116.03 o 178 115.94/116.03 c Elapsed CPU time: 115.668 s Remaining CPU time: 64.3316 s 115.94/116.03 c =============================================================================== 115.94/116.03 c | 19836 | 28138 246690 613461 | 82230 3796 42 | 61.039 % | 116.04/116.12 c | 19937 | 28131 246690 613461 | 90453 3897 42 | 61.703 % | 116.04/116.18 c =============================================================================== 116.04/116.18 c New solution: 177 116.04/116.18 o 177 116.04/116.18 c Elapsed CPU time: 115.815 s Remaining CPU time: 64.1846 s 116.04/116.18 c =============================================================================== 116.04/116.18 c | 19963 | 27896 246691 613761 | 82230 3923 42 | 61.703 % | 116.14/116.26 c | 20065 | 27887 246691 613761 | 90453 4025 42 | 62.036 % | 116.24/116.35 c =============================================================================== 116.24/116.35 c New solution: 176 116.24/116.35 o 176 116.24/116.35 c Elapsed CPU time: 115.982 s Remaining CPU time: 64.0176 s 116.24/116.35 c =============================================================================== 116.24/116.35 c | 20125 | 27654 246692 614061 | 82230 4085 42 | 62.036 % | 116.24/116.39 c =============================================================================== 116.24/116.39 c New solution: 175 116.24/116.39 o 175 116.24/116.39 c Elapsed CPU time: 116.03 s Remaining CPU time: 63.9696 s 116.24/116.39 c =============================================================================== 116.24/116.39 c | 20134 | 27412 246693 614361 | 82231 4094 42 | 62.036 % | 116.34/116.44 c =============================================================================== 116.34/116.44 c New solution: 174 116.34/116.44 o 174 116.34/116.44 c Elapsed CPU time: 116.08 s Remaining CPU time: 63.9196 s 116.34/116.44 c =============================================================================== 116.34/116.44 c | 20146 | 27170 246694 614661 | 82231 4106 42 | 62.036 % | 116.44/116.50 c =============================================================================== 116.44/116.50 c New solution: 173 116.44/116.50 o 173 116.44/116.50 c Elapsed CPU time: 116.135 s Remaining CPU time: 63.8647 s 116.44/116.50 c =============================================================================== 116.44/116.50 c | 20171 | 26928 246695 614961 | 82231 4131 42 | 62.036 % | 116.44/116.56 c | 20271 | 26924 246695 614961 | 90454 4231 42 | 63.365 % | 116.54/116.68 c | 20421 | 26686 246695 614961 | 99500 2518 37 | 63.365 % | 116.64/116.72 c =============================================================================== 116.64/116.72 c New solution: 172 116.64/116.72 o 172 116.64/116.72 c Elapsed CPU time: 116.359 s Remaining CPU time: 63.6407 s 116.64/116.72 c =============================================================================== 116.64/116.72 c | 20432 | 26686 246696 615261 | 82232 2529 37 | 63.365 % | 116.64/116.78 c =============================================================================== 116.64/116.78 c New solution: 171 116.64/116.78 o 171 116.64/116.78 c Elapsed CPU time: 116.411 s Remaining CPU time: 63.5887 s 116.64/116.78 c =============================================================================== 116.64/116.78 c | 20435 | 26444 246697 615561 | 82232 2532 37 | 63.365 % | 116.74/116.82 c =============================================================================== 116.74/116.82 c New solution: 170 116.74/116.82 o 170 116.74/116.82 c Elapsed CPU time: 116.457 s Remaining CPU time: 63.5427 s 116.74/116.82 c =============================================================================== 116.74/116.82 c | 20442 | 26202 246698 615861 | 82232 2539 37 | 63.365 % | 116.85/116.90 c =============================================================================== 116.85/116.90 c New solution: 169 116.85/116.90 o 169 116.85/116.90 c Elapsed CPU time: 116.531 s Remaining CPU time: 63.4687 s 116.85/116.90 c =============================================================================== 116.85/116.90 c | 20501 | 25960 246699 616161 | 82233 2598 37 | 63.365 % | 116.85/116.98 c | 20601 | 25922 246699 616161 | 90456 2698 37 | 64.693 % | 116.95/117.05 c | 20752 | 25921 246699 616161 | 99501 2849 37 | 64.693 % | 117.15/117.28 c | 20978 | 25917 246699 616161 | 109452 3075 38 | 64.693 % | 117.25/117.33 c =============================================================================== 117.25/117.33 c New solution: 168 117.25/117.33 o 168 117.25/117.33 c Elapsed CPU time: 116.959 s Remaining CPU time: 63.0408 s 117.25/117.33 c =============================================================================== 117.25/117.33 c | 20986 | 25718 246700 616461 | 82233 3083 38 | 64.693 % | 117.25/117.38 c =============================================================================== 117.25/117.38 c New solution: 167 117.25/117.38 o 167 117.25/117.38 c Elapsed CPU time: 117.013 s Remaining CPU time: 62.9868 s 117.25/117.38 c =============================================================================== 117.25/117.38 c | 21022 | 25476 246701 616761 | 82233 3119 38 | 64.693 % | 117.34/117.43 c | 21122 | 25433 246701 616761 | 90457 3219 38 | 65.358 % | 117.44/117.57 c | 21272 | 25234 246701 616761 | 99502 2374 39 | 65.358 % | 117.55/117.66 c | 21498 | 25234 246701 616761 | 109453 2600 39 | 65.358 % | 117.84/117.93 c | 21835 | 25234 246701 616761 | 120398 2937 41 | 65.358 % | 117.84/117.98 c =============================================================================== 117.84/117.98 c New solution: 166 117.84/117.98 o 166 117.84/117.98 c Elapsed CPU time: 117.608 s Remaining CPU time: 62.3919 s 117.84/117.98 c =============================================================================== 117.84/117.98 c | 21847 | 25234 246702 617061 | 82234 2949 40 | 65.358 % | 117.94/118.04 c | 21947 | 25225 246702 617061 | 90457 3049 41 | 65.690 % | 118.04/118.17 c | 22097 | 25217 246702 617061 | 99503 3199 41 | 65.690 % | 118.14/118.25 c =============================================================================== 118.14/118.25 c New solution: 165 118.14/118.25 o 165 118.14/118.25 c Elapsed CPU time: 117.88 s Remaining CPU time: 62.1199 s 118.14/118.25 c =============================================================================== 118.14/118.25 c | 22158 | 24992 246703 617361 | 82234 2896 39 | 65.690 % | 118.24/118.30 c =============================================================================== 118.24/118.30 c New solution: 164 118.24/118.30 o 164 118.24/118.30 c Elapsed CPU time: 117.93 s Remaining CPU time: 62.0699 s 118.24/118.30 c =============================================================================== 118.24/118.30 c | 22172 | 24750 246704 617661 | 82234 2910 39 | 65.690 % | 118.24/118.38 c =============================================================================== 118.24/118.38 c New solution: 163 118.24/118.38 o 163 118.24/118.38 c Elapsed CPU time: 118.008 s Remaining CPU time: 61.9919 s 118.24/118.38 c =============================================================================== 118.24/118.38 c | 22244 | 24508 246705 617961 | 82235 2982 39 | 65.690 % | 118.35/118.43 c | 22344 | 24506 246705 617961 | 90458 3082 39 | 66.687 % | 118.45/118.51 c =============================================================================== 118.45/118.51 c New solution: 162 118.45/118.51 o 162 118.45/118.51 c Elapsed CPU time: 118.129 s Remaining CPU time: 61.871 s 118.45/118.51 c =============================================================================== 118.45/118.51 c | 22408 | 24266 246706 618261 | 82235 3146 39 | 66.687 % | 118.45/118.56 c =============================================================================== 118.45/118.56 c New solution: 161 118.45/118.56 o 161 118.45/118.56 c Elapsed CPU time: 118.182 s Remaining CPU time: 61.818 s 118.45/118.56 c =============================================================================== 118.45/118.56 c | 22429 | 24024 246707 618561 | 82235 3167 39 | 66.687 % | 118.55/118.62 c | 22529 | 23993 246707 618561 | 90459 3267 39 | 67.351 % | 118.65/118.72 c | 22679 | 23992 246707 618561 | 99505 3417 39 | 67.351 % | 118.65/118.78 c =============================================================================== 118.65/118.78 c New solution: 160 118.65/118.78 o 160 118.65/118.78 c Elapsed CPU time: 118.4 s Remaining CPU time: 61.6 s 118.65/118.78 c =============================================================================== 118.65/118.78 c | 22721 | 23782 246708 618861 | 82236 3459 39 | 67.351 % | 118.75/118.85 c | 22821 | 23779 246708 618861 | 90459 3559 39 | 67.683 % | 118.75/118.89 c =============================================================================== 118.75/118.89 c New solution: 159 118.75/118.89 o 159 118.75/118.89 c Elapsed CPU time: 118.513 s Remaining CPU time: 61.487 s 118.75/118.89 c =============================================================================== 118.75/118.89 c | 22829 | 23540 246709 619161 | 82236 3567 39 | 67.683 % | 118.84/118.94 c =============================================================================== 118.84/118.94 c New solution: 158 118.84/118.94 o 158 118.84/118.94 c Elapsed CPU time: 118.559 s Remaining CPU time: 61.441 s 118.84/118.94 c =============================================================================== 118.84/118.94 c | 22839 | 23298 246710 619461 | 82236 3577 39 | 67.683 % | 118.84/118.99 c | 22939 | 23289 246710 619461 | 90460 3677 39 | 68.348 % | 118.94/119.09 c | 23089 | 23056 246710 619461 | 99506 2308 39 | 68.348 % | 119.04/119.13 c =============================================================================== 119.04/119.13 c New solution: 157 119.04/119.13 o 157 119.04/119.13 c Elapsed CPU time: 118.754 s Remaining CPU time: 61.2461 s 119.04/119.13 c =============================================================================== 119.04/119.13 c | 23097 | 23056 246711 619761 | 82237 2316 39 | 68.348 % | 119.04/119.18 c =============================================================================== 119.04/119.18 c New solution: 156 119.04/119.18 o 156 119.04/119.18 c Elapsed CPU time: 118.8 s Remaining CPU time: 61.2001 s 119.04/119.18 c =============================================================================== 119.04/119.18 c | 23112 | 22814 246712 620061 | 82237 2331 39 | 68.348 % | 119.14/119.23 c | 23212 | 22741 246712 620061 | 90461 2431 39 | 69.012 % | 119.24/119.30 c | 23363 | 22741 246712 620061 | 99507 2582 40 | 69.012 % | 119.34/119.49 c | 23589 | 22739 246712 620061 | 109457 2808 40 | 69.012 % | 119.44/119.56 c =============================================================================== 119.44/119.56 c New solution: 155 119.44/119.56 o 155 119.44/119.56 c Elapsed CPU time: 119.175 s Remaining CPU time: 60.8251 s 119.44/119.56 c =============================================================================== 119.44/119.56 c | 23626 | 22572 246713 620361 | 82237 2845 40 | 69.012 % | 119.54/119.61 c =============================================================================== 119.54/119.61 c New solution: 154 119.54/119.61 o 154 119.54/119.61 c Elapsed CPU time: 119.225 s Remaining CPU time: 60.7751 s 119.54/119.61 c =============================================================================== 119.54/119.61 c | 23644 | 22330 246714 620661 | 82238 2863 40 | 69.012 % | 119.54/119.66 c | 23744 | 22266 246714 620661 | 90461 2963 40 | 69.677 % | 119.64/119.77 c | 23895 | 22263 246714 620661 | 99507 3114 40 | 69.677 % | 119.75/119.87 c =============================================================================== 119.75/119.87 c New solution: 153 119.75/119.87 o 153 119.75/119.87 c Elapsed CPU time: 119.487 s Remaining CPU time: 60.5132 s 119.75/119.87 c =============================================================================== 119.75/119.87 c | 23962 | 22088 246715 620961 | 82238 2365 38 | 69.677 % | 119.85/119.93 c | 24062 | 22073 246715 620961 | 90462 2465 38 | 70.009 % | 119.94/120.03 c =============================================================================== 119.94/120.03 c New solution: 152 119.94/120.03 o 152 119.94/120.03 c Elapsed CPU time: 119.648 s Remaining CPU time: 60.3522 s 119.94/120.03 c =============================================================================== 119.94/120.03 c | 24144 | 21846 246716 621261 | 82238 2547 38 | 70.009 % | 119.94/120.09 c | 24244 | 21815 246716 621261 | 90462 2647 39 | 70.341 % | 120.14/120.25 c | 24395 | 21808 246716 621261 | 99508 2798 39 | 70.341 % | 120.24/120.35 c | 24620 | 21801 246716 621261 | 109459 3023 40 | 70.341 % | 120.34/120.48 c | 24957 | 21799 246716 621261 | 120405 3360 40 | 70.341 % | 120.74/120.82 c | 25463 | 21604 246716 621261 | 132446 3454 40 | 70.341 % | 120.74/120.87 c =============================================================================== 120.74/120.87 c New solution: 151 120.74/120.87 o 151 120.74/120.87 c Elapsed CPU time: 120.479 s Remaining CPU time: 59.5213 s 120.74/120.87 c =============================================================================== 120.74/120.87 c | 25504 | 21604 246717 621561 | 82239 3495 40 | 70.341 % | 120.85/120.92 c | 25605 | 21554 246717 621561 | 90462 3596 40 | 70.674 % | 120.95/121.02 c | 25755 | 21552 246717 621561 | 99509 3746 40 | 70.674 % | 121.04/121.12 c | 25980 | 21547 246717 621561 | 109460 3971 40 | 70.674 % | 121.14/121.27 c | 26317 | 21547 246717 621561 | 120406 4308 41 | 70.674 % | 121.54/121.68 c | 26824 | 21362 246717 621561 | 132446 4646 41 | 70.674 % | 121.84/121.96 c | 27587 | 21362 246717 621561 | 145691 5409 41 | 70.674 % | 122.34/122.44 c | 28728 | 21362 246717 621561 | 160260 6550 43 | 70.674 % | 123.64/123.72 c | 30436 | 21362 246717 621561 | 176286 8258 46 | 70.674 % | 124.74/124.86 c | 32998 | 21362 246717 621561 | 193915 10820 49 | 70.674 % | 128.65/128.75 c | 36842 | 21362 246717 621561 | 213306 14664 53 | 70.674 % | 135.33/135.46 c | 42609 | 21362 246717 621561 | 234637 20431 66 | 70.674 % | 135.43/135.53 c =============================================================================== 135.43/135.53 c New solution: 150 135.43/135.53 o 150 135.43/135.53 c Elapsed CPU time: 135.078 s Remaining CPU time: 44.9215 s 135.43/135.53 c =============================================================================== 135.43/135.53 c | 42622 | 21362 246718 621861 | 82239 20444 66 | 70.674 % | 135.53/135.61 c | 42722 | 21120 246718 621861 | 90463 18801 63 | 71.006 % | 135.53/135.68 c | 42872 | 21120 246718 621861 | 99509 18951 63 | 71.006 % | 135.73/135.83 c | 43098 | 21120 246718 621861 | 109460 19177 62 | 71.006 % | 135.73/135.89 c =============================================================================== 135.73/135.89 c New solution: 149 135.73/135.89 o 149 135.73/135.89 c Elapsed CPU time: 135.441 s Remaining CPU time: 44.5586 s 135.73/135.89 c =============================================================================== 135.73/135.89 c | 43118 | 21120 246719 622161 | 82239 19197 62 | 71.006 % | 135.83/135.94 c | 43219 | 21088 246719 622161 | 90463 19298 62 | 71.338 % | 135.93/136.08 c | 43372 | 21083 246719 622161 | 99509 19451 62 | 71.338 % | 136.13/136.20 c =============================================================================== 136.13/136.20 c New solution: 148 136.13/136.20 o 148 136.13/136.20 c Elapsed CPU time: 135.754 s Remaining CPU time: 44.2456 s 136.13/136.20 c =============================================================================== 136.13/136.20 c | 43547 | 20878 246720 622461 | 82240 19626 62 | 71.338 % | 136.25/136.30 c | 43649 | 20873 246720 622461 | 90464 19728 62 | 71.670 % | 136.25/136.37 c | 43799 | 20830 246720 622461 | 99510 19878 62 | 71.670 % | 136.35/136.47 c | 44024 | 20830 246720 622461 | 109461 20103 62 | 71.670 % | 136.64/136.77 c | 44362 | 20829 246720 622461 | 120407 20441 61 | 71.670 % | 136.94/137.01 c | 44869 | 20824 246720 622461 | 132448 20948 61 | 71.670 % | 137.53/137.68 c | 45629 | 20820 246720 622461 | 145693 21708 61 | 71.670 % | 138.74/138.85 c | 46769 | 20636 246720 622461 | 160262 16948 48 | 71.670 % | 138.84/138.95 c =============================================================================== 138.84/138.95 c New solution: 147 138.84/138.95 o 147 138.84/138.95 c Elapsed CPU time: 138.484 s Remaining CPU time: 41.5161 s 138.84/138.95 c =============================================================================== 138.84/138.95 c | 46881 | 20636 246721 622761 | 82240 17060 47 | 71.670 % | 138.94/139.00 c | 46981 | 20549 246721 622761 | 90464 17160 47 | 72.002 % | 139.03/139.14 c | 47131 | 20549 246721 622761 | 99510 17310 47 | 72.002 % | 139.13/139.23 c | 47356 | 20545 246721 622761 | 109461 17535 47 | 72.002 % | 139.33/139.46 c | 47694 | 20545 246721 622761 | 120408 17873 47 | 72.002 % | 139.54/139.67 c | 48202 | 20394 246721 622761 | 132448 16737 45 | 72.002 % | 139.83/139.99 c | 48961 | 20394 246721 622761 | 145693 17496 45 | 72.002 % | 140.94/141.04 c | 50100 | 20394 246721 622761 | 160263 18635 46 | 72.002 % | 141.23/141.35 c =============================================================================== 141.23/141.35 c New solution: 146 141.23/141.35 o 146 141.23/141.35 c Elapsed CPU time: 140.869 s Remaining CPU time: 39.1314 s 141.23/141.35 c =============================================================================== 141.23/141.35 c | 50640 | 20394 246722 623061 | 82240 19175 46 | 72.002 % | 141.33/141.45 c | 50740 | 20152 246722 623061 | 90464 17544 45 | 72.335 % | 141.53/141.60 c | 50890 | 20152 246722 623061 | 99511 17694 45 | 72.335 % | 141.63/141.71 c | 51115 | 20152 246722 623061 | 109462 17919 45 | 72.335 % | 141.74/141.88 c | 51452 | 20152 246722 623061 | 120408 18256 44 | 72.335 % | 142.23/142.35 c | 51958 | 20152 246722 623061 | 132449 18762 45 | 72.335 % | 142.54/142.68 c | 52717 | 20152 246722 623061 | 145694 19521 45 | 72.335 % | 143.14/143.23 c | 53856 | 20152 246722 623061 | 160263 20660 46 | 72.335 % | 144.73/144.81 c | 55564 | 20152 246722 623061 | 176290 22368 47 | 72.335 % | 146.54/146.66 c | 58127 | 20152 246722 623061 | 193919 24931 48 | 72.335 % | 150.43/150.59 c | 61971 | 20152 246722 623061 | 213311 28775 52 | 72.335 % | 153.23/153.35 c | 67737 | 20152 246722 623061 | 234642 34541 53 | 72.335 % | 162.93/163.06 c | 76386 | 20152 246722 623061 | 258106 43190 57 | 72.335 % | 168.53/168.63 c | 89360 | 20152 246722 623061 | 283917 56164 55 | 72.335 % | 180.52/180.64 c There are 52690 assigned variables. 234 in cost function. 181.23/181.35 c core #1 181.23/181.35 c core #2 181.23/181.35 c ============================[ Search Statistics ]============================== 181.23/181.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.23/181.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.23/181.35 c =============================================================================== 181.23/181.35 c | 0 | 4653 113847 154389 | 37949 0 nan | 0.000 % | 181.23/181.37 c =============================================================================== 181.43/181.55 c core #3 181.43/181.55 c ============================[ Search Statistics ]============================== 181.43/181.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.43/181.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.43/181.55 c =============================================================================== 181.43/181.55 c | 0 | 5104 113911 160352 | 37970 0 nan | 0.000 % | 181.52/181.62 c | 100 | 5097 113911 160352 | 41767 100 25 | 93.382 % | 181.52/181.64 c =============================================================================== 181.72/181.81 c core #4 181.72/181.81 c ============================[ Search Statistics ]============================== 181.72/181.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.81 c =============================================================================== 181.72/181.81 c | 0 | 5409 113974 164664 | 37991 0 nan | 0.000 % | 181.72/181.88 c | 100 | 5409 113974 164664 | 41790 100 23 | 92.601 % | 181.82/181.95 c | 250 | 5409 113974 164664 | 45969 250 24 | 92.601 % | 181.92/182.06 c =============================================================================== 182.12/182.24 c core #5 182.12/182.24 c ============================[ Search Statistics ]============================== 182.12/182.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.12/182.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.12/182.24 c =============================================================================== 182.12/182.24 c | 0 | 5713 114036 165208 | 38012 0 nan | 0.000 % | 182.12/182.29 c | 101 | 5713 114036 165208 | 41813 101 22 | 92.192 % | 182.23/182.37 c | 253 | 5713 114036 165208 | 45994 253 25 | 92.192 % | 182.43/182.50 c | 478 | 5713 114036 165208 | 50593 478 29 | 92.192 % | 182.53/182.69 c | 816 | 5713 114036 165208 | 55653 816 30 | 92.192 % | 182.83/182.98 c | 1322 | 5677 114036 165208 | 61218 1098 30 | 92.241 % | 183.23/183.39 c | 2082 | 5666 114036 165208 | 67340 1851 35 | 92.257 % | 183.73/183.84 c =============================================================================== 183.92/184.03 c core #6 183.92/184.03 c ============================[ Search Statistics ]============================== 183.92/184.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.92/184.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.92/184.03 c =============================================================================== 183.92/184.03 c | 0 | 6016 114097 165752 | 38032 0 nan | 0.000 % | 183.92/184.09 c | 100 | 6016 114097 165752 | 41835 100 20 | 91.784 % | 184.02/184.17 c | 250 | 6014 114097 165752 | 46019 250 26 | 91.828 % | 184.12/184.27 c | 475 | 6013 114097 165752 | 50621 475 29 | 91.828 % | 184.32/184.45 c | 813 | 5984 114097 165752 | 55683 801 32 | 91.828 % | 184.63/184.72 c | 1319 | 5984 114097 165752 | 61251 1307 34 | 91.828 % | 185.02/185.13 c | 2078 | 5984 114097 165752 | 67376 2066 34 | 91.828 % | 185.63/185.78 c | 3218 | 5980 114097 165752 | 74114 2957 36 | 91.834 % | 186.62/186.75 c | 4926 | 5966 114097 165752 | 81525 4662 41 | 91.865 % | 188.42/188.51 c | 7489 | 5955 114097 165752 | 89678 6889 46 | 91.868 % | 190.82/190.97 c =============================================================================== 191.02/191.16 c core #7 191.02/191.16 c ============================[ Search Statistics ]============================== 191.02/191.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.02/191.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.02/191.16 c =============================================================================== 191.02/191.16 c | 0 | 6318 114159 166301 | 38053 0 nan | 0.000 % | 191.12/191.21 c | 100 | 6318 114159 166301 | 41858 100 25 | 91.379 % | 191.12/191.28 c | 251 | 6318 114159 166301 | 46044 251 28 | 91.379 % | 191.23/191.38 c | 476 | 6318 114159 166301 | 50648 476 34 | 91.379 % | 191.42/191.56 c | 814 | 6318 114159 166301 | 55713 814 34 | 91.379 % | 191.62/191.79 c | 1320 | 6318 114159 166301 | 61284 1320 34 | 91.379 % | 192.02/192.17 c | 2079 | 6318 114159 166301 | 67413 2079 38 | 91.379 % | 192.62/192.70 c | 3218 | 6312 114159 166301 | 74154 3018 39 | 91.387 % | 193.53/193.65 c | 4926 | 6300 114159 166301 | 81569 4710 42 | 91.404 % | 195.32/195.42 c | 7490 | 6300 114159 166301 | 89726 7274 43 | 91.404 % | 197.92/198.03 c | 11335 | 6300 114159 166301 | 98699 11119 45 | 91.404 % | 202.71/202.80 c | 17101 | 6289 114159 166301 | 108569 16583 48 | 91.420 % | 211.12/211.22 c | 25751 | 6288 114159 166301 | 119426 24481 50 | 91.420 % | 226.71/226.81 c | 38725 | 6284 114159 166301 | 131369 36151 52 | 91.425 % | 252.20/252.30 c | 58186 | 6133 114159 166301 | 144506 27421 44 | 91.631 % | 264.50/264.68 c =============================================================================== 264.79/264.92 c core #8 264.79/264.92 c ============================[ Search Statistics ]============================== 264.79/264.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 264.79/264.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 264.79/264.92 c =============================================================================== 264.79/264.92 c | 0 | 6619 114225 166865 | 38075 0 nan | 0.000 % | 264.79/264.98 c | 101 | 6619 114225 166865 | 41882 101 17 | 90.976 % | 264.90/265.09 c | 251 | 6619 114225 166865 | 46070 251 32 | 90.976 % | 265.01/265.17 c | 480 | 6619 114225 166865 | 50677 480 34 | 90.976 % | 265.20/265.35 c | 819 | 6619 114225 166865 | 55745 819 36 | 90.976 % | 265.50/265.60 c | 1326 | 6619 114225 166865 | 61320 1326 37 | 90.976 % | 265.90/266.02 c | 2086 | 6619 114225 166865 | 67452 2086 41 | 90.976 % | 266.40/266.53 c | 3225 | 6619 114225 166865 | 74197 3225 40 | 90.976 % | 267.40/267.53 c | 4933 | 6619 114225 166865 | 81617 4933 43 | 90.976 % | 268.90/269.01 c | 7495 | 6619 114225 166865 | 89778 7495 41 | 90.976 % | 271.39/271.59 c | 11339 | 6619 114225 166865 | 98756 11339 47 | 90.976 % | 276.00/276.17 c | 17105 | 6613 114225 166865 | 108632 16948 48 | 90.984 % | 283.40/283.54 c | 25754 | 6590 114225 166865 | 119495 24682 50 | 91.015 % | 296.69/296.89 c | 38728 | 6584 114225 166865 | 131445 36715 55 | 91.023 % | 323.39/323.57 c | 58190 | 6584 114225 166865 | 144589 56177 59 | 91.023 % | 380.77/380.98 c | 87383 | 6577 114225 166865 | 159048 64557 58 | 91.033 % | 476.44/476.69 c | 131174 | 6303 114225 166865 | 174953 44695 48 | 91.406 % | 489.54/489.79 c =============================================================================== 489.83/490.09 c core #9 489.83/490.09 c ============================[ Search Statistics ]============================== 489.83/490.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 489.83/490.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 489.83/490.09 c =============================================================================== 489.83/490.09 c | 0 | 6919 114293 167435 | 38097 0 nan | 0.000 % | 489.93/490.15 c | 102 | 6919 114293 167435 | 41907 102 24 | 90.574 % | 490.04/490.23 c | 252 | 6919 114293 167435 | 46098 252 30 | 90.574 % | 490.14/490.36 c | 477 | 6919 114293 167435 | 50707 477 34 | 90.574 % | 490.35/490.52 c | 814 | 6919 114293 167435 | 55778 814 33 | 90.574 % | 490.64/490.80 c | 1321 | 6919 114293 167435 | 61356 1321 37 | 90.574 % | 490.94/491.14 c | 2081 | 6919 114293 167435 | 67492 2081 38 | 90.574 % | 491.64/491.83 c | 3220 | 6906 114293 167435 | 74241 3216 42 | 90.592 % | 492.55/492.78 c | 4929 | 6906 114293 167435 | 81665 4925 41 | 90.592 % | 494.04/494.28 c | 7491 | 6906 114293 167435 | 89832 7487 45 | 90.592 % | 496.24/496.49 c | 11335 | 6906 114293 167435 | 98815 11331 42 | 90.592 % | 500.94/501.15 c | 17101 | 6873 114293 167435 | 108697 16199 45 | 90.645 % | 507.23/507.44 c | 25750 | 6857 114293 167435 | 119566 23376 43 | 90.658 % | 519.33/519.52 c | 38724 | 6857 114293 167435 | 131523 36350 48 | 90.658 % | 545.02/545.28 c | 58185 | 6852 114293 167435 | 144675 55788 54 | 90.665 % | 593.61/593.89 c | 87377 | 6829 114293 167435 | 159143 81936 57 | 90.698 % | 684.48/684.75 c | 131167 | 6724 114293 167435 | 175057 92649 56 | 90.840 % | 882.32/882.60 c | 196852 | 6716 114293 167435 | 192563 158303 66 | 90.851 % | 1153.65/1154.07 c =============================================================================== 1154.14/1154.53 c core #10 1154.14/1154.53 c ============================[ Search Statistics ]============================== 1154.14/1154.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1154.14/1154.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1154.14/1154.53 c =============================================================================== 1154.14/1154.53 c | 0 | 7218 114369 168034 | 38123 0 nan | 0.000 % | 1154.14/1154.58 c | 101 | 7218 114369 168034 | 41935 101 21 | 90.174 % | 1154.24/1154.67 c | 252 | 7218 114369 168034 | 46128 252 32 | 90.174 % | 1154.44/1154.81 c | 479 | 7218 114369 168034 | 50741 479 35 | 90.174 % | 1154.55/1154.95 c | 816 | 7218 114369 168034 | 55815 816 33 | 90.174 % | 1154.74/1155.15 c | 1322 | 7218 114369 168034 | 61397 1322 33 | 90.174 % | 1155.14/1155.57 c | 2082 | 7218 114369 168034 | 67537 2082 41 | 90.174 % | 1155.64/1156.07 c | 3221 | 7218 114369 168034 | 74290 3221 39 | 90.174 % | 1156.74/1157.13 c | 4929 | 7218 114369 168034 | 81720 4929 46 | 90.174 % | 1158.13/1158.50 c | 7491 | 7218 114369 168034 | 89892 7491 42 | 90.174 % | 1160.23/1160.67 c | 11336 | 7218 114369 168034 | 98881 11336 46 | 90.174 % | 1163.73/1164.14 c | 17102 | 7218 114369 168034 | 108769 17102 42 | 90.174 % | 1171.14/1171.57 c | 25753 | 7218 114369 168034 | 119646 25753 52 | 90.174 % | 1182.43/1182.85 c | 38727 | 7218 114369 168034 | 131610 38727 51 | 90.174 % | 1206.52/1206.91 c | 58189 | 7197 114369 168034 | 144772 45893 48 | 90.203 % | 1251.61/1252.04 c | 87383 | 7197 114369 168034 | 159249 75087 55 | 90.203 % | 1340.18/1340.63 c | 131172 | 7158 114369 168034 | 175174 110772 57 | 90.256 % | 1519.53/1520.01 c | 196858 | 7158 114369 168034 | 192691 176458 63 | 90.256 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2687269-1278450584/watcher-2687269-1278450584 -o /tmp/evaluation-result-2687269-1278450584/solver-2687269-1278450584 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687269-1278450584.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.45 1.89 1.84 3/106 23968 /proc/meminfo: memFree=1781900/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=10856 CPUtime=0 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 310 0 0 0 0 0 0 0 19 0 1 0 13265964 11116544 228 1992294400 134512640 135751879 4292785936 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 2714 228 139 303 0 375 0 [startup+0.068229 s] /proc/loadavg: 1.45 1.89 1.84 3/106 23968 /proc/meminfo: memFree=1781900/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=14156 CPUtime=0.06 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 1158 0 0 0 6 0 0 0 19 0 1 0 13265964 14495744 1076 1992294400 134512640 135751879 4292785936 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 3539 1077 233 303 0 1200 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14156 [startup+0.101231 s] /proc/loadavg: 1.45 1.89 1.84 3/106 23968 /proc/meminfo: memFree=1781900/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=15904 CPUtime=0.09 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 1594 0 0 0 9 0 0 0 19 0 1 0 13265964 16285696 1512 1992294400 134512640 135751879 4292785936 18446744073709551615 134564640 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 3976 1512 284 303 0 1637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15904 [startup+0.300249 s] /proc/loadavg: 1.45 1.89 1.84 3/106 23968 /proc/meminfo: memFree=1781900/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=20184 CPUtime=0.29 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 2923 0 0 0 28 1 0 0 20 0 1 0 13265964 20668416 2808 1992294400 134512640 135751879 4292785936 18446744073709551615 134573988 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 5046 2808 587 303 0 2707 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20184 [startup+0.700284 s] /proc/loadavg: 1.45 1.89 1.84 3/106 23968 /proc/meminfo: memFree=1781900/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=25208 CPUtime=0.69 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 4827 0 0 0 68 1 0 0 20 0 1 0 13265964 25812992 4672 1992294400 134512640 135751879 4292785936 18446744073709551615 134573676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 6302 4672 1205 303 0 3963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25208 [startup+1.50036 s] /proc/loadavg: 1.45 1.89 1.84 2/107 23969 /proc/meminfo: memFree=1762300/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=37664 CPUtime=1.49 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 8418 0 0 0 147 2 0 0 23 0 1 0 13265964 38567936 8149 1992294400 134512640 135751879 4292785936 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 9416 8149 2059 303 0 7077 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37664 [startup+3.10149 s] /proc/loadavg: 1.41 1.87 1.83 2/107 23969 /proc/meminfo: memFree=1731052/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=57940 CPUtime=3.09 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 15741 0 0 0 304 5 0 0 25 0 1 0 13265964 59330560 13213 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 14485 13213 146 303 0 14180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57940 [startup+6.30177 s] /proc/loadavg: 1.41 1.87 1.83 2/107 23969 /proc/meminfo: memFree=1722992/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=66124 CPUtime=6.29 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 17791 0 0 0 624 5 0 0 25 0 1 0 13265964 67710976 15263 1992294400 134512640 135751879 4292785936 18446744073709551615 134523927 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 16531 15263 146 303 0 16226 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66124 [startup+12.7013 s] /proc/loadavg: 1.35 1.85 1.82 2/107 23969 /proc/meminfo: memFree=1709228/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=78532 CPUtime=12.69 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 20909 0 0 0 1262 7 0 0 25 0 1 0 13265964 80416768 18381 1992294400 134512640 135751879 4292785936 18446744073709551615 134616225 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 19633 18381 146 303 0 19328 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78532 [startup+25.5005 s] /proc/loadavg: 1.29 1.82 1.81 2/107 23969 /proc/meminfo: memFree=1690380/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=96880 CPUtime=25.48 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 25468 0 0 0 2539 9 0 0 25 0 1 0 13265964 99205120 22940 1992294400 134512640 135751879 4292785936 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 24220 22940 146 303 0 23915 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96880 [startup+51.1007 s] /proc/loadavg: 1.19 1.75 1.79 2/107 23969 /proc/meminfo: memFree=1666076/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=121960 CPUtime=51.06 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 31748 0 0 0 5093 13 0 0 25 0 1 0 13265964 124887040 29220 1992294400 134512640 135751879 4292785936 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 30490 29220 146 303 0 30185 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 121960 [startup+102.308 s] /proc/loadavg: 1.08 1.62 1.74 2/107 23971 /proc/meminfo: memFree=1636688/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=149240 CPUtime=102.25 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 40013 0 0 0 10203 22 0 0 25 0 1 0 13265964 152821760 36170 1992294400 134512640 135751879 4292785936 18446744073709551615 134611145 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 37310 36170 147 303 0 37005 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149240 [startup+162.3 s] /proc/loadavg: 1.03 1.51 1.70 2/107 23973 /proc/meminfo: memFree=1636440/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=149240 CPUtime=162.23 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 40013 0 0 0 16172 51 0 0 25 0 1 0 13265964 152821760 36170 1992294400 134512640 135751879 4292785936 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 37310 36170 147 303 0 37005 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 149240 [startup+222.301 s] /proc/loadavg: 1.01 1.41 1.65 2/107 23975 /proc/meminfo: memFree=1647848/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=135292 CPUtime=222.22 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42445 0 0 0 22148 74 0 0 25 0 1 0 13265964 138539008 33330 1992294400 134512640 135751879 4292785936 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 33823 33330 151 303 0 33518 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 135292 [startup+282.301 s] /proc/loadavg: 1.00 1.33 1.61 2/107 23975 /proc/meminfo: memFree=1646732/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=137724 CPUtime=282.19 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42875 0 0 0 28124 95 0 0 25 0 1 0 13265964 141029376 33760 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 34431 33760 151 303 0 34126 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 137724 [startup+342.3 s] /proc/loadavg: 1.00 1.27 1.56 2/107 23977 /proc/meminfo: memFree=1646608/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=137724 CPUtime=342.18 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42875 0 0 0 34107 111 0 0 25 0 1 0 13265964 141029376 33760 1992294400 134512640 135751879 4292785936 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 34431 33760 151 303 0 34126 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 137724 [startup+402.3 s] /proc/loadavg: 1.00 1.22 1.53 2/107 23979 /proc/meminfo: memFree=1646484/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=137724 CPUtime=402.16 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42875 0 0 0 40092 124 0 0 25 0 1 0 13265964 141029376 33760 1992294400 134512640 135751879 4292785936 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 34431 33760 151 303 0 34126 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 137724 [startup+462.301 s] /proc/loadavg: 1.00 1.18 1.49 2/107 23981 /proc/meminfo: memFree=1646484/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=137724 CPUtime=462.14 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42875 0 0 0 46076 138 0 0 25 0 1 0 13265964 141029376 33760 1992294400 134512640 135751879 4292785936 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 34431 33760 151 303 0 34126 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 137724 [startup+522.301 s] /proc/loadavg: 1.00 1.14 1.46 2/107 23983 /proc/meminfo: memFree=1647600/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=135292 CPUtime=522.13 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42885 0 0 0 52053 160 0 0 25 0 1 0 13265964 138539008 33340 1992294400 134512640 135751879 4292785936 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 33823 33340 151 303 0 33518 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 135292 [startup+582.3 s] /proc/loadavg: 1.00 1.11 1.43 2/107 23983 /proc/meminfo: memFree=1647600/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=135292 CPUtime=582.11 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42885 0 0 0 58034 177 0 0 25 0 1 0 13265964 138539008 33340 1992294400 134512640 135751879 4292785936 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 33823 33340 151 303 0 33518 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 135292 [startup+642.301 s] /proc/loadavg: 1.00 1.09 1.40 2/107 23988 /proc/meminfo: memFree=1646980/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=135292 CPUtime=642.1 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 42885 0 0 0 64019 191 0 0 25 0 1 0 13265964 138539008 33340 1992294400 134512640 135751879 4292785936 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 33823 33340 151 303 0 33518 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 135292 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.04 1.32 2/107 23994 /proc/meminfo: memFree=1629248/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=153860 CPUtime=822.05 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 47427 0 0 0 81971 234 0 0 25 0 1 0 13265964 157552640 37882 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 38465 37882 151 303 0 38160 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 153860 [startup+882.301 s] /proc/loadavg: 1.00 1.03 1.30 2/107 23994 /proc/meminfo: memFree=1622304/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=160616 CPUtime=882.03 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 49130 0 0 0 87957 246 0 0 25 0 1 0 13265964 164470784 39585 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 40154 39585 151 303 0 39849 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 160616 [startup+942.301 s] /proc/loadavg: 1.04 1.04 1.28 2/107 23996 /proc/meminfo: memFree=1616228/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=166768 CPUtime=942.01 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 50690 0 0 0 93943 258 0 0 25 0 1 0 13265964 170770432 41145 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 41692 41145 151 303 0 41387 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 166768 [startup+1002.3 s] /proc/loadavg: 1.01 1.03 1.26 2/107 23998 /proc/meminfo: memFree=1609904/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=173004 CPUtime=1001.99 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 52242 0 0 0 99931 268 0 0 25 0 1 0 13265964 177156096 42697 1992294400 134512640 135751879 4292785936 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 43251 42697 151 303 0 42946 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 173004 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.24 2/107 24000 /proc/meminfo: memFree=1603456/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=179620 CPUtime=1061.96 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 53897 0 0 0 105916 280 0 0 25 0 1 0 13265964 183930880 44352 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 44905 44352 151 303 0 44600 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 179620 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.22 2/107 24002 /proc/meminfo: memFree=1597008/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=185984 CPUtime=1121.95 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 55483 0 0 0 111905 290 0 0 25 0 1 0 13265964 190447616 45938 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 46496 45938 151 303 0 46191 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 185984 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.21 2/107 24002 /proc/meminfo: memFree=1579648/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=204560 CPUtime=1181.93 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 59848 0 0 0 117883 310 0 0 25 0 1 0 13265964 209469440 50127 1992294400 134512640 135751879 4292785936 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 51140 50127 151 303 0 50835 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 204560 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.19 2/107 24004 /proc/meminfo: memFree=1579648/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=204560 CPUtime=1241.91 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 59870 0 0 0 123863 328 0 0 25 0 1 0 13265964 209469440 50149 1992294400 134512640 135751879 4292785936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 51140 50149 151 303 0 50835 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 204560 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 24006 /proc/meminfo: memFree=1576796/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=207904 CPUtime=1301.9 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 60686 0 0 0 129846 344 0 0 25 0 1 0 13265964 212893696 50965 1992294400 134512640 135751879 4292785936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 51976 50965 151 303 0 51671 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 207904 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 24008 /proc/meminfo: memFree=1568612/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=216108 CPUtime=1361.88 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 62736 0 0 0 135831 357 0 0 25 0 1 0 13265964 221294592 53015 1992294400 134512640 135751879 4292785936 18446744073709551615 134604814 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 54027 53015 151 303 0 53722 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 216108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.15 2/107 24010 /proc/meminfo: memFree=1560304/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=224396 CPUtime=1421.86 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 64778 0 0 0 141814 372 0 0 25 0 1 0 13265964 229781504 55057 1992294400 134512640 135751879 4292785936 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 56099 55057 151 303 0 55794 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 224396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 24010 /proc/meminfo: memFree=1553112/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=231696 CPUtime=1481.84 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 66593 0 0 0 147798 386 0 0 25 0 1 0 13265964 237256704 56872 1992294400 134512640 135751879 4292785936 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 57924 56872 151 303 0 57619 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 231696 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 24012 /proc/meminfo: memFree=1546912/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=237744 CPUtime=1541.82 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 68119 0 0 0 153785 397 0 0 25 0 1 0 13265964 243449856 58398 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 59436 58398 151 303 0 59131 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 237744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 24014 /proc/meminfo: memFree=1540712/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=243808 CPUtime=1601.81 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 69669 0 0 0 159770 411 0 0 25 0 1 0 13265964 249659392 59948 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 60952 59948 151 303 0 60647 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 243808 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 24016 /proc/meminfo: memFree=1534512/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=250348 CPUtime=1661.79 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 71190 0 0 0 165754 425 0 0 25 0 1 0 13265964 256356352 61469 1992294400 134512640 135751879 4292785936 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 62587 61469 151 303 0 62282 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 250348 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 24018 /proc/meminfo: memFree=1528932/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=255924 CPUtime=1721.77 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 72614 0 0 0 171742 435 0 0 25 0 1 0 13265964 262066176 62893 1992294400 134512640 135751879 4292785936 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 63981 62893 151 303 0 63676 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 255924 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 24018 /proc/meminfo: memFree=1522484/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=261996 CPUtime=1781.75 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 74134 0 0 0 177729 446 0 0 25 0 1 0 13265964 268283904 64413 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 65499 64413 151 303 0 65194 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 261996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.08 2/107 24020 /proc/meminfo: memFree=1520748/2059040 swapFree=4164940/4192956 [pid=23968] ppid=23966 vsize=263752 CPUtime=1800.06 /proc/23968/stat : 23968 (wbo1.4b) R 23966 23968 23609 0 -1 4202496 74556 0 0 0 179556 450 0 0 25 0 1 0 13265964 270082048 64835 1992294400 134512640 135751879 4292785936 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23968/statm: 65938 64835 151 303 0 65633 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 263752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.1 CPU user time (s): 1795.57 CPU system time (s): 4.53131 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 263752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.57 system time used= 4.53131 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74556 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= 58 involuntary context switches= 5346 runsolver used 3.07553 second user time and 8.43072 second system time The end
Begin job on node041 at 2010-07-06 23:09:44 IDJOB=2687269 IDBENCH=77554 IDSOLVER=1161 FILE ID=node041/2687269-1278450584 PBS_JOBID= 11233539 Free space on /tmp= 62096 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687269-1278450584/watcher-2687269-1278450584 -o /tmp/evaluation-result-2687269-1278450584/solver-2687269-1278450584 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687269-1278450584.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2d7989b1a1c0b548cce5b438f15fc440 RANDOM SEED=1197023716 node041.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.244 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782552 kB Buffers: 11952 kB Cached: 156720 kB SwapCached: 1444 kB Active: 83644 kB Inactive: 118976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782552 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 10884 kB Writeback: 0 kB AnonPages: 32476 kB Mapped: 13604 kB Slab: 51992 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182048 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687269-1278450584.opb Free space on /tmp at the end= 62092 MiB End job on node041 at 2010-07-06 23:39:47