Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.08 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12017_7.std.opb |
MD5SUM | f1ad880d8b0218ee8fbfe589c0282393 |
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 | 158 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
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 | 234184 |
Number of constraints which are clauses | 232984 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2687282-1278450902.opb. 0.00/0.00 c Instance file HOME/instance-2687282-1278450902.opb 0.00/0.00 c File size is 8036789 bytes. 1.59/1.64 c Highest Coefficient sum: 728 1.59/1.64 c ============================[ Problem Statistics ]============================= 1.59/1.64 c | | 1.59/1.64 c | Parsing time: 1.61 s | 1.59/1.64 c | Number Variables: 72842 | 1.59/1.64 c | Number Clauses: 232984 | 1.59/1.64 c | Number Cardinality: 0 | 1.59/1.64 c | Number PB Constraints: 1200 | 96.26/96.37 c ============================[ Search Statistics ]============================== 96.26/96.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.26/96.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.26/96.37 c =============================================================================== 96.26/96.37 c | 0 | 55954 235560 548483 | 78061 0 nan | 0.000 % | 96.35/96.43 c =============================================================================== 96.35/96.43 c New solution: 300 96.35/96.43 o 300 96.35/96.43 c Elapsed CPU time: 96.2424 s Remaining CPU time: 83.7576 s 96.35/96.43 c =============================================================================== 96.35/96.43 c | 0 | 55954 235561 548783 | 78520 0 nan | 0.000 % | 96.46/96.52 c | 100 | 55869 235561 548783 | 86372 100 46 | 23.351 % | 96.56/96.63 c | 250 | 55868 235561 548783 | 95009 250 39 | 23.351 % | 96.66/96.76 c | 477 | 55867 235561 548783 | 104510 477 41 | 23.351 % | 96.86/96.92 c | 814 | 55833 235561 548783 | 114961 814 37 | 23.351 % | 96.86/96.98 c =============================================================================== 96.86/96.98 c New solution: 299 96.86/96.98 o 299 96.86/96.98 c Elapsed CPU time: 96.7803 s Remaining CPU time: 83.2197 s 96.86/96.98 c =============================================================================== 96.86/96.98 c | 821 | 55833 235562 549083 | 78520 821 37 | 23.351 % | 96.96/97.05 c | 922 | 55798 235562 549083 | 86372 922 38 | 23.530 % | 97.06/97.12 c | 1072 | 55798 235562 549083 | 95010 1072 37 | 23.530 % | 97.16/97.28 c | 1299 | 55794 235562 549083 | 104511 1299 36 | 23.530 % | 97.26/97.36 c =============================================================================== 97.26/97.36 c New solution: 298 97.26/97.36 o 298 97.26/97.36 c Elapsed CPU time: 97.1652 s Remaining CPU time: 82.8348 s 97.26/97.36 c =============================================================================== 97.26/97.36 c | 1334 | 55702 235563 549383 | 78521 1098 34 | 23.530 % | 97.36/97.46 c =============================================================================== 97.36/97.46 c New solution: 297 97.36/97.46 o 297 97.36/97.46 c Elapsed CPU time: 97.2572 s Remaining CPU time: 82.7428 s 97.36/97.46 c =============================================================================== 97.36/97.46 c | 1409 | 55561 235564 549683 | 78521 1173 34 | 23.530 % | 97.45/97.52 c | 1509 | 55551 235564 549683 | 86373 1273 34 | 23.937 % | 97.55/97.61 c | 1660 | 55545 235564 549683 | 95010 1424 34 | 23.937 % | 97.55/97.68 c =============================================================================== 97.55/97.68 c New solution: 296 97.55/97.68 o 296 97.55/97.68 c Elapsed CPU time: 97.4792 s Remaining CPU time: 82.5208 s 97.55/97.68 c =============================================================================== 97.55/97.68 c | 1678 | 55406 235565 549983 | 78521 1442 34 | 23.937 % | 97.66/97.74 c | 1778 | 55370 235565 549983 | 86373 1542 34 | 24.169 % | 97.77/97.83 c | 1928 | 55237 235565 549983 | 95011 1139 32 | 24.169 % | 97.77/97.90 c =============================================================================== 97.77/97.90 c New solution: 295 97.77/97.90 o 295 97.77/97.90 c Elapsed CPU time: 97.6981 s Remaining CPU time: 82.3019 s 97.77/97.90 c =============================================================================== 97.77/97.90 c | 1955 | 55237 235566 550283 | 78522 1166 32 | 24.169 % | 97.87/97.95 c | 2055 | 55222 235566 550283 | 86374 1266 32 | 24.420 % | 97.96/98.02 c | 2206 | 55216 235566 550283 | 95011 1417 32 | 24.420 % | 97.96/98.08 c =============================================================================== 97.96/98.08 c New solution: 294 97.96/98.08 o 294 97.96/98.08 c Elapsed CPU time: 97.8751 s Remaining CPU time: 82.1249 s 97.96/98.08 c =============================================================================== 97.96/98.08 c | 2209 | 55054 235567 550583 | 78522 1420 32 | 24.420 % | 98.06/98.15 c =============================================================================== 98.06/98.15 c New solution: 293 98.06/98.15 o 293 98.06/98.15 c Elapsed CPU time: 97.9471 s Remaining CPU time: 82.0529 s 98.06/98.15 c =============================================================================== 98.06/98.15 c | 2218 | 54861 235568 550883 | 78522 1429 32 | 24.420 % | 98.16/98.24 c =============================================================================== 98.16/98.24 c New solution: 292 98.16/98.24 o 292 98.16/98.24 c Elapsed CPU time: 98.0321 s Remaining CPU time: 81.9679 s 98.16/98.24 c =============================================================================== 98.16/98.24 c | 2259 | 54658 235569 551183 | 78523 1470 32 | 24.420 % | 98.26/98.32 c | 2361 | 54445 235569 551183 | 86375 1149 34 | 25.256 % | 98.26/98.38 c =============================================================================== 98.26/98.38 c New solution: 291 98.26/98.38 o 291 98.26/98.38 c Elapsed CPU time: 98.1731 s Remaining CPU time: 81.8269 s 98.26/98.38 c =============================================================================== 98.26/98.38 c | 2375 | 54445 235570 551483 | 78523 1163 34 | 25.256 % | 98.36/98.44 c | 2475 | 54369 235570 551483 | 86375 1263 34 | 25.562 % | 98.46/98.53 c | 2625 | 54369 235570 551483 | 95013 1413 34 | 25.562 % | 98.55/98.63 c | 2851 | 54367 235570 551483 | 104514 1639 34 | 25.562 % | 98.65/98.70 c =============================================================================== 98.65/98.70 c New solution: 290 98.65/98.70 o 290 98.65/98.70 c Elapsed CPU time: 98.489 s Remaining CPU time: 81.511 s 98.65/98.70 c =============================================================================== 98.65/98.70 c | 2863 | 54222 235571 551783 | 78523 1651 34 | 25.562 % | 98.65/98.79 c =============================================================================== 98.65/98.79 c New solution: 289 98.65/98.79 o 289 98.65/98.79 c Elapsed CPU time: 98.578 s Remaining CPU time: 81.422 s 98.65/98.79 c =============================================================================== 98.65/98.79 c | 2890 | 53980 235572 552083 | 78524 1598 34 | 25.562 % | 98.75/98.88 c | 2991 | 53931 235572 552083 | 86376 1699 35 | 26.227 % | 98.97/99.00 c | 3141 | 53931 235572 552083 | 95014 1849 38 | 26.227 % | 98.97/99.08 c =============================================================================== 98.97/99.08 c New solution: 288 98.97/99.08 o 288 98.97/99.08 c Elapsed CPU time: 98.872 s Remaining CPU time: 81.128 s 98.97/99.08 c =============================================================================== 98.97/99.09 c | 3172 | 53738 235573 552383 | 78524 1880 38 | 26.227 % | 99.06/99.15 c =============================================================================== 99.06/99.15 c New solution: 287 99.06/99.15 o 287 99.06/99.15 c Elapsed CPU time: 98.938 s Remaining CPU time: 81.062 s 99.06/99.15 c =============================================================================== 99.06/99.15 c | 3196 | 53496 235574 552683 | 78524 1904 37 | 26.227 % | 99.16/99.23 c | 3297 | 53492 235574 552683 | 86377 2005 37 | 26.891 % | 99.25/99.31 c =============================================================================== 99.25/99.31 c New solution: 286 99.25/99.31 o 286 99.25/99.31 c Elapsed CPU time: 99.0899 s Remaining CPU time: 80.9101 s 99.25/99.31 c =============================================================================== 99.25/99.31 c | 3315 | 53254 235575 552983 | 78525 1695 36 | 26.891 % | 99.25/99.38 c =============================================================================== 99.25/99.38 c New solution: 285 99.25/99.38 o 285 99.25/99.38 c Elapsed CPU time: 99.1609 s Remaining CPU time: 80.8391 s 99.25/99.38 c =============================================================================== 99.25/99.38 c | 3334 | 53012 235576 553283 | 78525 1714 36 | 26.891 % | 99.35/99.45 c | 3434 | 52997 235576 553283 | 86377 1814 36 | 27.556 % | 99.45/99.54 c | 3584 | 52974 235576 553283 | 95015 1964 36 | 27.556 % | 99.55/99.68 c | 3812 | 52971 235576 553283 | 104517 2192 37 | 27.556 % | 99.65/99.78 c =============================================================================== 99.65/99.78 c New solution: 284 99.65/99.78 o 284 99.65/99.78 c Elapsed CPU time: 99.5629 s Remaining CPU time: 80.4371 s 99.65/99.78 c =============================================================================== 99.65/99.78 c | 3875 | 52770 235577 553583 | 78525 2008 35 | 27.556 % | 99.75/99.85 c =============================================================================== 99.75/99.85 c New solution: 283 99.75/99.85 o 283 99.75/99.85 c Elapsed CPU time: 99.6299 s Remaining CPU time: 80.3701 s 99.75/99.85 c =============================================================================== 99.75/99.85 c | 3895 | 52528 235578 553883 | 78526 2028 35 | 27.556 % | 99.85/99.93 c | 3997 | 52498 235578 553883 | 86378 2130 35 | 28.220 % | 99.96/100.04 c | 4147 | 52494 235578 553883 | 95016 2280 36 | 28.220 % | 99.96/100.10 c =============================================================================== 99.96/100.10 c New solution: 282 99.96/100.10 o 282 99.96/100.10 c Elapsed CPU time: 99.8768 s Remaining CPU time: 80.1232 s 99.96/100.10 c =============================================================================== 99.96/100.10 c | 4160 | 52286 235579 554183 | 78526 2293 36 | 28.220 % | 100.06/100.16 c =============================================================================== 100.06/100.16 c New solution: 281 100.06/100.16 o 281 100.06/100.16 c Elapsed CPU time: 99.9378 s Remaining CPU time: 80.0622 s 100.06/100.16 c =============================================================================== 100.06/100.16 c | 4166 | 52044 235580 554483 | 78526 2299 36 | 28.220 % | 100.15/100.23 c | 4266 | 52008 235580 554483 | 86379 2399 36 | 28.884 % | 100.26/100.34 c | 4417 | 51802 235580 554483 | 95017 2027 36 | 28.884 % | 100.36/100.43 c =============================================================================== 100.36/100.43 c New solution: 280 100.36/100.43 o 280 100.36/100.43 c Elapsed CPU time: 100.205 s Remaining CPU time: 79.7952 s 100.36/100.43 c =============================================================================== 100.36/100.43 c | 4464 | 51802 235581 554783 | 78527 2074 36 | 28.884 % | 100.36/100.49 c =============================================================================== 100.36/100.49 c New solution: 279 100.36/100.49 o 279 100.36/100.49 c Elapsed CPU time: 100.268 s Remaining CPU time: 79.7322 s 100.36/100.49 c =============================================================================== 100.36/100.49 c | 4475 | 51560 235582 555083 | 78527 2085 36 | 28.884 % | 100.46/100.56 c =============================================================================== 100.46/100.56 c New solution: 278 100.46/100.56 o 278 100.46/100.56 c Elapsed CPU time: 100.337 s Remaining CPU time: 79.6633 s 100.46/100.56 c =============================================================================== 100.46/100.56 c | 4481 | 51318 235583 555383 | 78527 2091 36 | 28.884 % | 100.56/100.63 c =============================================================================== 100.56/100.63 c New solution: 277 100.56/100.63 o 277 100.56/100.63 c Elapsed CPU time: 100.407 s Remaining CPU time: 79.5933 s 100.56/100.63 c =============================================================================== 100.56/100.63 c | 4484 | 51076 235584 555683 | 78528 2094 36 | 28.884 % | 100.56/100.69 c =============================================================================== 100.56/100.69 c New solution: 276 100.56/100.69 o 276 100.56/100.69 c Elapsed CPU time: 100.465 s Remaining CPU time: 79.5353 s 100.56/100.69 c =============================================================================== 100.56/100.69 c | 4490 | 50834 235585 555983 | 78528 2100 36 | 28.884 % | 100.66/100.77 c | 4591 | 50786 235585 555983 | 86381 2201 37 | 30.546 % | 100.76/100.88 c | 4741 | 50781 235585 555983 | 95019 2351 38 | 30.546 % | 100.86/100.96 c =============================================================================== 100.86/100.96 c New solution: 275 100.86/100.96 o 275 100.86/100.96 c Elapsed CPU time: 100.733 s Remaining CPU time: 79.2673 s 100.86/100.96 c =============================================================================== 100.86/100.96 c | 4766 | 50592 235586 556283 | 78528 1911 38 | 30.546 % | 100.95/101.03 c | 4866 | 50559 235586 556283 | 86381 2011 38 | 30.878 % | 101.06/101.13 c | 5016 | 50558 235586 556283 | 95019 2161 40 | 30.878 % | 101.06/101.20 c =============================================================================== 101.06/101.20 c New solution: 274 101.06/101.20 o 274 101.06/101.20 c Elapsed CPU time: 100.971 s Remaining CPU time: 79.0293 s 101.06/101.20 c =============================================================================== 101.06/101.20 c | 5025 | 50350 235587 556583 | 78529 2170 40 | 30.878 % | 101.16/101.26 c =============================================================================== 101.16/101.26 c New solution: 273 101.16/101.26 o 273 101.16/101.26 c Elapsed CPU time: 101.035 s Remaining CPU time: 78.9654 s 101.16/101.26 c =============================================================================== 101.16/101.26 c | 5049 | 50108 235588 556883 | 78529 2194 40 | 30.878 % | 101.25/101.38 c =============================================================================== 101.25/101.38 c New solution: 272 101.25/101.38 o 272 101.25/101.38 c Elapsed CPU time: 101.152 s Remaining CPU time: 78.8484 s 101.25/101.38 c =============================================================================== 101.25/101.38 c | 5130 | 49866 235589 557183 | 78529 2275 40 | 30.878 % | 101.35/101.45 c | 5230 | 49858 235589 557183 | 86382 2375 40 | 31.874 % | 101.46/101.52 c =============================================================================== 101.46/101.52 c New solution: 271 101.46/101.52 o 271 101.46/101.52 c Elapsed CPU time: 101.287 s Remaining CPU time: 78.7134 s 101.46/101.52 c =============================================================================== 101.46/101.52 c | 5239 | 49624 235590 557483 | 78530 2008 37 | 31.874 % | 101.46/101.59 c =============================================================================== 101.46/101.59 c New solution: 270 101.46/101.59 o 270 101.46/101.59 c Elapsed CPU time: 101.353 s Remaining CPU time: 78.6474 s 101.46/101.59 c =============================================================================== 101.46/101.59 c | 5260 | 49382 235591 557783 | 78530 2029 37 | 31.874 % | 101.56/101.65 c | 5361 | 49345 235591 557783 | 86383 2130 37 | 32.539 % | 101.66/101.73 c | 5511 | 49345 235591 557783 | 95021 2280 37 | 32.539 % | 101.66/101.79 c =============================================================================== 101.66/101.79 c New solution: 269 101.66/101.79 o 269 101.66/101.79 c Elapsed CPU time: 101.56 s Remaining CPU time: 78.4404 s 101.66/101.79 c =============================================================================== 101.66/101.79 c | 5527 | 49140 235592 558083 | 78530 2296 37 | 32.539 % | 101.76/101.86 c =============================================================================== 101.76/101.86 c New solution: 268 101.76/101.86 o 268 101.76/101.86 c Elapsed CPU time: 101.621 s Remaining CPU time: 78.3794 s 101.76/101.86 c =============================================================================== 101.76/101.86 c | 5547 | 48898 235593 558383 | 78531 2316 37 | 32.539 % | 101.86/101.92 c =============================================================================== 101.86/101.92 c New solution: 267 101.86/101.92 o 267 101.86/101.92 c Elapsed CPU time: 101.684 s Remaining CPU time: 78.3165 s 101.86/101.92 c =============================================================================== 101.86/101.92 c | 5566 | 48656 235594 558683 | 78531 2335 37 | 32.539 % | 101.86/101.99 c | 5666 | 48648 235594 558683 | 86384 2435 37 | 33.536 % | 101.95/102.09 c =============================================================================== 101.95/102.09 c New solution: 266 101.95/102.09 o 266 101.95/102.09 c Elapsed CPU time: 101.853 s Remaining CPU time: 78.1475 s 101.95/102.09 c =============================================================================== 101.95/102.09 c | 5737 | 48414 235595 558983 | 78531 1934 36 | 33.536 % | 102.05/102.15 c | 5837 | 48401 235595 558983 | 86384 2034 36 | 33.868 % | 102.16/102.22 c | 5987 | 48393 235595 558983 | 95023 2184 36 | 33.868 % | 102.35/102.41 c | 6213 | 48388 235595 558983 | 104525 2410 38 | 33.868 % | 102.35/102.47 c =============================================================================== 102.35/102.47 c New solution: 265 102.35/102.47 o 265 102.35/102.47 c Elapsed CPU time: 102.229 s Remaining CPU time: 77.7705 s 102.35/102.47 c =============================================================================== 102.35/102.47 c | 6223 | 48172 235596 559283 | 78532 2420 38 | 33.868 % | 102.45/102.53 c | 6324 | 48155 235596 559283 | 86385 2521 37 | 34.200 % | 102.56/102.62 c =============================================================================== 102.56/102.62 c New solution: 264 102.56/102.62 o 264 102.56/102.62 c Elapsed CPU time: 102.373 s Remaining CPU time: 77.6266 s 102.56/102.62 c =============================================================================== 102.56/102.62 c | 6385 | 47930 235597 559583 | 78532 2301 37 | 34.200 % | 102.56/102.68 c | 6486 | 47927 235597 559583 | 86385 2402 37 | 34.532 % | 102.66/102.78 c | 6637 | 47918 235597 559583 | 95024 2553 37 | 34.532 % | 102.76/102.85 c =============================================================================== 102.76/102.85 c New solution: 263 102.76/102.85 o 263 102.76/102.85 c Elapsed CPU time: 102.6 s Remaining CPU time: 77.3996 s 102.76/102.85 c =============================================================================== 102.76/102.85 c | 6650 | 47688 235598 559883 | 78532 2566 37 | 34.532 % | 102.86/102.90 c | 6750 | 47677 235598 559883 | 86385 2666 36 | 34.865 % | 102.86/102.99 c =============================================================================== 102.86/102.99 c New solution: 262 102.86/102.99 o 262 102.86/102.99 c Elapsed CPU time: 102.745 s Remaining CPU time: 77.2546 s 102.86/102.99 c =============================================================================== 102.86/102.99 c | 6796 | 47446 235599 560183 | 78533 2712 36 | 34.865 % | 102.96/103.05 c =============================================================================== 102.96/103.05 c New solution: 261 102.96/103.05 o 261 102.96/103.05 c Elapsed CPU time: 102.806 s Remaining CPU time: 77.1936 s 102.96/103.05 c =============================================================================== 102.96/103.05 c | 6813 | 47204 235600 560483 | 78533 2729 36 | 34.865 % | 103.05/103.14 c =============================================================================== 103.05/103.14 c New solution: 260 103.05/103.14 o 260 103.05/103.14 c Elapsed CPU time: 102.888 s Remaining CPU time: 77.1116 s 103.05/103.14 c =============================================================================== 103.05/103.14 c | 6856 | 46962 235601 560783 | 78533 2142 33 | 34.865 % | 103.15/103.23 c =============================================================================== 103.15/103.23 c New solution: 259 103.15/103.23 o 259 103.15/103.23 c Elapsed CPU time: 102.977 s Remaining CPU time: 77.0227 s 103.15/103.23 c =============================================================================== 103.15/103.23 c | 6948 | 46720 235602 561083 | 78534 2234 33 | 34.865 % | 103.26/103.31 c | 7048 | 46651 235602 561083 | 86387 2334 34 | 36.193 % | 103.36/103.44 c | 7199 | 46651 235602 561083 | 95026 2485 34 | 36.193 % | 103.36/103.50 c =============================================================================== 103.36/103.50 c New solution: 258 103.36/103.50 o 258 103.36/103.50 c Elapsed CPU time: 103.246 s Remaining CPU time: 76.7537 s 103.36/103.50 c =============================================================================== 103.36/103.50 c | 7205 | 46478 235603 561383 | 78534 2491 34 | 36.193 % | 103.45/103.57 c =============================================================================== 103.45/103.57 c New solution: 257 103.45/103.57 o 257 103.45/103.57 c Elapsed CPU time: 103.318 s Remaining CPU time: 76.6817 s 103.45/103.57 c =============================================================================== 103.45/103.57 c | 7250 | 46236 235604 561683 | 78534 2536 34 | 36.193 % | 103.55/103.64 c =============================================================================== 103.55/103.64 c New solution: 256 103.55/103.64 o 256 103.55/103.64 c Elapsed CPU time: 103.391 s Remaining CPU time: 76.6087 s 103.55/103.64 c =============================================================================== 103.55/103.64 c | 7294 | 45994 235605 561983 | 78535 2580 34 | 36.193 % | 103.65/103.71 c | 7395 | 45752 235605 561983 | 86388 2252 33 | 37.190 % | 103.75/103.83 c | 7545 | 45752 235605 561983 | 95027 2402 33 | 37.190 % | 103.86/103.90 c =============================================================================== 103.86/103.90 c New solution: 255 103.86/103.90 o 255 103.86/103.90 c Elapsed CPU time: 103.644 s Remaining CPU time: 76.3558 s 103.86/103.90 c =============================================================================== 103.86/103.90 c | 7580 | 45752 235606 562283 | 78535 2437 33 | 37.190 % | 103.86/103.96 c =============================================================================== 103.86/103.96 c New solution: 254 103.86/103.96 o 254 103.86/103.96 c Elapsed CPU time: 103.708 s Remaining CPU time: 76.2918 s 103.86/103.96 c =============================================================================== 103.86/103.96 c | 7587 | 45510 235607 562583 | 78535 2444 33 | 37.190 % | 103.96/104.02 c | 7687 | 45432 235607 562583 | 86389 2544 33 | 37.855 % | 104.06/104.12 c | 7838 | 45430 235607 562583 | 95028 2695 33 | 37.855 % | 104.15/104.25 c | 8063 | 45426 235607 562583 | 104530 2920 34 | 37.855 % | 104.36/104.47 c | 8400 | 45268 235607 562583 | 114984 2902 35 | 37.855 % | 104.46/104.53 c =============================================================================== 104.46/104.53 c New solution: 253 104.46/104.53 o 253 104.46/104.53 c Elapsed CPU time: 104.265 s Remaining CPU time: 75.7349 s 104.46/104.53 c =============================================================================== 104.46/104.53 c | 8410 | 45268 235608 562883 | 78536 2912 35 | 37.855 % | 104.55/104.60 c =============================================================================== 104.55/104.60 c New solution: 252 104.55/104.60 o 252 104.55/104.60 c Elapsed CPU time: 104.335 s Remaining CPU time: 75.6649 s 104.55/104.60 c =============================================================================== 104.55/104.60 c | 8448 | 45026 235609 563183 | 78536 2950 35 | 37.855 % | 104.55/104.66 c | 8548 | 45018 235609 563183 | 86389 3050 35 | 38.519 % | 104.65/104.78 c | 8700 | 45014 235609 563183 | 95028 3202 35 | 38.519 % | 104.76/104.84 c =============================================================================== 104.76/104.84 c New solution: 251 104.76/104.84 o 251 104.76/104.84 c Elapsed CPU time: 104.573 s Remaining CPU time: 75.4269 s 104.76/104.84 c =============================================================================== 104.76/104.84 c | 8710 | 44784 235610 563483 | 78536 3212 35 | 38.519 % | 104.86/104.91 c =============================================================================== 104.86/104.91 c New solution: 250 104.86/104.91 o 250 104.86/104.91 c Elapsed CPU time: 104.646 s Remaining CPU time: 75.3539 s 104.86/104.91 c =============================================================================== 104.86/104.91 c | 8740 | 44542 235611 563783 | 78537 2572 33 | 38.519 % | 104.86/104.98 c =============================================================================== 104.86/104.98 c New solution: 249 104.86/104.98 o 249 104.86/104.98 c Elapsed CPU time: 104.716 s Remaining CPU time: 75.2839 s 104.86/104.98 c =============================================================================== 104.86/104.98 c | 8759 | 44300 235612 564083 | 78537 2591 33 | 38.519 % | 104.96/105.04 c | 8859 | 44250 235612 564083 | 86391 2691 33 | 39.516 % | 105.06/105.13 c | 9009 | 44249 235612 564083 | 95030 2841 33 | 39.516 % | 105.25/105.30 c =============================================================================== 105.25/105.30 c New solution: 248 105.25/105.30 o 248 105.25/105.30 c Elapsed CPU time: 105.03 s Remaining CPU time: 74.97 s 105.25/105.30 c =============================================================================== 105.25/105.30 c | 9178 | 44058 235613 564383 | 78537 3010 34 | 39.516 % | 105.25/105.36 c | 9279 | 44050 235613 564383 | 86391 3111 34 | 39.848 % | 105.35/105.45 c | 9430 | 43816 235613 564383 | 95030 2779 33 | 39.848 % | 105.56/105.63 c | 9655 | 43816 235613 564383 | 104533 3004 35 | 39.848 % | 105.65/105.70 c =============================================================================== 105.65/105.70 c New solution: 247 105.65/105.70 o 247 105.65/105.70 c Elapsed CPU time: 105.426 s Remaining CPU time: 74.574 s 105.65/105.70 c =============================================================================== 105.65/105.70 c | 9680 | 43816 235614 564683 | 78538 3029 35 | 39.848 % | 105.65/105.77 c =============================================================================== 105.65/105.77 c New solution: 246 105.65/105.77 o 246 105.65/105.77 c Elapsed CPU time: 105.498 s Remaining CPU time: 74.502 s 105.65/105.77 c =============================================================================== 105.65/105.77 c | 9711 | 43574 235615 564983 | 78538 3060 35 | 39.848 % | 105.75/105.86 c | 9811 | 43567 235615 564983 | 86392 3160 35 | 40.512 % | 105.85/105.94 c | 9961 | 43541 235615 564983 | 95031 3310 35 | 40.512 % | 105.95/106.08 c | 10186 | 43332 235615 564983 | 104534 2983 34 | 40.512 % | 106.15/106.26 c =============================================================================== 106.15/106.26 c New solution: 245 106.15/106.26 o 245 106.15/106.26 c Elapsed CPU time: 105.984 s Remaining CPU time: 74.0161 s 106.15/106.26 c =============================================================================== 106.15/106.26 c | 10363 | 43332 235616 565283 | 78538 3160 35 | 40.512 % | 106.26/106.32 c =============================================================================== 106.26/106.32 c New solution: 244 106.26/106.32 o 244 106.26/106.32 c Elapsed CPU time: 106.047 s Remaining CPU time: 73.9531 s 106.26/106.32 c =============================================================================== 106.26/106.32 c | 10382 | 43090 235617 565583 | 78539 3179 35 | 40.512 % | 106.26/106.38 c =============================================================================== 106.26/106.38 c New solution: 243 106.26/106.38 o 243 106.26/106.38 c Elapsed CPU time: 106.106 s Remaining CPU time: 73.8941 s 106.26/106.38 c =============================================================================== 106.26/106.38 c | 10401 | 42848 235618 565883 | 78539 3198 35 | 40.512 % | 106.36/106.45 c | 10501 | 42811 235618 565883 | 86393 3298 35 | 41.509 % | 106.45/106.54 c | 10651 | 42809 235618 565883 | 95032 3448 35 | 41.509 % | 106.56/106.64 c =============================================================================== 106.56/106.64 c New solution: 242 106.56/106.64 o 242 106.56/106.64 c Elapsed CPU time: 106.365 s Remaining CPU time: 73.6352 s 106.56/106.64 c =============================================================================== 106.56/106.64 c | 10697 | 42606 235619 566183 | 78539 2908 35 | 41.509 % | 106.66/106.72 c =============================================================================== 106.66/106.72 c New solution: 241 106.66/106.72 o 241 106.66/106.72 c Elapsed CPU time: 106.442 s Remaining CPU time: 73.5582 s 106.66/106.72 c =============================================================================== 106.66/106.72 c | 10744 | 42364 235620 566483 | 78540 2955 35 | 41.509 % | 106.66/106.78 c | 10844 | 42349 235620 566483 | 86394 3055 35 | 42.173 % | 106.75/106.89 c | 10995 | 42343 235620 566483 | 95033 3206 35 | 42.173 % | 106.85/106.98 c =============================================================================== 106.85/106.98 c New solution: 240 106.85/106.98 o 240 106.85/106.98 c Elapsed CPU time: 106.699 s Remaining CPU time: 73.3012 s 106.85/106.98 c =============================================================================== 106.85/106.98 c | 11059 | 42122 235621 566783 | 78540 3270 36 | 42.173 % | 106.95/107.04 c | 11159 | 42091 235621 566783 | 86394 3370 36 | 42.506 % | 107.05/107.12 c | 11312 | 42085 235621 566783 | 95033 3523 35 | 42.506 % | 107.15/107.23 c =============================================================================== 107.15/107.23 c New solution: 239 107.15/107.23 o 239 107.15/107.23 c Elapsed CPU time: 106.946 s Remaining CPU time: 73.0543 s 107.15/107.23 c =============================================================================== 107.15/107.23 c | 11374 | 41880 235622 567083 | 78540 3152 35 | 42.506 % | 107.15/107.29 c =============================================================================== 107.15/107.29 c New solution: 238 107.15/107.29 o 238 107.15/107.29 c Elapsed CPU time: 107.006 s Remaining CPU time: 72.9943 s 107.15/107.29 c =============================================================================== 107.15/107.29 c | 11387 | 41638 235623 567383 | 78541 3165 35 | 42.506 % | 107.25/107.34 c | 11487 | 41552 235623 567383 | 86395 3265 35 | 43.170 % | 107.35/107.45 c | 11637 | 41552 235623 567383 | 95034 3415 36 | 43.170 % | 107.46/107.59 c | 11863 | 41550 235623 567383 | 104538 3641 36 | 43.170 % | 107.56/107.65 c =============================================================================== 107.56/107.65 c New solution: 237 107.56/107.65 o 237 107.56/107.65 c Elapsed CPU time: 107.364 s Remaining CPU time: 72.6363 s 107.56/107.65 c =============================================================================== 107.56/107.65 c | 11868 | 41396 235624 567683 | 78541 3646 36 | 43.170 % | 107.66/107.71 c =============================================================================== 107.66/107.71 c New solution: 236 107.66/107.71 o 236 107.66/107.71 c Elapsed CPU time: 107.424 s Remaining CPU time: 72.5763 s 107.66/107.71 c =============================================================================== 107.66/107.71 c | 11886 | 41154 235625 567983 | 78541 3664 36 | 43.170 % | 107.66/107.77 c =============================================================================== 107.66/107.77 c New solution: 235 107.66/107.77 o 235 107.66/107.77 c Elapsed CPU time: 107.485 s Remaining CPU time: 72.5153 s 107.66/107.77 c =============================================================================== 107.66/107.77 c | 11908 | 40912 235626 568283 | 78542 3686 36 | 43.170 % | 107.76/107.83 c | 12008 | 40670 235626 568283 | 86396 2808 33 | 44.167 % | 107.85/107.91 c | 12158 | 40670 235626 568283 | 95035 2958 33 | 44.167 % | 108.05/108.11 c =============================================================================== 108.05/108.11 c New solution: 234 108.05/108.11 o 234 108.05/108.11 c Elapsed CPU time: 107.821 s Remaining CPU time: 72.1794 s 108.05/108.11 c =============================================================================== 108.05/108.11 c | 12325 | 40670 235627 568583 | 78542 3125 33 | 44.167 % | 108.05/108.17 c =============================================================================== 108.05/108.17 c New solution: 233 108.05/108.17 o 233 108.05/108.17 c Elapsed CPU time: 107.882 s Remaining CPU time: 72.1184 s 108.05/108.17 c =============================================================================== 108.05/108.17 c | 12337 | 40428 235628 568883 | 78542 3137 33 | 44.167 % | 108.15/108.23 c | 12438 | 40405 235628 568883 | 86396 3238 34 | 44.831 % | 108.25/108.30 c =============================================================================== 108.25/108.30 c New solution: 232 108.25/108.30 o 232 108.25/108.30 c Elapsed CPU time: 108.009 s Remaining CPU time: 71.9914 s 108.25/108.30 c =============================================================================== 108.25/108.30 c | 12470 | 40186 235629 569183 | 78543 3270 34 | 44.831 % | 108.25/108.35 c | 12571 | 40168 235629 569183 | 86397 3371 34 | 45.164 % | 108.35/108.48 c | 12722 | 39944 235629 569183 | 95037 2904 34 | 45.164 % | 108.45/108.54 c =============================================================================== 108.45/108.54 c New solution: 231 108.45/108.54 o 231 108.45/108.54 c Elapsed CPU time: 108.247 s Remaining CPU time: 71.7535 s 108.45/108.54 c =============================================================================== 108.45/108.54 c | 12736 | 39944 235630 569483 | 78543 2918 34 | 45.164 % | 108.55/108.61 c | 12836 | 39900 235630 569483 | 86397 3018 35 | 45.496 % | 108.65/108.70 c | 12986 | 39899 235630 569483 | 95037 3168 35 | 45.496 % | 108.65/108.77 c =============================================================================== 108.65/108.77 c New solution: 230 108.65/108.77 o 230 108.65/108.77 c Elapsed CPU time: 108.476 s Remaining CPU time: 71.5245 s 108.65/108.77 c =============================================================================== 108.65/108.77 c | 12996 | 39702 235631 569783 | 78543 3178 35 | 45.496 % | 108.76/108.83 c =============================================================================== 108.76/108.83 c New solution: 229 108.76/108.83 o 229 108.76/108.83 c Elapsed CPU time: 108.534 s Remaining CPU time: 71.4655 s 108.76/108.83 c =============================================================================== 108.76/108.83 c | 13012 | 39460 235632 570083 | 78544 3194 35 | 45.496 % | 108.76/108.89 c =============================================================================== 108.76/108.89 c New solution: 228 108.76/108.89 o 228 108.76/108.89 c Elapsed CPU time: 108.594 s Remaining CPU time: 71.4055 s 108.76/108.89 c =============================================================================== 108.76/108.89 c | 13031 | 39218 235633 570383 | 78544 3213 35 | 45.496 % | 108.86/108.95 c | 13132 | 39214 235633 570383 | 86398 3314 35 | 46.492 % | 108.95/109.07 c | 13282 | 38976 235633 570383 | 95038 2561 34 | 46.492 % | 109.05/109.14 c =============================================================================== 109.05/109.14 c New solution: 227 109.05/109.14 o 227 109.05/109.14 c Elapsed CPU time: 108.847 s Remaining CPU time: 71.1525 s 109.05/109.14 c =============================================================================== 109.05/109.14 c | 13294 | 38976 235634 570683 | 78544 2573 34 | 46.492 % | 109.15/109.20 c =============================================================================== 109.15/109.20 c New solution: 226 109.15/109.20 o 226 109.15/109.20 c Elapsed CPU time: 108.908 s Remaining CPU time: 71.0916 s 109.15/109.20 c =============================================================================== 109.15/109.20 c | 13317 | 38734 235635 570983 | 78545 2596 34 | 46.492 % | 109.15/109.26 c | 13417 | 38638 235635 570983 | 86399 2696 34 | 47.157 % | 109.35/109.41 c | 13568 | 38638 235635 570983 | 95039 2847 35 | 47.157 % | 109.45/109.54 c | 13793 | 38634 235635 570983 | 104543 3072 36 | 47.157 % | 109.76/109.80 c | 14130 | 38492 235635 570983 | 114997 3184 37 | 47.157 % | 109.76/109.86 c =============================================================================== 109.76/109.86 c New solution: 225 109.76/109.86 o 225 109.76/109.86 c Elapsed CPU time: 109.568 s Remaining CPU time: 70.4317 s 109.76/109.86 c =============================================================================== 109.76/109.86 c | 14154 | 38492 235636 571283 | 78545 3208 37 | 47.157 % | 109.86/109.97 c =============================================================================== 109.86/109.97 c New solution: 224 109.86/109.97 o 224 109.86/109.97 c Elapsed CPU time: 109.675 s Remaining CPU time: 70.3247 s 109.86/109.97 c =============================================================================== 109.86/109.97 c | 14220 | 38250 235637 571583 | 78545 3274 37 | 47.157 % | 109.96/110.04 c =============================================================================== 109.96/110.04 c New solution: 223 109.96/110.04 o 223 109.96/110.04 c Elapsed CPU time: 109.742 s Remaining CPU time: 70.2577 s 109.96/110.04 c =============================================================================== 109.96/110.04 c | 14246 | 38008 235638 571883 | 78546 3300 37 | 47.157 % | 110.05/110.11 c | 14347 | 38000 235638 571883 | 86400 3401 37 | 48.154 % | 110.15/110.23 c | 14498 | 37913 235638 571883 | 95040 3552 37 | 48.154 % | 110.25/110.34 c | 14723 | 37766 235638 571883 | 104544 2981 36 | 48.154 % | 110.45/110.56 c | 15060 | 37766 235638 571883 | 114999 3318 36 | 48.154 % | 110.55/110.67 c =============================================================================== 110.55/110.67 c New solution: 222 110.55/110.67 o 222 110.55/110.67 c Elapsed CPU time: 110.363 s Remaining CPU time: 69.6368 s 110.55/110.67 c =============================================================================== 110.55/110.67 c | 15123 | 37766 235639 572183 | 78546 3381 36 | 48.154 % | 110.65/110.76 c =============================================================================== 110.65/110.76 c New solution: 221 110.65/110.76 o 221 110.65/110.76 c Elapsed CPU time: 110.452 s Remaining CPU time: 69.5478 s 110.65/110.76 c =============================================================================== 110.65/110.76 c | 15182 | 37524 235640 572483 | 78546 3440 36 | 48.154 % | 110.75/110.83 c | 15282 | 37282 235640 572483 | 86401 3311 36 | 48.818 % | 110.85/110.92 c =============================================================================== 110.85/110.92 c New solution: 220 110.85/110.92 o 220 110.85/110.92 c Elapsed CPU time: 110.615 s Remaining CPU time: 69.3848 s 110.85/110.92 c =============================================================================== 110.85/110.92 c | 15333 | 37282 235641 572783 | 78547 3362 36 | 48.818 % | 110.85/110.98 c | 15433 | 37204 235641 572783 | 86401 3462 36 | 49.150 % | 111.06/111.12 c | 15583 | 37203 235641 572783 | 95041 3612 36 | 49.150 % | 111.15/111.20 c =============================================================================== 111.15/111.20 c New solution: 219 111.15/111.20 o 219 111.15/111.20 c Elapsed CPU time: 110.894 s Remaining CPU time: 69.1059 s 111.15/111.20 c =============================================================================== 111.15/111.20 c | 15609 | 37040 235642 573083 | 78547 3638 36 | 49.150 % | 111.15/111.26 c =============================================================================== 111.15/111.26 c New solution: 218 111.15/111.26 o 218 111.15/111.26 c Elapsed CPU time: 110.956 s Remaining CPU time: 69.0439 s 111.15/111.26 c =============================================================================== 111.15/111.26 c | 15631 | 36798 235643 573383 | 78547 3660 36 | 49.150 % | 111.25/111.33 c =============================================================================== 111.25/111.33 c New solution: 217 111.25/111.33 o 217 111.25/111.33 c Elapsed CPU time: 111.022 s Remaining CPU time: 68.9779 s 111.25/111.33 c =============================================================================== 111.25/111.33 c | 15655 | 36556 235644 573683 | 78548 3684 36 | 49.150 % | 111.35/111.40 c | 15755 | 36414 235644 573683 | 86402 3784 36 | 50.147 % | 111.45/111.56 c | 15906 | 36314 235644 573683 | 95043 3113 35 | 50.147 % | 111.55/111.63 c =============================================================================== 111.55/111.63 c New solution: 216 111.55/111.63 o 216 111.55/111.63 c Elapsed CPU time: 111.325 s Remaining CPU time: 68.6749 s 111.55/111.63 c =============================================================================== 111.55/111.63 c | 15938 | 36314 235645 573983 | 78548 3145 35 | 50.147 % | 111.55/111.68 c | 16038 | 36275 235645 573983 | 86403 3245 35 | 50.479 % | 111.65/111.78 c | 16188 | 36273 235645 573983 | 95043 3395 35 | 50.479 % | 111.75/111.85 c =============================================================================== 111.75/111.85 c New solution: 215 111.75/111.85 o 215 111.75/111.85 c Elapsed CPU time: 111.543 s Remaining CPU time: 68.457 s 111.75/111.85 c =============================================================================== 111.75/111.85 c | 16215 | 36072 235646 574283 | 78548 3422 35 | 50.479 % | 111.85/111.91 c =============================================================================== 111.85/111.91 c New solution: 214 111.85/111.91 o 214 111.85/111.91 c Elapsed CPU time: 111.608 s Remaining CPU time: 68.392 s 111.85/111.91 c =============================================================================== 111.85/111.91 c | 16258 | 35830 235647 574583 | 78549 3465 35 | 50.479 % | 111.85/111.98 c | 16358 | 35825 235647 574583 | 86403 3565 35 | 51.144 % | 112.05/112.10 c | 16512 | 35818 235647 574583 | 95044 3719 35 | 51.144 % | 112.05/112.16 c =============================================================================== 112.05/112.16 c New solution: 213 112.05/112.16 o 213 112.05/112.16 c Elapsed CPU time: 111.855 s Remaining CPU time: 68.145 s 112.05/112.16 c =============================================================================== 112.05/112.16 c | 16515 | 35588 235648 574883 | 78549 3180 33 | 51.144 % | 112.15/112.22 c =============================================================================== 112.15/112.22 c New solution: 212 112.15/112.22 o 212 112.15/112.22 c Elapsed CPU time: 111.914 s Remaining CPU time: 68.086 s 112.15/112.22 c =============================================================================== 112.15/112.22 c | 16528 | 35346 235649 575183 | 78549 3193 33 | 51.144 % | 112.15/112.27 c =============================================================================== 112.15/112.27 c New solution: 211 112.15/112.27 o 211 112.15/112.27 c Elapsed CPU time: 111.97 s Remaining CPU time: 68.03 s 112.15/112.27 c =============================================================================== 112.15/112.27 c | 16535 | 35104 235650 575483 | 78550 3200 33 | 51.144 % | 112.25/112.34 c =============================================================================== 112.25/112.34 c New solution: 210 112.25/112.34 o 210 112.25/112.34 c Elapsed CPU time: 112.031 s Remaining CPU time: 67.969 s 112.25/112.34 c =============================================================================== 112.25/112.34 c | 16540 | 34862 235651 575783 | 78550 3205 33 | 51.144 % | 112.36/112.40 c =============================================================================== 112.36/112.40 c New solution: 209 112.36/112.40 o 209 112.36/112.40 c Elapsed CPU time: 112.093 s Remaining CPU time: 67.907 s 112.36/112.40 c =============================================================================== 112.36/112.40 c | 16565 | 34620 235652 576083 | 78550 3230 33 | 51.144 % | 112.36/112.47 c | 16665 | 34613 235652 576083 | 86405 3330 33 | 52.805 % | 112.46/112.53 c =============================================================================== 112.46/112.53 c New solution: 208 112.46/112.53 o 208 112.46/112.53 c Elapsed CPU time: 112.227 s Remaining CPU time: 67.7731 s 112.46/112.53 c =============================================================================== 112.46/112.53 c | 16694 | 34378 235653 576383 | 78551 3359 33 | 52.805 % | 112.46/112.59 c =============================================================================== 112.46/112.59 c New solution: 207 112.46/112.59 o 207 112.46/112.59 c Elapsed CPU time: 112.286 s Remaining CPU time: 67.7141 s 112.46/112.59 c =============================================================================== 112.46/112.59 c | 16712 | 34136 235654 576683 | 78551 3377 33 | 52.805 % | 112.55/112.67 c | 16812 | 34126 235654 576683 | 86406 3477 33 | 53.469 % | 112.65/112.73 c =============================================================================== 112.65/112.73 c New solution: 206 112.65/112.73 o 206 112.65/112.73 c Elapsed CPU time: 112.424 s Remaining CPU time: 67.5761 s 112.65/112.73 c =============================================================================== 112.65/112.73 c | 16821 | 33894 235655 576983 | 78551 3486 33 | 53.469 % | 112.65/112.79 c =============================================================================== 112.65/112.79 c New solution: 205 112.65/112.79 o 205 112.65/112.79 c Elapsed CPU time: 112.484 s Remaining CPU time: 67.5161 s 112.65/112.79 c =============================================================================== 112.65/112.79 c | 16850 | 33652 235656 577283 | 78552 3515 33 | 53.469 % | 112.75/112.85 c =============================================================================== 112.75/112.85 c New solution: 204 112.75/112.85 o 204 112.75/112.85 c Elapsed CPU time: 112.536 s Remaining CPU time: 67.4641 s 112.75/112.85 c =============================================================================== 112.75/112.85 c | 16862 | 33410 235657 577583 | 78552 3527 33 | 53.469 % | 112.85/112.90 c | 16962 | 33362 235657 577583 | 86407 3627 33 | 54.466 % | 112.85/112.99 c | 17112 | 33168 235657 577583 | 95048 2197 31 | 54.466 % | 112.95/113.06 c =============================================================================== 112.95/113.06 c New solution: 203 112.95/113.06 o 203 112.95/113.06 c Elapsed CPU time: 112.746 s Remaining CPU time: 67.2541 s 112.95/113.06 c =============================================================================== 112.95/113.06 c | 17131 | 33168 235658 577883 | 78552 2216 31 | 54.466 % | 113.05/113.11 c =============================================================================== 113.05/113.11 c New solution: 202 113.05/113.11 o 202 113.05/113.11 c Elapsed CPU time: 112.8 s Remaining CPU time: 67.2001 s 113.05/113.11 c =============================================================================== 113.05/113.11 c | 17143 | 32926 235659 578183 | 78553 2228 31 | 54.466 % | 113.05/113.17 c =============================================================================== 113.05/113.17 c New solution: 201 113.05/113.17 o 201 113.05/113.17 c Elapsed CPU time: 112.859 s Remaining CPU time: 67.1412 s 113.05/113.17 c =============================================================================== 113.05/113.17 c | 17160 | 32684 235660 578483 | 78553 2245 31 | 54.466 % | 113.16/113.25 c | 17260 | 32676 235660 578483 | 86408 2345 32 | 55.463 % | 113.26/113.31 c =============================================================================== 113.26/113.31 c New solution: 200 113.26/113.31 o 200 113.26/113.31 c Elapsed CPU time: 112.993 s Remaining CPU time: 67.0072 s 113.26/113.31 c =============================================================================== 113.26/113.31 c | 17270 | 32442 235661 578783 | 78553 2355 32 | 55.463 % | 113.26/113.38 c =============================================================================== 113.26/113.38 c New solution: 199 113.26/113.38 o 199 113.26/113.38 c Elapsed CPU time: 113.063 s Remaining CPU time: 66.9372 s 113.26/113.38 c =============================================================================== 113.26/113.38 c | 17333 | 32200 235662 579083 | 78554 2418 32 | 55.463 % | 113.35/113.44 c | 17433 | 32188 235662 579083 | 86409 2518 33 | 56.127 % | 113.55/113.64 c | 17585 | 32184 235662 579083 | 95050 2670 34 | 56.127 % | 113.65/113.70 c =============================================================================== 113.65/113.70 c New solution: 198 113.65/113.70 o 198 113.65/113.70 c Elapsed CPU time: 113.386 s Remaining CPU time: 66.6142 s 113.65/113.70 c =============================================================================== 113.65/113.70 c | 17604 | 31958 235663 579383 | 78554 2230 34 | 56.127 % | 113.65/113.77 c | 17705 | 31913 235663 579383 | 86409 2331 35 | 56.459 % | 113.75/113.88 c | 17856 | 31909 235663 579383 | 95050 2482 35 | 56.459 % | 113.96/114.03 c | 18081 | 31903 235663 579383 | 104555 2707 35 | 56.459 % | 113.96/114.09 c =============================================================================== 113.96/114.09 c New solution: 197 113.96/114.09 o 197 113.96/114.09 c Elapsed CPU time: 113.774 s Remaining CPU time: 66.2263 s 113.96/114.09 c =============================================================================== 113.96/114.09 c | 18106 | 31716 235664 579683 | 78554 2732 35 | 56.459 % | 114.05/114.15 c =============================================================================== 114.05/114.15 c New solution: 196 114.05/114.15 o 196 114.05/114.15 c Elapsed CPU time: 113.835 s Remaining CPU time: 66.1653 s 114.05/114.15 c =============================================================================== 114.05/114.15 c | 18145 | 31474 235665 579983 | 78555 2771 35 | 56.459 % | 114.15/114.24 c =============================================================================== 114.15/114.24 c New solution: 195 114.15/114.24 o 195 114.15/114.24 c Elapsed CPU time: 113.921 s Remaining CPU time: 66.0793 s 114.15/114.24 c =============================================================================== 114.15/114.24 c | 18194 | 31232 235666 580283 | 78555 2820 35 | 56.459 % | 114.15/114.30 c =============================================================================== 114.15/114.30 c New solution: 194 114.15/114.30 o 194 114.15/114.30 c Elapsed CPU time: 113.976 s Remaining CPU time: 66.0243 s 114.15/114.30 c =============================================================================== 114.15/114.30 c | 18205 | 30990 235667 580583 | 78555 2831 35 | 56.459 % | 114.26/114.36 c =============================================================================== 114.26/114.36 c New solution: 193 114.26/114.36 o 193 114.26/114.36 c Elapsed CPU time: 114.04 s Remaining CPU time: 65.9603 s 114.26/114.36 c =============================================================================== 114.26/114.36 c | 18223 | 30748 235668 580883 | 78556 2849 35 | 56.459 % | 114.36/114.41 c =============================================================================== 114.36/114.41 c New solution: 192 114.36/114.41 o 192 114.36/114.41 c Elapsed CPU time: 114.094 s Remaining CPU time: 65.9063 s 114.36/114.41 c =============================================================================== 114.36/114.41 c | 18245 | 30506 235669 581183 | 78556 2871 35 | 56.459 % | 114.36/114.48 c | 18347 | 30264 235669 581183 | 86411 1673 31 | 58.453 % | 114.45/114.58 c | 18498 | 30264 235669 581183 | 95053 1824 31 | 58.453 % | 114.55/114.63 c =============================================================================== 114.55/114.63 c New solution: 191 114.55/114.63 o 191 114.55/114.63 c Elapsed CPU time: 114.31 s Remaining CPU time: 65.6904 s 114.55/114.63 c =============================================================================== 114.55/114.63 c | 18511 | 30264 235670 581483 | 78556 1837 31 | 58.453 % | 114.55/114.69 c =============================================================================== 114.55/114.69 c New solution: 190 114.55/114.69 o 190 114.55/114.69 c Elapsed CPU time: 114.364 s Remaining CPU time: 65.6364 s 114.55/114.69 c =============================================================================== 114.55/114.69 c | 18516 | 30022 235671 581783 | 78557 1842 31 | 58.453 % | 114.65/114.74 c =============================================================================== 114.65/114.74 c New solution: 189 114.65/114.74 o 189 114.65/114.74 c Elapsed CPU time: 114.42 s Remaining CPU time: 65.5804 s 114.65/114.74 c =============================================================================== 114.65/114.74 c | 18549 | 29780 235672 582083 | 78557 1875 31 | 58.453 % | 114.75/114.81 c | 18649 | 29767 235672 582083 | 86413 1975 31 | 59.449 % | 114.85/114.96 c | 18799 | 29761 235672 582083 | 95054 2125 32 | 59.449 % | 114.95/115.01 c =============================================================================== 114.95/115.01 c New solution: 188 114.95/115.01 o 188 114.95/115.01 c Elapsed CPU time: 114.686 s Remaining CPU time: 65.3144 s 114.95/115.01 c =============================================================================== 114.95/115.01 c | 18809 | 29538 235673 582383 | 78557 2135 32 | 59.449 % | 114.95/115.08 c =============================================================================== 114.95/115.08 c New solution: 187 114.95/115.08 o 187 114.95/115.08 c Elapsed CPU time: 114.749 s Remaining CPU time: 65.2514 s 114.95/115.08 c =============================================================================== 114.95/115.08 c | 18848 | 29296 235674 582683 | 78558 2174 32 | 59.449 % | 115.05/115.15 c | 18948 | 29054 235674 582683 | 86413 1635 32 | 60.114 % | 115.15/115.20 c =============================================================================== 115.15/115.20 c New solution: 186 115.15/115.20 o 186 115.15/115.20 c Elapsed CPU time: 114.878 s Remaining CPU time: 65.1225 s 115.15/115.20 c =============================================================================== 115.15/115.20 c | 18958 | 29054 235675 582983 | 78558 1645 32 | 60.114 % | 115.15/115.26 c | 19061 | 29049 235675 582983 | 86414 1748 32 | 60.446 % | 115.25/115.39 c | 19212 | 29041 235675 582983 | 95055 1899 33 | 60.446 % | 115.36/115.44 c =============================================================================== 115.36/115.44 c New solution: 185 115.36/115.44 o 185 115.36/115.44 c Elapsed CPU time: 115.114 s Remaining CPU time: 64.8855 s 115.36/115.44 c =============================================================================== 115.36/115.44 c | 19218 | 28812 235676 583283 | 78558 1905 33 | 60.446 % | 115.36/115.50 c =============================================================================== 115.36/115.50 c New solution: 184 115.36/115.50 o 184 115.36/115.50 c Elapsed CPU time: 115.166 s Remaining CPU time: 64.8335 s 115.36/115.50 c =============================================================================== 115.36/115.50 c | 19244 | 28570 235677 583583 | 78559 1931 33 | 60.446 % | 115.46/115.55 c =============================================================================== 115.46/115.55 c New solution: 183 115.46/115.55 o 183 115.46/115.55 c Elapsed CPU time: 115.217 s Remaining CPU time: 64.7825 s 115.46/115.55 c =============================================================================== 115.46/115.55 c | 19260 | 28328 235678 583883 | 78559 1947 33 | 60.446 % | 115.55/115.61 c =============================================================================== 115.55/115.61 c New solution: 182 115.55/115.61 o 182 115.55/115.61 c Elapsed CPU time: 115.276 s Remaining CPU time: 64.7235 s 115.55/115.61 c =============================================================================== 115.55/115.61 c | 19284 | 28086 235679 584183 | 78559 1971 33 | 60.446 % | 115.55/115.67 c =============================================================================== 115.55/115.67 c New solution: 181 115.55/115.67 o 181 115.55/115.67 c Elapsed CPU time: 115.338 s Remaining CPU time: 64.6615 s 115.55/115.67 c =============================================================================== 115.55/115.67 c | 19332 | 27844 235680 584483 | 78560 2019 33 | 60.446 % | 115.65/115.73 c | 19432 | 27834 235680 584483 | 86416 2119 33 | 62.107 % | 115.85/115.90 c | 19582 | 27602 235680 584483 | 95057 1686 34 | 62.107 % | 115.85/115.99 c | 19807 | 27602 235680 584483 | 104563 1911 35 | 62.107 % | 116.05/116.18 c | 20145 | 27602 235680 584483 | 115019 2249 37 | 62.107 % | 116.45/116.52 c | 20651 | 27602 235680 584483 | 126521 2755 37 | 62.107 % | 116.56/116.63 c =============================================================================== 116.56/116.63 c New solution: 180 116.56/116.63 o 180 116.56/116.63 c Elapsed CPU time: 116.294 s Remaining CPU time: 63.7057 s 116.56/116.63 c =============================================================================== 116.56/116.63 c | 20779 | 27602 235681 584783 | 78560 2883 37 | 62.107 % | 116.65/116.71 c =============================================================================== 116.65/116.71 c New solution: 179 116.65/116.71 o 179 116.65/116.71 c Elapsed CPU time: 116.369 s Remaining CPU time: 63.6307 s 116.65/116.71 c =============================================================================== 116.65/116.71 c | 20823 | 27360 235682 585083 | 78560 2754 36 | 62.107 % | 116.65/116.76 c =============================================================================== 116.65/116.76 c New solution: 178 116.65/116.76 o 178 116.65/116.76 c Elapsed CPU time: 116.419 s Remaining CPU time: 63.5807 s 116.65/116.76 c =============================================================================== 116.65/116.76 c | 20832 | 27118 235683 585383 | 78561 2763 36 | 62.107 % | 116.75/116.82 c =============================================================================== 116.75/116.82 c New solution: 177 116.75/116.82 o 177 116.75/116.82 c Elapsed CPU time: 116.479 s Remaining CPU time: 63.5207 s 116.75/116.82 c =============================================================================== 116.75/116.82 c | 20867 | 26876 235684 585683 | 78561 2798 36 | 62.107 % | 116.75/116.89 c | 20968 | 26865 235684 585683 | 86417 2899 37 | 63.436 % | 116.85/116.95 c | 21118 | 26799 235684 585683 | 95059 3049 37 | 63.436 % | 117.05/117.15 c | 21344 | 26799 235684 585683 | 104565 3275 37 | 63.436 % | 117.15/117.24 c =============================================================================== 117.15/117.24 c New solution: 176 117.15/117.24 o 176 117.15/117.24 c Elapsed CPU time: 116.899 s Remaining CPU time: 63.1008 s 117.15/117.24 c =============================================================================== 117.15/117.24 c | 21471 | 26634 235685 585983 | 78561 3402 37 | 63.436 % | 117.25/117.31 c | 21571 | 26630 235685 585983 | 86417 3502 37 | 63.768 % | 117.35/117.40 c | 21721 | 26596 235685 585983 | 95059 3652 37 | 63.768 % | 117.45/117.57 c | 21946 | 26392 235685 585983 | 104565 3088 37 | 63.768 % | 117.55/117.68 c =============================================================================== 117.55/117.68 c New solution: 175 117.55/117.68 o 175 117.55/117.68 c Elapsed CPU time: 117.335 s Remaining CPU time: 62.6648 s 117.55/117.68 c =============================================================================== 117.55/117.68 c | 22081 | 26392 235686 586283 | 78562 3223 37 | 63.768 % | 117.65/117.75 c | 22182 | 26390 235686 586283 | 86418 3324 36 | 64.100 % | 117.75/117.83 c | 22333 | 26339 235686 586283 | 95060 3475 37 | 64.100 % | 117.85/117.93 c | 22560 | 26338 235686 586283 | 104566 3702 37 | 64.100 % | 118.05/118.20 c | 22897 | 26336 235686 586283 | 115022 4039 38 | 64.100 % | 118.66/118.73 c | 23407 | 26150 235686 586283 | 126524 4304 38 | 64.100 % | 119.05/119.15 c | 24168 | 26150 235686 586283 | 139177 5065 42 | 64.100 % | 120.25/120.38 c | 25307 | 26150 235686 586283 | 153095 6204 46 | 64.100 % | 120.35/120.49 c =============================================================================== 120.35/120.49 c New solution: 174 120.35/120.49 o 174 120.35/120.49 c Elapsed CPU time: 120.126 s Remaining CPU time: 59.8743 s 120.35/120.49 c =============================================================================== 120.35/120.49 c | 25407 | 26150 235687 586583 | 78562 6304 45 | 64.100 % | 120.45/120.57 c | 25508 | 25908 235687 586583 | 86418 5874 45 | 64.433 % | 120.55/120.69 c | 25658 | 25908 235687 586583 | 95060 6024 45 | 64.433 % | 120.75/120.81 c | 25884 | 25908 235687 586583 | 104566 6250 44 | 64.433 % | 120.95/121.01 c | 26221 | 25908 235687 586583 | 115023 6587 45 | 64.433 % | 121.45/121.51 c | 26727 | 25908 235687 586583 | 126525 7093 46 | 64.433 % | 121.45/121.57 c =============================================================================== 121.45/121.57 c New solution: 173 121.45/121.57 o 173 121.45/121.57 c Elapsed CPU time: 121.202 s Remaining CPU time: 58.7984 s 121.45/121.57 c =============================================================================== 121.45/121.57 c | 26755 | 25908 235688 586883 | 78562 7121 46 | 64.433 % | 121.55/121.64 c | 26855 | 25666 235688 586883 | 86418 6628 45 | 64.765 % | 121.65/121.79 c | 27005 | 25666 235688 586883 | 95060 6778 45 | 64.765 % | 121.85/121.92 c | 27231 | 25666 235688 586883 | 104566 7004 45 | 64.765 % | 122.15/122.23 c | 27569 | 25666 235688 586883 | 115023 7342 45 | 64.765 % | 122.15/122.30 c =============================================================================== 122.15/122.30 c New solution: 172 122.15/122.30 o 172 122.15/122.30 c Elapsed CPU time: 121.927 s Remaining CPU time: 58.0725 s 122.15/122.30 c =============================================================================== 122.15/122.30 c | 27604 | 25666 235689 587183 | 78563 7377 44 | 64.765 % | 122.24/122.35 c =============================================================================== 122.24/122.35 c New solution: 171 122.24/122.35 o 171 122.24/122.35 c Elapsed CPU time: 121.985 s Remaining CPU time: 58.0145 s 122.24/122.35 c =============================================================================== 122.24/122.35 c | 27624 | 25424 235690 587483 | 78563 7397 44 | 64.765 % | 122.34/122.43 c | 27724 | 25351 235690 587483 | 86419 7497 45 | 65.429 % | 122.44/122.53 c | 27874 | 25182 235690 587483 | 95061 6396 42 | 65.429 % | 122.65/122.75 c | 28099 | 25182 235690 587483 | 104567 6621 42 | 65.429 % | 122.75/122.81 c =============================================================================== 122.75/122.81 c New solution: 170 122.75/122.81 o 170 122.75/122.81 c Elapsed CPU time: 122.438 s Remaining CPU time: 57.5616 s 122.75/122.81 c =============================================================================== 122.75/122.81 c | 28116 | 25182 235691 587783 | 78563 6638 42 | 65.429 % | 122.75/122.87 c =============================================================================== 122.75/122.87 c New solution: 169 122.75/122.87 o 169 122.75/122.87 c Elapsed CPU time: 122.499 s Remaining CPU time: 57.5006 s 122.75/122.87 c =============================================================================== 122.75/122.87 c | 28158 | 24940 235692 588083 | 78564 6680 42 | 65.429 % | 122.85/122.97 c | 28260 | 24884 235692 588083 | 86420 6782 42 | 66.094 % | 122.95/123.06 c | 28410 | 24882 235692 588083 | 95062 6932 42 | 66.094 % | 123.16/123.28 c | 28635 | 24873 235692 588083 | 104568 7157 42 | 66.094 % | 123.25/123.34 c =============================================================================== 123.25/123.34 c New solution: 168 123.25/123.34 o 168 123.25/123.34 c Elapsed CPU time: 122.97 s Remaining CPU time: 57.0297 s 123.25/123.34 c =============================================================================== 123.25/123.34 c | 28657 | 24698 235693 588383 | 78564 6403 42 | 66.094 % | 123.35/123.41 c | 28757 | 24655 235693 588383 | 86420 6503 43 | 66.426 % | 123.45/123.51 c | 28907 | 24654 235693 588383 | 95062 6653 43 | 66.426 % | 123.55/123.67 c | 29133 | 24652 235693 588383 | 104569 6879 42 | 66.426 % | 123.75/123.83 c | 29473 | 24644 235693 588383 | 115026 7219 42 | 66.426 % | 123.95/124.03 c | 29979 | 24644 235693 588383 | 126528 7725 43 | 66.426 % | 124.84/124.94 c | 30738 | 24456 235693 588383 | 139181 8115 43 | 66.426 % | 125.35/125.40 c | 31877 | 24456 235693 588383 | 153099 9254 44 | 66.426 % | 126.04/126.15 c | 33586 | 24456 235693 588383 | 168409 10963 45 | 66.426 % | 128.75/128.89 c | 36148 | 24456 235693 588383 | 185250 13525 50 | 66.426 % | 130.64/130.71 c | 39992 | 24456 235693 588383 | 203775 17369 55 | 66.426 % | 134.24/134.32 c | 45760 | 24456 235693 588383 | 224153 23137 55 | 66.426 % | 146.34/146.45 c | 54409 | 24456 235693 588383 | 246568 31786 62 | 66.426 % | 146.64/146.74 c =============================================================================== 146.64/146.74 c New solution: 167 146.64/146.74 o 167 146.64/146.74 c Elapsed CPU time: 146.277 s Remaining CPU time: 33.7232 s 146.64/146.74 c =============================================================================== 146.64/146.74 c | 54679 | 24456 235694 588683 | 78564 32056 62 | 66.426 % | 146.74/146.87 c | 54779 | 24214 235694 588683 | 86421 30949 61 | 66.758 % | 146.94/147.09 c | 54930 | 24214 235694 588683 | 95063 31100 61 | 66.758 % | 147.14/147.20 c | 55155 | 24214 235694 588683 | 104569 31325 61 | 66.758 % | 147.24/147.38 c | 55492 | 24214 235694 588683 | 115026 31662 61 | 66.758 % | 147.84/147.94 c | 55998 | 24214 235694 588683 | 126529 32168 61 | 66.758 % | 147.94/148.01 c =============================================================================== 147.94/148.01 c New solution: 166 147.94/148.01 o 166 147.94/148.01 c Elapsed CPU time: 147.548 s Remaining CPU time: 32.4524 s 147.94/148.01 c =============================================================================== 147.94/148.01 c | 56038 | 24214 235695 588983 | 78565 32208 60 | 66.758 % | 147.94/148.08 c | 56139 | 24159 235695 588983 | 86421 32309 60 | 67.090 % | 148.14/148.27 c | 56289 | 24154 235695 588983 | 95063 32459 60 | 67.090 % | 148.45/148.51 c | 56516 | 24148 235695 588983 | 104570 32686 60 | 67.090 % | 148.54/148.66 c =============================================================================== 148.54/148.66 c New solution: 165 148.54/148.66 o 165 148.54/148.66 c Elapsed CPU time: 148.186 s Remaining CPU time: 31.8135 s 148.54/148.66 c =============================================================================== 148.54/148.66 c | 56750 | 23972 235696 589283 | 78565 32920 60 | 67.090 % | 148.64/148.73 c | 56851 | 23965 235696 589283 | 86421 33021 60 | 67.423 % | 148.84/148.90 c | 57001 | 23948 235696 589283 | 95064 33171 60 | 67.423 % | 148.94/149.01 c | 57226 | 23947 235696 589283 | 104570 33396 60 | 67.423 % | 149.14/149.28 c | 57563 | 23945 235696 589283 | 115027 33733 60 | 67.423 % | 149.34/149.46 c | 58070 | 23938 235696 589283 | 126530 34240 59 | 67.423 % | 149.93/150.06 c | 58829 | 23730 235696 589283 | 139183 25007 51 | 67.423 % | 150.43/150.56 c | 59968 | 23730 235696 589283 | 153101 26146 52 | 67.423 % | 152.03/152.17 c | 61676 | 23730 235696 589283 | 168411 27854 53 | 67.423 % | 155.33/155.43 c | 64239 | 23730 235696 589283 | 185252 30417 53 | 67.423 % | 156.84/156.97 c | 68083 | 23730 235696 589283 | 203778 34261 53 | 67.423 % | 160.73/160.83 c | 73849 | 23730 235696 589283 | 224156 40027 54 | 67.423 % | 171.54/171.63 c | 82498 | 23730 235696 589283 | 246571 48676 56 | 67.423 % | 173.43/173.54 c =============================================================================== 173.43/173.54 c New solution: 164 173.43/173.54 o 164 173.43/173.54 c Elapsed CPU time: 172.97 s Remaining CPU time: 7.0303 s 173.43/173.54 c =============================================================================== 173.43/173.54 c | 87060 | 23730 235697 589583 | 78565 53238 55 | 67.423 % | 173.64/173.70 c | 87162 | 23488 235697 589583 | 86422 49665 54 | 67.755 % | 173.73/173.82 c | 87313 | 23488 235697 589583 | 95064 49816 54 | 67.755 % | 173.83/173.95 c | 87539 | 23488 235697 589583 | 104570 50042 54 | 67.755 % | 174.13/174.20 c | 87876 | 23488 235697 589583 | 115027 50379 54 | 67.755 % | 174.73/174.89 c | 88382 | 23488 235697 589583 | 126530 50885 54 | 67.755 % | 175.12/175.21 c | 89141 | 23488 235697 589583 | 139183 51644 54 | 67.755 % | 175.73/175.86 c | 90281 | 23488 235697 589583 | 153102 52784 54 | 67.755 % | 178.03/178.15 c | 91989 | 23488 235697 589583 | 168412 54492 54 | 67.755 % | 179.03/179.12 c =============================================================================== 179.03/179.12 c New solution: 163 179.03/179.12 o 163 179.03/179.12 c Elapsed CPU time: 178.532 s Remaining CPU time: 1.46814 s 179.03/179.12 c =============================================================================== 179.03/179.12 c | 93862 | 23488 235698 589883 | 78566 56365 54 | 67.755 % | 179.14/179.29 c | 93962 | 23246 235698 589883 | 86422 52337 53 | 68.087 % | 179.33/179.47 c | 94112 | 23246 235698 589883 | 95064 52487 53 | 68.087 % | 179.43/179.59 c | 94337 | 23246 235698 589883 | 104571 52712 53 | 68.087 % | 179.83/179.96 c | 94674 | 23246 235698 589883 | 115028 53049 53 | 68.087 % | 180.13/180.21 c | 95180 | 23246 235698 589883 | 126531 53555 53 | 68.087 % | 180.53/180.61 c There are 49596 assigned variables. 235 in cost function. 181.03/181.14 c core #1 181.03/181.14 c ============================[ Search Statistics ]============================== 181.03/181.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.03/181.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.03/181.14 c =============================================================================== 181.03/181.14 c | 0 | 7758 115771 171420 | 38590 0 nan | 0.000 % | 181.03/181.19 c | 100 | 7758 115771 171420 | 42449 100 24 | 89.359 % | 181.13/181.29 c | 250 | 7758 115771 171420 | 46694 250 28 | 89.359 % | 181.33/181.45 c | 475 | 7758 115771 171420 | 51363 475 33 | 89.359 % | 181.53/181.67 c | 814 | 7758 115771 171420 | 56500 814 32 | 89.359 % | 181.93/182.04 c | 1320 | 7758 115771 171420 | 62150 1320 37 | 89.359 % | 182.43/182.50 c | 2079 | 7758 115771 171420 | 68365 2079 36 | 89.359 % | 183.13/183.24 c | 3219 | 7739 115771 171420 | 75201 2933 40 | 89.385 % | 184.42/184.55 c | 4929 | 7739 115771 171420 | 82721 4643 43 | 89.385 % | 186.62/186.76 c | 7493 | 7727 115771 171420 | 90993 6888 46 | 89.402 % | 189.83/189.93 c | 11337 | 7696 115771 171420 | 100093 10547 48 | 89.445 % | 195.52/195.60 c | 17103 | 7530 115771 171420 | 110102 11652 46 | 89.672 % | 198.13/198.21 c =============================================================================== 198.32/198.41 c core #2 198.32/198.41 c ============================[ Search Statistics ]============================== 198.32/198.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.32/198.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.32/198.41 c =============================================================================== 198.32/198.41 c | 0 | 8132 115846 174333 | 38615 0 nan | 0.000 % | 198.32/198.47 c | 101 | 8132 115846 174333 | 42476 101 25 | 88.856 % | 198.42/198.55 c | 251 | 8132 115846 174333 | 46724 251 26 | 88.856 % | 198.52/198.68 c | 477 | 8132 115846 174333 | 51397 477 29 | 88.856 % | 198.82/198.92 c | 815 | 8132 115846 174333 | 56536 815 36 | 88.856 % | 199.12/199.23 c | 1322 | 8132 115846 174333 | 62190 1322 37 | 88.856 % | 199.62/199.78 c | 2081 | 8132 115846 174333 | 68409 2081 41 | 88.856 % | 200.42/200.53 c | 3222 | 8132 115846 174333 | 75250 3222 40 | 88.856 % | 201.62/201.70 c | 4930 | 8132 115846 174333 | 82775 4930 39 | 88.856 % | 203.43/203.57 c | 7494 | 8132 115846 174333 | 91052 7494 42 | 88.856 % | 206.73/206.88 c | 11338 | 8132 115846 174333 | 100158 11338 44 | 88.856 % | 212.12/212.25 c | 17106 | 8109 115846 174333 | 110174 16534 46 | 88.888 % | 221.61/221.71 c | 25755 | 8109 115846 174333 | 121191 25183 49 | 88.888 % | 239.01/239.13 c | 38730 | 8097 115846 174333 | 133310 36998 53 | 88.904 % | 256.61/256.77 c =============================================================================== 256.81/256.98 c core #3 256.81/256.98 c ============================[ Search Statistics ]============================== 256.81/256.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.81/256.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.81/256.98 c =============================================================================== 256.81/256.98 c | 0 | 8437 115921 181399 | 38640 0 nan | 0.000 % | 256.91/257.04 c | 102 | 8437 115921 181399 | 42504 102 22 | 88.448 % | 257.00/257.13 c | 253 | 8437 115921 181399 | 46754 253 27 | 88.448 % | 257.10/257.29 c | 480 | 8437 115921 181399 | 51430 480 35 | 88.448 % | 257.40/257.53 c | 820 | 8437 115921 181399 | 56573 820 42 | 88.448 % | 257.81/257.90 c | 1327 | 8437 115921 181399 | 62230 1327 41 | 88.448 % | 258.21/258.35 c | 2087 | 8437 115921 181399 | 68453 2087 38 | 88.448 % | 258.90/259.09 c | 3229 | 8437 115921 181399 | 75299 3229 37 | 88.448 % | 260.21/260.32 c | 4941 | 8437 115921 181399 | 82828 4941 39 | 88.448 % | 262.11/262.25 c | 7503 | 8437 115921 181399 | 91111 7503 40 | 88.448 % | 265.01/265.15 c | 11348 | 8437 115921 181399 | 100223 11348 41 | 88.448 % | 270.20/270.35 c | 17115 | 8437 115921 181399 | 110245 17115 43 | 88.448 % | 279.10/279.28 c | 25768 | 8437 115921 181399 | 121269 25768 43 | 88.448 % | 296.49/296.60 c | 38744 | 8410 115921 181399 | 133396 34951 44 | 88.485 % | 327.28/327.46 c | 58205 | 8410 115921 181399 | 146736 54412 48 | 88.485 % | 389.05/389.25 c | 87397 | 8410 115921 181399 | 161410 83604 52 | 88.485 % | 517.32/517.59 c | 131186 | 8030 115921 181399 | 177551 25785 33 | 89.006 % | 521.32/521.50 c =============================================================================== 521.62/521.80 c core #4 521.62/521.80 c ============================[ Search Statistics ]============================== 521.62/521.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 521.62/521.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 521.62/521.80 c =============================================================================== 521.62/521.80 c | 0 | 8741 116022 182239 | 38674 0 nan | 0.000 % | 521.62/521.86 c | 101 | 8741 116022 182239 | 42541 101 24 | 88.042 % | 521.72/521.95 c | 251 | 8741 116022 182239 | 46795 251 31 | 88.042 % | 521.82/522.07 c | 477 | 8741 116022 182239 | 51475 477 31 | 88.042 % | 522.11/522.31 c | 814 | 8741 116022 182239 | 56622 814 34 | 88.042 % | 522.41/522.61 c | 1321 | 8741 116022 182239 | 62284 1321 34 | 88.042 % | 522.82/523.07 c | 2080 | 8741 116022 182239 | 68513 2080 35 | 88.042 % | 523.52/523.77 c | 3220 | 8741 116022 182239 | 75364 3220 36 | 88.042 % | 524.82/525.07 c | 4930 | 8741 116022 182239 | 82901 4930 42 | 88.042 % | 526.91/527.13 c | 7496 | 8741 116022 182239 | 91191 7496 45 | 88.042 % | 530.32/530.53 c | 11340 | 8741 116022 182239 | 100310 11340 44 | 88.042 % | 535.61/535.87 c | 17109 | 8741 116022 182239 | 110341 17109 47 | 88.042 % | 544.51/544.75 c | 25761 | 8741 116022 182239 | 121375 25761 46 | 88.042 % | 559.21/559.48 c | 38736 | 8741 116022 182239 | 133513 38736 45 | 88.042 % | 591.30/591.57 c | 58197 | 8741 116022 182239 | 146864 58197 52 | 88.042 % | 645.18/645.45 c | 87389 | 8710 116022 182239 | 161550 77008 53 | 88.085 % | 754.55/754.89 c | 131178 | 8686 116022 182239 | 177705 91899 49 | 88.117 % | 946.49/946.89 c | 196863 | 8686 116022 182239 | 195476 157584 54 | 88.117 % | 1358.57/1359.01 c | 295389 | 8686 116022 182239 | 215024 256110 59 | 88.117 % | 1725.36/1725.92 c | 443179 | 8485 116022 182239 | 236526 54543 46 | 88.392 % |
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-2687282-1278450902/watcher-2687282-1278450902 -o /tmp/evaluation-result-2687282-1278450902/solver-2687282-1278450902 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687282-1278450902.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21829 /proc/meminfo: memFree=1819252/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=10856 CPUtime=0 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 375 0 0 0 0 0 0 0 17 0 1 0 13297415 11116544 293 1992294400 134512640 135751879 4294404832 18446744073709551615 134559639 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 2714 293 144 303 0 446 0 [startup+0.014179 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21829 /proc/meminfo: memFree=1819252/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=11008 CPUtime=0.01 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 446 0 0 0 1 0 0 0 17 0 1 0 13297415 11272192 364 1992294400 134512640 135751879 4294404832 18446744073709551615 134560564 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 2752 365 153 303 0 484 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11008 [startup+0.101188 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21829 /proc/meminfo: memFree=1819252/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=15752 CPUtime=0.09 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 1628 0 0 0 9 0 0 0 17 0 1 0 13297415 16130048 1546 1992294400 134512640 135751879 4294404832 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 3938 1547 288 303 0 1670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15752 [startup+0.301208 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21829 /proc/meminfo: memFree=1819252/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=19892 CPUtime=0.29 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 2918 0 0 0 29 0 0 0 17 0 1 0 13297415 20369408 2803 1992294400 134512640 135751879 4294404832 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 4973 2803 589 303 0 2705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19892 [startup+0.701252 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21829 /proc/meminfo: memFree=1819252/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=26532 CPUtime=0.69 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 5048 0 0 0 67 2 0 0 17 0 1 0 13297415 27168768 4844 1992294400 134512640 135751879 4294404832 18446744073709551615 135389801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 6633 4844 1211 303 0 4365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26532 [startup+1.50134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21830 /proc/meminfo: memFree=1799404/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=37044 CPUtime=1.49 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 8273 0 0 0 146 3 0 0 18 0 1 0 13297415 37933056 8004 1992294400 134512640 135751879 4294404832 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 9261 8004 2012 303 0 6993 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37044 [startup+3.10151 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21830 /proc/meminfo: memFree=1769148/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=56164 CPUtime=3.09 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 15220 0 0 0 304 5 0 0 21 0 1 0 13297415 57511936 12763 1992294400 134512640 135751879 4294404832 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 14041 12763 146 303 0 13736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56164 [startup+6.30085 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21830 /proc/meminfo: memFree=1761832/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=64348 CPUtime=6.29 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 17264 0 0 0 623 6 0 0 25 0 1 0 13297415 65892352 14807 1992294400 134512640 135751879 4294404832 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 16087 14807 146 303 0 15782 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64348 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21830 /proc/meminfo: memFree=1750548/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=75304 CPUtime=12.69 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 20007 0 0 0 1262 7 0 0 25 0 1 0 13297415 77111296 17550 1992294400 134512640 135751879 4294404832 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 18826 17550 146 303 0 18521 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75304 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21831 /proc/meminfo: memFree=1735916/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=89032 CPUtime=25.48 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 23417 0 0 0 2539 9 0 0 25 0 1 0 13297415 91168768 20960 1992294400 134512640 135751879 4294404832 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 22258 20960 146 303 0 21953 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89032 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21831 /proc/meminfo: memFree=1716200/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=108964 CPUtime=51.07 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 28421 0 0 0 5095 12 0 0 25 0 1 0 13297415 111579136 25964 1992294400 134512640 135751879 4294404832 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 27241 25964 146 303 0 26936 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 108964 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21833 /proc/meminfo: memFree=1698220/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=125288 CPUtime=102.26 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 33930 0 0 0 10206 20 0 0 25 0 1 0 13297415 128294912 30158 1992294400 134512640 135751879 4294404832 18446744073709551615 134604718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 31322 30158 147 303 0 31017 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 125288 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21834 /proc/meminfo: memFree=1697972/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=125288 CPUtime=162.23 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 33930 0 0 0 16175 48 0 0 25 0 1 0 13297415 128294912 30158 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 31322 30158 147 303 0 31017 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 125288 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21836 /proc/meminfo: memFree=1708636/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=111956 CPUtime=222.21 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 34797 0 0 0 22149 72 0 0 25 0 1 0 13297415 114642944 27491 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 27989 27491 151 303 0 27684 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 111956 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21839 /proc/meminfo: memFree=1705288/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=116820 CPUtime=282.19 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 35653 0 0 0 28125 94 0 0 25 0 1 0 13297415 119623680 28347 1992294400 134512640 135751879 4294404832 18446744073709551615 134606822 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 29205 28347 151 303 0 28900 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 116820 [startup+342.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21842 /proc/meminfo: memFree=1705040/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=116820 CPUtime=342.17 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 35653 0 0 0 34105 112 0 0 25 0 1 0 13297415 119623680 28347 1992294400 134512640 135751879 4294404832 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 29205 28347 151 303 0 28900 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 116820 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 21844 /proc/meminfo: memFree=1705040/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=116820 CPUtime=402.15 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 35653 0 0 0 40091 124 0 0 25 0 1 0 13297415 119623680 28347 1992294400 134512640 135751879 4294404832 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 29205 28347 151 303 0 28900 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 116820 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21845 /proc/meminfo: memFree=1705040/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=116820 CPUtime=462.14 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 35653 0 0 0 46074 140 0 0 25 0 1 0 13297415 119623680 28347 1992294400 134512640 135751879 4294404832 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 29205 28347 151 303 0 28900 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 116820 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21847 /proc/meminfo: memFree=1705040/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=114388 CPUtime=522.11 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 36082 0 0 0 52061 150 0 0 25 0 1 0 13297415 117133312 27920 1992294400 134512640 135751879 4294404832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 28597 27920 151 303 0 28292 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 114388 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21848 /proc/meminfo: memFree=1706156/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=114388 CPUtime=582.09 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 36082 0 0 0 58038 171 0 0 25 0 1 0 13297415 117133312 27920 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 28597 27920 151 303 0 28292 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 114388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21850 /proc/meminfo: memFree=1706156/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=114388 CPUtime=642.09 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 36086 0 0 0 64022 187 0 0 25 0 1 0 13297415 117133312 27924 1992294400 134512640 135751879 4294404832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 28597 27924 151 303 0 28292 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 114388 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21855 /proc/meminfo: memFree=1690284/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=130960 CPUtime=822.03 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 40201 0 0 0 81972 231 0 0 25 0 1 0 13297415 134103040 32039 1992294400 134512640 135751879 4294404832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 32740 32039 151 303 0 32435 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 130960 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21856 /proc/meminfo: memFree=1684704/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=136504 CPUtime=882.01 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 41583 0 0 0 87956 245 0 0 25 0 1 0 13297415 139780096 33421 1992294400 134512640 135751879 4294404832 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 34126 33421 151 303 0 33821 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 136504 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21858 /proc/meminfo: memFree=1679372/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=141924 CPUtime=942 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 42902 0 0 0 93943 257 0 0 25 0 1 0 13297415 145330176 34740 1992294400 134512640 135751879 4294404832 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 35481 34740 151 303 0 35176 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 141924 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21860 /proc/meminfo: memFree=1673048/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=148204 CPUtime=1001.97 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 44478 0 0 0 99930 267 0 0 25 0 1 0 13297415 151760896 36316 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 37051 36316 151 303 0 36746 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 148204 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21861 /proc/meminfo: memFree=1667344/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=153880 CPUtime=1061.96 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 45917 0 0 0 105917 279 0 0 25 0 1 0 13297415 157573120 37755 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 38470 37755 151 303 0 38165 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 153880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21863 /proc/meminfo: memFree=1661516/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=159592 CPUtime=1121.94 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 47344 0 0 0 111903 291 0 0 25 0 1 0 13297415 163422208 39182 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 39898 39182 151 303 0 39593 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 159592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21864 /proc/meminfo: memFree=1656556/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=164900 CPUtime=1181.93 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 48585 0 0 0 117892 301 0 0 25 0 1 0 13297415 168857600 40423 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 41225 40423 151 303 0 40920 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 164900 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21866 /proc/meminfo: memFree=1651844/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=169392 CPUtime=1241.91 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 49739 0 0 0 123881 310 0 0 25 0 1 0 13297415 173457408 41577 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 42348 41577 151 303 0 42043 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 169392 [startup+1302.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 21868 /proc/meminfo: memFree=1647256/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=173896 CPUtime=1301.89 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 50860 0 0 0 129871 318 0 0 25 0 1 0 13297415 178069504 42698 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 43474 42698 151 303 0 43169 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 173896 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 21869 /proc/meminfo: memFree=1642420/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=178608 CPUtime=1361.86 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 52045 0 0 0 135860 326 0 0 25 0 1 0 13297415 182894592 43883 1992294400 134512640 135751879 4294404832 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 44652 43883 151 303 0 44347 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 178608 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21871 /proc/meminfo: memFree=1638080/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=182832 CPUtime=1421.85 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 53118 0 0 0 141850 335 0 0 25 0 1 0 13297415 187219968 44956 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 45708 44956 151 303 0 45403 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 182832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21872 /proc/meminfo: memFree=1634112/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=186888 CPUtime=1481.82 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 54121 0 0 0 147837 345 0 0 25 0 1 0 13297415 191373312 45959 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 46722 45959 151 303 0 46417 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 186888 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21874 /proc/meminfo: memFree=1623448/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=197524 CPUtime=1541.81 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 56771 0 0 0 153820 361 0 0 25 0 1 0 13297415 202264576 48609 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 49381 48609 151 303 0 49076 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 197524 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21876 /proc/meminfo: memFree=1611792/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=209404 CPUtime=1601.79 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 59714 0 0 0 159799 380 0 0 25 0 1 0 13297415 214429696 51552 1992294400 134512640 135751879 4294404832 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 52351 51552 151 303 0 52046 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 209404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21877 /proc/meminfo: memFree=1600384/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=220624 CPUtime=1661.77 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 62544 0 0 0 165777 400 0 0 25 0 1 0 13297415 225918976 54382 1992294400 134512640 135751879 4294404832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 55156 54382 151 303 0 54851 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 220624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21879 /proc/meminfo: memFree=1590836/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=230260 CPUtime=1721.75 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 64942 0 0 0 171762 413 0 0 25 0 1 0 13297415 235786240 56780 1992294400 134512640 135751879 4294404832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 57565 56780 151 303 0 57260 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 230260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21880 /proc/meminfo: memFree=1580172/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=240556 CPUtime=1781.73 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 67529 0 0 0 177743 430 0 0 25 0 1 0 13297415 246329344 59367 1992294400 134512640 135751879 4294404832 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 60139 59367 151 303 0 59834 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 240556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21881 /proc/meminfo: memFree=1577320/2059040 swapFree=4165016/4192956 [pid=21829] ppid=21827 vsize=243328 CPUtime=1800.04 /proc/21829/stat : 21829 (wbo1.4b) R 21827 21829 21600 0 -1 4202496 68212 0 0 0 179569 435 0 0 25 0 1 0 13297415 249167872 60050 1992294400 134512640 135751879 4294404832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21829/statm: 60832 60050 151 303 0 60527 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 243328 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.08 CPU user time (s): 1795.69 CPU system time (s): 4.38333 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 243328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.69 system time used= 4.38333 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68212 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= 60 involuntary context switches= 1964 runsolver used 2.77758 second user time and 8.73567 second system time The end
Begin job on node047 at 2010-07-06 23:15:03 IDJOB=2687282 IDBENCH=77567 IDSOLVER=1161 FILE ID=node047/2687282-1278450902 PBS_JOBID= 11233529 Free space on /tmp= 62468 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687282-1278450902/watcher-2687282-1278450902 -o /tmp/evaluation-result-2687282-1278450902/solver-2687282-1278450902 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687282-1278450902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1ad880d8b0218ee8fbfe589c0282393 RANDOM SEED=402032189 node047.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820028 kB Buffers: 10548 kB Cached: 122056 kB SwapCached: 1388 kB Active: 58216 kB Inactive: 107676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820028 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 10468 kB Writeback: 0 kB AnonPages: 31860 kB Mapped: 13328 kB Slab: 51228 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180240 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687282-1278450902.opb Free space on /tmp at the end= 62468 MiB End job on node047 at 2010-07-06 23:45:05