Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.64 |
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.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2686879-1278443394.opb. 0.00/0.00 c Instance file HOME/instance-2686879-1278443394.opb 0.00/0.00 c File size is 8613846 bytes. 1.69/1.72 c Highest Coefficient sum: 738 1.69/1.72 c ============================[ Problem Statistics ]============================= 1.69/1.72 c | | 1.69/1.72 c | Parsing time: 1.69 s | 1.69/1.72 c | Number Variables: 72842 | 1.69/1.72 c | Number Clauses: 254716 | 1.69/1.72 c | Number Cardinality: 0 | 1.69/1.72 c | Number PB Constraints: 1200 | 93.06/93.13 c ============================[ Search Statistics ]============================== 93.06/93.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.06/93.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.06/93.14 c =============================================================================== 93.06/93.14 c | 0 | 49420 257392 552073 | 85305 0 nan | 0.000 % | 93.16/93.22 c | 100 | 49420 257392 552073 | 93835 100 39 | 32.155 % | 93.16/93.27 c =============================================================================== 93.16/93.27 c New solution: 300 93.16/93.27 o 300 93.16/93.27 c Elapsed CPU time: 93.0988 s Remaining CPU time: 86.9012 s 93.16/93.27 c =============================================================================== 93.16/93.27 c | 101 | 49420 257393 552373 | 85797 101 38 | 32.155 % | 93.26/93.35 c | 201 | 49412 257393 552373 | 94377 201 35 | 32.321 % | 93.37/93.40 c =============================================================================== 93.37/93.40 c New solution: 299 93.37/93.40 o 299 93.37/93.40 c Elapsed CPU time: 93.2238 s Remaining CPU time: 86.7762 s 93.37/93.40 c =============================================================================== 93.37/93.40 c | 207 | 49299 257394 552673 | 85798 207 34 | 32.321 % | 93.37/93.46 c =============================================================================== 93.37/93.46 c New solution: 298 93.37/93.46 o 298 93.37/93.46 c Elapsed CPU time: 93.2858 s Remaining CPU time: 86.7142 s 93.37/93.46 c =============================================================================== 93.37/93.46 c | 226 | 49167 257395 552973 | 85798 226 33 | 32.321 % | 93.47/93.52 c | 326 | 49152 257395 552973 | 94378 326 34 | 32.693 % | 93.47/93.60 c | 476 | 49147 257395 552973 | 103815 476 34 | 32.693 % | 93.56/93.68 c =============================================================================== 93.56/93.68 c New solution: 297 93.56/93.68 o 297 93.56/93.68 c Elapsed CPU time: 93.4988 s Remaining CPU time: 86.5012 s 93.56/93.68 c =============================================================================== 93.56/93.68 c | 539 | 49028 257396 553273 | 85798 539 36 | 32.693 % | 93.66/93.74 c | 640 | 48879 257396 553273 | 94378 486 36 | 32.897 % | 93.76/93.81 c =============================================================================== 93.76/93.81 c New solution: 296 93.76/93.81 o 296 93.76/93.81 c Elapsed CPU time: 93.6258 s Remaining CPU time: 86.3742 s 93.76/93.81 c =============================================================================== 93.76/93.81 c | 654 | 48879 257397 553573 | 85799 500 36 | 32.897 % | 93.76/93.89 c =============================================================================== 93.76/93.89 c New solution: 295 93.76/93.89 o 295 93.76/93.89 c Elapsed CPU time: 93.7048 s Remaining CPU time: 86.2952 s 93.76/93.89 c =============================================================================== 93.76/93.89 c | 695 | 48718 257398 553873 | 85799 541 36 | 32.897 % | 93.86/93.97 c =============================================================================== 93.86/93.97 c New solution: 294 93.86/93.97 o 294 93.86/93.97 c Elapsed CPU time: 93.7877 s Remaining CPU time: 86.2123 s 93.86/93.97 c =============================================================================== 93.86/93.97 c | 743 | 48550 257399 554173 | 85799 589 37 | 32.897 % | 93.96/94.03 c =============================================================================== 93.96/94.03 c New solution: 293 93.96/94.03 o 293 93.96/94.03 c Elapsed CPU time: 93.8497 s Remaining CPU time: 86.1503 s 93.96/94.03 c =============================================================================== 93.96/94.03 c | 762 | 48368 257400 554473 | 85800 608 36 | 32.897 % | 94.06/94.12 c =============================================================================== 94.06/94.12 c New solution: 292 94.06/94.12 o 292 94.06/94.12 c Elapsed CPU time: 93.9347 s Remaining CPU time: 86.0653 s 94.06/94.12 c =============================================================================== 94.06/94.12 c | 834 | 48175 257401 554773 | 85800 680 36 | 32.897 % | 94.16/94.21 c | 935 | 48162 257401 554773 | 94380 781 38 | 34.152 % | 94.16/94.29 c | 1087 | 47965 257401 554773 | 103818 702 41 | 34.152 % | 94.26/94.35 c =============================================================================== 94.26/94.35 c New solution: 291 94.26/94.35 o 291 94.26/94.35 c Elapsed CPU time: 94.1677 s Remaining CPU time: 85.8323 s 94.26/94.35 c =============================================================================== 94.26/94.35 c | 1091 | 47965 257402 555073 | 85800 706 40 | 34.152 % | 94.36/94.42 c =============================================================================== 94.36/94.42 c New solution: 290 94.36/94.42 o 290 94.36/94.42 c Elapsed CPU time: 94.2327 s Remaining CPU time: 85.7673 s 94.36/94.42 c =============================================================================== 94.36/94.42 c | 1093 | 47738 257403 555373 | 85801 708 40 | 34.152 % | 94.36/94.48 c =============================================================================== 94.36/94.48 c New solution: 289 94.36/94.48 o 289 94.36/94.48 c Elapsed CPU time: 94.2967 s Remaining CPU time: 85.7033 s 94.36/94.48 c =============================================================================== 94.36/94.48 c | 1093 | 47496 257404 555673 | 85801 708 40 | 34.152 % | 94.47/94.55 c =============================================================================== 94.47/94.55 c New solution: 288 94.47/94.55 o 288 94.47/94.55 c Elapsed CPU time: 94.3627 s Remaining CPU time: 85.6373 s 94.47/94.55 c =============================================================================== 94.47/94.55 c | 1099 | 47254 257405 555973 | 85801 714 40 | 34.152 % | 94.57/94.63 c =============================================================================== 94.57/94.63 c New solution: 287 94.57/94.63 o 287 94.57/94.63 c Elapsed CPU time: 94.4396 s Remaining CPU time: 85.5604 s 94.57/94.63 c =============================================================================== 94.57/94.63 c | 1153 | 47012 257406 556273 | 85802 768 40 | 34.152 % | 94.57/94.68 c | 1253 | 47001 257406 556273 | 94382 868 39 | 35.793 % | 94.66/94.74 c =============================================================================== 94.66/94.74 c New solution: 286 94.66/94.74 o 286 94.66/94.74 c Elapsed CPU time: 94.5516 s Remaining CPU time: 85.4484 s 94.66/94.74 c =============================================================================== 94.66/94.74 c | 1260 | 46770 257407 556573 | 85802 875 39 | 35.793 % | 94.76/94.81 c =============================================================================== 94.76/94.81 c New solution: 285 94.76/94.81 o 285 94.76/94.81 c Elapsed CPU time: 94.6226 s Remaining CPU time: 85.3774 s 94.76/94.81 c =============================================================================== 94.76/94.81 c | 1270 | 46528 257408 556873 | 85802 885 39 | 35.793 % | 94.76/94.87 c =============================================================================== 94.76/94.87 c New solution: 284 94.76/94.87 o 284 94.76/94.87 c Elapsed CPU time: 94.6806 s Remaining CPU time: 85.3194 s 94.76/94.87 c =============================================================================== 94.76/94.87 c | 1277 | 46286 257409 557173 | 85803 892 39 | 35.793 % | 94.86/94.94 c | 1378 | 46044 257409 557173 | 94383 610 39 | 36.789 % | 94.96/95.04 c | 1528 | 46044 257409 557173 | 103821 760 41 | 36.789 % | 95.06/95.17 c =============================================================================== 95.06/95.17 c New solution: 283 95.06/95.17 o 283 95.06/95.17 c Elapsed CPU time: 94.9776 s Remaining CPU time: 85.0224 s 95.06/95.17 c =============================================================================== 95.06/95.17 c | 1645 | 46044 257410 557473 | 85803 877 42 | 36.789 % | 95.16/95.23 c =============================================================================== 95.16/95.23 c New solution: 282 95.16/95.23 o 282 95.16/95.23 c Elapsed CPU time: 95.0386 s Remaining CPU time: 84.9614 s 95.16/95.23 c =============================================================================== 95.16/95.23 c | 1654 | 45802 257411 557773 | 85803 886 42 | 36.789 % | 95.26/95.30 c =============================================================================== 95.26/95.30 c New solution: 281 95.26/95.30 o 281 95.26/95.30 c Elapsed CPU time: 95.1035 s Remaining CPU time: 84.8965 s 95.26/95.30 c =============================================================================== 95.26/95.30 c | 1655 | 45560 257412 558073 | 85804 887 42 | 36.789 % | 95.26/95.36 c =============================================================================== 95.26/95.36 c New solution: 280 95.26/95.36 o 280 95.26/95.36 c Elapsed CPU time: 95.1685 s Remaining CPU time: 84.8315 s 95.26/95.36 c =============================================================================== 95.26/95.36 c | 1657 | 45318 257413 558373 | 85804 889 42 | 36.789 % | 95.36/95.43 c =============================================================================== 95.36/95.43 c New solution: 279 95.36/95.43 o 279 95.36/95.43 c Elapsed CPU time: 95.2355 s Remaining CPU time: 84.7645 s 95.36/95.43 c =============================================================================== 95.36/95.43 c | 1660 | 45076 257414 558673 | 85804 892 41 | 36.789 % | 95.36/95.49 c =============================================================================== 95.36/95.49 c New solution: 278 95.36/95.49 o 278 95.36/95.49 c Elapsed CPU time: 95.2925 s Remaining CPU time: 84.7075 s 95.36/95.49 c =============================================================================== 95.36/95.49 c | 1667 | 44834 257415 558973 | 85805 899 41 | 36.789 % | 95.46/95.57 c =============================================================================== 95.46/95.57 c New solution: 277 95.46/95.57 o 277 95.46/95.57 c Elapsed CPU time: 95.3715 s Remaining CPU time: 84.6285 s 95.46/95.57 c =============================================================================== 95.46/95.57 c | 1696 | 44592 257416 559273 | 85805 653 37 | 36.789 % | 95.56/95.64 c | 1796 | 44564 257416 559273 | 94385 753 39 | 39.115 % | 95.66/95.74 c | 1946 | 44559 257416 559273 | 103824 903 40 | 39.115 % | 95.76/95.80 c =============================================================================== 95.76/95.80 c New solution: 276 95.76/95.80 o 276 95.76/95.80 c Elapsed CPU time: 95.6025 s Remaining CPU time: 84.3975 s 95.76/95.80 c =============================================================================== 95.76/95.80 c | 1951 | 44350 257417 559573 | 85805 908 40 | 39.115 % | 95.76/95.87 c =============================================================================== 95.76/95.87 c New solution: 275 95.76/95.87 o 275 95.76/95.87 c Elapsed CPU time: 95.6705 s Remaining CPU time: 84.3295 s 95.76/95.87 c =============================================================================== 95.76/95.87 c | 1960 | 44108 257418 559873 | 85806 917 39 | 39.115 % | 95.86/95.95 c | 2060 | 44055 257418 559873 | 94386 1017 40 | 39.779 % | 95.96/96.04 c | 2212 | 44054 257418 559873 | 103825 1169 41 | 39.779 % | 96.06/96.11 c =============================================================================== 96.06/96.11 c New solution: 274 96.06/96.11 o 274 96.06/96.11 c Elapsed CPU time: 95.9104 s Remaining CPU time: 84.0896 s 96.06/96.11 c =============================================================================== 96.06/96.11 c | 2235 | 43866 257419 560173 | 85806 1192 41 | 39.779 % | 96.06/96.18 c =============================================================================== 96.06/96.18 c New solution: 273 96.06/96.18 o 273 96.06/96.18 c Elapsed CPU time: 95.9824 s Remaining CPU time: 84.0176 s 96.06/96.18 c =============================================================================== 96.06/96.18 c | 2240 | 43624 257420 560473 | 85806 904 38 | 39.779 % | 96.16/96.23 c =============================================================================== 96.16/96.23 c New solution: 272 96.16/96.23 o 272 96.16/96.23 c Elapsed CPU time: 96.0374 s Remaining CPU time: 83.9626 s 96.16/96.23 c =============================================================================== 96.16/96.23 c | 2243 | 43382 257421 560773 | 85807 907 38 | 39.779 % | 96.16/96.29 c =============================================================================== 96.16/96.29 c New solution: 271 96.16/96.29 o 271 96.16/96.29 c Elapsed CPU time: 96.0934 s Remaining CPU time: 83.9066 s 96.16/96.29 c =============================================================================== 96.16/96.29 c | 2257 | 43140 257422 561073 | 85807 921 38 | 39.779 % | 96.26/96.36 c =============================================================================== 96.26/96.36 c New solution: 270 96.26/96.36 o 270 96.26/96.36 c Elapsed CPU time: 96.1584 s Remaining CPU time: 83.8416 s 96.26/96.36 c =============================================================================== 96.26/96.36 c | 2277 | 42898 257423 561373 | 85807 941 38 | 39.779 % | 96.36/96.43 c | 2378 | 42886 257423 561373 | 94388 1042 39 | 41.440 % | 96.46/96.55 c | 2530 | 42882 257423 561373 | 103827 1194 39 | 41.440 % | 96.56/96.60 c =============================================================================== 96.56/96.60 c New solution: 269 96.56/96.60 o 269 96.56/96.60 c Elapsed CPU time: 96.4033 s Remaining CPU time: 83.5967 s 96.56/96.60 c =============================================================================== 96.56/96.60 c | 2537 | 42656 257424 561673 | 85808 1201 39 | 41.440 % | 96.56/96.67 c =============================================================================== 96.56/96.67 c New solution: 268 96.56/96.67 o 268 96.56/96.67 c Elapsed CPU time: 96.4713 s Remaining CPU time: 83.5287 s 96.56/96.67 c =============================================================================== 96.56/96.67 c | 2543 | 42414 257425 561973 | 85808 1207 39 | 41.440 % | 96.67/96.73 c =============================================================================== 96.67/96.73 c New solution: 267 96.67/96.73 o 267 96.67/96.73 c Elapsed CPU time: 96.5293 s Remaining CPU time: 83.4707 s 96.67/96.73 c =============================================================================== 96.67/96.73 c | 2557 | 42172 257426 562273 | 85808 1221 39 | 41.440 % | 96.67/96.78 c | 2657 | 42162 257426 562273 | 94389 1321 39 | 42.437 % | 96.77/96.85 c =============================================================================== 96.77/96.85 c New solution: 266 96.77/96.85 o 266 96.77/96.85 c Elapsed CPU time: 96.6493 s Remaining CPU time: 83.3507 s 96.77/96.85 c =============================================================================== 96.77/96.85 c | 2685 | 41930 257427 562573 | 85809 838 39 | 42.437 % | 96.86/96.94 c | 2785 | 41925 257427 562573 | 94389 938 41 | 42.769 % | 96.96/97.01 c =============================================================================== 96.96/97.01 c New solution: 265 96.96/97.01 o 265 96.96/97.01 c Elapsed CPU time: 96.8013 s Remaining CPU time: 83.1987 s 96.96/97.01 c =============================================================================== 96.96/97.01 c | 2809 | 41688 257428 562873 | 85809 962 41 | 42.769 % | 96.96/97.06 c =============================================================================== 96.96/97.06 c New solution: 264 96.96/97.06 o 264 96.96/97.06 c Elapsed CPU time: 96.8573 s Remaining CPU time: 83.1427 s 96.96/97.06 c =============================================================================== 96.96/97.06 c | 2817 | 41446 257429 563173 | 85809 970 40 | 42.769 % | 97.06/97.13 c | 2919 | 41415 257429 563173 | 94390 1072 41 | 43.434 % | 97.16/97.24 c | 3071 | 41412 257429 563173 | 103829 1224 42 | 43.434 % | 97.26/97.30 c =============================================================================== 97.26/97.30 c New solution: 263 97.26/97.30 o 263 97.26/97.30 c Elapsed CPU time: 97.0952 s Remaining CPU time: 82.9048 s 97.26/97.30 c =============================================================================== 97.26/97.30 c | 3078 | 41204 257430 563473 | 85810 1231 42 | 43.434 % | 97.26/97.36 c =============================================================================== 97.26/97.36 c New solution: 262 97.26/97.36 o 262 97.26/97.36 c Elapsed CPU time: 97.1552 s Remaining CPU time: 82.8448 s 97.26/97.36 c =============================================================================== 97.26/97.36 c | 3111 | 40962 257431 563773 | 85810 1264 42 | 43.434 % | 97.35/97.43 c | 3211 | 40947 257431 563773 | 94391 1364 43 | 44.098 % | 97.45/97.54 c | 3361 | 40720 257431 563773 | 103830 1239 43 | 44.098 % | 97.45/97.59 c =============================================================================== 97.45/97.59 c New solution: 261 97.45/97.59 o 261 97.45/97.59 c Elapsed CPU time: 97.3832 s Remaining CPU time: 82.6168 s 97.45/97.59 c =============================================================================== 97.45/97.59 c | 3362 | 40720 257432 564073 | 85810 1240 43 | 44.098 % | 97.56/97.64 c =============================================================================== 97.56/97.64 c New solution: 260 97.56/97.64 o 260 97.56/97.64 c Elapsed CPU time: 97.4332 s Remaining CPU time: 82.5668 s 97.56/97.64 c =============================================================================== 97.56/97.64 c | 3363 | 40478 257433 564373 | 85811 1241 43 | 44.098 % | 97.66/97.70 c =============================================================================== 97.66/97.70 c New solution: 259 97.66/97.70 o 259 97.66/97.70 c Elapsed CPU time: 97.4952 s Remaining CPU time: 82.5048 s 97.66/97.70 c =============================================================================== 97.66/97.70 c | 3366 | 40236 257434 564673 | 85811 1244 43 | 44.098 % | 97.66/97.76 c =============================================================================== 97.66/97.76 c New solution: 258 97.66/97.76 o 258 97.66/97.76 c Elapsed CPU time: 97.5472 s Remaining CPU time: 82.4528 s 97.66/97.76 c =============================================================================== 97.66/97.76 c | 3368 | 39994 257435 564973 | 85811 1246 43 | 44.098 % | 97.77/97.81 c =============================================================================== 97.77/97.81 c New solution: 257 97.77/97.81 o 257 97.77/97.81 c Elapsed CPU time: 97.6002 s Remaining CPU time: 82.3998 s 97.77/97.81 c =============================================================================== 97.77/97.81 c | 3377 | 39752 257436 565273 | 85812 1255 43 | 44.098 % | 97.77/97.90 c =============================================================================== 97.77/97.90 c New solution: 256 97.77/97.90 o 256 97.77/97.90 c Elapsed CPU time: 97.6921 s Remaining CPU time: 82.3079 s 97.77/97.90 c =============================================================================== 97.77/97.90 c | 3448 | 39510 257437 565573 | 85812 1326 43 | 44.098 % | 97.87/97.99 c | 3548 | 39497 257437 565573 | 94393 1426 44 | 46.092 % | 97.96/98.04 c =============================================================================== 97.96/98.04 c New solution: 255 97.96/98.04 o 255 97.96/98.04 c Elapsed CPU time: 97.8321 s Remaining CPU time: 82.1679 s 97.96/98.04 c =============================================================================== 97.96/98.04 c | 3554 | 39268 257438 565873 | 85812 1432 43 | 46.092 % | 98.06/98.11 c =============================================================================== 98.06/98.11 c New solution: 254 98.06/98.11 o 254 98.06/98.11 c Elapsed CPU time: 97.9041 s Remaining CPU time: 82.0959 s 98.06/98.11 c =============================================================================== 98.06/98.11 c | 3603 | 39026 257439 566173 | 85813 1481 44 | 46.092 % | 98.06/98.18 c | 3704 | 38784 257439 566173 | 94394 942 38 | 46.756 % | 98.16/98.28 c | 3855 | 38784 257439 566173 | 103833 1093 39 | 46.756 % | 98.26/98.34 c =============================================================================== 98.26/98.34 c New solution: 253 98.26/98.34 o 253 98.26/98.34 c Elapsed CPU time: 98.1271 s Remaining CPU time: 81.8729 s 98.26/98.34 c =============================================================================== 98.26/98.34 c | 3872 | 38784 257440 566473 | 85813 1110 39 | 46.756 % | 98.36/98.40 c =============================================================================== 98.36/98.40 c New solution: 252 98.36/98.40 o 252 98.36/98.40 c Elapsed CPU time: 98.1911 s Remaining CPU time: 81.8089 s 98.36/98.40 c =============================================================================== 98.36/98.40 c | 3881 | 38542 257441 566773 | 85813 1119 39 | 46.756 % | 98.36/98.45 c | 3981 | 38527 257441 566773 | 94395 1219 38 | 47.420 % | 98.46/98.53 c | 4131 | 38522 257441 566773 | 103834 1369 39 | 47.420 % | 98.46/98.59 c =============================================================================== 98.46/98.59 c New solution: 251 98.46/98.59 o 251 98.46/98.59 c Elapsed CPU time: 98.372 s Remaining CPU time: 81.628 s 98.46/98.59 c =============================================================================== 98.46/98.59 c | 4147 | 38300 257442 567073 | 85814 1385 38 | 47.420 % | 98.56/98.64 c | 4247 | 38273 257442 567073 | 94395 1485 39 | 47.753 % | 98.66/98.74 c | 4399 | 38272 257442 567073 | 103834 1637 39 | 47.753 % | 98.76/98.80 c =============================================================================== 98.76/98.80 c New solution: 250 98.76/98.80 o 250 98.76/98.80 c Elapsed CPU time: 98.585 s Remaining CPU time: 81.415 s 98.76/98.80 c =============================================================================== 98.76/98.80 c | 4403 | 38058 257443 567373 | 85814 1390 39 | 47.753 % | 98.76/98.86 c =============================================================================== 98.76/98.86 c New solution: 249 98.76/98.86 o 249 98.76/98.86 c Elapsed CPU time: 98.645 s Remaining CPU time: 81.355 s 98.76/98.86 c =============================================================================== 98.76/98.86 c | 4403 | 37816 257444 567673 | 85814 1390 39 | 47.753 % | 98.86/98.91 c =============================================================================== 98.86/98.91 c New solution: 248 98.86/98.91 o 248 98.86/98.91 c Elapsed CPU time: 98.694 s Remaining CPU time: 81.306 s 98.86/98.91 c =============================================================================== 98.86/98.91 c | 4405 | 37574 257445 567973 | 85815 1392 39 | 47.753 % | 98.86/98.97 c =============================================================================== 98.86/98.97 c New solution: 247 98.86/98.97 o 247 98.86/98.97 c Elapsed CPU time: 98.753 s Remaining CPU time: 81.247 s 98.86/98.97 c =============================================================================== 98.86/98.97 c | 4410 | 37332 257446 568273 | 85815 1397 39 | 47.753 % | 98.96/99.02 c =============================================================================== 98.96/99.02 c New solution: 246 98.96/99.02 o 246 98.96/99.02 c Elapsed CPU time: 98.806 s Remaining CPU time: 81.194 s 98.96/99.02 c =============================================================================== 98.96/99.02 c | 4424 | 37090 257447 568573 | 85815 1411 39 | 47.753 % | 98.96/99.09 c | 4524 | 37071 257447 568573 | 94397 1511 39 | 49.414 % | 99.06/99.18 c | 4674 | 37065 257447 568573 | 103836 1661 40 | 49.414 % | 99.16/99.24 c =============================================================================== 99.16/99.24 c New solution: 245 99.16/99.24 o 245 99.16/99.24 c Elapsed CPU time: 99.0219 s Remaining CPU time: 80.9781 s 99.16/99.24 c =============================================================================== 99.16/99.24 c | 4677 | 36848 257448 568873 | 85816 1664 40 | 49.414 % | 99.26/99.30 c =============================================================================== 99.26/99.30 c New solution: 244 99.26/99.30 o 244 99.26/99.30 c Elapsed CPU time: 99.0819 s Remaining CPU time: 80.9181 s 99.26/99.30 c =============================================================================== 99.26/99.30 c | 4683 | 36606 257449 569173 | 85816 1670 40 | 49.414 % | 99.26/99.36 c =============================================================================== 99.26/99.36 c New solution: 243 99.26/99.36 o 243 99.26/99.36 c Elapsed CPU time: 99.1489 s Remaining CPU time: 80.8511 s 99.26/99.36 c =============================================================================== 99.26/99.36 c | 4695 | 36364 257450 569473 | 85816 1682 39 | 49.414 % | 99.36/99.44 c =============================================================================== 99.36/99.44 c New solution: 242 99.36/99.44 o 242 99.36/99.44 c Elapsed CPU time: 99.2199 s Remaining CPU time: 80.7801 s 99.36/99.44 c =============================================================================== 99.36/99.44 c | 4707 | 36122 257451 569773 | 85817 1694 39 | 49.414 % | 99.46/99.50 c =============================================================================== 99.46/99.50 c New solution: 241 99.46/99.50 o 241 99.46/99.50 c Elapsed CPU time: 99.2879 s Remaining CPU time: 80.7121 s 99.46/99.50 c =============================================================================== 99.46/99.50 c | 4716 | 35880 257452 570073 | 85817 1703 39 | 49.414 % | 99.46/99.57 c =============================================================================== 99.46/99.57 c New solution: 240 99.46/99.57 o 240 99.46/99.57 c Elapsed CPU time: 99.3579 s Remaining CPU time: 80.6421 s 99.46/99.57 c =============================================================================== 99.46/99.57 c | 4765 | 35638 257453 570373 | 85817 889 38 | 49.414 % | 99.56/99.63 c | 4865 | 35628 257453 570373 | 94399 989 38 | 51.407 % | 99.66/99.74 c | 5016 | 35624 257453 570373 | 103839 1140 38 | 51.407 % | 99.66/99.79 c =============================================================================== 99.66/99.79 c New solution: 239 99.66/99.79 o 239 99.66/99.79 c Elapsed CPU time: 99.5759 s Remaining CPU time: 80.4241 s 99.66/99.79 c =============================================================================== 99.66/99.79 c | 5026 | 35396 257454 570673 | 85818 1150 38 | 51.407 % | 99.76/99.86 c =============================================================================== 99.76/99.86 c New solution: 238 99.76/99.86 o 238 99.76/99.86 c Elapsed CPU time: 99.6399 s Remaining CPU time: 80.3601 s 99.76/99.86 c =============================================================================== 99.76/99.86 c | 5034 | 35154 257455 570973 | 85818 1158 38 | 51.407 % | 99.86/99.91 c =============================================================================== 99.86/99.91 c New solution: 237 99.86/99.91 o 237 99.86/99.91 c Elapsed CPU time: 99.6948 s Remaining CPU time: 80.3052 s 99.86/99.91 c =============================================================================== 99.86/99.91 c | 5050 | 34912 257456 571273 | 85818 1174 38 | 51.407 % | 99.86/99.97 c | 5150 | 34853 257456 571273 | 94400 1274 39 | 52.404 % | 99.96/100.08 c | 5301 | 34850 257456 571273 | 103840 1425 40 | 52.404 % | 100.07/100.12 c =============================================================================== 100.07/100.12 c New solution: 236 100.07/100.12 o 236 100.07/100.12 c Elapsed CPU time: 99.9068 s Remaining CPU time: 80.0932 s 100.07/100.12 c =============================================================================== 100.07/100.12 c | 5304 | 34670 257457 571573 | 85819 1428 40 | 52.404 % | 100.07/100.18 c =============================================================================== 100.07/100.18 c New solution: 235 100.07/100.18 o 235 100.07/100.18 c Elapsed CPU time: 99.9628 s Remaining CPU time: 80.0372 s 100.07/100.18 c =============================================================================== 100.07/100.18 c | 5316 | 34428 257458 571873 | 85819 1162 40 | 52.404 % | 100.16/100.22 c | 5416 | 34381 257458 571873 | 94401 1262 40 | 53.068 % | 100.26/100.34 c | 5566 | 34373 257458 571873 | 103841 1412 41 | 53.068 % | 100.26/100.39 c =============================================================================== 100.26/100.39 c New solution: 234 100.26/100.39 o 234 100.26/100.39 c Elapsed CPU time: 100.165 s Remaining CPU time: 79.8352 s 100.26/100.39 c =============================================================================== 100.26/100.39 c | 5571 | 34186 257459 572173 | 85819 1417 40 | 53.068 % | 100.36/100.44 c | 5671 | 34143 257459 572173 | 94401 1517 41 | 53.401 % | 100.46/100.55 c | 5822 | 34140 257459 572173 | 103841 1668 42 | 53.401 % | 100.56/100.60 c =============================================================================== 100.56/100.60 c New solution: 233 100.56/100.60 o 233 100.56/100.60 c Elapsed CPU time: 100.378 s Remaining CPU time: 79.6223 s 100.56/100.60 c =============================================================================== 100.56/100.60 c | 5827 | 33944 257460 572473 | 85820 1673 42 | 53.401 % | 100.56/100.67 c =============================================================================== 100.56/100.67 c New solution: 232 100.56/100.67 o 232 100.56/100.67 c Elapsed CPU time: 100.445 s Remaining CPU time: 79.5553 s 100.56/100.67 c =============================================================================== 100.56/100.67 c | 5875 | 33702 257461 572773 | 85820 1721 42 | 53.401 % | 100.66/100.72 c | 5975 | 33691 257461 572773 | 94402 1821 41 | 54.065 % | 100.66/100.77 c =============================================================================== 100.66/100.77 c New solution: 231 100.66/100.77 o 231 100.66/100.77 c Elapsed CPU time: 100.549 s Remaining CPU time: 79.4513 s 100.66/100.77 c =============================================================================== 100.66/100.77 c | 5980 | 33460 257462 573073 | 85820 1826 41 | 54.065 % | 100.76/100.84 c =============================================================================== 100.76/100.84 c New solution: 230 100.76/100.84 o 230 100.76/100.84 c Elapsed CPU time: 100.611 s Remaining CPU time: 79.3893 s 100.76/100.84 c =============================================================================== 100.76/100.84 c | 5983 | 33218 257463 573373 | 85821 1173 37 | 54.065 % | 100.76/100.90 c =============================================================================== 100.76/100.90 c New solution: 229 100.76/100.90 o 229 100.76/100.90 c Elapsed CPU time: 100.668 s Remaining CPU time: 79.3323 s 100.76/100.90 c =============================================================================== 100.76/100.90 c | 5991 | 32976 257464 573673 | 85821 1181 37 | 54.065 % | 100.85/100.95 c =============================================================================== 100.85/100.95 c New solution: 228 100.85/100.95 o 228 100.85/100.95 c Elapsed CPU time: 100.725 s Remaining CPU time: 79.2753 s 100.85/100.95 c =============================================================================== 100.85/100.95 c | 6021 | 32734 257465 573973 | 85821 1211 37 | 54.065 % | 100.96/101.03 c | 6121 | 32728 257465 573973 | 94403 1311 37 | 55.394 % | 101.07/101.12 c =============================================================================== 101.07/101.12 c New solution: 227 101.07/101.12 o 227 101.07/101.12 c Elapsed CPU time: 100.888 s Remaining CPU time: 79.1123 s 101.07/101.12 c =============================================================================== 101.07/101.12 c | 6215 | 32492 257466 574273 | 85822 1405 38 | 55.394 % | 101.07/101.20 c | 6316 | 32488 257466 574273 | 94404 1506 38 | 55.726 % | 101.17/101.25 c =============================================================================== 101.17/101.25 c New solution: 226 101.17/101.25 o 226 101.17/101.25 c Elapsed CPU time: 101.023 s Remaining CPU time: 78.9774 s 101.17/101.25 c =============================================================================== 101.17/101.25 c | 6328 | 32250 257467 574573 | 85822 1518 38 | 55.726 % | 101.26/101.31 c =============================================================================== 101.26/101.31 c New solution: 225 101.26/101.31 o 225 101.26/101.31 c Elapsed CPU time: 101.081 s Remaining CPU time: 78.9194 s 101.26/101.31 c =============================================================================== 101.26/101.31 c | 6342 | 32008 257468 574873 | 85822 1532 38 | 55.726 % | 101.36/101.40 c | 6442 | 31998 257468 574873 | 94404 1632 39 | 56.391 % | 101.36/101.45 c =============================================================================== 101.36/101.45 c New solution: 224 101.36/101.45 o 224 101.36/101.45 c Elapsed CPU time: 101.216 s Remaining CPU time: 78.7844 s 101.36/101.45 c =============================================================================== 101.36/101.45 c | 6449 | 31766 257469 575173 | 85823 1639 39 | 56.391 % | 101.46/101.50 c =============================================================================== 101.46/101.50 c New solution: 223 101.46/101.50 o 223 101.46/101.50 c Elapsed CPU time: 101.268 s Remaining CPU time: 78.7324 s 101.46/101.50 c =============================================================================== 101.46/101.50 c | 6459 | 31524 257470 575473 | 85823 976 36 | 56.391 % | 101.46/101.55 c =============================================================================== 101.46/101.55 c New solution: 222 101.46/101.55 o 222 101.46/101.55 c Elapsed CPU time: 101.316 s Remaining CPU time: 78.6844 s 101.46/101.55 c =============================================================================== 101.46/101.55 c | 6468 | 31282 257471 575773 | 85823 985 36 | 56.391 % | 101.56/101.60 c =============================================================================== 101.56/101.60 c New solution: 221 101.56/101.60 o 221 101.56/101.60 c Elapsed CPU time: 101.366 s Remaining CPU time: 78.6344 s 101.56/101.60 c =============================================================================== 101.56/101.60 c | 6482 | 31040 257472 576073 | 85824 999 36 | 56.391 % | 101.56/101.66 c =============================================================================== 101.56/101.66 c New solution: 220 101.56/101.66 o 220 101.56/101.66 c Elapsed CPU time: 101.424 s Remaining CPU time: 78.5764 s 101.56/101.66 c =============================================================================== 101.56/101.66 c | 6514 | 30798 257473 576373 | 85824 1031 36 | 56.391 % | 101.66/101.74 c | 6614 | 30791 257473 576373 | 94406 1131 36 | 58.052 % | 101.66/101.79 c =============================================================================== 101.66/101.79 c New solution: 219 101.66/101.79 o 219 101.66/101.79 c Elapsed CPU time: 101.557 s Remaining CPU time: 78.4434 s 101.66/101.79 c =============================================================================== 101.66/101.79 c | 6622 | 30556 257474 576673 | 85824 1139 36 | 58.052 % | 101.76/101.85 c =============================================================================== 101.76/101.85 c New solution: 218 101.76/101.85 o 218 101.76/101.85 c Elapsed CPU time: 101.62 s Remaining CPU time: 78.3804 s 101.76/101.85 c =============================================================================== 101.76/101.85 c | 6682 | 30314 257475 576973 | 85825 1199 36 | 58.052 % | 101.86/101.92 c | 6782 | 30312 257475 576973 | 94407 1299 35 | 58.716 % | 101.86/101.99 c =============================================================================== 101.86/101.99 c New solution: 217 101.86/101.99 o 217 101.86/101.99 c Elapsed CPU time: 101.752 s Remaining CPU time: 78.2485 s 101.86/101.99 c =============================================================================== 101.86/101.99 c | 6824 | 30072 257476 577273 | 85825 1341 35 | 58.716 % | 101.96/102.07 c | 6925 | 30069 257476 577273 | 94407 1442 36 | 59.048 % | 102.06/102.12 c =============================================================================== 102.06/102.12 c New solution: 216 102.06/102.12 o 216 102.06/102.12 c Elapsed CPU time: 101.884 s Remaining CPU time: 78.1165 s 102.06/102.12 c =============================================================================== 102.06/102.12 c | 6935 | 29830 257477 577573 | 85825 1452 35 | 59.048 % | 102.06/102.17 c =============================================================================== 102.06/102.17 c New solution: 215 102.06/102.17 o 215 102.06/102.17 c Elapsed CPU time: 101.932 s Remaining CPU time: 78.0685 s 102.06/102.17 c =============================================================================== 102.06/102.17 c | 6945 | 29588 257478 577873 | 85826 1462 35 | 59.048 % | 102.16/102.23 c =============================================================================== 102.16/102.23 c New solution: 214 102.16/102.23 o 214 102.16/102.23 c Elapsed CPU time: 101.99 s Remaining CPU time: 78.0095 s 102.16/102.23 c =============================================================================== 102.16/102.23 c | 6987 | 29346 257479 578173 | 85826 1504 35 | 59.048 % | 102.26/102.31 c | 7089 | 29104 257479 578173 | 94408 945 36 | 60.045 % | 102.26/102.36 c =============================================================================== 102.26/102.36 c New solution: 213 102.26/102.36 o 213 102.26/102.36 c Elapsed CPU time: 102.124 s Remaining CPU time: 77.8755 s 102.26/102.36 c =============================================================================== 102.26/102.36 c | 7101 | 29104 257480 578473 | 85826 957 35 | 60.045 % | 102.36/102.42 c =============================================================================== 102.36/102.42 c New solution: 212 102.36/102.42 o 212 102.36/102.42 c Elapsed CPU time: 102.178 s Remaining CPU time: 77.8215 s 102.36/102.42 c =============================================================================== 102.36/102.42 c | 7106 | 28862 257481 578773 | 85827 962 35 | 60.045 % | 102.36/102.47 c =============================================================================== 102.36/102.47 c New solution: 211 102.36/102.47 o 211 102.36/102.47 c Elapsed CPU time: 102.234 s Remaining CPU time: 77.7655 s 102.36/102.47 c =============================================================================== 102.36/102.47 c | 7117 | 28620 257482 579073 | 85827 973 35 | 60.045 % | 102.46/102.53 c =============================================================================== 102.46/102.53 c New solution: 210 102.46/102.53 o 210 102.46/102.53 c Elapsed CPU time: 102.288 s Remaining CPU time: 77.7116 s 102.46/102.53 c =============================================================================== 102.46/102.53 c | 7121 | 28378 257483 579373 | 85827 977 35 | 60.045 % | 102.46/102.58 c =============================================================================== 102.46/102.58 c New solution: 209 102.46/102.58 o 209 102.46/102.58 c Elapsed CPU time: 102.336 s Remaining CPU time: 77.6636 s 102.46/102.58 c =============================================================================== 102.46/102.58 c | 7126 | 28136 257484 579673 | 85828 982 35 | 60.045 % | 102.56/102.64 c =============================================================================== 102.56/102.64 c New solution: 208 102.56/102.64 o 208 102.56/102.64 c Elapsed CPU time: 102.395 s Remaining CPU time: 77.6046 s 102.56/102.64 c =============================================================================== 102.56/102.64 c | 7165 | 27894 257485 579973 | 85828 1021 35 | 60.045 % | 102.66/102.72 c | 7265 | 27886 257485 579973 | 94411 1121 36 | 62.038 % | 102.66/102.77 c =============================================================================== 102.66/102.77 c New solution: 207 102.66/102.77 o 207 102.66/102.77 c Elapsed CPU time: 102.528 s Remaining CPU time: 77.4716 s 102.66/102.77 c =============================================================================== 102.66/102.77 c | 7277 | 27652 257486 580273 | 85828 1133 35 | 62.038 % | 102.76/102.82 c =============================================================================== 102.76/102.82 c New solution: 206 102.76/102.82 o 206 102.76/102.82 c Elapsed CPU time: 102.578 s Remaining CPU time: 77.4216 s 102.76/102.82 c =============================================================================== 102.76/102.82 c | 7282 | 27410 257487 580573 | 85829 1138 35 | 62.038 % | 102.76/102.87 c =============================================================================== 102.76/102.87 c New solution: 205 102.76/102.87 o 205 102.76/102.87 c Elapsed CPU time: 102.632 s Remaining CPU time: 77.3676 s 102.76/102.87 c =============================================================================== 102.76/102.87 c | 7291 | 27168 257488 580873 | 85829 1147 35 | 62.038 % | 102.86/102.92 c =============================================================================== 102.86/102.92 c New solution: 204 102.86/102.92 o 204 102.86/102.92 c Elapsed CPU time: 102.678 s Remaining CPU time: 77.3216 s 102.86/102.92 c =============================================================================== 102.86/102.92 c | 7294 | 26926 257489 581173 | 85829 1150 35 | 62.038 % | 102.86/102.98 c | 7394 | 26883 257489 581173 | 94412 1250 37 | 63.367 % | 102.96/103.09 c | 7548 | 26882 257489 581173 | 103853 1404 38 | 63.367 % | 103.06/103.14 c =============================================================================== 103.06/103.14 c New solution: 203 103.06/103.14 o 203 103.06/103.14 c Elapsed CPU time: 102.895 s Remaining CPU time: 77.1046 s 103.06/103.14 c =============================================================================== 103.06/103.14 c | 7554 | 26684 257490 581473 | 85830 823 36 | 63.367 % | 103.06/103.19 c | 7655 | 26641 257490 581473 | 94413 924 36 | 63.700 % | 103.26/103.34 c | 7805 | 26635 257490 581473 | 103854 1074 40 | 63.700 % | 103.26/103.38 c =============================================================================== 103.26/103.38 c New solution: 202 103.26/103.38 o 202 103.26/103.38 c Elapsed CPU time: 103.133 s Remaining CPU time: 76.8667 s 103.26/103.38 c =============================================================================== 103.26/103.38 c | 7806 | 26442 257491 581773 | 85830 1075 40 | 63.700 % | 103.36/103.43 c =============================================================================== 103.36/103.43 c New solution: 201 103.36/103.43 o 201 103.36/103.43 c Elapsed CPU time: 103.182 s Remaining CPU time: 76.8177 s 103.36/103.43 c =============================================================================== 103.36/103.43 c | 7823 | 26200 257492 582073 | 85830 1092 40 | 63.700 % | 103.36/103.49 c =============================================================================== 103.36/103.49 c New solution: 200 103.36/103.49 o 200 103.36/103.49 c Elapsed CPU time: 103.24 s Remaining CPU time: 76.7597 s 103.36/103.49 c =============================================================================== 103.36/103.49 c | 7830 | 25958 257493 582373 | 85831 1099 40 | 63.700 % | 103.45/103.54 c =============================================================================== 103.45/103.54 c New solution: 199 103.45/103.54 o 199 103.45/103.54 c Elapsed CPU time: 103.285 s Remaining CPU time: 76.7147 s 103.45/103.54 c =============================================================================== 103.45/103.54 c | 7839 | 25716 257494 582673 | 85831 1108 39 | 63.700 % | 103.56/103.60 c =============================================================================== 103.56/103.60 c New solution: 198 103.56/103.60 o 198 103.56/103.60 c Elapsed CPU time: 103.347 s Remaining CPU time: 76.6527 s 103.56/103.60 c =============================================================================== 103.56/103.60 c | 7894 | 25474 257495 582973 | 85831 1163 39 | 63.700 % | 103.56/103.68 c | 7994 | 25464 257495 582973 | 94414 1263 41 | 65.361 % | 103.66/103.73 c =============================================================================== 103.66/103.73 c New solution: 197 103.66/103.73 o 197 103.66/103.73 c Elapsed CPU time: 103.479 s Remaining CPU time: 76.5207 s 103.66/103.73 c =============================================================================== 103.66/103.73 c | 8012 | 25232 257496 583273 | 85832 1281 40 | 65.361 % | 103.66/103.78 c =============================================================================== 103.66/103.78 c New solution: 196 103.66/103.78 o 196 103.66/103.78 c Elapsed CPU time: 103.528 s Remaining CPU time: 76.4717 s 103.66/103.78 c =============================================================================== 103.66/103.78 c | 8028 | 24990 257497 583573 | 85832 1297 40 | 65.361 % | 103.76/103.84 c =============================================================================== 103.76/103.84 c New solution: 195 103.76/103.84 o 195 103.76/103.84 c Elapsed CPU time: 103.583 s Remaining CPU time: 76.4167 s 103.76/103.84 c =============================================================================== 103.76/103.84 c | 8056 | 24748 257498 583873 | 85832 1325 40 | 65.361 % | 103.76/103.89 c =============================================================================== 103.76/103.89 c New solution: 194 103.76/103.89 o 194 103.76/103.89 c Elapsed CPU time: 103.639 s Remaining CPU time: 76.3608 s 103.76/103.89 c =============================================================================== 103.76/103.89 c | 8072 | 24506 257499 584173 | 85833 1341 40 | 65.361 % | 103.86/103.95 c =============================================================================== 103.86/103.95 c New solution: 193 103.86/103.95 o 193 103.86/103.95 c Elapsed CPU time: 103.691 s Remaining CPU time: 76.3088 s 103.86/103.95 c =============================================================================== 103.86/103.95 c | 8092 | 24264 257500 584473 | 85833 674 34 | 65.361 % | 103.96/104.02 c | 8193 | 24259 257500 584473 | 94416 775 35 | 67.022 % | 103.96/104.07 c =============================================================================== 103.96/104.07 c New solution: 192 103.96/104.07 o 192 103.96/104.07 c Elapsed CPU time: 103.816 s Remaining CPU time: 76.1838 s 103.96/104.07 c =============================================================================== 103.96/104.07 c | 8199 | 24022 257501 584773 | 85833 781 35 | 67.022 % | 104.06/104.12 c =============================================================================== 104.06/104.12 c New solution: 191 104.06/104.12 o 191 104.06/104.12 c Elapsed CPU time: 103.866 s Remaining CPU time: 76.1338 s 104.06/104.12 c =============================================================================== 104.06/104.12 c | 8202 | 23780 257502 585073 | 85834 784 35 | 67.022 % | 104.06/104.17 c =============================================================================== 104.06/104.17 c New solution: 190 104.06/104.17 o 190 104.06/104.17 c Elapsed CPU time: 103.917 s Remaining CPU time: 76.0828 s 104.06/104.17 c =============================================================================== 104.06/104.17 c | 8210 | 23538 257503 585373 | 85834 792 35 | 67.022 % | 104.15/104.22 c =============================================================================== 104.15/104.22 c New solution: 189 104.15/104.22 o 189 104.15/104.22 c Elapsed CPU time: 103.964 s Remaining CPU time: 76.0358 s 104.15/104.22 c =============================================================================== 104.15/104.22 c | 8217 | 23296 257504 585673 | 85834 799 34 | 67.022 % | 104.15/104.28 c =============================================================================== 104.15/104.28 c New solution: 188 104.15/104.28 o 188 104.15/104.28 c Elapsed CPU time: 104.015 s Remaining CPU time: 75.9848 s 104.15/104.28 c =============================================================================== 104.15/104.28 c | 8238 | 23054 257505 585973 | 85835 820 34 | 67.022 % | 104.25/104.34 c | 8338 | 23051 257505 585973 | 94418 920 36 | 68.683 % | 104.25/104.40 c =============================================================================== 104.25/104.40 c New solution: 187 104.25/104.40 o 187 104.25/104.40 c Elapsed CPU time: 104.136 s Remaining CPU time: 75.8638 s 104.25/104.40 c =============================================================================== 104.25/104.40 c | 8360 | 22812 257506 586273 | 85835 942 36 | 68.683 % | 104.36/104.44 c =============================================================================== 104.36/104.44 c New solution: 186 104.36/104.44 o 186 104.36/104.44 c Elapsed CPU time: 104.184 s Remaining CPU time: 75.8158 s 104.36/104.44 c =============================================================================== 104.36/104.44 c | 8366 | 22570 257507 586573 | 85835 948 35 | 68.683 % | 104.36/104.49 c =============================================================================== 104.36/104.49 c New solution: 185 104.36/104.49 o 185 104.36/104.49 c Elapsed CPU time: 104.234 s Remaining CPU time: 75.7658 s 104.36/104.49 c =============================================================================== 104.36/104.49 c | 8385 | 22328 257508 586873 | 85836 967 36 | 68.683 % | 104.46/104.55 c | 8485 | 22290 257508 586873 | 94419 1067 37 | 69.680 % | 104.55/104.68 c | 8635 | 22285 257508 586873 | 103861 1217 37 | 69.680 % | 104.65/104.72 c =============================================================================== 104.65/104.72 c New solution: 184 104.65/104.72 o 184 104.65/104.72 c Elapsed CPU time: 104.464 s Remaining CPU time: 75.5359 s 104.65/104.72 c =============================================================================== 104.65/104.72 c | 8639 | 22086 257509 587173 | 85836 758 33 | 69.680 % | 104.65/104.77 c =============================================================================== 104.65/104.77 c New solution: 183 104.65/104.77 o 183 104.65/104.77 c Elapsed CPU time: 104.511 s Remaining CPU time: 75.4889 s 104.65/104.77 c =============================================================================== 104.65/104.77 c | 8658 | 21844 257510 587473 | 85836 777 33 | 69.680 % | 104.76/104.83 c =============================================================================== 104.76/104.83 c New solution: 182 104.76/104.83 o 182 104.76/104.83 c Elapsed CPU time: 104.565 s Remaining CPU time: 75.4349 s 104.76/104.83 c =============================================================================== 104.76/104.83 c | 8671 | 21602 257511 587773 | 85837 790 33 | 69.680 % | 104.86/104.90 c | 8773 | 21599 257511 587773 | 94420 892 33 | 70.676 % | 104.86/104.94 c =============================================================================== 104.86/104.94 c New solution: 181 104.86/104.94 o 181 104.86/104.94 c Elapsed CPU time: 104.682 s Remaining CPU time: 75.3179 s 104.86/104.94 c =============================================================================== 104.86/104.94 c | 8783 | 21360 257512 588073 | 85837 902 33 | 70.676 % | 104.96/105.02 c =============================================================================== 104.96/105.02 c New solution: 180 104.96/105.02 o 180 104.96/105.02 c Elapsed CPU time: 104.76 s Remaining CPU time: 75.2399 s 104.96/105.02 c =============================================================================== 104.96/105.02 c | 8863 | 21118 257513 588373 | 85837 982 33 | 70.676 % | 105.06/105.11 c | 8964 | 21114 257513 588373 | 94421 1083 35 | 71.341 % | 105.06/105.15 c =============================================================================== 105.06/105.15 c New solution: 179 105.06/105.15 o 179 105.06/105.15 c Elapsed CPU time: 104.891 s Remaining CPU time: 75.1089 s 105.06/105.15 c =============================================================================== 105.06/105.15 c | 8970 | 20876 257514 588673 | 85838 1089 35 | 71.341 % | 105.16/105.20 c =============================================================================== 105.16/105.20 c New solution: 178 105.16/105.20 o 178 105.16/105.20 c Elapsed CPU time: 104.941 s Remaining CPU time: 75.059 s 105.16/105.20 c =============================================================================== 105.16/105.20 c | 8981 | 20634 257515 588973 | 85838 1100 35 | 71.341 % | 105.16/105.27 c | 9081 | 20604 257515 588973 | 94422 1200 37 | 72.005 % | 105.36/105.40 c | 9232 | 20598 257515 588973 | 103864 1351 39 | 72.005 % | 105.36/105.48 c =============================================================================== 105.36/105.48 c New solution: 177 105.36/105.48 o 177 105.36/105.48 c Elapsed CPU time: 105.221 s Remaining CPU time: 74.779 s 105.36/105.48 c =============================================================================== 105.36/105.48 c | 9340 | 20392 257516 589273 | 85838 1459 40 | 72.005 % | 105.47/105.60 c | 9441 | 20150 257516 589273 | 94422 1056 41 | 72.337 % | 105.57/105.66 c =============================================================================== 105.57/105.66 c New solution: 176 105.57/105.66 o 176 105.57/105.66 c Elapsed CPU time: 105.396 s Remaining CPU time: 74.604 s 105.57/105.66 c =============================================================================== 105.57/105.66 c | 9498 | 20150 257517 589573 | 85839 1113 41 | 72.337 % | 105.66/105.70 c | 9598 | 20130 257517 589573 | 94422 1213 41 | 72.670 % | 105.76/105.81 c | 9749 | 20126 257517 589573 | 103865 1364 42 | 72.670 % | 105.76/105.85 c =============================================================================== 105.76/105.85 c New solution: 175 105.76/105.85 o 175 105.76/105.85 c Elapsed CPU time: 105.589 s Remaining CPU time: 74.4111 s 105.76/105.85 c =============================================================================== 105.76/105.85 c | 9759 | 19908 257518 589873 | 85839 1374 42 | 72.670 % | 105.86/105.90 c =============================================================================== 105.86/105.90 c New solution: 174 105.86/105.90 o 174 105.86/105.90 c Elapsed CPU time: 105.637 s Remaining CPU time: 74.3631 s 105.86/105.90 c =============================================================================== 105.86/105.90 c | 9787 | 19666 257519 590173 | 85839 1402 42 | 72.670 % | 105.86/105.97 c =============================================================================== 105.86/105.97 c New solution: 173 105.86/105.97 o 173 105.86/105.97 c Elapsed CPU time: 105.708 s Remaining CPU time: 74.2921 s 105.86/105.97 c =============================================================================== 105.86/105.97 c | 9858 | 19424 257520 590473 | 85840 1473 42 | 72.670 % | 105.96/106.09 c | 9958 | 19417 257520 590473 | 94424 1573 42 | 73.666 % | 106.06/106.16 c =============================================================================== 106.06/106.16 c New solution: 172 106.06/106.16 o 172 106.06/106.16 c Elapsed CPU time: 105.891 s Remaining CPU time: 74.1091 s 106.06/106.16 c =============================================================================== 106.06/106.16 c | 10040 | 19182 257521 590773 | 85840 1655 43 | 73.666 % | 106.15/106.21 c | 10140 | 19131 257521 590773 | 94424 1755 42 | 73.999 % | 106.25/106.31 c | 10290 | 19131 257521 590773 | 103866 1905 43 | 73.999 % | 106.45/106.55 c | 10515 | 18940 257521 590773 | 114253 1682 46 | 73.999 % | 106.45/106.59 c =============================================================================== 106.45/106.59 c New solution: 171 106.45/106.59 o 171 106.45/106.59 c Elapsed CPU time: 106.327 s Remaining CPU time: 73.6732 s 106.45/106.59 c =============================================================================== 106.45/106.59 c | 10525 | 18940 257522 591073 | 85840 1692 46 | 73.999 % | 106.56/106.64 c =============================================================================== 106.56/106.64 c New solution: 170 106.56/106.64 o 170 106.56/106.64 c Elapsed CPU time: 106.375 s Remaining CPU time: 73.6252 s 106.56/106.64 c =============================================================================== 106.56/106.64 c | 10531 | 18698 257523 591373 | 85841 1698 46 | 73.999 % | 106.56/106.70 c | 10632 | 18641 257523 591373 | 94425 1799 46 | 74.663 % | 106.75/106.84 c | 10783 | 18638 257523 591373 | 103867 1950 46 | 74.663 % | 106.85/106.93 c | 11009 | 18638 257523 591373 | 114254 2176 46 | 74.663 % | 107.15/107.26 c | 11346 | 18637 257523 591373 | 125679 2513 46 | 74.663 % | 107.25/107.31 c =============================================================================== 107.25/107.31 c New solution: 169 107.25/107.31 o 169 107.25/107.31 c Elapsed CPU time: 107.036 s Remaining CPU time: 72.9643 s 107.25/107.31 c =============================================================================== 107.25/107.31 c | 11351 | 18456 257524 591673 | 85841 2150 42 | 74.663 % | 107.25/107.35 c | 11451 | 18387 257524 591673 | 94425 2250 42 | 74.995 % | 107.35/107.42 c | 11601 | 18387 257524 591673 | 103868 2400 42 | 74.995 % | 107.55/107.65 c | 11827 | 18387 257524 591673 | 114254 2626 43 | 74.995 % | 107.66/107.70 c =============================================================================== 107.66/107.70 c New solution: 168 107.66/107.70 o 168 107.66/107.70 c Elapsed CPU time: 107.432 s Remaining CPU time: 72.5683 s 107.66/107.70 c =============================================================================== 107.66/107.70 c | 11853 | 18214 257525 591973 | 85841 2652 42 | 74.995 % | 107.66/107.79 c =============================================================================== 107.66/107.79 c New solution: 167 107.66/107.79 o 167 107.66/107.79 c Elapsed CPU time: 107.523 s Remaining CPU time: 72.4773 s 107.66/107.79 c =============================================================================== 107.66/107.79 c | 11944 | 17972 257526 592273 | 85842 2743 43 | 74.995 % | 107.76/107.85 c | 12044 | 17955 257526 592273 | 94426 2843 43 | 75.660 % | 107.85/107.96 c | 12194 | 17951 257526 592273 | 103868 2993 43 | 75.660 % | 107.95/108.04 c =============================================================================== 107.95/108.04 c New solution: 166 107.95/108.04 o 166 107.95/108.04 c Elapsed CPU time: 107.768 s Remaining CPU time: 72.2324 s 107.95/108.04 c =============================================================================== 107.95/108.04 c | 12301 | 17730 257527 592573 | 85842 3100 43 | 75.660 % | 108.05/108.10 c | 12402 | 17727 257527 592573 | 94426 3201 43 | 75.992 % | 108.15/108.23 c | 12552 | 17488 257527 592573 | 103869 2428 38 | 75.992 % | 108.25/108.31 c | 12777 | 17488 257527 592573 | 114256 2653 38 | 75.992 % | 108.36/108.47 c | 13114 | 17488 257527 592573 | 125681 2990 41 | 75.992 % | 108.77/108.87 c | 13621 | 17488 257527 592573 | 138249 3497 41 | 75.992 % | 109.05/109.11 c | 14380 | 17488 257527 592573 | 152074 4256 41 | 75.992 % | 109.45/109.54 c | 15519 | 17488 257527 592573 | 167282 5395 42 | 75.992 % | 111.06/111.18 c | 17228 | 17488 257527 592573 | 184010 7104 46 | 75.992 % | 111.15/111.23 c =============================================================================== 111.15/111.23 c New solution: 165 111.15/111.23 o 165 111.15/111.23 c Elapsed CPU time: 110.94 s Remaining CPU time: 69.0599 s 111.15/111.23 c =============================================================================== 111.15/111.23 c | 17243 | 17488 257528 592873 | 85842 7119 46 | 75.992 % | 111.25/111.30 c | 17344 | 17246 257528 592873 | 94426 6943 46 | 76.324 % | 111.35/111.43 c | 17494 | 17246 257528 592873 | 103869 7093 46 | 76.324 % | 111.45/111.56 c =============================================================================== 111.45/111.56 c New solution: 164 111.45/111.56 o 164 111.45/111.56 c Elapsed CPU time: 111.272 s Remaining CPU time: 68.7279 s 111.45/111.56 c =============================================================================== 111.45/111.56 c | 17678 | 17246 257529 593173 | 85843 7277 46 | 76.324 % | 111.56/111.64 c | 17779 | 17241 257529 593173 | 94427 7378 46 | 76.656 % | 111.66/111.77 c | 17932 | 17238 257529 593173 | 103870 7531 46 | 76.656 % | 111.76/111.86 c | 18158 | 17225 257529 593173 | 114257 7757 46 | 76.656 % | 111.96/112.09 c | 18496 | 17224 257529 593173 | 125682 8095 46 | 76.656 % | 112.26/112.35 c | 19002 | 17213 257529 593173 | 138251 8601 46 | 76.656 % | 112.95/113.06 c | 19761 | 17004 257529 593173 | 152076 8578 46 | 76.656 % | 113.76/113.82 c | 20900 | 17004 257529 593173 | 167283 9717 47 | 76.656 % | 115.15/115.29 c | 22608 | 17004 257529 593173 | 184012 11425 49 | 76.656 % | 117.85/117.92 c | 25170 | 17004 257529 593173 | 202413 13987 53 | 76.656 % | 119.16/119.24 c | 29015 | 17004 257529 593173 | 222654 17832 51 | 76.656 % | 125.75/125.84 c | 34782 | 17004 257529 593173 | 244920 23599 61 | 76.656 % | 130.75/130.84 c | 43434 | 17004 257529 593173 | 269412 32251 61 | 76.656 % | 148.65/148.72 c | 56409 | 17004 257529 593173 | 296353 45226 75 | 76.656 % | 148.75/148.82 c =============================================================================== 148.75/148.82 c New solution: 163 148.75/148.82 o 163 148.75/148.82 c Elapsed CPU time: 148.391 s Remaining CPU time: 31.6086 s 148.75/148.82 c =============================================================================== 148.75/148.82 c | 56490 | 17004 257530 593473 | 85843 45307 75 | 76.656 % | 148.85/148.97 c | 56590 | 16762 257530 593473 | 94427 40184 71 | 76.989 % | 149.05/149.12 c | 56740 | 16762 257530 593473 | 103870 40334 71 | 76.989 % | 149.15/149.23 c | 56966 | 16762 257530 593473 | 114257 40560 70 | 76.989 % | 149.45/149.50 c | 57304 | 16762 257530 593473 | 125683 40898 70 | 76.989 % | 150.04/150.18 c | 57811 | 16762 257530 593473 | 138251 41405 70 | 76.989 % | 150.14/150.24 c =============================================================================== 150.14/150.24 c New solution: 162 150.14/150.24 o 162 150.14/150.24 c Elapsed CPU time: 149.813 s Remaining CPU time: 30.1868 s 150.14/150.24 c =============================================================================== 150.14/150.24 c | 57845 | 16762 257531 593773 | 85843 41439 70 | 76.989 % | 150.24/150.31 c | 57946 | 16760 257531 593773 | 94428 41540 70 | 77.321 % | 150.34/150.48 c | 58096 | 16755 257531 593773 | 103870 41690 70 | 77.321 % | 150.55/150.60 c | 58321 | 16745 257531 593773 | 114257 41915 70 | 77.321 % | 150.85/150.99 c | 58658 | 16738 257531 593773 | 125683 42252 70 | 77.321 % | 151.15/151.20 c | 59165 | 16735 257531 593773 | 138252 42759 69 | 77.321 % | 151.94/152.06 c | 59926 | 16728 257531 593773 | 152077 43520 69 | 77.321 % | 152.74/152.87 c | 61065 | 16721 257531 593773 | 167285 44659 69 | 77.321 % | 153.85/153.96 c | 62773 | 16721 257531 593773 | 184013 46367 69 | 77.321 % | 157.15/157.29 c | 65336 | 16717 257531 593773 | 202414 48930 69 | 77.321 % | 157.44/157.51 c =============================================================================== 157.44/157.51 c New solution: 161 157.44/157.51 o 161 157.44/157.51 c Elapsed CPU time: 157.044 s Remaining CPU time: 22.9559 s 157.44/157.51 c =============================================================================== 157.44/157.51 c | 65523 | 16520 257532 594073 | 85844 43729 65 | 77.321 % | 157.54/157.61 c | 65623 | 16463 257532 594073 | 94428 43829 65 | 77.653 % | 157.64/157.78 c | 65774 | 16462 257532 594073 | 103871 43980 65 | 77.653 % | 158.04/158.15 c | 66000 | 16462 257532 594073 | 114258 44206 65 | 77.653 % | 158.24/158.32 c | 66338 | 16460 257532 594073 | 125684 44544 65 | 77.653 % | 158.53/158.62 c | 66844 | 16460 257532 594073 | 138252 45050 65 | 77.653 % | 159.35/159.50 c | 67603 | 16459 257532 594073 | 152077 45809 65 | 77.653 % | 159.84/159.96 c | 68742 | 16455 257532 594073 | 167285 46948 64 | 77.653 % | 160.84/160.96 c | 70450 | 16455 257532 594073 | 184014 48656 64 | 77.653 % | 164.44/164.52 c | 73012 | 16454 257532 594073 | 202415 51218 64 | 77.653 % | 166.64/166.70 c | 76857 | 16278 257532 594073 | 222657 49398 58 | 77.653 % | 174.54/174.66 c | 82626 | 16278 257532 594073 | 244922 55167 60 | 77.653 % | 180.03/180.11 c | 91275 | 16278 257532 594073 | 269415 63816 63 | 77.653 % | 180.44/180.56 c There are 56564 assigned variables. 253 in cost function. 180.94/181.04 c core #1 180.94/181.04 c ============================[ Search Statistics ]============================== 180.94/181.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.94/181.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.94/181.04 c =============================================================================== 180.94/181.04 c | 0 | 5127 104760 129842 | 34920 0 nan | 0.000 % | 180.94/181.09 c | 100 | 5127 104760 129842 | 38412 100 24 | 92.966 % | 181.04/181.15 c | 251 | 4623 104760 129842 | 42253 151 25 | 93.657 % | 181.04/181.18 c =============================================================================== 181.24/181.34 c core #2 181.24/181.34 c ============================[ Search Statistics ]============================== 181.24/181.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.24/181.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.24/181.34 c =============================================================================== 181.24/181.34 c | 0 | 5465 104811 133509 | 34937 0 nan | 0.000 % | 181.24/181.39 c | 100 | 5465 104811 133509 | 38430 100 22 | 92.507 % | 181.34/181.45 c | 251 | 5459 104811 133509 | 42273 251 26 | 92.757 % | 181.44/181.53 c | 476 | 5278 104811 133509 | 46501 426 29 | 92.864 % | 181.54/181.66 c =============================================================================== 181.73/181.82 c core #3 181.73/181.82 c ============================[ Search Statistics ]============================== 181.73/181.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.73/181.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.73/181.82 c =============================================================================== 181.73/181.82 c | 0 | 5752 104857 137202 | 34952 0 nan | 0.000 % | 181.73/181.86 c | 100 | 5752 104857 137202 | 38447 100 22 | 92.119 % | 181.84/181.92 c | 250 | 5752 104857 137202 | 42292 250 28 | 92.119 % | 181.94/182.03 c | 476 | 5752 104857 137202 | 46521 476 28 | 92.119 % | 182.04/182.19 c | 813 | 5752 104857 137202 | 51173 813 31 | 92.119 % | 182.33/182.43 c | 1319 | 5752 104857 137202 | 56291 1319 31 | 92.119 % | 182.63/182.75 c | 2078 | 5752 104857 137202 | 61920 2078 35 | 92.119 % | 183.24/183.39 c | 3218 | 5742 104857 137202 | 68112 3213 37 | 92.132 % | 184.23/184.40 c | 4926 | 5622 104857 137202 | 74923 3372 36 | 92.386 % | 184.73/184.84 c =============================================================================== 184.93/185.00 c core #4 184.93/185.00 c ============================[ Search Statistics ]============================== 184.93/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.00 c =============================================================================== 184.93/185.00 c | 0 | 6057 104902 137555 | 34967 0 nan | 0.000 % | 184.93/185.05 c | 100 | 6057 104902 137555 | 38464 100 22 | 91.706 % | 185.03/185.11 c | 253 | 6057 104902 137555 | 42310 253 24 | 91.706 % | 185.13/185.21 c | 478 | 6057 104902 137555 | 46541 478 27 | 91.706 % | 185.23/185.36 c | 817 | 6057 104902 137555 | 51195 817 30 | 91.706 % | 185.43/185.58 c | 1323 | 6057 104902 137555 | 56315 1323 30 | 91.706 % | 185.84/185.98 c | 2082 | 6057 104902 137555 | 61946 2082 32 | 91.706 % | 186.43/186.58 c | 3222 | 6057 104902 137555 | 68141 3222 34 | 91.706 % | 187.43/187.56 c | 4930 | 6019 104902 137555 | 74955 4741 35 | 91.758 % | 188.93/189.01 c | 7492 | 6013 104902 137555 | 82451 6999 37 | 91.769 % | 191.53/191.63 c | 11336 | 6011 104902 137555 | 90696 10489 41 | 91.769 % | 195.73/195.90 c | 17102 | 5804 104902 137555 | 99765 7960 33 | 92.256 % | 196.02/196.16 c =============================================================================== 196.23/196.33 c core #5 196.23/196.33 c ============================[ Search Statistics ]============================== 196.23/196.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.23/196.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.23/196.33 c =============================================================================== 196.23/196.33 c | 0 | 6342 104954 137923 | 34984 0 nan | 0.000 % | 196.23/196.38 c | 100 | 6342 104954 137923 | 38483 100 22 | 91.321 % | 196.33/196.45 c | 250 | 6342 104954 137923 | 42331 250 27 | 91.321 % | 196.43/196.54 c | 477 | 6342 104954 137923 | 46564 477 37 | 91.321 % | 196.63/196.70 c | 814 | 6342 104954 137923 | 51221 814 35 | 91.321 % | 196.84/196.96 c | 1321 | 6342 104954 137923 | 56343 1321 38 | 91.321 % | 197.23/197.38 c | 2082 | 6342 104954 137923 | 61977 2082 38 | 91.321 % | 197.93/198.01 c | 3221 | 6342 104954 137923 | 68175 3221 39 | 91.321 % | 198.82/198.98 c | 4929 | 6342 104954 137923 | 74992 4929 39 | 91.321 % | 200.33/200.40 c | 7491 | 6342 104954 137923 | 82492 7491 41 | 91.321 % | 202.93/203.09 c | 11336 | 6342 104954 137923 | 90741 11336 44 | 91.321 % | 207.32/207.43 c | 17104 | 6342 104954 137923 | 99815 17104 47 | 91.321 % | 214.82/214.96 c | 25754 | 6327 104954 137923 | 109796 19569 45 | 91.341 % | 228.02/228.15 c | 38729 | 6327 104954 137923 | 120776 32544 47 | 91.341 % | 256.01/256.10 c | 58192 | 6316 104954 137923 | 132854 49333 51 | 91.356 % | 292.41/292.53 c =============================================================================== 292.60/292.75 c core #6 292.60/292.75 c ============================[ Search Statistics ]============================== 292.60/292.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 292.60/292.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 292.60/292.75 c =============================================================================== 292.60/292.75 c | 0 | 6626 105007 138285 | 35002 0 nan | 0.000 % | 292.70/292.80 c | 100 | 6626 105007 138285 | 38502 100 20 | 90.937 % | 292.70/292.87 c | 251 | 6626 105007 138285 | 42352 251 34 | 90.937 % | 292.80/292.98 c | 476 | 6626 105007 138285 | 46588 476 33 | 90.937 % | 293.00/293.12 c | 813 | 6626 105007 138285 | 51246 813 40 | 90.937 % | 293.20/293.37 c | 1319 | 6626 105007 138285 | 56371 1319 39 | 90.937 % | 293.61/293.76 c | 2079 | 6626 105007 138285 | 62008 2079 37 | 90.937 % | 294.10/294.29 c | 3218 | 6626 105007 138285 | 68209 3218 39 | 90.937 % | 295.10/295.24 c | 4926 | 6626 105007 138285 | 75030 4926 38 | 90.937 % | 296.50/296.60 c | 7488 | 6626 105007 138285 | 82533 7488 40 | 90.937 % | 298.90/299.03 c | 11332 | 6626 105007 138285 | 90787 11332 42 | 90.937 % | 303.79/303.90 c | 17098 | 6626 105007 138285 | 99865 17098 46 | 90.937 % | 310.69/310.90 c | 25748 | 6626 105007 138285 | 109852 25748 51 | 90.937 % | 325.19/325.37 c | 38723 | 6615 105007 138285 | 120837 36547 53 | 90.952 % | 352.08/352.21 c | 58185 | 6615 105007 138285 | 132921 56009 52 | 90.952 % | 408.47/408.62 c | 87377 | 6615 105007 138285 | 146213 85201 54 | 90.952 % | 511.75/511.98 c | 131166 | 6610 105007 138285 | 160834 104196 56 | 90.959 % | 729.10/729.34 c | 196850 | 6610 105007 138285 | 176918 169880 61 | 90.959 % | 1102.89/1103.28 c =============================================================================== 1103.38/1103.71 c core #7 1103.38/1103.71 c ============================[ Search Statistics ]============================== 1103.38/1103.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1103.38/1103.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1103.38/1103.71 c =============================================================================== 1103.38/1103.71 c | 0 | 6909 105070 138673 | 35023 0 nan | 0.000 % | 1103.38/1103.76 c | 101 | 6909 105070 138673 | 38525 101 20 | 90.555 % | 1103.49/1103.82 c | 251 | 6909 105070 138673 | 42378 251 27 | 90.555 % | 1103.59/1103.94 c | 478 | 6909 105070 138673 | 46616 478 32 | 90.555 % | 1103.79/1104.12 c | 815 | 6909 105070 138673 | 51277 815 38 | 90.555 % | 1104.10/1104.42 c | 1321 | 6909 105070 138673 | 56405 1321 42 | 90.555 % | 1104.39/1104.72 c | 2081 | 6909 105070 138673 | 62045 2081 40 | 90.555 % | 1104.89/1105.25 c | 3220 | 6909 105070 138673 | 68250 3220 38 | 90.555 % | 1105.69/1106.05 c | 4929 | 6909 105070 138673 | 75075 4929 40 | 90.555 % | 1107.19/1107.57 c | 7491 | 6909 105070 138673 | 82583 7491 40 | 90.555 % | 1109.68/1110.00 c | 11335 | 6909 105070 138673 | 90841 11335 46 | 90.555 % | 1114.39/1114.73 c | 17102 | 6909 105070 138673 | 99925 17102 44 | 90.555 % | 1122.19/1122.55 c | 25753 | 6909 105070 138673 | 109918 25753 49 | 90.555 % | 1136.18/1136.54 c | 38728 | 6909 105070 138673 | 120910 38728 50 | 90.555 % | 1162.77/1163.12 c | 58190 | 6909 105070 138673 | 133001 58190 52 | 90.555 % | 1216.36/1216.75 c | 87385 | 6909 105070 138673 | 146301 87385 56 | 90.555 % | 1337.53/1337.90 c | 131174 | 6909 105070 138673 | 160931 131174 56 | 90.555 % | 1547.96/1548.45 c | 196858 | 6909 105070 138673 | 177024 196858 58 | 90.555 % |
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-2686879-1278443394/watcher-2686879-1278443394 -o /tmp/evaluation-result-2686879-1278443394/solver-2686879-1278443394 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686879-1278443394.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23005 /proc/meminfo: memFree=1440860/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=11128 CPUtime=0 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 329 0 0 0 0 0 0 0 19 0 1 0 12550896 11395072 248 1992294400 134512640 135751879 4286699968 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 2782 248 140 303 0 374 0 [startup+0.0251899 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23005 /proc/meminfo: memFree=1440860/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=12148 CPUtime=0.02 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 580 0 0 0 2 0 0 0 19 0 1 0 12550896 12439552 499 1992294400 134512640 135751879 4286699968 18446744073709551615 134614442 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 3037 499 166 303 0 629 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12148 [startup+0.101195 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23005 /proc/meminfo: memFree=1440860/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=16176 CPUtime=0.09 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 1594 0 0 0 9 0 0 0 19 0 1 0 12550896 16564224 1513 1992294400 134512640 135751879 4286699968 18446744073709551615 134559670 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 4044 1514 284 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16176 [startup+0.301208 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23005 /proc/meminfo: memFree=1440860/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=20448 CPUtime=0.29 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 2935 0 0 0 28 1 0 0 20 0 1 0 12550896 20938752 2821 1992294400 134512640 135751879 4286699968 18446744073709551615 135096350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 5112 2821 590 303 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20448 [startup+0.701234 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23005 /proc/meminfo: memFree=1440860/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=25584 CPUtime=0.69 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 4762 0 0 0 67 2 0 0 20 0 1 0 12550896 26198016 4608 1992294400 134512640 135751879 4286699968 18446744073709551615 135227788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 6396 4608 1199 303 0 3988 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25584 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23006 /proc/meminfo: memFree=1421756/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=37944 CPUtime=1.49 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 8478 0 0 0 146 3 0 0 22 0 1 0 12550896 38854656 8210 1992294400 134512640 135751879 4286699968 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 9486 8210 2098 303 0 7078 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37944 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1391500/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=56156 CPUtime=3.09 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 15394 0 0 0 304 5 0 0 25 0 1 0 12550896 57503744 12798 1992294400 134512640 135751879 4286699968 18446744073709551615 134594792 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 14039 12798 146 303 0 13734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56156 [startup+6.3006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1384432/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=63152 CPUtime=6.28 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 17127 0 0 0 622 6 0 0 25 0 1 0 12550896 64667648 14531 1992294400 134512640 135751879 4286699968 18446744073709551615 134523922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 15788 14531 146 303 0 15483 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 63152 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1374016/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=73052 CPUtime=12.68 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 19620 0 0 0 1261 7 0 0 25 0 1 0 12550896 74805248 17024 1992294400 134512640 135751879 4286699968 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 18263 17024 146 303 0 17958 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 73052 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1358268/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=87572 CPUtime=25.48 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 23245 0 0 0 2539 9 0 0 25 0 1 0 12550896 89673728 20649 1992294400 134512640 135751879 4286699968 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 21893 20649 146 303 0 21588 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87572 [startup+51.1015 s] /proc/loadavg: 1.07 1.02 1.00 2/107 23007 /proc/meminfo: memFree=1338428/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=107372 CPUtime=51.08 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 28203 0 0 0 5096 12 0 0 25 0 1 0 12550896 109948928 25607 1992294400 134512640 135751879 4286699968 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 26843 25607 146 303 0 26538 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107372 [startup+102.309 s] /proc/loadavg: 1.10 1.03 1.00 2/107 23009 /proc/meminfo: memFree=1320696/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=123960 CPUtime=102.26 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 33783 0 0 0 10206 20 0 0 25 0 1 0 12550896 126935040 29876 1992294400 134512640 135751879 4286699968 18446744073709551615 134605627 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 30990 29876 147 303 0 30685 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 123960 [startup+162.301 s] /proc/loadavg: 1.04 1.02 1.00 2/107 23011 /proc/meminfo: memFree=1320696/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=123960 CPUtime=162.24 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 33783 0 0 0 16181 43 0 0 25 0 1 0 12550896 126935040 29876 1992294400 134512640 135751879 4286699968 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 30990 29876 147 303 0 30685 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 123960 [startup+222.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 23012 /proc/meminfo: memFree=1327888/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=115536 CPUtime=222.23 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36829 0 0 0 22153 70 0 0 25 0 1 0 12550896 118308864 28054 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 28884 28054 151 303 0 28579 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 115536 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23014 /proc/meminfo: memFree=1327888/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=115536 CPUtime=282.21 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36829 0 0 0 28136 85 0 0 25 0 1 0 12550896 118308864 28054 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 28884 28054 151 303 0 28579 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 115536 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23015 /proc/meminfo: memFree=1330864/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=111216 CPUtime=342.19 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36932 0 0 0 34111 108 0 0 25 0 1 0 12550896 113885184 27299 1992294400 134512640 135751879 4286699968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 27804 27299 151 303 0 27499 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 111216 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23017 /proc/meminfo: memFree=1330864/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=111216 CPUtime=402.17 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36932 0 0 0 40096 121 0 0 25 0 1 0 12550896 113885184 27299 1992294400 134512640 135751879 4286699968 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 27804 27299 151 303 0 27499 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 111216 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23019 /proc/meminfo: memFree=1330864/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=111216 CPUtime=462.15 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36932 0 0 0 46082 133 0 0 25 0 1 0 12550896 113885184 27299 1992294400 134512640 135751879 4286699968 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 27804 27299 151 303 0 27499 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 111216 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23020 /proc/meminfo: memFree=1330864/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=111216 CPUtime=522.15 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 36932 0 0 0 52069 146 0 0 25 0 1 0 12550896 113885184 27299 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 27804 27299 151 303 0 27499 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 111216 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23025 /proc/meminfo: memFree=1329624/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=112552 CPUtime=582.13 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 37238 0 0 0 58056 157 0 0 25 0 1 0 12550896 115253248 27605 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 28138 27605 151 303 0 27833 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 112552 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23026 /proc/meminfo: memFree=1323672/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=118676 CPUtime=642.12 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 38730 0 0 0 64043 169 0 0 25 0 1 0 12550896 121524224 29097 1992294400 134512640 135751879 4286699968 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 29669 29097 151 303 0 29364 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 118676 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23031 /proc/meminfo: memFree=1308916/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=133492 CPUtime=822.06 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 42414 0 0 0 82006 200 0 0 25 0 1 0 12550896 136695808 32781 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 33373 32781 151 303 0 33068 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 133492 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23033 /proc/meminfo: memFree=1304452/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=137808 CPUtime=882.05 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 43497 0 0 0 87996 209 0 0 25 0 1 0 12550896 141115392 33864 1992294400 134512640 135751879 4286699968 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 34452 33864 151 303 0 34147 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 137808 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23034 /proc/meminfo: memFree=1300112/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=142656 CPUtime=942.03 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 44608 0 0 0 93983 220 0 0 25 0 1 0 12550896 146079744 34975 1992294400 134512640 135751879 4286699968 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 35664 34975 151 303 0 35359 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 142656 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23036 /proc/meminfo: memFree=1294284/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=148348 CPUtime=1002.02 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 46041 0 0 0 99969 233 0 0 25 0 1 0 12550896 151908352 36408 1992294400 134512640 135751879 4286699968 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37087 36408 151 303 0 36782 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 148348 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23038 /proc/meminfo: memFree=1289076/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=153668 CPUtime=1062 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 47361 0 0 0 105956 244 0 0 25 0 1 0 12550896 157356032 37728 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 38417 37728 151 303 0 38112 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 153668 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23039 /proc/meminfo: memFree=1273080/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=170392 CPUtime=1121.99 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 51478 0 0 0 111938 261 0 0 25 0 1 0 12550896 174481408 41536 1992294400 134512640 135751879 4286699968 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 42598 41536 151 303 0 42293 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 170392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23041 /proc/meminfo: memFree=1273080/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=170392 CPUtime=1181.97 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 51480 0 0 0 117917 280 0 0 25 0 1 0 12550896 174481408 41538 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 42598 41538 151 303 0 42293 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 170392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23042 /proc/meminfo: memFree=1273080/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=170392 CPUtime=1241.96 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 51520 0 0 0 123902 294 0 0 25 0 1 0 12550896 174481408 41578 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 42598 41578 151 303 0 42293 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 170392 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23044 /proc/meminfo: memFree=1273080/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=170392 CPUtime=1301.94 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 51530 0 0 0 129890 304 0 0 25 0 1 0 12550896 174481408 41588 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 42598 41588 151 303 0 42293 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 170392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23046 /proc/meminfo: memFree=1269980/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=174108 CPUtime=1361.93 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 52400 0 0 0 135876 317 0 0 25 0 1 0 12550896 178286592 42458 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 43527 42458 151 303 0 43222 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 174108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23047 /proc/meminfo: memFree=1264276/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=179684 CPUtime=1421.91 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 53799 0 0 0 141861 330 0 0 25 0 1 0 12550896 183996416 43857 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 44921 43857 151 303 0 44616 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 179684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23049 /proc/meminfo: memFree=1258696/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=185132 CPUtime=1481.89 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 55195 0 0 0 147846 343 0 0 25 0 1 0 12550896 189575168 45253 1992294400 134512640 135751879 4286699968 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 46283 45253 151 303 0 45978 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 185132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23050 /proc/meminfo: memFree=1253736/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=190436 CPUtime=1541.87 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 56505 0 0 0 153833 354 0 0 25 0 1 0 12550896 195006464 46563 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 47609 46563 151 303 0 47304 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 190436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23052 /proc/meminfo: memFree=1249520/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=195084 CPUtime=1601.86 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 57570 0 0 0 159822 364 0 0 25 0 1 0 12550896 199766016 47628 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 48771 47628 151 303 0 48466 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 195084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23054 /proc/meminfo: memFree=1245180/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=199280 CPUtime=1661.84 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 58637 0 0 0 165808 376 0 0 25 0 1 0 12550896 204062720 48695 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 49820 48695 151 303 0 49515 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 199280 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 23055 /proc/meminfo: memFree=1240840/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=203504 CPUtime=1721.82 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 59718 0 0 0 171796 386 0 0 25 0 1 0 12550896 208388096 49776 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 50876 49776 151 303 0 50571 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 203504 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 23057 /proc/meminfo: memFree=1231416/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=212760 CPUtime=1781.8 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 62036 0 0 0 177776 404 0 0 25 0 1 0 12550896 217866240 52094 1992294400 134512640 135751879 4286699968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 53190 52094 151 303 0 52885 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 212760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 2/107 23057 /proc/meminfo: memFree=1228564/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=215668 CPUtime=1800.11 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 22163 0 -1 4202496 62767 0 0 0 179600 411 0 0 25 0 1 0 12550896 220844032 52825 1992294400 134512640 135751879 4286699968 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 53917 52825 151 303 0 53612 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 215668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.14 CPU user time (s): 1796.01 CPU system time (s): 4.13137 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 215668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.01 system time used= 4.13137 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62767 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= 48 involuntary context switches= 5768 runsolver used 2.80857 second user time and 8.69868 second system time The end
Begin job on node030 at 2010-07-06 21:09:54 IDJOB=2686879 IDBENCH=77110 IDSOLVER=1161 FILE ID=node030/2686879-1278443394 PBS_JOBID= 11233448 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b 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 CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686879-1278443394/watcher-2686879-1278443394 -o /tmp/evaluation-result-2686879-1278443394/solver-2686879-1278443394 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686879-1278443394.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38417c05ad0fa807f5ea2aa87e724f6b RANDOM SEED=891980783 node030.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.217 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.43 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.217 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1441512 kB Buffers: 109092 kB Cached: 374820 kB SwapCached: 0 kB Active: 184704 kB Inactive: 359352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1441512 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11016 kB Writeback: 0 kB AnonPages: 60144 kB Mapped: 14484 kB Slab: 51560 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180744 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2686879-1278443394.opb Free space on /tmp at the end= 62496 MiB End job on node030 at 2010-07-06 21:39:57