Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.06 | 1800.53 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12026_6.std.opb |
MD5SUM | 002a977405549506cf955068ac342d61 |
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 | 196 |
Best CPU time to get the best result obtained on this benchmark | 1800.66 |
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 | 245199 |
Number of constraints which are clauses | 243999 |
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 | 72 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2687046-1278446556.opb. 0.00/0.00 c Instance file HOME/instance-2687046-1278446556.opb 0.00/0.00 c File size is 7603410 bytes. 1.29/1.32 c Highest Coefficient sum: 430 1.29/1.32 c ============================[ Problem Statistics ]============================= 1.29/1.32 c | | 1.29/1.32 c | Parsing time: 1.29 s | 1.29/1.32 c | Number Variables: 72842 | 1.29/1.32 c | Number Clauses: 243999 | 1.29/1.32 c | Number Cardinality: 0 | 1.29/1.32 c | Number PB Constraints: 1200 | 94.97/95.07 c ============================[ Search Statistics ]============================== 94.97/95.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.97/95.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.97/95.07 c =============================================================================== 94.97/95.07 c | 0 | 49899 246549 466979 | 81733 0 nan | 0.000 % | 95.06/95.15 c | 100 | 49899 246549 466979 | 89906 100 35 | 31.497 % | 95.16/95.25 c =============================================================================== 95.16/95.25 c New solution: 300 95.16/95.25 o 300 95.16/95.25 c Elapsed CPU time: 95.1155 s Remaining CPU time: 84.8845 s 95.16/95.25 c =============================================================================== 95.16/95.25 c | 184 | 49899 246550 467279 | 82183 184 26 | 31.497 % | 95.26/95.31 c =============================================================================== 95.26/95.31 c New solution: 299 95.26/95.31 o 299 95.26/95.31 c Elapsed CPU time: 95.1705 s Remaining CPU time: 84.8295 s 95.26/95.31 c =============================================================================== 95.26/95.31 c | 199 | 49778 246551 467579 | 82183 199 25 | 31.497 % | 95.37/95.43 c | 300 | 49772 246551 467579 | 90402 300 27 | 31.847 % | 95.47/95.53 c | 450 | 49644 246551 467579 | 99442 448 29 | 31.847 % | 95.58/95.61 c =============================================================================== 95.58/95.61 c New solution: 298 95.58/95.61 o 298 95.58/95.61 c Elapsed CPU time: 95.4645 s Remaining CPU time: 84.5355 s 95.58/95.61 c =============================================================================== 95.58/95.61 c | 480 | 49644 246552 467879 | 82184 478 28 | 31.847 % | 95.68/95.73 c =============================================================================== 95.68/95.73 c New solution: 297 95.68/95.73 o 297 95.68/95.73 c Elapsed CPU time: 95.5825 s Remaining CPU time: 84.4175 s 95.68/95.73 c =============================================================================== 95.68/95.73 c | 571 | 49499 246553 468179 | 82184 569 27 | 31.847 % | 95.68/95.79 c =============================================================================== 95.68/95.79 c New solution: 296 95.68/95.79 o 296 95.68/95.79 c Elapsed CPU time: 95.6455 s Remaining CPU time: 84.3545 s 95.68/95.79 c =============================================================================== 95.68/95.79 c | 601 | 49346 246554 468479 | 82184 599 27 | 31.847 % | 95.77/95.89 c | 702 | 49183 246554 468479 | 90403 621 25 | 32.480 % | 95.97/96.03 c =============================================================================== 95.97/96.03 c New solution: 295 95.97/96.03 o 295 95.97/96.03 c Elapsed CPU time: 95.8864 s Remaining CPU time: 84.1136 s 95.97/96.03 c =============================================================================== 95.97/96.03 c | 826 | 49183 246555 468779 | 82185 745 25 | 32.480 % | 96.07/96.15 c | 929 | 49178 246555 468779 | 90403 848 26 | 32.733 % | 96.17/96.24 c =============================================================================== 96.17/96.24 c New solution: 294 96.17/96.24 o 294 96.17/96.24 c Elapsed CPU time: 96.0964 s Remaining CPU time: 83.9036 s 96.17/96.24 c =============================================================================== 96.17/96.24 c | 953 | 48999 246556 469079 | 82185 856 26 | 32.733 % | 96.27/96.34 c | 1055 | 48995 246556 469079 | 90403 958 26 | 32.996 % | 96.36/96.40 c =============================================================================== 96.36/96.40 c New solution: 293 96.36/96.40 o 293 96.36/96.40 c Elapsed CPU time: 96.2574 s Remaining CPU time: 83.7426 s 96.36/96.40 c =============================================================================== 96.36/96.40 c | 1064 | 48807 246557 469379 | 82185 967 26 | 32.996 % | 96.36/96.47 c =============================================================================== 96.36/96.47 c New solution: 292 96.36/96.47 o 292 96.36/96.47 c Elapsed CPU time: 96.3264 s Remaining CPU time: 83.6736 s 96.36/96.47 c =============================================================================== 96.36/96.47 c | 1074 | 48609 246558 469679 | 82186 977 26 | 32.996 % | 96.46/96.54 c =============================================================================== 96.46/96.54 c New solution: 291 96.46/96.54 o 291 96.46/96.54 c Elapsed CPU time: 96.3933 s Remaining CPU time: 83.6067 s 96.46/96.54 c =============================================================================== 96.46/96.54 c | 1090 | 48387 246559 469979 | 82186 993 26 | 32.996 % | 96.56/96.64 c =============================================================================== 96.56/96.64 c New solution: 290 96.56/96.64 o 290 96.56/96.64 c Elapsed CPU time: 96.4933 s Remaining CPU time: 83.5067 s 96.56/96.64 c =============================================================================== 96.56/96.64 c | 1175 | 48154 246560 470279 | 82186 1078 26 | 32.996 % | 96.67/96.76 c | 1275 | 47912 246560 470279 | 90405 982 25 | 34.225 % | 96.77/96.81 c =============================================================================== 96.77/96.81 c New solution: 289 96.77/96.81 o 289 96.77/96.81 c Elapsed CPU time: 96.6643 s Remaining CPU time: 83.3357 s 96.77/96.81 c =============================================================================== 96.77/96.81 c | 1294 | 47912 246561 470579 | 82187 1001 25 | 34.225 % | 96.77/96.89 c =============================================================================== 96.77/96.89 c New solution: 288 96.77/96.89 o 288 96.77/96.89 c Elapsed CPU time: 96.7413 s Remaining CPU time: 83.2587 s 96.77/96.89 c =============================================================================== 96.77/96.89 c | 1356 | 47670 246562 470879 | 82187 1063 25 | 34.225 % | 96.86/96.98 c | 1456 | 47666 246562 470879 | 90406 1163 25 | 34.889 % | 96.96/97.08 c =============================================================================== 96.96/97.08 c New solution: 287 96.96/97.08 o 287 96.96/97.08 c Elapsed CPU time: 96.9273 s Remaining CPU time: 83.0727 s 96.96/97.08 c =============================================================================== 96.96/97.08 c | 1517 | 47428 246563 471179 | 82187 1224 25 | 34.889 % | 97.06/97.16 c =============================================================================== 97.06/97.16 c New solution: 286 97.06/97.16 o 286 97.06/97.16 c Elapsed CPU time: 97.0083 s Remaining CPU time: 82.9917 s 97.06/97.16 c =============================================================================== 97.06/97.16 c | 1540 | 47186 246564 471479 | 82188 1090 24 | 34.889 % | 97.16/97.27 c =============================================================================== 97.16/97.27 c New solution: 285 97.16/97.27 o 285 97.16/97.27 c Elapsed CPU time: 97.1222 s Remaining CPU time: 82.8778 s 97.16/97.27 c =============================================================================== 97.16/97.27 c | 1601 | 46944 246565 471779 | 82188 1151 24 | 34.889 % | 97.27/97.33 c =============================================================================== 97.27/97.33 c New solution: 284 97.27/97.33 o 284 97.27/97.33 c Elapsed CPU time: 97.1732 s Remaining CPU time: 82.8268 s 97.27/97.33 c =============================================================================== 97.27/97.33 c | 1604 | 46702 246566 472079 | 82188 1154 23 | 34.889 % | 97.27/97.38 c =============================================================================== 97.27/97.38 c New solution: 283 97.27/97.38 o 283 97.27/97.38 c Elapsed CPU time: 97.2262 s Remaining CPU time: 82.7738 s 97.27/97.38 c =============================================================================== 97.27/97.38 c | 1612 | 46460 246567 472379 | 82189 1162 23 | 34.889 % | 97.37/97.44 c =============================================================================== 97.37/97.44 c New solution: 282 97.37/97.44 o 282 97.37/97.44 c Elapsed CPU time: 97.2902 s Remaining CPU time: 82.7098 s 97.37/97.44 c =============================================================================== 97.37/97.44 c | 1628 | 46218 246568 472679 | 82189 1178 23 | 34.889 % | 97.47/97.54 c | 1730 | 46212 246568 472679 | 90408 1280 23 | 36.883 % | 97.57/97.65 c =============================================================================== 97.57/97.65 c New solution: 281 97.57/97.65 o 281 97.57/97.65 c Elapsed CPU time: 97.4942 s Remaining CPU time: 82.5058 s 97.57/97.65 c =============================================================================== 97.57/97.65 c | 1775 | 45976 246569 472979 | 82189 1126 23 | 36.883 % | 97.67/97.75 c =============================================================================== 97.67/97.75 c New solution: 280 97.67/97.75 o 280 97.67/97.75 c Elapsed CPU time: 97.5922 s Remaining CPU time: 82.4078 s 97.67/97.75 c =============================================================================== 97.67/97.75 c | 1853 | 45734 246570 473279 | 82190 1204 22 | 36.883 % | 97.77/97.84 c | 1954 | 45726 246570 473279 | 90409 1305 22 | 37.547 % | 97.87/97.92 c =============================================================================== 97.87/97.92 c New solution: 279 97.87/97.92 o 279 97.87/97.92 c Elapsed CPU time: 97.7601 s Remaining CPU time: 82.2399 s 97.87/97.92 c =============================================================================== 97.87/97.92 c | 2013 | 45492 246571 473579 | 82190 1364 22 | 37.547 % | 97.97/98.00 c | 2113 | 45250 246571 473579 | 90409 1338 23 | 37.879 % | 98.07/98.16 c | 2263 | 45250 246571 473579 | 99450 1488 24 | 37.879 % | 98.16/98.29 c =============================================================================== 98.16/98.29 c New solution: 278 98.16/98.29 o 278 98.16/98.29 c Elapsed CPU time: 98.1361 s Remaining CPU time: 81.8639 s 98.16/98.29 c =============================================================================== 98.16/98.29 c | 2415 | 45250 246572 473879 | 82190 1640 25 | 37.879 % | 98.26/98.35 c =============================================================================== 98.26/98.35 c New solution: 277 98.26/98.35 o 277 98.26/98.35 c Elapsed CPU time: 98.1971 s Remaining CPU time: 81.8029 s 98.26/98.35 c =============================================================================== 98.26/98.35 c | 2423 | 45008 246573 474179 | 82191 1613 25 | 37.879 % | 98.36/98.41 c =============================================================================== 98.36/98.41 c New solution: 276 98.36/98.41 o 276 98.36/98.41 c Elapsed CPU time: 98.2561 s Remaining CPU time: 81.7439 s 98.36/98.41 c =============================================================================== 98.36/98.41 c | 2434 | 44766 246574 474479 | 82191 1624 25 | 37.879 % | 98.36/98.47 c =============================================================================== 98.36/98.47 c New solution: 275 98.36/98.47 o 275 98.36/98.47 c Elapsed CPU time: 98.3071 s Remaining CPU time: 81.6929 s 98.36/98.47 c =============================================================================== 98.36/98.47 c | 2438 | 44524 246575 474779 | 82191 1628 25 | 37.879 % | 98.46/98.52 c =============================================================================== 98.46/98.52 c New solution: 274 98.46/98.52 o 274 98.46/98.52 c Elapsed CPU time: 98.361 s Remaining CPU time: 81.639 s 98.46/98.52 c =============================================================================== 98.46/98.52 c | 2446 | 44282 246576 475079 | 82192 1636 24 | 37.879 % | 98.56/98.61 c =============================================================================== 98.56/98.61 c New solution: 273 98.56/98.61 o 273 98.56/98.61 c Elapsed CPU time: 98.449 s Remaining CPU time: 81.551 s 98.56/98.61 c =============================================================================== 98.56/98.61 c | 2501 | 44040 246577 475379 | 82192 1691 25 | 37.879 % | 98.66/98.74 c | 2601 | 44034 246577 475379 | 90411 1791 25 | 39.873 % | 98.76/98.81 c | 2752 | 44023 246577 475379 | 99452 1942 26 | 39.873 % | 98.87/98.91 c | 2978 | 43798 246577 475379 | 109397 1802 25 | 39.873 % | 99.17/99.21 c | 3315 | 43798 246577 475379 | 120337 2139 26 | 39.873 % | 99.27/99.34 c =============================================================================== 99.27/99.34 c New solution: 272 99.27/99.34 o 272 99.27/99.34 c Elapsed CPU time: 99.1749 s Remaining CPU time: 80.8251 s 99.27/99.34 c =============================================================================== 99.27/99.34 c | 3438 | 43798 246578 475679 | 82192 2262 26 | 39.873 % | 99.37/99.44 c | 3540 | 43556 246578 475679 | 90411 2316 26 | 40.205 % | 99.46/99.53 c | 3692 | 43556 246578 475679 | 99453 2468 26 | 40.205 % | 99.56/99.68 c | 3917 | 43556 246578 475679 | 109398 2693 27 | 40.205 % | 99.86/99.95 c | 4254 | 43556 246578 475679 | 120338 3030 27 | 40.205 % | 100.07/100.17 c =============================================================================== 100.07/100.17 c New solution: 271 100.07/100.17 o 271 100.07/100.17 c Elapsed CPU time: 99.9968 s Remaining CPU time: 80.0032 s 100.07/100.17 c =============================================================================== 100.07/100.17 c | 4489 | 43556 246579 475979 | 82193 3265 28 | 40.205 % | 100.17/100.29 c | 4589 | 43314 246579 475979 | 90412 3278 28 | 40.537 % | 100.27/100.36 c =============================================================================== 100.27/100.36 c New solution: 270 100.27/100.36 o 270 100.27/100.36 c Elapsed CPU time: 100.183 s Remaining CPU time: 79.8172 s 100.27/100.36 c =============================================================================== 100.27/100.36 c | 4612 | 43314 246580 476279 | 82193 3301 28 | 40.537 % | 100.37/100.42 c =============================================================================== 100.37/100.42 c New solution: 269 100.37/100.42 o 269 100.37/100.42 c Elapsed CPU time: 100.247 s Remaining CPU time: 79.7532 s 100.37/100.42 c =============================================================================== 100.37/100.42 c | 4620 | 43072 246581 476579 | 82193 3309 28 | 40.537 % | 100.37/100.49 c =============================================================================== 100.37/100.49 c New solution: 268 100.37/100.49 o 268 100.37/100.49 c Elapsed CPU time: 100.315 s Remaining CPU time: 79.6853 s 100.37/100.49 c =============================================================================== 100.37/100.49 c | 4645 | 42830 246582 476879 | 82194 3334 28 | 40.537 % | 100.47/100.55 c =============================================================================== 100.47/100.55 c New solution: 267 100.47/100.55 o 267 100.47/100.55 c Elapsed CPU time: 100.379 s Remaining CPU time: 79.6213 s 100.47/100.55 c =============================================================================== 100.47/100.55 c | 4658 | 42588 246583 477179 | 82194 3347 28 | 40.537 % | 100.57/100.62 c =============================================================================== 100.57/100.62 c New solution: 266 100.57/100.62 o 266 100.57/100.62 c Elapsed CPU time: 100.45 s Remaining CPU time: 79.5503 s 100.57/100.62 c =============================================================================== 100.57/100.62 c | 4678 | 42346 246584 477479 | 82194 3367 28 | 40.537 % | 100.57/100.69 c =============================================================================== 100.57/100.69 c New solution: 265 100.57/100.69 o 265 100.57/100.69 c Elapsed CPU time: 100.512 s Remaining CPU time: 79.4883 s 100.57/100.69 c =============================================================================== 100.57/100.69 c | 4702 | 42104 246585 477779 | 82195 3391 27 | 40.537 % | 100.67/100.76 c | 4803 | 42102 246585 477779 | 90414 3492 27 | 42.530 % | 100.87/100.90 c | 4954 | 41862 246585 477779 | 99455 3011 26 | 42.530 % | 100.87/100.97 c =============================================================================== 100.87/100.97 c New solution: 264 100.87/100.97 o 264 100.87/100.97 c Elapsed CPU time: 100.796 s Remaining CPU time: 79.2043 s 100.87/100.97 c =============================================================================== 100.87/100.97 c | 4980 | 41862 246586 478079 | 82195 3037 25 | 42.530 % | 100.97/101.04 c | 5080 | 41828 246586 478079 | 90414 3137 25 | 42.863 % | 101.07/101.16 c | 5232 | 41826 246586 478079 | 99456 3289 25 | 42.863 % | 101.17/101.24 c =============================================================================== 101.17/101.24 c New solution: 263 101.17/101.24 o 263 101.17/101.24 c Elapsed CPU time: 101.061 s Remaining CPU time: 78.9394 s 101.17/101.24 c =============================================================================== 101.17/101.24 c | 5260 | 41620 246587 478379 | 82195 3173 25 | 42.863 % | 101.26/101.33 c =============================================================================== 101.26/101.33 c New solution: 262 101.26/101.33 o 262 101.26/101.33 c Elapsed CPU time: 101.153 s Remaining CPU time: 78.8474 s 101.26/101.33 c =============================================================================== 101.26/101.33 c | 5321 | 41378 246588 478679 | 82196 3234 25 | 42.863 % | 101.36/101.42 c =============================================================================== 101.36/101.42 c New solution: 261 101.36/101.42 o 261 101.36/101.42 c Elapsed CPU time: 101.244 s Remaining CPU time: 78.7564 s 101.36/101.42 c =============================================================================== 101.36/101.42 c | 5371 | 41136 246589 478979 | 82196 3284 25 | 42.863 % | 101.46/101.50 c =============================================================================== 101.46/101.50 c New solution: 260 101.46/101.50 o 260 101.46/101.50 c Elapsed CPU time: 101.325 s Remaining CPU time: 78.6754 s 101.46/101.50 c =============================================================================== 101.46/101.50 c | 5399 | 40894 246590 479279 | 82196 3312 25 | 42.863 % | 101.46/101.58 c =============================================================================== 101.46/101.58 c New solution: 259 101.46/101.58 o 259 101.46/101.58 c Elapsed CPU time: 101.399 s Remaining CPU time: 78.6014 s 101.46/101.58 c =============================================================================== 101.46/101.58 c | 5438 | 40652 246591 479579 | 82197 3351 25 | 42.863 % | 101.66/101.71 c | 5538 | 40649 246591 479579 | 90416 3451 25 | 44.524 % | 101.86/101.92 c | 5688 | 40410 246591 479579 | 99458 2936 23 | 44.524 % | 101.86/101.98 c =============================================================================== 101.86/101.98 c New solution: 258 101.86/101.98 o 258 101.86/101.98 c Elapsed CPU time: 101.797 s Remaining CPU time: 78.2035 s 101.86/101.98 c =============================================================================== 101.86/101.98 c | 5702 | 40410 246592 479879 | 82197 2950 23 | 44.524 % | 101.96/102.05 c =============================================================================== 101.96/102.05 c New solution: 257 101.96/102.05 o 257 101.96/102.05 c Elapsed CPU time: 101.871 s Remaining CPU time: 78.1295 s 101.96/102.05 c =============================================================================== 101.96/102.05 c | 5738 | 40168 246593 480179 | 82197 2986 23 | 44.524 % | 102.06/102.13 c | 5838 | 40166 246593 480179 | 90417 3086 23 | 45.188 % | 102.17/102.25 c =============================================================================== 102.17/102.25 c New solution: 256 102.17/102.25 o 256 102.17/102.25 c Elapsed CPU time: 102.069 s Remaining CPU time: 77.9305 s 102.17/102.25 c =============================================================================== 102.17/102.25 c | 5932 | 39926 246594 480479 | 82198 2912 23 | 45.188 % | 102.28/102.35 c | 6034 | 39921 246594 480479 | 90417 3014 23 | 45.520 % | 102.47/102.52 c | 6185 | 39908 246594 480479 | 99459 3165 24 | 45.520 % | 102.57/102.61 c =============================================================================== 102.57/102.61 c New solution: 255 102.57/102.61 o 255 102.57/102.61 c Elapsed CPU time: 102.424 s Remaining CPU time: 77.5756 s 102.57/102.61 c =============================================================================== 102.57/102.61 c | 6217 | 39684 246595 480779 | 82198 3048 23 | 45.520 % | 102.57/102.67 c =============================================================================== 102.57/102.67 c New solution: 254 102.57/102.67 o 254 102.57/102.67 c Elapsed CPU time: 102.482 s Remaining CPU time: 77.5176 s 102.57/102.67 c =============================================================================== 102.57/102.67 c | 6234 | 39442 246596 481079 | 82198 3065 23 | 45.520 % | 102.66/102.73 c | 6335 | 39440 246596 481079 | 90418 3166 23 | 46.185 % | 102.76/102.84 c | 6486 | 39436 246596 481079 | 99460 3317 23 | 46.185 % | 102.86/102.92 c =============================================================================== 102.86/102.92 c New solution: 253 102.86/102.92 o 253 102.86/102.92 c Elapsed CPU time: 102.728 s Remaining CPU time: 77.2716 s 102.86/102.92 c =============================================================================== 102.86/102.92 c | 6517 | 39200 246597 481379 | 82199 3348 23 | 46.185 % | 102.86/102.97 c =============================================================================== 102.86/102.97 c New solution: 252 102.86/102.97 o 252 102.86/102.97 c Elapsed CPU time: 102.788 s Remaining CPU time: 77.2116 s 102.86/102.98 c =============================================================================== 102.86/102.98 c | 6525 | 38958 246598 481679 | 82199 3356 23 | 46.185 % | 102.96/103.03 c =============================================================================== 102.96/103.03 c New solution: 251 102.96/103.03 o 251 102.96/103.03 c Elapsed CPU time: 102.847 s Remaining CPU time: 77.1526 s 102.96/103.03 c =============================================================================== 102.96/103.03 c | 6540 | 38716 246599 481979 | 82199 2885 22 | 46.185 % | 102.96/103.09 c =============================================================================== 102.96/103.09 c New solution: 250 102.96/103.09 o 250 102.96/103.09 c Elapsed CPU time: 102.901 s Remaining CPU time: 77.0986 s 102.96/103.09 c =============================================================================== 102.96/103.09 c | 6552 | 38474 246600 482279 | 82200 2897 22 | 46.185 % | 103.06/103.19 c | 6653 | 38471 246600 482279 | 90420 2998 23 | 47.514 % | 103.16/103.25 c =============================================================================== 103.16/103.25 c New solution: 249 103.16/103.25 o 249 103.16/103.25 c Elapsed CPU time: 103.058 s Remaining CPU time: 76.9417 s 103.16/103.25 c =============================================================================== 103.16/103.25 c | 6669 | 38232 246601 482579 | 82200 3014 23 | 47.514 % | 103.27/103.31 c =============================================================================== 103.27/103.31 c New solution: 248 103.27/103.31 o 248 103.27/103.31 c Elapsed CPU time: 103.116 s Remaining CPU time: 76.8837 s 103.27/103.31 c =============================================================================== 103.27/103.31 c | 6681 | 37990 246602 482879 | 82200 3026 22 | 47.514 % | 103.27/103.39 c | 6783 | 37986 246602 482879 | 90420 3128 23 | 48.178 % | 103.37/103.47 c =============================================================================== 103.37/103.47 c New solution: 247 103.37/103.47 o 247 103.37/103.47 c Elapsed CPU time: 103.274 s Remaining CPU time: 76.7257 s 103.37/103.47 c =============================================================================== 103.37/103.47 c | 6799 | 37748 246603 483179 | 82201 3144 23 | 48.178 % | 103.46/103.53 c =============================================================================== 103.46/103.53 c New solution: 246 103.46/103.53 o 246 103.46/103.53 c Elapsed CPU time: 103.344 s Remaining CPU time: 76.6557 s 103.46/103.53 c =============================================================================== 103.46/103.53 c | 6809 | 37506 246604 483479 | 82201 2613 22 | 48.178 % | 103.56/103.62 c =============================================================================== 103.56/103.62 c New solution: 245 103.56/103.62 o 245 103.56/103.62 c Elapsed CPU time: 103.424 s Remaining CPU time: 76.5757 s 103.56/103.62 c =============================================================================== 103.56/103.62 c | 6889 | 37264 246605 483779 | 82201 2693 22 | 48.178 % | 103.56/103.69 c | 6989 | 37259 246605 483779 | 90421 2793 22 | 49.175 % | 103.66/103.79 c =============================================================================== 103.66/103.79 c New solution: 244 103.66/103.79 o 244 103.66/103.79 c Elapsed CPU time: 103.6 s Remaining CPU time: 76.3997 s 103.66/103.79 c =============================================================================== 103.66/103.79 c | 7035 | 37022 246606 484079 | 82202 2839 22 | 49.175 % | 103.76/103.87 c =============================================================================== 103.76/103.87 c New solution: 243 103.76/103.87 o 243 103.76/103.87 c Elapsed CPU time: 103.678 s Remaining CPU time: 76.3218 s 103.76/103.87 c =============================================================================== 103.76/103.87 c | 7065 | 36780 246607 484379 | 82202 2869 22 | 49.175 % | 103.86/103.94 c =============================================================================== 103.86/103.94 c New solution: 242 103.86/103.94 o 242 103.86/103.94 c Elapsed CPU time: 103.745 s Remaining CPU time: 76.2548 s 103.86/103.94 c =============================================================================== 103.86/103.94 c | 7102 | 36538 246608 484679 | 82202 2906 22 | 49.175 % | 103.96/104.03 c =============================================================================== 103.96/104.03 c New solution: 241 103.96/104.03 o 241 103.96/104.03 c Elapsed CPU time: 103.84 s Remaining CPU time: 76.1598 s 103.96/104.03 c =============================================================================== 103.96/104.03 c | 7171 | 36296 246609 484979 | 82203 2575 21 | 49.175 % | 104.06/104.11 c | 7271 | 36248 246609 484979 | 90423 2675 22 | 50.504 % | 104.06/104.19 c =============================================================================== 104.06/104.19 c New solution: 240 104.06/104.19 o 240 104.06/104.19 c Elapsed CPU time: 103.994 s Remaining CPU time: 76.0058 s 104.06/104.19 c =============================================================================== 104.06/104.19 c | 7327 | 36054 246610 485279 | 82203 2731 22 | 50.504 % | 104.27/104.30 c =============================================================================== 104.27/104.30 c New solution: 239 104.27/104.30 o 239 104.27/104.30 c Elapsed CPU time: 104.107 s Remaining CPU time: 75.8928 s 104.27/104.30 c =============================================================================== 104.27/104.30 c | 7423 | 35812 246611 485579 | 82203 2827 22 | 50.504 % | 104.27/104.38 c =============================================================================== 104.27/104.38 c New solution: 238 104.27/104.38 o 238 104.27/104.38 c Elapsed CPU time: 104.182 s Remaining CPU time: 75.8178 s 104.27/104.38 c =============================================================================== 104.27/104.38 c | 7480 | 35570 246612 485879 | 82204 2884 22 | 50.504 % | 104.37/104.46 c | 7580 | 35550 246612 485879 | 90424 2984 22 | 51.501 % | 104.56/104.61 c | 7731 | 35328 246612 485879 | 99466 2814 23 | 51.501 % | 104.56/104.68 c =============================================================================== 104.56/104.68 c New solution: 237 104.56/104.68 o 237 104.56/104.68 c Elapsed CPU time: 104.477 s Remaining CPU time: 75.5229 s 104.56/104.68 c =============================================================================== 104.56/104.68 c | 7771 | 35328 246613 486179 | 82204 2854 22 | 51.501 % | 104.66/104.74 c =============================================================================== 104.66/104.74 c New solution: 236 104.66/104.74 o 236 104.66/104.74 c Elapsed CPU time: 104.54 s Remaining CPU time: 75.4599 s 104.66/104.74 c =============================================================================== 104.66/104.74 c | 7798 | 35086 246614 486479 | 82204 2881 22 | 51.501 % | 104.76/104.82 c | 7900 | 35080 246614 486479 | 90425 2983 23 | 52.165 % | 104.76/104.90 c =============================================================================== 104.76/104.90 c New solution: 235 104.76/104.90 o 235 104.76/104.90 c Elapsed CPU time: 104.695 s Remaining CPU time: 75.3049 s 104.76/104.90 c =============================================================================== 104.76/104.90 c | 7951 | 34844 246615 486779 | 82205 3034 23 | 52.165 % | 104.86/104.98 c | 8051 | 34833 246615 486779 | 90425 3134 23 | 52.497 % | 104.96/105.04 c =============================================================================== 104.96/105.04 c New solution: 234 104.96/105.04 o 234 104.96/105.04 c Elapsed CPU time: 104.839 s Remaining CPU time: 75.1609 s 104.96/105.04 c =============================================================================== 104.96/105.04 c | 8059 | 34602 246616 487079 | 82205 2836 22 | 52.497 % | 105.06/105.12 c | 8160 | 34537 246616 487079 | 90425 2937 22 | 52.829 % | 105.16/105.26 c | 8311 | 34537 246616 487079 | 99468 3088 22 | 52.829 % | 105.26/105.32 c =============================================================================== 105.26/105.32 c New solution: 233 105.26/105.32 o 233 105.26/105.32 c Elapsed CPU time: 105.118 s Remaining CPU time: 74.882 s 105.26/105.32 c =============================================================================== 105.26/105.32 c | 8323 | 34360 246617 487379 | 82205 3100 22 | 52.829 % | 105.26/105.39 c | 8424 | 34332 246617 487379 | 90426 3201 22 | 53.162 % | 105.36/105.48 c | 8575 | 34331 246617 487379 | 99468 3352 22 | 53.162 % | 105.47/105.57 c =============================================================================== 105.47/105.57 c New solution: 232 105.47/105.57 o 232 105.47/105.57 c Elapsed CPU time: 105.368 s Remaining CPU time: 74.632 s 105.47/105.57 c =============================================================================== 105.47/105.57 c | 8618 | 34118 246618 487679 | 82206 3151 22 | 53.162 % | 105.57/105.62 c =============================================================================== 105.57/105.62 c New solution: 231 105.57/105.62 o 231 105.57/105.62 c Elapsed CPU time: 105.423 s Remaining CPU time: 74.577 s 105.57/105.62 c =============================================================================== 105.57/105.62 c | 8629 | 33876 246619 487979 | 82206 3162 21 | 53.162 % | 105.66/105.73 c | 8731 | 33870 246619 487979 | 90426 3264 22 | 53.826 % | 105.66/105.78 c =============================================================================== 105.66/105.78 c New solution: 230 105.66/105.78 o 230 105.66/105.78 c Elapsed CPU time: 105.58 s Remaining CPU time: 74.4201 s 105.66/105.78 c =============================================================================== 105.66/105.78 c | 8740 | 33634 246620 488279 | 82206 3273 22 | 53.826 % | 105.76/105.84 c =============================================================================== 105.76/105.84 c New solution: 229 105.76/105.84 o 229 105.76/105.84 c Elapsed CPU time: 105.635 s Remaining CPU time: 74.3651 s 105.76/105.84 c =============================================================================== 105.76/105.84 c | 8754 | 33392 246621 488579 | 82207 3287 22 | 53.826 % | 105.86/105.90 c =============================================================================== 105.86/105.90 c New solution: 228 105.86/105.90 o 228 105.86/105.90 c Elapsed CPU time: 105.695 s Remaining CPU time: 74.3051 s 105.86/105.90 c =============================================================================== 105.86/105.90 c | 8796 | 33150 246622 488879 | 82207 3329 22 | 53.826 % | 105.86/105.98 c | 8896 | 33145 246622 488879 | 90428 3429 22 | 54.823 % | 105.96/106.06 c =============================================================================== 105.96/106.06 c New solution: 227 105.96/106.06 o 227 105.96/106.06 c Elapsed CPU time: 105.859 s Remaining CPU time: 74.1411 s 105.96/106.06 c =============================================================================== 105.96/106.06 c | 8989 | 32908 246623 489179 | 82207 3522 23 | 54.823 % | 106.06/106.18 c | 9089 | 32666 246623 489179 | 90428 2783 22 | 55.155 % | 106.16/106.26 c =============================================================================== 106.16/106.26 c New solution: 226 106.16/106.26 o 226 106.16/106.26 c Elapsed CPU time: 106.058 s Remaining CPU time: 73.9421 s 106.16/106.26 c =============================================================================== 106.16/106.26 c | 9149 | 32666 246624 489479 | 82208 2843 22 | 55.155 % | 106.27/106.33 c | 9249 | 32655 246624 489479 | 90428 2943 22 | 55.487 % | 106.37/106.45 c | 9399 | 32647 246624 489479 | 99471 3093 23 | 55.487 % | 106.67/106.72 c | 9625 | 32642 246624 489479 | 109418 3319 24 | 55.487 % | 106.67/106.79 c =============================================================================== 106.67/106.79 c New solution: 225 106.67/106.79 o 225 106.67/106.79 c Elapsed CPU time: 106.58 s Remaining CPU time: 73.4202 s 106.67/106.79 c =============================================================================== 106.67/106.79 c | 9658 | 32424 246625 489779 | 82208 3265 24 | 55.487 % | 106.76/106.85 c =============================================================================== 106.76/106.85 c New solution: 224 106.76/106.85 o 224 106.76/106.85 c Elapsed CPU time: 106.64 s Remaining CPU time: 73.3602 s 106.76/106.85 c =============================================================================== 106.76/106.85 c | 9686 | 32182 246626 490079 | 82208 3293 24 | 55.487 % | 106.86/106.93 c | 9787 | 32178 246626 490079 | 90429 3394 24 | 56.152 % | 107.06/107.10 c | 9939 | 32166 246626 490079 | 99472 3546 25 | 56.152 % | 107.06/107.16 c =============================================================================== 107.06/107.16 c New solution: 223 107.06/107.16 o 223 107.06/107.16 c Elapsed CPU time: 106.948 s Remaining CPU time: 73.0523 s 107.06/107.16 c =============================================================================== 107.06/107.16 c | 9974 | 31940 246627 490379 | 82209 3581 24 | 56.152 % | 107.16/107.22 c | 10075 | 31933 246627 490379 | 90429 3682 25 | 56.484 % | 107.26/107.32 c | 10225 | 31698 246627 490379 | 99472 3379 23 | 56.484 % | 107.26/107.39 c =============================================================================== 107.26/107.39 c New solution: 222 107.26/107.39 o 222 107.26/107.39 c Elapsed CPU time: 107.18 s Remaining CPU time: 72.8203 s 107.26/107.39 c =============================================================================== 107.26/107.39 c | 10260 | 31698 246628 490679 | 82209 3414 23 | 56.484 % | 107.36/107.47 c =============================================================================== 107.36/107.47 c New solution: 221 107.36/107.47 o 221 107.36/107.47 c Elapsed CPU time: 107.252 s Remaining CPU time: 72.7483 s 107.36/107.47 c =============================================================================== 107.36/107.47 c | 10327 | 31456 246629 490979 | 82209 3481 23 | 56.484 % | 107.46/107.53 c | 10427 | 31451 246629 490979 | 90430 3581 23 | 57.148 % | 107.56/107.64 c =============================================================================== 107.56/107.64 c New solution: 220 107.56/107.64 o 220 107.56/107.64 c Elapsed CPU time: 107.422 s Remaining CPU time: 72.5783 s 107.56/107.64 c =============================================================================== 107.56/107.64 c | 10482 | 31214 246630 491279 | 82210 3636 23 | 57.148 % | 107.56/107.69 c | 10582 | 31189 246630 491279 | 90431 3736 23 | 57.481 % | 107.67/107.78 c | 10732 | 30972 246630 491279 | 99474 3422 22 | 57.481 % | 107.97/108.03 c | 10957 | 30972 246630 491279 | 109421 3647 22 | 57.481 % | 107.97/108.08 c =============================================================================== 107.97/108.08 c New solution: 219 107.97/108.08 o 219 107.97/108.08 c Elapsed CPU time: 107.87 s Remaining CPU time: 72.1304 s 107.97/108.08 c =============================================================================== 107.97/108.08 c | 10980 | 30972 246631 491579 | 82210 3670 22 | 57.481 % | 108.07/108.15 c =============================================================================== 108.07/108.15 c New solution: 218 108.07/108.15 o 218 108.07/108.15 c Elapsed CPU time: 107.937 s Remaining CPU time: 72.0634 s 108.07/108.15 c =============================================================================== 108.07/108.15 c | 11013 | 30700 246632 491879 | 82210 3703 22 | 57.481 % | 108.17/108.28 c | 11113 | 30464 246632 491879 | 90431 3546 22 | 58.178 % | 108.37/108.40 c | 11263 | 30464 246632 491879 | 99474 3696 23 | 58.178 % | 108.37/108.48 c =============================================================================== 108.37/108.48 c New solution: 217 108.37/108.48 o 217 108.37/108.48 c Elapsed CPU time: 108.268 s Remaining CPU time: 71.7325 s 108.37/108.48 c =============================================================================== 108.37/108.48 c | 11321 | 30464 246633 492179 | 82211 3754 23 | 58.178 % | 108.47/108.58 c | 11422 | 30455 246633 492179 | 90432 3855 23 | 58.502 % | 108.57/108.64 c =============================================================================== 108.57/108.64 c New solution: 216 108.57/108.64 o 216 108.57/108.64 c Elapsed CPU time: 108.423 s Remaining CPU time: 71.5775 s 108.57/108.64 c =============================================================================== 108.57/108.64 c | 11462 | 30228 246634 492479 | 82211 3753 23 | 58.502 % | 108.66/108.71 c | 11562 | 30204 246634 492479 | 90432 3853 23 | 58.826 % | 108.77/108.90 c | 11713 | 30201 246634 492479 | 99475 4004 23 | 58.826 % | 108.87/108.95 c =============================================================================== 108.87/108.95 c New solution: 215 108.87/108.95 o 215 108.87/108.95 c Elapsed CPU time: 108.732 s Remaining CPU time: 71.2675 s 108.87/108.95 c =============================================================================== 108.87/108.95 c | 11733 | 29992 246635 492779 | 82211 4024 23 | 58.826 % | 108.96/109.01 c | 11833 | 29983 246635 492779 | 90432 4124 23 | 59.150 % | 109.06/109.15 c | 11983 | 29978 246635 492779 | 99476 4274 24 | 59.150 % | 109.16/109.27 c | 12209 | 29756 246635 492779 | 109423 4202 24 | 59.150 % | 109.46/109.51 c | 12547 | 29756 246635 492779 | 120366 4540 24 | 59.150 % | 109.96/110.03 c | 13054 | 29756 246635 492779 | 132402 5047 26 | 59.150 % | 109.96/110.09 c =============================================================================== 109.96/110.09 c New solution: 214 109.96/110.09 o 214 109.96/110.09 c Elapsed CPU time: 109.859 s Remaining CPU time: 70.1407 s 109.96/110.09 c =============================================================================== 109.96/110.09 c | 13074 | 29756 246636 493079 | 82212 5067 26 | 59.150 % | 110.06/110.14 c | 13174 | 29520 246636 493079 | 90433 4976 25 | 59.474 % | 110.16/110.29 c | 13324 | 29520 246636 493079 | 99476 5126 25 | 59.474 % | 110.36/110.40 c | 13549 | 29520 246636 493079 | 109424 5351 25 | 59.474 % | 110.56/110.60 c | 13886 | 29520 246636 493079 | 120366 5688 25 | 59.474 % | 110.76/110.81 c =============================================================================== 110.76/110.81 c New solution: 213 110.76/110.81 o 213 110.76/110.81 c Elapsed CPU time: 110.578 s Remaining CPU time: 69.4218 s 110.76/110.81 c =============================================================================== 110.76/110.81 c | 14330 | 29520 246637 493379 | 82212 6132 26 | 59.474 % | 110.86/110.94 c | 14431 | 29278 246637 493379 | 90433 6070 26 | 59.806 % | 110.97/111.03 c | 14583 | 29278 246637 493379 | 99476 6222 26 | 59.806 % | 111.16/111.25 c | 14808 | 29278 246637 493379 | 109424 6447 26 | 59.806 % | 111.26/111.34 c =============================================================================== 111.26/111.34 c New solution: 212 111.26/111.34 o 212 111.26/111.34 c Elapsed CPU time: 111.107 s Remaining CPU time: 68.8929 s 111.26/111.34 c =============================================================================== 111.26/111.34 c | 14895 | 29278 246638 493679 | 82212 6534 26 | 59.806 % | 111.36/111.41 c | 14995 | 29036 246638 493679 | 90433 6357 26 | 60.138 % | 111.47/111.50 c | 15145 | 29036 246638 493679 | 99477 6507 25 | 60.138 % | 111.66/111.78 c | 15371 | 29036 246638 493679 | 109425 6733 26 | 60.138 % | 111.86/111.94 c =============================================================================== 111.86/111.94 c New solution: 211 111.86/111.94 o 211 111.86/111.94 c Elapsed CPU time: 111.701 s Remaining CPU time: 68.299 s 111.86/111.94 c =============================================================================== 111.86/111.94 c | 15471 | 29004 246639 493979 | 82213 6833 26 | 60.138 % | 111.96/112.03 c | 15571 | 28778 246639 493979 | 90434 6677 26 | 60.493 % | 112.07/112.16 c | 15721 | 28778 246639 493979 | 99477 6827 26 | 60.493 % | 112.17/112.27 c | 15946 | 28778 246639 493979 | 109425 7052 26 | 60.493 % | 112.46/112.54 c | 16285 | 28778 246639 493979 | 120368 7391 26 | 60.493 % | 112.96/113.08 c | 16793 | 28778 246639 493979 | 132404 7899 28 | 60.493 % | 113.17/113.23 c =============================================================================== 113.17/113.23 c New solution: 210 113.17/113.23 o 210 113.17/113.23 c Elapsed CPU time: 112.993 s Remaining CPU time: 67.0072 s 113.17/113.23 c =============================================================================== 113.17/113.23 c | 16929 | 28778 246640 494279 | 82213 8035 27 | 60.493 % | 113.27/113.31 c | 17029 | 28552 246640 494279 | 90434 7910 27 | 60.803 % | 113.36/113.46 c | 17181 | 28552 246640 494279 | 99478 8062 27 | 60.803 % | 113.46/113.59 c | 17407 | 28552 246640 494279 | 109425 8288 27 | 60.803 % | 113.86/113.92 c | 17744 | 28552 246640 494279 | 120368 8625 28 | 60.803 % | 114.27/114.37 c | 18250 | 28552 246640 494279 | 132405 9131 28 | 60.803 % | 115.06/115.18 c | 19009 | 28552 246640 494279 | 145645 9890 29 | 60.803 % | 115.47/115.58 c | 20149 | 28552 246640 494279 | 160210 11030 30 | 60.803 % | 117.36/117.40 c | 21860 | 28552 246640 494279 | 176231 12741 33 | 60.803 % | 117.46/117.51 c =============================================================================== 117.46/117.51 c New solution: 209 117.46/117.51 o 209 117.46/117.51 c Elapsed CPU time: 117.251 s Remaining CPU time: 62.7488 s 117.46/117.51 c =============================================================================== 117.46/117.51 c | 21957 | 28552 246641 494579 | 82213 12838 33 | 60.803 % | 117.57/117.61 c | 22058 | 28310 246641 494579 | 90435 12562 33 | 61.135 % | 117.67/117.76 c | 22208 | 28310 246641 494579 | 99478 12712 33 | 61.135 % | 117.76/117.88 c | 22434 | 28310 246641 494579 | 109426 12938 33 | 61.135 % | 118.06/118.12 c | 22771 | 28310 246641 494579 | 120369 13275 33 | 61.135 % | 118.56/118.68 c | 23277 | 28310 246641 494579 | 132405 13781 33 | 61.135 % | 118.76/118.86 c =============================================================================== 118.76/118.86 c New solution: 208 118.76/118.86 o 208 118.76/118.86 c Elapsed CPU time: 118.595 s Remaining CPU time: 61.405 s 118.76/118.86 c =============================================================================== 118.76/118.86 c | 23646 | 28310 246642 494879 | 82214 14150 33 | 61.135 % | 118.95/119.00 c | 23748 | 28068 246642 494879 | 90435 13900 33 | 61.467 % | 118.95/119.08 c =============================================================================== 118.95/119.08 c New solution: 207 118.95/119.08 o 207 118.95/119.08 c Elapsed CPU time: 118.81 s Remaining CPU time: 61.1901 s 118.95/119.08 c =============================================================================== 118.95/119.08 c | 23795 | 28068 246643 495179 | 82214 13947 33 | 61.467 % | 119.05/119.15 c | 23896 | 28054 246643 495179 | 90435 14048 32 | 61.800 % | 119.26/119.32 c | 24046 | 28051 246643 495179 | 99479 14198 32 | 61.800 % | 119.36/119.43 c | 24271 | 28036 246643 495179 | 109427 14423 32 | 61.800 % | 119.56/119.67 c | 24609 | 28036 246643 495179 | 120370 14761 32 | 61.800 % | 119.87/119.97 c | 25115 | 27826 246643 495179 | 132407 15026 33 | 61.800 % | 120.76/120.80 c | 25875 | 27826 246643 495179 | 145647 15786 33 | 61.800 % | 121.36/121.46 c | 27015 | 27826 246643 495179 | 160212 16926 34 | 61.800 % | 123.16/123.25 c | 28725 | 27802 246643 495179 | 176233 18631 38 | 61.832 % | 123.36/123.41 c =============================================================================== 123.36/123.41 c New solution: 206 123.36/123.41 o 206 123.36/123.41 c Elapsed CPU time: 123.119 s Remaining CPU time: 56.8807 s 123.36/123.41 c =============================================================================== 123.36/123.41 c | 28897 | 27802 246644 495479 | 82214 18803 38 | 61.832 % | 123.46/123.53 c | 28997 | 27566 246644 495479 | 90436 18481 38 | 62.156 % | 123.56/123.64 c | 29148 | 27566 246644 495479 | 99479 18632 38 | 62.156 % | 123.86/123.92 c | 29373 | 27566 246644 495479 | 109427 18857 38 | 62.156 % | 124.06/124.11 c | 29710 | 27566 246644 495479 | 120370 19194 38 | 62.156 % | 124.56/124.62 c | 30217 | 27566 246644 495479 | 132407 19701 38 | 62.156 % | 124.96/125.08 c | 30977 | 27566 246644 495479 | 145648 20461 38 | 62.156 % | 126.66/126.71 c | 32117 | 27566 246644 495479 | 160213 21601 38 | 62.156 % | 128.67/128.73 c | 33825 | 27566 246644 495479 | 176234 23309 38 | 62.156 % | 129.86/129.95 c | 36388 | 27566 246644 495479 | 193857 25872 38 | 62.156 % | 134.35/134.43 c | 40232 | 27566 246644 495479 | 213243 29716 40 | 62.156 % | 135.95/136.05 c =============================================================================== 135.95/136.05 c New solution: 205 135.95/136.05 o 205 135.95/136.05 c Elapsed CPU time: 135.716 s Remaining CPU time: 44.2836 s 135.95/136.05 c =============================================================================== 135.95/136.05 c | 43865 | 27566 246645 495779 | 82215 33349 39 | 62.156 % | 136.05/136.19 c | 43965 | 27330 246645 495779 | 90436 32708 39 | 62.480 % | 136.26/136.36 c | 44115 | 27330 246645 495779 | 99480 32858 39 | 62.480 % | 136.45/136.53 c | 44340 | 27330 246645 495779 | 109428 33083 39 | 62.480 % | 136.75/136.82 c =============================================================================== 136.75/136.82 c New solution: 204 136.75/136.82 o 204 136.75/136.82 c Elapsed CPU time: 136.476 s Remaining CPU time: 43.5237 s 136.75/136.82 c =============================================================================== 136.75/136.82 c | 44618 | 27330 246646 496079 | 82215 33361 39 | 62.480 % | 136.95/137.01 c | 44719 | 27322 246646 496079 | 90436 33462 39 | 62.804 % | 137.05/137.15 c | 44869 | 27310 246646 496079 | 99480 33612 39 | 62.804 % | 137.25/137.36 c | 45097 | 27309 246646 496079 | 109428 33840 39 | 62.804 % | 137.66/137.78 c | 45435 | 27298 246646 496079 | 120371 34178 39 | 62.804 % | 138.26/138.30 c | 45941 | 27094 246646 496079 | 132408 33867 37 | 62.804 % | 138.95/139.02 c | 46700 | 27094 246646 496079 | 145649 34626 37 | 62.804 % | 140.35/140.44 c | 47840 | 27094 246646 496079 | 160214 35766 37 | 62.804 % | 142.86/142.99 c | 49548 | 27094 246646 496079 | 176235 37474 38 | 62.804 % | 143.25/143.36 c =============================================================================== 143.25/143.36 c New solution: 203 143.25/143.36 o 203 143.25/143.36 c Elapsed CPU time: 142.999 s Remaining CPU time: 37.0007 s 143.25/143.36 c =============================================================================== 143.25/143.36 c | 49997 | 27094 246647 496379 | 82215 37923 38 | 62.804 % | 143.45/143.50 c | 50099 | 26842 246647 496379 | 90437 36940 37 | 63.230 % | 143.56/143.64 c | 50249 | 26842 246647 496379 | 99480 37090 37 | 63.230 % | 143.86/143.97 c | 50474 | 26842 246647 496379 | 109429 37315 37 | 63.230 % | 144.16/144.22 c | 50812 | 26842 246647 496379 | 120371 37653 37 | 63.230 % | 144.75/144.85 c | 51318 | 26842 246647 496379 | 132409 38159 37 | 63.230 % | 145.35/145.49 c | 52077 | 26842 246647 496379 | 145650 38918 37 | 63.230 % | 146.75/146.80 c | 53216 | 26784 246647 496379 | 160215 40011 37 | 63.230 % | 146.85/146.94 c =============================================================================== 146.85/146.94 c New solution: 202 146.85/146.94 o 202 146.85/146.94 c Elapsed CPU time: 146.571 s Remaining CPU time: 33.4293 s 146.85/146.94 c =============================================================================== 146.85/146.94 c | 53283 | 26784 246648 496679 | 82216 40078 37 | 63.230 % | 146.95/147.03 c | 53383 | 26783 246648 496679 | 90437 40178 37 | 63.527 % | 147.05/147.15 c | 53533 | 26773 246648 496679 | 99481 40328 37 | 63.527 % | 147.26/147.34 c | 53760 | 26767 246648 496679 | 109429 40555 37 | 63.527 % | 147.75/147.86 c | 54097 | 26568 246648 496679 | 120372 39836 37 | 63.527 % | 148.15/148.28 c | 54605 | 26568 246648 496679 | 132409 40344 37 | 63.527 % | 149.25/149.37 c | 55365 | 26568 246648 496679 | 145650 41104 37 | 63.527 % | 151.15/151.25 c | 56507 | 26568 246648 496679 | 160215 42246 37 | 63.527 % | 152.76/152.87 c | 58216 | 26568 246648 496679 | 176237 43955 37 | 63.527 % | 154.55/154.66 c | 60780 | 26568 246648 496679 | 193861 46519 38 | 63.527 % | 160.04/160.12 c | 64624 | 26568 246648 496679 | 213247 50363 40 | 63.527 % | 160.45/160.57 c =============================================================================== 160.45/160.57 c New solution: 201 160.45/160.57 o 201 160.45/160.57 c Elapsed CPU time: 160.15 s Remaining CPU time: 19.8503 s 160.45/160.57 c =============================================================================== 160.45/160.57 c | 65172 | 26568 246649 496979 | 82216 50911 40 | 63.527 % | 160.65/160.76 c | 65273 | 26338 246649 496979 | 90437 49717 39 | 63.842 % | 160.85/160.97 c | 65424 | 26338 246649 496979 | 99481 49868 39 | 63.842 % | 161.05/161.19 c | 65649 | 26338 246649 496979 | 109429 50093 39 | 63.842 % | 161.44/161.60 c | 65986 | 26338 246649 496979 | 120372 50430 39 | 63.842 % | 162.05/162.12 c | 66492 | 26338 246649 496979 | 132410 50936 39 | 63.842 % | 163.25/163.31 c | 67251 | 26338 246649 496979 | 145651 51695 39 | 63.842 % | 164.05/164.16 c | 68391 | 26338 246649 496979 | 160216 52835 39 | 63.842 % | 166.55/166.69 c | 70099 | 26338 246649 496979 | 176238 54543 40 | 63.842 % | 168.75/168.87 c | 72661 | 26338 246649 496979 | 193861 57105 40 | 63.842 % | 175.24/175.33 c | 76505 | 26338 246649 496979 | 213247 60949 41 | 63.842 % | 180.35/180.49 c There are 46504 assigned variables. 221 in cost function. 182.75/182.85 c core #1 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 157 Core Weight: 122 Total Weight: 122 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #2 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 270 Core Weight: 1 Total Weight: 123 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #3 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 283 Core Weight: 1 Total Weight: 124 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #4 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 288 Core Weight: 1 Total Weight: 125 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #5 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 231 Core Weight: 1 Total Weight: 126 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #6 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 224 Core Weight: 1 Total Weight: 127 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #7 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 221 Core Weight: 1 Total Weight: 128 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #8 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 259 Core Weight: 1 Total Weight: 129 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #9 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 223 Core Weight: 1 Total Weight: 130 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #10 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 239 Core Weight: 1 Total Weight: 131 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #11 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 230 Core Weight: 1 Total Weight: 132 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c core #12 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c Core size: 264 Core Weight: 1 Total Weight: 133 182.75/182.85 c 182.75/182.85 c 182.75/182.85 c ============================[ Search Statistics ]============================== 182.75/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.75/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.75/182.85 c =============================================================================== 182.75/182.85 c | 0 | 9819 124941 194081 | 41647 0 nan | 0.000 % | 182.75/182.87 c =============================================================================== 182.94/183.05 c core #13 182.94/183.05 c 182.94/183.05 c 182.94/183.05 c Core size: 327 Core Weight: 1 Total Weight: 134 182.94/183.05 c 182.94/183.05 c 182.94/183.05 c ============================[ Search Statistics ]============================== 182.94/183.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.05 c =============================================================================== 182.94/183.05 c | 0 | 10249 125009 194391 | 41669 0 nan | 0.000 % | 182.94/183.06 c =============================================================================== 183.14/183.25 c core #14 183.14/183.25 c 183.14/183.25 c 183.14/183.25 c Core size: 360 Core Weight: 1 Total Weight: 135 183.14/183.25 c 183.14/183.25 c 183.14/183.25 c ============================[ Search Statistics ]============================== 183.14/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.25 c =============================================================================== 183.14/183.25 c | 0 | 10589 125076 194694 | 41692 0 nan | 0.000 % | 183.14/183.26 c =============================================================================== 183.35/183.44 c core #15 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 295 Core Weight: 1 Total Weight: 136 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c ============================[ Search Statistics ]============================== 183.35/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.44 c =============================================================================== 183.35/183.44 c | 0 | 11000 125141 195009 | 41713 0 nan | 0.000 % | 183.35/183.46 c =============================================================================== 183.55/183.64 c core #16 183.55/183.64 c 183.55/183.64 c 183.55/183.64 c Core size: 315 Core Weight: 1 Total Weight: 137 183.55/183.64 c 183.55/183.64 c 183.55/183.64 c ============================[ Search Statistics ]============================== 183.55/183.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.64 c =============================================================================== 183.55/183.64 c | 0 | 11521 125205 195316 | 41735 0 nan | 0.000 % | 183.55/183.66 c =============================================================================== 183.74/183.84 c core #17 183.74/183.84 c 183.74/183.84 c 183.74/183.84 c Core size: 305 Core Weight: 1 Total Weight: 138 183.74/183.84 c 183.74/183.84 c 183.74/183.84 c ============================[ Search Statistics ]============================== 183.74/183.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.84 c =============================================================================== 183.74/183.84 c | 0 | 11826 125269 195630 | 41756 0 nan | 0.000 % | 183.74/183.87 c =============================================================================== 183.95/184.05 c core #18 183.95/184.05 c 183.95/184.05 c 183.95/184.05 c Core size: 349 Core Weight: 1 Total Weight: 139 183.95/184.05 c 183.95/184.05 c 183.95/184.05 c ============================[ Search Statistics ]============================== 183.95/184.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.95/184.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.95/184.05 c =============================================================================== 183.95/184.05 c | 0 | 12524 125331 195943 | 41777 0 nan | 0.000 % | 184.05/184.10 c =============================================================================== 184.14/184.28 c core #19 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 369 Core Weight: 1 Total Weight: 140 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c ============================[ Search Statistics ]============================== 184.14/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.28 c =============================================================================== 184.14/184.28 c | 0 | 12846 125392 196250 | 41797 0 nan | 0.000 % | 184.24/184.32 c =============================================================================== 184.44/184.50 c core #20 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 312 Core Weight: 1 Total Weight: 141 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c ============================[ Search Statistics ]============================== 184.44/184.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.51 c =============================================================================== 184.44/184.51 c | 0 | 13474 125453 196558 | 41817 0 nan | 0.000 % | 184.44/184.59 c =============================================================================== 184.65/184.77 c core #21 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c Core size: 434 Core Weight: 1 Total Weight: 142 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c ============================[ Search Statistics ]============================== 184.65/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.77 c =============================================================================== 184.65/184.77 c | 0 | 13787 125513 196849 | 41837 0 nan | 0.000 % | 184.75/184.88 c =============================================================================== 184.94/185.07 c core #22 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 384 Core Weight: 1 Total Weight: 143 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c ============================[ Search Statistics ]============================== 184.94/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.07 c =============================================================================== 184.94/185.07 c | 0 | 14087 125572 197136 | 41857 0 nan | 0.000 % | 185.04/185.18 c | 100 | 14086 125572 197136 | 46043 100 15 | 83.586 % | 185.15/185.22 c =============================================================================== 185.34/185.41 c core #23 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c Core size: 383 Core Weight: 1 Total Weight: 144 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c ============================[ Search Statistics ]============================== 185.34/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.41 c =============================================================================== 185.34/185.41 c | 0 | 14386 125631 197425 | 41877 0 nan | 0.000 % | 185.44/185.52 c | 100 | 14386 125631 197425 | 46064 100 15 | 80.666 % | 185.54/185.60 c =============================================================================== 185.65/185.79 c core #24 185.65/185.79 c 185.65/185.79 c 185.65/185.79 c Core size: 303 Core Weight: 1 Total Weight: 145 185.65/185.79 c 185.65/185.79 c 185.65/185.79 c ============================[ Search Statistics ]============================== 185.65/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.79 c =============================================================================== 185.65/185.79 c | 0 | 14684 125689 197716 | 41896 0 nan | 0.000 % | 185.85/185.90 c | 100 | 14684 125689 197716 | 46085 100 15 | 80.280 % | 185.95/186.01 c =============================================================================== 186.14/186.20 c core #25 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c Core size: 586 Core Weight: 1 Total Weight: 146 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c ============================[ Search Statistics ]============================== 186.14/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.20 c =============================================================================== 186.14/186.20 c | 0 | 14981 125745 198003 | 41915 0 nan | 0.000 % | 186.24/186.31 c | 100 | 14981 125745 198003 | 46106 100 14 | 80.005 % | 186.24/186.38 c =============================================================================== 186.44/186.57 c core #26 186.44/186.57 c 186.44/186.57 c 186.44/186.57 c Core size: 346 Core Weight: 1 Total Weight: 147 186.44/186.57 c 186.44/186.57 c 186.44/186.57 c ============================[ Search Statistics ]============================== 186.44/186.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.57 c =============================================================================== 186.44/186.57 c | 0 | 15277 125801 198292 | 41933 0 nan | 0.000 % | 186.54/186.67 c | 101 | 15277 125801 198292 | 46127 101 14 | 79.513 % | 186.74/186.81 c | 252 | 15089 125801 198292 | 50739 242 15 | 80.706 % | 186.74/186.83 c =============================================================================== 186.95/187.02 c core #27 186.95/187.02 c 186.95/187.02 c 186.95/187.02 c Core size: 579 Core Weight: 1 Total Weight: 148 186.95/187.02 c 186.95/187.02 c 186.95/187.02 c ============================[ Search Statistics ]============================== 186.95/187.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.02 c =============================================================================== 186.95/187.02 c | 0 | 15572 125858 198577 | 41952 0 nan | 0.000 % | 187.04/187.16 c | 102 | 15572 125858 198577 | 46147 102 18 | 79.133 % | 187.25/187.31 c | 254 | 15572 125858 198577 | 50762 254 25 | 79.133 % | 187.35/187.47 c =============================================================================== 187.54/187.66 c core #28 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c Core size: 437 Core Weight: 1 Total Weight: 149 187.54/187.66 c 187.54/187.66 c 187.54/187.66 c ============================[ Search Statistics ]============================== 187.54/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.66 c =============================================================================== 187.54/187.66 c | 0 | 15866 125914 198860 | 41971 0 nan | 0.000 % | 187.64/187.77 c | 100 | 15866 125914 198860 | 46168 100 17 | 78.754 % | 187.84/187.92 c | 250 | 15864 125914 198860 | 50785 250 21 | 79.217 % | 188.05/188.12 c | 475 | 15505 125914 198860 | 55863 469 22 | 80.212 % | 188.05/188.19 c =============================================================================== 188.24/188.38 c core #29 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c Core size: 358 Core Weight: 1 Total Weight: 150 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c ============================[ Search Statistics ]============================== 188.24/188.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.38 c =============================================================================== 188.24/188.38 c | 0 | 16159 125967 199144 | 41989 0 nan | 0.000 % | 188.34/188.47 c | 100 | 16159 125967 199144 | 46187 100 17 | 78.376 % | 188.54/188.62 c | 250 | 15751 125967 199144 | 50806 239 20 | 78.922 % | 188.74/188.81 c | 478 | 15713 125967 199144 | 55887 459 19 | 79.010 % | 189.15/189.21 c | 815 | 15679 125967 199144 | 61476 795 22 | 79.115 % | 189.15/189.26 c =============================================================================== 189.34/189.45 c core #30 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c Core size: 328 Core Weight: 1 Total Weight: 151 189.34/189.45 c 189.34/189.45 c 189.34/189.45 c ============================[ Search Statistics ]============================== 189.34/189.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.45 c =============================================================================== 189.34/189.45 c | 0 | 16451 126024 199433 | 42008 0 nan | 0.000 % | 189.44/189.56 c | 102 | 16451 126024 199433 | 46208 102 13 | 78.000 % | 189.64/189.70 c | 252 | 16451 126024 199433 | 50829 252 18 | 78.000 % | 189.84/189.90 c | 477 | 16451 126024 199433 | 55912 477 22 | 78.000 % | 190.15/190.22 c | 814 | 16451 126024 199433 | 61503 814 24 | 78.000 % | 190.54/190.68 c | 1320 | 16240 126024 199433 | 67654 1122 23 | 78.282 % | 190.64/190.75 c =============================================================================== 190.84/190.94 c core #31 190.84/190.94 c 190.84/190.94 c 190.84/190.94 c Core size: 266 Core Weight: 1 Total Weight: 152 190.84/190.94 c 190.84/190.94 c 190.84/190.94 c ============================[ Search Statistics ]============================== 190.84/190.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.94 c =============================================================================== 190.84/190.94 c | 0 | 16742 126084 199743 | 42028 0 nan | 0.000 % | 190.94/191.04 c | 101 | 16742 126084 199743 | 46230 101 16 | 77.625 % | 191.04/191.18 c | 251 | 16661 126084 199743 | 50853 250 17 | 77.734 % | 191.34/191.41 c | 477 | 16660 126084 199743 | 55939 476 24 | 77.827 % | 191.64/191.71 c | 815 | 16591 126084 199743 | 61533 813 23 | 77.827 % | 192.14/192.21 c | 1321 | 16320 126084 199743 | 67686 1293 28 | 78.189 % | 192.84/192.99 c | 2081 | 15423 126084 199743 | 74455 1231 25 | 79.388 % | 193.04/193.14 c =============================================================================== 193.24/193.33 c core #32 193.24/193.33 c 193.24/193.33 c 193.24/193.33 c Core size: 371 Core Weight: 1 Total Weight: 153 193.24/193.33 c 193.24/193.33 c 193.24/193.33 c ============================[ Search Statistics ]============================== 193.24/193.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.24/193.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.24/193.33 c =============================================================================== 193.24/193.33 c | 0 | 17032 126138 200025 | 42046 0 nan | 0.000 % | 193.34/193.40 c | 100 | 17032 126138 200025 | 46250 100 15 | 77.252 % | 193.45/193.54 c | 250 | 17032 126138 200025 | 50875 250 19 | 77.252 % | 193.64/193.80 c | 476 | 17032 126138 200025 | 55963 476 26 | 77.252 % | 193.94/194.08 c | 814 | 17032 126138 200025 | 61559 814 27 | 77.252 % | 194.44/194.53 c | 1321 | 17032 126138 200025 | 67715 1321 26 | 77.252 % | 195.14/195.20 c | 2081 | 16678 126138 200025 | 74487 2048 28 | 77.725 % | 196.14/196.29 c | 3220 | 16474 126138 200025 | 81935 3001 29 | 77.998 % | 197.95/198.02 c =============================================================================== 198.14/198.21 c core #33 198.14/198.21 c 198.14/198.21 c 198.14/198.21 c Core size: 459 Core Weight: 1 Total Weight: 154 198.14/198.21 c 198.14/198.21 c 198.14/198.21 c ============================[ Search Statistics ]============================== 198.14/198.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.14/198.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.14/198.21 c =============================================================================== 198.14/198.21 c | 0 | 17321 126203 200347 | 42067 0 nan | 0.000 % | 198.23/198.31 c | 101 | 17321 126203 200347 | 46274 101 16 | 76.881 % | 198.33/198.47 c | 251 | 16965 126203 200347 | 50901 215 19 | 77.378 % | 198.54/198.69 c | 478 | 16889 126203 200347 | 55992 410 22 | 77.458 % | 198.95/199.08 c | 815 | 16889 126203 200347 | 61591 747 28 | 77.458 % | 199.44/199.51 c | 1321 | 16889 126203 200347 | 67750 1253 26 | 77.458 % | 200.24/200.30 c | 2080 | 16889 126203 200347 | 74525 2012 27 | 77.458 % | 201.34/201.48 c | 3219 | 16889 126203 200347 | 81977 3151 29 | 77.458 % | 203.23/203.38 c | 4928 | 14889 126203 200347 | 90175 1534 20 | 80.127 % | 203.34/203.42 c =============================================================================== 203.54/203.61 c core #34 203.54/203.61 c 203.54/203.61 c 203.54/203.61 c Core size: 429 Core Weight: 1 Total Weight: 155 203.54/203.61 c 203.54/203.61 c 203.54/203.61 c ============================[ Search Statistics ]============================== 203.54/203.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.54/203.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.54/203.61 c =============================================================================== 203.54/203.61 c | 0 | 17609 126264 200657 | 42088 0 nan | 0.000 % | 203.64/203.71 c | 100 | 17609 126264 200657 | 46296 100 13 | 76.511 % | 203.74/203.86 c | 251 | 17251 126264 200657 | 50926 210 17 | 76.989 % | 203.84/203.98 c | 476 | 17251 126264 200657 | 56019 435 17 | 76.989 % | 204.14/204.29 c | 814 | 17251 126264 200657 | 61621 773 25 | 76.989 % | 204.63/204.73 c | 1321 | 17251 126264 200657 | 67783 1280 26 | 76.989 % | 205.34/205.43 c | 2080 | 17251 126264 200657 | 74561 2039 27 | 76.989 % | 206.44/206.52 c | 3219 | 17251 126264 200657 | 82017 3178 31 | 76.989 % | 208.13/208.24 c | 4928 | 17251 126264 200657 | 90219 4887 33 | 76.989 % | 210.93/211.01 c | 7491 | 17125 126264 200657 | 99241 7176 37 | 77.557 % | 211.34/211.48 c =============================================================================== 211.54/211.66 c core #35 211.54/211.66 c 211.54/211.66 c 211.54/211.66 c Core size: 430 Core Weight: 1 Total Weight: 156 211.54/211.66 c 211.54/211.66 c 211.54/211.66 c ============================[ Search Statistics ]============================== 211.54/211.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.54/211.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.54/211.67 c =============================================================================== 211.54/211.67 c | 0 | 17896 126318 200944 | 42106 0 nan | 0.000 % | 211.63/211.78 c | 103 | 17896 126318 200944 | 46316 103 21 | 76.142 % | 211.83/211.93 c | 253 | 17896 126318 200944 | 50948 253 21 | 76.142 % | 212.03/212.12 c | 478 | 17896 126318 200944 | 56043 478 24 | 76.142 % | 212.34/212.41 c | 816 | 17896 126318 200944 | 61647 816 26 | 76.142 % | 212.84/212.91 c | 1324 | 17510 126318 200944 | 67812 1232 28 | 76.657 % | 213.44/213.52 c | 2084 | 17510 126318 200944 | 74593 1992 28 | 76.657 % | 214.44/214.59 c | 3223 | 17510 126318 200944 | 82052 3131 32 | 76.657 % | 216.44/216.53 c | 4931 | 17491 126318 200944 | 90257 4838 32 | 76.682 % | 219.54/219.60 c | 7493 | 17491 126318 200944 | 99283 7400 34 | 76.682 % | 223.53/223.61 c =============================================================================== 223.63/223.80 c core #36 223.63/223.80 c 223.63/223.80 c 223.63/223.80 c Core size: 310 Core Weight: 1 Total Weight: 157 223.63/223.80 c 223.63/223.80 c 223.63/223.80 c ============================[ Search Statistics ]============================== 223.63/223.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.63/223.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.63/223.80 c =============================================================================== 223.63/223.80 c | 0 | 18182 126389 201293 | 42129 0 nan | 0.000 % | 223.83/223.90 c | 100 | 18182 126389 201293 | 46342 100 14 | 75.775 % | 223.93/224.02 c | 250 | 18182 126389 201293 | 50976 250 18 | 75.775 % | 224.13/224.21 c | 475 | 18182 126389 201293 | 56074 475 23 | 75.775 % | 224.43/224.54 c | 813 | 18182 126389 201293 | 61682 813 29 | 75.775 % | 224.94/225.00 c | 1319 | 18182 126389 201293 | 67850 1319 29 | 75.775 % | 225.53/225.69 c | 2078 | 18182 126389 201293 | 74635 2078 31 | 75.775 % | 226.73/226.83 c | 3221 | 17979 126389 201293 | 82098 3220 34 | 76.046 % | 228.33/228.41 c | 4931 | 17979 126389 201293 | 90308 4930 34 | 76.046 % | 231.13/231.26 c | 7493 | 17953 126389 201293 | 99339 7491 36 | 76.081 % | 235.63/235.72 c | 11337 | 17953 126389 201293 | 109273 11335 37 | 76.081 % | 241.53/241.67 c =============================================================================== 241.73/241.85 c core #37 241.73/241.85 c 241.73/241.85 c 241.73/241.85 c Core size: 481 Core Weight: 1 Total Weight: 158 241.73/241.85 c 241.73/241.85 c 241.73/241.85 c ============================[ Search Statistics ]============================== 241.73/241.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.73/241.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.73/241.85 c =============================================================================== 241.73/241.85 c | 0 | 18467 126477 201687 | 42159 0 nan | 0.000 % | 241.83/241.97 c | 100 | 18467 126477 201687 | 46374 100 14 | 75.410 % | 241.94/242.06 c | 250 | 18467 126477 201687 | 51012 250 21 | 75.410 % | 242.13/242.30 c | 476 | 18467 126477 201687 | 56113 476 24 | 75.410 % | 242.53/242.61 c | 814 | 18467 126477 201687 | 61724 814 27 | 75.410 % | 242.93/243.10 c | 1320 | 18467 126477 201687 | 67897 1320 30 | 75.410 % | 243.62/243.75 c | 2080 | 18467 126477 201687 | 74687 2080 29 | 75.410 % | 244.73/244.90 c | 3219 | 18467 126477 201687 | 82155 3219 30 | 75.410 % | 246.23/246.36 c | 4927 | 18467 126477 201687 | 90371 4927 30 | 75.410 % | 248.82/248.91 c | 7490 | 18467 126477 201687 | 99408 7490 34 | 75.410 % | 253.32/253.45 c | 11334 | 18386 126477 201687 | 109349 11333 35 | 75.518 % | 260.72/260.84 c | 17100 | 17043 126477 201687 | 120284 13593 34 | 77.306 % | 272.81/272.96 c | 25752 | 16986 126477 201687 | 132313 20558 37 | 77.397 % | 276.22/276.36 c =============================================================================== 276.41/276.56 c core #38 276.41/276.56 c 276.41/276.56 c 276.41/276.56 c Core size: 391 Core Weight: 1 Total Weight: 159 276.41/276.56 c 276.41/276.56 c 276.41/276.56 c ============================[ Search Statistics ]============================== 276.41/276.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.41/276.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.41/276.56 c =============================================================================== 276.41/276.56 c | 0 | 18751 126555 202060 | 42185 0 nan | 0.000 % | 276.52/276.67 c | 101 | 18751 126555 202060 | 46403 101 18 | 75.046 % | 276.72/276.81 c | 251 | 18751 126555 202060 | 51043 251 22 | 75.046 % | 276.82/276.96 c | 478 | 18751 126555 202060 | 56148 478 22 | 75.046 % | 277.13/277.26 c | 816 | 18751 126555 202060 | 61763 816 28 | 75.046 % | 277.62/277.73 c | 1322 | 18385 126555 202060 | 67939 1082 27 | 75.533 % | 278.12/278.27 c | 2081 | 18385 126555 202060 | 74733 1841 31 | 75.533 % | 279.12/279.23 c | 3220 | 18355 126555 202060 | 82206 2979 34 | 75.573 % | 280.72/280.84 c | 4929 | 18355 126555 202060 | 90427 4688 33 | 75.573 % | 283.63/283.77 c | 7494 | 18355 126555 202060 | 99470 7253 36 | 75.573 % | 288.03/288.15 c | 11339 | 18355 126555 202060 | 109417 11098 40 | 75.573 % | 295.72/295.80 c | 17109 | 18355 126555 202060 | 120358 16868 44 | 75.573 % | 308.21/308.35 c =============================================================================== 308.41/308.53 c core #39 308.41/308.53 c 308.41/308.53 c 308.41/308.53 c Core size: 401 Core Weight: 1 Total Weight: 160 308.41/308.53 c 308.41/308.53 c 308.41/308.53 c ============================[ Search Statistics ]============================== 308.41/308.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 308.41/308.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 308.41/308.53 c =============================================================================== 308.41/308.53 c | 0 | 19034 126667 202521 | 42222 0 nan | 0.000 % | 308.51/308.64 c | 101 | 19034 126667 202521 | 46444 101 15 | 74.683 % | 308.61/308.75 c | 251 | 19034 126667 202521 | 51089 251 17 | 74.683 % | 308.81/308.95 c | 476 | 19034 126667 202521 | 56197 476 20 | 74.683 % | 309.11/309.25 c | 815 | 19034 126667 202521 | 61817 815 22 | 74.683 % | 309.61/309.71 c | 1322 | 19034 126667 202521 | 67999 1322 25 | 74.683 % | 310.41/310.57 c | 2084 | 19034 126667 202521 | 74799 2084 29 | 74.683 % | 311.51/311.63 c | 3224 | 19034 126667 202521 | 82279 3224 31 | 74.683 % | 313.31/313.48 c | 4932 | 18666 126667 202521 | 90507 3777 29 | 75.172 % | 316.00/316.17 c | 7494 | 18662 126667 202521 | 99558 6338 31 | 75.178 % | 321.01/321.14 c | 11338 | 18662 126667 202521 | 109513 10182 38 | 75.178 % | 329.11/329.26 c | 17104 | 18475 126667 202521 | 120465 15260 42 | 75.426 % | 342.30/342.40 c | 25753 | 18475 126667 202521 | 132511 23909 43 | 75.426 % | 366.39/366.51 c | 38728 | 18475 126667 202521 | 145762 36884 45 | 75.426 % | 372.39/372.58 c =============================================================================== 372.60/372.78 c core #40 372.60/372.78 c 372.60/372.78 c 372.60/372.78 c Core size: 450 Core Weight: 1 Total Weight: 161 372.60/372.78 c 372.60/372.78 c 372.60/372.78 c ============================[ Search Statistics ]============================== 372.60/372.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.60/372.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.60/372.78 c =============================================================================== 372.60/372.78 c | 0 | 19316 126770 202960 | 42256 0 nan | 0.000 % | 372.70/372.88 c | 100 | 19316 126770 202960 | 46482 100 24 | 74.321 % | 372.80/372.99 c | 250 | 19316 126770 202960 | 51130 250 26 | 74.321 % | 373.00/373.19 c | 475 | 19316 126770 202960 | 56243 475 27 | 74.321 % | 373.39/373.52 c | 812 | 19316 126770 202960 | 61867 812 29 | 74.321 % | 373.80/373.94 c | 1319 | 19316 126770 202960 | 68054 1319 30 | 74.321 % | 374.40/374.50 c | 2081 | 19316 126770 202960 | 74860 2081 33 | 74.321 % | 375.29/375.46 c | 3222 | 19316 126770 202960 | 82346 3222 34 | 74.321 % | 376.89/377.07 c | 4931 | 19316 126770 202960 | 90580 4931 35 | 74.321 % | 379.59/379.77 c | 7493 | 18946 126770 202960 | 99639 6565 36 | 74.813 % | 383.59/383.71 c | 11337 | 18946 126770 202960 | 109602 10409 37 | 74.813 % | 390.40/390.59 c | 17103 | 18946 126770 202960 | 120563 16175 39 | 74.813 % | 402.69/402.86 c | 25753 | 18729 126770 202960 | 132619 22876 40 | 75.102 % | 422.58/422.80 c | 38727 | 18347 126770 202960 | 145881 28717 41 | 75.610 % | 460.47/460.63 c | 58188 | 18347 126770 202960 | 160469 48178 45 | 75.610 % | 508.96/509.11 c =============================================================================== 509.17/509.34 c core #41 509.17/509.34 c 509.17/509.34 c 509.17/509.34 c Core size: 481 Core Weight: 1 Total Weight: 162 509.17/509.34 c 509.17/509.34 c 509.17/509.34 c ============================[ Search Statistics ]============================== 509.17/509.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 509.17/509.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 509.17/509.34 c =============================================================================== 509.17/509.34 c | 0 | 19597 126881 203428 | 42293 0 nan | 0.000 % | 509.26/509.44 c | 102 | 19597 126881 203428 | 46523 102 15 | 73.961 % | 509.36/509.57 c | 252 | 19597 126881 203428 | 51175 252 19 | 73.961 % | 509.56/509.73 c | 479 | 19597 126881 203428 | 56292 479 22 | 73.961 % | 509.86/510.02 c | 818 | 19597 126881 203428 | 61922 818 22 | 73.961 % | 510.27/510.49 c | 1325 | 19597 126881 203428 | 68114 1325 23 | 73.961 % | 510.96/511.14 c | 2084 | 19597 126881 203428 | 74925 2084 26 | 73.961 % | 511.96/512.19 c | 3223 | 19597 126881 203428 | 82418 3223 31 | 73.961 % | 513.66/513.88 c | 4932 | 19394 126881 203428 | 90660 4931 32 | 74.231 % | 516.65/516.83 c | 7495 | 19394 126881 203428 | 99726 7494 34 | 74.231 % | 521.26/521.42 c | 11340 | 19316 126881 203428 | 109698 11215 36 | 74.335 % | 528.65/528.86 c | 17106 | 19316 126881 203428 | 120668 16981 39 | 74.335 % | 541.35/541.58 c | 25755 | 19316 126881 203428 | 132735 25630 42 | 74.335 % | 564.15/564.33 c | 38729 | 19316 126881 203428 | 146009 38604 44 | 74.335 % | 606.23/606.46 c | 58192 | 19316 126881 203428 | 160610 58067 46 | 74.335 % | 659.42/659.63 c =============================================================================== 659.62/659.88 c core #42 659.62/659.88 c 659.62/659.88 c 659.62/659.88 c Core size: 313 Core Weight: 1 Total Weight: 163 659.62/659.88 c 659.62/659.88 c 659.62/659.88 c ============================[ Search Statistics ]============================== 659.62/659.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 659.62/659.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 659.62/659.88 c =============================================================================== 659.62/659.88 c | 0 | 19877 126990 203888 | 42330 0 nan | 0.000 % | 659.73/659.99 c | 100 | 19877 126990 203888 | 46563 100 22 | 73.603 % | 659.92/660.12 c | 250 | 19877 126990 203888 | 51219 250 28 | 73.603 % | 660.12/660.30 c | 475 | 19877 126990 203888 | 56341 475 32 | 73.603 % | 660.42/660.61 c | 813 | 19877 126990 203888 | 61975 813 33 | 73.603 % | 660.93/661.12 c | 1320 | 19877 126990 203888 | 68172 1320 34 | 73.603 % | 661.72/661.91 c | 2081 | 19877 126990 203888 | 74990 2081 36 | 73.603 % | 662.72/662.93 c | 3220 | 19877 126990 203888 | 82489 3220 31 | 73.603 % | 664.52/664.72 c | 4928 | 19877 126990 203888 | 90738 4928 34 | 73.603 % | 667.22/667.42 c | 7491 | 19796 126990 203888 | 99811 7490 37 | 73.710 % | 671.83/672.00 c | 11338 | 19796 126990 203888 | 109793 11337 39 | 73.710 % | 679.92/680.11 c | 17104 | 19796 126990 203888 | 120772 17103 41 | 73.710 % | 693.01/693.22 c | 25753 | 19796 126990 203888 | 132849 25752 45 | 73.710 % | 717.11/717.37 c | 38727 | 19796 126990 203888 | 146134 38726 48 | 73.710 % | 759.59/759.84 c | 58188 | 18886 126990 203888 | 160748 32853 41 | 74.919 % | 825.48/825.70 c | 87380 | 18886 126990 203888 | 176822 62045 46 | 74.919 % | 913.56/913.88 c =============================================================================== 913.86/914.15 c core #43 913.86/914.15 c 913.86/914.15 c 913.86/914.15 c Core size: 624 Core Weight: 1 Total Weight: 164 913.86/914.15 c 913.86/914.15 c 913.86/914.15 c ============================[ Search Statistics ]============================== 913.86/914.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 913.86/914.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 913.86/914.15 c =============================================================================== 913.86/914.15 c | 0 | 20156 127142 204478 | 42380 0 nan | 0.000 % | 913.95/914.24 c | 100 | 20156 127142 204478 | 46618 100 25 | 73.245 % | 914.05/914.36 c | 250 | 20156 127142 204478 | 51280 250 26 | 73.245 % | 914.25/914.52 c | 476 | 20156 127142 204478 | 56408 476 27 | 73.245 % | 914.56/914.83 c | 815 | 20156 127142 204478 | 62049 815 29 | 73.245 % | 914.97/915.21 c | 1321 | 20156 127142 204478 | 68254 1321 28 | 73.245 % | 915.56/915.88 c | 2080 | 20156 127142 204478 | 75079 2080 33 | 73.245 % | 916.65/916.96 c | 3219 | 20156 127142 204478 | 82587 3219 36 | 73.245 % | 918.46/918.78 c | 4931 | 20156 127142 204478 | 90846 4931 39 | 73.245 % | 921.15/921.45 c | 7493 | 20156 127142 204478 | 99931 7493 38 | 73.245 % | 925.56/925.88 c | 11339 | 20156 127142 204478 | 109924 11339 38 | 73.245 % | 933.45/933.71 c | 17106 | 19953 127142 204478 | 120916 17105 41 | 73.515 % | 946.65/946.93 c | 25755 | 19953 127142 204478 | 133008 25754 42 | 73.515 % | 968.24/968.59 c | 38730 | 19953 127142 204478 | 146309 38729 43 | 73.515 % | 1008.44/1008.74 c | 58191 | 19953 127142 204478 | 160940 58190 45 | 73.515 % | 1084.41/1084.72 c | 87383 | 19953 127142 204478 | 177034 87382 48 | 73.515 % | 1223.27/1223.68 c | 131174 | 19953 127142 204478 | 194738 131173 50 | 73.515 % | 1420.92/1421.39 c =============================================================================== 1421.32/1421.72 c core #44 1421.32/1421.72 c 1421.32/1421.72 c 1421.32/1421.72 c Core size: 202 Core Weight: 1 Total Weight: 165 1421.32/1421.72 c 1421.32/1421.72 c 1421.32/1421.72 c ============================[ Search Statistics ]============================== 1421.32/1421.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1421.32/1421.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1421.32/1421.72 c =============================================================================== 1421.32/1421.72 c | 0 | 20434 127378 205316 | 42459 0 nan | 0.000 % | 1421.42/1421.84 c | 101 | 20434 127378 205316 | 46705 101 24 | 72.997 % | 1421.53/1421.92 c | 252 | 20434 127378 205316 | 51375 252 22 | 72.997 % | 1421.73/1422.13 c | 478 | 20353 127378 205316 | 56513 477 27 | 72.997 % | 1421.93/1422.39 c | 815 | 20353 127378 205316 | 62164 814 28 | 72.997 % | 1422.32/1422.70 c | 1321 | 20353 127378 205316 | 68381 1320 27 | 72.997 % | 1422.82/1423.20 c | 2080 | 20339 127378 205316 | 75219 2078 27 | 73.015 % | 1423.82/1424.23 c | 3221 | 20320 127378 205316 | 82741 3218 33 | 73.040 % | 1425.72/1426.17 c | 4929 | 20320 127378 205316 | 91015 4926 39 | 73.040 % | 1428.52/1428.99 c | 7492 | 20320 127378 205316 | 100116 7489 40 | 73.040 % | 1433.02/1433.41 c | 11337 | 20320 127378 205316 | 110128 11334 41 | 73.040 % | 1440.12/1440.51 c | 17103 | 20320 127378 205316 | 121141 17100 43 | 73.040 % | 1452.72/1453.14 c | 25752 | 20229 127378 205316 | 133255 25748 45 | 73.161 % | 1474.71/1475.13 c | 38726 | 20198 127378 205316 | 146581 38721 47 | 73.202 % | 1513.40/1513.84 c | 58188 | 20198 127378 205316 | 161239 58183 49 | 73.202 % | 1583.98/1584.48 c | 87380 | 20024 127378 205316 | 177363 79450 49 | 73.433 % | 1728.75/1729.29 c | 131171 | 20024 127378 205316 | 195099 123241 51 | 73.433 % |
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-2687046-1278446556/watcher-2687046-1278446556 -o /tmp/evaluation-result-2687046-1278446556/solver-2687046-1278446556 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687046-1278446556.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.04 1.01 1.00 3/105 20512 /proc/meminfo: memFree=1847920/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=10276 CPUtime=0 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12864249 10522624 262 1992294400 134512640 135752675 4287520704 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 2569 262 139 303 0 407 0 [startup+0.0956261 s] /proc/loadavg: 1.04 1.01 1.00 3/105 20512 /proc/meminfo: memFree=1847920/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=15060 CPUtime=0.08 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 1539 0 0 0 8 0 0 0 25 0 1 0 12864249 15421440 1458 1992294400 134512640 135752675 4287520704 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 3765 1459 273 303 0 1603 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15060 [startup+0.100625 s] /proc/loadavg: 1.04 1.01 1.00 3/105 20512 /proc/meminfo: memFree=1847920/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=15192 CPUtime=0.09 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 1596 0 0 0 9 0 0 0 25 0 1 0 12864249 15556608 1515 1992294400 134512640 135752675 4287520704 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 3798 1515 281 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15192 [startup+0.300646 s] /proc/loadavg: 1.04 1.01 1.00 3/105 20512 /proc/meminfo: memFree=1847920/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=19596 CPUtime=0.29 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 2947 0 0 0 28 1 0 0 25 0 1 0 12864249 20066304 2833 1992294400 134512640 135752675 4287520704 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 4899 2833 594 303 0 2737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19596 [startup+0.700689 s] /proc/loadavg: 1.04 1.01 1.00 3/105 20512 /proc/meminfo: memFree=1847920/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=26136 CPUtime=0.69 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 4991 0 0 0 68 1 0 0 25 0 1 0 12864249 26763264 4837 1992294400 134512640 135752675 4287520704 18446744073709551615 135390423 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 6534 4837 1246 303 0 4372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26136 [startup+1.50078 s] /proc/loadavg: 1.04 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1827452/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=48780 CPUtime=1.49 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 13386 0 0 0 145 4 0 0 25 0 1 0 12864249 49950720 11036 1992294400 134512640 135752675 4287520704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 12195 11036 142 303 0 11890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48780 [startup+3.10094 s] /proc/loadavg: 1.04 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1799552/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=54148 CPUtime=3.09 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 14597 0 0 0 305 4 0 0 25 0 1 0 12864249 55447552 12247 1992294400 134512640 135752675 4287520704 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 13537 12247 142 303 0 13232 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54148 [startup+6.30128 s] /proc/loadavg: 1.04 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1795212/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=58900 CPUtime=6.29 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 15811 0 0 0 624 5 0 0 25 0 1 0 12864249 60313600 13461 1992294400 134512640 135752675 4287520704 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 14725 13461 142 303 0 14420 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58900 [startup+12.701 s] /proc/loadavg: 1.03 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1787400/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=65632 CPUtime=12.68 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 17499 0 0 0 1263 5 0 0 25 0 1 0 12864249 67207168 15149 1992294400 134512640 135752675 4287520704 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 16408 15149 142 303 0 16103 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65632 [startup+25.5003 s] /proc/loadavg: 1.03 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1776800/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=77224 CPUtime=25.48 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 20355 0 0 0 2541 7 0 0 25 0 1 0 12864249 79077376 18005 1992294400 134512640 135752675 4287520704 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 19306 18005 142 303 0 19001 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77224 [startup+51.1011 s] /proc/loadavg: 1.02 1.01 1.00 2/106 20513 /proc/meminfo: memFree=1760184/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=92668 CPUtime=51.07 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 24231 0 0 0 5099 8 0 0 25 0 1 0 12864249 94892032 21881 1992294400 134512640 135752675 4287520704 18446744073709551615 134523922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 23167 21881 142 303 0 22862 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92668 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20515 /proc/meminfo: memFree=1745056/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=106616 CPUtime=102.28 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 29181 0 0 0 10212 16 0 0 20 0 1 0 12864249 109174784 25519 1992294400 134512640 135752675 4287520704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 26654 25519 145 303 0 26349 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 106616 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20517 /proc/meminfo: memFree=1745056/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=106616 CPUtime=162.25 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 29181 0 0 0 16186 39 0 0 25 0 1 0 12864249 109174784 25519 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 26654 25519 145 303 0 26349 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 106616 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20519 /proc/meminfo: memFree=1753240/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=97204 CPUtime=222.23 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 50481 0 0 0 22155 68 0 0 25 0 1 0 12864249 99536896 23468 1992294400 134512640 135752675 4287520704 18446744073709551615 134517376 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 24301 23468 146 303 0 23996 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 97204 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20519 /proc/meminfo: memFree=1754976/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=94772 CPUtime=282.21 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 52244 0 0 0 28134 87 0 0 25 0 1 0 12864249 97046528 23029 1992294400 134512640 135752675 4287520704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 23693 23029 146 303 0 23388 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 94772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20521 /proc/meminfo: memFree=1753116/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=97204 CPUtime=342.2 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 53126 0 0 0 34116 104 0 0 25 0 1 0 12864249 99536896 23470 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 24301 23470 146 303 0 23996 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 97204 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20523 /proc/meminfo: memFree=1754728/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=94772 CPUtime=402.18 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 53567 0 0 0 40099 119 0 0 25 0 1 0 12864249 97046528 23029 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 23693 23029 146 303 0 23388 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 94772 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20525 /proc/meminfo: memFree=1754852/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=94772 CPUtime=462.17 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 53567 0 0 0 46084 133 0 0 25 0 1 0 12864249 97046528 23029 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 23693 23029 146 303 0 23388 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 94772 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20527 /proc/meminfo: memFree=1752868/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=97204 CPUtime=522.16 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 54459 0 0 0 52066 150 0 0 25 0 1 0 12864249 99536896 23480 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 24301 23480 146 303 0 23996 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 97204 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20527 /proc/meminfo: memFree=1752868/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=97204 CPUtime=582.14 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 54459 0 0 0 58049 165 0 0 25 0 1 0 12864249 99536896 23480 1992294400 134512640 135752675 4287520704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 24301 23480 146 303 0 23996 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 97204 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20529 /proc/meminfo: memFree=1752868/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=97204 CPUtime=642.13 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 54459 0 0 0 64034 179 0 0 25 0 1 0 12864249 99536896 23480 1992294400 134512640 135752675 4287520704 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 24301 23480 146 303 0 23996 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 97204 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20535 /proc/meminfo: memFree=1734888/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=115732 CPUtime=882.06 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 59911 0 0 0 87972 234 0 0 25 0 1 0 12864249 118509568 28050 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 28933 28050 146 303 0 28628 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 115732 [startup+942.301 s] /proc/loadavg: 1.04 1.01 1.00 2/106 20537 /proc/meminfo: memFree=1720504/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=130192 CPUtime=942.05 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 64554 0 0 0 93954 251 0 0 25 0 1 0 12864249 133316608 31549 1992294400 134512640 135752675 4287520704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 32548 31549 146 303 0 32243 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 130192 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 20539 /proc/meminfo: memFree=1720380/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=130192 CPUtime=1002.03 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 64593 0 0 0 99940 263 0 0 25 0 1 0 12864249 133316608 31588 1992294400 134512640 135752675 4287520704 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 32548 31588 146 303 0 32243 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 130192 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/106 20544 /proc/meminfo: memFree=1713500/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=135464 CPUtime=1062.01 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 65911 0 0 0 105928 273 0 0 25 0 1 0 12864249 138715136 32906 1992294400 134512640 135752675 4287520704 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 33866 32906 146 303 0 33561 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 135464 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 20546 /proc/meminfo: memFree=1708168/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=140784 CPUtime=1121.99 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 67225 0 0 0 111915 284 0 0 25 0 1 0 12864249 144162816 34220 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 35196 34220 146 303 0 34891 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 140784 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 20546 /proc/meminfo: memFree=1703208/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=145788 CPUtime=1181.98 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 68478 0 0 0 117904 294 0 0 25 0 1 0 12864249 149286912 35473 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 36447 35473 146 303 0 36142 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 145788 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20548 /proc/meminfo: memFree=1698620/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=150408 CPUtime=1241.96 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 69637 0 0 0 123891 305 0 0 25 0 1 0 12864249 154017792 36632 1992294400 134512640 135752675 4287520704 18446744073709551615 134639513 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 37602 36632 146 303 0 37297 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 150408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20550 /proc/meminfo: memFree=1694280/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=154816 CPUtime=1301.96 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 70680 0 0 0 129879 317 0 0 25 0 1 0 12864249 158531584 37675 1992294400 134512640 135752675 4287520704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 38704 37675 146 303 0 38399 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 154816 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20552 /proc/meminfo: memFree=1689568/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=159600 CPUtime=1361.93 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 71893 0 0 0 135867 326 0 0 25 0 1 0 12864249 163430400 38888 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 39900 38888 146 303 0 39595 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 159600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20554 /proc/meminfo: memFree=1676424/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=172592 CPUtime=1421.93 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 76400 0 0 0 141855 338 0 0 25 0 1 0 12864249 176734208 42078 1992294400 134512640 135752675 4287520704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 43148 42078 146 303 0 42843 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 172592 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20554 /proc/meminfo: memFree=1676300/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=172592 CPUtime=1481.9 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 76407 0 0 0 147834 356 0 0 25 0 1 0 12864249 176734208 42085 1992294400 134512640 135752675 4287520704 18446744073709551615 134612089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 43148 42085 146 303 0 42843 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 172592 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20556 /proc/meminfo: memFree=1676300/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=172592 CPUtime=1541.89 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 76445 0 0 0 153819 370 0 0 25 0 1 0 12864249 176734208 42123 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 43148 42123 146 303 0 42843 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 172592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20558 /proc/meminfo: memFree=1674688/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=174188 CPUtime=1601.88 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 76904 0 0 0 159806 382 0 0 25 0 1 0 12864249 178368512 42582 1992294400 134512640 135752675 4287520704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 43547 42582 146 303 0 43242 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 174188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20560 /proc/meminfo: memFree=1669604/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=179132 CPUtime=1661.86 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 78122 0 0 0 165792 394 0 0 25 0 1 0 12864249 183431168 43800 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 44783 43800 146 303 0 44478 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 179132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20562 /proc/meminfo: memFree=1664768/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=183944 CPUtime=1721.84 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 79341 0 0 0 171781 403 0 0 25 0 1 0 12864249 188358656 45019 1992294400 134512640 135752675 4287520704 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 45986 45019 146 303 0 45681 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 183944 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20562 /proc/meminfo: memFree=1659684/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=188768 CPUtime=1781.83 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 80546 0 0 0 177769 414 0 0 25 0 1 0 12864249 193298432 46224 1992294400 134512640 135752675 4287520704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 47192 46224 146 303 0 46887 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 188768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20564 /proc/meminfo: memFree=1658196/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=190368 CPUtime=1800.03 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 80896 0 0 0 179586 417 0 0 25 0 1 0 12864249 194936832 46574 1992294400 134512640 135752675 4287520704 18446744073709551615 134639858 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 47592 46574 146 303 0 47287 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20564 /proc/meminfo: memFree=1658196/2059040 swapFree=4164940/4192956 [pid=20512] ppid=20510 vsize=190368 CPUtime=1800.03 /proc/20512/stat : 20512 (wbo1.4b) R 20510 20512 19115 0 -1 4202496 80896 0 0 0 179586 417 0 0 25 0 1 0 12864249 194936832 46574 1992294400 134512640 135752675 4287520704 18446744073709551615 134639858 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20512/statm: 47592 46574 146 303 0 47287 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190368 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.06 CPU user time (s): 1795.86 CPU system time (s): 4.19736 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 190368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.86 system time used= 4.19736 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80896 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= 58 involuntary context switches= 5082 runsolver used 2.84957 second user time and 8.65768 second system time The end
Begin job on node081 at 2010-07-06 22:02:36 IDJOB=2687046 IDBENCH=77312 IDSOLVER=1190 FILE ID=node081/2687046-1278446556 PBS_JOBID= 11233471 Free space on /tmp= 121796 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_6.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687046-1278446556/watcher-2687046-1278446556 -o /tmp/evaluation-result-2687046-1278446556/solver-2687046-1278446556 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687046-1278446556.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 002a977405549506cf955068ac342d61 RANDOM SEED=1378826336 node081.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 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 : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848200 kB Buffers: 9300 kB Cached: 94624 kB SwapCached: 80 kB Active: 17576 kB Inactive: 119944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848200 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 10288 kB Writeback: 0 kB AnonPages: 33576 kB Mapped: 13300 kB Slab: 51372 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182076 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121792 MiB End job on node081 at 2010-07-06 22:32:39