Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.06 | 1800.63 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1206_4.std.opb |
MD5SUM | dc2381243433b8fdb488c977baa91e3c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 158 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
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 | 234497 |
Number of constraints which are clauses | 233297 |
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 | 64 |
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-2686968-1278445205.opb. 0.00/0.00 c Instance file HOME/instance-2686968-1278445205.opb 0.00/0.00 c File size is 7316689 bytes. 1.19/1.27 c Highest Coefficient sum: 342 1.19/1.27 c ============================[ Problem Statistics ]============================= 1.19/1.27 c | | 1.19/1.27 c | Parsing time: 1.24 s | 1.19/1.27 c | Number Variables: 72842 | 1.19/1.27 c | Number Clauses: 233297 | 1.19/1.27 c | Number Cardinality: 0 | 1.19/1.27 c | Number PB Constraints: 1200 | 95.46/95.51 c ============================[ Search Statistics ]============================== 95.46/95.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.46/95.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.46/95.51 c =============================================================================== 95.46/95.51 c | 0 | 56570 235677 482726 | 78165 0 nan | 0.000 % | 95.46/95.59 c =============================================================================== 95.46/95.59 c New solution: 300 95.46/95.59 o 300 95.46/95.59 c Elapsed CPU time: 95.4525 s Remaining CPU time: 84.5475 s 95.46/95.59 c =============================================================================== 95.46/95.59 c | 3 | 56570 235678 483026 | 78559 3 19 | 0.000 % | 95.57/95.66 c | 104 | 56485 235678 483026 | 86415 104 22 | 22.505 % | 95.67/95.73 c =============================================================================== 95.67/95.73 c New solution: 299 95.67/95.73 o 299 95.67/95.73 c Elapsed CPU time: 95.5905 s Remaining CPU time: 84.4095 s 95.67/95.73 c =============================================================================== 95.67/95.73 c | 143 | 56449 235679 483326 | 78559 143 21 | 22.505 % | 95.76/95.80 c =============================================================================== 95.76/95.80 c New solution: 298 95.76/95.80 o 298 95.76/95.80 c Elapsed CPU time: 95.6545 s Remaining CPU time: 84.3455 s 95.76/95.80 c =============================================================================== 95.76/95.80 c | 171 | 56313 235680 483626 | 78560 171 20 | 22.505 % | 95.76/95.87 c | 271 | 56311 235680 483626 | 86416 271 19 | 22.902 % | 95.86/95.95 c =============================================================================== 95.86/95.95 c New solution: 297 95.86/95.95 o 297 95.86/95.95 c Elapsed CPU time: 95.8024 s Remaining CPU time: 84.1976 s 95.86/95.95 c =============================================================================== 95.86/95.95 c | 297 | 56160 235681 483926 | 78560 294 18 | 22.902 % | 95.96/96.01 c =============================================================================== 95.96/96.01 c New solution: 296 95.96/96.01 o 296 95.96/96.01 c Elapsed CPU time: 95.8614 s Remaining CPU time: 84.1386 s 95.96/96.01 c =============================================================================== 95.96/96.01 c | 317 | 55993 235682 484226 | 78560 314 18 | 22.902 % | 95.96/96.07 c =============================================================================== 95.96/96.07 c New solution: 295 95.96/96.07 o 295 95.96/96.07 c Elapsed CPU time: 95.9234 s Remaining CPU time: 84.0766 s 95.96/96.07 c =============================================================================== 95.96/96.07 c | 348 | 55809 235683 484526 | 78561 345 18 | 22.902 % | 96.06/96.13 c =============================================================================== 96.06/96.13 c New solution: 294 96.06/96.13 o 294 96.06/96.13 c Elapsed CPU time: 95.9834 s Remaining CPU time: 84.0166 s 96.06/96.13 c =============================================================================== 96.06/96.13 c | 364 | 55612 235684 484826 | 78561 361 18 | 22.902 % | 96.16/96.21 c | 464 | 55600 235684 484826 | 86417 461 22 | 23.941 % | 96.16/96.29 c =============================================================================== 96.16/96.29 c New solution: 293 96.16/96.29 o 293 96.16/96.29 c Elapsed CPU time: 96.1414 s Remaining CPU time: 83.8586 s 96.16/96.29 c =============================================================================== 96.16/96.29 c | 490 | 55386 235685 485126 | 78561 474 21 | 23.941 % | 96.25/96.36 c =============================================================================== 96.25/96.36 c New solution: 292 96.25/96.36 o 292 96.25/96.36 c Elapsed CPU time: 96.2114 s Remaining CPU time: 83.7886 s 96.25/96.36 c =============================================================================== 96.25/96.36 c | 526 | 55181 235686 485426 | 78562 510 21 | 23.941 % | 96.35/96.41 c | 627 | 55177 235686 485426 | 86418 611 20 | 24.535 % | 96.35/96.48 c =============================================================================== 96.35/96.48 c New solution: 291 96.35/96.48 o 291 96.35/96.48 c Elapsed CPU time: 96.3284 s Remaining CPU time: 83.6716 s 96.35/96.48 c =============================================================================== 96.35/96.48 c | 656 | 54970 235687 485726 | 78562 640 20 | 24.535 % | 96.45/96.56 c =============================================================================== 96.45/96.56 c New solution: 290 96.45/96.56 o 290 96.45/96.56 c Elapsed CPU time: 96.4093 s Remaining CPU time: 83.5907 s 96.45/96.56 c =============================================================================== 96.45/96.56 c | 698 | 54740 235688 486026 | 78562 682 20 | 24.535 % | 96.55/96.63 c | 798 | 54498 235688 486026 | 86418 733 18 | 25.183 % | 96.55/96.69 c =============================================================================== 96.55/96.69 c New solution: 289 96.55/96.69 o 289 96.55/96.69 c Elapsed CPU time: 96.5463 s Remaining CPU time: 83.4537 s 96.55/96.69 c =============================================================================== 96.55/96.69 c | 823 | 54498 235689 486326 | 78563 758 18 | 25.183 % | 96.66/96.78 c | 924 | 54478 235689 486326 | 86419 859 21 | 25.515 % | 96.86/96.92 c | 1075 | 54474 235689 486326 | 95061 1010 21 | 25.515 % | 96.86/96.99 c =============================================================================== 96.86/96.99 c New solution: 288 96.86/96.99 o 288 96.86/96.99 c Elapsed CPU time: 96.8363 s Remaining CPU time: 83.1637 s 96.86/96.99 c =============================================================================== 96.86/96.99 c | 1085 | 54256 235690 486626 | 78563 1002 21 | 25.515 % | 96.96/97.05 c =============================================================================== 96.96/97.05 c New solution: 287 96.96/97.05 o 287 96.96/97.05 c Elapsed CPU time: 96.9013 s Remaining CPU time: 83.0987 s 96.96/97.05 c =============================================================================== 96.96/97.05 c | 1093 | 54014 235691 486926 | 78563 1010 21 | 25.515 % | 97.06/97.14 c =============================================================================== 97.06/97.14 c New solution: 286 97.06/97.14 o 286 97.06/97.14 c Elapsed CPU time: 96.9833 s Remaining CPU time: 83.0167 s 97.06/97.14 c =============================================================================== 97.06/97.14 c | 1129 | 53772 235692 487226 | 78564 1046 21 | 25.515 % | 97.16/97.21 c =============================================================================== 97.16/97.21 c New solution: 285 97.16/97.21 o 285 97.16/97.21 c Elapsed CPU time: 97.0532 s Remaining CPU time: 82.9468 s 97.16/97.21 c =============================================================================== 97.16/97.21 c | 1153 | 53530 235693 487526 | 78564 1070 21 | 25.515 % | 97.16/97.27 c =============================================================================== 97.16/97.27 c New solution: 284 97.16/97.27 o 284 97.16/97.27 c Elapsed CPU time: 97.1122 s Remaining CPU time: 82.8878 s 97.16/97.27 c =============================================================================== 97.16/97.27 c | 1166 | 53288 235694 487826 | 78564 1083 21 | 25.515 % | 97.26/97.34 c =============================================================================== 97.26/97.34 c New solution: 283 97.26/97.34 o 283 97.26/97.34 c Elapsed CPU time: 97.1832 s Remaining CPU time: 82.8168 s 97.26/97.34 c =============================================================================== 97.26/97.34 c | 1189 | 53046 235695 488126 | 78565 1106 21 | 25.515 % | 97.35/97.41 c =============================================================================== 97.35/97.41 c New solution: 282 97.35/97.41 o 282 97.35/97.41 c Elapsed CPU time: 97.2562 s Remaining CPU time: 82.7438 s 97.35/97.41 c =============================================================================== 97.35/97.41 c | 1223 | 52804 235696 488426 | 78565 1008 20 | 25.515 % | 97.35/97.48 c =============================================================================== 97.35/97.48 c New solution: 281 97.35/97.48 o 281 97.35/97.48 c Elapsed CPU time: 97.3252 s Remaining CPU time: 82.6748 s 97.35/97.48 c =============================================================================== 97.35/97.48 c | 1241 | 52562 235697 488726 | 78565 1026 20 | 25.515 % | 97.45/97.55 c =============================================================================== 97.45/97.55 c New solution: 280 97.45/97.55 o 280 97.45/97.55 c Elapsed CPU time: 97.3912 s Remaining CPU time: 82.6088 s 97.45/97.55 c =============================================================================== 97.45/97.55 c | 1249 | 52320 235698 489026 | 78566 1034 20 | 25.515 % | 97.55/97.61 c =============================================================================== 97.55/97.61 c New solution: 279 97.55/97.61 o 279 97.55/97.61 c Elapsed CPU time: 97.4522 s Remaining CPU time: 82.5478 s 97.55/97.61 c =============================================================================== 97.55/97.61 c | 1256 | 52078 235699 489326 | 78566 1041 20 | 25.515 % | 97.55/97.67 c =============================================================================== 97.55/97.67 c New solution: 278 97.55/97.67 o 278 97.55/97.67 c Elapsed CPU time: 97.5112 s Remaining CPU time: 82.4888 s 97.55/97.67 c =============================================================================== 97.55/97.67 c | 1270 | 51836 235700 489626 | 78566 1055 20 | 25.515 % | 97.65/97.75 c =============================================================================== 97.65/97.75 c New solution: 277 97.65/97.75 o 277 97.65/97.75 c Elapsed CPU time: 97.5892 s Remaining CPU time: 82.4108 s 97.65/97.75 c =============================================================================== 97.65/97.75 c | 1300 | 51594 235701 489926 | 78567 1085 20 | 25.515 % | 97.76/97.81 c =============================================================================== 97.76/97.81 c New solution: 276 97.76/97.81 o 276 97.76/97.81 c Elapsed CPU time: 97.6522 s Remaining CPU time: 82.3478 s 97.76/97.81 c =============================================================================== 97.76/97.81 c | 1317 | 51352 235702 490226 | 78567 1102 20 | 25.515 % | 97.76/97.88 c =============================================================================== 97.76/97.88 c New solution: 275 97.76/97.88 o 275 97.76/97.88 c Elapsed CPU time: 97.7141 s Remaining CPU time: 82.2859 s 97.76/97.88 c =============================================================================== 97.76/97.88 c | 1350 | 51110 235703 490526 | 78567 970 18 | 25.515 % | 97.85/97.96 c | 1451 | 51101 235703 490526 | 86424 1071 19 | 30.167 % | 97.96/98.06 c | 1601 | 51093 235703 490526 | 95066 1221 19 | 30.167 % | 98.06/98.12 c =============================================================================== 98.06/98.12 c New solution: 274 98.06/98.12 o 274 98.06/98.12 c Elapsed CPU time: 97.9481 s Remaining CPU time: 82.0519 s 98.06/98.12 c =============================================================================== 98.06/98.12 c | 1616 | 50868 235704 490826 | 78568 1236 19 | 30.167 % | 98.06/98.19 c =============================================================================== 98.06/98.19 c New solution: 273 98.06/98.19 o 273 98.06/98.19 c Elapsed CPU time: 98.0241 s Remaining CPU time: 81.9759 s 98.06/98.19 c =============================================================================== 98.06/98.19 c | 1642 | 50626 235705 491126 | 78568 1213 19 | 30.167 % | 98.15/98.26 c =============================================================================== 98.15/98.26 c New solution: 272 98.15/98.26 o 272 98.15/98.26 c Elapsed CPU time: 98.0861 s Remaining CPU time: 81.9139 s 98.15/98.26 c =============================================================================== 98.15/98.26 c | 1649 | 50384 235706 491426 | 78568 1220 19 | 30.167 % | 98.25/98.31 c =============================================================================== 98.25/98.31 c New solution: 271 98.25/98.31 o 271 98.25/98.31 c Elapsed CPU time: 98.1431 s Remaining CPU time: 81.8569 s 98.25/98.32 c =============================================================================== 98.25/98.32 c | 1666 | 50142 235707 491726 | 78569 1237 19 | 30.167 % | 98.25/98.38 c =============================================================================== 98.25/98.38 c New solution: 270 98.25/98.38 o 270 98.25/98.38 c Elapsed CPU time: 98.2051 s Remaining CPU time: 81.7949 s 98.25/98.38 c =============================================================================== 98.25/98.38 c | 1674 | 49900 235708 492026 | 78569 1245 19 | 30.167 % | 98.35/98.44 c | 1774 | 49895 235708 492026 | 86426 1345 19 | 31.828 % | 98.45/98.53 c =============================================================================== 98.45/98.53 c New solution: 269 98.45/98.53 o 269 98.45/98.53 c Elapsed CPU time: 98.352 s Remaining CPU time: 81.648 s 98.45/98.53 c =============================================================================== 98.45/98.53 c | 1838 | 49658 235709 492326 | 78569 1409 19 | 31.828 % | 98.45/98.59 c | 1938 | 49416 235709 492326 | 86426 1321 20 | 32.160 % | 98.55/98.68 c | 2088 | 49416 235709 492326 | 95069 1471 20 | 32.160 % | 98.65/98.74 c =============================================================================== 98.65/98.74 c New solution: 268 98.65/98.74 o 268 98.65/98.74 c Elapsed CPU time: 98.567 s Remaining CPU time: 81.433 s 98.65/98.74 c =============================================================================== 98.65/98.74 c | 2106 | 49416 235710 492626 | 78570 1489 19 | 32.160 % | 98.75/98.81 c | 2207 | 49401 235710 492626 | 86427 1590 20 | 32.492 % | 98.85/98.91 c | 2358 | 49174 235710 492626 | 95069 1683 19 | 32.492 % | 98.85/98.98 c =============================================================================== 98.85/98.98 c New solution: 267 98.85/98.98 o 267 98.85/98.98 c Elapsed CPU time: 98.809 s Remaining CPU time: 81.191 s 98.85/98.98 c =============================================================================== 98.85/98.98 c | 2403 | 49174 235711 492926 | 78570 1728 19 | 32.492 % | 98.95/99.05 c =============================================================================== 98.95/99.05 c New solution: 266 98.95/99.05 o 266 98.95/99.05 c Elapsed CPU time: 98.868 s Remaining CPU time: 81.132 s 98.95/99.05 c =============================================================================== 98.95/99.05 c | 2419 | 48932 235712 493226 | 78570 1744 19 | 32.492 % | 99.04/99.11 c =============================================================================== 99.04/99.11 c New solution: 265 99.04/99.11 o 265 99.04/99.11 c Elapsed CPU time: 98.926 s Remaining CPU time: 81.074 s 99.04/99.11 c =============================================================================== 99.04/99.11 c | 2435 | 48690 235713 493526 | 78571 1760 19 | 32.492 % | 99.04/99.17 c =============================================================================== 99.04/99.17 c New solution: 264 99.04/99.17 o 264 99.04/99.17 c Elapsed CPU time: 98.9929 s Remaining CPU time: 81.0071 s 99.04/99.17 c =============================================================================== 99.04/99.17 c | 2466 | 48448 235714 493826 | 78571 1791 19 | 32.492 % | 99.14/99.27 c | 2569 | 48206 235714 493826 | 86428 1746 20 | 33.821 % | 99.24/99.33 c =============================================================================== 99.24/99.33 c New solution: 263 99.24/99.33 o 263 99.24/99.33 c Elapsed CPU time: 99.1469 s Remaining CPU time: 80.8531 s 99.24/99.33 c =============================================================================== 99.24/99.33 c | 2575 | 48206 235715 494126 | 78571 1752 20 | 33.821 % | 99.24/99.38 c =============================================================================== 99.24/99.38 c New solution: 262 99.24/99.38 o 262 99.24/99.38 c Elapsed CPU time: 99.1979 s Remaining CPU time: 80.8021 s 99.24/99.38 c =============================================================================== 99.24/99.38 c | 2584 | 47964 235716 494426 | 78572 1761 20 | 33.821 % | 99.34/99.45 c =============================================================================== 99.34/99.45 c New solution: 261 99.34/99.45 o 261 99.34/99.45 c Elapsed CPU time: 99.2649 s Remaining CPU time: 80.7351 s 99.34/99.45 c =============================================================================== 99.34/99.45 c | 2608 | 47722 235717 494726 | 78572 1785 20 | 33.821 % | 99.44/99.50 c =============================================================================== 99.44/99.50 c New solution: 260 99.44/99.50 o 260 99.44/99.50 c Elapsed CPU time: 99.3189 s Remaining CPU time: 80.6811 s 99.44/99.50 c =============================================================================== 99.44/99.50 c | 2623 | 47480 235718 495026 | 78572 1800 20 | 33.821 % | 99.44/99.59 c | 2723 | 47468 235718 495026 | 86429 1900 20 | 35.150 % | 99.54/99.65 c =============================================================================== 99.54/99.65 c New solution: 259 99.54/99.65 o 259 99.54/99.65 c Elapsed CPU time: 99.4699 s Remaining CPU time: 80.5301 s 99.54/99.65 c =============================================================================== 99.54/99.65 c | 2740 | 47238 235719 495326 | 78573 1714 20 | 35.150 % | 99.64/99.72 c =============================================================================== 99.64/99.72 c New solution: 258 99.64/99.72 o 258 99.64/99.72 c Elapsed CPU time: 99.5409 s Remaining CPU time: 80.4591 s 99.64/99.72 c =============================================================================== 99.64/99.72 c | 2773 | 46996 235720 495626 | 78573 1747 20 | 35.150 % | 99.64/99.79 c =============================================================================== 99.64/99.79 c New solution: 257 99.64/99.79 o 257 99.64/99.79 c Elapsed CPU time: 99.6049 s Remaining CPU time: 80.3951 s 99.64/99.79 c =============================================================================== 99.64/99.79 c | 2787 | 46754 235721 495926 | 78573 1761 20 | 35.150 % | 99.74/99.85 c =============================================================================== 99.74/99.85 c New solution: 256 99.74/99.85 o 256 99.74/99.85 c Elapsed CPU time: 99.6648 s Remaining CPU time: 80.3352 s 99.74/99.85 c =============================================================================== 99.74/99.85 c | 2817 | 46512 235722 496226 | 78574 1791 20 | 35.150 % | 99.85/99.93 c | 2917 | 46503 235722 496226 | 86431 1891 21 | 36.479 % | 99.85/99.99 c =============================================================================== 99.85/99.99 c New solution: 255 99.85/99.99 o 255 99.85/99.99 c Elapsed CPU time: 99.8028 s Remaining CPU time: 80.1972 s 99.85/99.99 c =============================================================================== 99.85/99.99 c | 2936 | 46270 235723 496526 | 78574 1910 21 | 36.479 % | 99.95/100.05 c =============================================================================== 99.95/100.05 c New solution: 254 99.95/100.05 o 254 99.95/100.05 c Elapsed CPU time: 99.8618 s Remaining CPU time: 80.1382 s 99.95/100.05 c =============================================================================== 99.95/100.05 c | 2945 | 46028 235724 496826 | 78574 1919 21 | 36.479 % | 100.05/100.12 c =============================================================================== 100.05/100.12 c New solution: 253 100.05/100.12 o 253 100.05/100.12 c Elapsed CPU time: 99.9278 s Remaining CPU time: 80.0722 s 100.05/100.12 c =============================================================================== 100.05/100.12 c | 2988 | 45786 235725 497126 | 78575 1599 19 | 36.479 % | 100.14/100.20 c =============================================================================== 100.14/100.20 c New solution: 252 100.14/100.20 o 252 100.14/100.20 c Elapsed CPU time: 100.015 s Remaining CPU time: 79.9852 s 100.14/100.20 c =============================================================================== 100.14/100.20 c | 3047 | 45544 235726 497426 | 78575 1658 19 | 36.479 % | 100.14/100.26 c =============================================================================== 100.14/100.26 c New solution: 251 100.14/100.26 o 251 100.14/100.26 c Elapsed CPU time: 100.064 s Remaining CPU time: 79.9362 s 100.14/100.26 c =============================================================================== 100.14/100.26 c | 3055 | 45302 235727 497726 | 78575 1666 19 | 36.479 % | 100.24/100.33 c =============================================================================== 100.24/100.33 c New solution: 250 100.24/100.33 o 250 100.24/100.33 c Elapsed CPU time: 100.141 s Remaining CPU time: 79.8592 s 100.24/100.33 c =============================================================================== 100.24/100.33 c | 3134 | 45060 235728 498026 | 78576 1745 20 | 36.479 % | 100.34/100.45 c | 3234 | 45039 235728 498026 | 86433 1845 20 | 38.472 % | 100.44/100.51 c =============================================================================== 100.44/100.51 c New solution: 249 100.44/100.51 o 249 100.44/100.51 c Elapsed CPU time: 100.319 s Remaining CPU time: 79.6813 s 100.44/100.51 c =============================================================================== 100.44/100.51 c | 3242 | 44818 235729 498326 | 78576 1682 20 | 38.472 % | 100.44/100.57 c =============================================================================== 100.44/100.57 c New solution: 248 100.44/100.57 o 248 100.44/100.57 c Elapsed CPU time: 100.379 s Remaining CPU time: 79.6213 s 100.44/100.57 c =============================================================================== 100.44/100.57 c | 3251 | 44576 235730 498626 | 78576 1691 20 | 38.472 % | 100.54/100.63 c =============================================================================== 100.54/100.63 c New solution: 247 100.54/100.63 o 247 100.54/100.63 c Elapsed CPU time: 100.432 s Remaining CPU time: 79.5683 s 100.54/100.63 c =============================================================================== 100.54/100.63 c | 3258 | 44334 235731 498926 | 78577 1698 20 | 38.472 % | 100.54/100.69 c =============================================================================== 100.54/100.69 c New solution: 246 100.54/100.69 o 246 100.54/100.69 c Elapsed CPU time: 100.498 s Remaining CPU time: 79.5023 s 100.54/100.69 c =============================================================================== 100.54/100.69 c | 3269 | 44092 235732 499226 | 78577 1709 20 | 38.472 % | 100.64/100.75 c =============================================================================== 100.64/100.75 c New solution: 245 100.64/100.75 o 245 100.64/100.75 c Elapsed CPU time: 100.551 s Remaining CPU time: 79.4493 s 100.64/100.75 c =============================================================================== 100.64/100.75 c | 3280 | 43850 235733 499526 | 78577 1720 20 | 38.472 % | 100.74/100.81 c =============================================================================== 100.74/100.81 c New solution: 244 100.74/100.81 o 244 100.74/100.81 c Elapsed CPU time: 100.61 s Remaining CPU time: 79.3903 s 100.74/100.81 c =============================================================================== 100.74/100.81 c | 3301 | 43608 235734 499826 | 78578 1741 20 | 38.472 % | 100.84/100.92 c | 3401 | 43595 235734 499826 | 86435 1841 20 | 40.466 % | 100.84/100.98 c =============================================================================== 100.84/100.98 c New solution: 243 100.84/100.98 o 243 100.84/100.98 c Elapsed CPU time: 100.784 s Remaining CPU time: 79.2163 s 100.84/100.98 c =============================================================================== 100.84/100.98 c | 3424 | 43366 235735 500126 | 78578 1624 20 | 40.466 % | 100.94/101.04 c =============================================================================== 100.94/101.04 c New solution: 242 100.94/101.04 o 242 100.94/101.04 c Elapsed CPU time: 100.839 s Remaining CPU time: 79.1613 s 100.94/101.04 c =============================================================================== 100.94/101.04 c | 3442 | 43124 235736 500426 | 78578 1642 20 | 40.466 % | 101.04/101.12 c =============================================================================== 101.04/101.12 c New solution: 241 101.04/101.12 o 241 101.04/101.12 c Elapsed CPU time: 100.922 s Remaining CPU time: 79.0783 s 101.04/101.12 c =============================================================================== 101.04/101.12 c | 3502 | 42882 235737 500726 | 78579 1702 21 | 40.466 % | 101.14/101.21 c | 3602 | 42862 235737 500726 | 86436 1802 21 | 41.462 % | 101.14/101.27 c =============================================================================== 101.14/101.27 c New solution: 240 101.14/101.27 o 240 101.14/101.27 c Elapsed CPU time: 101.071 s Remaining CPU time: 78.9294 s 101.14/101.27 c =============================================================================== 101.14/101.27 c | 3621 | 42640 235738 501026 | 78579 1821 21 | 41.462 % | 101.23/101.32 c =============================================================================== 101.23/101.32 c New solution: 239 101.23/101.32 o 239 101.23/101.32 c Elapsed CPU time: 101.124 s Remaining CPU time: 78.8764 s 101.23/101.32 c =============================================================================== 101.23/101.32 c | 3640 | 42398 235739 501326 | 78579 1840 21 | 41.462 % | 101.33/101.42 c | 3741 | 42389 235739 501326 | 86437 1941 21 | 42.127 % | 101.33/101.48 c =============================================================================== 101.33/101.48 c New solution: 238 101.33/101.48 o 238 101.33/101.48 c Elapsed CPU time: 101.276 s Remaining CPU time: 78.7244 s 101.33/101.48 c =============================================================================== 101.33/101.48 c | 3750 | 42156 235740 501626 | 78580 1623 19 | 42.127 % | 101.43/101.53 c =============================================================================== 101.43/101.53 c New solution: 237 101.43/101.53 o 237 101.43/101.53 c Elapsed CPU time: 101.329 s Remaining CPU time: 78.6714 s 101.43/101.53 c =============================================================================== 101.43/101.53 c | 3768 | 41914 235741 501926 | 78580 1641 19 | 42.127 % | 101.53/101.61 c =============================================================================== 101.53/101.61 c New solution: 236 101.53/101.61 o 236 101.53/101.61 c Elapsed CPU time: 101.407 s Remaining CPU time: 78.5934 s 101.53/101.61 c =============================================================================== 101.53/101.61 c | 3811 | 41672 235742 502226 | 78580 1684 20 | 42.127 % | 101.53/101.68 c =============================================================================== 101.53/101.68 c New solution: 235 101.53/101.68 o 235 101.53/101.68 c Elapsed CPU time: 101.481 s Remaining CPU time: 78.5194 s 101.53/101.68 c =============================================================================== 101.53/101.68 c | 3823 | 41430 235743 502526 | 78581 1696 20 | 42.127 % | 101.64/101.73 c =============================================================================== 101.64/101.73 c New solution: 234 101.64/101.73 o 234 101.64/101.73 c Elapsed CPU time: 101.53 s Remaining CPU time: 78.4704 s 101.64/101.73 c =============================================================================== 101.64/101.73 c | 3832 | 41188 235744 502826 | 78581 1705 19 | 42.127 % | 101.74/101.80 c =============================================================================== 101.74/101.80 c New solution: 233 101.74/101.80 o 233 101.74/101.80 c Elapsed CPU time: 101.593 s Remaining CPU time: 78.4074 s 101.74/101.80 c =============================================================================== 101.74/101.80 c | 3848 | 40946 235745 503126 | 78581 1721 19 | 42.127 % | 101.74/101.85 c =============================================================================== 101.74/101.85 c New solution: 232 101.74/101.85 o 232 101.74/101.86 c Elapsed CPU time: 101.649 s Remaining CPU time: 78.3515 s 101.74/101.86 c =============================================================================== 101.74/101.86 c | 3854 | 40704 235746 503426 | 78582 1727 19 | 42.127 % | 101.83/101.91 c =============================================================================== 101.83/101.91 c New solution: 231 101.83/101.91 o 231 101.83/101.91 c Elapsed CPU time: 101.705 s Remaining CPU time: 78.2955 s 101.83/101.91 c =============================================================================== 101.83/101.91 c | 3873 | 40462 235747 503726 | 78582 1746 19 | 42.127 % | 101.93/102.02 c | 3973 | 40453 235747 503726 | 86440 1846 20 | 44.785 % | 101.93/102.07 c =============================================================================== 101.93/102.07 c New solution: 230 101.93/102.07 o 230 101.93/102.07 c Elapsed CPU time: 101.867 s Remaining CPU time: 78.1335 s 101.93/102.07 c =============================================================================== 101.93/102.07 c | 3992 | 40220 235748 504026 | 78582 1315 17 | 44.785 % | 102.03/102.13 c =============================================================================== 102.03/102.13 c New solution: 229 102.03/102.13 o 229 102.03/102.13 c Elapsed CPU time: 101.924 s Remaining CPU time: 78.0765 s 102.03/102.13 c =============================================================================== 102.03/102.13 c | 4018 | 39978 235749 504326 | 78583 1341 17 | 44.785 % | 102.14/102.23 c | 4118 | 39972 235749 504326 | 86441 1441 18 | 45.449 % | 102.14/102.29 c =============================================================================== 102.14/102.29 c New solution: 228 102.14/102.29 o 228 102.14/102.29 c Elapsed CPU time: 102.077 s Remaining CPU time: 77.9225 s 102.14/102.29 c =============================================================================== 102.14/102.29 c | 4134 | 39736 235750 504626 | 78583 1457 18 | 45.449 % | 102.24/102.34 c =============================================================================== 102.24/102.34 c New solution: 227 102.24/102.34 o 227 102.24/102.34 c Elapsed CPU time: 102.134 s Remaining CPU time: 77.8655 s 102.24/102.34 c =============================================================================== 102.24/102.34 c | 4146 | 39494 235751 504926 | 78583 1469 18 | 45.449 % | 102.33/102.40 c =============================================================================== 102.33/102.40 c New solution: 226 102.33/102.40 o 226 102.33/102.40 c Elapsed CPU time: 102.187 s Remaining CPU time: 77.8125 s 102.33/102.40 c =============================================================================== 102.33/102.40 c | 4163 | 39252 235752 505226 | 78584 1486 17 | 45.449 % | 102.33/102.47 c =============================================================================== 102.33/102.47 c New solution: 225 102.33/102.47 o 225 102.33/102.47 c Elapsed CPU time: 102.258 s Remaining CPU time: 77.7415 s 102.33/102.47 c =============================================================================== 102.33/102.47 c | 4197 | 38962 235753 505526 | 78584 1520 17 | 45.449 % | 102.43/102.55 c =============================================================================== 102.43/102.55 c New solution: 224 102.43/102.55 o 224 102.43/102.55 c Elapsed CPU time: 102.335 s Remaining CPU time: 77.6646 s 102.43/102.55 c =============================================================================== 102.43/102.55 c | 4231 | 38728 235754 505826 | 78584 1266 17 | 45.449 % | 102.53/102.61 c =============================================================================== 102.53/102.61 c New solution: 223 102.53/102.61 o 223 102.53/102.61 c Elapsed CPU time: 102.4 s Remaining CPU time: 77.5996 s 102.53/102.61 c =============================================================================== 102.53/102.61 c | 4268 | 38494 235755 506126 | 78585 1303 17 | 45.449 % | 102.53/102.69 c =============================================================================== 102.53/102.69 c New solution: 222 102.53/102.69 o 222 102.53/102.69 c Elapsed CPU time: 102.475 s Remaining CPU time: 77.5246 s 102.53/102.69 c =============================================================================== 102.53/102.69 c | 4304 | 38230 235756 506426 | 78585 1339 17 | 45.449 % | 102.63/102.74 c =============================================================================== 102.63/102.74 c New solution: 221 102.63/102.74 o 221 102.63/102.74 c Elapsed CPU time: 102.525 s Remaining CPU time: 77.4746 s 102.63/102.74 c =============================================================================== 102.63/102.74 c | 4316 | 37996 235757 506726 | 78585 1351 17 | 45.449 % | 102.73/102.80 c =============================================================================== 102.73/102.80 c New solution: 220 102.73/102.80 o 220 102.73/102.80 c Elapsed CPU time: 102.585 s Remaining CPU time: 77.4146 s 102.73/102.80 c =============================================================================== 102.73/102.80 c | 4336 | 37772 235758 507026 | 78586 1371 17 | 45.449 % | 102.73/102.88 c =============================================================================== 102.73/102.88 c New solution: 219 102.73/102.88 o 219 102.73/102.88 c Elapsed CPU time: 102.669 s Remaining CPU time: 77.3306 s 102.73/102.88 c =============================================================================== 102.73/102.88 c | 4383 | 37548 235759 507326 | 78586 1418 17 | 45.449 % | 102.83/102.94 c =============================================================================== 102.83/102.94 c New solution: 218 102.83/102.94 o 218 102.83/102.94 c Elapsed CPU time: 102.722 s Remaining CPU time: 77.2776 s 102.83/102.94 c =============================================================================== 102.83/102.94 c | 4402 | 37316 235760 507626 | 78586 1437 17 | 45.449 % | 102.93/103.00 c =============================================================================== 102.93/103.00 c New solution: 217 102.93/103.00 o 217 102.93/103.00 c Elapsed CPU time: 102.788 s Remaining CPU time: 77.2116 s 102.93/103.00 c =============================================================================== 102.93/103.00 c | 4430 | 37074 235761 507926 | 78587 1173 17 | 45.449 % | 103.03/103.10 c | 4530 | 37067 235761 507926 | 86445 1273 18 | 49.436 % | 103.03/103.16 c =============================================================================== 103.03/103.16 c New solution: 216 103.03/103.16 o 216 103.03/103.16 c Elapsed CPU time: 102.941 s Remaining CPU time: 77.0587 s 103.03/103.16 c =============================================================================== 103.03/103.16 c | 4554 | 36832 235762 508226 | 78587 1297 18 | 49.436 % | 103.13/103.24 c =============================================================================== 103.13/103.24 c New solution: 215 103.13/103.24 o 215 103.13/103.24 c Elapsed CPU time: 103.027 s Remaining CPU time: 76.9727 s 103.13/103.24 c =============================================================================== 103.13/103.24 c | 4652 | 36590 235763 508526 | 78587 1395 18 | 49.436 % | 103.23/103.33 c | 4752 | 36581 235763 508526 | 86446 1495 18 | 50.100 % | 103.23/103.39 c =============================================================================== 103.23/103.39 c New solution: 214 103.23/103.39 o 214 103.23/103.39 c Elapsed CPU time: 103.172 s Remaining CPU time: 76.8277 s 103.23/103.39 c =============================================================================== 103.23/103.39 c | 4763 | 36348 235764 508826 | 78588 1352 17 | 50.100 % | 103.33/103.44 c =============================================================================== 103.33/103.44 c New solution: 213 103.33/103.44 o 213 103.33/103.44 c Elapsed CPU time: 103.224 s Remaining CPU time: 76.7757 s 103.33/103.44 c =============================================================================== 103.33/103.44 c | 4780 | 36106 235765 509126 | 78588 1369 17 | 50.100 % | 103.33/103.49 c =============================================================================== 103.33/103.49 c New solution: 212 103.33/103.49 o 212 103.33/103.49 c Elapsed CPU time: 103.276 s Remaining CPU time: 76.7237 s 103.33/103.49 c =============================================================================== 103.33/103.49 c | 4800 | 35864 235766 509426 | 78588 1389 17 | 50.100 % | 103.42/103.57 c | 4900 | 35853 235766 509426 | 86447 1489 18 | 51.097 % | 103.53/103.64 c =============================================================================== 103.53/103.64 c New solution: 211 103.53/103.64 o 211 103.53/103.64 c Elapsed CPU time: 103.416 s Remaining CPU time: 76.5837 s 103.53/103.64 c =============================================================================== 103.53/103.64 c | 4929 | 35622 235767 509726 | 78589 1518 18 | 51.097 % | 103.63/103.70 c =============================================================================== 103.63/103.70 c New solution: 210 103.63/103.70 o 210 103.63/103.70 c Elapsed CPU time: 103.48 s Remaining CPU time: 76.5197 s 103.63/103.70 c =============================================================================== 103.63/103.70 c | 4937 | 35372 235768 510026 | 78589 1526 18 | 51.097 % | 103.63/103.75 c =============================================================================== 103.63/103.75 c New solution: 209 103.63/103.75 o 209 103.63/103.75 c Elapsed CPU time: 103.531 s Remaining CPU time: 76.4687 s 103.63/103.75 c =============================================================================== 103.63/103.75 c | 4947 | 35138 235769 510326 | 78589 1536 18 | 51.097 % | 103.73/103.83 c =============================================================================== 103.73/103.83 c New solution: 208 103.73/103.83 o 208 103.73/103.83 c Elapsed CPU time: 103.607 s Remaining CPU time: 76.3928 s 103.73/103.83 c =============================================================================== 103.73/103.83 c | 4982 | 34896 235770 510626 | 78590 1571 19 | 51.097 % | 103.73/103.88 c =============================================================================== 103.73/103.88 c New solution: 207 103.73/103.88 o 207 103.73/103.88 c Elapsed CPU time: 103.657 s Remaining CPU time: 76.3428 s 103.73/103.88 c =============================================================================== 103.73/103.88 c | 4994 | 34654 235771 510926 | 78590 1215 17 | 51.097 % | 103.83/103.93 c | 5094 | 34622 235771 510926 | 86449 1315 18 | 52.758 % | 103.93/104.09 c | 5244 | 34616 235771 510926 | 95094 1465 20 | 52.758 % | 104.03/104.15 c =============================================================================== 104.03/104.15 c New solution: 206 104.03/104.15 o 206 104.03/104.15 c Elapsed CPU time: 103.921 s Remaining CPU time: 76.0788 s 104.03/104.15 c =============================================================================== 104.03/104.15 c | 5270 | 34412 235772 511226 | 78590 1491 20 | 52.758 % | 104.12/104.20 c =============================================================================== 104.12/104.20 c New solution: 205 104.12/104.20 o 205 104.12/104.20 c Elapsed CPU time: 103.972 s Remaining CPU time: 76.0278 s 104.12/104.20 c =============================================================================== 104.12/104.20 c | 5278 | 34170 235773 511526 | 78591 1499 20 | 52.758 % | 104.12/104.26 c =============================================================================== 104.12/104.26 c New solution: 204 104.12/104.26 o 204 104.12/104.26 c Elapsed CPU time: 104.03 s Remaining CPU time: 75.9698 s 104.12/104.26 c =============================================================================== 104.12/104.26 c | 5307 | 33928 235774 511826 | 78591 1528 20 | 52.758 % | 104.22/104.35 c | 5407 | 33921 235774 511826 | 86450 1628 20 | 53.755 % | 104.33/104.43 c =============================================================================== 104.33/104.43 c New solution: 203 104.33/104.43 o 203 104.33/104.43 c Elapsed CPU time: 104.197 s Remaining CPU time: 75.8028 s 104.33/104.43 c =============================================================================== 104.33/104.43 c | 5478 | 33686 235775 512126 | 78591 1486 19 | 53.755 % | 104.33/104.49 c =============================================================================== 104.33/104.49 c New solution: 202 104.33/104.49 o 202 104.33/104.49 c Elapsed CPU time: 104.264 s Remaining CPU time: 75.7359 s 104.33/104.49 c =============================================================================== 104.33/104.49 c | 5519 | 33444 235776 512426 | 78592 1527 19 | 53.755 % | 104.43/104.58 c =============================================================================== 104.43/104.58 c New solution: 201 104.43/104.58 o 201 104.43/104.58 c Elapsed CPU time: 104.353 s Remaining CPU time: 75.6469 s 104.43/104.58 c =============================================================================== 104.43/104.58 c | 5568 | 33202 235777 512726 | 78592 1576 19 | 53.755 % | 104.52/104.65 c =============================================================================== 104.52/104.65 c New solution: 200 104.52/104.65 o 200 104.52/104.65 c Elapsed CPU time: 104.416 s Remaining CPU time: 75.5839 s 104.52/104.65 c =============================================================================== 104.52/104.65 c | 5590 | 32960 235778 513026 | 78592 1598 19 | 53.755 % | 104.62/104.71 c =============================================================================== 104.62/104.71 c New solution: 199 104.62/104.71 o 199 104.62/104.71 c Elapsed CPU time: 104.481 s Remaining CPU time: 75.5189 s 104.62/104.71 c =============================================================================== 104.62/104.71 c | 5610 | 32718 235779 513326 | 78593 1618 19 | 53.755 % | 104.62/104.78 c | 5710 | 32714 235779 513326 | 86452 1718 19 | 55.416 % | 104.82/104.98 c | 5864 | 32476 235779 513326 | 95097 1544 18 | 55.416 % | 104.92/105.04 c =============================================================================== 104.92/105.04 c New solution: 198 104.92/105.04 o 198 104.92/105.04 c Elapsed CPU time: 104.806 s Remaining CPU time: 75.1939 s 104.92/105.04 c =============================================================================== 104.92/105.04 c | 5882 | 32476 235780 513626 | 78593 1562 18 | 55.416 % | 104.92/105.09 c =============================================================================== 104.92/105.09 c New solution: 197 104.92/105.09 o 197 104.92/105.09 c Elapsed CPU time: 104.863 s Remaining CPU time: 75.1369 s 104.92/105.09 c =============================================================================== 104.92/105.09 c | 5903 | 32234 235781 513926 | 78593 1583 18 | 55.416 % | 105.02/105.17 c | 6003 | 32196 235781 513926 | 86453 1683 19 | 56.080 % | 105.12/105.29 c | 6153 | 31992 235781 513926 | 95098 1693 20 | 56.080 % | 105.22/105.35 c =============================================================================== 105.22/105.35 c New solution: 196 105.22/105.35 o 196 105.22/105.35 c Elapsed CPU time: 105.115 s Remaining CPU time: 74.885 s 105.22/105.35 c =============================================================================== 105.22/105.35 c | 6187 | 31992 235782 514226 | 78594 1727 20 | 56.080 % | 105.33/105.40 c | 6290 | 31991 235782 514226 | 86453 1830 20 | 56.413 % | 105.43/105.53 c | 6441 | 31981 235782 514226 | 95098 1981 20 | 56.413 % | 105.43/105.59 c =============================================================================== 105.43/105.59 c New solution: 195 105.43/105.59 o 195 105.43/105.59 c Elapsed CPU time: 105.348 s Remaining CPU time: 74.652 s 105.43/105.59 c =============================================================================== 105.43/105.59 c | 6455 | 31750 235783 514526 | 78594 1911 20 | 56.413 % | 105.53/105.64 c =============================================================================== 105.53/105.64 c New solution: 194 105.53/105.64 o 194 105.53/105.64 c Elapsed CPU time: 105.406 s Remaining CPU time: 74.594 s 105.53/105.64 c =============================================================================== 105.53/105.64 c | 6481 | 31508 235784 514826 | 78594 1937 19 | 56.413 % | 105.62/105.73 c =============================================================================== 105.62/105.73 c New solution: 193 105.62/105.73 o 193 105.62/105.73 c Elapsed CPU time: 105.493 s Remaining CPU time: 74.507 s 105.62/105.73 c =============================================================================== 105.62/105.73 c | 6565 | 31266 235785 515126 | 78595 2021 19 | 56.413 % | 105.72/105.82 c | 6665 | 31258 235785 515126 | 86454 2121 20 | 57.409 % | 105.72/105.87 c =============================================================================== 105.72/105.87 c New solution: 192 105.72/105.87 o 192 105.72/105.87 c Elapsed CPU time: 105.633 s Remaining CPU time: 74.3671 s 105.72/105.87 c =============================================================================== 105.72/105.87 c | 6679 | 31024 235786 515426 | 78595 2135 20 | 57.409 % | 105.82/105.92 c =============================================================================== 105.82/105.92 c New solution: 191 105.82/105.92 o 191 105.82/105.92 c Elapsed CPU time: 105.685 s Remaining CPU time: 74.3151 s 105.82/105.92 c =============================================================================== 105.82/105.92 c | 6684 | 30782 235787 515726 | 78595 2140 20 | 57.409 % | 105.82/105.98 c | 6784 | 30776 235787 515726 | 86455 2240 20 | 58.074 % | 106.02/106.15 c | 6936 | 30540 235787 515726 | 95100 2071 20 | 58.074 % | 106.12/106.22 c =============================================================================== 106.12/106.22 c New solution: 190 106.12/106.22 o 190 106.12/106.22 c Elapsed CPU time: 105.978 s Remaining CPU time: 74.0221 s 106.12/106.22 c =============================================================================== 106.12/106.22 c | 7001 | 30540 235788 516026 | 78596 2136 20 | 58.074 % | 106.22/106.32 c | 7102 | 30534 235788 516026 | 86455 2237 20 | 58.406 % | 106.32/106.47 c | 7253 | 30528 235788 516026 | 95101 2388 20 | 58.406 % | 106.42/106.52 c =============================================================================== 106.42/106.52 c New solution: 189 106.42/106.52 o 189 106.42/106.52 c Elapsed CPU time: 106.279 s Remaining CPU time: 73.7212 s 106.42/106.52 c =============================================================================== 106.42/106.52 c | 7261 | 30298 235789 516326 | 78596 2331 20 | 58.406 % | 106.42/106.59 c =============================================================================== 106.42/106.59 c New solution: 188 106.42/106.59 o 188 106.42/106.59 c Elapsed CPU time: 106.348 s Remaining CPU time: 73.6522 s 106.42/106.59 c =============================================================================== 106.42/106.59 c | 7313 | 30056 235790 516626 | 78596 2383 20 | 58.406 % | 106.53/106.69 c | 7414 | 30051 235790 516626 | 86456 2484 20 | 59.070 % | 106.63/106.74 c =============================================================================== 106.63/106.74 c New solution: 187 106.63/106.74 o 187 106.63/106.74 c Elapsed CPU time: 106.497 s Remaining CPU time: 73.5032 s 106.63/106.74 c =============================================================================== 106.63/106.74 c | 7425 | 29814 235791 516926 | 78597 2495 20 | 59.070 % | 106.72/106.81 c =============================================================================== 106.72/106.81 c New solution: 186 106.72/106.81 o 186 106.72/106.81 c Elapsed CPU time: 106.568 s Remaining CPU time: 73.4322 s 106.72/106.81 c =============================================================================== 106.72/106.81 c | 7464 | 29572 235792 517226 | 78597 2534 20 | 59.070 % | 106.82/106.92 c | 7564 | 29320 235792 517226 | 86457 2300 19 | 59.749 % | 106.82/106.97 c =============================================================================== 106.82/106.97 c New solution: 185 106.82/106.97 o 185 106.82/106.97 c Elapsed CPU time: 106.724 s Remaining CPU time: 73.2762 s 106.82/106.97 c =============================================================================== 106.82/106.97 c | 7578 | 29320 235793 517526 | 78597 2314 19 | 59.749 % | 106.91/107.04 c | 7678 | 29276 235793 517526 | 86457 2414 21 | 60.067 % | 107.02/107.18 c | 7831 | 29273 235793 517526 | 95103 2567 22 | 60.067 % | 107.22/107.37 c =============================================================================== 107.22/107.37 c New solution: 184 107.22/107.37 o 184 107.22/107.37 c Elapsed CPU time: 107.12 s Remaining CPU time: 72.8803 s 107.22/107.37 c =============================================================================== 107.22/107.37 c | 8019 | 29088 235794 517826 | 78598 2755 22 | 60.067 % | 107.32/107.49 c | 8121 | 28846 235794 517826 | 86457 2661 22 | 60.399 % | 107.42/107.54 c =============================================================================== 107.42/107.54 c New solution: 183 107.42/107.54 o 183 107.42/107.54 c Elapsed CPU time: 107.285 s Remaining CPU time: 72.7153 s 107.42/107.54 c =============================================================================== 107.42/107.54 c | 8132 | 28846 235795 518126 | 78598 2672 22 | 60.399 % | 107.42/107.59 c =============================================================================== 107.42/107.59 c New solution: 182 107.42/107.59 o 182 107.42/107.59 c Elapsed CPU time: 107.338 s Remaining CPU time: 72.6623 s 107.42/107.59 c =============================================================================== 107.42/107.59 c | 8148 | 28604 235796 518426 | 78598 2688 22 | 60.399 % | 107.52/107.67 c | 8248 | 28603 235796 518426 | 86458 2788 22 | 61.064 % | 107.63/107.74 c =============================================================================== 107.63/107.74 c New solution: 181 107.63/107.74 o 181 107.63/107.74 c Elapsed CPU time: 107.489 s Remaining CPU time: 72.5113 s 107.63/107.74 c =============================================================================== 107.63/107.74 c | 8289 | 28362 235797 518726 | 78599 2829 22 | 61.064 % | 107.63/107.79 c =============================================================================== 107.63/107.79 c New solution: 180 107.63/107.79 o 180 107.63/107.79 c Elapsed CPU time: 107.539 s Remaining CPU time: 72.4613 s 107.63/107.79 c =============================================================================== 107.63/107.79 c | 8311 | 28120 235798 519026 | 78599 2851 22 | 61.064 % | 107.72/107.87 c | 8413 | 28104 235798 519026 | 86459 2953 22 | 61.728 % | 107.92/108.00 c | 8563 | 27878 235798 519026 | 95105 2781 21 | 61.728 % | 107.92/108.08 c =============================================================================== 107.92/108.08 c New solution: 179 107.92/108.08 o 179 107.92/108.08 c Elapsed CPU time: 107.82 s Remaining CPU time: 72.1804 s 107.92/108.08 c =============================================================================== 107.92/108.08 c | 8632 | 27878 235799 519326 | 78599 2850 22 | 61.728 % | 108.01/108.16 c | 8732 | 27873 235799 519326 | 86459 2950 22 | 62.060 % | 108.11/108.26 c =============================================================================== 108.11/108.26 c New solution: 178 108.11/108.26 o 178 108.11/108.26 c Elapsed CPU time: 108.003 s Remaining CPU time: 71.9974 s 108.11/108.26 c =============================================================================== 108.11/108.26 c | 8840 | 27636 235800 519626 | 78600 3058 22 | 62.060 % | 108.21/108.38 c | 8940 | 27622 235800 519626 | 86460 3158 22 | 62.393 % | 108.31/108.46 c =============================================================================== 108.31/108.46 c New solution: 177 108.31/108.46 o 177 108.31/108.46 c Elapsed CPU time: 108.199 s Remaining CPU time: 71.8014 s 108.31/108.46 c =============================================================================== 108.31/108.46 c | 8977 | 27394 235801 519926 | 78600 3027 22 | 62.393 % | 108.41/108.56 c | 9079 | 27390 235801 519926 | 86460 3129 21 | 62.725 % | 108.51/108.62 c =============================================================================== 108.51/108.62 c New solution: 176 108.51/108.62 o 176 108.51/108.62 c Elapsed CPU time: 108.357 s Remaining CPU time: 71.6435 s 108.51/108.62 c =============================================================================== 108.51/108.62 c | 9102 | 27152 235802 520226 | 78600 3152 22 | 62.725 % | 108.51/108.68 c | 9203 | 27137 235802 520226 | 86460 3253 22 | 63.057 % | 108.72/108.83 c | 9354 | 27134 235802 520226 | 95106 3404 22 | 63.057 % | 108.83/108.92 c =============================================================================== 108.83/108.92 c New solution: 175 108.83/108.92 o 175 108.83/108.92 c Elapsed CPU time: 108.662 s Remaining CPU time: 71.3375 s 108.83/108.92 c =============================================================================== 108.83/108.92 c | 9454 | 26910 235803 520526 | 78601 3303 21 | 63.057 % | 108.92/109.01 c | 9554 | 26903 235803 520526 | 86461 3403 22 | 63.389 % | 109.02/109.16 c | 9705 | 26892 235803 520526 | 95107 3554 22 | 63.476 % | 109.22/109.31 c | 9931 | 26880 235803 520526 | 104617 3780 23 | 63.476 % | 109.52/109.60 c | 10268 | 26605 235803 520526 | 115079 4009 23 | 63.476 % | 109.52/109.68 c =============================================================================== 109.52/109.68 c New solution: 174 109.52/109.68 o 174 109.52/109.68 c Elapsed CPU time: 109.413 s Remaining CPU time: 70.5866 s 109.52/109.68 c =============================================================================== 109.52/109.68 c | 10324 | 26605 235804 520826 | 78601 4065 23 | 63.476 % | 109.62/109.75 c | 10426 | 26605 235804 520826 | 86461 4167 23 | 63.808 % | 109.72/109.88 c | 10579 | 26363 235804 520826 | 95107 4249 23 | 63.808 % | 109.92/110.03 c | 10805 | 26360 235804 520826 | 104618 4475 23 | 63.932 % | 110.01/110.10 c =============================================================================== 110.01/110.10 c New solution: 173 110.01/110.10 o 173 110.01/110.10 c Elapsed CPU time: 109.829 s Remaining CPU time: 70.1707 s 110.01/110.10 c =============================================================================== 110.01/110.10 c | 10847 | 26273 235805 521126 | 78601 4517 23 | 63.932 % | 110.01/110.18 c | 10949 | 26267 235805 521126 | 86461 4619 23 | 64.264 % | 110.21/110.35 c | 11099 | 26031 235805 521126 | 95108 4697 23 | 64.264 % | 110.51/110.60 c | 11324 | 26031 235805 521126 | 104618 4922 23 | 64.264 % | 110.61/110.77 c | 11661 | 26031 235805 521126 | 115080 5259 23 | 64.264 % | 111.22/111.39 c | 12167 | 26031 235805 521126 | 126588 5765 25 | 64.264 % | 111.52/111.63 c =============================================================================== 111.52/111.63 c New solution: 172 111.52/111.63 o 172 111.52/111.63 c Elapsed CPU time: 111.35 s Remaining CPU time: 68.6499 s 111.52/111.63 c =============================================================================== 111.52/111.63 c | 12409 | 26031 235806 521426 | 78602 6007 26 | 64.264 % | 111.61/111.73 c | 12510 | 25789 235806 521426 | 86462 5994 25 | 64.596 % | 111.71/111.83 c | 12661 | 25789 235806 521426 | 95108 6145 25 | 64.596 % | 111.91/112.08 c | 12886 | 25788 235806 521426 | 104619 6370 25 | 64.623 % | 112.21/112.32 c | 13224 | 25769 235806 521426 | 115081 6683 26 | 64.623 % | 112.61/112.79 c | 13730 | 25665 235806 521426 | 126589 7188 26 | 64.766 % | 113.01/113.14 c =============================================================================== 113.01/113.14 c New solution: 171 113.01/113.14 o 171 113.01/113.14 c Elapsed CPU time: 112.852 s Remaining CPU time: 67.1482 s 113.01/113.14 c =============================================================================== 113.01/113.14 c | 14124 | 25665 235807 521726 | 78602 7582 26 | 64.766 % | 113.12/113.21 c | 14224 | 25655 235807 521726 | 86462 7682 26 | 65.085 % | 113.22/113.36 c | 14375 | 25429 235807 521726 | 95108 7547 25 | 65.112 % | 113.41/113.55 c | 14600 | 25429 235807 521726 | 104619 7772 25 | 65.112 % | 113.71/113.82 c =============================================================================== 113.71/113.82 c New solution: 170 113.71/113.82 o 170 113.71/113.82 c Elapsed CPU time: 113.528 s Remaining CPU time: 66.4723 s 113.71/113.82 c =============================================================================== 113.71/113.82 c | 14877 | 25413 235808 522026 | 78602 8049 25 | 65.112 % | 113.81/113.94 c | 14978 | 25171 235808 522026 | 86462 7875 25 | 65.444 % | 113.91/114.08 c | 15128 | 25171 235808 522026 | 95109 8025 25 | 65.444 % | 114.11/114.23 c =============================================================================== 114.11/114.23 c New solution: 169 114.11/114.23 o 169 114.11/114.23 c Elapsed CPU time: 113.932 s Remaining CPU time: 66.0683 s 114.11/114.23 c =============================================================================== 114.11/114.23 c | 15250 | 25171 235809 522326 | 78603 8147 25 | 65.444 % | 114.21/114.37 c | 15351 | 25166 235809 522326 | 86463 8248 25 | 65.763 % | 114.31/114.48 c | 15501 | 24939 235809 522326 | 95109 8251 24 | 65.763 % | 114.60/114.73 c | 15726 | 24939 235809 522326 | 104620 8476 25 | 65.763 % | 114.90/115.06 c | 16064 | 24939 235809 522326 | 115082 8814 26 | 65.763 % | 115.21/115.39 c | 16573 | 24939 235809 522326 | 126590 9323 27 | 65.763 % | 115.81/115.98 c | 17335 | 24939 235809 522326 | 139250 10085 28 | 65.763 % | 116.11/116.23 c =============================================================================== 116.11/116.23 c New solution: 168 116.11/116.23 o 168 116.11/116.23 c Elapsed CPU time: 115.924 s Remaining CPU time: 64.0756 s 116.11/116.23 c =============================================================================== 116.11/116.23 c | 17617 | 24939 235810 522626 | 78603 10367 28 | 65.763 % | 116.21/116.34 c | 17718 | 24707 235810 522626 | 86463 10281 28 | 66.081 % | 116.41/116.51 c | 17868 | 24707 235810 522626 | 95110 10431 28 | 66.081 % | 116.60/116.73 c | 18094 | 24707 235810 522626 | 104621 10657 28 | 66.081 % | 116.91/117.08 c | 18431 | 24707 235810 522626 | 115083 10994 28 | 66.081 % | 117.41/117.59 c | 18937 | 24707 235810 522626 | 126591 11500 29 | 66.081 % | 117.81/117.93 c =============================================================================== 117.81/117.93 c New solution: 167 117.81/117.93 o 167 117.81/117.93 c Elapsed CPU time: 117.621 s Remaining CPU time: 62.3789 s 117.81/117.93 c =============================================================================== 117.81/117.93 c | 19448 | 24707 235811 522926 | 78603 12011 30 | 66.081 % | 117.91/118.05 c | 19548 | 24445 235811 522926 | 86464 11640 28 | 66.441 % | 118.01/118.11 c =============================================================================== 118.01/118.11 c New solution: 166 118.01/118.11 o 166 118.01/118.11 c Elapsed CPU time: 117.796 s Remaining CPU time: 62.2039 s 118.01/118.11 c =============================================================================== 118.01/118.11 c | 19575 | 24445 235812 523226 | 78604 11667 28 | 66.441 % | 118.11/118.22 c | 19675 | 24444 235812 523226 | 86464 11767 28 | 66.760 % | 118.21/118.36 c | 19825 | 24435 235812 523226 | 95110 11917 28 | 66.760 % | 118.51/118.60 c | 20050 | 24426 235812 523226 | 104621 12142 28 | 66.760 % | 118.91/119.08 c | 20388 | 24213 235812 523226 | 115084 12258 28 | 66.760 % | 119.01/119.15 c =============================================================================== 119.01/119.15 c New solution: 165 119.01/119.15 o 165 119.01/119.15 c Elapsed CPU time: 118.831 s Remaining CPU time: 61.1691 s 119.01/119.15 c =============================================================================== 119.01/119.15 c | 20422 | 24213 235813 523526 | 78604 12292 28 | 66.760 % | 119.20/119.30 c | 20523 | 24201 235813 523526 | 86464 12393 28 | 67.078 % | 119.40/119.53 c | 20674 | 23961 235813 523526 | 95111 12217 28 | 67.106 % | 119.72/119.82 c | 20899 | 23961 235813 523526 | 104622 12442 28 | 67.106 % | 120.11/120.21 c | 21239 | 23961 235813 523526 | 115084 12782 29 | 67.106 % | 120.31/120.47 c | 21746 | 23961 235813 523526 | 126593 13289 29 | 67.106 % | 121.21/121.32 c | 22505 | 23961 235813 523526 | 139252 14048 29 | 67.106 % | 122.50/122.62 c | 23644 | 23961 235813 523526 | 153177 15187 35 | 67.106 % | 124.60/124.79 c | 25353 | 23961 235813 523526 | 168495 16896 36 | 67.106 % | 127.51/127.66 c | 27916 | 23961 235813 523526 | 185344 19459 41 | 67.106 % | 131.81/131.96 c | 31761 | 23961 235813 523526 | 203879 23304 45 | 67.106 % | 140.60/140.76 c | 37527 | 23933 235813 523526 | 224267 29042 46 | 67.144 % | 141.71/141.81 c =============================================================================== 141.71/141.81 c New solution: 164 141.71/141.81 o 164 141.71/141.81 c Elapsed CPU time: 141.422 s Remaining CPU time: 38.5785 s 141.71/141.81 c =============================================================================== 141.71/141.81 c | 38413 | 23933 235814 523826 | 78604 29928 45 | 67.144 % | 141.81/141.98 c | 38513 | 23729 235814 523826 | 86465 29541 44 | 67.424 % | 142.00/142.16 c | 38666 | 23729 235814 523826 | 95111 29694 44 | 67.424 % | 142.20/142.38 c | 38891 | 23729 235814 523826 | 104622 29919 44 | 67.424 % | 142.90/143.05 c | 39229 | 23729 235814 523826 | 115085 30257 44 | 67.424 % | 143.50/143.67 c | 39735 | 23729 235814 523826 | 126593 30763 44 | 67.424 % | 145.10/145.28 c | 40497 | 23729 235814 523826 | 139252 31525 45 | 67.424 % | 146.21/146.30 c | 41636 | 23729 235814 523826 | 153178 32664 45 | 67.424 % | 149.70/149.80 c | 43345 | 23729 235814 523826 | 168496 34373 45 | 67.424 % | 153.50/153.68 c | 45907 | 23729 235814 523826 | 185345 36935 47 | 67.424 % | 159.00/159.18 c | 49752 | 23729 235814 523826 | 203880 40780 46 | 67.424 % | 163.71/163.86 c | 55519 | 23729 235814 523826 | 224268 46547 49 | 67.424 % | 180.30/180.49 c There are 49113 assigned variables. 248 in cost function. 181.79/181.98 c core #1 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 104 Core Weight: 112 Total Weight: 112 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #2 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 186 Core Weight: 1 Total Weight: 113 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #3 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 178 Core Weight: 1 Total Weight: 114 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #4 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 175 Core Weight: 1 Total Weight: 115 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #5 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 169 Core Weight: 1 Total Weight: 116 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #6 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 164 Core Weight: 1 Total Weight: 117 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #7 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 164 Core Weight: 1 Total Weight: 118 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c core #8 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c Core size: 169 Core Weight: 1 Total Weight: 119 181.79/181.98 c 181.79/181.98 c 181.79/181.98 c ============================[ Search Statistics ]============================== 181.79/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.79/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.79/181.98 c =============================================================================== 181.79/181.98 c | 0 | 12674 116112 169123 | 38704 0 nan | 0.000 % | 181.79/181.99 c =============================================================================== 181.99/182.15 c core #9 181.99/182.15 c 181.99/182.15 c 181.99/182.15 c Core size: 190 Core Weight: 1 Total Weight: 120 181.99/182.15 c 181.99/182.15 c 181.99/182.15 c ============================[ Search Statistics ]============================== 181.99/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.99/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.99/182.15 c =============================================================================== 181.99/182.15 c | 0 | 13338 116156 169403 | 38718 0 nan | 0.000 % | 181.99/182.15 c =============================================================================== 182.19/182.32 c core #10 182.19/182.32 c 182.19/182.32 c 182.19/182.32 c Core size: 235 Core Weight: 1 Total Weight: 121 182.19/182.32 c 182.19/182.32 c 182.19/182.32 c ============================[ Search Statistics ]============================== 182.19/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.19/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.19/182.32 c =============================================================================== 182.19/182.32 c | 0 | 13972 116199 169710 | 38733 0 nan | 0.000 % | 182.19/182.34 c =============================================================================== 182.28/182.49 c core #11 182.28/182.49 c 182.28/182.49 c 182.28/182.49 c Core size: 253 Core Weight: 1 Total Weight: 122 182.28/182.49 c 182.28/182.49 c 182.28/182.49 c ============================[ Search Statistics ]============================== 182.28/182.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.28/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.28/182.50 c =============================================================================== 182.28/182.50 c | 0 | 14331 116241 169996 | 38747 0 nan | 0.000 % | 182.39/182.51 c =============================================================================== 182.49/182.67 c core #12 182.49/182.67 c 182.49/182.67 c 182.49/182.67 c Core size: 234 Core Weight: 1 Total Weight: 123 182.49/182.67 c 182.49/182.67 c 182.49/182.67 c ============================[ Search Statistics ]============================== 182.49/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.49/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.49/182.67 c =============================================================================== 182.49/182.67 c | 0 | 14614 116282 170275 | 38760 0 nan | 0.000 % | 182.59/182.70 c =============================================================================== 182.69/182.86 c core #13 182.69/182.86 c 182.69/182.86 c 182.69/182.86 c Core size: 368 Core Weight: 1 Total Weight: 124 182.69/182.86 c 182.69/182.86 c 182.69/182.86 c ============================[ Search Statistics ]============================== 182.69/182.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.69/182.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.69/182.86 c =============================================================================== 182.69/182.86 c | 0 | 14896 116322 170558 | 38774 0 nan | 0.000 % | 182.79/182.90 c =============================================================================== 182.89/183.06 c core #14 182.89/183.06 c 182.89/183.06 c 182.89/183.06 c Core size: 232 Core Weight: 1 Total Weight: 125 182.89/183.06 c 182.89/183.06 c 182.89/183.06 c ============================[ Search Statistics ]============================== 182.89/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.89/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.89/183.06 c =============================================================================== 182.89/183.06 c | 0 | 15177 116362 170842 | 38787 0 nan | 0.000 % | 182.98/183.12 c =============================================================================== 183.09/183.29 c core #15 183.09/183.29 c 183.09/183.29 c 183.09/183.29 c Core size: 249 Core Weight: 1 Total Weight: 126 183.09/183.29 c 183.09/183.29 c 183.09/183.29 c ============================[ Search Statistics ]============================== 183.09/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.09/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.09/183.29 c =============================================================================== 183.09/183.29 c | 0 | 15457 116400 171126 | 38800 0 nan | 0.000 % | 183.19/183.36 c =============================================================================== 183.38/183.53 c core #16 183.38/183.53 c 183.38/183.53 c 183.38/183.53 c Core size: 306 Core Weight: 1 Total Weight: 127 183.38/183.53 c 183.38/183.53 c 183.38/183.53 c ============================[ Search Statistics ]============================== 183.38/183.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.38/183.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.38/183.53 c =============================================================================== 183.38/183.53 c | 0 | 15736 116438 171410 | 38812 0 nan | 0.000 % | 183.50/183.64 c | 100 | 14324 116438 171410 | 42693 51 13 | 80.550 % | 183.50/183.66 c =============================================================================== 183.68/183.82 c core #17 183.68/183.82 c 183.68/183.82 c 183.68/183.82 c Core size: 437 Core Weight: 1 Total Weight: 128 183.68/183.82 c 183.68/183.82 c 183.68/183.82 c ============================[ Search Statistics ]============================== 183.68/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.68/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.68/183.82 c =============================================================================== 183.68/183.82 c | 0 | 16014 116475 171687 | 38825 0 nan | 0.000 % | 183.78/183.93 c | 100 | 16008 116475 171687 | 42707 100 15 | 78.848 % | 183.78/183.94 c =============================================================================== 183.99/184.10 c core #18 183.99/184.10 c 183.99/184.10 c 183.99/184.10 c Core size: 216 Core Weight: 1 Total Weight: 129 183.99/184.10 c 183.99/184.10 c 183.99/184.10 c ============================[ Search Statistics ]============================== 183.99/184.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.99/184.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.99/184.10 c =============================================================================== 183.99/184.10 c | 0 | 16291 116513 171977 | 38837 0 nan | 0.000 % | 184.09/184.23 c | 103 | 16291 116513 171977 | 42721 103 16 | 77.873 % | 184.19/184.31 c =============================================================================== 184.29/184.47 c core #19 184.29/184.47 c 184.29/184.47 c 184.29/184.47 c Core size: 305 Core Weight: 1 Total Weight: 130 184.29/184.47 c 184.29/184.47 c 184.29/184.47 c ============================[ Search Statistics ]============================== 184.29/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.29/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.29/184.47 c =============================================================================== 184.29/184.47 c | 0 | 16580 116547 172257 | 38849 0 nan | 0.000 % | 184.38/184.58 c | 102 | 16580 116547 172257 | 42733 102 17 | 77.491 % | 184.48/184.70 c =============================================================================== 184.69/184.86 c core #20 184.69/184.86 c 184.69/184.86 c 184.69/184.86 c Core size: 327 Core Weight: 1 Total Weight: 131 184.69/184.86 c 184.69/184.86 c 184.69/184.86 c ============================[ Search Statistics ]============================== 184.69/184.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.69/184.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.69/184.86 c =============================================================================== 184.69/184.86 c | 0 | 16855 116581 172527 | 38860 0 nan | 0.000 % | 184.78/184.97 c | 100 | 16855 116581 172527 | 42746 100 15 | 77.128 % | 184.98/185.14 c | 250 | 16825 116581 172527 | 47021 249 19 | 77.169 % | 184.98/185.19 c =============================================================================== 185.19/185.35 c core #21 185.19/185.35 c 185.19/185.35 c 185.19/185.35 c Core size: 293 Core Weight: 1 Total Weight: 132 185.19/185.35 c 185.19/185.35 c 185.19/185.35 c ============================[ Search Statistics ]============================== 185.19/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.19/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.19/185.35 c =============================================================================== 185.19/185.35 c | 0 | 17129 116617 172810 | 38872 0 nan | 0.000 % | 185.29/185.48 c | 100 | 17129 116617 172810 | 42759 100 18 | 76.766 % | 185.48/185.62 c | 250 | 17129 116617 172810 | 47035 250 19 | 76.766 % | 185.69/185.85 c =============================================================================== 185.88/186.01 c core #22 185.88/186.01 c 185.88/186.01 c 185.88/186.01 c Core size: 481 Core Weight: 1 Total Weight: 133 185.88/186.01 c 185.88/186.01 c 185.88/186.01 c ============================[ Search Statistics ]============================== 185.88/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.88/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.88/186.01 c =============================================================================== 185.88/186.01 c | 0 | 17402 116652 173084 | 38884 0 nan | 0.000 % | 185.98/186.13 c | 102 | 17400 116652 173084 | 42772 102 17 | 76.444 % | 186.18/186.30 c | 253 | 17371 116652 173084 | 47049 252 23 | 76.494 % | 186.38/186.58 c | 479 | 17307 116652 173084 | 51754 475 29 | 76.534 % | 186.59/186.70 c =============================================================================== 186.68/186.86 c core #23 186.68/186.86 c 186.68/186.86 c 186.68/186.86 c Core size: 325 Core Weight: 1 Total Weight: 134 186.68/186.86 c 186.68/186.86 c 186.68/186.86 c ============================[ Search Statistics ]============================== 186.68/186.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.68/186.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.68/186.86 c =============================================================================== 186.68/186.86 c | 0 | 17674 116687 173363 | 38895 0 nan | 0.000 % | 186.79/186.97 c | 101 | 17674 116687 173363 | 42785 101 16 | 76.047 % | 186.98/187.13 c | 252 | 17674 116687 173363 | 47063 252 20 | 76.047 % | 187.28/187.41 c | 478 | 17674 116687 173363 | 51770 478 25 | 76.047 % | 187.68/187.83 c | 815 | 17644 116687 173363 | 56947 814 30 | 76.087 % | 188.08/188.22 c =============================================================================== 188.18/188.39 c core #24 188.18/188.39 c 188.18/188.39 c 188.18/188.39 c Core size: 726 Core Weight: 1 Total Weight: 135 188.18/188.39 c 188.18/188.39 c 188.18/188.39 c ============================[ Search Statistics ]============================== 188.18/188.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.18/188.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.18/188.39 c =============================================================================== 188.18/188.39 c | 0 | 17945 116723 173639 | 38907 0 nan | 0.000 % | 188.37/188.52 c | 100 | 17945 116723 173639 | 42798 100 22 | 75.801 % | 188.47/188.65 c | 251 | 17862 116723 173639 | 47078 249 22 | 75.801 % | 188.68/188.88 c | 476 | 17810 116723 173639 | 51786 472 25 | 75.872 % | 189.09/189.29 c | 813 | 17807 116723 173639 | 56964 809 32 | 75.891 % | 189.68/189.84 c | 1319 | 16471 116723 173639 | 62661 636 22 | 77.686 % | 189.78/189.95 c =============================================================================== 189.98/190.12 c core #25 189.98/190.12 c 189.98/190.12 c 189.98/190.12 c Core size: 421 Core Weight: 1 Total Weight: 136 189.98/190.12 c 189.98/190.12 c 189.98/190.12 c ============================[ Search Statistics ]============================== 189.98/190.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.98/190.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.98/190.12 c =============================================================================== 189.98/190.12 c | 0 | 18215 116755 173906 | 38918 0 nan | 0.000 % | 190.08/190.22 c | 101 | 18215 116755 173906 | 42810 101 14 | 75.332 % | 190.18/190.37 c | 252 | 18215 116755 173906 | 47091 252 24 | 75.332 % | 190.37/190.59 c | 477 | 18215 116755 173906 | 51800 477 25 | 75.332 % | 190.77/190.99 c | 814 | 18215 116755 173906 | 56980 814 26 | 75.332 % | 191.38/191.54 c | 1320 | 18215 116755 173906 | 62678 1320 29 | 75.332 % | 192.18/192.36 c | 2079 | 18211 116755 173906 | 68946 2077 35 | 75.338 % | 192.88/193.00 c =============================================================================== 192.98/193.17 c core #26 192.98/193.17 c 192.98/193.17 c 192.98/193.17 c Core size: 492 Core Weight: 1 Total Weight: 137 192.98/193.17 c 192.98/193.17 c 192.98/193.17 c ============================[ Search Statistics ]============================== 192.98/193.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.98/193.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.98/193.17 c =============================================================================== 192.98/193.17 c | 0 | 18484 116793 174188 | 38931 0 nan | 0.000 % | 193.08/193.29 c | 100 | 18484 116793 174188 | 42824 100 15 | 74.977 % | 193.28/193.44 c | 250 | 18421 116793 174188 | 47106 249 19 | 75.063 % | 193.48/193.68 c | 475 | 18103 116793 174188 | 51817 473 30 | 75.493 % | 193.88/194.05 c | 812 | 18103 116793 174188 | 56998 810 29 | 75.493 % | 194.37/194.54 c | 1321 | 18103 116793 174188 | 62698 1319 32 | 75.493 % | 195.17/195.39 c | 2081 | 18103 116793 174188 | 68968 2079 36 | 75.493 % | 196.47/196.68 c | 3220 | 18103 116793 174188 | 75865 3218 39 | 75.493 % | 197.88/198.03 c =============================================================================== 198.07/198.20 c core #27 198.07/198.20 c 198.07/198.20 c 198.07/198.20 c Core size: 657 Core Weight: 1 Total Weight: 138 198.07/198.20 c 198.07/198.20 c 198.07/198.20 c ============================[ Search Statistics ]============================== 198.07/198.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.07/198.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.07/198.20 c =============================================================================== 198.07/198.20 c | 0 | 18752 116834 174481 | 38944 0 nan | 0.000 % | 198.17/198.31 c | 100 | 18752 116834 174481 | 42839 100 17 | 74.623 % | 198.27/198.48 c | 250 | 18722 116834 174481 | 47123 249 23 | 74.664 % | 198.57/198.73 c | 476 | 18722 116834 174481 | 51835 475 27 | 74.664 % | 198.88/199.05 c | 813 | 18722 116834 174481 | 57018 812 28 | 74.664 % | 199.47/199.66 c | 1321 | 18722 116834 174481 | 62720 1320 32 | 74.664 % | 200.37/200.50 c | 2080 | 18722 116834 174481 | 68992 2079 33 | 74.664 % | 201.67/201.80 c | 3219 | 18078 116834 174481 | 75892 2745 35 | 75.536 % | 203.77/203.94 c | 4929 | 18078 116834 174481 | 83481 4455 39 | 75.536 % | 205.07/205.26 c =============================================================================== 205.27/205.43 c core #28 205.27/205.43 c 205.27/205.43 c 205.27/205.43 c Core size: 781 Core Weight: 1 Total Weight: 139 205.27/205.43 c 205.27/205.43 c 205.27/205.43 c ============================[ Search Statistics ]============================== 205.27/205.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.27/205.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.27/205.43 c =============================================================================== 205.27/205.43 c | 0 | 19019 116877 174785 | 38959 0 nan | 0.000 % | 205.37/205.55 c | 100 | 19019 116877 174785 | 42854 100 18 | 74.271 % | 205.48/205.66 c | 250 | 19019 116877 174785 | 47140 250 21 | 74.271 % | 205.67/205.89 c | 476 | 19019 116877 174785 | 51854 476 24 | 74.271 % | 206.17/206.33 c | 813 | 19019 116877 174785 | 57039 813 29 | 74.271 % | 206.67/206.85 c | 1319 | 19019 116877 174785 | 62743 1319 30 | 74.271 % | 207.36/207.52 c | 2078 | 19019 116877 174785 | 69018 2078 33 | 74.271 % | 208.66/208.82 c | 3218 | 19007 116877 174785 | 75920 3217 36 | 74.287 % | 210.67/210.88 c | 4928 | 19007 116877 174785 | 83512 4927 42 | 74.287 % | 213.97/214.12 c | 7490 | 18216 116877 174785 | 91863 6179 42 | 75.357 % | 216.37/216.51 c =============================================================================== 216.48/216.67 c core #29 216.48/216.67 c 216.48/216.67 c 216.48/216.67 c Core size: 366 Core Weight: 1 Total Weight: 140 216.48/216.67 c 216.48/216.67 c 216.48/216.67 c ============================[ Search Statistics ]============================== 216.48/216.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.48/216.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.48/216.67 c =============================================================================== 216.48/216.67 c | 0 | 19285 116916 175070 | 38972 0 nan | 0.000 % | 216.57/216.79 c | 100 | 19285 116916 175070 | 42869 100 17 | 73.919 % | 216.77/216.93 c | 252 | 19285 116916 175070 | 47156 252 26 | 73.919 % | 216.96/217.17 c | 477 | 19285 116916 175070 | 51871 477 29 | 73.919 % | 217.26/217.49 c | 815 | 19285 116916 175070 | 57058 815 34 | 73.919 % | 217.87/218.08 c | 1321 | 19285 116916 175070 | 62764 1321 31 | 73.919 % | 218.86/219.04 c | 2080 | 19285 116916 175070 | 69041 2080 36 | 73.919 % | 220.16/220.37 c | 3219 | 19285 116916 175070 | 75945 3219 38 | 73.919 % | 222.67/222.80 c | 4927 | 19251 116916 175070 | 83539 4925 41 | 73.965 % | 225.96/226.17 c | 7489 | 19251 116916 175070 | 91893 7487 42 | 73.965 % | 231.76/231.97 c | 11333 | 19251 116916 175070 | 101083 11331 46 | 73.965 % | 237.06/237.27 c =============================================================================== 237.26/237.45 c core #30 237.26/237.45 c 237.26/237.45 c 237.26/237.45 c Core size: 582 Core Weight: 1 Total Weight: 141 237.26/237.45 c 237.26/237.45 c 237.26/237.45 c ============================[ Search Statistics ]============================== 237.26/237.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.26/237.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.26/237.45 c =============================================================================== 237.26/237.45 c | 0 | 19550 116954 175343 | 38984 0 nan | 0.000 % | 237.36/237.55 c | 100 | 19550 116954 175343 | 42883 100 16 | 73.569 % | 237.46/237.69 c | 250 | 19550 116954 175343 | 47171 250 20 | 73.569 % | 237.65/237.86 c | 476 | 19550 116954 175343 | 51888 476 19 | 73.569 % | 238.06/238.20 c | 813 | 19550 116954 175343 | 57077 813 26 | 73.569 % | 238.46/238.63 c | 1319 | 19550 116954 175343 | 62785 1319 28 | 73.569 % | 239.25/239.45 c | 2078 | 19550 116954 175343 | 69063 2078 31 | 73.569 % | 240.46/240.67 c | 3217 | 19550 116954 175343 | 75970 3217 32 | 73.569 % | 242.36/242.55 c | 4926 | 19550 116954 175343 | 83567 4926 36 | 73.569 % | 245.55/245.72 c | 7489 | 19520 116954 175343 | 91923 7488 39 | 73.610 % | 250.86/251.03 c | 11335 | 19520 116954 175343 | 101116 11334 43 | 73.610 % | 258.85/259.05 c | 17103 | 19520 116954 175343 | 111227 17102 48 | 73.610 % | 266.85/267.07 c =============================================================================== 267.05/267.23 c core #31 267.05/267.23 c 267.05/267.23 c 267.05/267.23 c Core size: 889 Core Weight: 1 Total Weight: 142 267.05/267.23 c 267.05/267.23 c 267.05/267.23 c ============================[ Search Statistics ]============================== 267.05/267.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 267.05/267.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 267.05/267.23 c =============================================================================== 267.05/267.23 c | 0 | 19814 116993 175615 | 38997 0 nan | 0.000 % | 267.15/267.33 c | 100 | 19814 116993 175615 | 42897 100 16 | 73.220 % | 267.35/267.51 c | 251 | 19814 116993 175615 | 47187 251 28 | 73.220 % | 267.55/267.76 c | 476 | 19814 116993 175615 | 51905 476 29 | 73.220 % | 267.95/268.10 c | 813 | 19814 116993 175615 | 57096 813 29 | 73.220 % | 268.35/268.54 c | 1319 | 19814 116993 175615 | 62806 1319 31 | 73.220 % | 269.15/269.40 c | 2080 | 19814 116993 175615 | 69086 2080 31 | 73.220 % | 270.46/270.68 c | 3219 | 19814 116993 175615 | 75995 3219 36 | 73.220 % | 272.34/272.50 c | 4928 | 19814 116993 175615 | 83594 4928 40 | 73.220 % | 275.86/276.02 c | 7490 | 19814 116993 175615 | 91954 7490 39 | 73.220 % | 281.04/281.21 c | 11335 | 19814 116993 175615 | 101149 11335 41 | 73.220 % | 289.24/289.41 c | 17102 | 19814 116993 175615 | 111264 17102 46 | 73.220 % | 303.45/303.66 c | 25751 | 19784 116993 175615 | 122391 25750 48 | 73.261 % | 323.43/323.60 c =============================================================================== 323.53/323.79 c core #32 323.53/323.79 c 323.53/323.79 c 323.53/323.79 c Core size: 629 Core Weight: 1 Total Weight: 143 323.53/323.79 c 323.53/323.79 c 323.53/323.79 c ============================[ Search Statistics ]============================== 323.53/323.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 323.53/323.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 323.53/323.79 c =============================================================================== 323.53/323.79 c | 0 | 20077 117049 175928 | 39016 0 nan | 0.000 % | 323.63/323.89 c | 100 | 20077 117049 175928 | 42917 100 14 | 72.873 % | 323.83/324.07 c | 250 | 20077 117049 175928 | 47209 250 22 | 72.873 % | 324.03/324.29 c | 475 | 20077 117049 175928 | 51930 475 30 | 72.873 % | 324.44/324.62 c | 812 | 20077 117049 175928 | 57123 812 32 | 72.873 % | 324.93/325.13 c | 1319 | 20077 117049 175928 | 62836 1319 35 | 72.873 % | 325.53/325.79 c | 2078 | 20077 117049 175928 | 69119 2078 32 | 72.873 % | 326.63/326.89 c | 3218 | 20077 117049 175928 | 76031 3218 36 | 72.873 % | 328.43/328.64 c | 4926 | 20072 117049 175928 | 83634 4925 37 | 72.879 % | 331.63/331.86 c | 7490 | 20072 117049 175928 | 91998 7489 38 | 72.879 % | 336.83/337.01 c | 11334 | 20072 117049 175928 | 101198 11333 41 | 72.879 % | 345.72/345.94 c | 17100 | 20052 117049 175928 | 111318 17097 45 | 72.906 % | 359.43/359.68 c | 25749 | 20022 117049 175928 | 122449 25744 49 | 72.947 % | 383.22/383.44 c | 38725 | 20022 117049 175928 | 134694 38720 55 | 72.947 % | 430.40/430.65 c | 58187 | 20022 117049 175928 | 148164 58182 57 | 72.947 % | 435.50/435.74 c =============================================================================== 435.70/435.95 c core #33 435.70/435.95 c 435.70/435.95 c 435.70/435.95 c Core size: 738 Core Weight: 1 Total Weight: 144 435.70/435.95 c 435.70/435.95 c 435.70/435.95 c ============================[ Search Statistics ]============================== 435.70/435.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 435.70/435.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 435.70/435.95 c =============================================================================== 435.70/435.95 c | 0 | 20339 117171 176449 | 39057 0 nan | 0.000 % | 435.81/436.06 c | 100 | 20339 117171 176449 | 42962 100 15 | 72.526 % | 436.01/436.20 c | 250 | 20339 117171 176449 | 47258 250 25 | 72.526 % | 436.20/436.43 c | 475 | 20339 117171 176449 | 51984 475 24 | 72.526 % | 436.51/436.77 c | 812 | 20339 117171 176449 | 57183 812 28 | 72.526 % | 437.10/437.33 c | 1319 | 20339 117171 176449 | 62901 1319 29 | 72.526 % | 438.00/438.27 c | 2078 | 20339 117171 176449 | 69191 2078 38 | 72.526 % | 439.40/439.65 c | 3218 | 20339 117171 176449 | 76111 3218 39 | 72.526 % | 441.60/441.89 c | 4928 | 20339 117171 176449 | 83722 4928 42 | 72.526 % | 444.90/445.10 c | 7491 | 20293 117171 176449 | 92094 7490 45 | 72.588 % | 450.10/450.30 c | 11335 | 20293 117171 176449 | 101303 11334 44 | 72.588 % | 458.30/458.57 c | 17101 | 20293 117171 176449 | 111434 17100 47 | 72.588 % | 472.49/472.75 c | 25750 | 20245 117171 176449 | 122577 25745 48 | 72.653 % | 496.90/497.18 c | 38724 | 20245 117171 176449 | 134835 38719 51 | 72.653 % | 540.98/541.23 c | 58185 | 20245 117171 176449 | 148318 58180 56 | 72.653 % | 625.95/626.20 c | 87378 | 20184 117171 176449 | 163150 87372 58 | 72.743 % | 717.43/717.78 c =============================================================================== 717.73/718.04 c core #34 717.73/718.04 c 717.73/718.04 c 717.73/718.04 c Core size: 817 Core Weight: 1 Total Weight: 145 717.73/718.04 c 717.73/718.04 c 717.73/718.04 c ============================[ Search Statistics ]============================== 717.73/718.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 717.73/718.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 717.73/718.04 c =============================================================================== 717.73/718.04 c | 0 | 20600 117289 176955 | 39096 0 nan | 0.000 % | 717.83/718.14 c | 101 | 20600 117289 176955 | 43005 101 17 | 72.181 % | 718.04/718.31 c | 251 | 20600 117289 176955 | 47306 251 34 | 72.181 % | 718.23/718.50 c | 476 | 20600 117289 176955 | 52037 476 30 | 72.181 % | 718.43/718.79 c | 814 | 20600 117289 176955 | 57240 814 35 | 72.181 % | 718.93/719.28 c | 1324 | 20600 117289 176955 | 62965 1324 33 | 72.181 % | 719.62/719.94 c | 2083 | 20600 117289 176955 | 69261 2083 32 | 72.181 % | 721.02/721.33 c | 3222 | 20600 117289 176955 | 76187 3222 36 | 72.181 % | 722.93/723.23 c | 4930 | 20600 117289 176955 | 83806 4930 38 | 72.181 % | 725.73/726.01 c | 7493 | 20600 117289 176955 | 92187 7493 42 | 72.181 % | 730.92/731.20 c | 11337 | 20529 117289 176955 | 101405 11335 43 | 72.276 % | 739.32/739.66 c | 17103 | 20393 117289 176955 | 111546 15388 42 | 72.460 % | 750.62/750.99 c | 25752 | 19969 117289 176955 | 122701 24036 50 | 73.033 % | 774.61/774.91 c | 38727 | 19969 117289 176955 | 134971 37011 54 | 73.033 % | 818.30/818.68 c | 58190 | 19969 117289 176955 | 148468 56474 59 | 73.033 % | 901.88/902.21 c | 87382 | 19876 117289 176955 | 163315 83382 64 | 73.158 % | 1061.54/1061.97 c | 131172 | 19418 117289 176955 | 179646 79886 57 | 73.777 % | 1223.90/1224.33 c =============================================================================== 1224.19/1224.63 c core #35 1224.19/1224.63 c 1224.19/1224.63 c 1224.19/1224.63 c Core size: 474 Core Weight: 1 Total Weight: 146 1224.19/1224.63 c 1224.19/1224.63 c 1224.19/1224.63 c ============================[ Search Statistics ]============================== 1224.19/1224.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1224.19/1224.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1224.19/1224.63 c =============================================================================== 1224.19/1224.63 c | 0 | 20860 117453 177609 | 39151 0 nan | 0.000 % | 1224.29/1224.72 c | 100 | 20860 117453 177609 | 43066 100 18 | 71.836 % | 1224.39/1224.90 c | 250 | 20860 117453 177609 | 47372 250 25 | 71.836 % | 1224.69/1225.13 c | 475 | 20860 117453 177609 | 52109 475 28 | 71.836 % | 1225.09/1225.50 c | 812 | 20830 117453 177609 | 57320 811 30 | 71.877 % | 1225.59/1226.10 c | 1319 | 20830 117453 177609 | 63053 1318 34 | 71.877 % | 1226.48/1226.90 c | 2078 | 20830 117453 177609 | 69358 2077 36 | 71.877 % | 1227.59/1228.07 c | 3218 | 20830 117453 177609 | 76294 3217 37 | 71.877 % | 1229.30/1229.80 c | 4926 | 20830 117453 177609 | 83923 4925 38 | 71.877 % | 1232.18/1232.61 c | 7489 | 20830 117453 177609 | 92316 7488 41 | 71.877 % | 1237.09/1237.57 c | 11333 | 20802 117453 177609 | 101547 11331 45 | 71.915 % | 1245.28/1245.73 c | 17099 | 20802 117453 177609 | 111702 17097 53 | 71.915 % | 1260.77/1261.24 c | 25749 | 20802 117453 177609 | 122872 25747 54 | 71.915 % | 1287.26/1287.73 c | 38724 | 20739 117453 177609 | 135159 38721 54 | 72.000 % | 1333.94/1334.49 c | 58185 | 20739 117453 177609 | 148675 58182 57 | 72.000 % | 1415.13/1415.64 c | 87377 | 20731 117453 177609 | 163543 87373 59 | 72.010 % | 1563.18/1563.78 c | 131166 | 20731 117453 177609 | 179897 131162 63 | 72.010 % |
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-2686968-1278445205/watcher-2686968-1278445205 -o /tmp/evaluation-result-2686968-1278445205/solver-2686968-1278445205 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686968-1278445205.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20705 /proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=9864 CPUtime=0 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 326 0 0 0 0 0 0 0 22 0 1 0 12728992 10100736 245 1992294400 134512640 135752675 4288273584 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 2466 245 136 303 0 374 0 [startup+0.0391951 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20705 /proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=11532 CPUtime=0.03 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 770 0 0 0 3 0 0 0 22 0 1 0 12728992 11808768 689 1992294400 134512640 135752675 4288273584 18446744073709551615 135211648 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 2883 690 183 303 0 791 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11532 [startup+0.101201 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20705 /proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=14912 CPUtime=0.09 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 1600 0 0 0 9 0 0 0 22 0 1 0 12728992 15269888 1520 1992294400 134512640 135752675 4288273584 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 3728 1521 281 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14912 [startup+0.300223 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20705 /proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=19184 CPUtime=0.29 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 2935 0 0 0 28 1 0 0 23 0 1 0 12728992 19644416 2821 1992294400 134512640 135752675 4288273584 18446744073709551615 134561890 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 4796 2821 594 303 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19184 [startup+0.700269 s] /proc/loadavg: 1.00 1.00 1.00 3/105 20705 /proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=26092 CPUtime=0.68 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 5231 0 0 0 67 1 0 0 25 0 1 0 12728992 26718208 5028 1992294400 134512640 135752675 4288273584 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 6523 5028 1254 303 0 4431 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26092 [startup+1.50036 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1691164/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=49228 CPUtime=1.48 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 13425 0 0 0 144 4 0 0 25 0 1 0 12728992 50409472 11145 1992294400 134512640 135752675 4288273584 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 12307 11145 142 303 0 12002 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49228 [startup+3.10054 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1662396/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=54992 CPUtime=3.08 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 14739 0 0 0 304 4 0 0 25 0 1 0 12728992 56311808 12459 1992294400 134512640 135752675 4288273584 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 13748 12459 142 303 0 13443 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 54992 [startup+6.3009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1658552/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=59480 CPUtime=6.29 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 15874 0 0 0 624 5 0 0 25 0 1 0 12728992 60907520 13594 1992294400 134512640 135752675 4288273584 18446744073709551615 134523936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 14870 13595 142 303 0 14565 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59480 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1652228/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=65116 CPUtime=12.68 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 17273 0 0 0 1263 5 0 0 25 0 1 0 12728992 66678784 14993 1992294400 134512640 135752675 4288273584 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 16279 14993 142 303 0 15974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65116 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1644292/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=72904 CPUtime=25.49 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 19226 0 0 0 2542 7 0 0 25 0 1 0 12728992 74653696 16946 1992294400 134512640 135752675 4288273584 18446744073709551615 134595144 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 18226 16946 142 303 0 17921 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72904 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20706 /proc/meminfo: memFree=1633628/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=83596 CPUtime=51.08 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 21887 0 0 0 5100 8 0 0 25 0 1 0 12728992 85602304 19607 1992294400 134512640 135752675 4288273584 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20899 19607 142 303 0 20594 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83596 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20708 /proc/meminfo: memFree=1624700/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=91340 CPUtime=102.24 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 25276 0 0 0 10209 15 0 0 25 0 1 0 12728992 93532160 21681 1992294400 134512640 135752675 4288273584 18446744073709551615 134611672 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 22835 21681 145 303 0 22530 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 91340 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20710 /proc/meminfo: memFree=1624700/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=91340 CPUtime=162.2 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 25276 0 0 0 16185 35 0 0 25 0 1 0 12728992 93532160 21681 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 22835 21681 145 303 0 22530 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 91340 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20712 /proc/meminfo: memFree=1632016/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=222.17 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 42098 0 0 0 22159 58 0 0 25 0 1 0 12728992 83992576 19833 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19833 146 303 0 20201 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 82024 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20712 /proc/meminfo: memFree=1632016/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=282.15 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 42966 0 0 0 28137 78 0 0 25 0 1 0 12728992 83992576 19833 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19833 146 303 0 20201 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 82024 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20714 /proc/meminfo: memFree=1630156/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=84456 CPUtime=342.13 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 43834 0 0 0 34119 94 0 0 25 0 1 0 12728992 86482944 20267 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 21114 20267 146 303 0 20809 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 84456 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20716 /proc/meminfo: memFree=1630156/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=84456 CPUtime=402.11 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 43834 0 0 0 40104 107 0 0 25 0 1 0 12728992 86482944 20267 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 21114 20267 146 303 0 20809 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 84456 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20718 /proc/meminfo: memFree=1631768/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=462.1 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 44271 0 0 0 46089 121 0 0 25 0 1 0 12728992 83992576 19836 1992294400 134512640 135752675 4288273584 18446744073709551615 134612125 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19836 146 303 0 20201 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 82024 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20720 /proc/meminfo: memFree=1631768/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=522.07 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 44271 0 0 0 52074 133 0 0 25 0 1 0 12728992 83992576 19836 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19836 146 303 0 20201 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 82024 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20720 /proc/meminfo: memFree=1631768/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=582.06 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 44271 0 0 0 58061 145 0 0 25 0 1 0 12728992 83992576 19836 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19836 146 303 0 20201 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 82024 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20722 /proc/meminfo: memFree=1631768/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=82024 CPUtime=642.05 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 44271 0 0 0 64050 155 0 0 25 0 1 0 12728992 83992576 19836 1992294400 134512640 135752675 4288273584 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 20506 19836 146 303 0 20201 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 82024 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20728 /proc/meminfo: memFree=1614904/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=100380 CPUtime=821.99 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 49056 0 0 0 82004 195 0 0 25 0 1 0 12728992 102789120 24077 1992294400 134512640 135752675 4288273584 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 25095 24077 146 303 0 24790 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 100380 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20728 /proc/meminfo: memFree=1610440/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=105000 CPUtime=881.98 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 50235 0 0 0 87991 207 0 0 25 0 1 0 12728992 107520000 25256 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 26250 25256 146 303 0 25945 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 105000 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20730 /proc/meminfo: memFree=1605480/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=110252 CPUtime=941.96 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 51477 0 0 0 93976 220 0 0 25 0 1 0 12728992 112898048 26498 1992294400 134512640 135752675 4288273584 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 27563 26498 146 303 0 27258 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 110252 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20732 /proc/meminfo: memFree=1600396/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=115140 CPUtime=1001.95 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 52730 0 0 0 99964 231 0 0 25 0 1 0 12728992 117903360 27751 1992294400 134512640 135752675 4288273584 18446744073709551615 134639452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 28785 27751 146 303 0 28480 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 115140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20734 /proc/meminfo: memFree=1595064/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=120560 CPUtime=1061.94 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 54098 0 0 0 105955 239 0 0 25 0 1 0 12728992 123453440 29119 1992294400 134512640 135752675 4288273584 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 30140 29119 146 303 0 29835 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 120560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20736 /proc/meminfo: memFree=1588864/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=126780 CPUtime=1121.92 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 55640 0 0 0 111942 250 0 0 25 0 1 0 12728992 129822720 30661 1992294400 134512640 135752675 4288273584 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 31695 30661 146 303 0 31390 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 126780 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20736 /proc/meminfo: memFree=1582540/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=132984 CPUtime=1181.9 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 57191 0 0 0 117927 263 0 0 25 0 1 0 12728992 136175616 32212 1992294400 134512640 135752675 4288273584 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 33246 32212 146 303 0 32941 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 132984 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20738 /proc/meminfo: memFree=1569520/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=145612 CPUtime=1241.88 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 61653 0 0 0 123912 276 0 0 25 0 1 0 12728992 149106688 35290 1992294400 134512640 135752675 4288273584 18446744073709551615 134607254 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 36403 35290 146 303 0 36098 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 145612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20749 /proc/meminfo: memFree=1568776/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=145612 CPUtime=1301.86 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 61681 0 0 0 129897 289 0 0 25 0 1 0 12728992 149106688 35318 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 36403 35318 146 303 0 36098 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 145612 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20751 /proc/meminfo: memFree=1566048/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=148728 CPUtime=1361.83 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 62507 0 0 0 135882 301 0 0 25 0 1 0 12728992 152297472 36144 1992294400 134512640 135752675 4288273584 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 37182 36144 146 303 0 36877 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 148728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20753 /proc/meminfo: memFree=1560468/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=154144 CPUtime=1421.83 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 63889 0 0 0 141868 315 0 0 25 0 1 0 12728992 157843456 37526 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 38536 37526 146 303 0 38231 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 154144 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20753 /proc/meminfo: memFree=1554888/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=159836 CPUtime=1481.81 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 65290 0 0 0 147853 328 0 0 25 0 1 0 12728992 163672064 38927 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 39959 38927 146 303 0 39654 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 159836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20755 /proc/meminfo: memFree=1549432/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=165424 CPUtime=1541.78 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 66675 0 0 0 153841 337 0 0 25 0 1 0 12728992 169394176 40312 1992294400 134512640 135752675 4288273584 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 41356 40312 146 303 0 41051 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 165424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20757 /proc/meminfo: memFree=1543852/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=171148 CPUtime=1601.77 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 68075 0 0 0 159828 349 0 0 25 0 1 0 12728992 175255552 41712 1992294400 134512640 135752675 4288273584 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 42787 41712 146 303 0 42482 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 171148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20759 /proc/meminfo: memFree=1538768/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=176168 CPUtime=1661.76 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 69340 0 0 0 165817 359 0 0 25 0 1 0 12728992 180396032 42977 1992294400 134512640 135752675 4288273584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 44042 42977 146 303 0 43737 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 176168 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20761 /proc/meminfo: memFree=1533188/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=181844 CPUtime=1721.74 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 70760 0 0 0 171806 368 0 0 25 0 1 0 12728992 186208256 44397 1992294400 134512640 135752675 4288273584 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 45461 44397 146 303 0 45156 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 181844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20761 /proc/meminfo: memFree=1527856/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=186880 CPUtime=1781.72 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 72036 0 0 0 177795 377 0 0 25 0 1 0 12728992 191365120 45673 1992294400 134512640 135752675 4288273584 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 46720 45673 146 303 0 46415 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 186880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20763 /proc/meminfo: memFree=1526368/2059040 swapFree=4192956/4192956 [pid=20705] ppid=20703 vsize=188348 CPUtime=1800.03 /proc/20705/stat : 20705 (wbo1.4b) R 20703 20705 19648 0 -1 4202496 72411 0 0 0 179624 379 0 0 25 0 1 0 12728992 192868352 46048 1992294400 134512640 135752675 4288273584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20705/statm: 47087 46048 146 303 0 46782 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 188348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.06 CPU user time (s): 1796.24 CPU system time (s): 3.81642 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 188348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.24 system time used= 3.81642 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72411 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= 2 involuntary context switches= 9711 runsolver used 2.86256 second user time and 8.68668 second system time The end
Begin job on node085 at 2010-07-06 21:40:05 IDJOB=2686968 IDBENCH=77212 IDSOLVER=1190 FILE ID=node085/2686968-1278445205 PBS_JOBID= 11233440 Free space on /tmp= 121784 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686968-1278445205/watcher-2686968-1278445205 -o /tmp/evaluation-result-2686968-1278445205/solver-2686968-1278445205 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686968-1278445205.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc2381243433b8fdb488c977baa91e3c RANDOM SEED=360057434 node085.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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 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.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1712532 kB Buffers: 27272 kB Cached: 184008 kB SwapCached: 0 kB Active: 130680 kB Inactive: 141428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1712532 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9848 kB Writeback: 0 kB AnonPages: 60724 kB Mapped: 14384 kB Slab: 52600 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181276 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121784 MiB End job on node085 at 2010-07-06 22:10:08