Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2687293-1278451161.opb. 0.00/0.00 c Instance file HOME/instance-2687293-1278451161.opb 0.00/0.00 c File size is 8036789 bytes. 1.59/1.69 c Highest Coefficient sum: 728 1.59/1.69 c ============================[ Problem Statistics ]============================= 1.59/1.69 c | | 1.59/1.69 c | Parsing time: 1.66 s | 1.59/1.69 c | Number Variables: 72842 | 1.59/1.69 c | Number Clauses: 232984 | 1.59/1.69 c | Number Cardinality: 0 | 1.59/1.69 c | Number PB Constraints: 1200 | 96.67/96.70 c ============================[ Search Statistics ]============================== 96.67/96.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.67/96.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.67/96.70 c =============================================================================== 96.67/96.70 c | 0 | 55954 235560 548483 | 78061 0 nan | 0.000 % | 96.67/96.77 c =============================================================================== 96.67/96.77 c New solution: 300 96.67/96.77 o 300 96.67/96.77 c Elapsed CPU time: 96.5763 s Remaining CPU time: 83.4237 s 96.67/96.77 c =============================================================================== 96.67/96.77 c | 0 | 55954 235561 548783 | 78520 0 nan | 0.000 % | 96.77/96.85 c | 100 | 55869 235561 548783 | 86372 100 46 | 23.351 % | 96.86/96.96 c | 250 | 55868 235561 548783 | 95009 250 39 | 23.351 % | 97.06/97.10 c | 477 | 55867 235561 548783 | 104510 477 41 | 23.351 % | 97.16/97.26 c | 814 | 55833 235561 548783 | 114961 814 37 | 23.351 % | 97.26/97.31 c =============================================================================== 97.26/97.31 c New solution: 299 97.26/97.31 o 299 97.26/97.31 c Elapsed CPU time: 97.1202 s Remaining CPU time: 82.8798 s 97.26/97.31 c =============================================================================== 97.26/97.31 c | 821 | 55833 235562 549083 | 78520 821 37 | 23.351 % | 97.26/97.38 c | 922 | 55798 235562 549083 | 86372 922 38 | 23.530 % | 97.36/97.46 c | 1072 | 55798 235562 549083 | 95010 1072 37 | 23.530 % | 97.56/97.62 c | 1299 | 55794 235562 549083 | 104511 1299 36 | 23.530 % | 97.66/97.70 c =============================================================================== 97.66/97.70 c New solution: 298 97.66/97.70 o 298 97.66/97.70 c Elapsed CPU time: 97.5062 s Remaining CPU time: 82.4938 s 97.66/97.70 c =============================================================================== 97.66/97.70 c | 1334 | 55702 235563 549383 | 78521 1098 34 | 23.530 % | 97.66/97.80 c =============================================================================== 97.66/97.80 c New solution: 297 97.66/97.80 o 297 97.66/97.80 c Elapsed CPU time: 97.5982 s Remaining CPU time: 82.4018 s 97.66/97.80 c =============================================================================== 97.66/97.80 c | 1409 | 55561 235564 549683 | 78521 1173 34 | 23.530 % | 97.76/97.86 c | 1509 | 55551 235564 549683 | 86373 1273 34 | 23.937 % | 97.86/97.95 c | 1660 | 55545 235564 549683 | 95010 1424 34 | 23.937 % | 97.96/98.02 c =============================================================================== 97.96/98.02 c New solution: 296 97.96/98.02 o 296 97.96/98.02 c Elapsed CPU time: 97.8201 s Remaining CPU time: 82.1799 s 97.96/98.02 c =============================================================================== 97.96/98.02 c | 1678 | 55406 235565 549983 | 78521 1442 34 | 23.937 % | 97.96/98.09 c | 1778 | 55370 235565 549983 | 86373 1542 34 | 24.169 % | 98.06/98.18 c | 1928 | 55237 235565 549983 | 95011 1139 32 | 24.169 % | 98.16/98.25 c =============================================================================== 98.16/98.25 c New solution: 295 98.16/98.25 o 295 98.16/98.25 c Elapsed CPU time: 98.0411 s Remaining CPU time: 81.9589 s 98.16/98.25 c =============================================================================== 98.16/98.25 c | 1955 | 55237 235566 550283 | 78522 1166 32 | 24.169 % | 98.16/98.30 c | 2055 | 55222 235566 550283 | 86374 1266 32 | 24.420 % | 98.26/98.37 c | 2206 | 55216 235566 550283 | 95011 1417 32 | 24.420 % | 98.36/98.43 c =============================================================================== 98.36/98.43 c New solution: 294 98.36/98.43 o 294 98.36/98.43 c Elapsed CPU time: 98.2191 s Remaining CPU time: 81.7809 s 98.36/98.43 c =============================================================================== 98.36/98.43 c | 2209 | 55054 235567 550583 | 78522 1420 32 | 24.420 % | 98.36/98.49 c =============================================================================== 98.36/98.49 c New solution: 293 98.36/98.49 o 293 98.36/98.49 c Elapsed CPU time: 98.2811 s Remaining CPU time: 81.7189 s 98.36/98.49 c =============================================================================== 98.36/98.49 c | 2218 | 54861 235568 550883 | 78522 1429 32 | 24.420 % | 98.46/98.57 c =============================================================================== 98.46/98.57 c New solution: 292 98.46/98.57 o 292 98.46/98.57 c Elapsed CPU time: 98.365 s Remaining CPU time: 81.635 s 98.46/98.57 c =============================================================================== 98.46/98.57 c | 2259 | 54658 235569 551183 | 78523 1470 32 | 24.420 % | 98.55/98.66 c | 2361 | 54445 235569 551183 | 86375 1149 34 | 25.256 % | 98.66/98.72 c =============================================================================== 98.66/98.72 c New solution: 291 98.66/98.72 o 291 98.66/98.72 c Elapsed CPU time: 98.506 s Remaining CPU time: 81.494 s 98.66/98.72 c =============================================================================== 98.66/98.72 c | 2375 | 54445 235570 551483 | 78523 1163 34 | 25.256 % | 98.66/98.78 c | 2475 | 54369 235570 551483 | 86375 1263 34 | 25.562 % | 98.76/98.87 c | 2625 | 54369 235570 551483 | 95013 1413 34 | 25.562 % | 98.86/98.98 c | 2851 | 54367 235570 551483 | 104514 1639 34 | 25.562 % | 98.96/99.04 c =============================================================================== 98.96/99.04 c New solution: 290 98.96/99.04 o 290 98.96/99.04 c Elapsed CPU time: 98.822 s Remaining CPU time: 81.178 s 98.96/99.04 c =============================================================================== 98.96/99.04 c | 2863 | 54222 235571 551783 | 78523 1651 34 | 25.562 % | 99.05/99.12 c =============================================================================== 99.05/99.12 c New solution: 289 99.05/99.12 o 289 99.05/99.12 c Elapsed CPU time: 98.902 s Remaining CPU time: 81.098 s 99.05/99.12 c =============================================================================== 99.05/99.12 c | 2890 | 53980 235572 552083 | 78524 1598 34 | 25.562 % | 99.15/99.21 c | 2991 | 53931 235572 552083 | 86376 1699 35 | 26.227 % | 99.25/99.34 c | 3141 | 53931 235572 552083 | 95014 1849 38 | 26.227 % | 99.35/99.42 c =============================================================================== 99.35/99.42 c New solution: 288 99.35/99.42 o 288 99.35/99.42 c Elapsed CPU time: 99.2029 s Remaining CPU time: 80.7971 s 99.35/99.42 c =============================================================================== 99.35/99.42 c | 3172 | 53738 235573 552383 | 78524 1880 38 | 26.227 % | 99.35/99.49 c =============================================================================== 99.35/99.49 c New solution: 287 99.35/99.49 o 287 99.35/99.49 c Elapsed CPU time: 99.2679 s Remaining CPU time: 80.7321 s 99.35/99.49 c =============================================================================== 99.35/99.49 c | 3196 | 53496 235574 552683 | 78524 1904 37 | 26.227 % | 99.45/99.57 c | 3297 | 53492 235574 552683 | 86377 2005 37 | 26.891 % | 99.56/99.64 c =============================================================================== 99.56/99.64 c New solution: 286 99.56/99.64 o 286 99.56/99.64 c Elapsed CPU time: 99.4209 s Remaining CPU time: 80.5791 s 99.56/99.64 c =============================================================================== 99.56/99.64 c | 3315 | 53254 235575 552983 | 78525 1695 36 | 26.891 % | 99.66/99.72 c =============================================================================== 99.66/99.72 c New solution: 285 99.66/99.72 o 285 99.66/99.72 c Elapsed CPU time: 99.4889 s Remaining CPU time: 80.5111 s 99.66/99.72 c =============================================================================== 99.66/99.72 c | 3334 | 53012 235576 553283 | 78525 1714 36 | 26.891 % | 99.66/99.79 c | 3434 | 52997 235576 553283 | 86377 1814 36 | 27.556 % | 99.75/99.88 c | 3584 | 52974 235576 553283 | 95015 1964 36 | 27.556 % | 99.96/100.02 c | 3812 | 52971 235576 553283 | 104517 2192 37 | 27.556 % | 100.06/100.12 c =============================================================================== 100.06/100.12 c New solution: 284 100.06/100.12 o 284 100.06/100.12 c Elapsed CPU time: 99.8948 s Remaining CPU time: 80.1052 s 100.06/100.12 c =============================================================================== 100.06/100.12 c | 3875 | 52770 235577 553583 | 78525 2008 35 | 27.556 % | 100.06/100.19 c =============================================================================== 100.06/100.19 c New solution: 283 100.06/100.19 o 283 100.06/100.19 c Elapsed CPU time: 99.9638 s Remaining CPU time: 80.0362 s 100.06/100.19 c =============================================================================== 100.06/100.19 c | 3895 | 52528 235578 553883 | 78526 2028 35 | 27.556 % | 100.15/100.28 c | 3997 | 52498 235578 553883 | 86378 2130 35 | 28.220 % | 100.25/100.38 c | 4147 | 52494 235578 553883 | 95016 2280 36 | 28.220 % | 100.35/100.44 c =============================================================================== 100.35/100.44 c New solution: 282 100.35/100.44 o 282 100.35/100.44 c Elapsed CPU time: 100.213 s Remaining CPU time: 79.7872 s 100.35/100.44 c =============================================================================== 100.35/100.44 c | 4160 | 52286 235579 554183 | 78526 2293 36 | 28.220 % | 100.45/100.50 c =============================================================================== 100.45/100.50 c New solution: 281 100.45/100.50 o 281 100.45/100.50 c Elapsed CPU time: 100.272 s Remaining CPU time: 79.7282 s 100.45/100.50 c =============================================================================== 100.45/100.50 c | 4166 | 52044 235580 554483 | 78526 2299 36 | 28.220 % | 100.45/100.57 c | 4266 | 52008 235580 554483 | 86379 2399 36 | 28.884 % | 100.56/100.69 c | 4417 | 51802 235580 554483 | 95017 2027 36 | 28.884 % | 100.66/100.77 c =============================================================================== 100.66/100.77 c New solution: 280 100.66/100.77 o 280 100.66/100.77 c Elapsed CPU time: 100.538 s Remaining CPU time: 79.4623 s 100.66/100.77 c =============================================================================== 100.66/100.77 c | 4464 | 51802 235581 554783 | 78527 2074 36 | 28.884 % | 100.76/100.84 c =============================================================================== 100.76/100.84 c New solution: 279 100.76/100.84 o 279 100.76/100.84 c Elapsed CPU time: 100.601 s Remaining CPU time: 79.3993 s 100.76/100.84 c =============================================================================== 100.76/100.84 c | 4475 | 51560 235582 555083 | 78527 2085 36 | 28.884 % | 100.76/100.89 c =============================================================================== 100.76/100.89 c New solution: 278 100.76/100.89 o 278 100.76/100.89 c Elapsed CPU time: 100.66 s Remaining CPU time: 79.3403 s 100.76/100.89 c =============================================================================== 100.76/100.89 c | 4481 | 51318 235583 555383 | 78527 2091 36 | 28.884 % | 100.86/100.96 c =============================================================================== 100.86/100.96 c New solution: 277 100.86/100.96 o 277 100.86/100.96 c Elapsed CPU time: 100.73 s Remaining CPU time: 79.2703 s 100.86/100.96 c =============================================================================== 100.86/100.96 c | 4484 | 51076 235584 555683 | 78528 2094 36 | 28.884 % | 100.96/101.02 c =============================================================================== 100.96/101.02 c New solution: 276 100.96/101.02 o 276 100.96/101.02 c Elapsed CPU time: 100.789 s Remaining CPU time: 79.2113 s 100.96/101.02 c =============================================================================== 100.96/101.02 c | 4490 | 50834 235585 555983 | 78528 2100 36 | 28.884 % | 101.06/101.11 c | 4591 | 50786 235585 555983 | 86381 2201 37 | 30.546 % | 101.16/101.22 c | 4741 | 50781 235585 555983 | 95019 2351 38 | 30.546 % | 101.16/101.30 c =============================================================================== 101.16/101.30 c New solution: 275 101.16/101.30 o 275 101.16/101.30 c Elapsed CPU time: 101.059 s Remaining CPU time: 78.9414 s 101.16/101.30 c =============================================================================== 101.16/101.30 c | 4766 | 50592 235586 556283 | 78528 1911 38 | 30.546 % | 101.25/101.36 c | 4866 | 50559 235586 556283 | 86381 2011 38 | 30.878 % | 101.35/101.47 c | 5016 | 50558 235586 556283 | 95019 2161 40 | 30.878 % | 101.45/101.54 c =============================================================================== 101.45/101.54 c New solution: 274 101.45/101.54 o 274 101.45/101.54 c Elapsed CPU time: 101.3 s Remaining CPU time: 78.7004 s 101.45/101.54 c =============================================================================== 101.45/101.54 c | 5025 | 50350 235587 556583 | 78529 2170 40 | 30.878 % | 101.55/101.60 c =============================================================================== 101.55/101.60 c New solution: 273 101.55/101.60 o 273 101.55/101.60 c Elapsed CPU time: 101.365 s Remaining CPU time: 78.6354 s 101.55/101.60 c =============================================================================== 101.55/101.60 c | 5049 | 50108 235588 556883 | 78529 2194 40 | 30.878 % | 101.65/101.72 c =============================================================================== 101.65/101.72 c New solution: 272 101.65/101.72 o 272 101.65/101.72 c Elapsed CPU time: 101.484 s Remaining CPU time: 78.5164 s 101.65/101.72 c =============================================================================== 101.65/101.72 c | 5130 | 49866 235589 557183 | 78529 2275 40 | 30.878 % | 101.65/101.79 c | 5230 | 49858 235589 557183 | 86382 2375 40 | 31.874 % | 101.75/101.86 c =============================================================================== 101.75/101.86 c New solution: 271 101.75/101.86 o 271 101.75/101.86 c Elapsed CPU time: 101.623 s Remaining CPU time: 78.3774 s 101.75/101.86 c =============================================================================== 101.75/101.86 c | 5239 | 49624 235590 557483 | 78530 2008 37 | 31.874 % | 101.85/101.93 c =============================================================================== 101.85/101.93 c New solution: 270 101.85/101.93 o 270 101.85/101.93 c Elapsed CPU time: 101.689 s Remaining CPU time: 78.3115 s 101.85/101.93 c =============================================================================== 101.85/101.93 c | 5260 | 49382 235591 557783 | 78530 2029 37 | 31.874 % | 101.85/101.99 c | 5361 | 49345 235591 557783 | 86383 2130 37 | 32.539 % | 101.95/102.07 c | 5511 | 49345 235591 557783 | 95021 2280 37 | 32.539 % | 102.06/102.14 c =============================================================================== 102.06/102.14 c New solution: 269 102.06/102.14 o 269 102.06/102.14 c Elapsed CPU time: 101.895 s Remaining CPU time: 78.1055 s 102.06/102.14 c =============================================================================== 102.06/102.14 c | 5527 | 49140 235592 558083 | 78530 2296 37 | 32.539 % | 102.17/102.20 c =============================================================================== 102.17/102.20 c New solution: 268 102.17/102.20 o 268 102.17/102.20 c Elapsed CPU time: 101.957 s Remaining CPU time: 78.0435 s 102.17/102.20 c =============================================================================== 102.17/102.20 c | 5547 | 48898 235593 558383 | 78531 2316 37 | 32.539 % | 102.17/102.26 c =============================================================================== 102.17/102.26 c New solution: 267 102.17/102.26 o 267 102.17/102.26 c Elapsed CPU time: 102.019 s Remaining CPU time: 77.9805 s 102.17/102.26 c =============================================================================== 102.17/102.26 c | 5566 | 48656 235594 558683 | 78531 2335 37 | 32.539 % | 102.26/102.34 c | 5666 | 48648 235594 558683 | 86384 2435 37 | 33.536 % | 102.35/102.44 c =============================================================================== 102.35/102.44 c New solution: 266 102.35/102.44 o 266 102.35/102.44 c Elapsed CPU time: 102.187 s Remaining CPU time: 77.8125 s 102.35/102.44 c =============================================================================== 102.35/102.44 c | 5737 | 48414 235595 558983 | 78531 1934 36 | 33.536 % | 102.35/102.50 c | 5837 | 48401 235595 558983 | 86384 2034 36 | 33.868 % | 102.45/102.57 c | 5987 | 48393 235595 558983 | 95023 2184 36 | 33.868 % | 102.65/102.76 c | 6213 | 48388 235595 558983 | 104525 2410 38 | 33.868 % | 102.75/102.82 c =============================================================================== 102.75/102.82 c New solution: 265 102.75/102.82 o 265 102.75/102.82 c Elapsed CPU time: 102.569 s Remaining CPU time: 77.4306 s 102.75/102.82 c =============================================================================== 102.75/102.82 c | 6223 | 48172 235596 559283 | 78532 2420 38 | 33.868 % | 102.75/102.88 c | 6324 | 48155 235596 559283 | 86385 2521 37 | 34.200 % | 102.85/102.97 c =============================================================================== 102.85/102.97 c New solution: 264 102.85/102.97 o 264 102.85/102.97 c Elapsed CPU time: 102.716 s Remaining CPU time: 77.2836 s 102.85/102.97 c =============================================================================== 102.85/102.97 c | 6385 | 47930 235597 559583 | 78532 2301 37 | 34.200 % | 102.95/103.03 c | 6486 | 47927 235597 559583 | 86385 2402 37 | 34.532 % | 103.05/103.13 c | 6637 | 47918 235597 559583 | 95024 2553 37 | 34.532 % | 103.16/103.20 c =============================================================================== 103.16/103.20 c New solution: 263 103.16/103.20 o 263 103.16/103.20 c Elapsed CPU time: 102.946 s Remaining CPU time: 77.0537 s 103.16/103.20 c =============================================================================== 103.16/103.20 c | 6650 | 47688 235598 559883 | 78532 2566 37 | 34.532 % | 103.16/103.25 c | 6750 | 47677 235598 559883 | 86385 2666 36 | 34.865 % | 103.27/103.34 c =============================================================================== 103.27/103.34 c New solution: 262 103.27/103.34 o 262 103.27/103.34 c Elapsed CPU time: 103.091 s Remaining CPU time: 76.9087 s 103.27/103.34 c =============================================================================== 103.27/103.34 c | 6796 | 47446 235599 560183 | 78533 2712 36 | 34.865 % | 103.37/103.41 c =============================================================================== 103.37/103.41 c New solution: 261 103.37/103.41 o 261 103.37/103.41 c Elapsed CPU time: 103.152 s Remaining CPU time: 76.8477 s 103.37/103.41 c =============================================================================== 103.37/103.41 c | 6813 | 47204 235600 560483 | 78533 2729 36 | 34.865 % | 103.37/103.49 c =============================================================================== 103.37/103.49 c New solution: 260 103.37/103.49 o 260 103.37/103.49 c Elapsed CPU time: 103.237 s Remaining CPU time: 76.7627 s 103.37/103.49 c =============================================================================== 103.37/103.49 c | 6856 | 46962 235601 560783 | 78533 2142 33 | 34.865 % | 103.46/103.58 c =============================================================================== 103.46/103.58 c New solution: 259 103.46/103.58 o 259 103.46/103.58 c Elapsed CPU time: 103.327 s Remaining CPU time: 76.6727 s 103.46/103.58 c =============================================================================== 103.46/103.58 c | 6948 | 46720 235602 561083 | 78534 2234 33 | 34.865 % | 103.56/103.67 c | 7048 | 46651 235602 561083 | 86387 2334 34 | 36.193 % | 103.66/103.79 c | 7199 | 46651 235602 561083 | 95026 2485 34 | 36.193 % | 103.76/103.85 c =============================================================================== 103.76/103.85 c New solution: 258 103.76/103.85 o 258 103.76/103.85 c Elapsed CPU time: 103.595 s Remaining CPU time: 76.4047 s 103.76/103.85 c =============================================================================== 103.76/103.85 c | 7205 | 46478 235603 561383 | 78534 2491 34 | 36.193 % | 103.85/103.92 c =============================================================================== 103.85/103.92 c New solution: 257 103.85/103.92 o 257 103.85/103.92 c Elapsed CPU time: 103.667 s Remaining CPU time: 76.3328 s 103.85/103.92 c =============================================================================== 103.85/103.92 c | 7250 | 46236 235604 561683 | 78534 2536 34 | 36.193 % | 103.95/104.00 c =============================================================================== 103.95/104.00 c New solution: 256 103.95/104.00 o 256 103.95/104.00 c Elapsed CPU time: 103.741 s Remaining CPU time: 76.2588 s 103.95/104.00 c =============================================================================== 103.95/104.00 c | 7294 | 45994 235605 561983 | 78535 2580 34 | 36.193 % | 103.95/104.06 c | 7395 | 45752 235605 561983 | 86388 2252 33 | 37.190 % | 104.05/104.18 c | 7545 | 45752 235605 561983 | 95027 2402 33 | 37.190 % | 104.15/104.26 c =============================================================================== 104.15/104.26 c New solution: 255 104.15/104.26 o 255 104.15/104.26 c Elapsed CPU time: 103.994 s Remaining CPU time: 76.0058 s 104.15/104.26 c =============================================================================== 104.15/104.26 c | 7580 | 45752 235606 562283 | 78535 2437 33 | 37.190 % | 104.26/104.31 c =============================================================================== 104.26/104.31 c New solution: 254 104.26/104.31 o 254 104.26/104.31 c Elapsed CPU time: 104.049 s Remaining CPU time: 75.9508 s 104.26/104.31 c =============================================================================== 104.26/104.31 c | 7587 | 45510 235607 562583 | 78535 2444 33 | 37.190 % | 104.26/104.37 c | 7687 | 45432 235607 562583 | 86389 2544 33 | 37.855 % | 104.37/104.47 c | 7838 | 45430 235607 562583 | 95028 2695 33 | 37.855 % | 104.56/104.60 c | 8063 | 45426 235607 562583 | 104530 2920 34 | 37.855 % | 104.76/104.82 c | 8400 | 45268 235607 562583 | 114984 2902 35 | 37.855 % | 104.76/104.88 c =============================================================================== 104.76/104.88 c New solution: 253 104.76/104.88 o 253 104.76/104.88 c Elapsed CPU time: 104.613 s Remaining CPU time: 75.3869 s 104.76/104.88 c =============================================================================== 104.76/104.88 c | 8410 | 45268 235608 562883 | 78536 2912 35 | 37.855 % | 104.86/104.95 c =============================================================================== 104.86/104.95 c New solution: 252 104.86/104.95 o 252 104.86/104.95 c Elapsed CPU time: 104.683 s Remaining CPU time: 75.3169 s 104.86/104.95 c =============================================================================== 104.86/104.95 c | 8448 | 45026 235609 563183 | 78536 2950 35 | 37.855 % | 104.96/105.01 c | 8548 | 45018 235609 563183 | 86389 3050 35 | 38.519 % | 105.06/105.13 c | 8700 | 45014 235609 563183 | 95028 3202 35 | 38.519 % | 105.06/105.19 c =============================================================================== 105.06/105.19 c New solution: 251 105.06/105.19 o 251 105.06/105.19 c Elapsed CPU time: 104.922 s Remaining CPU time: 75.078 s 105.06/105.19 c =============================================================================== 105.06/105.19 c | 8710 | 44784 235610 563483 | 78536 3212 35 | 38.519 % | 105.16/105.26 c =============================================================================== 105.16/105.26 c New solution: 250 105.16/105.26 o 250 105.16/105.26 c Elapsed CPU time: 104.996 s Remaining CPU time: 75.004 s 105.16/105.26 c =============================================================================== 105.16/105.26 c | 8740 | 44542 235611 563783 | 78537 2572 33 | 38.519 % | 105.26/105.33 c =============================================================================== 105.26/105.33 c New solution: 249 105.26/105.33 o 249 105.26/105.33 c Elapsed CPU time: 105.067 s Remaining CPU time: 74.933 s 105.26/105.33 c =============================================================================== 105.26/105.33 c | 8759 | 44300 235612 564083 | 78537 2591 33 | 38.519 % | 105.35/105.40 c | 8859 | 44250 235612 564083 | 86391 2691 33 | 39.516 % | 105.35/105.48 c | 9009 | 44249 235612 564083 | 95030 2841 33 | 39.516 % | 105.56/105.65 c =============================================================================== 105.56/105.65 c New solution: 248 105.56/105.65 o 248 105.56/105.65 c Elapsed CPU time: 105.381 s Remaining CPU time: 74.619 s 105.56/105.65 c =============================================================================== 105.56/105.65 c | 9178 | 44058 235613 564383 | 78537 3010 34 | 39.516 % | 105.65/105.71 c | 9279 | 44050 235613 564383 | 86391 3111 34 | 39.848 % | 105.75/105.81 c | 9430 | 43816 235613 564383 | 95030 2779 33 | 39.848 % | 105.85/105.99 c | 9655 | 43816 235613 564383 | 104533 3004 35 | 39.848 % | 105.95/106.05 c =============================================================================== 105.95/106.05 c New solution: 247 105.95/106.05 o 247 105.95/106.05 c Elapsed CPU time: 105.781 s Remaining CPU time: 74.2191 s 105.95/106.05 c =============================================================================== 105.95/106.05 c | 9680 | 43816 235614 564683 | 78538 3029 35 | 39.848 % | 106.06/106.13 c =============================================================================== 106.06/106.13 c New solution: 246 106.06/106.13 o 246 106.06/106.13 c Elapsed CPU time: 105.853 s Remaining CPU time: 74.1471 s 106.06/106.13 c =============================================================================== 106.06/106.13 c | 9711 | 43574 235615 564983 | 78538 3060 35 | 39.848 % | 106.16/106.21 c | 9811 | 43567 235615 564983 | 86392 3160 35 | 40.512 % | 106.16/106.29 c | 9961 | 43541 235615 564983 | 95031 3310 35 | 40.512 % | 106.36/106.44 c | 10186 | 43332 235615 564983 | 104534 2983 34 | 40.512 % | 106.57/106.62 c =============================================================================== 106.57/106.62 c New solution: 245 106.57/106.62 o 245 106.57/106.62 c Elapsed CPU time: 106.343 s Remaining CPU time: 73.6572 s 106.57/106.62 c =============================================================================== 106.57/106.62 c | 10363 | 43332 235616 565283 | 78538 3160 35 | 40.512 % | 106.57/106.68 c =============================================================================== 106.57/106.68 c New solution: 244 106.57/106.68 o 244 106.57/106.68 c Elapsed CPU time: 106.407 s Remaining CPU time: 73.5932 s 106.57/106.68 c =============================================================================== 106.57/106.68 c | 10382 | 43090 235617 565583 | 78539 3179 35 | 40.512 % | 106.67/106.74 c =============================================================================== 106.67/106.74 c New solution: 243 106.67/106.74 o 243 106.67/106.74 c Elapsed CPU time: 106.466 s Remaining CPU time: 73.5342 s 106.67/106.74 c =============================================================================== 106.67/106.74 c | 10401 | 42848 235618 565883 | 78539 3198 35 | 40.512 % | 106.76/106.81 c | 10501 | 42811 235618 565883 | 86393 3298 35 | 41.509 % | 106.86/106.90 c | 10651 | 42809 235618 565883 | 95032 3448 35 | 41.509 % | 106.96/107.00 c =============================================================================== 106.96/107.00 c New solution: 242 106.96/107.00 o 242 106.96/107.00 c Elapsed CPU time: 106.729 s Remaining CPU time: 73.2712 s 106.96/107.00 c =============================================================================== 106.96/107.00 c | 10697 | 42606 235619 566183 | 78539 2908 35 | 41.509 % | 106.96/107.08 c =============================================================================== 106.96/107.08 c New solution: 241 106.96/107.08 o 241 106.96/107.08 c Elapsed CPU time: 106.807 s Remaining CPU time: 73.1932 s 106.96/107.08 c =============================================================================== 106.96/107.08 c | 10744 | 42364 235620 566483 | 78540 2955 35 | 41.509 % | 107.06/107.14 c | 10844 | 42349 235620 566483 | 86394 3055 35 | 42.173 % | 107.16/107.26 c | 10995 | 42343 235620 566483 | 95033 3206 35 | 42.173 % | 107.26/107.34 c =============================================================================== 107.26/107.34 c New solution: 240 107.26/107.34 o 240 107.26/107.34 c Elapsed CPU time: 107.066 s Remaining CPU time: 72.9343 s 107.26/107.34 c =============================================================================== 107.26/107.34 c | 11059 | 42122 235621 566783 | 78540 3270 36 | 42.173 % | 107.36/107.40 c | 11159 | 42091 235621 566783 | 86394 3370 36 | 42.506 % | 107.36/107.48 c | 11312 | 42085 235621 566783 | 95033 3523 35 | 42.506 % | 107.45/107.59 c =============================================================================== 107.45/107.59 c New solution: 239 107.45/107.59 o 239 107.45/107.59 c Elapsed CPU time: 107.313 s Remaining CPU time: 72.6873 s 107.45/107.59 c =============================================================================== 107.45/107.59 c | 11374 | 41880 235622 567083 | 78540 3152 35 | 42.506 % | 107.55/107.65 c =============================================================================== 107.55/107.65 c New solution: 238 107.55/107.65 o 238 107.55/107.65 c Elapsed CPU time: 107.374 s Remaining CPU time: 72.6263 s 107.55/107.65 c =============================================================================== 107.55/107.65 c | 11387 | 41638 235623 567383 | 78541 3165 35 | 42.506 % | 107.66/107.71 c | 11487 | 41552 235623 567383 | 86395 3265 35 | 43.170 % | 107.76/107.81 c | 11637 | 41552 235623 567383 | 95034 3415 36 | 43.170 % | 107.85/107.96 c | 11863 | 41550 235623 567383 | 104538 3641 36 | 43.170 % | 107.95/108.01 c =============================================================================== 107.95/108.01 c New solution: 237 107.95/108.01 o 237 107.95/108.01 c Elapsed CPU time: 107.735 s Remaining CPU time: 72.2654 s 107.95/108.01 c =============================================================================== 107.95/108.01 c | 11868 | 41396 235624 567683 | 78541 3646 36 | 43.170 % | 107.95/108.07 c =============================================================================== 107.95/108.07 c New solution: 236 107.95/108.07 o 236 107.95/108.07 c Elapsed CPU time: 107.794 s Remaining CPU time: 72.2064 s 107.95/108.07 c =============================================================================== 107.95/108.07 c | 11886 | 41154 235625 567983 | 78541 3664 36 | 43.170 % | 108.05/108.13 c =============================================================================== 108.05/108.13 c New solution: 235 108.05/108.13 o 235 108.05/108.13 c Elapsed CPU time: 107.855 s Remaining CPU time: 72.1454 s 108.05/108.13 c =============================================================================== 108.05/108.13 c | 11908 | 40912 235626 568283 | 78542 3686 36 | 43.170 % | 108.15/108.20 c | 12008 | 40670 235626 568283 | 86396 2808 33 | 44.167 % | 108.15/108.28 c | 12158 | 40670 235626 568283 | 95035 2958 33 | 44.167 % | 108.35/108.48 c =============================================================================== 108.35/108.48 c New solution: 234 108.35/108.48 o 234 108.35/108.48 c Elapsed CPU time: 108.193 s Remaining CPU time: 71.8074 s 108.35/108.48 c =============================================================================== 108.35/108.48 c | 12325 | 40670 235627 568583 | 78542 3125 33 | 44.167 % | 108.45/108.55 c =============================================================================== 108.45/108.55 c New solution: 233 108.45/108.55 o 233 108.45/108.55 c Elapsed CPU time: 108.263 s Remaining CPU time: 71.7375 s 108.45/108.55 c =============================================================================== 108.45/108.55 c | 12337 | 40428 235628 568883 | 78542 3137 33 | 44.167 % | 108.55/108.60 c | 12438 | 40405 235628 568883 | 86396 3238 34 | 44.831 % | 108.55/108.67 c =============================================================================== 108.55/108.67 c New solution: 232 108.55/108.67 o 232 108.55/108.67 c Elapsed CPU time: 108.39 s Remaining CPU time: 71.6105 s 108.55/108.67 c =============================================================================== 108.55/108.67 c | 12470 | 40186 235629 569183 | 78543 3270 34 | 44.831 % | 108.66/108.73 c | 12571 | 40168 235629 569183 | 86397 3371 34 | 45.164 % | 108.76/108.85 c | 12722 | 39944 235629 569183 | 95037 2904 34 | 45.164 % | 108.86/108.92 c =============================================================================== 108.86/108.92 c New solution: 231 108.86/108.92 o 231 108.86/108.92 c Elapsed CPU time: 108.629 s Remaining CPU time: 71.3705 s 108.86/108.92 c =============================================================================== 108.86/108.92 c | 12736 | 39944 235630 569483 | 78543 2918 34 | 45.164 % | 108.86/108.99 c | 12836 | 39900 235630 569483 | 86397 3018 35 | 45.496 % | 108.96/109.08 c | 12986 | 39899 235630 569483 | 95037 3168 35 | 45.496 % | 109.06/109.15 c =============================================================================== 109.06/109.15 c New solution: 230 109.06/109.15 o 230 109.06/109.15 c Elapsed CPU time: 108.859 s Remaining CPU time: 71.1406 s 109.06/109.15 c =============================================================================== 109.06/109.15 c | 12996 | 39702 235631 569783 | 78543 3178 35 | 45.496 % | 109.15/109.21 c =============================================================================== 109.15/109.21 c New solution: 229 109.15/109.21 o 229 109.15/109.21 c Elapsed CPU time: 108.919 s Remaining CPU time: 71.0806 s 109.15/109.21 c =============================================================================== 109.15/109.21 c | 13012 | 39460 235632 570083 | 78544 3194 35 | 45.496 % | 109.15/109.27 c =============================================================================== 109.15/109.27 c New solution: 228 109.15/109.27 o 228 109.15/109.27 c Elapsed CPU time: 108.98 s Remaining CPU time: 71.0196 s 109.15/109.27 c =============================================================================== 109.15/109.27 c | 13031 | 39218 235633 570383 | 78544 3213 35 | 45.496 % | 109.25/109.33 c | 13132 | 39214 235633 570383 | 86398 3314 35 | 46.492 % | 109.35/109.46 c | 13282 | 38976 235633 570383 | 95038 2561 34 | 46.492 % | 109.45/109.53 c =============================================================================== 109.45/109.53 c New solution: 227 109.45/109.53 o 227 109.45/109.53 c Elapsed CPU time: 109.236 s Remaining CPU time: 70.7636 s 109.45/109.53 c =============================================================================== 109.45/109.53 c | 13294 | 38976 235634 570683 | 78544 2573 34 | 46.492 % | 109.45/109.59 c =============================================================================== 109.45/109.59 c New solution: 226 109.45/109.59 o 226 109.45/109.59 c Elapsed CPU time: 109.298 s Remaining CPU time: 70.7016 s 109.45/109.59 c =============================================================================== 109.45/109.59 c | 13317 | 38734 235635 570983 | 78545 2596 34 | 46.492 % | 109.55/109.65 c | 13417 | 38638 235635 570983 | 86399 2696 34 | 47.157 % | 109.65/109.79 c | 13568 | 38638 235635 570983 | 95039 2847 35 | 47.157 % | 109.86/109.93 c | 13793 | 38634 235635 570983 | 104543 3072 36 | 47.157 % | 110.05/110.18 c | 14130 | 38492 235635 570983 | 114997 3184 37 | 47.157 % | 110.15/110.25 c =============================================================================== 110.15/110.25 c New solution: 225 110.15/110.25 o 225 110.15/110.25 c Elapsed CPU time: 109.961 s Remaining CPU time: 70.0387 s 110.15/110.25 c =============================================================================== 110.15/110.25 c | 14154 | 38492 235636 571283 | 78545 3208 37 | 47.157 % | 110.25/110.36 c =============================================================================== 110.25/110.36 c New solution: 224 110.25/110.36 o 224 110.25/110.36 c Elapsed CPU time: 110.07 s Remaining CPU time: 69.9297 s 110.25/110.36 c =============================================================================== 110.25/110.36 c | 14220 | 38250 235637 571583 | 78545 3274 37 | 47.157 % | 110.35/110.43 c =============================================================================== 110.35/110.43 c New solution: 223 110.35/110.43 o 223 110.35/110.43 c Elapsed CPU time: 110.137 s Remaining CPU time: 69.8627 s 110.35/110.43 c =============================================================================== 110.35/110.43 c | 14246 | 38008 235638 571883 | 78546 3300 37 | 47.157 % | 110.45/110.50 c | 14347 | 38000 235638 571883 | 86400 3401 37 | 48.154 % | 110.55/110.61 c | 14498 | 37913 235638 571883 | 95040 3552 37 | 48.154 % | 110.65/110.73 c | 14723 | 37766 235638 571883 | 104544 2981 36 | 48.154 % | 110.85/110.95 c | 15060 | 37766 235638 571883 | 114999 3318 36 | 48.154 % | 110.96/111.06 c =============================================================================== 110.96/111.06 c New solution: 222 110.96/111.06 o 222 110.96/111.06 c Elapsed CPU time: 110.764 s Remaining CPU time: 69.2358 s 110.96/111.06 c =============================================================================== 110.96/111.06 c | 15123 | 37766 235639 572183 | 78546 3381 36 | 48.154 % | 111.06/111.15 c =============================================================================== 111.06/111.15 c New solution: 221 111.06/111.15 o 221 111.06/111.15 c Elapsed CPU time: 110.854 s Remaining CPU time: 69.1459 s 111.06/111.15 c =============================================================================== 111.06/111.15 c | 15182 | 37524 235640 572483 | 78546 3440 36 | 48.154 % | 111.15/111.23 c | 15282 | 37282 235640 572483 | 86401 3311 36 | 48.818 % | 111.25/111.31 c =============================================================================== 111.25/111.31 c New solution: 220 111.25/111.31 o 220 111.25/111.31 c Elapsed CPU time: 111.013 s Remaining CPU time: 68.9869 s 111.25/111.31 c =============================================================================== 111.25/111.31 c | 15333 | 37282 235641 572783 | 78547 3362 36 | 48.818 % | 111.25/111.37 c | 15433 | 37204 235641 572783 | 86401 3462 36 | 49.150 % | 111.45/111.51 c | 15583 | 37203 235641 572783 | 95041 3612 36 | 49.150 % | 111.45/111.59 c =============================================================================== 111.45/111.59 c New solution: 219 111.45/111.59 o 219 111.45/111.59 c Elapsed CPU time: 111.29 s Remaining CPU time: 68.7099 s 111.45/111.59 c =============================================================================== 111.45/111.59 c | 15609 | 37040 235642 573083 | 78547 3638 36 | 49.150 % | 111.55/111.65 c =============================================================================== 111.55/111.65 c New solution: 218 111.55/111.65 o 218 111.55/111.65 c Elapsed CPU time: 111.353 s Remaining CPU time: 68.6469 s 111.55/111.65 c =============================================================================== 111.55/111.65 c | 15631 | 36798 235643 573383 | 78547 3660 36 | 49.150 % | 111.65/111.72 c =============================================================================== 111.65/111.72 c New solution: 217 111.65/111.72 o 217 111.65/111.72 c Elapsed CPU time: 111.418 s Remaining CPU time: 68.5819 s 111.65/111.72 c =============================================================================== 111.65/111.72 c | 15655 | 36556 235644 573683 | 78548 3684 36 | 49.150 % | 111.65/111.79 c | 15755 | 36414 235644 573683 | 86402 3784 36 | 50.147 % | 111.85/111.96 c | 15906 | 36314 235644 573683 | 95043 3113 35 | 50.147 % | 111.95/112.02 c =============================================================================== 111.95/112.02 c New solution: 216 111.95/112.02 o 216 111.95/112.02 c Elapsed CPU time: 111.722 s Remaining CPU time: 68.278 s 111.95/112.02 c =============================================================================== 111.95/112.02 c | 15938 | 36314 235645 573983 | 78548 3145 35 | 50.147 % | 111.95/112.08 c | 16038 | 36275 235645 573983 | 86403 3245 35 | 50.479 % | 112.06/112.18 c | 16188 | 36273 235645 573983 | 95043 3395 35 | 50.479 % | 112.16/112.24 c =============================================================================== 112.16/112.24 c New solution: 215 112.16/112.24 o 215 112.16/112.24 c Elapsed CPU time: 111.941 s Remaining CPU time: 68.059 s 112.16/112.24 c =============================================================================== 112.16/112.24 c | 16215 | 36072 235646 574283 | 78548 3422 35 | 50.479 % | 112.25/112.31 c =============================================================================== 112.25/112.31 c New solution: 214 112.25/112.31 o 214 112.25/112.31 c Elapsed CPU time: 112.005 s Remaining CPU time: 67.995 s 112.25/112.31 c =============================================================================== 112.25/112.31 c | 16258 | 35830 235647 574583 | 78549 3465 35 | 50.479 % | 112.25/112.37 c | 16358 | 35825 235647 574583 | 86403 3565 35 | 51.144 % | 112.45/112.50 c | 16512 | 35818 235647 574583 | 95044 3719 35 | 51.144 % | 112.45/112.56 c =============================================================================== 112.45/112.56 c New solution: 213 112.45/112.56 o 213 112.45/112.56 c Elapsed CPU time: 112.253 s Remaining CPU time: 67.7471 s 112.45/112.56 c =============================================================================== 112.45/112.56 c | 16515 | 35588 235648 574883 | 78549 3180 33 | 51.144 % | 112.55/112.62 c =============================================================================== 112.55/112.62 c New solution: 212 112.55/112.62 o 212 112.55/112.62 c Elapsed CPU time: 112.313 s Remaining CPU time: 67.6871 s 112.55/112.62 c =============================================================================== 112.55/112.62 c | 16528 | 35346 235649 575183 | 78549 3193 33 | 51.144 % | 112.55/112.67 c =============================================================================== 112.55/112.67 c New solution: 211 112.55/112.67 o 211 112.55/112.67 c Elapsed CPU time: 112.369 s Remaining CPU time: 67.6311 s 112.55/112.67 c =============================================================================== 112.55/112.67 c | 16535 | 35104 235650 575483 | 78550 3200 33 | 51.144 % | 112.65/112.73 c =============================================================================== 112.65/112.73 c New solution: 210 112.65/112.73 o 210 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 | 16540 | 34862 235651 575783 | 78550 3205 33 | 51.144 % | 112.65/112.79 c =============================================================================== 112.65/112.79 c New solution: 209 112.65/112.79 o 209 112.65/112.79 c Elapsed CPU time: 112.487 s Remaining CPU time: 67.5131 s 112.65/112.79 c =============================================================================== 112.65/112.79 c | 16565 | 34620 235652 576083 | 78550 3230 33 | 51.144 % | 112.75/112.86 c | 16665 | 34613 235652 576083 | 86405 3330 33 | 52.805 % | 112.85/112.93 c =============================================================================== 112.85/112.93 c New solution: 208 112.85/112.93 o 208 112.85/112.93 c Elapsed CPU time: 112.62 s Remaining CPU time: 67.3801 s 112.85/112.93 c =============================================================================== 112.85/112.93 c | 16694 | 34378 235653 576383 | 78551 3359 33 | 52.805 % | 112.85/112.99 c =============================================================================== 112.85/112.99 c New solution: 207 112.85/112.99 o 207 112.85/112.99 c Elapsed CPU time: 112.681 s Remaining CPU time: 67.3191 s 112.85/112.99 c =============================================================================== 112.85/112.99 c | 16712 | 34136 235654 576683 | 78551 3377 33 | 52.805 % | 112.95/113.07 c | 16812 | 34126 235654 576683 | 86406 3477 33 | 53.469 % | 113.05/113.13 c =============================================================================== 113.05/113.13 c New solution: 206 113.05/113.13 o 206 113.05/113.13 c Elapsed CPU time: 112.818 s Remaining CPU time: 67.1822 s 113.05/113.13 c =============================================================================== 113.05/113.13 c | 16821 | 33894 235655 576983 | 78551 3486 33 | 53.469 % | 113.05/113.19 c =============================================================================== 113.05/113.19 c New solution: 205 113.05/113.19 o 205 113.05/113.19 c Elapsed CPU time: 112.877 s Remaining CPU time: 67.1232 s 113.05/113.19 c =============================================================================== 113.05/113.19 c | 16850 | 33652 235656 577283 | 78552 3515 33 | 53.469 % | 113.16/113.24 c =============================================================================== 113.16/113.24 c New solution: 204 113.16/113.24 o 204 113.16/113.24 c Elapsed CPU time: 112.931 s Remaining CPU time: 67.0692 s 113.16/113.24 c =============================================================================== 113.16/113.24 c | 16862 | 33410 235657 577583 | 78552 3527 33 | 53.469 % | 113.16/113.30 c | 16962 | 33362 235657 577583 | 86407 3627 33 | 54.466 % | 113.26/113.39 c | 17112 | 33168 235657 577583 | 95048 2197 31 | 54.466 % | 113.35/113.45 c =============================================================================== 113.35/113.45 c New solution: 203 113.35/113.45 o 203 113.35/113.45 c Elapsed CPU time: 113.143 s Remaining CPU time: 66.8572 s 113.35/113.45 c =============================================================================== 113.35/113.45 c | 17131 | 33168 235658 577883 | 78552 2216 31 | 54.466 % | 113.45/113.51 c =============================================================================== 113.45/113.51 c New solution: 202 113.45/113.51 o 202 113.45/113.51 c Elapsed CPU time: 113.198 s Remaining CPU time: 66.8022 s 113.45/113.51 c =============================================================================== 113.45/113.51 c | 17143 | 32926 235659 578183 | 78553 2228 31 | 54.466 % | 113.45/113.57 c =============================================================================== 113.45/113.57 c New solution: 201 113.45/113.57 o 201 113.45/113.57 c Elapsed CPU time: 113.257 s Remaining CPU time: 66.7432 s 113.45/113.57 c =============================================================================== 113.45/113.57 c | 17160 | 32684 235660 578483 | 78553 2245 31 | 54.466 % | 113.55/113.65 c | 17260 | 32676 235660 578483 | 86408 2345 32 | 55.463 % | 113.65/113.70 c =============================================================================== 113.65/113.70 c New solution: 200 113.65/113.70 o 200 113.65/113.70 c Elapsed CPU time: 113.392 s Remaining CPU time: 66.6082 s 113.65/113.70 c =============================================================================== 113.65/113.70 c | 17270 | 32442 235661 578783 | 78553 2355 32 | 55.463 % | 113.65/113.77 c =============================================================================== 113.65/113.77 c New solution: 199 113.65/113.77 o 199 113.65/113.77 c Elapsed CPU time: 113.463 s Remaining CPU time: 66.5372 s 113.65/113.77 c =============================================================================== 113.65/113.77 c | 17333 | 32200 235662 579083 | 78554 2418 32 | 55.463 % | 113.75/113.84 c | 17433 | 32188 235662 579083 | 86409 2518 33 | 56.127 % | 113.95/114.04 c | 17585 | 32184 235662 579083 | 95050 2670 34 | 56.127 % | 114.05/114.10 c =============================================================================== 114.05/114.10 c New solution: 198 114.05/114.10 o 198 114.05/114.10 c Elapsed CPU time: 113.786 s Remaining CPU time: 66.2143 s 114.05/114.10 c =============================================================================== 114.05/114.10 c | 17604 | 31958 235663 579383 | 78554 2230 34 | 56.127 % | 114.05/114.16 c | 17705 | 31913 235663 579383 | 86409 2331 35 | 56.459 % | 114.15/114.28 c | 17856 | 31909 235663 579383 | 95050 2482 35 | 56.459 % | 114.36/114.43 c | 18081 | 31903 235663 579383 | 104555 2707 35 | 56.459 % | 114.36/114.49 c =============================================================================== 114.36/114.49 c New solution: 197 114.36/114.49 o 197 114.36/114.49 c Elapsed CPU time: 114.178 s Remaining CPU time: 65.8224 s 114.36/114.49 c =============================================================================== 114.36/114.49 c | 18106 | 31716 235664 579683 | 78554 2732 35 | 56.459 % | 114.45/114.55 c =============================================================================== 114.45/114.55 c New solution: 196 114.45/114.55 o 196 114.45/114.55 c Elapsed CPU time: 114.239 s Remaining CPU time: 65.7614 s 114.45/114.55 c =============================================================================== 114.45/114.55 c | 18145 | 31474 235665 579983 | 78555 2771 35 | 56.459 % | 114.55/114.64 c =============================================================================== 114.55/114.64 c New solution: 195 114.55/114.64 o 195 114.55/114.64 c Elapsed CPU time: 114.326 s Remaining CPU time: 65.6744 s 114.55/114.64 c =============================================================================== 114.55/114.64 c | 18194 | 31232 235666 580283 | 78555 2820 35 | 56.459 % | 114.55/114.70 c =============================================================================== 114.55/114.70 c New solution: 194 114.55/114.70 o 194 114.55/114.70 c Elapsed CPU time: 114.382 s Remaining CPU time: 65.6184 s 114.55/114.70 c =============================================================================== 114.55/114.70 c | 18205 | 30990 235667 580583 | 78555 2831 35 | 56.459 % | 114.65/114.76 c =============================================================================== 114.65/114.76 c New solution: 193 114.65/114.76 o 193 114.65/114.76 c Elapsed CPU time: 114.446 s Remaining CPU time: 65.5544 s 114.65/114.76 c =============================================================================== 114.65/114.76 c | 18223 | 30748 235668 580883 | 78556 2849 35 | 56.459 % | 114.75/114.81 c =============================================================================== 114.75/114.81 c New solution: 192 114.75/114.81 o 192 114.75/114.81 c Elapsed CPU time: 114.501 s Remaining CPU time: 65.4994 s 114.75/114.81 c =============================================================================== 114.75/114.81 c | 18245 | 30506 235669 581183 | 78556 2871 35 | 56.459 % | 114.75/114.88 c | 18347 | 30264 235669 581183 | 86411 1673 31 | 58.453 % | 114.85/114.98 c | 18498 | 30264 235669 581183 | 95053 1824 31 | 58.453 % | 114.95/115.03 c =============================================================================== 114.95/115.03 c New solution: 191 114.95/115.03 o 191 114.95/115.03 c Elapsed CPU time: 114.72 s Remaining CPU time: 65.2804 s 114.95/115.03 c =============================================================================== 114.95/115.03 c | 18511 | 30264 235670 581483 | 78556 1837 31 | 58.453 % | 114.95/115.09 c =============================================================================== 114.95/115.09 c New solution: 190 114.95/115.09 o 190 114.95/115.09 c Elapsed CPU time: 114.774 s Remaining CPU time: 65.2264 s 114.95/115.09 c =============================================================================== 114.95/115.09 c | 18516 | 30022 235671 581783 | 78557 1842 31 | 58.453 % | 115.05/115.14 c =============================================================================== 115.05/115.14 c New solution: 189 115.05/115.14 o 189 115.05/115.14 c Elapsed CPU time: 114.83 s Remaining CPU time: 65.1705 s 115.05/115.14 c =============================================================================== 115.05/115.14 c | 18549 | 29780 235672 582083 | 78557 1875 31 | 58.453 % | 115.15/115.21 c | 18649 | 29767 235672 582083 | 86413 1975 31 | 59.449 % | 115.25/115.36 c | 18799 | 29761 235672 582083 | 95054 2125 32 | 59.449 % | 115.35/115.42 c =============================================================================== 115.35/115.42 c New solution: 188 115.35/115.42 o 188 115.35/115.42 c Elapsed CPU time: 115.101 s Remaining CPU time: 64.8995 s 115.35/115.42 c =============================================================================== 115.35/115.42 c | 18809 | 29538 235673 582383 | 78557 2135 32 | 59.449 % | 115.35/115.48 c =============================================================================== 115.35/115.48 c New solution: 187 115.35/115.48 o 187 115.35/115.48 c Elapsed CPU time: 115.164 s Remaining CPU time: 64.8355 s 115.35/115.48 c =============================================================================== 115.35/115.48 c | 18848 | 29296 235674 582683 | 78558 2174 32 | 59.449 % | 115.45/115.56 c | 18948 | 29054 235674 582683 | 86413 1635 32 | 60.114 % | 115.55/115.61 c =============================================================================== 115.55/115.61 c New solution: 186 115.55/115.61 o 186 115.55/115.61 c Elapsed CPU time: 115.294 s Remaining CPU time: 64.7055 s 115.55/115.61 c =============================================================================== 115.55/115.61 c | 18958 | 29054 235675 582983 | 78558 1645 32 | 60.114 % | 115.55/115.67 c | 19061 | 29049 235675 582983 | 86414 1748 32 | 60.446 % | 115.75/115.80 c | 19212 | 29041 235675 582983 | 95055 1899 33 | 60.446 % | 115.75/115.85 c =============================================================================== 115.75/115.85 c New solution: 185 115.75/115.85 o 185 115.75/115.85 c Elapsed CPU time: 115.531 s Remaining CPU time: 64.4686 s 115.75/115.85 c =============================================================================== 115.75/115.85 c | 19218 | 28812 235676 583283 | 78558 1905 33 | 60.446 % | 115.85/115.90 c =============================================================================== 115.85/115.90 c New solution: 184 115.85/115.90 o 184 115.85/115.90 c Elapsed CPU time: 115.585 s Remaining CPU time: 64.4146 s 115.85/115.90 c =============================================================================== 115.85/115.90 c | 19244 | 28570 235677 583583 | 78559 1931 33 | 60.446 % | 115.85/115.96 c =============================================================================== 115.85/115.96 c New solution: 183 115.85/115.96 o 183 115.85/115.96 c Elapsed CPU time: 115.637 s Remaining CPU time: 64.3626 s 115.85/115.96 c =============================================================================== 115.85/115.96 c | 19260 | 28328 235678 583883 | 78559 1947 33 | 60.446 % | 115.95/116.02 c =============================================================================== 115.95/116.02 c New solution: 182 115.95/116.02 o 182 115.95/116.02 c Elapsed CPU time: 115.698 s Remaining CPU time: 64.3016 s 115.95/116.02 c =============================================================================== 115.95/116.02 c | 19284 | 28086 235679 584183 | 78559 1971 33 | 60.446 % | 115.95/116.08 c =============================================================================== 115.95/116.08 c New solution: 181 115.95/116.08 o 181 115.95/116.08 c Elapsed CPU time: 115.761 s Remaining CPU time: 64.2386 s 115.95/116.08 c =============================================================================== 115.95/116.08 c | 19332 | 27844 235680 584483 | 78560 2019 33 | 60.446 % | 116.05/116.14 c | 19432 | 27834 235680 584483 | 86416 2119 33 | 62.107 % | 116.25/116.31 c | 19582 | 27602 235680 584483 | 95057 1686 34 | 62.107 % | 116.35/116.40 c | 19807 | 27602 235680 584483 | 104563 1911 35 | 62.107 % | 116.46/116.59 c | 20145 | 27602 235680 584483 | 115019 2249 37 | 62.107 % | 116.85/116.94 c | 20651 | 27602 235680 584483 | 126521 2755 37 | 62.107 % | 116.95/117.05 c =============================================================================== 116.95/117.05 c New solution: 180 116.95/117.05 o 180 116.95/117.05 c Elapsed CPU time: 116.728 s Remaining CPU time: 63.2717 s 116.95/117.05 c =============================================================================== 116.95/117.05 c | 20779 | 27602 235681 584783 | 78560 2883 37 | 62.107 % | 117.05/117.12 c =============================================================================== 117.05/117.12 c New solution: 179 117.05/117.12 o 179 117.05/117.12 c Elapsed CPU time: 116.803 s Remaining CPU time: 63.1968 s 117.05/117.12 c =============================================================================== 117.05/117.12 c | 20823 | 27360 235682 585083 | 78560 2754 36 | 62.107 % | 117.05/117.18 c =============================================================================== 117.05/117.18 c New solution: 178 117.05/117.18 o 178 117.05/117.18 c Elapsed CPU time: 116.855 s Remaining CPU time: 63.1448 s 117.05/117.18 c =============================================================================== 117.05/117.18 c | 20832 | 27118 235683 585383 | 78561 2763 36 | 62.107 % | 117.15/117.24 c =============================================================================== 117.15/117.24 c New solution: 177 117.15/117.24 o 177 117.15/117.24 c Elapsed CPU time: 116.915 s Remaining CPU time: 63.0848 s 117.15/117.24 c =============================================================================== 117.15/117.24 c | 20867 | 26876 235684 585683 | 78561 2798 36 | 62.107 % | 117.25/117.31 c | 20968 | 26865 235684 585683 | 86417 2899 37 | 63.436 % | 117.25/117.37 c | 21118 | 26799 235684 585683 | 95059 3049 37 | 63.436 % | 117.45/117.58 c | 21344 | 26799 235684 585683 | 104565 3275 37 | 63.436 % | 117.56/117.66 c =============================================================================== 117.56/117.66 c New solution: 176 117.56/117.67 o 176 117.56/117.67 c Elapsed CPU time: 117.338 s Remaining CPU time: 62.6618 s 117.56/117.67 c =============================================================================== 117.56/117.67 c | 21471 | 26634 235685 585983 | 78561 3402 37 | 63.436 % | 117.65/117.73 c | 21571 | 26630 235685 585983 | 86417 3502 37 | 63.768 % | 117.75/117.83 c | 21721 | 26596 235685 585983 | 95059 3652 37 | 63.768 % | 117.85/117.99 c | 21946 | 26392 235685 585983 | 104565 3088 37 | 63.768 % | 118.05/118.11 c =============================================================================== 118.05/118.11 c New solution: 175 118.05/118.11 o 175 118.05/118.11 c Elapsed CPU time: 117.777 s Remaining CPU time: 62.2229 s 118.05/118.11 c =============================================================================== 118.05/118.11 c | 22081 | 26392 235686 586283 | 78562 3223 37 | 63.768 % | 118.05/118.18 c | 22182 | 26390 235686 586283 | 86418 3324 36 | 64.100 % | 118.15/118.26 c | 22333 | 26339 235686 586283 | 95060 3475 37 | 64.100 % | 118.25/118.35 c | 22560 | 26338 235686 586283 | 104566 3702 37 | 64.100 % | 118.55/118.62 c | 22897 | 26336 235686 586283 | 115022 4039 38 | 64.100 % | 119.05/119.16 c | 23407 | 26150 235686 586283 | 126524 4304 38 | 64.100 % | 119.44/119.58 c | 24168 | 26150 235686 586283 | 139177 5065 42 | 64.100 % | 120.74/120.82 c | 25307 | 26150 235686 586283 | 153095 6204 46 | 64.100 % | 120.86/120.93 c =============================================================================== 120.86/120.93 c New solution: 174 120.86/120.93 o 174 120.86/120.93 c Elapsed CPU time: 120.59 s Remaining CPU time: 59.4103 s 120.86/120.93 c =============================================================================== 120.86/120.93 c | 25407 | 26150 235687 586583 | 78562 6304 45 | 64.100 % | 120.96/121.01 c | 25508 | 25908 235687 586583 | 86418 5874 45 | 64.433 % | 121.05/121.13 c | 25658 | 25908 235687 586583 | 95060 6024 45 | 64.433 % | 121.15/121.26 c | 25884 | 25908 235687 586583 | 104566 6250 44 | 64.433 % | 121.35/121.45 c | 26221 | 25908 235687 586583 | 115023 6587 45 | 64.433 % | 121.84/121.95 c | 26727 | 25908 235687 586583 | 126525 7093 46 | 64.433 % | 121.95/122.01 c =============================================================================== 121.95/122.01 c New solution: 173 121.95/122.01 o 173 121.95/122.01 c Elapsed CPU time: 121.667 s Remaining CPU time: 58.3335 s 121.95/122.01 c =============================================================================== 121.95/122.01 c | 26755 | 25908 235688 586883 | 78562 7121 46 | 64.433 % | 121.95/122.09 c | 26855 | 25666 235688 586883 | 86418 6628 45 | 64.765 % | 122.14/122.23 c | 27005 | 25666 235688 586883 | 95060 6778 45 | 64.765 % | 122.25/122.36 c | 27231 | 25666 235688 586883 | 104566 7004 45 | 64.765 % | 122.55/122.68 c | 27569 | 25666 235688 586883 | 115023 7342 45 | 64.765 % | 122.65/122.74 c =============================================================================== 122.65/122.74 c New solution: 172 122.65/122.74 o 172 122.65/122.74 c Elapsed CPU time: 122.392 s Remaining CPU time: 57.6076 s 122.65/122.74 c =============================================================================== 122.65/122.74 c | 27604 | 25666 235689 587183 | 78563 7377 44 | 64.765 % | 122.75/122.80 c =============================================================================== 122.75/122.80 c New solution: 171 122.75/122.80 o 171 122.75/122.80 c Elapsed CPU time: 122.449 s Remaining CPU time: 57.5506 s 122.75/122.80 c =============================================================================== 122.75/122.80 c | 27624 | 25424 235690 587483 | 78563 7397 44 | 64.765 % | 122.75/122.88 c | 27724 | 25351 235690 587483 | 86419 7497 45 | 65.429 % | 122.85/122.98 c | 27874 | 25182 235690 587483 | 95061 6396 42 | 65.429 % | 123.16/123.20 c | 28099 | 25182 235690 587483 | 104567 6621 42 | 65.429 % | 123.16/123.26 c =============================================================================== 123.16/123.26 c New solution: 170 123.16/123.26 o 170 123.16/123.26 c Elapsed CPU time: 122.906 s Remaining CPU time: 57.0937 s 123.16/123.26 c =============================================================================== 123.16/123.26 c | 28116 | 25182 235691 587783 | 78563 6638 42 | 65.429 % | 123.25/123.32 c =============================================================================== 123.25/123.32 c New solution: 169 123.25/123.32 o 169 123.25/123.32 c Elapsed CPU time: 122.968 s Remaining CPU time: 57.0317 s 123.25/123.32 c =============================================================================== 123.25/123.32 c | 28158 | 24940 235692 588083 | 78564 6680 42 | 65.429 % | 123.35/123.43 c | 28260 | 24884 235692 588083 | 86420 6782 42 | 66.094 % | 123.45/123.52 c | 28410 | 24882 235692 588083 | 95062 6932 42 | 66.094 % | 123.65/123.73 c | 28635 | 24873 235692 588083 | 104568 7157 42 | 66.094 % | 123.74/123.80 c =============================================================================== 123.74/123.80 c New solution: 168 123.74/123.80 o 168 123.74/123.80 c Elapsed CPU time: 123.44 s Remaining CPU time: 56.5598 s 123.74/123.80 c =============================================================================== 123.74/123.80 c | 28657 | 24698 235693 588383 | 78564 6403 42 | 66.094 % | 123.74/123.87 c | 28757 | 24655 235693 588383 | 86420 6503 43 | 66.426 % | 123.84/123.97 c | 28907 | 24654 235693 588383 | 95062 6653 43 | 66.426 % | 124.04/124.13 c | 29133 | 24652 235693 588383 | 104569 6879 42 | 66.426 % | 124.16/124.29 c | 29473 | 24644 235693 588383 | 115026 7219 42 | 66.426 % | 124.35/124.49 c | 29979 | 24644 235693 588383 | 126528 7725 43 | 66.426 % | 125.25/125.40 c | 30738 | 24456 235693 588383 | 139181 8115 43 | 66.426 % | 125.75/125.87 c | 31877 | 24456 235693 588383 | 153099 9254 44 | 66.426 % | 126.54/126.62 c | 33586 | 24456 235693 588383 | 168409 10963 45 | 66.426 % | 129.25/129.37 c | 36148 | 24456 235693 588383 | 185250 13525 50 | 66.426 % | 131.15/131.21 c | 39992 | 24456 235693 588383 | 203775 17369 55 | 66.426 % | 134.74/134.84 c | 45760 | 24456 235693 588383 | 224153 23137 55 | 66.426 % | 146.94/147.03 c | 54409 | 24456 235693 588383 | 246568 31786 62 | 66.426 % | 147.25/147.32 c =============================================================================== 147.25/147.32 c New solution: 167 147.25/147.32 o 167 147.25/147.32 c Elapsed CPU time: 146.879 s Remaining CPU time: 33.1213 s 147.25/147.32 c =============================================================================== 147.25/147.32 c | 54679 | 24456 235694 588683 | 78564 32056 62 | 66.426 % | 147.35/147.45 c | 54779 | 24214 235694 588683 | 86421 30949 61 | 66.758 % | 147.54/147.67 c | 54930 | 24214 235694 588683 | 95063 31100 61 | 66.758 % | 147.64/147.78 c | 55155 | 24214 235694 588683 | 104569 31325 61 | 66.758 % | 147.84/147.96 c | 55492 | 24214 235694 588683 | 115026 31662 61 | 66.758 % | 148.45/148.53 c | 55998 | 24214 235694 588683 | 126529 32168 61 | 66.758 % | 148.54/148.60 c =============================================================================== 148.54/148.60 c New solution: 166 148.54/148.60 o 166 148.54/148.60 c Elapsed CPU time: 148.157 s Remaining CPU time: 31.8425 s 148.54/148.60 c =============================================================================== 148.54/148.60 c | 56038 | 24214 235695 588983 | 78565 32208 60 | 66.758 % | 148.54/148.67 c | 56139 | 24159 235695 588983 | 86421 32309 60 | 67.090 % | 148.74/148.86 c | 56289 | 24154 235695 588983 | 95063 32459 60 | 67.090 % | 149.04/149.10 c | 56516 | 24148 235695 588983 | 104570 32686 60 | 67.090 % | 149.14/149.25 c =============================================================================== 149.14/149.25 c New solution: 165 149.14/149.25 o 165 149.14/149.25 c Elapsed CPU time: 148.802 s Remaining CPU time: 31.1976 s 149.14/149.25 c =============================================================================== 149.14/149.25 c | 56750 | 23972 235696 589283 | 78565 32920 60 | 67.090 % | 149.24/149.32 c | 56851 | 23965 235696 589283 | 86421 33021 60 | 67.423 % | 149.34/149.49 c | 57001 | 23948 235696 589283 | 95064 33171 60 | 67.423 % | 149.55/149.61 c | 57226 | 23947 235696 589283 | 104570 33396 60 | 67.423 % | 149.74/149.87 c | 57563 | 23945 235696 589283 | 115027 33733 60 | 67.423 % | 149.94/150.06 c | 58070 | 23938 235696 589283 | 126530 34240 59 | 67.423 % | 150.55/150.66 c | 58829 | 23730 235696 589283 | 139183 25007 51 | 67.423 % | 151.04/151.16 c | 59968 | 23730 235696 589283 | 153101 26146 52 | 67.423 % | 152.64/152.79 c | 61676 | 23730 235696 589283 | 168411 27854 53 | 67.423 % | 155.94/156.07 c | 64239 | 23730 235696 589283 | 185252 30417 53 | 67.423 % | 157.53/157.63 c | 68083 | 23730 235696 589283 | 203778 34261 53 | 67.423 % | 161.44/161.56 c | 73849 | 23730 235696 589283 | 224156 40027 54 | 67.423 % | 172.33/172.40 c | 82498 | 23730 235696 589283 | 246571 48676 56 | 67.423 % | 174.23/174.31 c =============================================================================== 174.23/174.31 c New solution: 164 174.23/174.31 o 164 174.23/174.31 c Elapsed CPU time: 173.782 s Remaining CPU time: 6.21842 s 174.23/174.31 c =============================================================================== 174.23/174.31 c | 87060 | 23730 235697 589583 | 78565 53238 55 | 67.423 % | 174.33/174.47 c | 87162 | 23488 235697 589583 | 86422 49665 54 | 67.755 % | 174.44/174.59 c | 87313 | 23488 235697 589583 | 95064 49816 54 | 67.755 % | 174.64/174.72 c | 87539 | 23488 235697 589583 | 104570 50042 54 | 67.755 % | 174.84/174.97 c | 87876 | 23488 235697 589583 | 115027 50379 54 | 67.755 % | 175.53/175.67 c | 88382 | 23488 235697 589583 | 126530 50885 54 | 67.755 % | 175.84/175.99 c | 89141 | 23488 235697 589583 | 139183 51644 54 | 67.755 % | 176.54/176.65 c | 90281 | 23488 235697 589583 | 153102 52784 54 | 67.755 % | 178.83/178.95 c | 91989 | 23488 235697 589583 | 168412 54492 54 | 67.755 % | 179.83/179.93 c =============================================================================== 179.83/179.93 c New solution: 163 179.83/179.93 o 163 179.83/179.93 c Elapsed CPU time: 179.364 s Remaining CPU time: 0.636268 s 179.83/179.93 c =============================================================================== 179.83/179.93 c | 93862 | 23488 235698 589883 | 78566 56365 54 | 67.755 % | 179.93/180.09 c | 93962 | 23246 235698 589883 | 86422 52337 53 | 68.087 % | 180.13/180.27 c | 94112 | 23246 235698 589883 | 95064 52487 53 | 68.087 % | 180.24/180.39 c | 94337 | 23246 235698 589883 | 104571 52712 53 | 68.087 % | 180.43/180.57 c There are 49596 assigned variables. 235 in cost function. 180.93/181.09 c core #1 180.93/181.09 c 180.93/181.09 c 180.93/181.09 c Core size: 129 Core Weight: 98 Total Weight: 98 180.93/181.09 c 180.93/181.09 c 180.93/181.09 c ============================[ Search Statistics ]============================== 180.93/181.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.93/181.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.93/181.09 c =============================================================================== 180.93/181.09 c | 0 | 7758 115769 171420 | 38589 0 nan | 0.000 % | 181.03/181.14 c | 100 | 7758 115769 171420 | 42448 100 24 | 89.359 % | 181.13/181.24 c | 250 | 7758 115769 171420 | 46693 250 28 | 89.359 % | 181.34/181.40 c | 475 | 7758 115769 171420 | 51362 475 33 | 89.359 % | 181.53/181.62 c | 814 | 7758 115769 171420 | 56499 814 32 | 89.359 % | 181.93/182.00 c | 1320 | 7758 115769 171420 | 62149 1320 37 | 89.359 % | 182.34/182.46 c | 2079 | 7758 115769 171420 | 68363 2079 36 | 89.359 % | 183.13/183.21 c | 3219 | 7739 115769 171420 | 75200 2933 40 | 89.385 % | 184.43/184.52 c | 4929 | 7739 115769 171420 | 82720 4643 43 | 89.385 % | 186.63/186.75 c | 7493 | 7727 115769 171420 | 90992 6888 46 | 89.402 % | 189.82/189.93 c | 11337 | 7696 115769 171420 | 100091 10547 48 | 89.445 % | 195.53/195.63 c | 17103 | 7530 115769 171420 | 110100 11652 46 | 89.672 % | 198.12/198.26 c =============================================================================== 198.32/198.46 c core #2 198.32/198.46 c 198.32/198.46 c 198.32/198.46 c Core size: 691 Core Weight: 1 Total Weight: 99 198.32/198.46 c 198.32/198.46 c 198.32/198.46 c ============================[ Search Statistics ]============================== 198.32/198.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.32/198.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.32/198.46 c =============================================================================== 198.32/198.46 c | 0 | 8129 115840 174248 | 38613 0 nan | 0.000 % | 198.42/198.52 c | 101 | 8129 115840 174248 | 42474 101 25 | 88.860 % | 198.42/198.58 c | 251 | 8129 115840 174248 | 46722 251 26 | 88.860 % | 198.63/198.70 c | 477 | 8129 115840 174248 | 51394 477 30 | 88.860 % | 198.73/198.88 c | 817 | 8129 115840 174248 | 56533 817 29 | 88.860 % | 199.12/199.21 c | 1323 | 8129 115840 174248 | 62187 1323 36 | 88.860 % | 199.52/199.63 c | 2083 | 8129 115840 174248 | 68405 2083 35 | 88.860 % | 200.33/200.43 c | 3222 | 8129 115840 174248 | 75246 3222 39 | 88.860 % | 201.53/201.60 c | 4930 | 8129 115840 174248 | 82771 4930 39 | 88.860 % | 203.62/203.76 c | 7492 | 8129 115840 174248 | 91048 7492 45 | 88.860 % | 206.73/206.84 c | 11336 | 8129 115840 174248 | 100153 11336 45 | 88.860 % | 212.13/212.28 c | 17102 | 8129 115840 174248 | 110168 17102 48 | 88.860 % | 222.03/222.13 c | 25751 | 8044 115840 174248 | 121185 18026 44 | 88.976 % | 237.42/237.56 c | 38725 | 8012 115840 174248 | 133303 26603 48 | 89.020 % | 265.60/265.71 c | 58186 | 7950 115840 174248 | 146634 28184 46 | 89.105 % | 268.61/268.73 c =============================================================================== 268.81/268.95 c core #3 268.81/268.95 c 268.81/268.95 c 268.81/268.95 c Core size: 692 Core Weight: 1 Total Weight: 100 268.81/268.95 c 268.81/268.95 c 268.81/268.95 c ============================[ Search Statistics ]============================== 268.81/268.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 268.81/268.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 268.81/268.95 c =============================================================================== 268.81/268.95 c | 0 | 8434 115912 181305 | 38637 0 nan | 0.000 % | 268.91/269.00 c | 102 | 8434 115912 181305 | 42501 102 22 | 88.452 % | 269.01/269.11 c | 254 | 8434 115912 181305 | 46751 254 30 | 88.452 % | 269.11/269.24 c | 479 | 8434 115912 181305 | 51426 479 32 | 88.452 % | 269.31/269.44 c | 817 | 8434 115912 181305 | 56568 817 32 | 88.452 % | 269.70/269.81 c | 1323 | 8434 115912 181305 | 62225 1323 35 | 88.452 % | 270.11/270.28 c | 2084 | 8434 115912 181305 | 68448 2084 37 | 88.452 % | 271.00/271.17 c | 3223 | 8434 115912 181305 | 75293 3223 41 | 88.452 % | 272.20/272.36 c | 4931 | 8434 115912 181305 | 82822 4931 39 | 88.452 % | 274.30/274.50 c | 7494 | 8434 115912 181305 | 91104 7494 42 | 88.452 % | 277.11/277.29 c | 11340 | 8434 115912 181305 | 100215 11340 41 | 88.452 % | 281.80/281.99 c | 17107 | 8434 115912 181305 | 110236 17107 44 | 88.452 % | 291.60/291.71 c | 25756 | 8434 115912 181305 | 121260 25756 44 | 88.452 % | 308.00/308.12 c | 38730 | 8434 115912 181305 | 133386 38730 45 | 88.452 % | 339.38/339.57 c | 58191 | 8434 115912 181305 | 146725 58191 49 | 88.452 % | 403.97/404.15 c | 87385 | 8407 115912 181305 | 161397 83686 52 | 88.489 % | 527.84/528.05 c | 131176 | 8399 115912 181305 | 177537 127476 56 | 88.590 % | 603.51/603.70 c =============================================================================== 603.82/604.02 c core #4 603.82/604.02 c 603.82/604.02 c 603.82/604.02 c Core size: 560 Core Weight: 1 Total Weight: 101 603.82/604.02 c 603.82/604.02 c 603.82/604.02 c ============================[ Search Statistics ]============================== 603.82/604.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 603.82/604.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 603.82/604.02 c =============================================================================== 603.82/604.02 c | 0 | 8738 115996 182094 | 38665 0 nan | 0.000 % | 603.82/604.08 c | 100 | 8738 115996 182094 | 42531 100 24 | 88.046 % | 603.92/604.17 c | 252 | 8738 115996 182094 | 46785 252 28 | 88.046 % | 604.12/604.36 c | 477 | 8738 115996 182094 | 51463 477 32 | 88.046 % | 604.41/604.62 c | 815 | 8738 115996 182094 | 56609 815 34 | 88.046 % | 604.72/604.98 c | 1323 | 8738 115996 182094 | 62270 1323 36 | 88.046 % | 605.21/605.50 c | 2084 | 8738 115996 182094 | 68497 2084 39 | 88.046 % | 606.12/606.39 c | 3223 | 8738 115996 182094 | 75347 3223 41 | 88.046 % | 607.31/607.58 c | 4931 | 8738 115996 182094 | 82882 4931 44 | 88.046 % | 609.11/609.40 c | 7493 | 8738 115996 182094 | 91170 7493 46 | 88.046 % | 612.61/612.86 c | 11337 | 8738 115996 182094 | 100287 11337 50 | 88.046 % | 618.61/618.89 c | 17104 | 8738 115996 182094 | 110316 17104 51 | 88.046 % | 627.10/627.35 c | 25753 | 8738 115996 182094 | 121348 25753 47 | 88.046 % | 645.51/645.73 c | 38727 | 8738 115996 182094 | 133483 38727 52 | 88.046 % | 675.89/676.19 c | 58188 | 8738 115996 182094 | 146831 58188 50 | 88.046 % | 736.37/736.62 c | 87380 | 8718 115996 182094 | 161514 86869 52 | 88.073 % | 841.25/841.56 c | 131169 | 8696 115996 182094 | 177666 115509 51 | 88.103 % | 1054.97/1055.33 c | 196853 | 8696 115996 182094 | 195432 181193 56 | 88.103 % | 1444.03/1444.57 c | 295379 | 8696 115996 182094 | 214976 41116 60 | 88.103 % |
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-2687293-1278451161/watcher-2687293-1278451161 -o /tmp/evaluation-result-2687293-1278451161/solver-2687293-1278451161 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687293-1278451161.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.09 1.04 1.00 3/106 21322 /proc/meminfo: memFree=1865212/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=10704 CPUtime=0 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 13322628 10960896 262 1992294400 134512640 135752675 4290886000 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 2676 262 139 303 0 408 0 [startup+0.0110501 s] /proc/loadavg: 1.09 1.04 1.00 3/106 21322 /proc/meminfo: memFree=1865212/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=10856 CPUtime=0.01 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 375 0 0 0 1 0 0 0 18 0 1 0 13322628 11116544 294 1992294400 134512640 135752675 4290886000 18446744073709551615 134564822 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 2714 294 142 303 0 446 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10856 [startup+0.101035 s] /proc/loadavg: 1.09 1.04 1.00 3/106 21322 /proc/meminfo: memFree=1865212/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=15488 CPUtime=0.09 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 1537 0 0 0 9 0 0 0 20 0 1 0 13322628 15859712 1456 1992294400 134512640 135752675 4290886000 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 3872 1456 273 303 0 1604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15488 [startup+0.301053 s] /proc/loadavg: 1.09 1.04 1.00 3/106 21322 /proc/meminfo: memFree=1865212/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=19760 CPUtime=0.29 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 2869 0 0 0 29 0 0 0 20 0 1 0 13322628 20234240 2755 1992294400 134512640 135752675 4290886000 18446744073709551615 135204864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 4940 2755 567 303 0 2672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19760 [startup+0.701093 s] /proc/loadavg: 1.09 1.04 1.00 3/106 21322 /proc/meminfo: memFree=1865212/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=26208 CPUtime=0.69 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 4864 0 0 0 68 1 0 0 21 0 1 0 13322628 26836992 4710 1992294400 134512640 135752675 4290886000 18446744073709551615 134561687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 6552 4710 1188 303 0 4284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26208 [startup+1.50117 s] /proc/loadavg: 1.09 1.04 1.00 2/107 21323 /proc/meminfo: memFree=1845612/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=36780 CPUtime=1.49 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 8186 0 0 0 146 3 0 0 23 0 1 0 13322628 37662720 7918 1992294400 134512640 135752675 4290886000 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 9195 7918 1982 303 0 6927 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36780 [startup+3.10133 s] /proc/loadavg: 1.08 1.04 1.00 2/107 21323 /proc/meminfo: memFree=1816100/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=55900 CPUtime=3.09 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 15123 0 0 0 304 5 0 0 25 0 1 0 13322628 57241600 12667 1992294400 134512640 135752675 4290886000 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 13975 12667 142 303 0 13670 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55900 [startup+6.30164 s] /proc/loadavg: 1.08 1.04 1.00 2/107 21323 /proc/meminfo: memFree=1808164/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=64348 CPUtime=6.29 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 17258 0 0 0 623 6 0 0 25 0 1 0 13322628 65892352 14802 1992294400 134512640 135752675 4290886000 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 16087 14802 142 303 0 15782 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64348 [startup+12.7013 s] /proc/loadavg: 1.22 1.07 1.01 2/107 21323 /proc/meminfo: memFree=1796384/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=75040 CPUtime=12.69 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 19912 0 0 0 1262 7 0 0 25 0 1 0 13322628 76840960 17456 1992294400 134512640 135752675 4290886000 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 18760 17456 142 303 0 18455 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75040 [startup+25.5005 s] /proc/loadavg: 1.18 1.07 1.01 2/107 21325 /proc/meminfo: memFree=1781380/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=89032 CPUtime=25.48 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 23411 0 0 0 2540 8 0 0 25 0 1 0 13322628 91168768 20955 1992294400 134512640 135752675 4290886000 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 22258 20955 142 303 0 21953 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89032 [startup+51.101 s] /proc/loadavg: 1.12 1.06 1.01 2/107 21328 /proc/meminfo: memFree=1760056/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=108964 CPUtime=51.08 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 28414 0 0 0 5096 12 0 0 25 0 1 0 13322628 111579136 25958 1992294400 134512640 135752675 4290886000 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 27241 25958 142 303 0 26936 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 108964 [startup+102.308 s] /proc/loadavg: 1.05 1.05 1.00 2/107 21330 /proc/meminfo: memFree=1741332/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=125288 CPUtime=102.26 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 33926 0 0 0 10205 21 0 0 25 0 1 0 13322628 128294912 30155 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 31322 30155 145 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.02 1.04 1.00 2/107 21330 /proc/meminfo: memFree=1741332/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=125288 CPUtime=162.23 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 33926 0 0 0 16179 44 0 0 25 0 1 0 13322628 128294912 30155 1992294400 134512640 135752675 4290886000 18446744073709551615 134517256 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 31322 30155 145 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.03 1.00 2/107 21332 /proc/meminfo: memFree=1751996/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=111956 CPUtime=222.22 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 34790 0 0 0 22158 64 0 0 25 0 1 0 13322628 114642944 27485 1992294400 134512640 135752675 4290886000 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 27989 27485 146 303 0 27684 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 111956 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21334 /proc/meminfo: memFree=1749144/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=282.2 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35646 0 0 0 28139 81 0 0 25 0 1 0 13322628 119623680 28341 1992294400 134512640 135752675 4290886000 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28341 146 303 0 28900 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 116820 [startup+342.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21336 /proc/meminfo: memFree=1749144/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=342.18 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35646 0 0 0 34121 97 0 0 25 0 1 0 13322628 119623680 28341 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28341 146 303 0 28900 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 116820 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21338 /proc/meminfo: memFree=1749144/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=402.17 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35646 0 0 0 40107 110 0 0 25 0 1 0 13322628 119623680 28341 1992294400 134512640 135752675 4290886000 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28341 146 303 0 28900 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 116820 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21338 /proc/meminfo: memFree=1749144/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=462.16 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35646 0 0 0 46093 123 0 0 25 0 1 0 13322628 119623680 28341 1992294400 134512640 135752675 4290886000 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28341 146 303 0 28900 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 116820 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21340 /proc/meminfo: memFree=1749020/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=522.13 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35646 0 0 0 52078 135 0 0 25 0 1 0 13322628 119623680 28341 1992294400 134512640 135752675 4290886000 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28341 146 303 0 28900 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 116820 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21342 /proc/meminfo: memFree=1749020/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=116820 CPUtime=582.11 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 35650 0 0 0 58066 145 0 0 25 0 1 0 13322628 119623680 28345 1992294400 134512640 135752675 4290886000 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 29205 28345 146 303 0 28900 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 116820 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21344 /proc/meminfo: memFree=1749144/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=115452 CPUtime=642.1 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 36320 0 0 0 64046 164 0 0 25 0 1 0 13322628 118222848 28159 1992294400 134512640 135752675 4290886000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 28863 28159 146 303 0 28558 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 115452 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21348 /proc/meminfo: memFree=1731660/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=133452 CPUtime=822.05 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 40782 0 0 0 81992 213 0 0 25 0 1 0 13322628 136654848 32621 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 33363 32621 146 303 0 33058 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 133452 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21350 /proc/meminfo: memFree=1725832/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=139144 CPUtime=882.03 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 42219 0 0 0 87975 228 0 0 25 0 1 0 13322628 142483456 34058 1992294400 134512640 135752675 4290886000 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 34786 34058 146 303 0 34481 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 139144 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21352 /proc/meminfo: memFree=1720500/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=144692 CPUtime=942 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 43558 0 0 0 93959 241 0 0 25 0 1 0 13322628 148164608 35397 1992294400 134512640 135752675 4290886000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 36173 35397 146 303 0 35868 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 144692 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21354 /proc/meminfo: memFree=1714548/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=150468 CPUtime=1001.98 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 45009 0 0 0 99945 253 0 0 25 0 1 0 13322628 154079232 36848 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 37617 36848 146 303 0 37312 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 150468 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21354 /proc/meminfo: memFree=1708968/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=155920 CPUtime=1061.97 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 46399 0 0 0 105930 267 0 0 25 0 1 0 13322628 159662080 38238 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 38980 38238 146 303 0 38675 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 155920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21356 /proc/meminfo: memFree=1703264/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=161752 CPUtime=1121.94 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 47840 0 0 0 111918 276 0 0 25 0 1 0 13322628 165634048 39679 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 40438 39679 146 303 0 40133 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 161752 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21358 /proc/meminfo: memFree=1697932/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=167472 CPUtime=1181.93 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 49180 0 0 0 117905 288 0 0 25 0 1 0 13322628 171491328 41019 1992294400 134512640 135752675 4290886000 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 41868 41019 146 303 0 41563 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 167472 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21360 /proc/meminfo: memFree=1692724/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=172288 CPUtime=1241.9 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 50402 0 0 0 123890 300 0 0 25 0 1 0 13322628 176422912 42241 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 43072 42241 146 303 0 42767 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 172288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21362 /proc/meminfo: memFree=1687640/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=177196 CPUtime=1301.9 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 51638 0 0 0 129879 311 0 0 25 0 1 0 13322628 181448704 43477 1992294400 134512640 135752675 4290886000 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 44299 43477 146 303 0 43994 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 177196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21362 /proc/meminfo: memFree=1683176/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=181712 CPUtime=1361.87 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 52771 0 0 0 135867 320 0 0 25 0 1 0 13322628 186073088 44610 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 45428 44610 146 303 0 45123 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 181712 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21364 /proc/meminfo: memFree=1678216/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=186628 CPUtime=1421.86 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 54008 0 0 0 141856 330 0 0 25 0 1 0 13322628 191107072 45847 1992294400 134512640 135752675 4290886000 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 46657 45847 146 303 0 46352 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 186628 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21366 /proc/meminfo: memFree=1666064/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=198772 CPUtime=1481.83 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 57053 0 0 0 147833 350 0 0 25 0 1 0 13322628 203542528 48892 1992294400 134512640 135752675 4290886000 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 49693 48892 146 303 0 49388 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 198772 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21368 /proc/meminfo: memFree=1657632/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=207088 CPUtime=1541.81 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 59133 0 0 0 153816 365 0 0 25 0 1 0 13322628 212058112 50972 1992294400 134512640 135752675 4290886000 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 51772 50972 146 303 0 51467 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 207088 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21370 /proc/meminfo: memFree=1650192/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=214632 CPUtime=1601.79 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 60994 0 0 0 159798 381 0 0 25 0 1 0 13322628 219783168 52833 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 53658 52833 146 303 0 53353 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 214632 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21370 /proc/meminfo: memFree=1643620/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=221012 CPUtime=1661.77 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 62606 0 0 0 165784 393 0 0 25 0 1 0 13322628 226316288 54445 1992294400 134512640 135752675 4290886000 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 55253 54445 146 303 0 54948 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 221012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21372 /proc/meminfo: memFree=1637544/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=227360 CPUtime=1721.75 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 64162 0 0 0 171768 407 0 0 25 0 1 0 13322628 232816640 56001 1992294400 134512640 135752675 4290886000 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 56840 56001 146 303 0 56535 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 227360 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21374 /proc/meminfo: memFree=1631592/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=232796 CPUtime=1781.73 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 65530 0 0 0 177755 418 0 0 25 0 1 0 13322628 238383104 57369 1992294400 134512640 135752675 4290886000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 58199 57369 146 303 0 57894 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 232796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21374 /proc/meminfo: memFree=1629980/2059040 swapFree=4139620/4192956 [pid=21322] ppid=21320 vsize=234384 CPUtime=1800.04 /proc/21322/stat : 21322 (wbo1.4b) R 21320 21322 21055 0 -1 4202496 65939 0 0 0 179583 421 0 0 25 0 1 0 13322628 240009216 57778 1992294400 134512640 135752675 4290886000 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21322/statm: 58596 57778 146 303 0 58291 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 234384 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.83 CPU system time (s): 4.24235 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 234384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.83 system time used= 4.24235 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65939 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= 33 involuntary context switches= 21705 runsolver used 2.79458 second user time and 8.70268 second system time The end
Begin job on node056 at 2010-07-06 23:19:22 IDJOB=2687293 IDBENCH=77567 IDSOLVER=1190 FILE ID=node056/2687293-1278451161 PBS_JOBID= 11233546 Free space on /tmp= 98456 MiB SOLVER NAME= wbo 1.4b (fixed) 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 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687293-1278451161/watcher-2687293-1278451161 -o /tmp/evaluation-result-2687293-1278451161/solver-2687293-1278451161 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687293-1278451161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1ad880d8b0218ee8fbfe589c0282393 RANDOM SEED=933468887 node056.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.197 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.39 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.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1865740 kB Buffers: 8908 kB Cached: 99292 kB SwapCached: 5292 kB Active: 21604 kB Inactive: 99356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1865740 kB SwapTotal: 4192956 kB SwapFree: 4139620 kB Dirty: 10628 kB Writeback: 0 kB AnonPages: 12192 kB Mapped: 11796 kB Slab: 50376 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179172 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 98456 MiB End job on node056 at 2010-07-06 23:49:25