Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2687280-1278450887.opb. 0.00/0.00 c Instance file HOME/instance-2687280-1278450887.opb 0.00/0.00 c File size is 8328295 bytes. 1.69/1.72 c Highest Coefficient sum: 699 1.69/1.73 c ============================[ Problem Statistics ]============================= 1.69/1.73 c | | 1.69/1.73 c | Parsing time: 1.69 s | 1.69/1.73 c | Number Variables: 72842 | 1.69/1.73 c | Number Clauses: 244087 | 1.69/1.73 c | Number Cardinality: 0 | 1.69/1.73 c | Number PB Constraints: 1200 | 97.24/97.38 c ============================[ Search Statistics ]============================== 97.24/97.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.24/97.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.24/97.38 c =============================================================================== 97.24/97.38 c | 0 | 57022 246567 576561 | 81762 0 nan | 0.000 % | 97.34/97.45 c | 103 | 57022 246567 576561 | 89938 103 25 | 21.718 % | 97.44/97.54 c | 255 | 57022 246567 576561 | 98932 255 37 | 21.718 % | 97.54/97.61 c =============================================================================== 97.54/97.61 c New solution: 300 97.54/97.61 o 300 97.54/97.61 c Elapsed CPU time: 97.3672 s Remaining CPU time: 82.6328 s 97.54/97.61 c =============================================================================== 97.54/97.61 c | 273 | 57022 246568 576861 | 82189 273 35 | 21.718 % | 97.54/97.67 c =============================================================================== 97.54/97.67 c New solution: 299 97.54/97.67 o 299 97.54/97.67 c Elapsed CPU time: 97.4272 s Remaining CPU time: 82.5728 s 97.54/97.67 c =============================================================================== 97.54/97.67 c | 291 | 56901 246569 577161 | 82189 291 35 | 21.718 % | 97.65/97.75 c | 391 | 56784 246569 577161 | 90408 391 44 | 22.068 % | 97.76/97.84 c | 542 | 56783 246569 577161 | 99449 542 42 | 22.068 % | 97.86/97.91 c =============================================================================== 97.86/97.91 c New solution: 298 97.86/97.91 o 298 97.86/97.91 c Elapsed CPU time: 97.6702 s Remaining CPU time: 82.3298 s 97.86/97.91 c =============================================================================== 97.86/97.91 c | 558 | 56767 246570 577461 | 82190 396 40 | 22.068 % | 97.86/97.98 c =============================================================================== 97.86/97.98 c New solution: 297 97.86/97.98 o 297 97.86/97.98 c Elapsed CPU time: 97.7371 s Remaining CPU time: 82.2629 s 97.86/97.98 c =============================================================================== 97.86/97.98 c | 573 | 56623 246571 577761 | 82190 411 39 | 22.068 % | 97.95/98.05 c =============================================================================== 97.95/98.05 c New solution: 296 97.95/98.05 o 296 97.95/98.05 c Elapsed CPU time: 97.8001 s Remaining CPU time: 82.1999 s 97.95/98.05 c =============================================================================== 97.95/98.05 c | 584 | 56463 246572 578061 | 82190 422 40 | 22.068 % | 98.05/98.13 c | 684 | 56414 246572 578061 | 90409 522 40 | 22.723 % | 98.15/98.20 c =============================================================================== 98.15/98.20 c New solution: 295 98.15/98.20 o 295 98.15/98.20 c Elapsed CPU time: 97.9541 s Remaining CPU time: 82.0459 s 98.15/98.20 c =============================================================================== 98.15/98.20 c | 716 | 56290 246573 578361 | 82191 554 40 | 22.723 % | 98.15/98.25 c | 816 | 56280 246573 578361 | 90410 654 39 | 22.977 % | 98.24/98.31 c =============================================================================== 98.24/98.31 c New solution: 294 98.24/98.31 o 294 98.24/98.31 c Elapsed CPU time: 98.0631 s Remaining CPU time: 81.9369 s 98.24/98.31 c =============================================================================== 98.24/98.31 c | 831 | 56105 246574 578661 | 82191 669 39 | 22.977 % | 98.24/98.37 c =============================================================================== 98.24/98.37 c New solution: 293 98.24/98.37 o 293 98.24/98.37 c Elapsed CPU time: 98.1241 s Remaining CPU time: 81.8759 s 98.24/98.37 c =============================================================================== 98.24/98.37 c | 842 | 55907 246575 578961 | 82191 336 39 | 22.977 % | 98.34/98.44 c =============================================================================== 98.34/98.44 c New solution: 292 98.34/98.44 o 292 98.34/98.44 c Elapsed CPU time: 98.1941 s Remaining CPU time: 81.8059 s 98.34/98.44 c =============================================================================== 98.34/98.44 c | 850 | 55693 246576 579261 | 82192 344 38 | 22.977 % | 98.44/98.50 c =============================================================================== 98.44/98.50 c New solution: 291 98.44/98.50 o 291 98.44/98.50 c Elapsed CPU time: 98.2511 s Remaining CPU time: 81.7489 s 98.44/98.50 c =============================================================================== 98.44/98.50 c | 863 | 55473 246577 579561 | 82192 357 38 | 22.977 % | 98.44/98.57 c =============================================================================== 98.44/98.57 c New solution: 290 98.44/98.57 o 290 98.44/98.57 c Elapsed CPU time: 98.3181 s Remaining CPU time: 81.6819 s 98.44/98.57 c =============================================================================== 98.44/98.57 c | 875 | 55242 246578 579861 | 82192 369 37 | 22.977 % | 98.55/98.64 c | 976 | 55236 246578 579861 | 90411 470 41 | 24.494 % | 98.65/98.74 c | 1126 | 55225 246578 579861 | 99453 620 43 | 24.494 % | 98.75/98.80 c =============================================================================== 98.75/98.80 c New solution: 289 98.75/98.80 o 289 98.75/98.80 c Elapsed CPU time: 98.55 s Remaining CPU time: 81.45 s 98.75/98.80 c =============================================================================== 98.75/98.80 c | 1142 | 55000 246579 580161 | 82193 636 42 | 24.494 % | 98.75/98.86 c =============================================================================== 98.75/98.86 c New solution: 288 98.75/98.86 o 288 98.75/98.86 c Elapsed CPU time: 98.611 s Remaining CPU time: 81.389 s 98.75/98.86 c =============================================================================== 98.75/98.86 c | 1156 | 54758 246580 580461 | 82193 460 37 | 24.494 % | 98.86/98.93 c =============================================================================== 98.86/98.93 c New solution: 287 98.86/98.93 o 287 98.86/98.93 c Elapsed CPU time: 98.676 s Remaining CPU time: 81.324 s 98.86/98.93 c =============================================================================== 98.86/98.93 c | 1182 | 54516 246581 580761 | 82193 486 36 | 24.494 % | 98.95/99.01 c =============================================================================== 98.95/99.01 c New solution: 286 98.95/99.01 o 286 98.95/99.01 c Elapsed CPU time: 98.755 s Remaining CPU time: 81.245 s 98.95/99.01 c =============================================================================== 98.95/99.01 c | 1241 | 54274 246582 581061 | 82194 545 37 | 24.494 % | 98.95/99.09 c | 1343 | 54265 246582 581061 | 90413 647 38 | 25.823 % | 99.04/99.18 c | 1494 | 54256 246582 581061 | 99454 798 40 | 25.823 % | 99.14/99.24 c =============================================================================== 99.14/99.24 c New solution: 285 99.14/99.24 o 285 99.14/99.24 c Elapsed CPU time: 98.984 s Remaining CPU time: 81.016 s 99.14/99.24 c =============================================================================== 99.14/99.24 c | 1521 | 54032 246583 581361 | 82194 825 39 | 25.823 % | 99.25/99.31 c =============================================================================== 99.25/99.31 c New solution: 284 99.25/99.31 o 284 99.25/99.31 c Elapsed CPU time: 99.0499 s Remaining CPU time: 80.9501 s 99.25/99.31 c =============================================================================== 99.25/99.31 c | 1548 | 53790 246584 581661 | 82194 852 39 | 25.823 % | 99.35/99.41 c | 1648 | 53548 246584 581661 | 90414 574 37 | 26.487 % | 99.35/99.48 c | 1798 | 53548 246584 581661 | 99455 724 37 | 26.487 % | 99.45/99.59 c | 2024 | 53548 246584 581661 | 109401 950 38 | 26.487 % | 99.55/99.65 c =============================================================================== 99.55/99.65 c New solution: 283 99.55/99.65 o 283 99.55/99.65 c Elapsed CPU time: 99.3909 s Remaining CPU time: 80.6091 s 99.55/99.65 c =============================================================================== 99.55/99.65 c | 2050 | 53548 246585 581961 | 82195 976 37 | 26.487 % | 99.65/99.72 c =============================================================================== 99.65/99.72 c New solution: 282 99.65/99.72 o 282 99.65/99.72 c Elapsed CPU time: 99.4519 s Remaining CPU time: 80.5481 s 99.65/99.72 c =============================================================================== 99.65/99.72 c | 2063 | 53306 246586 582261 | 82195 989 37 | 26.487 % | 99.74/99.80 c =============================================================================== 99.74/99.80 c New solution: 281 99.74/99.80 o 281 99.74/99.80 c Elapsed CPU time: 99.5349 s Remaining CPU time: 80.4651 s 99.74/99.80 c =============================================================================== 99.74/99.80 c | 2120 | 53064 246587 582561 | 82195 1046 37 | 26.487 % | 99.74/99.89 c | 2220 | 52822 246587 582561 | 90415 962 36 | 27.484 % | 99.84/99.97 c =============================================================================== 99.84/99.97 c New solution: 280 99.84/99.97 o 280 99.84/99.97 c Elapsed CPU time: 99.7068 s Remaining CPU time: 80.2932 s 99.84/99.97 c =============================================================================== 99.84/99.97 c | 2282 | 52822 246588 582861 | 82196 1024 36 | 27.484 % | 99.95/100.03 c | 2382 | 52810 246588 582861 | 90415 1124 35 | 27.816 % | 99.95/100.09 c =============================================================================== 99.95/100.09 c New solution: 279 99.95/100.09 o 279 99.95/100.09 c Elapsed CPU time: 99.8198 s Remaining CPU time: 80.1802 s 99.95/100.09 c =============================================================================== 99.95/100.09 c | 2387 | 52580 246589 583161 | 82196 1129 35 | 27.816 % | 100.05/100.15 c =============================================================================== 100.05/100.15 c New solution: 278 100.05/100.15 o 278 100.05/100.15 c Elapsed CPU time: 99.8838 s Remaining CPU time: 80.1162 s 100.05/100.15 c =============================================================================== 100.05/100.15 c | 2408 | 52338 246590 583461 | 82196 1150 35 | 27.816 % | 100.14/100.22 c | 2510 | 52324 246590 583461 | 90416 1252 36 | 28.481 % | 100.14/100.29 c | 2661 | 52322 246590 583461 | 99457 1403 36 | 28.481 % | 100.25/100.36 c =============================================================================== 100.25/100.36 c New solution: 277 100.25/100.36 o 277 100.25/100.36 c Elapsed CPU time: 100.087 s Remaining CPU time: 79.9132 s 100.25/100.36 c =============================================================================== 100.25/100.36 c | 2670 | 52096 246591 583761 | 82197 1206 35 | 28.481 % | 100.35/100.45 c =============================================================================== 100.35/100.45 c New solution: 276 100.35/100.45 o 276 100.35/100.45 c Elapsed CPU time: 100.175 s Remaining CPU time: 79.8252 s 100.35/100.45 c =============================================================================== 100.35/100.45 c | 2769 | 51854 246592 584061 | 82197 1305 36 | 28.481 % | 100.45/100.51 c | 2869 | 51851 246592 584061 | 90417 1405 36 | 29.145 % | 100.45/100.59 c | 3019 | 51847 246592 584061 | 99458 1555 36 | 29.145 % | 100.65/100.72 c | 3244 | 51834 246592 584061 | 109404 1780 38 | 29.145 % | 100.84/100.95 c | 3582 | 51829 246592 584061 | 120345 2118 40 | 29.145 % | 100.94/101.02 c =============================================================================== 100.94/101.02 c New solution: 275 100.94/101.02 o 275 100.94/101.02 c Elapsed CPU time: 100.745 s Remaining CPU time: 79.2553 s 100.94/101.02 c =============================================================================== 100.94/101.02 c | 3613 | 51612 246593 584361 | 82197 2087 40 | 29.145 % | 100.94/101.08 c =============================================================================== 100.94/101.08 c New solution: 274 100.94/101.08 o 274 100.94/101.08 c Elapsed CPU time: 100.805 s Remaining CPU time: 79.1953 s 100.94/101.08 c =============================================================================== 100.94/101.08 c | 3627 | 51370 246594 584661 | 82198 2101 40 | 29.145 % | 101.05/101.15 c =============================================================================== 101.05/101.15 c New solution: 273 101.05/101.15 o 273 101.05/101.15 c Elapsed CPU time: 100.867 s Remaining CPU time: 79.1333 s 101.05/101.15 c =============================================================================== 101.05/101.15 c | 3644 | 51128 246595 584961 | 82198 2118 40 | 29.145 % | 101.15/101.21 c =============================================================================== 101.15/101.21 c New solution: 272 101.15/101.21 o 272 101.15/101.21 c Elapsed CPU time: 100.928 s Remaining CPU time: 79.0723 s 101.15/101.21 c =============================================================================== 101.15/101.21 c | 3651 | 50886 246596 585261 | 82198 2125 40 | 29.145 % | 101.15/101.28 c | 3751 | 50811 246596 585261 | 90418 2225 41 | 30.474 % | 101.34/101.43 c | 3901 | 50811 246596 585261 | 99460 2375 43 | 30.474 % | 101.44/101.57 c | 4126 | 50809 246596 585261 | 109406 2600 42 | 30.474 % | 101.54/101.65 c =============================================================================== 101.54/101.65 c New solution: 271 101.54/101.65 o 271 101.54/101.65 c Elapsed CPU time: 101.37 s Remaining CPU time: 78.6304 s 101.54/101.65 c =============================================================================== 101.54/101.65 c | 4172 | 50644 246597 585561 | 82199 1886 39 | 30.474 % | 101.65/101.72 c | 4272 | 50639 246597 585561 | 90418 1986 39 | 30.806 % | 101.65/101.78 c =============================================================================== 101.65/101.78 c New solution: 270 101.65/101.78 o 270 101.65/101.78 c Elapsed CPU time: 101.496 s Remaining CPU time: 78.5044 s 101.65/101.78 c =============================================================================== 101.65/101.78 c | 4276 | 50402 246598 585861 | 82199 1990 39 | 30.806 % | 101.75/101.84 c =============================================================================== 101.75/101.84 c New solution: 269 101.75/101.84 o 269 101.75/101.84 c Elapsed CPU time: 101.561 s Remaining CPU time: 78.4394 s 101.75/101.84 c =============================================================================== 101.75/101.84 c | 4298 | 50160 246599 586161 | 82199 2012 39 | 30.806 % | 101.85/101.90 c | 4398 | 50128 246599 586161 | 90419 2112 39 | 31.471 % | 101.95/102.01 c | 4548 | 50126 246599 586161 | 99461 2262 39 | 31.471 % | 102.05/102.10 c | 4774 | 50122 246599 586161 | 109407 2488 39 | 31.471 % | 102.15/102.25 c | 5111 | 50119 246599 586161 | 120348 2825 39 | 31.471 % | 102.25/102.31 c =============================================================================== 102.25/102.31 c New solution: 268 102.25/102.31 o 268 102.25/102.31 c Elapsed CPU time: 102.025 s Remaining CPU time: 77.9745 s 102.25/102.31 c =============================================================================== 102.25/102.31 c | 5117 | 49918 246600 586461 | 82200 2281 37 | 31.471 % | 102.25/102.38 c =============================================================================== 102.25/102.38 c New solution: 267 102.25/102.38 o 267 102.25/102.38 c Elapsed CPU time: 102.09 s Remaining CPU time: 77.9095 s 102.25/102.38 c =============================================================================== 102.25/102.38 c | 5132 | 49676 246601 586761 | 82200 2296 37 | 31.471 % | 102.34/102.45 c =============================================================================== 102.34/102.45 c New solution: 266 102.34/102.45 o 266 102.34/102.45 c Elapsed CPU time: 102.164 s Remaining CPU time: 77.8355 s 102.34/102.45 c =============================================================================== 102.34/102.45 c | 5167 | 49434 246602 587061 | 82200 2331 37 | 31.471 % | 102.45/102.51 c | 5267 | 49430 246602 587061 | 90420 2431 36 | 32.468 % | 102.55/102.60 c | 5417 | 49421 246602 587061 | 99462 2581 37 | 32.468 % | 102.55/102.67 c =============================================================================== 102.55/102.67 c New solution: 265 102.55/102.67 o 265 102.55/102.67 c Elapsed CPU time: 102.377 s Remaining CPU time: 77.6226 s 102.55/102.67 c =============================================================================== 102.55/102.67 c | 5444 | 49192 246603 587361 | 82201 2608 37 | 32.468 % | 102.65/102.73 c | 5546 | 49164 246603 587361 | 90421 2710 37 | 32.800 % | 102.75/102.80 c | 5696 | 49162 246603 587361 | 99463 2860 37 | 32.800 % | 102.75/102.86 c =============================================================================== 102.75/102.86 c New solution: 264 102.75/102.86 o 264 102.75/102.86 c Elapsed CPU time: 102.57 s Remaining CPU time: 77.4296 s 102.75/102.86 c =============================================================================== 102.75/102.86 c | 5707 | 48950 246604 587661 | 82201 2871 37 | 32.800 % | 102.85/102.93 c =============================================================================== 102.85/102.93 c New solution: 263 102.85/102.93 o 263 102.85/102.93 c Elapsed CPU time: 102.636 s Remaining CPU time: 77.3636 s 102.85/102.93 c =============================================================================== 102.85/102.93 c | 5721 | 48708 246605 587961 | 82201 2212 36 | 32.800 % | 102.85/102.99 c | 5822 | 48672 246605 587961 | 90421 2313 36 | 33.464 % | 102.95/103.05 c | 5972 | 48670 246605 587961 | 99464 2463 36 | 33.464 % | 103.14/103.20 c | 6197 | 48666 246605 587961 | 109410 2688 37 | 33.464 % | 103.14/103.25 c =============================================================================== 103.14/103.25 c New solution: 262 103.14/103.25 o 262 103.14/103.25 c Elapsed CPU time: 102.956 s Remaining CPU time: 77.0437 s 103.14/103.25 c =============================================================================== 103.14/103.25 c | 6207 | 48466 246606 588261 | 82202 2698 37 | 33.464 % | 103.25/103.31 c =============================================================================== 103.25/103.31 c New solution: 261 103.25/103.31 o 261 103.25/103.31 c Elapsed CPU time: 103.015 s Remaining CPU time: 76.9847 s 103.25/103.31 c =============================================================================== 103.25/103.31 c | 6226 | 48224 246607 588561 | 82202 2717 37 | 33.464 % | 103.25/103.37 c =============================================================================== 103.25/103.37 c New solution: 260 103.25/103.37 o 260 103.25/103.37 c Elapsed CPU time: 103.074 s Remaining CPU time: 76.9257 s 103.25/103.37 c =============================================================================== 103.25/103.37 c | 6231 | 47982 246608 588861 | 82202 2722 37 | 33.464 % | 103.35/103.44 c =============================================================================== 103.35/103.44 c New solution: 259 103.35/103.44 o 259 103.35/103.44 c Elapsed CPU time: 103.136 s Remaining CPU time: 76.8637 s 103.35/103.44 c =============================================================================== 103.35/103.44 c | 6248 | 47740 246609 589161 | 82203 2739 36 | 33.464 % | 103.44/103.55 c =============================================================================== 103.44/103.55 c New solution: 258 103.44/103.55 o 258 103.44/103.55 c Elapsed CPU time: 103.248 s Remaining CPU time: 76.7517 s 103.44/103.55 c =============================================================================== 103.44/103.55 c | 6347 | 47498 246610 589461 | 82203 2838 37 | 33.464 % | 103.54/103.61 c =============================================================================== 103.54/103.61 c New solution: 257 103.54/103.61 o 257 103.54/103.61 c Elapsed CPU time: 103.315 s Remaining CPU time: 76.6847 s 103.54/103.61 c =============================================================================== 103.54/103.61 c | 6373 | 47256 246611 589761 | 82203 1921 37 | 33.464 % | 103.54/103.67 c =============================================================================== 103.54/103.67 c New solution: 256 103.54/103.67 o 256 103.54/103.67 c Elapsed CPU time: 103.368 s Remaining CPU time: 76.6317 s 103.54/103.67 c =============================================================================== 103.54/103.67 c | 6377 | 47014 246612 590061 | 82204 1925 37 | 33.464 % | 103.64/103.73 c | 6477 | 46996 246612 590061 | 90424 2025 37 | 35.790 % | 103.75/103.81 c | 6628 | 46991 246612 590061 | 99466 2176 37 | 35.790 % | 103.75/103.86 c =============================================================================== 103.75/103.86 c New solution: 255 103.75/103.86 o 255 103.75/103.86 c Elapsed CPU time: 103.561 s Remaining CPU time: 76.4387 s 103.75/103.86 c =============================================================================== 103.75/103.86 c | 6632 | 46772 246613 590361 | 82204 2180 37 | 35.790 % | 103.85/103.92 c =============================================================================== 103.85/103.92 c New solution: 254 103.85/103.92 o 254 103.85/103.92 c Elapsed CPU time: 103.615 s Remaining CPU time: 76.3848 s 103.85/103.92 c =============================================================================== 103.85/103.92 c | 6636 | 46530 246614 590661 | 82204 2184 37 | 35.790 % | 103.85/103.97 c =============================================================================== 103.85/103.97 c New solution: 253 103.85/103.97 o 253 103.85/103.97 c Elapsed CPU time: 103.669 s Remaining CPU time: 76.3308 s 103.85/103.97 c =============================================================================== 103.85/103.97 c | 6637 | 46288 246615 590961 | 82205 2185 37 | 35.790 % | 103.95/104.03 c =============================================================================== 103.95/104.03 c New solution: 252 103.95/104.03 o 252 103.95/104.03 c Elapsed CPU time: 103.722 s Remaining CPU time: 76.2778 s 103.95/104.03 c =============================================================================== 103.95/104.03 c | 6642 | 46046 246616 591261 | 82205 2190 37 | 35.790 % | 103.95/104.09 c =============================================================================== 103.95/104.09 c New solution: 251 103.95/104.09 o 251 103.95/104.09 c Elapsed CPU time: 103.78 s Remaining CPU time: 76.2198 s 103.95/104.09 c =============================================================================== 103.95/104.09 c | 6658 | 45804 246617 591561 | 82205 2206 37 | 35.790 % | 104.04/104.16 c | 6758 | 45782 246617 591561 | 90426 2306 38 | 37.451 % | 104.14/104.27 c | 6908 | 45775 246617 591561 | 99468 2456 38 | 37.451 % | 104.24/104.34 c =============================================================================== 104.24/104.34 c New solution: 250 104.24/104.34 o 250 104.24/104.34 c Elapsed CPU time: 104.029 s Remaining CPU time: 75.9708 s 104.24/104.34 c =============================================================================== 104.24/104.34 c | 6954 | 45562 246618 591861 | 82206 1795 37 | 37.451 % | 104.35/104.40 c | 7055 | 45515 246618 591861 | 90426 1896 37 | 37.783 % | 104.45/104.57 c | 7206 | 45512 246618 591861 | 99469 2047 39 | 37.783 % | 104.55/104.64 c =============================================================================== 104.55/104.64 c New solution: 249 104.55/104.64 o 249 104.55/104.64 c Elapsed CPU time: 104.325 s Remaining CPU time: 75.6749 s 104.55/104.64 c =============================================================================== 104.55/104.64 c | 7227 | 45320 246619 592161 | 82206 2068 39 | 37.783 % | 104.65/104.70 c =============================================================================== 104.65/104.70 c New solution: 248 104.65/104.70 o 248 104.65/104.70 c Elapsed CPU time: 104.387 s Remaining CPU time: 75.6129 s 104.65/104.70 c =============================================================================== 104.65/104.70 c | 7241 | 45078 246620 592461 | 82206 2082 39 | 37.783 % | 104.65/104.76 c =============================================================================== 104.65/104.76 c New solution: 247 104.65/104.76 o 247 104.65/104.76 c Elapsed CPU time: 104.448 s Remaining CPU time: 75.5519 s 104.65/104.76 c =============================================================================== 104.65/104.76 c | 7251 | 44836 246621 592761 | 82207 2092 38 | 37.783 % | 104.75/104.85 c =============================================================================== 104.75/104.85 c New solution: 246 104.75/104.85 o 246 104.75/104.85 c Elapsed CPU time: 104.535 s Remaining CPU time: 75.4649 s 104.75/104.85 c =============================================================================== 104.75/104.85 c | 7300 | 44594 246622 593061 | 82207 2141 39 | 37.783 % | 104.85/104.91 c =============================================================================== 104.85/104.91 c New solution: 245 104.85/104.91 o 245 104.85/104.91 c Elapsed CPU time: 104.593 s Remaining CPU time: 75.4069 s 104.85/104.91 c =============================================================================== 104.85/104.91 c | 7318 | 44352 246623 593361 | 82207 2159 38 | 37.783 % | 104.85/104.97 c | 7418 | 44110 246623 593361 | 90428 1429 34 | 39.444 % | 104.95/105.05 c =============================================================================== 104.95/105.05 c New solution: 244 104.95/105.05 o 244 104.95/105.05 c Elapsed CPU time: 104.732 s Remaining CPU time: 75.2679 s 104.95/105.05 c =============================================================================== 104.95/105.05 c | 7461 | 44110 246624 593661 | 82208 1472 34 | 39.444 % | 105.05/105.10 c | 7561 | 44109 246624 593661 | 90428 1572 34 | 39.777 % | 105.05/105.18 c =============================================================================== 105.05/105.18 c New solution: 243 105.05/105.18 o 243 105.05/105.18 c Elapsed CPU time: 104.86 s Remaining CPU time: 75.1399 s 105.05/105.18 c =============================================================================== 105.05/105.18 c | 7609 | 43868 246625 593961 | 82208 1620 34 | 39.777 % | 105.14/105.23 c =============================================================================== 105.14/105.23 c New solution: 242 105.14/105.23 o 242 105.14/105.23 c Elapsed CPU time: 104.914 s Remaining CPU time: 75.0859 s 105.14/105.23 c =============================================================================== 105.14/105.23 c | 7616 | 43626 246626 594261 | 82208 1627 34 | 39.777 % | 105.14/105.29 c =============================================================================== 105.14/105.29 c New solution: 241 105.14/105.29 o 241 105.14/105.29 c Elapsed CPU time: 104.968 s Remaining CPU time: 75.032 s 105.14/105.29 c =============================================================================== 105.14/105.29 c | 7626 | 43384 246627 594561 | 82209 1637 34 | 39.777 % | 105.24/105.34 c | 7727 | 43372 246627 594561 | 90429 1738 34 | 40.773 % | 105.34/105.41 c =============================================================================== 105.34/105.41 c New solution: 240 105.34/105.41 o 240 105.34/105.41 c Elapsed CPU time: 105.086 s Remaining CPU time: 74.914 s 105.34/105.41 c =============================================================================== 105.34/105.41 c | 7772 | 43142 246628 594861 | 82209 1783 34 | 40.773 % | 105.34/105.47 c | 7873 | 43135 246628 594861 | 90430 1884 35 | 41.105 % | 105.45/105.56 c =============================================================================== 105.45/105.56 c New solution: 239 105.45/105.56 o 239 105.45/105.56 c Elapsed CPU time: 105.244 s Remaining CPU time: 74.756 s 105.45/105.56 c =============================================================================== 105.45/105.56 c | 7951 | 42900 246629 595161 | 82209 1459 34 | 41.105 % | 105.55/105.62 c =============================================================================== 105.55/105.62 c New solution: 238 105.55/105.62 o 238 105.55/105.62 c Elapsed CPU time: 105.295 s Remaining CPU time: 74.705 s 105.55/105.62 c =============================================================================== 105.55/105.62 c | 7954 | 42658 246630 595461 | 82210 1462 34 | 41.105 % | 105.55/105.68 c | 8056 | 42587 246630 595461 | 90431 1564 34 | 41.770 % | 105.64/105.76 c | 8207 | 42585 246630 595461 | 99474 1715 35 | 41.770 % | 105.75/105.89 c | 8432 | 42583 246630 595461 | 109421 1940 35 | 41.770 % | 105.85/105.95 c =============================================================================== 105.85/105.95 c New solution: 237 105.85/105.95 o 237 105.85/105.95 c Elapsed CPU time: 105.631 s Remaining CPU time: 74.3691 s 105.85/105.95 c =============================================================================== 105.85/105.95 c | 8455 | 42416 246631 595761 | 82210 1963 35 | 41.770 % | 105.95/106.01 c =============================================================================== 105.95/106.01 c New solution: 236 105.95/106.01 o 236 105.95/106.01 c Elapsed CPU time: 105.687 s Remaining CPU time: 74.3131 s 105.95/106.01 c =============================================================================== 105.95/106.01 c | 8467 | 42174 246632 596061 | 82210 1975 35 | 41.770 % | 105.95/106.06 c | 8567 | 42161 246632 596061 | 90431 2075 35 | 42.434 % | 106.05/106.17 c | 8717 | 41932 246632 596061 | 99474 1672 33 | 42.434 % | 106.15/106.23 c =============================================================================== 106.15/106.23 c New solution: 235 106.15/106.23 o 235 106.15/106.23 c Elapsed CPU time: 105.902 s Remaining CPU time: 74.0981 s 106.15/106.23 c =============================================================================== 106.15/106.23 c | 8726 | 41932 246633 596361 | 82211 1681 33 | 42.434 % | 106.15/106.29 c =============================================================================== 106.15/106.29 c New solution: 234 106.15/106.29 o 234 106.15/106.29 c Elapsed CPU time: 105.964 s Remaining CPU time: 74.0361 s 106.15/106.29 c =============================================================================== 106.15/106.29 c | 8735 | 41690 246634 596661 | 82211 1690 33 | 42.434 % | 106.25/106.34 c | 8835 | 41665 246634 596661 | 90432 1790 33 | 43.099 % | 106.35/106.43 c | 8985 | 41662 246634 596661 | 99475 1940 34 | 43.099 % | 106.35/106.49 c =============================================================================== 106.35/106.49 c New solution: 233 106.35/106.49 o 233 106.35/106.49 c Elapsed CPU time: 106.169 s Remaining CPU time: 73.8311 s 106.35/106.49 c =============================================================================== 106.35/106.49 c | 9000 | 41448 246635 596961 | 82211 1955 34 | 43.099 % | 106.45/106.55 c =============================================================================== 106.45/106.55 c New solution: 232 106.45/106.55 o 232 106.45/106.55 c Elapsed CPU time: 106.224 s Remaining CPU time: 73.7761 s 106.45/106.55 c =============================================================================== 106.45/106.55 c | 9012 | 41206 246636 597261 | 82212 1967 34 | 43.099 % | 106.55/106.61 c | 9114 | 41192 246636 597261 | 90433 2069 34 | 43.763 % | 106.65/106.72 c | 9264 | 41178 246636 597261 | 99476 2219 36 | 43.763 % | 106.74/106.83 c | 9490 | 40964 246636 597261 | 109424 1562 34 | 43.763 % | 106.94/107.07 c | 9828 | 40964 246636 597261 | 120366 1900 38 | 43.763 % | 107.04/107.13 c =============================================================================== 107.04/107.13 c New solution: 231 107.04/107.13 o 231 107.04/107.13 c Elapsed CPU time: 106.806 s Remaining CPU time: 73.1942 s 107.04/107.13 c =============================================================================== 107.04/107.13 c | 9855 | 40964 246637 597561 | 82212 1927 38 | 43.763 % | 107.04/107.19 c =============================================================================== 107.04/107.19 c New solution: 230 107.04/107.19 o 230 107.04/107.19 c Elapsed CPU time: 106.858 s Remaining CPU time: 73.1422 s 107.04/107.19 c =============================================================================== 107.04/107.19 c | 9857 | 40722 246638 597861 | 82212 1929 38 | 43.763 % | 107.14/107.24 c =============================================================================== 107.14/107.24 c New solution: 229 107.14/107.24 o 229 107.14/107.24 c Elapsed CPU time: 106.911 s Remaining CPU time: 73.0893 s 107.14/107.24 c =============================================================================== 107.14/107.24 c | 9862 | 40480 246639 598161 | 82213 1934 38 | 43.763 % | 107.14/107.29 c =============================================================================== 107.14/107.29 c New solution: 228 107.14/107.29 o 228 107.14/107.29 c Elapsed CPU time: 106.961 s Remaining CPU time: 73.0393 s 107.14/107.29 c =============================================================================== 107.14/107.29 c | 9867 | 40238 246640 598461 | 82213 1939 38 | 43.763 % | 107.24/107.35 c =============================================================================== 107.24/107.35 c New solution: 227 107.24/107.35 o 227 107.24/107.35 c Elapsed CPU time: 107.015 s Remaining CPU time: 72.9853 s 107.24/107.35 c =============================================================================== 107.24/107.35 c | 9870 | 39996 246641 598761 | 82213 1942 38 | 43.763 % | 107.35/107.40 c =============================================================================== 107.35/107.40 c New solution: 226 107.35/107.40 o 226 107.35/107.40 c Elapsed CPU time: 107.07 s Remaining CPU time: 72.9303 s 107.35/107.40 c =============================================================================== 107.35/107.40 c | 9882 | 39754 246642 599061 | 82214 1359 35 | 43.763 % | 107.35/107.47 c =============================================================================== 107.35/107.47 c New solution: 225 107.35/107.47 o 225 107.35/107.47 c Elapsed CPU time: 107.137 s Remaining CPU time: 72.8633 s 107.35/107.47 c =============================================================================== 107.35/107.47 c | 9935 | 39512 246643 599361 | 82214 1412 35 | 43.763 % | 107.45/107.54 c | 10035 | 39500 246643 599361 | 90435 1512 35 | 46.089 % | 107.55/107.64 c =============================================================================== 107.55/107.64 c New solution: 224 107.55/107.64 o 224 107.55/107.64 c Elapsed CPU time: 107.304 s Remaining CPU time: 72.6963 s 107.55/107.64 c =============================================================================== 107.55/107.64 c | 10125 | 39270 246644 599661 | 82214 1602 35 | 46.089 % | 107.65/107.72 c | 10225 | 39263 246644 599661 | 90436 1702 35 | 46.421 % | 107.65/107.77 c =============================================================================== 107.65/107.77 c New solution: 223 107.65/107.77 o 223 107.65/107.77 c Elapsed CPU time: 107.44 s Remaining CPU time: 72.5603 s 107.65/107.77 c =============================================================================== 107.65/107.77 c | 10232 | 39028 246645 599961 | 82215 1709 35 | 46.421 % | 107.75/107.84 c =============================================================================== 107.75/107.84 c New solution: 222 107.75/107.84 o 222 107.75/107.84 c Elapsed CPU time: 107.506 s Remaining CPU time: 72.4943 s 107.75/107.84 c =============================================================================== 107.75/107.84 c | 10269 | 38786 246646 600261 | 82215 1746 35 | 46.421 % | 107.85/107.92 c | 10370 | 38782 246646 600261 | 90436 1847 36 | 47.085 % | 107.85/107.98 c =============================================================================== 107.85/107.98 c New solution: 221 107.85/107.98 o 221 107.85/107.98 c Elapsed CPU time: 107.645 s Remaining CPU time: 72.3554 s 107.85/107.98 c =============================================================================== 107.85/107.98 c | 10393 | 38544 246647 600561 | 82215 1870 36 | 47.085 % | 107.94/108.04 c =============================================================================== 107.94/108.04 c New solution: 220 107.94/108.04 o 220 107.94/108.04 c Elapsed CPU time: 107.705 s Remaining CPU time: 72.2954 s 107.94/108.04 c =============================================================================== 107.94/108.04 c | 10417 | 38302 246648 600861 | 82216 1164 32 | 47.085 % | 108.04/108.12 c =============================================================================== 108.04/108.12 c New solution: 219 108.04/108.12 o 219 108.04/108.12 c Elapsed CPU time: 107.782 s Remaining CPU time: 72.2184 s 108.04/108.12 c =============================================================================== 108.04/108.12 c | 10491 | 38060 246649 601161 | 82216 1238 33 | 47.085 % | 108.14/108.21 c | 10593 | 38045 246649 601161 | 90437 1340 34 | 48.082 % | 108.14/108.28 c | 10743 | 38039 246649 601161 | 99481 1490 34 | 48.082 % | 108.34/108.44 c | 10969 | 38036 246649 601161 | 109429 1716 38 | 48.082 % | 108.44/108.50 c =============================================================================== 108.44/108.50 c New solution: 218 108.44/108.50 o 218 108.44/108.50 c Elapsed CPU time: 108.161 s Remaining CPU time: 71.8394 s 108.44/108.50 c =============================================================================== 108.44/108.50 c | 10987 | 37818 246650 601461 | 82216 1734 37 | 48.082 % | 108.44/108.55 c | 11087 | 37731 246650 601461 | 90438 1834 38 | 48.414 % | 108.54/108.64 c | 11238 | 37576 246650 601461 | 99482 1677 37 | 48.414 % | 108.64/108.79 c | 11463 | 37576 246650 601461 | 109430 1902 39 | 48.414 % | 108.75/108.84 c =============================================================================== 108.75/108.84 c New solution: 217 108.75/108.84 o 217 108.75/108.84 c Elapsed CPU time: 108.505 s Remaining CPU time: 71.4955 s 108.75/108.84 c =============================================================================== 108.75/108.84 c | 11468 | 37576 246651 601761 | 82217 1907 39 | 48.414 % | 108.75/108.90 c =============================================================================== 108.75/108.90 c New solution: 216 108.75/108.90 o 216 108.75/108.90 c Elapsed CPU time: 108.553 s Remaining CPU time: 71.4465 s 108.75/108.90 c =============================================================================== 108.75/108.90 c | 11476 | 37334 246652 602061 | 82217 1915 39 | 48.414 % | 108.85/108.96 c =============================================================================== 108.85/108.96 c New solution: 215 108.85/108.96 o 215 108.85/108.96 c Elapsed CPU time: 108.613 s Remaining CPU time: 71.3865 s 108.85/108.96 c =============================================================================== 108.85/108.96 c | 11489 | 37092 246653 602361 | 82217 1928 39 | 48.414 % | 108.95/109.01 c =============================================================================== 108.95/109.01 c New solution: 214 108.95/109.01 o 214 108.95/109.01 c Elapsed CPU time: 108.67 s Remaining CPU time: 71.3295 s 108.95/109.01 c =============================================================================== 108.95/109.01 c | 11499 | 36850 246654 602661 | 82218 1938 38 | 48.414 % | 108.95/109.07 c =============================================================================== 108.95/109.07 c New solution: 213 108.95/109.07 o 213 108.95/109.07 c Elapsed CPU time: 108.722 s Remaining CPU time: 71.2775 s 108.95/109.07 c =============================================================================== 108.95/109.07 c | 11509 | 36608 246655 602961 | 82218 1948 38 | 48.414 % | 109.05/109.12 c | 11611 | 36369 246655 602961 | 90440 2050 39 | 50.076 % | 109.15/109.20 c | 11762 | 36369 246655 602961 | 99484 2201 39 | 50.076 % | 109.25/109.36 c | 11987 | 36366 246655 602961 | 109432 1767 35 | 50.076 % | 109.45/109.50 c | 12324 | 36366 246655 602961 | 120375 2104 37 | 50.076 % | 109.64/109.72 c | 12830 | 36366 246655 602961 | 132413 2610 40 | 50.076 % | 110.14/110.28 c | 13589 | 36366 246655 602961 | 145654 3369 42 | 50.076 % | 110.24/110.33 c =============================================================================== 110.24/110.33 c New solution: 212 110.24/110.33 o 212 110.24/110.33 c Elapsed CPU time: 109.98 s Remaining CPU time: 70.0197 s 110.24/110.33 c =============================================================================== 110.24/110.33 c | 13599 | 36366 246656 603261 | 82218 3379 41 | 50.076 % | 110.24/110.39 c =============================================================================== 110.24/110.39 c New solution: 211 110.24/110.39 o 211 110.24/110.39 c Elapsed CPU time: 110.042 s Remaining CPU time: 69.9577 s 110.24/110.39 c =============================================================================== 110.24/110.39 c | 13615 | 36124 246657 603561 | 82219 3267 42 | 50.076 % | 110.34/110.47 c | 13716 | 36077 246657 603561 | 90440 3368 42 | 50.740 % | 110.44/110.59 c | 13867 | 36072 246657 603561 | 99484 3519 42 | 50.740 % | 110.54/110.64 c =============================================================================== 110.54/110.64 c New solution: 210 110.54/110.64 o 210 110.54/110.64 c Elapsed CPU time: 110.292 s Remaining CPU time: 69.7078 s 110.54/110.64 c =============================================================================== 110.54/110.64 c | 13880 | 35882 246658 603861 | 82219 3532 42 | 50.740 % | 110.64/110.70 c =============================================================================== 110.64/110.70 c New solution: 209 110.64/110.70 o 209 110.64/110.70 c Elapsed CPU time: 110.345 s Remaining CPU time: 69.6548 s 110.64/110.70 c =============================================================================== 110.64/110.70 c | 13891 | 35640 246659 604161 | 82219 3543 42 | 50.740 % | 110.64/110.75 c =============================================================================== 110.64/110.75 c New solution: 208 110.64/110.75 o 208 110.64/110.75 c Elapsed CPU time: 110.399 s Remaining CPU time: 69.6008 s 110.64/110.75 c =============================================================================== 110.64/110.75 c | 13904 | 35398 246660 604461 | 82220 3556 42 | 50.740 % | 110.74/110.80 c =============================================================================== 110.74/110.80 c New solution: 207 110.74/110.80 o 207 110.74/110.80 c Elapsed CPU time: 110.451 s Remaining CPU time: 69.5488 s 110.74/110.80 c =============================================================================== 110.74/110.80 c | 13912 | 35156 246661 604761 | 82220 3564 42 | 50.740 % | 110.74/110.86 c | 14013 | 35134 246661 604761 | 90442 3665 42 | 52.069 % | 110.85/110.92 c =============================================================================== 110.85/110.92 c New solution: 206 110.85/110.92 o 206 110.85/110.92 c Elapsed CPU time: 110.562 s Remaining CPU time: 69.4378 s 110.85/110.92 c =============================================================================== 110.85/110.92 c | 14029 | 34914 246662 605061 | 82220 3681 42 | 52.069 % | 110.85/110.97 c =============================================================================== 110.85/110.97 c New solution: 205 110.85/110.97 o 205 110.85/110.97 c Elapsed CPU time: 110.61 s Remaining CPU time: 69.3898 s 110.85/110.97 c =============================================================================== 110.85/110.97 c | 14035 | 34672 246663 605361 | 82221 3687 42 | 52.069 % | 110.95/111.02 c =============================================================================== 110.95/111.02 c New solution: 204 110.95/111.02 o 204 110.95/111.02 c Elapsed CPU time: 110.667 s Remaining CPU time: 69.3328 s 110.95/111.02 c =============================================================================== 110.95/111.02 c | 14045 | 34430 246664 605661 | 82221 3697 42 | 52.069 % | 110.95/111.07 c =============================================================================== 110.95/111.07 c New solution: 203 110.95/111.07 o 203 110.95/111.07 c Elapsed CPU time: 110.716 s Remaining CPU time: 69.2838 s 110.95/111.07 c =============================================================================== 110.95/111.07 c | 14051 | 34188 246665 605961 | 82221 3703 42 | 52.069 % | 111.05/111.13 c | 14151 | 34182 246665 605961 | 90443 3803 42 | 53.398 % | 111.14/111.25 c | 14301 | 33946 246665 605961 | 99488 2279 40 | 53.398 % | 111.14/111.30 c =============================================================================== 111.14/111.30 c New solution: 202 111.14/111.30 o 202 111.14/111.30 c Elapsed CPU time: 110.937 s Remaining CPU time: 69.0629 s 111.14/111.30 c =============================================================================== 111.14/111.30 c | 14312 | 33946 246666 606261 | 82222 2290 40 | 53.398 % | 111.24/111.35 c | 14414 | 33911 246666 606261 | 90444 2392 40 | 53.730 % | 111.34/111.44 c | 14564 | 33905 246666 606261 | 99488 2542 40 | 53.730 % | 111.34/111.50 c =============================================================================== 111.34/111.50 c New solution: 201 111.34/111.50 o 201 111.34/111.50 c Elapsed CPU time: 111.134 s Remaining CPU time: 68.8659 s 111.34/111.50 c =============================================================================== 111.34/111.50 c | 14591 | 33704 246667 606561 | 82222 2569 40 | 53.730 % | 111.44/111.57 c | 14691 | 33670 246667 606561 | 90444 2669 40 | 54.062 % | 111.54/111.68 c | 14841 | 33669 246667 606561 | 99489 2819 41 | 54.062 % | 111.64/111.74 c =============================================================================== 111.64/111.74 c New solution: 200 111.64/111.74 o 200 111.64/111.74 c Elapsed CPU time: 111.379 s Remaining CPU time: 68.6209 s 111.64/111.74 c =============================================================================== 111.64/111.74 c | 14880 | 33462 246668 606861 | 82222 2858 41 | 54.062 % | 111.64/111.79 c =============================================================================== 111.64/111.79 c New solution: 199 111.64/111.79 o 199 111.64/111.79 c Elapsed CPU time: 111.427 s Remaining CPU time: 68.5729 s 111.64/111.79 c =============================================================================== 111.64/111.79 c | 14888 | 33220 246669 607161 | 82223 2866 41 | 54.062 % | 111.75/111.85 c =============================================================================== 111.75/111.85 c New solution: 198 111.75/111.85 o 198 111.75/111.85 c Elapsed CPU time: 111.488 s Remaining CPU time: 68.5119 s 111.75/111.85 c =============================================================================== 111.75/111.85 c | 14924 | 32978 246670 607461 | 82223 2902 41 | 54.062 % | 111.85/111.93 c | 15025 | 32736 246670 607461 | 90445 2153 35 | 55.059 % | 111.95/112.02 c | 15176 | 32736 246670 607461 | 99490 2304 35 | 55.059 % | 111.95/112.07 c =============================================================================== 111.95/112.07 c New solution: 197 111.95/112.07 o 197 111.95/112.07 c Elapsed CPU time: 111.705 s Remaining CPU time: 68.295 s 111.95/112.07 c =============================================================================== 111.95/112.07 c | 15196 | 32736 246671 607761 | 82223 2324 35 | 55.059 % | 112.05/112.13 c =============================================================================== 112.05/112.13 c New solution: 196 112.05/112.13 o 196 112.05/112.13 c Elapsed CPU time: 111.758 s Remaining CPU time: 68.242 s 112.05/112.13 c =============================================================================== 112.05/112.13 c | 15213 | 32494 246672 608061 | 82224 2341 35 | 55.059 % | 112.05/112.18 c =============================================================================== 112.05/112.18 c New solution: 195 112.05/112.18 o 195 112.05/112.18 c Elapsed CPU time: 111.809 s Remaining CPU time: 68.191 s 112.05/112.18 c =============================================================================== 112.05/112.18 c | 15228 | 32252 246673 608361 | 82224 2356 34 | 55.059 % | 112.15/112.28 c | 15328 | 32241 246673 608361 | 90446 2456 35 | 56.056 % | 112.24/112.34 c =============================================================================== 112.24/112.34 c New solution: 194 112.24/112.34 o 194 112.24/112.34 c Elapsed CPU time: 111.966 s Remaining CPU time: 68.034 s 112.24/112.34 c =============================================================================== 112.24/112.34 c | 15363 | 32010 246674 608661 | 82224 2491 35 | 56.056 % | 112.34/112.44 c | 15463 | 31999 246674 608661 | 90447 2591 37 | 56.388 % | 112.44/112.51 c | 15614 | 31971 246674 608661 | 99491 2742 37 | 56.388 % | 112.54/112.62 c | 15839 | 31768 246674 608661 | 109441 2320 37 | 56.388 % | 112.54/112.67 c =============================================================================== 112.54/112.67 c New solution: 193 112.54/112.67 o 193 112.54/112.67 c Elapsed CPU time: 112.301 s Remaining CPU time: 67.6991 s 112.54/112.67 c =============================================================================== 112.54/112.67 c | 15857 | 31768 246675 608961 | 82225 2338 37 | 56.388 % | 112.64/112.73 c =============================================================================== 112.64/112.73 c New solution: 192 112.64/112.73 o 192 112.64/112.73 c Elapsed CPU time: 112.356 s Remaining CPU time: 67.6441 s 112.64/112.73 c =============================================================================== 112.64/112.73 c | 15879 | 31526 246676 609261 | 82225 2360 37 | 56.388 % | 112.64/112.79 c | 15979 | 31479 246676 609261 | 90447 2460 37 | 57.052 % | 112.85/112.90 c | 16133 | 31478 246676 609261 | 99492 2614 38 | 57.052 % | 112.85/112.96 c =============================================================================== 112.85/112.96 c New solution: 191 112.85/112.96 o 191 112.85/112.96 c Elapsed CPU time: 112.586 s Remaining CPU time: 67.4141 s 112.85/112.96 c =============================================================================== 112.85/112.96 c | 16150 | 31284 246677 609561 | 82225 2631 38 | 57.052 % | 112.95/113.03 c =============================================================================== 112.95/113.03 c New solution: 190 112.95/113.03 o 190 112.95/113.03 c Elapsed CPU time: 112.658 s Remaining CPU time: 67.3421 s 112.95/113.03 c =============================================================================== 112.95/113.03 c | 16228 | 31042 246678 609861 | 82226 2709 38 | 57.052 % | 113.05/113.11 c | 16328 | 31032 246678 609861 | 90448 2809 38 | 57.717 % | 113.05/113.19 c | 16478 | 31000 246678 609861 | 99493 2959 39 | 57.717 % | 113.15/113.30 c | 16703 | 30800 246678 609861 | 109442 2674 38 | 57.717 % | 113.44/113.58 c | 17040 | 30800 246678 609861 | 120387 3011 39 | 57.717 % | 113.54/113.63 c =============================================================================== 113.54/113.63 c New solution: 189 113.54/113.63 o 189 113.54/113.63 c Elapsed CPU time: 113.255 s Remaining CPU time: 66.7452 s 113.54/113.63 c =============================================================================== 113.54/113.63 c | 17050 | 30800 246679 610161 | 82226 3021 39 | 57.717 % | 113.54/113.69 c =============================================================================== 113.54/113.69 c New solution: 188 113.54/113.69 o 188 113.54/113.69 c Elapsed CPU time: 113.309 s Remaining CPU time: 66.6912 s 113.54/113.69 c =============================================================================== 113.54/113.69 c | 17072 | 30558 246680 610461 | 82226 3043 39 | 57.717 % | 113.64/113.76 c | 17172 | 30530 246680 610461 | 90449 3143 39 | 58.381 % | 113.84/113.90 c | 17323 | 30527 246680 610461 | 99494 3294 39 | 58.381 % | 113.94/114.02 c | 17548 | 30316 246680 610461 | 109443 2880 39 | 58.381 % | 114.04/114.17 c | 17885 | 30316 246680 610461 | 120388 3217 40 | 58.381 % | 114.44/114.51 c | 18392 | 30316 246680 610461 | 132426 3724 41 | 58.381 % | 114.44/114.56 c =============================================================================== 114.44/114.56 c New solution: 187 114.44/114.56 o 187 114.44/114.56 c Elapsed CPU time: 114.175 s Remaining CPU time: 65.8254 s 114.44/114.56 c =============================================================================== 114.44/114.56 c | 18407 | 30316 246681 610761 | 82227 3739 41 | 58.381 % | 114.54/114.61 c =============================================================================== 114.54/114.61 c New solution: 186 114.54/114.61 o 186 114.54/114.61 c Elapsed CPU time: 114.227 s Remaining CPU time: 65.7734 s 114.54/114.61 c =============================================================================== 114.54/114.61 c | 18425 | 30074 246682 611061 | 82227 3757 41 | 58.381 % | 114.54/114.66 c | 18525 | 30063 246682 611061 | 90450 3857 41 | 59.046 % | 114.75/114.81 c | 18675 | 29832 246682 611061 | 99495 3066 41 | 59.046 % | 114.75/114.86 c =============================================================================== 114.75/114.86 c New solution: 185 114.75/114.86 o 185 114.75/114.86 c Elapsed CPU time: 114.474 s Remaining CPU time: 65.5264 s 114.75/114.86 c =============================================================================== 114.75/114.86 c | 18689 | 29832 246683 611361 | 82227 3080 40 | 59.046 % | 114.84/114.94 c =============================================================================== 114.84/114.94 c New solution: 184 114.84/114.94 o 184 114.84/114.94 c Elapsed CPU time: 114.547 s Remaining CPU time: 65.4534 s 114.84/114.94 c =============================================================================== 114.84/114.94 c | 18756 | 29590 246684 611661 | 82228 3147 41 | 59.046 % | 114.94/115.02 c | 18856 | 29584 246684 611661 | 90450 3247 41 | 59.710 % | 115.04/115.10 c | 19006 | 29530 246684 611661 | 99495 3397 41 | 59.710 % | 115.14/115.21 c | 19232 | 29529 246684 611661 | 109445 3623 41 | 59.710 % | 115.45/115.54 c | 19569 | 29527 246684 611661 | 120390 3960 41 | 59.710 % | 115.45/115.59 c =============================================================================== 115.45/115.59 c New solution: 183 115.45/115.59 o 183 115.45/115.59 c Elapsed CPU time: 115.196 s Remaining CPU time: 64.8035 s 115.45/115.59 c =============================================================================== 115.45/115.59 c | 19578 | 29348 246685 611961 | 82228 3538 42 | 59.710 % | 115.54/115.64 c =============================================================================== 115.54/115.64 c New solution: 182 115.54/115.64 o 182 115.54/115.64 c Elapsed CPU time: 115.243 s Remaining CPU time: 64.7565 s 115.54/115.64 c =============================================================================== 115.54/115.64 c | 19581 | 29106 246686 612261 | 82228 3541 42 | 59.710 % | 115.54/115.69 c =============================================================================== 115.54/115.69 c New solution: 181 115.54/115.69 o 181 115.54/115.69 c Elapsed CPU time: 115.29 s Remaining CPU time: 64.7095 s 115.54/115.69 c =============================================================================== 115.54/115.69 c | 19585 | 28864 246687 612561 | 82229 3545 42 | 59.710 % | 115.64/115.74 c =============================================================================== 115.64/115.74 c New solution: 180 115.64/115.74 o 180 115.64/115.74 c Elapsed CPU time: 115.342 s Remaining CPU time: 64.6575 s 115.64/115.74 c =============================================================================== 115.64/115.74 c | 19600 | 28622 246688 612861 | 82229 3560 42 | 59.710 % | 115.64/115.79 c | 19700 | 28608 246688 612861 | 90452 3660 42 | 61.039 % | 115.74/115.87 c =============================================================================== 115.74/115.87 c New solution: 179 115.74/115.87 o 179 115.74/115.87 c Elapsed CPU time: 115.473 s Remaining CPU time: 64.5266 s 115.74/115.87 c =============================================================================== 115.74/115.87 c | 19739 | 28380 246689 613161 | 82229 3699 42 | 61.039 % | 115.84/115.95 c =============================================================================== 115.84/115.95 c New solution: 178 115.84/115.95 o 178 115.84/115.95 c Elapsed CPU time: 115.551 s Remaining CPU time: 64.4486 s 115.84/115.95 c =============================================================================== 115.84/115.95 c | 19836 | 28138 246690 613461 | 82230 3796 42 | 61.039 % | 115.94/116.05 c | 19937 | 28131 246690 613461 | 90453 3897 42 | 61.703 % | 116.04/116.10 c =============================================================================== 116.04/116.10 c New solution: 177 116.04/116.10 o 177 116.04/116.10 c Elapsed CPU time: 115.698 s Remaining CPU time: 64.3016 s 116.04/116.10 c =============================================================================== 116.04/116.10 c | 19963 | 27896 246691 613761 | 82230 3923 42 | 61.703 % | 116.04/116.18 c | 20065 | 27887 246691 613761 | 90453 4025 42 | 62.036 % | 116.14/116.27 c =============================================================================== 116.14/116.27 c New solution: 176 116.14/116.27 o 176 116.14/116.27 c Elapsed CPU time: 115.865 s Remaining CPU time: 64.1346 s 116.14/116.27 c =============================================================================== 116.14/116.27 c | 20125 | 27654 246692 614061 | 82230 4085 42 | 62.036 % | 116.24/116.32 c =============================================================================== 116.24/116.32 c New solution: 175 116.24/116.32 o 175 116.24/116.32 c Elapsed CPU time: 115.913 s Remaining CPU time: 64.0866 s 116.24/116.32 c =============================================================================== 116.24/116.32 c | 20134 | 27412 246693 614361 | 82231 4094 42 | 62.036 % | 116.24/116.37 c =============================================================================== 116.24/116.37 c New solution: 174 116.24/116.37 o 174 116.24/116.37 c Elapsed CPU time: 115.962 s Remaining CPU time: 64.0376 s 116.24/116.37 c =============================================================================== 116.24/116.37 c | 20146 | 27170 246694 614661 | 82231 4106 42 | 62.036 % | 116.34/116.42 c =============================================================================== 116.34/116.42 c New solution: 173 116.34/116.42 o 173 116.34/116.42 c Elapsed CPU time: 116.018 s Remaining CPU time: 63.9816 s 116.34/116.42 c =============================================================================== 116.34/116.42 c | 20171 | 26928 246695 614961 | 82231 4131 42 | 62.036 % | 116.34/116.49 c | 20271 | 26924 246695 614961 | 90454 4231 42 | 63.365 % | 116.45/116.60 c | 20421 | 26686 246695 614961 | 99500 2518 37 | 63.365 % | 116.55/116.65 c =============================================================================== 116.55/116.65 c New solution: 172 116.55/116.65 o 172 116.55/116.65 c Elapsed CPU time: 116.242 s Remaining CPU time: 63.7577 s 116.55/116.65 c =============================================================================== 116.55/116.65 c | 20432 | 26686 246696 615261 | 82232 2529 37 | 63.365 % | 116.55/116.69 c =============================================================================== 116.55/116.69 c New solution: 171 116.55/116.69 o 171 116.55/116.69 c Elapsed CPU time: 116.286 s Remaining CPU time: 63.7137 s 116.55/116.69 c =============================================================================== 116.55/116.69 c | 20435 | 26444 246697 615561 | 82232 2532 37 | 63.365 % | 116.64/116.74 c =============================================================================== 116.64/116.74 c New solution: 170 116.64/116.74 o 170 116.64/116.74 c Elapsed CPU time: 116.332 s Remaining CPU time: 63.6677 s 116.64/116.74 c =============================================================================== 116.64/116.74 c | 20442 | 26202 246698 615861 | 82232 2539 37 | 63.365 % | 116.74/116.82 c =============================================================================== 116.74/116.82 c New solution: 169 116.74/116.82 o 169 116.74/116.82 c Elapsed CPU time: 116.406 s Remaining CPU time: 63.5937 s 116.74/116.82 c =============================================================================== 116.74/116.82 c | 20501 | 25960 246699 616161 | 82233 2598 37 | 63.365 % | 116.84/116.90 c | 20601 | 25922 246699 616161 | 90456 2698 37 | 64.693 % | 116.84/116.97 c | 20752 | 25921 246699 616161 | 99501 2849 37 | 64.693 % | 117.14/117.20 c | 20978 | 25917 246699 616161 | 109452 3075 38 | 64.693 % | 117.14/117.25 c =============================================================================== 117.14/117.25 c New solution: 168 117.14/117.25 o 168 117.14/117.25 c Elapsed CPU time: 116.834 s Remaining CPU time: 63.1658 s 117.14/117.25 c =============================================================================== 117.14/117.25 c | 20986 | 25718 246700 616461 | 82233 3083 38 | 64.693 % | 117.24/117.30 c =============================================================================== 117.24/117.30 c New solution: 167 117.24/117.30 o 167 117.24/117.30 c Elapsed CPU time: 116.889 s Remaining CPU time: 63.1108 s 117.24/117.30 c =============================================================================== 117.24/117.30 c | 21022 | 25476 246701 616761 | 82233 3119 38 | 64.693 % | 117.24/117.35 c | 21122 | 25433 246701 616761 | 90457 3219 38 | 65.358 % | 117.35/117.49 c | 21272 | 25234 246701 616761 | 99502 2374 39 | 65.358 % | 117.45/117.58 c | 21498 | 25234 246701 616761 | 109453 2600 39 | 65.358 % | 117.74/117.86 c | 21835 | 25234 246701 616761 | 120398 2937 41 | 65.358 % | 117.84/117.91 c =============================================================================== 117.84/117.91 c New solution: 166 117.84/117.91 o 166 117.84/117.91 c Elapsed CPU time: 117.489 s Remaining CPU time: 62.5109 s 117.84/117.91 c =============================================================================== 117.84/117.91 c | 21847 | 25234 246702 617061 | 82234 2949 40 | 65.358 % | 117.84/117.97 c | 21947 | 25225 246702 617061 | 90457 3049 41 | 65.690 % | 118.04/118.10 c | 22097 | 25217 246702 617061 | 99503 3199 41 | 65.690 % | 118.04/118.18 c =============================================================================== 118.04/118.18 c New solution: 165 118.04/118.18 o 165 118.04/118.18 c Elapsed CPU time: 117.763 s Remaining CPU time: 62.2369 s 118.04/118.18 c =============================================================================== 118.04/118.18 c | 22158 | 24992 246703 617361 | 82234 2896 39 | 65.690 % | 118.14/118.23 c =============================================================================== 118.14/118.23 c New solution: 164 118.14/118.23 o 164 118.14/118.23 c Elapsed CPU time: 117.813 s Remaining CPU time: 62.1869 s 118.14/118.23 c =============================================================================== 118.14/118.23 c | 22172 | 24750 246704 617661 | 82234 2910 39 | 65.690 % | 118.24/118.32 c =============================================================================== 118.24/118.32 c New solution: 163 118.24/118.32 o 163 118.24/118.32 c Elapsed CPU time: 117.895 s Remaining CPU time: 62.1049 s 118.24/118.32 c =============================================================================== 118.24/118.32 c | 22244 | 24508 246705 617961 | 82235 2982 39 | 65.690 % | 118.24/118.36 c | 22344 | 24506 246705 617961 | 90458 3082 39 | 66.687 % | 118.34/118.44 c =============================================================================== 118.34/118.44 c New solution: 162 118.34/118.44 o 162 118.34/118.44 c Elapsed CPU time: 118.017 s Remaining CPU time: 61.9829 s 118.34/118.44 c =============================================================================== 118.34/118.44 c | 22408 | 24266 246706 618261 | 82235 3146 39 | 66.687 % | 118.34/118.49 c =============================================================================== 118.34/118.49 c New solution: 161 118.34/118.49 o 161 118.34/118.49 c Elapsed CPU time: 118.07 s Remaining CPU time: 61.93 s 118.34/118.49 c =============================================================================== 118.34/118.49 c | 22429 | 24024 246707 618561 | 82235 3167 39 | 66.687 % | 118.44/118.55 c | 22529 | 23993 246707 618561 | 90459 3267 39 | 67.351 % | 118.54/118.65 c | 22679 | 23992 246707 618561 | 99505 3417 39 | 67.351 % | 118.65/118.71 c =============================================================================== 118.65/118.71 c New solution: 160 118.65/118.71 o 160 118.65/118.71 c Elapsed CPU time: 118.288 s Remaining CPU time: 61.712 s 118.65/118.71 c =============================================================================== 118.65/118.71 c | 22721 | 23782 246708 618861 | 82236 3459 39 | 67.351 % | 118.65/118.78 c | 22821 | 23779 246708 618861 | 90459 3559 39 | 67.683 % | 118.75/118.83 c =============================================================================== 118.75/118.83 c New solution: 159 118.75/118.83 o 159 118.75/118.83 c Elapsed CPU time: 118.399 s Remaining CPU time: 61.601 s 118.75/118.83 c =============================================================================== 118.75/118.83 c | 22829 | 23540 246709 619161 | 82236 3567 39 | 67.683 % | 118.75/118.87 c =============================================================================== 118.75/118.87 c New solution: 158 118.75/118.87 o 158 118.75/118.87 c Elapsed CPU time: 118.445 s Remaining CPU time: 61.555 s 118.75/118.87 c =============================================================================== 118.75/118.87 c | 22839 | 23298 246710 619461 | 82236 3577 39 | 67.683 % | 118.85/118.93 c | 22939 | 23289 246710 619461 | 90460 3677 39 | 68.348 % | 118.94/119.02 c | 23089 | 23056 246710 619461 | 99506 2308 39 | 68.348 % | 118.94/119.07 c =============================================================================== 118.94/119.07 c New solution: 157 118.94/119.07 o 157 118.94/119.07 c Elapsed CPU time: 118.64 s Remaining CPU time: 61.36 s 118.94/119.07 c =============================================================================== 118.94/119.07 c | 23097 | 23056 246711 619761 | 82237 2316 39 | 68.348 % | 119.04/119.11 c =============================================================================== 119.04/119.11 c New solution: 156 119.04/119.11 o 156 119.04/119.11 c Elapsed CPU time: 118.686 s Remaining CPU time: 61.314 s 119.04/119.11 c =============================================================================== 119.04/119.11 c | 23112 | 22814 246712 620061 | 82237 2331 39 | 68.348 % | 119.04/119.17 c | 23212 | 22741 246712 620061 | 90461 2431 39 | 69.012 % | 119.14/119.24 c | 23363 | 22741 246712 620061 | 99507 2582 40 | 69.012 % | 119.34/119.43 c | 23589 | 22739 246712 620061 | 109457 2808 40 | 69.012 % | 119.34/119.49 c =============================================================================== 119.34/119.49 c New solution: 155 119.34/119.49 o 155 119.34/119.49 c Elapsed CPU time: 119.062 s Remaining CPU time: 60.9381 s 119.34/119.49 c =============================================================================== 119.34/119.49 c | 23626 | 22572 246713 620361 | 82237 2845 40 | 69.012 % | 119.44/119.54 c =============================================================================== 119.44/119.54 c New solution: 154 119.44/119.54 o 154 119.44/119.54 c Elapsed CPU time: 119.112 s Remaining CPU time: 60.8881 s 119.44/119.54 c =============================================================================== 119.44/119.54 c | 23644 | 22330 246714 620661 | 82238 2863 40 | 69.012 % | 119.54/119.60 c | 23744 | 22266 246714 620661 | 90461 2963 40 | 69.677 % | 119.64/119.71 c | 23895 | 22263 246714 620661 | 99507 3114 40 | 69.677 % | 119.75/119.81 c =============================================================================== 119.75/119.81 c New solution: 153 119.75/119.81 o 153 119.75/119.81 c Elapsed CPU time: 119.375 s Remaining CPU time: 60.6251 s 119.75/119.81 c =============================================================================== 119.75/119.81 c | 23962 | 22088 246715 620961 | 82238 2365 38 | 69.677 % | 119.75/119.87 c | 24062 | 22073 246715 620961 | 90462 2465 38 | 70.009 % | 119.85/119.97 c =============================================================================== 119.85/119.97 c New solution: 152 119.85/119.97 o 152 119.85/119.97 c Elapsed CPU time: 119.537 s Remaining CPU time: 60.4632 s 119.85/119.97 c =============================================================================== 119.85/119.97 c | 24144 | 21846 246716 621261 | 82238 2547 38 | 70.009 % | 119.94/120.03 c | 24244 | 21815 246716 621261 | 90462 2647 39 | 70.341 % | 120.04/120.20 c | 24395 | 21808 246716 621261 | 99508 2798 39 | 70.341 % | 120.25/120.30 c | 24620 | 21801 246716 621261 | 109459 3023 40 | 70.341 % | 120.34/120.43 c | 24957 | 21799 246716 621261 | 120405 3360 40 | 70.341 % | 120.64/120.77 c | 25463 | 21604 246716 621261 | 132446 3454 40 | 70.341 % | 120.74/120.82 c =============================================================================== 120.74/120.82 c New solution: 151 120.74/120.82 o 151 120.74/120.82 c Elapsed CPU time: 120.379 s Remaining CPU time: 59.6213 s 120.74/120.82 c =============================================================================== 120.74/120.82 c | 25504 | 21604 246717 621561 | 82239 3495 40 | 70.341 % | 120.74/120.87 c | 25605 | 21554 246717 621561 | 90462 3596 40 | 70.674 % | 120.85/120.97 c | 25755 | 21552 246717 621561 | 99509 3746 40 | 70.674 % | 120.95/121.07 c | 25980 | 21547 246717 621561 | 109460 3971 40 | 70.674 % | 121.14/121.22 c | 26317 | 21547 246717 621561 | 120406 4308 41 | 70.674 % | 121.54/121.64 c | 26824 | 21362 246717 621561 | 132446 4646 41 | 70.674 % | 121.84/121.92 c | 27587 | 21362 246717 621561 | 145691 5409 41 | 70.674 % | 122.34/122.41 c | 28728 | 21362 246717 621561 | 160260 6550 43 | 70.674 % | 123.64/123.71 c | 30436 | 21362 246717 621561 | 176286 8258 46 | 70.674 % | 124.74/124.87 c | 32998 | 21362 246717 621561 | 193915 10820 49 | 70.674 % | 128.65/128.79 c | 36842 | 21362 246717 621561 | 213306 14664 53 | 70.674 % | 135.44/135.53 c | 42609 | 21362 246717 621561 | 234637 20431 66 | 70.674 % | 135.44/135.59 c =============================================================================== 135.44/135.59 c New solution: 150 135.44/135.59 o 150 135.44/135.59 c Elapsed CPU time: 135.095 s Remaining CPU time: 44.9045 s 135.44/135.59 c =============================================================================== 135.44/135.59 c | 42622 | 21362 246718 621861 | 82239 20444 66 | 70.674 % | 135.53/135.68 c | 42722 | 21120 246718 621861 | 90463 18801 63 | 71.006 % | 135.63/135.74 c | 42872 | 21120 246718 621861 | 99509 18951 63 | 71.006 % | 135.73/135.90 c | 43098 | 21120 246718 621861 | 109460 19177 62 | 71.006 % | 135.83/135.96 c =============================================================================== 135.83/135.96 c New solution: 149 135.83/135.96 o 149 135.83/135.96 c Elapsed CPU time: 135.456 s Remaining CPU time: 44.5436 s 135.83/135.96 c =============================================================================== 135.83/135.96 c | 43118 | 21120 246719 622161 | 82239 19197 62 | 71.006 % | 135.94/136.01 c | 43219 | 21088 246719 622161 | 90463 19298 62 | 71.338 % | 136.04/136.15 c | 43372 | 21083 246719 622161 | 99509 19451 62 | 71.338 % | 136.14/136.27 c =============================================================================== 136.14/136.27 c New solution: 148 136.14/136.27 o 148 136.14/136.27 c Elapsed CPU time: 135.772 s Remaining CPU time: 44.2276 s 136.14/136.27 c =============================================================================== 136.14/136.27 c | 43547 | 20878 246720 622461 | 82240 19626 62 | 71.338 % | 136.25/136.37 c | 43649 | 20873 246720 622461 | 90464 19728 62 | 71.670 % | 136.35/136.44 c | 43799 | 20830 246720 622461 | 99510 19878 62 | 71.670 % | 136.44/136.54 c | 44024 | 20830 246720 622461 | 109461 20103 62 | 71.670 % | 136.74/136.85 c | 44362 | 20829 246720 622461 | 120407 20441 61 | 71.670 % | 136.94/137.09 c | 44869 | 20824 246720 622461 | 132448 20948 61 | 71.670 % | 137.64/137.76 c | 45629 | 20820 246720 622461 | 145693 21708 61 | 71.670 % | 138.83/138.93 c | 46769 | 20636 246720 622461 | 160262 16948 48 | 71.670 % | 138.94/139.04 c =============================================================================== 138.94/139.04 c New solution: 147 138.94/139.04 o 147 138.94/139.04 c Elapsed CPU time: 138.522 s Remaining CPU time: 41.4781 s 138.94/139.04 c =============================================================================== 138.94/139.04 c | 46881 | 20636 246721 622761 | 82240 17060 47 | 71.670 % | 138.94/139.09 c | 46981 | 20549 246721 622761 | 90464 17160 47 | 72.002 % | 139.13/139.23 c | 47131 | 20549 246721 622761 | 99510 17310 47 | 72.002 % | 139.23/139.32 c | 47356 | 20545 246721 622761 | 109461 17535 47 | 72.002 % | 139.43/139.56 c | 47694 | 20545 246721 622761 | 120408 17873 47 | 72.002 % | 139.64/139.76 c | 48202 | 20394 246721 622761 | 132448 16737 45 | 72.002 % | 139.94/140.09 c | 48961 | 20394 246721 622761 | 145693 17496 45 | 72.002 % | 141.03/141.15 c | 50100 | 20394 246721 622761 | 160263 18635 46 | 72.002 % | 141.33/141.45 c =============================================================================== 141.33/141.45 c New solution: 146 141.33/141.45 o 146 141.33/141.45 c Elapsed CPU time: 140.918 s Remaining CPU time: 39.0824 s 141.33/141.45 c =============================================================================== 141.33/141.45 c | 50640 | 20394 246722 623061 | 82240 19175 46 | 72.002 % | 141.44/141.55 c | 50740 | 20152 246722 623061 | 90464 17544 45 | 72.335 % | 141.64/141.71 c | 50890 | 20152 246722 623061 | 99511 17694 45 | 72.335 % | 141.74/141.81 c | 51115 | 20152 246722 623061 | 109462 17919 45 | 72.335 % | 141.84/141.98 c | 51452 | 20152 246722 623061 | 120408 18256 44 | 72.335 % | 142.33/142.46 c | 51958 | 20152 246722 623061 | 132449 18762 45 | 72.335 % | 142.63/142.79 c | 52717 | 20152 246722 623061 | 145694 19521 45 | 72.335 % | 143.24/143.35 c | 53856 | 20152 246722 623061 | 160263 20660 46 | 72.335 % | 144.84/144.93 c | 55564 | 20152 246722 623061 | 176290 22368 47 | 72.335 % | 146.63/146.78 c | 58127 | 20152 246722 623061 | 193919 24931 48 | 72.335 % | 150.64/150.74 c | 61971 | 20152 246722 623061 | 213311 28775 52 | 72.335 % | 153.43/153.52 c | 67737 | 20152 246722 623061 | 234642 34541 53 | 72.335 % | 163.13/163.27 c | 76386 | 20152 246722 623061 | 258106 43190 57 | 72.335 % | 168.72/168.89 c | 89360 | 20152 246722 623061 | 283917 56164 55 | 72.335 % | 180.62/180.70 c There are 52690 assigned variables. 234 in cost function. 181.23/181.39 c core #1 181.23/181.39 c 181.23/181.39 c 181.23/181.39 c Core size: 131 Core Weight: 80 Total Weight: 80 181.23/181.39 c 181.23/181.39 c 181.23/181.39 c core #2 181.23/181.39 c 181.23/181.39 c 181.23/181.39 c Core size: 343 Core Weight: 1 Total Weight: 81 181.23/181.39 c 181.23/181.39 c 181.23/181.39 c ============================[ Search Statistics ]============================== 181.23/181.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.23/181.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.23/181.39 c =============================================================================== 181.23/181.39 c | 0 | 4650 113841 154303 | 37947 0 nan | 0.000 % | 181.33/181.41 c =============================================================================== 181.43/181.59 c core #3 181.43/181.59 c 181.43/181.59 c 181.43/181.59 c Core size: 363 Core Weight: 1 Total Weight: 82 181.43/181.59 c 181.43/181.59 c 181.43/181.59 c ============================[ Search Statistics ]============================== 181.43/181.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.43/181.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.43/181.59 c =============================================================================== 181.43/181.59 c | 0 | 5101 113905 160266 | 37968 0 nan | 0.000 % | 181.52/181.65 c | 100 | 5094 113905 160266 | 41765 100 25 | 93.381 % | 181.52/181.67 c =============================================================================== 181.72/181.85 c core #4 181.72/181.85 c 181.72/181.85 c 181.72/181.85 c Core size: 362 Core Weight: 1 Total Weight: 83 181.72/181.85 c 181.72/181.85 c 181.72/181.85 c ============================[ Search Statistics ]============================== 181.72/181.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.85 c =============================================================================== 181.72/181.85 c | 0 | 5406 113968 164578 | 37989 0 nan | 0.000 % | 181.82/181.91 c | 100 | 5406 113968 164578 | 41788 100 23 | 92.605 % | 181.82/181.98 c | 253 | 5406 113968 164578 | 45967 253 24 | 92.605 % | 181.92/182.09 c =============================================================================== 182.13/182.27 c core #5 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c Core size: 483 Core Weight: 1 Total Weight: 84 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c ============================[ Search Statistics ]============================== 182.13/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.27 c =============================================================================== 182.13/182.27 c | 0 | 5710 114030 165122 | 38010 0 nan | 0.000 % | 182.23/182.32 c | 101 | 5710 114030 165122 | 41811 101 22 | 92.195 % | 182.32/182.40 c | 253 | 5710 114030 165122 | 45992 253 25 | 92.195 % | 182.43/182.51 c | 478 | 5710 114030 165122 | 50591 478 28 | 92.195 % | 182.53/182.68 c | 815 | 5710 114030 165122 | 55650 815 30 | 92.195 % | 182.82/182.94 c | 1322 | 5632 114030 165122 | 61215 867 26 | 92.302 % | 183.33/183.40 c | 2083 | 5452 114030 165122 | 67337 1245 30 | 92.753 % | 183.33/183.41 c =============================================================================== 183.43/183.59 c core #6 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 434 Core Weight: 1 Total Weight: 85 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c ============================[ Search Statistics ]============================== 183.43/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.59 c =============================================================================== 183.43/183.59 c | 0 | 6013 114092 165669 | 38030 0 nan | 0.000 % | 183.53/183.66 c | 100 | 6013 114092 165669 | 41833 100 25 | 91.788 % | 183.63/183.72 c | 250 | 6013 114092 165669 | 46017 250 29 | 91.788 % | 183.73/183.83 c | 475 | 6013 114092 165669 | 50618 475 31 | 91.788 % | 183.83/183.98 c | 813 | 6008 114092 165669 | 55680 765 30 | 91.795 % | 184.12/184.21 c | 1319 | 6008 114092 165669 | 61248 1271 33 | 91.795 % | 184.42/184.59 c | 2080 | 6008 114092 165669 | 67373 2032 36 | 91.795 % | 185.12/185.21 c | 3219 | 6000 114092 165669 | 74111 2726 37 | 91.806 % | 186.12/186.26 c | 4928 | 5932 114092 165669 | 81522 3315 35 | 91.899 % | 187.93/188.03 c | 7490 | 5922 114092 165669 | 89674 5378 39 | 91.912 % | 190.42/190.59 c =============================================================================== 190.62/190.77 c core #7 190.62/190.77 c 190.62/190.77 c 190.62/190.77 c Core size: 645 Core Weight: 1 Total Weight: 86 190.62/190.77 c 190.62/190.77 c 190.62/190.77 c ============================[ Search Statistics ]============================== 190.62/190.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.62/190.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.62/190.77 c =============================================================================== 190.62/190.77 c | 0 | 6315 114156 166224 | 38052 0 nan | 0.000 % | 190.72/190.83 c | 100 | 6315 114156 166224 | 41857 100 25 | 91.383 % | 190.82/190.90 c | 251 | 6315 114156 166224 | 46042 251 32 | 91.383 % | 190.92/191.00 c | 477 | 6315 114156 166224 | 50647 477 30 | 91.383 % | 191.02/191.16 c | 814 | 6313 114156 166224 | 55711 813 31 | 91.385 % | 191.23/191.37 c | 1320 | 6313 114156 166224 | 61283 1319 33 | 91.385 % | 191.61/191.76 c | 2081 | 6313 114156 166224 | 67411 2080 37 | 91.385 % | 192.22/192.34 c | 3220 | 6313 114156 166224 | 74152 3219 38 | 91.385 % | 193.22/193.32 c | 4928 | 6313 114156 166224 | 81567 4927 42 | 91.385 % | 194.82/194.93 c | 7490 | 6313 114156 166224 | 89724 7489 43 | 91.385 % | 197.52/197.60 c | 11334 | 6313 114156 166224 | 98697 11333 44 | 91.385 % | 202.22/202.32 c | 17101 | 6313 114156 166224 | 108566 17100 46 | 91.385 % | 210.41/210.50 c | 25750 | 6309 114156 166224 | 119423 24006 49 | 91.391 % | 224.71/224.83 c | 38725 | 6279 114156 166224 | 131365 26571 47 | 91.432 % | 249.20/249.37 c | 58187 | 6154 114156 166224 | 144502 27026 46 | 91.602 % | 255.90/256.00 c =============================================================================== 256.11/256.23 c core #8 256.11/256.23 c 256.11/256.23 c 256.11/256.23 c Core size: 651 Core Weight: 1 Total Weight: 87 256.11/256.23 c 256.11/256.23 c 256.11/256.23 c ============================[ Search Statistics ]============================== 256.11/256.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.11/256.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.11/256.23 c =============================================================================== 256.11/256.23 c | 0 | 6616 114224 166794 | 38074 0 nan | 0.000 % | 256.11/256.29 c | 101 | 6616 114224 166794 | 41882 101 22 | 90.979 % | 256.21/256.36 c | 253 | 6616 114224 166794 | 46070 253 28 | 90.979 % | 256.30/256.48 c | 479 | 6616 114224 166794 | 50677 479 33 | 90.979 % | 256.50/256.66 c | 817 | 6616 114224 166794 | 55745 817 36 | 90.979 % | 256.80/256.93 c | 1327 | 6616 114224 166794 | 61319 1327 39 | 90.979 % | 257.10/257.28 c | 2087 | 6616 114224 166794 | 67451 2087 35 | 90.979 % | 257.70/257.83 c | 3226 | 6616 114224 166794 | 74196 3226 39 | 90.979 % | 258.60/258.78 c | 4936 | 6616 114224 166794 | 81616 4936 42 | 90.979 % | 260.10/260.21 c | 7499 | 6616 114224 166794 | 89778 7499 43 | 90.979 % | 262.60/262.73 c | 11345 | 6616 114224 166794 | 98755 11345 47 | 90.979 % | 266.80/266.98 c | 17113 | 6607 114224 166794 | 108631 14141 44 | 90.992 % | 274.19/274.36 c | 25764 | 6607 114224 166794 | 119494 22792 46 | 90.992 % | 288.10/288.23 c | 38739 | 6599 114224 166794 | 131444 35657 50 | 91.017 % | 313.78/313.97 c | 58201 | 6541 114224 166794 | 144588 41333 49 | 91.082 % | 358.67/358.85 c | 87393 | 6471 114224 166794 | 159047 59516 53 | 91.177 % | 397.06/397.28 c =============================================================================== 397.36/397.55 c core #9 397.36/397.55 c 397.36/397.55 c 397.36/397.55 c Core size: 744 Core Weight: 1 Total Weight: 88 397.36/397.55 c 397.36/397.55 c 397.36/397.55 c ============================[ Search Statistics ]============================== 397.36/397.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 397.36/397.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 397.36/397.55 c =============================================================================== 397.36/397.55 c | 0 | 6916 114293 167367 | 38097 0 nan | 0.000 % | 397.46/397.61 c | 101 | 6916 114293 167367 | 41907 101 25 | 90.578 % | 397.46/397.68 c | 252 | 6916 114293 167367 | 46098 252 29 | 90.578 % | 397.66/397.82 c | 478 | 6916 114293 167367 | 50707 478 38 | 90.578 % | 397.76/397.98 c | 818 | 6916 114293 167367 | 55778 818 35 | 90.578 % | 398.06/398.27 c | 1326 | 6916 114293 167367 | 61356 1326 38 | 90.578 % | 398.46/398.65 c | 2085 | 6916 114293 167367 | 67492 2085 37 | 90.578 % | 399.06/399.22 c | 3225 | 6916 114293 167367 | 74241 3225 37 | 90.578 % | 399.96/400.18 c | 4935 | 6916 114293 167367 | 81665 4935 39 | 90.578 % | 401.56/401.80 c | 7497 | 6916 114293 167367 | 89832 7497 47 | 90.578 % | 404.06/404.23 c | 11344 | 6916 114293 167367 | 98815 11344 47 | 90.578 % | 408.75/408.99 c | 17110 | 6916 114293 167367 | 108697 17110 51 | 90.578 % | 416.05/416.30 c | 25760 | 6916 114293 167367 | 119566 25760 54 | 90.578 % | 430.25/430.42 c | 38735 | 6916 114293 167367 | 131523 38735 54 | 90.578 % | 451.95/452.17 c | 58196 | 6916 114293 167367 | 144675 58196 54 | 90.578 % | 498.63/498.86 c | 87388 | 6898 114293 167367 | 159143 85679 59 | 90.602 % | 605.99/606.28 c | 131179 | 6898 114293 167367 | 175057 129470 64 | 90.602 % | 812.23/812.57 c | 196864 | 6872 114293 167367 | 192563 148320 63 | 90.638 % | 1205.92/1206.37 c | 295390 | 6780 114293 167367 | 211819 206131 63 | 90.831 % | 1328.78/1329.21 c =============================================================================== 1329.29/1329.75 c core #10 1329.29/1329.75 c 1329.29/1329.75 c 1329.29/1329.75 c Core size: 710 Core Weight: 1 Total Weight: 89 1329.29/1329.75 c 1329.29/1329.75 c 1329.29/1329.75 c ============================[ Search Statistics ]============================== 1329.29/1329.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1329.29/1329.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1329.29/1329.75 c =============================================================================== 1329.29/1329.75 c | 0 | 7215 114377 167990 | 38125 0 nan | 0.000 % | 1329.39/1329.80 c | 100 | 7215 114377 167990 | 41938 100 21 | 90.178 % | 1329.39/1329.86 c | 251 | 7215 114377 167990 | 46132 251 30 | 90.178 % | 1329.49/1329.98 c | 476 | 7215 114377 167990 | 50745 476 37 | 90.178 % | 1329.78/1330.21 c | 815 | 7215 114377 167990 | 55819 815 46 | 90.178 % | 1330.08/1330.50 c | 1321 | 7215 114377 167990 | 61401 1321 48 | 90.178 % | 1330.38/1330.82 c | 2080 | 7215 114377 167990 | 67541 2080 44 | 90.178 % | 1330.98/1331.45 c | 3219 | 7202 114377 167990 | 74296 3215 46 | 90.196 % | 1331.79/1332.27 c | 4927 | 7202 114377 167990 | 81725 4923 41 | 90.196 % | 1333.38/1333.81 c | 7489 | 7202 114377 167990 | 89898 7485 48 | 90.196 % | 1335.48/1335.99 c | 11333 | 7202 114377 167990 | 98888 11329 44 | 90.196 % | 1340.18/1340.61 c | 17099 | 7202 114377 167990 | 108776 17095 50 | 90.196 % | 1346.88/1347.35 c | 25748 | 7202 114377 167990 | 119654 25744 49 | 90.196 % | 1359.88/1360.37 c | 38722 | 7202 114377 167990 | 131620 38718 55 | 90.196 % | 1383.67/1384.13 c | 58183 | 7202 114377 167990 | 144782 58179 55 | 90.196 % | 1434.96/1435.40 c | 87375 | 7186 114377 167990 | 159260 87221 60 | 90.217 % | 1538.92/1539.45 c | 131164 | 7173 114377 167990 | 175186 129502 64 | 90.235 % | 1721.57/1722.16 c | 196848 | 7173 114377 167990 | 192705 195186 63 | 90.235 % |
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-2687280-1278450887/watcher-2687280-1278450887 -o /tmp/evaluation-result-2687280-1278450887/solver-2687280-1278450887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687280-1278450887.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22159 /proc/meminfo: memFree=1842684/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=10984 CPUtime=0 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 13292100 11247616 262 1992294400 134512640 135752675 4290898800 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 2746 263 139 303 0 407 0 [startup+0.0856641 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22159 /proc/meminfo: memFree=1842684/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=15048 CPUtime=0.07 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 1387 0 0 0 7 0 0 0 20 0 1 0 13292100 15409152 1306 1992294400 134512640 135752675 4290898800 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 3762 1309 251 303 0 1423 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15048 [startup+0.101665 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22159 /proc/meminfo: memFree=1842684/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=15768 CPUtime=0.09 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 1545 0 0 0 9 0 0 0 20 0 1 0 13292100 16146432 1463 1992294400 134512640 135752675 4290898800 18446744073709551615 135391027 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 3942 1464 274 303 0 1603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15768 [startup+0.301694 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22159 /proc/meminfo: memFree=1842684/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=20048 CPUtime=0.3 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 2888 0 0 0 29 1 0 0 20 0 1 0 13292100 20529152 2773 1992294400 134512640 135752675 4290898800 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 5012 2773 571 303 0 2673 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 20048 [startup+0.701751 s] /proc/loadavg: 0.99 0.97 0.99 3/106 22159 /proc/meminfo: memFree=1842684/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=25072 CPUtime=0.69 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 4744 0 0 0 68 1 0 0 20 0 1 0 13292100 25673728 4589 1992294400 134512640 135752675 4290898800 18446744073709551615 134574191 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 6268 4589 1180 303 0 3929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25072 [startup+1.50186 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22160 /proc/meminfo: memFree=1823332/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=37396 CPUtime=1.49 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 8332 0 0 0 146 3 0 0 23 0 1 0 13292100 38293504 8063 1992294400 134512640 135752675 4290898800 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 9349 8063 2030 303 0 7010 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37396 [startup+3.10109 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22160 /proc/meminfo: memFree=1792208/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=57936 CPUtime=3.09 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 15737 0 0 0 303 6 0 0 25 0 1 0 13292100 59326464 13209 1992294400 134512640 135752675 4290898800 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 14484 13209 142 303 0 14179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57936 [startup+6.30155 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22160 /proc/meminfo: memFree=1783776/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=66120 CPUtime=6.29 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 17782 0 0 0 622 7 0 0 25 0 1 0 13292100 67706880 15254 1992294400 134512640 135752675 4290898800 18446744073709551615 134697676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 16530 15254 142 303 0 16225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66120 [startup+12.7005 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22160 /proc/meminfo: memFree=1770136/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=78528 CPUtime=12.68 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 20905 0 0 0 1260 8 0 0 25 0 1 0 13292100 80412672 18377 1992294400 134512640 135752675 4290898800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 19632 18377 142 303 0 19327 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78528 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22160 /proc/meminfo: memFree=1751040/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=96876 CPUtime=25.48 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 25464 0 0 0 2538 10 0 0 25 0 1 0 13292100 99201024 22936 1992294400 134512640 135752675 4290898800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 24219 22936 142 303 0 23914 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96876 [startup+51.1009 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22161 /proc/meminfo: memFree=1726984/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=121824 CPUtime=51.06 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 31714 0 0 0 5093 13 0 0 25 0 1 0 13292100 124747776 29186 1992294400 134512640 135752675 4290898800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 30456 29186 142 303 0 30151 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 121824 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22162 /proc/meminfo: memFree=1697472/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=149236 CPUtime=102.25 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 40011 0 0 0 10201 24 0 0 25 0 1 0 13292100 152817664 36168 1992294400 134512640 135752675 4290898800 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 37309 36168 145 303 0 37004 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149236 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22164 /proc/meminfo: memFree=1697348/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=149236 CPUtime=162.23 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 40011 0 0 0 16167 56 0 0 25 0 1 0 13292100 152817664 36168 1992294400 134512640 135752675 4290898800 18446744073709551615 134605486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 37309 36168 145 303 0 37004 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 149236 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22165 /proc/meminfo: memFree=1707020/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=222.21 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42440 0 0 0 22138 83 0 0 25 0 1 0 13292100 141533184 33879 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33879 146 303 0 34249 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 138216 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22167 /proc/meminfo: memFree=1708136/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=135784 CPUtime=282.19 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42440 0 0 0 28115 104 0 0 25 0 1 0 13292100 139042816 33449 1992294400 134512640 135752675 4290898800 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 33946 33449 146 303 0 33641 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 135784 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22172 /proc/meminfo: memFree=1707084/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=135784 CPUtime=342.17 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42440 0 0 0 34097 120 0 0 25 0 1 0 13292100 139042816 33449 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 33946 33449 146 303 0 33641 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 135784 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22173 /proc/meminfo: memFree=1705968/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=402.16 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42871 0 0 0 40078 138 0 0 25 0 1 0 13292100 141533184 33880 1992294400 134512640 135752675 4290898800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33880 146 303 0 34249 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 138216 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22175 /proc/meminfo: memFree=1705968/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=462.14 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42871 0 0 0 46055 159 0 0 25 0 1 0 13292100 141533184 33880 1992294400 134512640 135752675 4290898800 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33880 146 303 0 34249 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 138216 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22176 /proc/meminfo: memFree=1705844/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=522.12 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42881 0 0 0 52039 173 0 0 25 0 1 0 13292100 141533184 33890 1992294400 134512640 135752675 4290898800 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33890 146 303 0 34249 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 138216 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22178 /proc/meminfo: memFree=1705844/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=582.1 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42881 0 0 0 58023 187 0 0 25 0 1 0 13292100 141533184 33890 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33890 146 303 0 34249 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 138216 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22180 /proc/meminfo: memFree=1705844/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=138216 CPUtime=642.1 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 42881 0 0 0 64011 199 0 0 25 0 1 0 13292100 141533184 33890 1992294400 134512640 135752675 4290898800 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 34554 33890 146 303 0 34249 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 138216 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22184 /proc/meminfo: memFree=1695800/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=148488 CPUtime=822.03 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 45405 0 0 0 81969 234 0 0 25 0 1 0 13292100 152051712 36414 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 37122 36414 146 303 0 36817 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 148488 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22186 /proc/meminfo: memFree=1690096/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=154164 CPUtime=882.02 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 46829 0 0 0 87955 247 0 0 25 0 1 0 13292100 157863936 37838 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 38541 37838 146 303 0 38236 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 154164 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22187 /proc/meminfo: memFree=1684640/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=159596 CPUtime=942 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 48186 0 0 0 93941 259 0 0 25 0 1 0 13292100 163426304 39195 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 39899 39195 146 303 0 39594 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 159596 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22189 /proc/meminfo: memFree=1679556/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=164692 CPUtime=1001.99 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 49457 0 0 0 99929 270 0 0 25 0 1 0 13292100 168644608 40466 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 41173 40466 146 303 0 40868 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 164692 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22191 /proc/meminfo: memFree=1674844/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=169816 CPUtime=1061.96 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 50644 0 0 0 105919 277 0 0 25 0 1 0 13292100 173891584 41653 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 42454 41653 146 303 0 42149 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 169816 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22192 /proc/meminfo: memFree=1669264/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=175228 CPUtime=1121.95 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 51996 0 0 0 111909 286 0 0 25 0 1 0 13292100 179433472 43005 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 43807 43005 146 303 0 43502 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 175228 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22194 /proc/meminfo: memFree=1664676/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=179920 CPUtime=1181.92 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 53158 0 0 0 117898 294 0 0 25 0 1 0 13292100 184238080 44167 1992294400 134512640 135752675 4290898800 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 44980 44167 146 303 0 44675 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 179920 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22195 /proc/meminfo: memFree=1659468/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=185096 CPUtime=1241.91 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 54452 0 0 0 123886 305 0 0 25 0 1 0 13292100 189538304 45461 1992294400 134512640 135752675 4290898800 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 46274 45461 146 303 0 45969 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 185096 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22197 /proc/meminfo: memFree=1653268/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=191232 CPUtime=1301.9 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 55968 0 0 0 129875 315 0 0 25 0 1 0 13292100 195821568 46977 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 47808 46977 146 303 0 47503 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 191232 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22199 /proc/meminfo: memFree=1639504/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=205264 CPUtime=1361.88 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 59896 0 0 0 135855 333 0 0 25 0 1 0 13292100 210190336 50267 1992294400 134512640 135752675 4290898800 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 51316 50267 146 303 0 51011 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 205264 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22200 /proc/meminfo: memFree=1639504/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=205264 CPUtime=1421.86 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 59904 0 0 0 141835 351 0 0 25 0 1 0 13292100 210190336 50275 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 51316 50275 146 303 0 51011 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 205264 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22202 /proc/meminfo: memFree=1639504/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=205264 CPUtime=1481.85 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 59904 0 0 0 147821 364 0 0 25 0 1 0 13292100 210190336 50275 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 51316 50275 146 303 0 51011 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 205264 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22203 /proc/meminfo: memFree=1639504/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=205264 CPUtime=1541.82 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 59932 0 0 0 153808 374 0 0 25 0 1 0 13292100 210190336 50303 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 51316 50303 146 303 0 51011 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 205264 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22205 /proc/meminfo: memFree=1639504/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=205264 CPUtime=1601.81 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 59933 0 0 0 159794 387 0 0 25 0 1 0 13292100 210190336 50304 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 51316 50304 146 303 0 51011 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 205264 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22207 /proc/meminfo: memFree=1635040/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=210016 CPUtime=1661.78 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 61116 0 0 0 165779 399 0 0 25 0 1 0 13292100 215056384 51487 1992294400 134512640 135752675 4290898800 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 52504 51487 146 303 0 52199 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 210016 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22208 /proc/meminfo: memFree=1628964/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=216324 CPUtime=1721.77 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 62685 0 0 0 171763 414 0 0 25 0 1 0 13292100 221515776 53056 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 54081 53056 146 303 0 53776 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 216324 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22210 /proc/meminfo: memFree=1622764/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=222492 CPUtime=1781.75 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 64115 0 0 0 177749 426 0 0 25 0 1 0 13292100 227831808 54486 1992294400 134512640 135752675 4290898800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 55623 54486 146 303 0 55318 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 222492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22211 /proc/meminfo: memFree=1620904/2059040 swapFree=4165008/4192956 [pid=22159] ppid=22157 vsize=224216 CPUtime=1800.06 /proc/22159/stat : 22159 (wbo1.4b) R 22157 22159 21970 0 -1 4202496 64569 0 0 0 179577 429 0 0 25 0 1 0 13292100 229597184 54940 1992294400 134512640 135752675 4290898800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22159/statm: 56054 54940 146 303 0 55749 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 224216 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.78 CPU system time (s): 4.31834 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 224216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.78 system time used= 4.31834 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64569 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= 37 involuntary context switches= 4090 runsolver used 2.91656 second user time and 8.59569 second system time The end
Begin job on node049 at 2010-07-06 23:14:48 IDJOB=2687280 IDBENCH=77554 IDSOLVER=1190 FILE ID=node049/2687280-1278450887 PBS_JOBID= 11233535 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b (fixed) 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 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687280-1278450887/watcher-2687280-1278450887 -o /tmp/evaluation-result-2687280-1278450887/solver-2687280-1278450887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687280-1278450887.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2d7989b1a1c0b548cce5b438f15fc440 RANDOM SEED=643611394 node049.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.266 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.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1843212 kB Buffers: 8748 kB Cached: 99940 kB SwapCached: 4564 kB Active: 18284 kB Inactive: 126836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843212 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 10800 kB Writeback: 0 kB AnonPages: 31900 kB Mapped: 14440 kB Slab: 48508 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182052 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node049 at 2010-07-06 23:44:50