Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.06 | 1800.53 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12058_7.std.opb |
MD5SUM | 38417c05ad0fa807f5ea2aa87e724f6b |
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 | 160 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
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 | 255916 |
Number of constraints which are clauses | 254716 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2686890-1278443541.opb. 0.00/0.01 c Instance file HOME/instance-2686890-1278443541.opb 0.00/0.01 c File size is 8613846 bytes. 1.69/1.78 c Highest Coefficient sum: 738 1.69/1.78 c ============================[ Problem Statistics ]============================= 1.69/1.78 c | | 1.69/1.78 c | Parsing time: 1.75 s | 1.69/1.78 c | Number Variables: 72842 | 1.69/1.78 c | Number Clauses: 254716 | 1.69/1.78 c | Number Cardinality: 0 | 1.69/1.78 c | Number PB Constraints: 1200 | 98.46/98.54 c ============================[ Search Statistics ]============================== 98.46/98.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.46/98.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.46/98.54 c =============================================================================== 98.46/98.55 c | 0 | 49420 257392 552073 | 85305 0 nan | 0.000 % | 98.56/98.63 c | 100 | 49420 257392 552073 | 93835 100 39 | 32.155 % | 98.56/98.68 c =============================================================================== 98.56/98.68 c New solution: 300 98.56/98.68 o 300 98.56/98.68 c Elapsed CPU time: 98.487 s Remaining CPU time: 81.513 s 98.56/98.68 c =============================================================================== 98.56/98.68 c | 101 | 49420 257393 552373 | 85797 101 38 | 32.155 % | 98.67/98.76 c | 201 | 49412 257393 552373 | 94377 201 35 | 32.321 % | 98.76/98.81 c =============================================================================== 98.76/98.81 c New solution: 299 98.76/98.81 o 299 98.76/98.81 c Elapsed CPU time: 98.613 s Remaining CPU time: 81.387 s 98.76/98.81 c =============================================================================== 98.76/98.81 c | 207 | 49299 257394 552673 | 85798 207 34 | 32.321 % | 98.76/98.87 c =============================================================================== 98.76/98.87 c New solution: 298 98.76/98.87 o 298 98.76/98.87 c Elapsed CPU time: 98.675 s Remaining CPU time: 81.325 s 98.76/98.87 c =============================================================================== 98.76/98.87 c | 226 | 49167 257395 552973 | 85798 226 33 | 32.321 % | 98.87/98.93 c | 326 | 49152 257395 552973 | 94378 326 34 | 32.693 % | 98.97/99.01 c | 476 | 49147 257395 552973 | 103815 476 34 | 32.693 % | 98.97/99.09 c =============================================================================== 98.97/99.09 c New solution: 297 98.97/99.09 o 297 98.97/99.09 c Elapsed CPU time: 98.892 s Remaining CPU time: 81.108 s 98.97/99.09 c =============================================================================== 98.97/99.09 c | 539 | 49028 257396 553273 | 85798 539 36 | 32.693 % | 99.06/99.16 c | 640 | 48879 257396 553273 | 94378 486 36 | 32.897 % | 99.16/99.22 c =============================================================================== 99.16/99.22 c New solution: 296 99.16/99.22 o 296 99.16/99.22 c Elapsed CPU time: 99.0169 s Remaining CPU time: 80.9831 s 99.16/99.22 c =============================================================================== 99.16/99.22 c | 654 | 48879 257397 553573 | 85799 500 36 | 32.897 % | 99.27/99.30 c =============================================================================== 99.27/99.30 c New solution: 295 99.27/99.30 o 295 99.27/99.30 c Elapsed CPU time: 99.0989 s Remaining CPU time: 80.9011 s 99.27/99.30 c =============================================================================== 99.27/99.30 c | 695 | 48718 257398 553873 | 85799 541 36 | 32.897 % | 99.27/99.39 c =============================================================================== 99.27/99.39 c New solution: 294 99.27/99.39 o 294 99.27/99.39 c Elapsed CPU time: 99.1829 s Remaining CPU time: 80.8171 s 99.27/99.39 c =============================================================================== 99.27/99.39 c | 743 | 48550 257399 554173 | 85799 589 37 | 32.897 % | 99.37/99.45 c =============================================================================== 99.37/99.45 c New solution: 293 99.37/99.45 o 293 99.37/99.45 c Elapsed CPU time: 99.2449 s Remaining CPU time: 80.7551 s 99.37/99.45 c =============================================================================== 99.37/99.45 c | 762 | 48368 257400 554473 | 85800 608 36 | 32.897 % | 99.47/99.53 c =============================================================================== 99.47/99.53 c New solution: 292 99.47/99.53 o 292 99.47/99.53 c Elapsed CPU time: 99.3299 s Remaining CPU time: 80.6701 s 99.47/99.53 c =============================================================================== 99.47/99.53 c | 834 | 48175 257401 554773 | 85800 680 36 | 32.897 % | 99.57/99.62 c | 935 | 48162 257401 554773 | 94380 781 38 | 34.152 % | 99.67/99.71 c | 1087 | 47965 257401 554773 | 103818 702 41 | 34.152 % | 99.67/99.77 c =============================================================================== 99.67/99.77 c New solution: 291 99.67/99.77 o 291 99.67/99.77 c Elapsed CPU time: 99.5659 s Remaining CPU time: 80.4341 s 99.67/99.77 c =============================================================================== 99.67/99.77 c | 1091 | 47965 257402 555073 | 85800 706 40 | 34.152 % | 99.77/99.84 c =============================================================================== 99.77/99.84 c New solution: 290 99.77/99.84 o 290 99.77/99.84 c Elapsed CPU time: 99.6329 s Remaining CPU time: 80.3671 s 99.77/99.84 c =============================================================================== 99.77/99.84 c | 1093 | 47738 257403 555373 | 85801 708 40 | 34.152 % | 99.87/99.90 c =============================================================================== 99.87/99.90 c New solution: 289 99.87/99.90 o 289 99.87/99.90 c Elapsed CPU time: 99.6988 s Remaining CPU time: 80.3012 s 99.87/99.90 c =============================================================================== 99.87/99.90 c | 1093 | 47496 257404 555673 | 85801 708 40 | 34.152 % | 99.87/99.97 c =============================================================================== 99.87/99.97 c New solution: 288 99.87/99.97 o 288 99.87/99.97 c Elapsed CPU time: 99.7628 s Remaining CPU time: 80.2372 s 99.87/99.97 c =============================================================================== 99.87/99.97 c | 1099 | 47254 257405 555973 | 85801 714 40 | 34.152 % | 99.97/100.05 c =============================================================================== 99.97/100.05 c New solution: 287 99.97/100.05 o 287 99.97/100.05 c Elapsed CPU time: 99.8398 s Remaining CPU time: 80.1602 s 99.97/100.05 c =============================================================================== 99.97/100.05 c | 1153 | 47012 257406 556273 | 85802 768 40 | 34.152 % | 99.97/100.10 c | 1253 | 47001 257406 556273 | 94382 868 39 | 35.793 % | 100.07/100.16 c =============================================================================== 100.07/100.16 c New solution: 286 100.07/100.16 o 286 100.07/100.16 c Elapsed CPU time: 99.9528 s Remaining CPU time: 80.0472 s 100.07/100.16 c =============================================================================== 100.07/100.16 c | 1260 | 46770 257407 556573 | 85802 875 39 | 35.793 % | 100.16/100.23 c =============================================================================== 100.16/100.23 c New solution: 285 100.16/100.23 o 285 100.16/100.23 c Elapsed CPU time: 100.024 s Remaining CPU time: 79.9762 s 100.16/100.23 c =============================================================================== 100.16/100.23 c | 1270 | 46528 257408 556873 | 85802 885 39 | 35.793 % | 100.16/100.29 c =============================================================================== 100.16/100.29 c New solution: 284 100.16/100.29 o 284 100.16/100.29 c Elapsed CPU time: 100.085 s Remaining CPU time: 79.9152 s 100.16/100.29 c =============================================================================== 100.16/100.29 c | 1277 | 46286 257409 557173 | 85803 892 39 | 35.793 % | 100.26/100.36 c | 1378 | 46044 257409 557173 | 94383 610 39 | 36.789 % | 100.36/100.46 c | 1528 | 46044 257409 557173 | 103821 760 41 | 36.789 % | 100.46/100.60 c =============================================================================== 100.46/100.60 c New solution: 283 100.46/100.60 o 283 100.46/100.60 c Elapsed CPU time: 100.385 s Remaining CPU time: 79.6153 s 100.46/100.60 c =============================================================================== 100.46/100.60 c | 1645 | 46044 257410 557473 | 85803 877 42 | 36.789 % | 100.56/100.66 c =============================================================================== 100.56/100.66 c New solution: 282 100.56/100.66 o 282 100.56/100.66 c Elapsed CPU time: 100.447 s Remaining CPU time: 79.5533 s 100.56/100.66 c =============================================================================== 100.56/100.66 c | 1654 | 45802 257411 557773 | 85803 886 42 | 36.789 % | 100.66/100.72 c =============================================================================== 100.66/100.72 c New solution: 281 100.66/100.72 o 281 100.66/100.72 c Elapsed CPU time: 100.512 s Remaining CPU time: 79.4883 s 100.66/100.72 c =============================================================================== 100.66/100.72 c | 1655 | 45560 257412 558073 | 85804 887 42 | 36.789 % | 100.66/100.78 c =============================================================================== 100.66/100.78 c New solution: 280 100.66/100.78 o 280 100.66/100.78 c Elapsed CPU time: 100.566 s Remaining CPU time: 79.4343 s 100.66/100.78 c =============================================================================== 100.66/100.78 c | 1657 | 45318 257413 558373 | 85804 889 42 | 36.789 % | 100.76/100.85 c =============================================================================== 100.76/100.85 c New solution: 279 100.76/100.85 o 279 100.76/100.85 c Elapsed CPU time: 100.632 s Remaining CPU time: 79.3683 s 100.76/100.85 c =============================================================================== 100.76/100.85 c | 1660 | 45076 257414 558673 | 85804 892 41 | 36.789 % | 100.87/100.91 c =============================================================================== 100.87/100.91 c New solution: 278 100.87/100.91 o 278 100.87/100.91 c Elapsed CPU time: 100.701 s Remaining CPU time: 79.2993 s 100.87/100.91 c =============================================================================== 100.87/100.91 c | 1667 | 44834 257415 558973 | 85805 899 41 | 36.789 % | 100.87/100.98 c =============================================================================== 100.87/100.98 c New solution: 277 100.87/100.98 o 277 100.87/100.98 c Elapsed CPU time: 100.77 s Remaining CPU time: 79.2303 s 100.87/100.98 c =============================================================================== 100.87/100.98 c | 1696 | 44592 257416 559273 | 85805 653 37 | 36.789 % | 100.97/101.06 c | 1796 | 44564 257416 559273 | 94385 753 39 | 39.115 % | 101.07/101.16 c | 1946 | 44559 257416 559273 | 103824 903 40 | 39.115 % | 101.17/101.22 c =============================================================================== 101.17/101.22 c New solution: 276 101.17/101.22 o 276 101.17/101.22 c Elapsed CPU time: 101.001 s Remaining CPU time: 78.9994 s 101.17/101.22 c =============================================================================== 101.17/101.22 c | 1951 | 44350 257417 559573 | 85805 908 40 | 39.115 % | 101.17/101.29 c =============================================================================== 101.17/101.29 c New solution: 275 101.17/101.29 o 275 101.17/101.29 c Elapsed CPU time: 101.069 s Remaining CPU time: 78.9314 s 101.17/101.29 c =============================================================================== 101.17/101.29 c | 1960 | 44108 257418 559873 | 85806 917 39 | 39.115 % | 101.26/101.37 c | 2060 | 44055 257418 559873 | 94386 1017 40 | 39.779 % | 101.36/101.46 c | 2212 | 44054 257418 559873 | 103825 1169 41 | 39.779 % | 101.46/101.53 c =============================================================================== 101.46/101.53 c New solution: 274 101.46/101.53 o 274 101.46/101.53 c Elapsed CPU time: 101.311 s Remaining CPU time: 78.6894 s 101.46/101.53 c =============================================================================== 101.46/101.53 c | 2235 | 43866 257419 560173 | 85806 1192 41 | 39.779 % | 101.46/101.59 c =============================================================================== 101.46/101.59 c New solution: 273 101.46/101.59 o 273 101.46/101.59 c Elapsed CPU time: 101.376 s Remaining CPU time: 78.6244 s 101.46/101.59 c =============================================================================== 101.46/101.59 c | 2240 | 43624 257420 560473 | 85806 904 38 | 39.779 % | 101.56/101.66 c =============================================================================== 101.56/101.66 c New solution: 272 101.56/101.66 o 272 101.56/101.66 c Elapsed CPU time: 101.442 s Remaining CPU time: 78.5584 s 101.56/101.66 c =============================================================================== 101.56/101.66 c | 2243 | 43382 257421 560773 | 85807 907 38 | 39.779 % | 101.66/101.72 c =============================================================================== 101.66/101.72 c New solution: 271 101.66/101.72 o 271 101.66/101.72 c Elapsed CPU time: 101.499 s Remaining CPU time: 78.5014 s 101.66/101.72 c =============================================================================== 101.66/101.72 c | 2257 | 43140 257422 561073 | 85807 921 38 | 39.779 % | 101.66/101.78 c =============================================================================== 101.66/101.78 c New solution: 270 101.66/101.78 o 270 101.66/101.78 c Elapsed CPU time: 101.565 s Remaining CPU time: 78.4354 s 101.66/101.78 c =============================================================================== 101.66/101.78 c | 2277 | 42898 257423 561373 | 85807 941 38 | 39.779 % | 101.76/101.86 c | 2378 | 42886 257423 561373 | 94388 1042 39 | 41.440 % | 101.86/101.98 c | 2530 | 42882 257423 561373 | 103827 1194 39 | 41.440 % | 101.96/102.03 c =============================================================================== 101.96/102.03 c New solution: 269 101.96/102.03 o 269 101.96/102.03 c Elapsed CPU time: 101.812 s Remaining CPU time: 78.1885 s 101.96/102.03 c =============================================================================== 101.96/102.03 c | 2537 | 42656 257424 561673 | 85808 1201 39 | 41.440 % | 102.06/102.10 c =============================================================================== 102.06/102.10 c New solution: 268 102.06/102.10 o 268 102.06/102.10 c Elapsed CPU time: 101.882 s Remaining CPU time: 78.1185 s 102.06/102.10 c =============================================================================== 102.06/102.10 c | 2543 | 42414 257425 561973 | 85808 1207 39 | 41.440 % | 102.06/102.16 c =============================================================================== 102.06/102.16 c New solution: 267 102.06/102.16 o 267 102.06/102.16 c Elapsed CPU time: 101.94 s Remaining CPU time: 78.0605 s 102.06/102.16 c =============================================================================== 102.06/102.16 c | 2557 | 42172 257426 562273 | 85808 1221 39 | 41.440 % | 102.17/102.22 c | 2657 | 42162 257426 562273 | 94389 1321 39 | 42.437 % | 102.17/102.28 c =============================================================================== 102.17/102.28 c New solution: 266 102.17/102.28 o 266 102.17/102.28 c Elapsed CPU time: 102.062 s Remaining CPU time: 77.9375 s 102.17/102.28 c =============================================================================== 102.17/102.28 c | 2685 | 41930 257427 562573 | 85809 838 39 | 42.437 % | 102.27/102.38 c | 2785 | 41925 257427 562573 | 94389 938 41 | 42.769 % | 102.36/102.44 c =============================================================================== 102.36/102.44 c New solution: 265 102.36/102.44 o 265 102.36/102.44 c Elapsed CPU time: 102.216 s Remaining CPU time: 77.7835 s 102.36/102.44 c =============================================================================== 102.36/102.44 c | 2809 | 41688 257428 562873 | 85809 962 41 | 42.769 % | 102.36/102.49 c =============================================================================== 102.36/102.49 c New solution: 264 102.36/102.49 o 264 102.36/102.49 c Elapsed CPU time: 102.272 s Remaining CPU time: 77.7275 s 102.36/102.49 c =============================================================================== 102.36/102.49 c | 2817 | 41446 257429 563173 | 85809 970 40 | 42.769 % | 102.46/102.56 c | 2919 | 41415 257429 563173 | 94390 1072 41 | 43.434 % | 102.56/102.68 c | 3071 | 41412 257429 563173 | 103829 1224 42 | 43.434 % | 102.67/102.73 c =============================================================================== 102.67/102.73 c New solution: 263 102.67/102.73 o 263 102.67/102.73 c Elapsed CPU time: 102.509 s Remaining CPU time: 77.4906 s 102.67/102.73 c =============================================================================== 102.67/102.73 c | 3078 | 41204 257430 563473 | 85810 1231 42 | 43.434 % | 102.77/102.80 c =============================================================================== 102.77/102.80 c New solution: 262 102.77/102.80 o 262 102.77/102.80 c Elapsed CPU time: 102.571 s Remaining CPU time: 77.4286 s 102.77/102.80 c =============================================================================== 102.77/102.80 c | 3111 | 40962 257431 563773 | 85810 1264 42 | 43.434 % | 102.77/102.86 c | 3211 | 40947 257431 563773 | 94391 1364 43 | 44.098 % | 102.87/102.98 c | 3361 | 40720 257431 563773 | 103830 1239 43 | 44.098 % | 102.97/103.03 c =============================================================================== 102.97/103.03 c New solution: 261 102.97/103.03 o 261 102.97/103.03 c Elapsed CPU time: 102.802 s Remaining CPU time: 77.1976 s 102.97/103.03 c =============================================================================== 102.97/103.03 c | 3362 | 40720 257432 564073 | 85810 1240 43 | 44.098 % | 102.97/103.08 c =============================================================================== 102.97/103.08 c New solution: 260 102.97/103.08 o 260 102.97/103.08 c Elapsed CPU time: 102.852 s Remaining CPU time: 77.1476 s 102.97/103.08 c =============================================================================== 102.97/103.08 c | 3363 | 40478 257433 564373 | 85811 1241 43 | 44.098 % | 103.06/103.14 c =============================================================================== 103.06/103.14 c New solution: 259 103.06/103.14 o 259 103.06/103.14 c Elapsed CPU time: 102.914 s Remaining CPU time: 77.0856 s 103.06/103.14 c =============================================================================== 103.06/103.14 c | 3366 | 40236 257434 564673 | 85811 1244 43 | 44.098 % | 103.06/103.19 c =============================================================================== 103.06/103.19 c New solution: 258 103.06/103.19 o 258 103.06/103.19 c Elapsed CPU time: 102.966 s Remaining CPU time: 77.0337 s 103.06/103.19 c =============================================================================== 103.06/103.19 c | 3368 | 39994 257435 564973 | 85811 1246 43 | 44.098 % | 103.16/103.25 c =============================================================================== 103.16/103.25 c New solution: 257 103.16/103.25 o 257 103.16/103.25 c Elapsed CPU time: 103.018 s Remaining CPU time: 76.9817 s 103.16/103.25 c =============================================================================== 103.16/103.25 c | 3377 | 39752 257436 565273 | 85812 1255 43 | 44.098 % | 103.27/103.34 c =============================================================================== 103.27/103.34 c New solution: 256 103.27/103.34 o 256 103.27/103.34 c Elapsed CPU time: 103.11 s Remaining CPU time: 76.8897 s 103.27/103.34 c =============================================================================== 103.27/103.34 c | 3448 | 39510 257437 565573 | 85812 1326 43 | 44.098 % | 103.37/103.43 c | 3548 | 39497 257437 565573 | 94393 1426 44 | 46.092 % | 103.37/103.48 c =============================================================================== 103.37/103.48 c New solution: 255 103.37/103.48 o 255 103.37/103.48 c Elapsed CPU time: 103.251 s Remaining CPU time: 76.7487 s 103.37/103.48 c =============================================================================== 103.37/103.48 c | 3554 | 39268 257438 565873 | 85812 1432 43 | 46.092 % | 103.46/103.55 c =============================================================================== 103.46/103.55 c New solution: 254 103.46/103.55 o 254 103.46/103.55 c Elapsed CPU time: 103.322 s Remaining CPU time: 76.6777 s 103.46/103.55 c =============================================================================== 103.46/103.55 c | 3603 | 39026 257439 566173 | 85813 1481 44 | 46.092 % | 103.56/103.62 c | 3704 | 38784 257439 566173 | 94394 942 38 | 46.756 % | 103.66/103.72 c | 3855 | 38784 257439 566173 | 103833 1093 39 | 46.756 % | 103.66/103.78 c =============================================================================== 103.66/103.78 c New solution: 253 103.66/103.78 o 253 103.66/103.78 c Elapsed CPU time: 103.546 s Remaining CPU time: 76.4537 s 103.66/103.78 c =============================================================================== 103.66/103.78 c | 3872 | 38784 257440 566473 | 85813 1110 39 | 46.756 % | 103.76/103.84 c =============================================================================== 103.76/103.84 c New solution: 252 103.76/103.84 o 252 103.76/103.84 c Elapsed CPU time: 103.601 s Remaining CPU time: 76.3988 s 103.76/103.84 c =============================================================================== 103.76/103.84 c | 3881 | 38542 257441 566773 | 85813 1119 39 | 46.756 % | 103.76/103.89 c | 3981 | 38527 257441 566773 | 94395 1219 38 | 47.420 % | 103.87/103.96 c | 4131 | 38522 257441 566773 | 103834 1369 39 | 47.420 % | 103.97/104.02 c =============================================================================== 103.97/104.02 c New solution: 251 103.97/104.02 o 251 103.97/104.02 c Elapsed CPU time: 103.784 s Remaining CPU time: 76.2158 s 103.97/104.02 c =============================================================================== 103.97/104.02 c | 4147 | 38300 257442 567073 | 85814 1385 38 | 47.420 % | 103.97/104.08 c | 4247 | 38273 257442 567073 | 94395 1485 39 | 47.753 % | 104.06/104.18 c | 4399 | 38272 257442 567073 | 103834 1637 39 | 47.753 % | 104.16/104.24 c =============================================================================== 104.16/104.24 c New solution: 250 104.16/104.24 o 250 104.16/104.24 c Elapsed CPU time: 103.997 s Remaining CPU time: 76.0028 s 104.16/104.24 c =============================================================================== 104.16/104.24 c | 4403 | 38058 257443 567373 | 85814 1390 39 | 47.753 % | 104.16/104.29 c =============================================================================== 104.16/104.29 c New solution: 249 104.16/104.29 o 249 104.16/104.29 c Elapsed CPU time: 104.047 s Remaining CPU time: 75.9528 s 104.16/104.29 c =============================================================================== 104.16/104.29 c | 4403 | 37816 257444 567673 | 85814 1390 39 | 47.753 % | 104.26/104.34 c =============================================================================== 104.26/104.34 c New solution: 248 104.26/104.34 o 248 104.26/104.34 c Elapsed CPU time: 104.097 s Remaining CPU time: 75.9028 s 104.26/104.34 c =============================================================================== 104.26/104.34 c | 4405 | 37574 257445 567973 | 85815 1392 39 | 47.753 % | 104.37/104.40 c =============================================================================== 104.37/104.40 c New solution: 247 104.37/104.40 o 247 104.37/104.40 c Elapsed CPU time: 104.155 s Remaining CPU time: 75.8448 s 104.37/104.40 c =============================================================================== 104.37/104.40 c | 4410 | 37332 257446 568273 | 85815 1397 39 | 47.753 % | 104.37/104.45 c =============================================================================== 104.37/104.45 c New solution: 246 104.37/104.45 o 246 104.37/104.45 c Elapsed CPU time: 104.208 s Remaining CPU time: 75.7918 s 104.37/104.45 c =============================================================================== 104.37/104.45 c | 4424 | 37090 257447 568573 | 85815 1411 39 | 47.753 % | 104.47/104.52 c | 4524 | 37071 257447 568573 | 94397 1511 39 | 49.414 % | 104.56/104.61 c | 4674 | 37065 257447 568573 | 103836 1661 40 | 49.414 % | 104.56/104.67 c =============================================================================== 104.56/104.67 c New solution: 245 104.56/104.67 o 245 104.56/104.67 c Elapsed CPU time: 104.424 s Remaining CPU time: 75.5759 s 104.56/104.67 c =============================================================================== 104.56/104.67 c | 4677 | 36848 257448 568873 | 85816 1664 40 | 49.414 % | 104.66/104.73 c =============================================================================== 104.66/104.73 c New solution: 244 104.66/104.73 o 244 104.66/104.73 c Elapsed CPU time: 104.485 s Remaining CPU time: 75.5149 s 104.66/104.73 c =============================================================================== 104.66/104.73 c | 4683 | 36606 257449 569173 | 85816 1670 40 | 49.414 % | 104.76/104.80 c =============================================================================== 104.76/104.80 c New solution: 243 104.76/104.80 o 243 104.76/104.80 c Elapsed CPU time: 104.553 s Remaining CPU time: 75.4469 s 104.76/104.80 c =============================================================================== 104.76/104.80 c | 4695 | 36364 257450 569473 | 85816 1682 39 | 49.414 % | 104.76/104.87 c =============================================================================== 104.76/104.87 c New solution: 242 104.76/104.87 o 242 104.76/104.87 c Elapsed CPU time: 104.624 s Remaining CPU time: 75.3759 s 104.76/104.87 c =============================================================================== 104.76/104.87 c | 4707 | 36122 257451 569773 | 85817 1694 39 | 49.414 % | 104.86/104.94 c =============================================================================== 104.86/104.94 c New solution: 241 104.86/104.94 o 241 104.86/104.94 c Elapsed CPU time: 104.692 s Remaining CPU time: 75.3079 s 104.86/104.94 c =============================================================================== 104.86/104.94 c | 4716 | 35880 257452 570073 | 85817 1703 39 | 49.414 % | 104.96/105.01 c =============================================================================== 104.96/105.01 c New solution: 240 104.96/105.01 o 240 104.96/105.01 c Elapsed CPU time: 104.763 s Remaining CPU time: 75.2369 s 104.96/105.01 c =============================================================================== 104.96/105.01 c | 4765 | 35638 257453 570373 | 85817 889 38 | 49.414 % | 104.96/105.07 c | 4865 | 35628 257453 570373 | 94399 989 38 | 51.407 % | 105.06/105.17 c | 5016 | 35624 257453 570373 | 103839 1140 38 | 51.407 % | 105.17/105.23 c =============================================================================== 105.17/105.23 c New solution: 239 105.17/105.23 o 239 105.17/105.23 c Elapsed CPU time: 104.982 s Remaining CPU time: 75.018 s 105.17/105.23 c =============================================================================== 105.17/105.23 c | 5026 | 35396 257454 570673 | 85818 1150 38 | 51.407 % | 105.17/105.29 c =============================================================================== 105.17/105.29 c New solution: 238 105.17/105.29 o 238 105.17/105.29 c Elapsed CPU time: 105.047 s Remaining CPU time: 74.953 s 105.17/105.29 c =============================================================================== 105.17/105.29 c | 5034 | 35154 257455 570973 | 85818 1158 38 | 51.407 % | 105.27/105.35 c =============================================================================== 105.27/105.35 c New solution: 237 105.27/105.35 o 237 105.27/105.35 c Elapsed CPU time: 105.102 s Remaining CPU time: 74.898 s 105.27/105.35 c =============================================================================== 105.27/105.35 c | 5050 | 34912 257456 571273 | 85818 1174 38 | 51.407 % | 105.37/105.41 c | 5150 | 34853 257456 571273 | 94400 1274 39 | 52.404 % | 105.47/105.51 c | 5301 | 34850 257456 571273 | 103840 1425 40 | 52.404 % | 105.47/105.56 c =============================================================================== 105.47/105.56 c New solution: 236 105.47/105.56 o 236 105.47/105.56 c Elapsed CPU time: 105.315 s Remaining CPU time: 74.685 s 105.47/105.56 c =============================================================================== 105.47/105.56 c | 5304 | 34670 257457 571573 | 85819 1428 40 | 52.404 % | 105.57/105.62 c =============================================================================== 105.57/105.62 c New solution: 235 105.57/105.62 o 235 105.57/105.62 c Elapsed CPU time: 105.372 s Remaining CPU time: 74.628 s 105.57/105.62 c =============================================================================== 105.57/105.62 c | 5316 | 34428 257458 571873 | 85819 1162 40 | 52.404 % | 105.57/105.66 c | 5416 | 34381 257458 571873 | 94401 1262 40 | 53.068 % | 105.66/105.78 c | 5566 | 34373 257458 571873 | 103841 1412 41 | 53.068 % | 105.76/105.83 c =============================================================================== 105.76/105.83 c New solution: 234 105.76/105.83 o 234 105.76/105.83 c Elapsed CPU time: 105.576 s Remaining CPU time: 74.424 s 105.76/105.83 c =============================================================================== 105.76/105.83 c | 5571 | 34186 257459 572173 | 85819 1417 40 | 53.068 % | 105.76/105.89 c | 5671 | 34143 257459 572173 | 94401 1517 41 | 53.401 % | 105.86/105.99 c | 5822 | 34140 257459 572173 | 103841 1668 42 | 53.401 % | 105.96/106.04 c =============================================================================== 105.96/106.04 c New solution: 233 105.96/106.04 o 233 105.96/106.04 c Elapsed CPU time: 105.793 s Remaining CPU time: 74.2071 s 105.96/106.04 c =============================================================================== 105.96/106.04 c | 5827 | 33944 257460 572473 | 85820 1673 42 | 53.401 % | 106.06/106.11 c =============================================================================== 106.06/106.11 c New solution: 232 106.06/106.11 o 232 106.06/106.11 c Elapsed CPU time: 105.858 s Remaining CPU time: 74.1421 s 106.06/106.11 c =============================================================================== 106.06/106.11 c | 5875 | 33702 257461 572773 | 85820 1721 42 | 53.401 % | 106.06/106.17 c | 5975 | 33691 257461 572773 | 94402 1821 41 | 54.065 % | 106.16/106.22 c =============================================================================== 106.16/106.22 c New solution: 231 106.16/106.22 o 231 106.16/106.22 c Elapsed CPU time: 105.966 s Remaining CPU time: 74.0341 s 106.16/106.22 c =============================================================================== 106.16/106.22 c | 5980 | 33460 257462 573073 | 85820 1826 41 | 54.065 % | 106.16/106.28 c =============================================================================== 106.16/106.28 c New solution: 230 106.16/106.28 o 230 106.16/106.28 c Elapsed CPU time: 106.028 s Remaining CPU time: 73.9721 s 106.16/106.28 c =============================================================================== 106.16/106.28 c | 5983 | 33218 257463 573373 | 85821 1173 37 | 54.065 % | 106.27/106.34 c =============================================================================== 106.27/106.34 c New solution: 229 106.27/106.34 o 229 106.27/106.34 c Elapsed CPU time: 106.085 s Remaining CPU time: 73.9151 s 106.27/106.34 c =============================================================================== 106.27/106.34 c | 5991 | 32976 257464 573673 | 85821 1181 37 | 54.065 % | 106.36/106.40 c =============================================================================== 106.36/106.40 c New solution: 228 106.36/106.40 o 228 106.36/106.40 c Elapsed CPU time: 106.142 s Remaining CPU time: 73.8581 s 106.36/106.40 c =============================================================================== 106.36/106.40 c | 6021 | 32734 257465 573973 | 85821 1211 37 | 54.065 % | 106.36/106.48 c | 6121 | 32728 257465 573973 | 94403 1311 37 | 55.394 % | 106.46/106.56 c =============================================================================== 106.46/106.56 c New solution: 227 106.46/106.56 o 227 106.46/106.56 c Elapsed CPU time: 106.305 s Remaining CPU time: 73.6952 s 106.46/106.56 c =============================================================================== 106.46/106.56 c | 6215 | 32492 257466 574273 | 85822 1405 38 | 55.394 % | 106.57/106.65 c | 6316 | 32488 257466 574273 | 94404 1506 38 | 55.726 % | 106.57/106.70 c =============================================================================== 106.57/106.70 c New solution: 226 106.57/106.70 o 226 106.57/106.70 c Elapsed CPU time: 106.44 s Remaining CPU time: 73.5602 s 106.57/106.70 c =============================================================================== 106.57/106.70 c | 6328 | 32250 257467 574573 | 85822 1518 38 | 55.726 % | 106.67/106.76 c =============================================================================== 106.67/106.76 c New solution: 225 106.67/106.76 o 225 106.67/106.76 c Elapsed CPU time: 106.499 s Remaining CPU time: 73.5012 s 106.67/106.76 c =============================================================================== 106.67/106.76 c | 6342 | 32008 257468 574873 | 85822 1532 38 | 55.726 % | 106.76/106.85 c | 6442 | 31998 257468 574873 | 94404 1632 39 | 56.391 % | 106.86/106.90 c =============================================================================== 106.86/106.90 c New solution: 224 106.86/106.90 o 224 106.86/106.90 c Elapsed CPU time: 106.635 s Remaining CPU time: 73.3652 s 106.86/106.90 c =============================================================================== 106.86/106.90 c | 6449 | 31766 257469 575173 | 85823 1639 39 | 56.391 % | 106.86/106.95 c =============================================================================== 106.86/106.95 c New solution: 223 106.86/106.95 o 223 106.86/106.95 c Elapsed CPU time: 106.689 s Remaining CPU time: 73.3112 s 106.86/106.95 c =============================================================================== 106.86/106.95 c | 6459 | 31524 257470 575473 | 85823 976 36 | 56.391 % | 106.96/107.00 c =============================================================================== 106.96/107.00 c New solution: 222 106.96/107.00 o 222 106.96/107.00 c Elapsed CPU time: 106.738 s Remaining CPU time: 73.2622 s 106.96/107.00 c =============================================================================== 106.96/107.00 c | 6468 | 31282 257471 575773 | 85823 985 36 | 56.391 % | 106.96/107.05 c =============================================================================== 106.96/107.05 c New solution: 221 106.96/107.05 o 221 106.96/107.05 c Elapsed CPU time: 106.789 s Remaining CPU time: 73.2112 s 106.96/107.05 c =============================================================================== 106.96/107.05 c | 6482 | 31040 257472 576073 | 85824 999 36 | 56.391 % | 107.06/107.11 c =============================================================================== 107.06/107.11 c New solution: 220 107.06/107.11 o 220 107.06/107.11 c Elapsed CPU time: 106.847 s Remaining CPU time: 73.1532 s 107.06/107.11 c =============================================================================== 107.06/107.11 c | 6514 | 30798 257473 576373 | 85824 1031 36 | 56.391 % | 107.06/107.19 c | 6614 | 30791 257473 576373 | 94406 1131 36 | 58.052 % | 107.16/107.24 c =============================================================================== 107.16/107.24 c New solution: 219 107.16/107.24 o 219 107.16/107.24 c Elapsed CPU time: 106.982 s Remaining CPU time: 73.0183 s 107.16/107.24 c =============================================================================== 107.16/107.24 c | 6622 | 30556 257474 576673 | 85824 1139 36 | 58.052 % | 107.26/107.31 c =============================================================================== 107.26/107.31 c New solution: 218 107.26/107.31 o 218 107.26/107.31 c Elapsed CPU time: 107.046 s Remaining CPU time: 72.9543 s 107.26/107.31 c =============================================================================== 107.26/107.31 c | 6682 | 30314 257475 576973 | 85825 1199 36 | 58.052 % | 107.26/107.38 c | 6782 | 30312 257475 576973 | 94407 1299 35 | 58.716 % | 107.36/107.44 c =============================================================================== 107.36/107.44 c New solution: 217 107.36/107.44 o 217 107.36/107.44 c Elapsed CPU time: 107.178 s Remaining CPU time: 72.8223 s 107.36/107.44 c =============================================================================== 107.36/107.44 c | 6824 | 30072 257476 577273 | 85825 1341 35 | 58.716 % | 107.46/107.52 c | 6925 | 30069 257476 577273 | 94407 1442 36 | 59.048 % | 107.46/107.58 c =============================================================================== 107.46/107.58 c New solution: 216 107.46/107.58 o 216 107.46/107.58 c Elapsed CPU time: 107.311 s Remaining CPU time: 72.6893 s 107.46/107.58 c =============================================================================== 107.46/107.58 c | 6935 | 29830 257477 577573 | 85825 1452 35 | 59.048 % | 107.57/107.63 c =============================================================================== 107.57/107.63 c New solution: 215 107.57/107.63 o 215 107.57/107.63 c Elapsed CPU time: 107.36 s Remaining CPU time: 72.6403 s 107.57/107.63 c =============================================================================== 107.57/107.63 c | 6945 | 29588 257478 577873 | 85826 1462 35 | 59.048 % | 107.57/107.69 c =============================================================================== 107.57/107.69 c New solution: 214 107.57/107.69 o 214 107.57/107.69 c Elapsed CPU time: 107.42 s Remaining CPU time: 72.5803 s 107.57/107.69 c =============================================================================== 107.57/107.69 c | 6987 | 29346 257479 578173 | 85826 1504 35 | 59.048 % | 107.67/107.77 c | 7089 | 29104 257479 578173 | 94408 945 36 | 60.045 % | 107.77/107.82 c =============================================================================== 107.77/107.82 c New solution: 213 107.77/107.82 o 213 107.77/107.82 c Elapsed CPU time: 107.553 s Remaining CPU time: 72.4474 s 107.77/107.82 c =============================================================================== 107.77/107.82 c | 7101 | 29104 257480 578473 | 85826 957 35 | 60.045 % | 107.77/107.87 c =============================================================================== 107.77/107.87 c New solution: 212 107.77/107.87 o 212 107.77/107.87 c Elapsed CPU time: 107.6 s Remaining CPU time: 72.4004 s 107.77/107.87 c =============================================================================== 107.77/107.87 c | 7106 | 28862 257481 578773 | 85827 962 35 | 60.045 % | 107.86/107.92 c =============================================================================== 107.86/107.92 c New solution: 211 107.86/107.92 o 211 107.86/107.92 c Elapsed CPU time: 107.649 s Remaining CPU time: 72.3514 s 107.86/107.92 c =============================================================================== 107.86/107.92 c | 7117 | 28620 257482 579073 | 85827 973 35 | 60.045 % | 107.86/107.97 c =============================================================================== 107.86/107.97 c New solution: 210 107.86/107.97 o 210 107.86/107.97 c Elapsed CPU time: 107.696 s Remaining CPU time: 72.3044 s 107.86/107.97 c =============================================================================== 107.86/107.97 c | 7121 | 28378 257483 579373 | 85827 977 35 | 60.045 % | 107.96/108.01 c =============================================================================== 107.96/108.01 c New solution: 209 107.96/108.01 o 209 107.96/108.01 c Elapsed CPU time: 107.743 s Remaining CPU time: 72.2574 s 107.96/108.01 c =============================================================================== 107.96/108.01 c | 7126 | 28136 257484 579673 | 85828 982 35 | 60.045 % | 107.96/108.07 c =============================================================================== 107.96/108.07 c New solution: 208 107.96/108.07 o 208 107.96/108.07 c Elapsed CPU time: 107.803 s Remaining CPU time: 72.1974 s 107.96/108.07 c =============================================================================== 107.96/108.07 c | 7165 | 27894 257485 579973 | 85828 1021 35 | 60.045 % | 108.06/108.16 c | 7265 | 27886 257485 579973 | 94411 1121 36 | 62.038 % | 108.16/108.21 c =============================================================================== 108.16/108.21 c New solution: 207 108.16/108.21 o 207 108.16/108.21 c Elapsed CPU time: 107.934 s Remaining CPU time: 72.0664 s 108.16/108.21 c =============================================================================== 108.16/108.21 c | 7277 | 27652 257486 580273 | 85828 1133 35 | 62.038 % | 108.16/108.25 c =============================================================================== 108.16/108.25 c New solution: 206 108.16/108.25 o 206 108.16/108.25 c Elapsed CPU time: 107.979 s Remaining CPU time: 72.0214 s 108.16/108.25 c =============================================================================== 108.16/108.25 c | 7282 | 27410 257487 580573 | 85829 1138 35 | 62.038 % | 108.26/108.30 c =============================================================================== 108.26/108.30 c New solution: 205 108.26/108.30 o 205 108.26/108.30 c Elapsed CPU time: 108.027 s Remaining CPU time: 71.9734 s 108.26/108.30 c =============================================================================== 108.26/108.30 c | 7291 | 27168 257488 580873 | 85829 1147 35 | 62.038 % | 108.26/108.35 c =============================================================================== 108.26/108.35 c New solution: 204 108.26/108.35 o 204 108.26/108.35 c Elapsed CPU time: 108.073 s Remaining CPU time: 71.9274 s 108.26/108.35 c =============================================================================== 108.26/108.35 c | 7294 | 26926 257489 581173 | 85829 1150 35 | 62.038 % | 108.36/108.40 c | 7394 | 26883 257489 581173 | 94412 1250 37 | 63.367 % | 108.46/108.52 c | 7548 | 26882 257489 581173 | 103853 1404 38 | 63.367 % | 108.46/108.57 c =============================================================================== 108.46/108.57 c New solution: 203 108.46/108.57 o 203 108.46/108.57 c Elapsed CPU time: 108.292 s Remaining CPU time: 71.7085 s 108.46/108.57 c =============================================================================== 108.46/108.57 c | 7554 | 26684 257490 581473 | 85830 823 36 | 63.367 % | 108.56/108.61 c | 7655 | 26641 257490 581473 | 94413 924 36 | 63.700 % | 108.66/108.76 c | 7805 | 26635 257490 581473 | 103854 1074 40 | 63.700 % | 108.77/108.81 c =============================================================================== 108.77/108.81 c New solution: 202 108.77/108.81 o 202 108.77/108.81 c Elapsed CPU time: 108.531 s Remaining CPU time: 71.4695 s 108.77/108.81 c =============================================================================== 108.77/108.81 c | 7806 | 26442 257491 581773 | 85830 1075 40 | 63.700 % | 108.77/108.86 c =============================================================================== 108.77/108.86 c New solution: 201 108.77/108.86 o 201 108.77/108.86 c Elapsed CPU time: 108.58 s Remaining CPU time: 71.4195 s 108.77/108.86 c =============================================================================== 108.77/108.86 c | 7823 | 26200 257492 582073 | 85830 1092 40 | 63.700 % | 108.87/108.92 c =============================================================================== 108.87/108.92 c New solution: 200 108.87/108.92 o 200 108.87/108.92 c Elapsed CPU time: 108.639 s Remaining CPU time: 71.3605 s 108.87/108.92 c =============================================================================== 108.87/108.92 c | 7830 | 25958 257493 582373 | 85831 1099 40 | 63.700 % | 108.87/108.96 c =============================================================================== 108.87/108.96 c New solution: 199 108.87/108.96 o 199 108.87/108.96 c Elapsed CPU time: 108.685 s Remaining CPU time: 71.3145 s 108.87/108.96 c =============================================================================== 108.87/108.96 c | 7839 | 25716 257494 582673 | 85831 1108 39 | 63.700 % | 108.96/109.03 c =============================================================================== 108.96/109.03 c New solution: 198 108.96/109.03 o 198 108.96/109.03 c Elapsed CPU time: 108.748 s Remaining CPU time: 71.2515 s 108.96/109.03 c =============================================================================== 108.96/109.03 c | 7894 | 25474 257495 582973 | 85831 1163 39 | 63.700 % | 109.06/109.11 c | 7994 | 25464 257495 582973 | 94414 1263 41 | 65.361 % | 109.06/109.16 c =============================================================================== 109.06/109.16 c New solution: 197 109.06/109.16 o 197 109.06/109.16 c Elapsed CPU time: 108.88 s Remaining CPU time: 71.1196 s 109.06/109.16 c =============================================================================== 109.06/109.16 c | 8012 | 25232 257496 583273 | 85832 1281 40 | 65.361 % | 109.16/109.21 c =============================================================================== 109.16/109.21 c New solution: 196 109.16/109.21 o 196 109.16/109.21 c Elapsed CPU time: 108.93 s Remaining CPU time: 71.0696 s 109.16/109.21 c =============================================================================== 109.16/109.21 c | 8028 | 24990 257497 583573 | 85832 1297 40 | 65.361 % | 109.16/109.27 c =============================================================================== 109.16/109.27 c New solution: 195 109.16/109.27 o 195 109.16/109.27 c Elapsed CPU time: 108.985 s Remaining CPU time: 71.0146 s 109.16/109.27 c =============================================================================== 109.16/109.27 c | 8056 | 24748 257498 583873 | 85832 1325 40 | 65.361 % | 109.26/109.32 c =============================================================================== 109.26/109.32 c New solution: 194 109.26/109.32 o 194 109.26/109.32 c Elapsed CPU time: 109.041 s Remaining CPU time: 70.9586 s 109.26/109.32 c =============================================================================== 109.26/109.32 c | 8072 | 24506 257499 584173 | 85833 1341 40 | 65.361 % | 109.26/109.38 c =============================================================================== 109.26/109.38 c New solution: 193 109.26/109.38 o 193 109.26/109.38 c Elapsed CPU time: 109.097 s Remaining CPU time: 70.9026 s 109.26/109.38 c =============================================================================== 109.26/109.38 c | 8092 | 24264 257500 584473 | 85833 674 34 | 65.361 % | 109.36/109.46 c | 8193 | 24259 257500 584473 | 94416 775 35 | 67.022 % | 109.46/109.50 c =============================================================================== 109.46/109.50 c New solution: 192 109.46/109.50 o 192 109.46/109.50 c Elapsed CPU time: 109.222 s Remaining CPU time: 70.7776 s 109.46/109.50 c =============================================================================== 109.46/109.50 c | 8199 | 24022 257501 584773 | 85833 781 35 | 67.022 % | 109.46/109.55 c =============================================================================== 109.46/109.55 c New solution: 191 109.46/109.55 o 191 109.46/109.55 c Elapsed CPU time: 109.265 s Remaining CPU time: 70.7346 s 109.46/109.55 c =============================================================================== 109.46/109.55 c | 8202 | 23780 257502 585073 | 85834 784 35 | 67.022 % | 109.56/109.60 c =============================================================================== 109.56/109.60 c New solution: 190 109.56/109.60 o 190 109.56/109.60 c Elapsed CPU time: 109.317 s Remaining CPU time: 70.6826 s 109.56/109.60 c =============================================================================== 109.56/109.60 c | 8210 | 23538 257503 585373 | 85834 792 35 | 67.022 % | 109.56/109.64 c =============================================================================== 109.56/109.64 c New solution: 189 109.56/109.64 o 189 109.56/109.64 c Elapsed CPU time: 109.36 s Remaining CPU time: 70.6396 s 109.56/109.64 c =============================================================================== 109.56/109.64 c | 8217 | 23296 257504 585673 | 85834 799 34 | 67.022 % | 109.56/109.69 c =============================================================================== 109.56/109.69 c New solution: 188 109.56/109.69 o 188 109.56/109.69 c Elapsed CPU time: 109.412 s Remaining CPU time: 70.5876 s 109.56/109.69 c =============================================================================== 109.56/109.69 c | 8238 | 23054 257505 585973 | 85835 820 34 | 67.022 % | 109.66/109.76 c | 8338 | 23051 257505 585973 | 94418 920 36 | 68.683 % | 109.76/109.82 c =============================================================================== 109.76/109.82 c New solution: 187 109.76/109.82 o 187 109.76/109.82 c Elapsed CPU time: 109.533 s Remaining CPU time: 70.4667 s 109.76/109.82 c =============================================================================== 109.76/109.82 c | 8360 | 22812 257506 586273 | 85835 942 36 | 68.683 % | 109.76/109.86 c =============================================================================== 109.76/109.86 c New solution: 186 109.76/109.86 o 186 109.76/109.86 c Elapsed CPU time: 109.576 s Remaining CPU time: 70.4237 s 109.76/109.86 c =============================================================================== 109.76/109.86 c | 8366 | 22570 257507 586573 | 85835 948 35 | 68.683 % | 109.86/109.91 c =============================================================================== 109.86/109.91 c New solution: 185 109.86/109.91 o 185 109.86/109.91 c Elapsed CPU time: 109.626 s Remaining CPU time: 70.3737 s 109.86/109.91 c =============================================================================== 109.86/109.91 c | 8385 | 22328 257508 586873 | 85836 967 36 | 68.683 % | 109.86/109.97 c | 8485 | 22290 257508 586873 | 94419 1067 37 | 69.680 % | 110.06/110.10 c | 8635 | 22285 257508 586873 | 103861 1217 37 | 69.680 % | 110.06/110.14 c =============================================================================== 110.06/110.14 c New solution: 184 110.06/110.14 o 184 110.06/110.14 c Elapsed CPU time: 109.858 s Remaining CPU time: 70.1417 s 110.06/110.14 c =============================================================================== 110.06/110.14 c | 8639 | 22086 257509 587173 | 85836 758 33 | 69.680 % | 110.06/110.19 c =============================================================================== 110.06/110.19 c New solution: 183 110.06/110.19 o 183 110.06/110.19 c Elapsed CPU time: 109.904 s Remaining CPU time: 70.0957 s 110.06/110.19 c =============================================================================== 110.06/110.19 c | 8658 | 21844 257510 587473 | 85836 777 33 | 69.680 % | 110.16/110.24 c =============================================================================== 110.16/110.24 c New solution: 182 110.16/110.24 o 182 110.16/110.24 c Elapsed CPU time: 109.954 s Remaining CPU time: 70.0457 s 110.16/110.24 c =============================================================================== 110.16/110.24 c | 8671 | 21602 257511 587773 | 85837 790 33 | 69.680 % | 110.26/110.31 c | 8773 | 21599 257511 587773 | 94420 892 33 | 70.676 % | 110.26/110.36 c =============================================================================== 110.26/110.36 c New solution: 181 110.26/110.36 o 181 110.26/110.36 c Elapsed CPU time: 110.071 s Remaining CPU time: 69.9287 s 110.26/110.36 c =============================================================================== 110.26/110.36 c | 8783 | 21360 257512 588073 | 85837 902 33 | 70.676 % | 110.36/110.44 c =============================================================================== 110.36/110.44 c New solution: 180 110.36/110.44 o 180 110.36/110.44 c Elapsed CPU time: 110.149 s Remaining CPU time: 69.8507 s 110.36/110.44 c =============================================================================== 110.36/110.44 c | 8863 | 21118 257513 588373 | 85837 982 33 | 70.676 % | 110.46/110.53 c | 8964 | 21114 257513 588373 | 94421 1083 35 | 71.341 % | 110.46/110.57 c =============================================================================== 110.46/110.57 c New solution: 179 110.46/110.57 o 179 110.46/110.57 c Elapsed CPU time: 110.28 s Remaining CPU time: 69.7198 s 110.46/110.57 c =============================================================================== 110.46/110.57 c | 8970 | 20876 257514 588673 | 85838 1089 35 | 71.341 % | 110.56/110.61 c =============================================================================== 110.56/110.61 c New solution: 178 110.56/110.61 o 178 110.56/110.61 c Elapsed CPU time: 110.324 s Remaining CPU time: 69.6758 s 110.56/110.61 c =============================================================================== 110.56/110.61 c | 8981 | 20634 257515 588973 | 85838 1100 35 | 71.341 % | 110.56/110.68 c | 9081 | 20604 257515 588973 | 94422 1200 37 | 72.005 % | 110.76/110.81 c | 9232 | 20598 257515 588973 | 103864 1351 39 | 72.005 % | 110.76/110.89 c =============================================================================== 110.76/110.89 c New solution: 177 110.76/110.89 o 177 110.76/110.89 c Elapsed CPU time: 110.604 s Remaining CPU time: 69.3958 s 110.76/110.89 c =============================================================================== 110.76/110.89 c | 9340 | 20392 257516 589273 | 85838 1459 40 | 72.005 % | 110.97/111.01 c | 9441 | 20150 257516 589273 | 94422 1056 41 | 72.337 % | 110.97/111.07 c =============================================================================== 110.97/111.07 c New solution: 176 110.97/111.07 o 176 110.97/111.07 c Elapsed CPU time: 110.779 s Remaining CPU time: 69.2208 s 110.97/111.07 c =============================================================================== 110.97/111.07 c | 9498 | 20150 257517 589573 | 85839 1113 41 | 72.337 % | 111.07/111.11 c | 9598 | 20130 257517 589573 | 94422 1213 41 | 72.670 % | 111.16/111.22 c | 9749 | 20126 257517 589573 | 103865 1364 42 | 72.670 % | 111.16/111.26 c =============================================================================== 111.16/111.26 c New solution: 175 111.16/111.26 o 175 111.16/111.26 c Elapsed CPU time: 110.97 s Remaining CPU time: 69.0299 s 111.16/111.26 c =============================================================================== 111.16/111.26 c | 9759 | 19908 257518 589873 | 85839 1374 42 | 72.670 % | 111.26/111.31 c =============================================================================== 111.26/111.31 c New solution: 174 111.26/111.31 o 174 111.26/111.31 c Elapsed CPU time: 111.019 s Remaining CPU time: 68.9809 s 111.26/111.31 c =============================================================================== 111.26/111.31 c | 9787 | 19666 257519 590173 | 85839 1402 42 | 72.670 % | 111.26/111.38 c =============================================================================== 111.26/111.38 c New solution: 173 111.26/111.38 o 173 111.26/111.38 c Elapsed CPU time: 111.091 s Remaining CPU time: 68.9089 s 111.26/111.38 c =============================================================================== 111.26/111.38 c | 9858 | 19424 257520 590473 | 85840 1473 42 | 72.670 % | 111.46/111.50 c | 9958 | 19417 257520 590473 | 94424 1573 42 | 73.666 % | 111.46/111.57 c =============================================================================== 111.46/111.57 c New solution: 172 111.46/111.57 o 172 111.46/111.57 c Elapsed CPU time: 111.272 s Remaining CPU time: 68.7279 s 111.46/111.57 c =============================================================================== 111.46/111.57 c | 10040 | 19182 257521 590773 | 85840 1655 43 | 73.666 % | 111.56/111.62 c | 10140 | 19131 257521 590773 | 94424 1755 42 | 73.999 % | 111.66/111.72 c | 10290 | 19131 257521 590773 | 103866 1905 43 | 73.999 % | 111.86/111.96 c | 10515 | 18940 257521 590773 | 114253 1682 46 | 73.999 % | 111.96/112.00 c =============================================================================== 111.96/112.00 c New solution: 171 111.96/112.00 o 171 111.96/112.00 c Elapsed CPU time: 111.707 s Remaining CPU time: 68.293 s 111.96/112.00 c =============================================================================== 111.96/112.00 c | 10525 | 18940 257522 591073 | 85840 1692 46 | 73.999 % | 111.96/112.05 c =============================================================================== 111.96/112.05 c New solution: 170 111.96/112.05 o 170 111.96/112.05 c Elapsed CPU time: 111.749 s Remaining CPU time: 68.251 s 111.96/112.05 c =============================================================================== 111.96/112.05 c | 10531 | 18698 257523 591373 | 85841 1698 46 | 73.999 % | 112.07/112.10 c | 10632 | 18641 257523 591373 | 94425 1799 46 | 74.663 % | 112.17/112.24 c | 10783 | 18638 257523 591373 | 103867 1950 46 | 74.663 % | 112.26/112.34 c | 11009 | 18638 257523 591373 | 114254 2176 46 | 74.663 % | 112.56/112.66 c | 11346 | 18637 257523 591373 | 125679 2513 46 | 74.663 % | 112.66/112.71 c =============================================================================== 112.66/112.71 c New solution: 169 112.66/112.71 o 169 112.66/112.71 c Elapsed CPU time: 112.403 s Remaining CPU time: 67.5971 s 112.66/112.71 c =============================================================================== 112.66/112.71 c | 11351 | 18456 257524 591673 | 85841 2150 42 | 74.663 % | 112.66/112.75 c | 11451 | 18387 257524 591673 | 94425 2250 42 | 74.995 % | 112.76/112.82 c | 11601 | 18387 257524 591673 | 103868 2400 42 | 74.995 % | 112.95/113.05 c | 11827 | 18387 257524 591673 | 114254 2626 43 | 74.995 % | 113.05/113.10 c =============================================================================== 113.05/113.10 c New solution: 168 113.05/113.10 o 168 113.05/113.10 c Elapsed CPU time: 112.795 s Remaining CPU time: 67.2051 s 113.05/113.10 c =============================================================================== 113.05/113.10 c | 11853 | 18214 257525 591973 | 85841 2652 42 | 74.995 % | 113.05/113.19 c =============================================================================== 113.05/113.19 c New solution: 167 113.05/113.19 o 167 113.05/113.19 c Elapsed CPU time: 112.887 s Remaining CPU time: 67.1132 s 113.05/113.19 c =============================================================================== 113.05/113.19 c | 11944 | 17972 257526 592273 | 85842 2743 43 | 74.995 % | 113.16/113.25 c | 12044 | 17955 257526 592273 | 94426 2843 43 | 75.660 % | 113.26/113.36 c | 12194 | 17951 257526 592273 | 103868 2993 43 | 75.660 % | 113.35/113.44 c =============================================================================== 113.35/113.44 c New solution: 166 113.35/113.44 o 166 113.35/113.44 c Elapsed CPU time: 113.134 s Remaining CPU time: 66.8662 s 113.35/113.44 c =============================================================================== 113.35/113.44 c | 12301 | 17730 257527 592573 | 85842 3100 43 | 75.660 % | 113.46/113.51 c | 12402 | 17727 257527 592573 | 94426 3201 43 | 75.992 % | 113.56/113.63 c | 12552 | 17488 257527 592573 | 103869 2428 38 | 75.992 % | 113.66/113.71 c | 12777 | 17488 257527 592573 | 114256 2653 38 | 75.992 % | 113.76/113.87 c | 13114 | 17488 257527 592573 | 125681 2990 41 | 75.992 % | 114.16/114.27 c | 13621 | 17488 257527 592573 | 138249 3497 41 | 75.992 % | 114.46/114.51 c | 14380 | 17488 257527 592573 | 152074 4256 41 | 75.992 % | 114.86/114.94 c | 15519 | 17488 257527 592573 | 167282 5395 42 | 75.992 % | 116.47/116.57 c | 17228 | 17488 257527 592573 | 184010 7104 46 | 75.992 % | 116.57/116.62 c =============================================================================== 116.57/116.62 c New solution: 165 116.57/116.62 o 165 116.57/116.62 c Elapsed CPU time: 116.299 s Remaining CPU time: 63.7007 s 116.57/116.62 c =============================================================================== 116.57/116.62 c | 17243 | 17488 257528 592873 | 85842 7119 46 | 75.992 % | 116.57/116.69 c | 17344 | 17246 257528 592873 | 94426 6943 46 | 76.324 % | 116.76/116.82 c | 17494 | 17246 257528 592873 | 103869 7093 46 | 76.324 % | 116.86/116.96 c =============================================================================== 116.86/116.96 c New solution: 164 116.86/116.96 o 164 116.86/116.96 c Elapsed CPU time: 116.632 s Remaining CPU time: 63.3677 s 116.86/116.96 c =============================================================================== 116.86/116.96 c | 17678 | 17246 257529 593173 | 85843 7277 46 | 76.324 % | 116.96/117.03 c | 17779 | 17241 257529 593173 | 94427 7378 46 | 76.656 % | 117.06/117.17 c | 17932 | 17238 257529 593173 | 103870 7531 46 | 76.656 % | 117.16/117.25 c | 18158 | 17225 257529 593173 | 114257 7757 46 | 76.656 % | 117.36/117.49 c | 18496 | 17224 257529 593173 | 125682 8095 46 | 76.656 % | 117.67/117.74 c | 19002 | 17213 257529 593173 | 138251 8601 46 | 76.656 % | 118.36/118.45 c | 19761 | 17004 257529 593173 | 152076 8578 46 | 76.656 % | 119.16/119.21 c | 20900 | 17004 257529 593173 | 167283 9717 47 | 76.656 % | 120.56/120.67 c | 22608 | 17004 257529 593173 | 184012 11425 49 | 76.656 % | 123.17/123.29 c | 25170 | 17004 257529 593173 | 202413 13987 53 | 76.656 % | 124.56/124.61 c | 29015 | 17004 257529 593173 | 222654 17832 51 | 76.656 % | 131.06/131.18 c | 34782 | 17004 257529 593173 | 244920 23599 61 | 76.656 % | 136.06/136.15 c | 43434 | 17004 257529 593173 | 269412 32251 61 | 76.656 % | 153.96/154.03 c | 56409 | 17004 257529 593173 | 296353 45226 75 | 76.656 % | 154.05/154.12 c =============================================================================== 154.05/154.12 c New solution: 163 154.05/154.12 o 163 154.05/154.12 c Elapsed CPU time: 153.669 s Remaining CPU time: 26.3314 s 154.05/154.12 c =============================================================================== 154.05/154.12 c | 56490 | 17004 257530 593473 | 85843 45307 75 | 76.656 % | 154.15/154.27 c | 56590 | 16762 257530 593473 | 94427 40184 71 | 76.989 % | 154.35/154.42 c | 56740 | 16762 257530 593473 | 103870 40334 71 | 76.989 % | 154.45/154.53 c | 56966 | 16762 257530 593473 | 114257 40560 70 | 76.989 % | 154.75/154.81 c | 57304 | 16762 257530 593473 | 125683 40898 70 | 76.989 % | 155.35/155.49 c | 57811 | 16762 257530 593473 | 138251 41405 70 | 76.989 % | 155.45/155.55 c =============================================================================== 155.45/155.55 c New solution: 162 155.45/155.55 o 162 155.45/155.55 c Elapsed CPU time: 155.086 s Remaining CPU time: 24.9136 s 155.45/155.55 c =============================================================================== 155.45/155.55 c | 57845 | 16762 257531 593773 | 85843 41439 70 | 76.989 % | 155.55/155.62 c | 57946 | 16760 257531 593773 | 94428 41540 70 | 77.321 % | 155.65/155.79 c | 58096 | 16755 257531 593773 | 103870 41690 70 | 77.321 % | 155.85/155.90 c | 58321 | 16745 257531 593773 | 114257 41915 70 | 77.321 % | 156.25/156.30 c | 58658 | 16738 257531 593773 | 125683 42252 70 | 77.321 % | 156.45/156.51 c | 59165 | 16735 257531 593773 | 138252 42759 69 | 77.321 % | 157.26/157.36 c | 59926 | 16728 257531 593773 | 152077 43520 69 | 77.321 % | 158.05/158.18 c | 61065 | 16721 257531 593773 | 167285 44659 69 | 77.321 % | 159.15/159.26 c | 62773 | 16721 257531 593773 | 184013 46367 69 | 77.321 % | 162.55/162.60 c | 65336 | 16717 257531 593773 | 202414 48930 69 | 77.321 % | 162.75/162.81 c =============================================================================== 162.75/162.81 c New solution: 161 162.75/162.81 o 161 162.75/162.81 c Elapsed CPU time: 162.318 s Remaining CPU time: 17.6817 s 162.75/162.81 c =============================================================================== 162.75/162.81 c | 65523 | 16520 257532 594073 | 85844 43729 65 | 77.321 % | 162.85/162.92 c | 65623 | 16463 257532 594073 | 94428 43829 65 | 77.653 % | 162.94/163.08 c | 65774 | 16462 257532 594073 | 103871 43980 65 | 77.653 % | 163.34/163.46 c | 66000 | 16462 257532 594073 | 114258 44206 65 | 77.653 % | 163.55/163.62 c | 66338 | 16460 257532 594073 | 125684 44544 65 | 77.653 % | 163.86/163.93 c | 66844 | 16460 257532 594073 | 138252 45050 65 | 77.653 % | 164.75/164.80 c | 67603 | 16459 257532 594073 | 152077 45809 65 | 77.653 % | 165.14/165.26 c | 68742 | 16455 257532 594073 | 167285 46948 64 | 77.653 % | 166.14/166.26 c | 70450 | 16455 257532 594073 | 184014 48656 64 | 77.653 % | 169.74/169.83 c | 73012 | 16454 257532 594073 | 202415 51218 64 | 77.653 % | 171.94/172.00 c | 76857 | 16278 257532 594073 | 222657 49398 58 | 77.653 % | 179.84/179.98 c | 82626 | 16278 257532 594073 | 244922 55167 60 | 77.653 % | 180.44/180.56 c There are 56564 assigned variables. 253 in cost function. 180.95/181.03 c core #1 180.95/181.03 c 180.95/181.03 c 180.95/181.03 c Core size: 93 Core Weight: 114 Total Weight: 114 180.95/181.03 c 180.95/181.03 c 180.95/181.03 c ============================[ Search Statistics ]============================== 180.95/181.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.95/181.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.95/181.03 c =============================================================================== 180.95/181.03 c | 0 | 5127 104755 129833 | 34918 0 nan | 0.000 % | 180.95/181.08 c | 100 | 5127 104755 129833 | 38410 100 24 | 92.966 % | 181.05/181.14 c | 251 | 4623 104755 129833 | 42251 151 25 | 93.657 % | 181.05/181.17 c =============================================================================== 181.24/181.33 c core #2 181.24/181.33 c 181.24/181.33 c 181.24/181.33 c Core size: 476 Core Weight: 1 Total Weight: 115 181.24/181.33 c 181.24/181.33 c 181.24/181.33 c ============================[ Search Statistics ]============================== 181.24/181.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.24/181.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.24/181.33 c =============================================================================== 181.24/181.33 c | 0 | 5462 104802 133433 | 34934 0 nan | 0.000 % | 181.24/181.38 c | 100 | 5462 104802 133433 | 38427 100 22 | 92.511 % | 181.35/181.44 c | 251 | 5456 104802 133433 | 42270 251 26 | 92.761 % | 181.45/181.52 c | 476 | 5275 104802 133433 | 46497 426 30 | 92.868 % | 181.54/181.68 c | 813 | 5163 104802 133433 | 51146 711 32 | 94.048 % | 181.54/181.69 c =============================================================================== 181.74/181.85 c core #3 181.74/181.85 c 181.74/181.85 c 181.74/181.85 c Core size: 529 Core Weight: 1 Total Weight: 116 181.74/181.85 c 181.74/181.85 c 181.74/181.85 c ============================[ Search Statistics ]============================== 181.74/181.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.85 c =============================================================================== 181.74/181.85 c | 0 | 5749 104847 137123 | 34949 0 nan | 0.000 % | 181.84/181.90 c | 100 | 5749 104847 137123 | 38443 100 22 | 92.122 % | 181.84/181.96 c | 250 | 5749 104847 137123 | 42288 250 26 | 92.123 % | 181.94/182.08 c | 477 | 5739 104847 137123 | 46517 474 30 | 92.136 % | 182.14/182.24 c | 815 | 5739 104847 137123 | 51168 812 31 | 92.136 % | 182.45/182.50 c | 1321 | 5705 104847 137123 | 56285 1295 34 | 92.183 % | 182.84/182.91 c | 2080 | 5705 104847 137123 | 61914 2054 35 | 92.183 % | 183.55/183.62 c | 3219 | 5688 104847 137123 | 68105 3036 39 | 92.206 % | 184.54/184.64 c | 4927 | 5200 104847 137123 | 74916 2372 35 | 92.875 % | 184.65/184.79 c =============================================================================== 184.85/184.96 c core #4 184.85/184.96 c 184.85/184.96 c 184.85/184.96 c Core size: 475 Core Weight: 1 Total Weight: 117 184.85/184.96 c 184.85/184.96 c 184.85/184.96 c ============================[ Search Statistics ]============================== 184.85/184.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.85/184.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.85/184.96 c =============================================================================== 184.85/184.96 c | 0 | 6054 104891 137473 | 34963 0 nan | 0.000 % | 184.95/185.01 c | 100 | 6054 104891 137473 | 38460 100 22 | 91.710 % | 184.95/185.07 c | 251 | 6054 104891 137473 | 42306 251 23 | 91.710 % | 185.15/185.20 c | 477 | 6054 104891 137473 | 46536 477 32 | 91.710 % | 185.25/185.35 c | 814 | 6054 104891 137473 | 51190 814 33 | 91.710 % | 185.54/185.60 c | 1320 | 6054 104891 137473 | 56309 1320 32 | 91.710 % | 185.85/185.97 c | 2079 | 6054 104891 137473 | 61940 2079 34 | 91.710 % | 186.44/186.51 c | 3219 | 6054 104891 137473 | 68134 3219 35 | 91.710 % | 187.34/187.45 c | 4929 | 6010 104891 137473 | 74947 4510 35 | 91.770 % | 188.94/189.01 c | 7492 | 6010 104891 137473 | 82442 7073 41 | 91.770 % | 191.44/191.58 c | 11336 | 5955 104891 137473 | 90686 9153 42 | 91.845 % | 195.24/195.38 c =============================================================================== 195.44/195.55 c core #5 195.44/195.55 c 195.44/195.55 c 195.44/195.55 c Core size: 441 Core Weight: 1 Total Weight: 118 195.44/195.55 c 195.44/195.55 c 195.44/195.55 c ============================[ Search Statistics ]============================== 195.44/195.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.44/195.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.44/195.55 c =============================================================================== 195.44/195.55 c | 0 | 6339 104941 137835 | 34980 0 nan | 0.000 % | 195.54/195.60 c | 101 | 6339 104941 137835 | 38478 101 24 | 91.324 % | 195.54/195.67 c | 253 | 6339 104941 137835 | 42326 253 27 | 91.324 % | 195.65/195.76 c | 479 | 6339 104941 137835 | 46558 479 27 | 91.324 % | 195.84/195.93 c | 817 | 6339 104941 137835 | 51214 817 28 | 91.324 % | 196.04/196.15 c | 1324 | 6339 104941 137835 | 56336 1324 33 | 91.324 % | 196.44/196.52 c | 2084 | 6339 104941 137835 | 61969 2084 34 | 91.324 % | 197.04/197.13 c | 3225 | 6339 104941 137835 | 68166 3225 38 | 91.324 % | 198.04/198.15 c | 4933 | 6339 104941 137835 | 74983 4933 39 | 91.324 % | 199.54/199.67 c | 7495 | 6339 104941 137835 | 82481 7495 38 | 91.324 % | 202.03/202.19 c | 11342 | 6339 104941 137835 | 90729 11342 42 | 91.324 % | 206.34/206.42 c | 17110 | 6339 104941 137835 | 99802 17110 44 | 91.324 % | 214.54/214.65 c | 25760 | 6339 104941 137835 | 109783 25760 49 | 91.324 % | 230.43/230.54 c | 38734 | 6297 104941 137835 | 120761 37651 51 | 91.382 % | 261.63/261.80 c | 58197 | 6297 104941 137835 | 132837 57114 56 | 91.382 % | 290.51/290.62 c =============================================================================== 290.71/290.84 c core #6 290.71/290.84 c 290.71/290.84 c 290.71/290.84 c Core size: 437 Core Weight: 1 Total Weight: 119 290.71/290.84 c 290.71/290.84 c 290.71/290.84 c ============================[ Search Statistics ]============================== 290.71/290.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 290.71/290.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 290.71/290.84 c =============================================================================== 290.71/290.84 c | 0 | 6623 104994 138197 | 34998 0 nan | 0.000 % | 290.71/290.89 c | 100 | 6623 104994 138197 | 38497 100 25 | 90.941 % | 290.82/290.97 c | 250 | 6623 104994 138197 | 42347 250 29 | 90.941 % | 290.91/291.05 c | 476 | 6623 104994 138197 | 46582 476 33 | 90.941 % | 291.11/291.23 c | 814 | 6623 104994 138197 | 51240 814 32 | 90.941 % | 291.32/291.43 c | 1320 | 6623 104994 138197 | 56364 1320 32 | 90.941 % | 291.61/291.75 c | 2079 | 6623 104994 138197 | 62001 2079 34 | 90.941 % | 292.21/292.31 c | 3219 | 6623 104994 138197 | 68201 3219 34 | 90.941 % | 293.11/293.28 c | 4927 | 6623 104994 138197 | 75021 4927 38 | 90.941 % | 294.62/294.80 c | 7490 | 6623 104994 138197 | 82523 7490 42 | 90.941 % | 297.31/297.47 c | 11334 | 6623 104994 138197 | 90775 11334 43 | 90.941 % | 301.01/301.14 c | 17100 | 6623 104994 138197 | 99853 17100 46 | 90.941 % | 309.51/309.68 c | 25749 | 6623 104994 138197 | 109838 25749 49 | 90.941 % | 322.40/322.54 c | 38724 | 6612 104994 138197 | 120822 33362 46 | 90.956 % | 349.49/349.64 c | 58186 | 6612 104994 138197 | 132904 52824 52 | 90.956 % | 404.78/404.97 c | 87378 | 6609 104994 138197 | 146195 76169 55 | 90.960 % | 515.35/515.57 c | 131167 | 6609 104994 138197 | 160814 119958 57 | 90.960 % | 768.79/769.05 c | 196851 | 6609 104994 138197 | 176896 185642 60 | 90.960 % | 1107.41/1107.72 c | 295378 | 6609 104994 138197 | 194585 62276 63 | 90.960 % | 1141.09/1141.43 c =============================================================================== 1141.50/1141.84 c core #7 1141.50/1141.84 c 1141.50/1141.84 c 1141.50/1141.84 c Core size: 368 Core Weight: 1 Total Weight: 120 1141.50/1141.84 c 1141.50/1141.84 c 1141.50/1141.84 c ============================[ Search Statistics ]============================== 1141.50/1141.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1141.50/1141.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1141.50/1141.84 c =============================================================================== 1141.50/1141.84 c | 0 | 6906 105061 138597 | 35020 0 nan | 0.000 % | 1141.59/1141.90 c | 101 | 6906 105061 138597 | 38522 101 24 | 90.559 % | 1141.59/1141.98 c | 252 | 6906 105061 138597 | 42374 252 37 | 90.559 % | 1141.69/1142.09 c | 477 | 6906 105061 138597 | 46612 477 34 | 90.559 % | 1141.89/1142.25 c | 814 | 6906 105061 138597 | 51273 814 37 | 90.559 % | 1142.08/1142.41 c | 1320 | 6906 105061 138597 | 56400 1320 38 | 90.559 % | 1142.39/1142.76 c | 2079 | 6906 105061 138597 | 62040 2079 39 | 90.559 % | 1142.99/1143.31 c | 3220 | 6906 105061 138597 | 68244 3220 39 | 90.559 % | 1143.89/1144.23 c | 4928 | 6906 105061 138597 | 75069 4928 46 | 90.559 % | 1145.39/1145.76 c | 7490 | 6906 105061 138597 | 82576 7490 45 | 90.559 % | 1147.79/1148.11 c | 11334 | 6906 105061 138597 | 90833 11334 47 | 90.559 % | 1151.99/1152.39 c | 17101 | 6906 105061 138597 | 99917 17101 53 | 90.559 % | 1159.49/1159.86 c | 25751 | 6906 105061 138597 | 109908 25751 54 | 90.559 % | 1174.68/1175.03 c | 38725 | 6906 105061 138597 | 120899 38725 51 | 90.559 % | 1201.57/1201.99 c | 58186 | 6906 105061 138597 | 132989 58186 54 | 90.559 % | 1255.16/1255.50 c | 87379 | 6906 105061 138597 | 146288 87379 54 | 90.559 % | 1362.33/1362.79 c | 131168 | 6906 105061 138597 | 160917 131168 57 | 90.559 % | 1546.88/1547.32 c | 196853 | 6906 105061 138597 | 177009 196853 58 | 90.559 % |
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-2686890-1278443541/watcher-2686890-1278443541 -o /tmp/evaluation-result-2686890-1278443541/solver-2686890-1278443541 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686890-1278443541.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/106 21361 /proc/meminfo: memFree=1841996/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=11256 CPUtime=0 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 341 0 0 0 0 0 0 0 19 0 1 0 12566291 11526144 259 1992294400 134512640 135752675 4291354720 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 2814 259 138 303 0 406 0 [startup+0.015262 s] /proc/loadavg: 1.00 1.00 0.94 3/106 21361 /proc/meminfo: memFree=1841996/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=11560 CPUtime=0.01 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 429 0 0 0 1 0 0 0 19 0 1 0 12566291 11837440 347 1992294400 134512640 135752675 4291354720 18446744073709551615 134564809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 2890 347 146 303 0 482 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11560 [startup+0.100271 s] /proc/loadavg: 1.00 1.00 0.94 3/106 21361 /proc/meminfo: memFree=1841996/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=16040 CPUtime=0.09 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 1505 0 0 0 9 0 0 0 19 0 1 0 12566291 16424960 1423 1992294400 134512640 135752675 4291354720 18446744073709551615 134610304 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 4010 1423 269 303 0 1602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16040 [startup+0.300291 s] /proc/loadavg: 1.00 1.00 0.94 3/106 21361 /proc/meminfo: memFree=1841996/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=20312 CPUtime=0.29 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 2877 0 0 0 29 0 0 0 20 0 1 0 12566291 20799488 2762 1992294400 134512640 135752675 4291354720 18446744073709551615 134564945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 5078 2762 566 303 0 2670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20312 [startup+0.700334 s] /proc/loadavg: 1.00 1.00 0.94 3/106 21361 /proc/meminfo: memFree=1841996/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=25580 CPUtime=0.69 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 4694 0 0 0 68 1 0 0 20 0 1 0 12566291 26193920 4539 1992294400 134512640 135752675 4291354720 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 6395 4539 1165 303 0 3987 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25580 [startup+1.50042 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21362 /proc/meminfo: memFree=1823264/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=37676 CPUtime=1.49 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 8372 0 0 0 147 2 0 0 23 0 1 0 12566291 38580224 8103 1992294400 134512640 135752675 4291354720 18446744073709551615 134564815 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 9419 8103 2064 303 0 7011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37676 [startup+3.10059 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21362 /proc/meminfo: memFree=1793380/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=56152 CPUtime=3.09 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 15370 0 0 0 304 5 0 0 25 0 1 0 12566291 57499648 12773 1992294400 134512640 135752675 4291354720 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 14038 12773 142 303 0 13733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56152 [startup+6.30093 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21364 /proc/meminfo: memFree=1785444/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=62884 CPUtime=6.29 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 17054 0 0 0 623 6 0 0 25 0 1 0 12566291 64393216 14457 1992294400 134512640 135752675 4291354720 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 15721 14457 142 303 0 15416 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62884 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21364 /proc/meminfo: memFree=1775028/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=73048 CPUtime=12.68 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 19616 0 0 0 1261 7 0 0 25 0 1 0 12566291 74801152 17019 1992294400 134512640 135752675 4291354720 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 18262 17019 142 303 0 17957 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 73048 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21364 /proc/meminfo: memFree=1759280/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=87568 CPUtime=25.48 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 23241 0 0 0 2539 9 0 0 25 0 1 0 12566291 89669632 20644 1992294400 134512640 135752675 4291354720 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 21892 20644 142 303 0 21587 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87568 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21364 /proc/meminfo: memFree=1739440/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=107368 CPUtime=51.08 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 28199 0 0 0 5096 12 0 0 25 0 1 0 12566291 109944832 25602 1992294400 134512640 135752675 4291354720 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 26842 25602 142 303 0 26537 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107368 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21366 /proc/meminfo: memFree=1718484/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=127124 CPUtime=102.27 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 34567 0 0 0 10208 19 0 0 25 0 1 0 12566291 130174976 30659 1992294400 134512640 135752675 4291354720 18446744073709551615 134607080 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 31781 30659 145 303 0 31476 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 127124 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21368 /proc/meminfo: memFree=1718484/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=127124 CPUtime=162.25 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 34567 0 0 0 16180 45 0 0 25 0 1 0 12566291 130174976 30659 1992294400 134512640 135752675 4291354720 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 31781 30659 145 303 0 31476 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 127124 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21368 /proc/meminfo: memFree=1727164/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=117872 CPUtime=222.24 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 22153 71 0 0 25 0 1 0 12566291 120700928 28621 1992294400 134512640 135752675 4291354720 18446744073709551615 134611730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 29468 28621 146 303 0 29163 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 117872 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21370 /proc/meminfo: memFree=1727164/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=117872 CPUtime=282.22 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 28136 86 0 0 25 0 1 0 12566291 120700928 28621 1992294400 134512640 135752675 4291354720 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 29468 28621 146 303 0 29163 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 117872 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 21372 /proc/meminfo: memFree=1730016/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=342.2 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 34113 107 0 0 25 0 1 0 12566291 115720192 27763 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27763 146 303 0 27947 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 113008 [startup+402.3 s] /proc/loadavg: 1.15 1.04 0.96 2/107 21377 /proc/meminfo: memFree=1729520/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=402.18 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 40097 121 0 0 25 0 1 0 12566291 115720192 27763 1992294400 134512640 135752675 4291354720 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27763 146 303 0 27947 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 113008 [startup+462.301 s] /proc/loadavg: 1.05 1.03 0.96 2/107 21379 /proc/meminfo: memFree=1729520/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=462.16 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 46083 133 0 0 25 0 1 0 12566291 115720192 27763 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27763 146 303 0 27947 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 113008 [startup+522.3 s] /proc/loadavg: 1.02 1.02 0.96 2/107 21379 /proc/meminfo: memFree=1729520/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=522.15 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 52071 144 0 0 25 0 1 0 12566291 115720192 27763 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27763 146 303 0 27947 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 113008 [startup+582.301 s] /proc/loadavg: 1.07 1.03 0.96 2/107 21381 /proc/meminfo: memFree=1729520/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=582.13 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37566 0 0 0 58059 154 0 0 25 0 1 0 12566291 115720192 27763 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27763 146 303 0 27947 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 113008 [startup+642.301 s] /proc/loadavg: 1.02 1.03 0.96 2/107 21383 /proc/meminfo: memFree=1729520/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=113008 CPUtime=642.12 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 37578 0 0 0 64047 165 0 0 25 0 1 0 12566291 115720192 27775 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 28252 27775 146 303 0 27947 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 113008 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.07 1.05 0.98 2/107 21389 /proc/meminfo: memFree=1716748/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=126612 CPUtime=882.05 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 40810 0 0 0 88004 201 0 0 25 0 1 0 12566291 129650688 31007 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 31653 31007 146 303 0 31348 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 126612 [startup+942.301 s] /proc/loadavg: 1.06 1.05 0.99 2/107 21391 /proc/meminfo: memFree=1712284/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=131040 CPUtime=942.05 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 41924 0 0 0 93994 211 0 0 25 0 1 0 12566291 134184960 32121 1992294400 134512640 135752675 4291354720 18446744073709551615 134612010 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 32760 32121 146 303 0 32455 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 131040 [startup+1002.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 21393 /proc/meminfo: memFree=1708192/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=134984 CPUtime=1002.03 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 42937 0 0 0 99985 218 0 0 25 0 1 0 12566291 138223616 33134 1992294400 134512640 135752675 4291354720 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 33746 33134 146 303 0 33441 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 134984 [startup+1062.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 21395 /proc/meminfo: memFree=1700628/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=142512 CPUtime=1062.01 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 44828 0 0 0 105973 228 0 0 25 0 1 0 12566291 145932288 35025 1992294400 134512640 135752675 4291354720 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 35628 35025 146 303 0 35323 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 142512 [startup+1122.3 s] /proc/loadavg: 1.13 1.07 1.01 2/107 21395 /proc/meminfo: memFree=1689468/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=153688 CPUtime=1121.99 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 47619 0 0 0 111953 246 0 0 25 0 1 0 12566291 157376512 37816 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 38422 37816 146 303 0 38117 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 153688 [startup+1182.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 21397 /proc/meminfo: memFree=1674836/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=169456 CPUtime=1181.98 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 51467 0 0 0 117929 269 0 0 25 0 1 0 12566291 173522944 41289 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 42364 41289 146 303 0 42059 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 169456 [startup+1242.3 s] /proc/loadavg: 1.11 1.07 1.00 2/107 21399 /proc/meminfo: memFree=1674836/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=169456 CPUtime=1241.96 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 51507 0 0 0 123912 284 0 0 25 0 1 0 12566291 173522944 41329 1992294400 134512640 135752675 4291354720 18446744073709551615 134607601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 42364 41329 146 303 0 42059 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 169456 [startup+1302.3 s] /proc/loadavg: 1.15 1.09 1.01 2/107 21401 /proc/meminfo: memFree=1667892/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=176872 CPUtime=1301.95 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 53332 0 0 0 129896 299 0 0 25 0 1 0 12566291 181116928 43154 1992294400 134512640 135752675 4291354720 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 44218 43154 146 303 0 43913 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 176872 [startup+1362.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 21403 /proc/meminfo: memFree=1660824/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=183772 CPUtime=1361.93 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 55076 0 0 0 135881 312 0 0 25 0 1 0 12566291 188182528 44898 1992294400 134512640 135752675 4291354720 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 45943 44898 146 303 0 45638 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 183772 [startup+1422.31 s] /proc/loadavg: 1.03 1.07 1.00 2/107 21403 /proc/meminfo: memFree=1654624/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=190080 CPUtime=1421.93 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 56607 0 0 0 141867 326 0 0 25 0 1 0 12566291 194641920 46429 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 47520 46429 146 303 0 47215 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 190080 [startup+1482.3 s] /proc/loadavg: 1.01 1.05 1.00 2/107 21405 /proc/meminfo: memFree=1647928/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=196696 CPUtime=1481.9 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 58278 0 0 0 147852 338 0 0 25 0 1 0 12566291 201416704 48100 1992294400 134512640 135752675 4291354720 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 49174 48100 146 303 0 48869 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 196696 [startup+1542.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 21407 /proc/meminfo: memFree=1642224/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=202308 CPUtime=1541.89 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 59681 0 0 0 153838 351 0 0 25 0 1 0 12566291 207163392 49503 1992294400 134512640 135752675 4291354720 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 50577 49503 146 303 0 50272 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 202308 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 21409 /proc/meminfo: memFree=1637512/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=207304 CPUtime=1601.87 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 60857 0 0 0 159824 363 0 0 25 0 1 0 12566291 212279296 50679 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 51826 50679 146 303 0 51521 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 207304 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21411 /proc/meminfo: memFree=1633048/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=211708 CPUtime=1661.86 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 61958 0 0 0 165813 373 0 0 25 0 1 0 12566291 216788992 51780 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 52927 51780 146 303 0 52622 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 211708 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21411 /proc/meminfo: memFree=1629204/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=215404 CPUtime=1721.83 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 62914 0 0 0 171802 381 0 0 25 0 1 0 12566291 220573696 52736 1992294400 134512640 135752675 4291354720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 53851 52736 146 303 0 53546 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 215404 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21413 /proc/meminfo: memFree=1620648/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=223988 CPUtime=1781.83 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 65046 0 0 0 177785 398 0 0 25 0 1 0 12566291 229363712 54868 1992294400 134512640 135752675 4291354720 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 55997 54868 146 303 0 55692 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 223988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 3/107 21413 /proc/meminfo: memFree=1616928/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=227552 CPUtime=1800.03 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 65942 0 0 0 179599 404 0 0 25 0 1 0 12566291 233013248 55764 1992294400 134512640 135752675 4291354720 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 56888 55764 146 303 0 56583 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 227552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 3/107 21413 /proc/meminfo: memFree=1616928/2059040 swapFree=4190392/4192956 [pid=21361] ppid=21359 vsize=227552 CPUtime=1800.03 /proc/21361/stat : 21361 (wbo1.4b) R 21359 21361 20280 0 -1 4202496 65942 0 0 0 179599 404 0 0 25 0 1 0 12566291 233013248 55764 1992294400 134512640 135752675 4291354720 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21361/statm: 56888 55764 146 303 0 56583 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 227552 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.06 CPU user time (s): 1795.99 CPU system time (s): 4.06438 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 227552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.99 system time used= 4.06438 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65942 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= 46 involuntary context switches= 3741 runsolver used 2.85357 second user time and 8.65668 second system time The end
Begin job on node019 at 2010-07-06 21:12:21 IDJOB=2686890 IDBENCH=77110 IDSOLVER=1190 FILE ID=node019/2686890-1278443541 PBS_JOBID= 11233453 Free space on /tmp= 62336 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686890-1278443541/watcher-2686890-1278443541 -o /tmp/evaluation-result-2686890-1278443541/solver-2686890-1278443541 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686890-1278443541.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38417c05ad0fa807f5ea2aa87e724f6b RANDOM SEED=1189135540 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842524 kB Buffers: 5776 kB Cached: 84072 kB SwapCached: 76 kB Active: 28724 kB Inactive: 118940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842524 kB SwapTotal: 4192956 kB SwapFree: 4190392 kB Dirty: 11160 kB Writeback: 0 kB AnonPages: 57812 kB Mapped: 14476 kB Slab: 46936 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181808 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= 62336 MiB End job on node019 at 2010-07-06 21:42:24