Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | ? (TO) | 1800.05 | 1800.53 |
| 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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2686957-1278444951.opb. 0.00/0.00 c Instance file HOME/instance-2686957-1278444951.opb 0.00/0.00 c File size is 7316689 bytes. 1.18/1.23 c Highest Coefficient sum: 342 1.18/1.24 c ============================[ Problem Statistics ]============================= 1.18/1.24 c | | 1.18/1.24 c | Parsing time: 1.20 s | 1.18/1.24 c | Number Variables: 72842 | 1.18/1.24 c | Number Clauses: 233297 | 1.18/1.24 c | Number Cardinality: 0 | 1.18/1.24 c | Number PB Constraints: 1200 | 95.27/95.36 c ============================[ Search Statistics ]============================== 95.27/95.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.27/95.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.27/95.36 c =============================================================================== 95.27/95.36 c | 0 | 56570 235677 482726 | 78165 0 nan | 0.000 % | 95.37/95.44 c =============================================================================== 95.37/95.44 c New solution: 300 95.37/95.44 o 300 95.37/95.44 c Elapsed CPU time: 95.2945 s Remaining CPU time: 84.7055 s 95.37/95.44 c =============================================================================== 95.37/95.44 c | 3 | 56570 235678 483026 | 78559 3 19 | 0.000 % | 95.46/95.51 c | 104 | 56485 235678 483026 | 86415 104 22 | 22.505 % | 95.46/95.59 c =============================================================================== 95.46/95.59 c New solution: 299 95.46/95.59 o 299 95.46/95.59 c Elapsed CPU time: 95.4375 s Remaining CPU time: 84.5625 s 95.46/95.59 c =============================================================================== 95.46/95.59 c | 143 | 56449 235679 483326 | 78559 143 21 | 22.505 % | 95.57/95.65 c =============================================================================== 95.57/95.65 c New solution: 298 95.57/95.65 o 298 95.57/95.65 c Elapsed CPU time: 95.5025 s Remaining CPU time: 84.4975 s 95.57/95.65 c =============================================================================== 95.57/95.65 c | 171 | 56313 235680 483626 | 78560 171 20 | 22.505 % | 95.67/95.73 c | 271 | 56311 235680 483626 | 86416 271 19 | 22.902 % | 95.76/95.80 c =============================================================================== 95.76/95.80 c New solution: 297 95.76/95.80 o 297 95.76/95.80 c Elapsed CPU time: 95.6495 s Remaining CPU time: 84.3505 s 95.76/95.80 c =============================================================================== 95.76/95.80 c | 297 | 56160 235681 483926 | 78560 294 18 | 22.902 % | 95.76/95.86 c =============================================================================== 95.76/95.86 c New solution: 296 95.76/95.86 o 296 95.76/95.86 c Elapsed CPU time: 95.7094 s Remaining CPU time: 84.2906 s 95.76/95.86 c =============================================================================== 95.76/95.86 c | 317 | 55993 235682 484226 | 78560 314 18 | 22.902 % | 95.86/95.92 c =============================================================================== 95.86/95.92 c New solution: 295 95.86/95.92 o 295 95.86/95.92 c Elapsed CPU time: 95.7704 s Remaining CPU time: 84.2296 s 95.86/95.92 c =============================================================================== 95.86/95.92 c | 348 | 55809 235683 484526 | 78561 345 18 | 22.902 % | 95.86/95.98 c =============================================================================== 95.86/95.98 c New solution: 294 95.86/95.98 o 294 95.86/95.98 c Elapsed CPU time: 95.8294 s Remaining CPU time: 84.1706 s 95.86/95.98 c =============================================================================== 95.86/95.98 c | 364 | 55612 235684 484826 | 78561 361 18 | 22.902 % | 95.96/96.06 c | 464 | 55600 235684 484826 | 86417 461 22 | 23.941 % | 96.06/96.14 c =============================================================================== 96.06/96.14 c New solution: 293 96.06/96.14 o 293 96.06/96.14 c Elapsed CPU time: 95.9874 s Remaining CPU time: 84.0126 s 96.06/96.14 c =============================================================================== 96.06/96.14 c | 490 | 55386 235685 485126 | 78561 474 21 | 23.941 % | 96.16/96.21 c =============================================================================== 96.16/96.21 c New solution: 292 96.16/96.21 o 292 96.16/96.21 c Elapsed CPU time: 96.0574 s Remaining CPU time: 83.9426 s 96.16/96.21 c =============================================================================== 96.16/96.21 c | 526 | 55181 235686 485426 | 78562 510 21 | 23.941 % | 96.16/96.26 c | 627 | 55177 235686 485426 | 86418 611 20 | 24.535 % | 96.26/96.33 c =============================================================================== 96.26/96.33 c New solution: 291 96.26/96.33 o 291 96.26/96.33 c Elapsed CPU time: 96.1744 s Remaining CPU time: 83.8256 s 96.26/96.33 c =============================================================================== 96.26/96.33 c | 656 | 54970 235687 485726 | 78562 640 20 | 24.535 % | 96.37/96.41 c =============================================================================== 96.37/96.41 c New solution: 290 96.37/96.41 o 290 96.37/96.41 c Elapsed CPU time: 96.2534 s Remaining CPU time: 83.7466 s 96.37/96.41 c =============================================================================== 96.37/96.41 c | 698 | 54740 235688 486026 | 78562 682 20 | 24.535 % | 96.37/96.48 c | 798 | 54498 235688 486026 | 86418 733 18 | 25.183 % | 96.47/96.54 c =============================================================================== 96.47/96.54 c New solution: 289 96.47/96.54 o 289 96.47/96.54 c Elapsed CPU time: 96.3893 s Remaining CPU time: 83.6107 s 96.47/96.54 c =============================================================================== 96.47/96.54 c | 823 | 54498 235689 486326 | 78563 758 18 | 25.183 % | 96.57/96.62 c | 924 | 54478 235689 486326 | 86419 859 21 | 25.515 % | 96.67/96.77 c | 1075 | 54474 235689 486326 | 95061 1010 21 | 25.515 % | 96.77/96.84 c =============================================================================== 96.77/96.84 c New solution: 288 96.77/96.84 o 288 96.77/96.84 c Elapsed CPU time: 96.6823 s Remaining CPU time: 83.3177 s 96.77/96.84 c =============================================================================== 96.77/96.84 c | 1085 | 54256 235690 486626 | 78563 1002 21 | 25.515 % | 96.87/96.90 c =============================================================================== 96.87/96.90 c New solution: 287 96.87/96.90 o 287 96.87/96.90 c Elapsed CPU time: 96.7463 s Remaining CPU time: 83.2537 s 96.87/96.90 c =============================================================================== 96.87/96.90 c | 1093 | 54014 235691 486926 | 78563 1010 21 | 25.515 % | 96.87/96.98 c =============================================================================== 96.87/96.98 c New solution: 286 96.87/96.98 o 286 96.87/96.98 c Elapsed CPU time: 96.8293 s Remaining CPU time: 83.1707 s 96.87/96.98 c =============================================================================== 96.87/96.98 c | 1129 | 53772 235692 487226 | 78564 1046 21 | 25.515 % | 96.97/97.05 c =============================================================================== 96.97/97.05 c New solution: 285 96.97/97.05 o 285 96.97/97.05 c Elapsed CPU time: 96.8953 s Remaining CPU time: 83.1047 s 96.97/97.05 c =============================================================================== 96.97/97.05 c | 1153 | 53530 235693 487526 | 78564 1070 21 | 25.515 % | 97.06/97.11 c =============================================================================== 97.06/97.11 c New solution: 284 97.06/97.11 o 284 97.06/97.11 c Elapsed CPU time: 96.9533 s Remaining CPU time: 83.0467 s 97.06/97.11 c =============================================================================== 97.06/97.11 c | 1166 | 53288 235694 487826 | 78564 1083 21 | 25.515 % | 97.06/97.19 c =============================================================================== 97.06/97.19 c New solution: 283 97.06/97.19 o 283 97.06/97.19 c Elapsed CPU time: 97.0262 s Remaining CPU time: 82.9738 s 97.06/97.19 c =============================================================================== 97.06/97.19 c | 1189 | 53046 235695 488126 | 78565 1106 21 | 25.515 % | 97.16/97.27 c =============================================================================== 97.16/97.27 c New solution: 282 97.16/97.27 o 282 97.16/97.27 c Elapsed CPU time: 97.1102 s Remaining CPU time: 82.8898 s 97.16/97.27 c =============================================================================== 97.16/97.27 c | 1223 | 52804 235696 488426 | 78565 1008 20 | 25.515 % | 97.26/97.34 c =============================================================================== 97.26/97.34 c New solution: 281 97.26/97.34 o 281 97.26/97.34 c Elapsed CPU time: 97.1782 s Remaining CPU time: 82.8218 s 97.26/97.34 c =============================================================================== 97.26/97.34 c | 1241 | 52562 235697 488726 | 78565 1026 20 | 25.515 % | 97.36/97.40 c =============================================================================== 97.36/97.40 c New solution: 280 97.36/97.40 o 280 97.36/97.40 c Elapsed CPU time: 97.2432 s Remaining CPU time: 82.7568 s 97.36/97.40 c =============================================================================== 97.36/97.40 c | 1249 | 52320 235698 489026 | 78566 1034 20 | 25.515 % | 97.36/97.46 c =============================================================================== 97.36/97.46 c New solution: 279 97.36/97.46 o 279 97.36/97.46 c Elapsed CPU time: 97.3042 s Remaining CPU time: 82.6958 s 97.36/97.46 c =============================================================================== 97.36/97.46 c | 1256 | 52078 235699 489326 | 78566 1041 20 | 25.515 % | 97.46/97.52 c =============================================================================== 97.46/97.52 c New solution: 278 97.46/97.52 o 278 97.46/97.52 c Elapsed CPU time: 97.3632 s Remaining CPU time: 82.6368 s 97.46/97.52 c =============================================================================== 97.46/97.52 c | 1270 | 51836 235700 489626 | 78566 1055 20 | 25.515 % | 97.56/97.60 c =============================================================================== 97.56/97.60 c New solution: 277 97.56/97.60 o 277 97.56/97.60 c Elapsed CPU time: 97.4402 s Remaining CPU time: 82.5598 s 97.56/97.60 c =============================================================================== 97.56/97.60 c | 1300 | 51594 235701 489926 | 78567 1085 20 | 25.515 % | 97.56/97.67 c =============================================================================== 97.56/97.67 c New solution: 276 97.56/97.67 o 276 97.56/97.67 c Elapsed CPU time: 97.5032 s Remaining CPU time: 82.4968 s 97.56/97.67 c =============================================================================== 97.56/97.67 c | 1317 | 51352 235702 490226 | 78567 1102 20 | 25.515 % | 97.66/97.73 c =============================================================================== 97.66/97.73 c New solution: 275 97.66/97.73 o 275 97.66/97.73 c Elapsed CPU time: 97.5672 s Remaining CPU time: 82.4328 s 97.66/97.73 c =============================================================================== 97.66/97.73 c | 1350 | 51110 235703 490526 | 78567 970 18 | 25.515 % | 97.78/97.81 c | 1451 | 51101 235703 490526 | 86424 1071 19 | 30.167 % | 97.88/97.91 c | 1601 | 51093 235703 490526 | 95066 1221 19 | 30.167 % | 97.88/97.97 c =============================================================================== 97.88/97.97 c New solution: 274 97.88/97.97 o 274 97.88/97.97 c Elapsed CPU time: 97.8021 s Remaining CPU time: 82.1979 s 97.88/97.97 c =============================================================================== 97.88/97.97 c | 1616 | 50868 235704 490826 | 78568 1236 19 | 30.167 % | 97.97/98.04 c =============================================================================== 97.97/98.04 c New solution: 273 97.97/98.04 o 273 97.97/98.04 c Elapsed CPU time: 97.8771 s Remaining CPU time: 82.1229 s 97.97/98.04 c =============================================================================== 97.97/98.04 c | 1642 | 50626 235705 491126 | 78568 1213 19 | 30.167 % | 98.07/98.11 c =============================================================================== 98.07/98.11 c New solution: 272 98.07/98.11 o 272 98.07/98.11 c Elapsed CPU time: 97.9401 s Remaining CPU time: 82.0599 s 98.07/98.11 c =============================================================================== 98.07/98.11 c | 1649 | 50384 235706 491426 | 78568 1220 19 | 30.167 % | 98.07/98.16 c =============================================================================== 98.07/98.16 c New solution: 271 98.07/98.16 o 271 98.07/98.16 c Elapsed CPU time: 97.9981 s Remaining CPU time: 82.0019 s 98.07/98.16 c =============================================================================== 98.07/98.16 c | 1666 | 50142 235707 491726 | 78569 1237 19 | 30.167 % | 98.17/98.23 c =============================================================================== 98.17/98.23 c New solution: 270 98.17/98.23 o 270 98.17/98.23 c Elapsed CPU time: 98.0601 s Remaining CPU time: 81.9399 s 98.17/98.23 c =============================================================================== 98.17/98.23 c | 1674 | 49900 235708 492026 | 78569 1245 19 | 30.167 % | 98.17/98.29 c | 1774 | 49895 235708 492026 | 86426 1345 19 | 31.828 % | 98.27/98.37 c =============================================================================== 98.27/98.37 c New solution: 269 98.27/98.37 o 269 98.27/98.37 c Elapsed CPU time: 98.2081 s Remaining CPU time: 81.7919 s 98.27/98.37 c =============================================================================== 98.27/98.37 c | 1838 | 49658 235709 492326 | 78569 1409 19 | 31.828 % | 98.37/98.44 c | 1938 | 49416 235709 492326 | 86426 1321 20 | 32.160 % | 98.46/98.52 c | 2088 | 49416 235709 492326 | 95069 1471 20 | 32.160 % | 98.46/98.59 c =============================================================================== 98.46/98.59 c New solution: 268 98.46/98.59 o 268 98.46/98.59 c Elapsed CPU time: 98.419 s Remaining CPU time: 81.581 s 98.46/98.59 c =============================================================================== 98.46/98.59 c | 2106 | 49416 235710 492626 | 78570 1489 19 | 32.160 % | 98.56/98.66 c | 2207 | 49401 235710 492626 | 86427 1590 20 | 32.492 % | 98.66/98.75 c | 2358 | 49174 235710 492626 | 95069 1683 19 | 32.492 % | 98.76/98.83 c =============================================================================== 98.76/98.83 c New solution: 267 98.76/98.83 o 267 98.76/98.83 c Elapsed CPU time: 98.66 s Remaining CPU time: 81.34 s 98.76/98.83 c =============================================================================== 98.76/98.83 c | 2403 | 49174 235711 492926 | 78570 1728 19 | 32.492 % | 98.76/98.89 c =============================================================================== 98.76/98.89 c New solution: 266 98.76/98.89 o 266 98.76/98.89 c Elapsed CPU time: 98.72 s Remaining CPU time: 81.28 s 98.76/98.89 c =============================================================================== 98.76/98.89 c | 2419 | 48932 235712 493226 | 78570 1744 19 | 32.492 % | 98.87/98.95 c =============================================================================== 98.87/98.95 c New solution: 265 98.87/98.95 o 265 98.87/98.95 c Elapsed CPU time: 98.777 s Remaining CPU time: 81.223 s 98.87/98.95 c =============================================================================== 98.87/98.95 c | 2435 | 48690 235713 493526 | 78571 1760 19 | 32.492 % | 98.97/99.02 c =============================================================================== 98.97/99.02 c New solution: 264 98.97/99.02 o 264 98.97/99.02 c Elapsed CPU time: 98.844 s Remaining CPU time: 81.156 s 98.97/99.02 c =============================================================================== 98.97/99.02 c | 2466 | 48448 235714 493826 | 78571 1791 19 | 32.492 % | 99.06/99.12 c | 2569 | 48206 235714 493826 | 86428 1746 20 | 33.821 % | 99.06/99.17 c =============================================================================== 99.06/99.17 c New solution: 263 99.06/99.17 o 263 99.06/99.17 c Elapsed CPU time: 98.998 s Remaining CPU time: 81.002 s 99.06/99.17 c =============================================================================== 99.06/99.17 c | 2575 | 48206 235715 494126 | 78571 1752 20 | 33.821 % | 99.16/99.23 c =============================================================================== 99.16/99.23 c New solution: 262 99.16/99.23 o 262 99.16/99.23 c Elapsed CPU time: 99.0569 s Remaining CPU time: 80.9431 s 99.16/99.23 c =============================================================================== 99.16/99.23 c | 2584 | 47964 235716 494426 | 78572 1761 20 | 33.821 % | 99.26/99.30 c =============================================================================== 99.26/99.30 c New solution: 261 99.26/99.30 o 261 99.26/99.30 c Elapsed CPU time: 99.1239 s Remaining CPU time: 80.8761 s 99.26/99.30 c =============================================================================== 99.26/99.30 c | 2608 | 47722 235717 494726 | 78572 1785 20 | 33.821 % | 99.26/99.36 c =============================================================================== 99.26/99.36 c New solution: 260 99.26/99.36 o 260 99.26/99.36 c Elapsed CPU time: 99.1849 s Remaining CPU time: 80.8151 s 99.26/99.36 c =============================================================================== 99.26/99.36 c | 2623 | 47480 235718 495026 | 78572 1800 20 | 33.821 % | 99.37/99.45 c | 2723 | 47468 235718 495026 | 86429 1900 20 | 35.150 % | 99.47/99.51 c =============================================================================== 99.47/99.51 c New solution: 259 99.47/99.51 o 259 99.47/99.51 c Elapsed CPU time: 99.3369 s Remaining CPU time: 80.6631 s 99.47/99.51 c =============================================================================== 99.47/99.51 c | 2740 | 47238 235719 495326 | 78573 1714 20 | 35.150 % | 99.47/99.58 c =============================================================================== 99.47/99.58 c New solution: 258 99.47/99.58 o 258 99.47/99.58 c Elapsed CPU time: 99.4069 s Remaining CPU time: 80.5931 s 99.47/99.58 c =============================================================================== 99.47/99.58 c | 2773 | 46996 235720 495626 | 78573 1747 20 | 35.150 % | 99.57/99.65 c =============================================================================== 99.57/99.65 c New solution: 257 99.57/99.65 o 257 99.57/99.65 c Elapsed CPU time: 99.4709 s Remaining CPU time: 80.5291 s 99.57/99.65 c =============================================================================== 99.57/99.65 c | 2787 | 46754 235721 495926 | 78573 1761 20 | 35.150 % | 99.67/99.71 c =============================================================================== 99.67/99.71 c New solution: 256 99.67/99.71 o 256 99.67/99.71 c Elapsed CPU time: 99.5299 s Remaining CPU time: 80.4701 s 99.67/99.71 c =============================================================================== 99.67/99.71 c | 2817 | 46512 235722 496226 | 78574 1791 20 | 35.150 % | 99.67/99.78 c | 2917 | 46503 235722 496226 | 86431 1891 21 | 36.479 % | 99.76/99.84 c =============================================================================== 99.76/99.84 c New solution: 255 99.76/99.84 o 255 99.76/99.84 c Elapsed CPU time: 99.6658 s Remaining CPU time: 80.3342 s 99.76/99.84 c =============================================================================== 99.76/99.84 c | 2936 | 46270 235723 496526 | 78574 1910 21 | 36.479 % | 99.86/99.90 c =============================================================================== 99.86/99.90 c New solution: 254 99.86/99.90 o 254 99.86/99.90 c Elapsed CPU time: 99.7268 s Remaining CPU time: 80.2732 s 99.86/99.90 c =============================================================================== 99.86/99.90 c | 2945 | 46028 235724 496826 | 78574 1919 21 | 36.479 % | 99.86/99.97 c =============================================================================== 99.86/99.97 c New solution: 253 99.86/99.97 o 253 99.86/99.97 c Elapsed CPU time: 99.7948 s Remaining CPU time: 80.2052 s 99.86/99.97 c =============================================================================== 99.86/99.97 c | 2988 | 45786 235725 497126 | 78575 1599 19 | 36.479 % | 99.97/100.06 c =============================================================================== 99.97/100.06 c New solution: 252 99.97/100.06 o 252 99.97/100.06 c Elapsed CPU time: 99.8808 s Remaining CPU time: 80.1192 s 99.97/100.06 c =============================================================================== 99.97/100.06 c | 3047 | 45544 235726 497426 | 78575 1658 19 | 36.479 % | 100.07/100.11 c =============================================================================== 100.07/100.11 c New solution: 251 100.07/100.11 o 251 100.07/100.11 c Elapsed CPU time: 99.9308 s Remaining CPU time: 80.0692 s 100.07/100.11 c =============================================================================== 100.07/100.11 c | 3055 | 45302 235727 497726 | 78575 1666 19 | 36.479 % | 100.07/100.19 c =============================================================================== 100.07/100.19 c New solution: 250 100.07/100.19 o 250 100.07/100.19 c Elapsed CPU time: 100.008 s Remaining CPU time: 79.9922 s 100.07/100.19 c =============================================================================== 100.07/100.19 c | 3134 | 45060 235728 498026 | 78576 1745 20 | 36.479 % | 100.26/100.30 c | 3234 | 45039 235728 498026 | 86433 1845 20 | 38.472 % | 100.26/100.37 c =============================================================================== 100.26/100.37 c New solution: 249 100.26/100.37 o 249 100.26/100.37 c Elapsed CPU time: 100.186 s Remaining CPU time: 79.8142 s 100.26/100.37 c =============================================================================== 100.26/100.37 c | 3242 | 44818 235729 498326 | 78576 1682 20 | 38.472 % | 100.36/100.43 c =============================================================================== 100.36/100.43 c New solution: 248 100.36/100.43 o 248 100.36/100.43 c Elapsed CPU time: 100.245 s Remaining CPU time: 79.7552 s 100.36/100.43 c =============================================================================== 100.36/100.43 c | 3251 | 44576 235730 498626 | 78576 1691 20 | 38.472 % | 100.36/100.49 c =============================================================================== 100.36/100.49 c New solution: 247 100.36/100.49 o 247 100.36/100.49 c Elapsed CPU time: 100.303 s Remaining CPU time: 79.6972 s 100.36/100.49 c =============================================================================== 100.36/100.49 c | 3258 | 44334 235731 498926 | 78577 1698 20 | 38.472 % | 100.46/100.55 c =============================================================================== 100.46/100.55 c New solution: 246 100.46/100.55 o 246 100.46/100.55 c Elapsed CPU time: 100.362 s Remaining CPU time: 79.6383 s 100.46/100.55 c =============================================================================== 100.46/100.55 c | 3269 | 44092 235732 499226 | 78577 1709 20 | 38.472 % | 100.57/100.60 c =============================================================================== 100.57/100.60 c New solution: 245 100.57/100.60 o 245 100.57/100.60 c Elapsed CPU time: 100.414 s Remaining CPU time: 79.5863 s 100.57/100.60 c =============================================================================== 100.57/100.60 c | 3280 | 43850 235733 499526 | 78577 1720 20 | 38.472 % | 100.57/100.66 c =============================================================================== 100.57/100.66 c New solution: 244 100.57/100.66 o 244 100.57/100.66 c Elapsed CPU time: 100.469 s Remaining CPU time: 79.5313 s 100.57/100.66 c =============================================================================== 100.57/100.66 c | 3301 | 43608 235734 499826 | 78578 1741 20 | 38.472 % | 100.66/100.78 c | 3401 | 43595 235734 499826 | 86435 1841 20 | 40.466 % | 100.76/100.83 c =============================================================================== 100.76/100.83 c New solution: 243 100.76/100.83 o 243 100.76/100.83 c Elapsed CPU time: 100.643 s Remaining CPU time: 79.3573 s 100.76/100.83 c =============================================================================== 100.76/100.83 c | 3424 | 43366 235735 500126 | 78578 1624 20 | 40.466 % | 100.76/100.89 c =============================================================================== 100.76/100.89 c New solution: 242 100.76/100.89 o 242 100.76/100.89 c Elapsed CPU time: 100.706 s Remaining CPU time: 79.2943 s 100.76/100.89 c =============================================================================== 100.76/100.89 c | 3442 | 43124 235736 500426 | 78578 1642 20 | 40.466 % | 100.86/100.98 c =============================================================================== 100.86/100.98 c New solution: 241 100.86/100.98 o 241 100.86/100.98 c Elapsed CPU time: 100.789 s Remaining CPU time: 79.2113 s 100.86/100.98 c =============================================================================== 100.86/100.98 c | 3502 | 42882 235737 500726 | 78579 1702 21 | 40.466 % | 100.96/101.07 c | 3602 | 42862 235737 500726 | 86436 1802 21 | 41.462 % | 101.07/101.13 c =============================================================================== 101.07/101.13 c New solution: 240 101.07/101.13 o 240 101.07/101.13 c Elapsed CPU time: 100.936 s Remaining CPU time: 79.0643 s 101.07/101.13 c =============================================================================== 101.07/101.13 c | 3621 | 42640 235738 501026 | 78579 1821 21 | 41.462 % | 101.07/101.18 c =============================================================================== 101.07/101.18 c New solution: 239 101.07/101.18 o 239 101.07/101.18 c Elapsed CPU time: 100.989 s Remaining CPU time: 79.0114 s 101.07/101.18 c =============================================================================== 101.07/101.18 c | 3640 | 42398 235739 501326 | 78579 1840 21 | 41.462 % | 101.17/101.28 c | 3741 | 42389 235739 501326 | 86437 1941 21 | 42.127 % | 101.26/101.33 c =============================================================================== 101.26/101.33 c New solution: 238 101.26/101.33 o 238 101.26/101.33 c Elapsed CPU time: 101.141 s Remaining CPU time: 78.8594 s 101.26/101.33 c =============================================================================== 101.26/101.33 c | 3750 | 42156 235740 501626 | 78580 1623 19 | 42.127 % | 101.26/101.39 c =============================================================================== 101.26/101.39 c New solution: 237 101.26/101.39 o 237 101.26/101.39 c Elapsed CPU time: 101.193 s Remaining CPU time: 78.8074 s 101.26/101.39 c =============================================================================== 101.26/101.39 c | 3768 | 41914 235741 501926 | 78580 1641 19 | 42.127 % | 101.36/101.46 c =============================================================================== 101.36/101.46 c New solution: 236 101.36/101.46 o 236 101.36/101.46 c Elapsed CPU time: 101.27 s Remaining CPU time: 78.7304 s 101.36/101.46 c =============================================================================== 101.36/101.46 c | 3811 | 41672 235742 502226 | 78580 1684 20 | 42.127 % | 101.46/101.54 c =============================================================================== 101.46/101.54 c New solution: 235 101.46/101.54 o 235 101.46/101.54 c Elapsed CPU time: 101.344 s Remaining CPU time: 78.6564 s 101.46/101.54 c =============================================================================== 101.46/101.54 c | 3823 | 41430 235743 502526 | 78581 1696 20 | 42.127 % | 101.46/101.59 c =============================================================================== 101.46/101.59 c New solution: 234 101.46/101.59 o 234 101.46/101.59 c Elapsed CPU time: 101.402 s Remaining CPU time: 78.5984 s 101.46/101.59 c =============================================================================== 101.46/101.59 c | 3832 | 41188 235744 502826 | 78581 1705 19 | 42.127 % | 101.56/101.66 c =============================================================================== 101.56/101.66 c New solution: 233 101.56/101.66 o 233 101.56/101.66 c Elapsed CPU time: 101.464 s Remaining CPU time: 78.5364 s 101.56/101.66 c =============================================================================== 101.56/101.66 c | 3848 | 40946 235745 503126 | 78581 1721 19 | 42.127 % | 101.67/101.71 c =============================================================================== 101.67/101.71 c New solution: 232 101.67/101.71 o 232 101.67/101.71 c Elapsed CPU time: 101.52 s Remaining CPU time: 78.4804 s 101.67/101.71 c =============================================================================== 101.67/101.71 c | 3854 | 40704 235746 503426 | 78582 1727 19 | 42.127 % | 101.67/101.77 c =============================================================================== 101.67/101.77 c New solution: 231 101.67/101.77 o 231 101.67/101.77 c Elapsed CPU time: 101.576 s Remaining CPU time: 78.4244 s 101.67/101.77 c =============================================================================== 101.67/101.77 c | 3873 | 40462 235747 503726 | 78582 1746 19 | 42.127 % | 101.77/101.87 c | 3973 | 40453 235747 503726 | 86440 1846 20 | 44.785 % | 101.87/101.93 c =============================================================================== 101.87/101.93 c New solution: 230 101.87/101.93 o 230 101.87/101.93 c Elapsed CPU time: 101.736 s Remaining CPU time: 78.2645 s 101.87/101.93 c =============================================================================== 101.87/101.93 c | 3992 | 40220 235748 504026 | 78582 1315 17 | 44.785 % | 101.87/101.99 c =============================================================================== 101.87/101.99 c New solution: 229 101.87/101.99 o 229 101.87/101.99 c Elapsed CPU time: 101.794 s Remaining CPU time: 78.2065 s 101.87/101.99 c =============================================================================== 101.87/101.99 c | 4018 | 39978 235749 504326 | 78583 1341 17 | 44.785 % | 101.96/102.09 c | 4118 | 39972 235749 504326 | 86441 1441 18 | 45.449 % | 102.06/102.14 c =============================================================================== 102.06/102.14 c New solution: 228 102.06/102.14 o 228 102.06/102.14 c Elapsed CPU time: 101.945 s Remaining CPU time: 78.0555 s 102.06/102.14 c =============================================================================== 102.06/102.14 c | 4134 | 39736 235750 504626 | 78583 1457 18 | 45.449 % | 102.17/102.20 c =============================================================================== 102.17/102.20 c New solution: 227 102.17/102.20 o 227 102.17/102.20 c Elapsed CPU time: 101.999 s Remaining CPU time: 78.0005 s 102.17/102.20 c =============================================================================== 102.17/102.20 c | 4146 | 39494 235751 504926 | 78583 1469 18 | 45.449 % | 102.17/102.25 c =============================================================================== 102.17/102.25 c New solution: 226 102.17/102.25 o 226 102.17/102.25 c Elapsed CPU time: 102.051 s Remaining CPU time: 77.9485 s 102.17/102.25 c =============================================================================== 102.17/102.25 c | 4163 | 39252 235752 505226 | 78584 1486 17 | 45.449 % | 102.27/102.32 c =============================================================================== 102.27/102.32 c New solution: 225 102.27/102.32 o 225 102.27/102.32 c Elapsed CPU time: 102.12 s Remaining CPU time: 77.8795 s 102.27/102.32 c =============================================================================== 102.27/102.32 c | 4197 | 38962 235753 505526 | 78584 1520 17 | 45.449 % | 102.36/102.40 c =============================================================================== 102.36/102.40 c New solution: 224 102.36/102.40 o 224 102.36/102.40 c Elapsed CPU time: 102.195 s Remaining CPU time: 77.8045 s 102.36/102.40 c =============================================================================== 102.36/102.40 c | 4231 | 38728 235754 505826 | 78584 1266 17 | 45.449 % | 102.36/102.46 c =============================================================================== 102.36/102.46 c New solution: 223 102.36/102.46 o 223 102.36/102.46 c Elapsed CPU time: 102.259 s Remaining CPU time: 77.7405 s 102.36/102.46 c =============================================================================== 102.36/102.46 c | 4268 | 38494 235755 506126 | 78585 1303 17 | 45.449 % | 102.47/102.54 c =============================================================================== 102.47/102.54 c New solution: 222 102.47/102.54 o 222 102.47/102.54 c Elapsed CPU time: 102.334 s Remaining CPU time: 77.6656 s 102.47/102.54 c =============================================================================== 102.47/102.54 c | 4304 | 38230 235756 506426 | 78585 1339 17 | 45.449 % | 102.56/102.60 c =============================================================================== 102.56/102.60 c New solution: 221 102.56/102.60 o 221 102.56/102.60 c Elapsed CPU time: 102.389 s Remaining CPU time: 77.6106 s 102.56/102.60 c =============================================================================== 102.56/102.60 c | 4316 | 37996 235757 506726 | 78585 1351 17 | 45.449 % | 102.56/102.66 c =============================================================================== 102.56/102.66 c New solution: 220 102.56/102.66 o 220 102.56/102.66 c Elapsed CPU time: 102.447 s Remaining CPU time: 77.5526 s 102.56/102.66 c =============================================================================== 102.56/102.66 c | 4336 | 37772 235758 507026 | 78586 1371 17 | 45.449 % | 102.66/102.74 c =============================================================================== 102.66/102.74 c New solution: 219 102.66/102.74 o 219 102.66/102.74 c Elapsed CPU time: 102.529 s Remaining CPU time: 77.4706 s 102.66/102.74 c =============================================================================== 102.66/102.74 c | 4383 | 37548 235759 507326 | 78586 1418 17 | 45.449 % | 102.66/102.79 c =============================================================================== 102.66/102.79 c New solution: 218 102.66/102.79 o 218 102.66/102.79 c Elapsed CPU time: 102.581 s Remaining CPU time: 77.4186 s 102.66/102.79 c =============================================================================== 102.66/102.79 c | 4402 | 37316 235760 507626 | 78586 1437 17 | 45.449 % | 102.76/102.86 c =============================================================================== 102.76/102.86 c New solution: 217 102.76/102.86 o 217 102.76/102.86 c Elapsed CPU time: 102.646 s Remaining CPU time: 77.3536 s 102.76/102.86 c =============================================================================== 102.76/102.86 c | 4430 | 37074 235761 507926 | 78587 1173 17 | 45.449 % | 102.86/102.95 c | 4530 | 37067 235761 507926 | 86445 1273 18 | 49.436 % | 102.96/103.01 c =============================================================================== 102.96/103.01 c New solution: 216 102.96/103.01 o 216 102.96/103.01 c Elapsed CPU time: 102.798 s Remaining CPU time: 77.2016 s 102.96/103.01 c =============================================================================== 102.96/103.01 c | 4554 | 36832 235762 508226 | 78587 1297 18 | 49.436 % | 102.96/103.10 c =============================================================================== 102.96/103.10 c New solution: 215 102.96/103.10 o 215 102.96/103.10 c Elapsed CPU time: 102.882 s Remaining CPU time: 77.1176 s 102.96/103.10 c =============================================================================== 102.96/103.10 c | 4652 | 36590 235763 508526 | 78587 1395 18 | 49.436 % | 103.06/103.18 c | 4752 | 36581 235763 508526 | 86446 1495 18 | 50.100 % | 103.16/103.24 c =============================================================================== 103.16/103.24 c New solution: 214 103.16/103.24 o 214 103.16/103.24 c Elapsed CPU time: 103.027 s Remaining CPU time: 76.9727 s 103.16/103.24 c =============================================================================== 103.16/103.24 c | 4763 | 36348 235764 508826 | 78588 1352 17 | 50.100 % | 103.16/103.29 c =============================================================================== 103.16/103.29 c New solution: 213 103.16/103.29 o 213 103.16/103.29 c Elapsed CPU time: 103.079 s Remaining CPU time: 76.9207 s 103.16/103.29 c =============================================================================== 103.16/103.29 c | 4780 | 36106 235765 509126 | 78588 1369 17 | 50.100 % | 103.27/103.35 c =============================================================================== 103.27/103.35 c New solution: 212 103.27/103.35 o 212 103.27/103.35 c Elapsed CPU time: 103.13 s Remaining CPU time: 76.8697 s 103.27/103.35 c =============================================================================== 103.27/103.35 c | 4800 | 35864 235766 509426 | 78588 1389 17 | 50.100 % | 103.37/103.42 c | 4900 | 35853 235766 509426 | 86447 1489 18 | 51.097 % | 103.37/103.49 c =============================================================================== 103.37/103.49 c New solution: 211 103.37/103.49 o 211 103.37/103.49 c Elapsed CPU time: 103.27 s Remaining CPU time: 76.7297 s 103.37/103.49 c =============================================================================== 103.37/103.49 c | 4929 | 35622 235767 509726 | 78589 1518 18 | 51.097 % | 103.47/103.55 c =============================================================================== 103.47/103.55 c New solution: 210 103.47/103.55 o 210 103.47/103.55 c Elapsed CPU time: 103.334 s Remaining CPU time: 76.6657 s 103.47/103.55 c =============================================================================== 103.47/103.55 c | 4937 | 35372 235768 510026 | 78589 1526 18 | 51.097 % | 103.57/103.60 c =============================================================================== 103.57/103.60 c New solution: 209 103.57/103.60 o 209 103.57/103.60 c Elapsed CPU time: 103.385 s Remaining CPU time: 76.6147 s 103.57/103.60 c =============================================================================== 103.57/103.60 c | 4947 | 35138 235769 510326 | 78589 1536 18 | 51.097 % | 103.57/103.68 c =============================================================================== 103.57/103.68 c New solution: 208 103.57/103.68 o 208 103.57/103.68 c Elapsed CPU time: 103.462 s Remaining CPU time: 76.5377 s 103.57/103.68 c =============================================================================== 103.57/103.68 c | 4982 | 34896 235770 510626 | 78590 1571 19 | 51.097 % | 103.67/103.73 c =============================================================================== 103.67/103.73 c New solution: 207 103.67/103.73 o 207 103.67/103.73 c Elapsed CPU time: 103.514 s Remaining CPU time: 76.4857 s 103.67/103.73 c =============================================================================== 103.67/103.73 c | 4994 | 34654 235771 510926 | 78590 1215 17 | 51.097 % | 103.67/103.78 c | 5094 | 34622 235771 510926 | 86449 1315 18 | 52.758 % | 103.87/103.94 c | 5244 | 34616 235771 510926 | 95094 1465 20 | 52.758 % | 103.87/103.99 c =============================================================================== 103.87/103.99 c New solution: 206 103.87/103.99 o 206 103.87/103.99 c Elapsed CPU time: 103.778 s Remaining CPU time: 76.2218 s 103.87/103.99 c =============================================================================== 103.87/103.99 c | 5270 | 34412 235772 511226 | 78590 1491 20 | 52.758 % | 103.97/104.05 c =============================================================================== 103.97/104.05 c New solution: 205 103.97/104.05 o 205 103.97/104.05 c Elapsed CPU time: 103.83 s Remaining CPU time: 76.1698 s 103.97/104.05 c =============================================================================== 103.97/104.05 c | 5278 | 34170 235773 511526 | 78591 1499 20 | 52.758 % | 104.06/104.10 c =============================================================================== 104.06/104.10 c New solution: 204 104.06/104.10 o 204 104.06/104.10 c Elapsed CPU time: 103.887 s Remaining CPU time: 76.1128 s 104.06/104.11 c =============================================================================== 104.06/104.11 c | 5307 | 33928 235774 511826 | 78591 1528 20 | 52.758 % | 104.06/104.19 c | 5407 | 33921 235774 511826 | 86450 1628 20 | 53.755 % | 104.16/104.27 c =============================================================================== 104.16/104.27 c New solution: 203 104.16/104.27 o 203 104.16/104.27 c Elapsed CPU time: 104.053 s Remaining CPU time: 75.9468 s 104.16/104.27 c =============================================================================== 104.16/104.27 c | 5478 | 33686 235775 512126 | 78591 1486 19 | 53.755 % | 104.26/104.34 c =============================================================================== 104.26/104.34 c New solution: 202 104.26/104.34 o 202 104.26/104.34 c Elapsed CPU time: 104.117 s Remaining CPU time: 75.8828 s 104.26/104.34 c =============================================================================== 104.26/104.34 c | 5519 | 33444 235776 512426 | 78592 1527 19 | 53.755 % | 104.37/104.43 c =============================================================================== 104.37/104.43 c New solution: 201 104.37/104.43 o 201 104.37/104.43 c Elapsed CPU time: 104.207 s Remaining CPU time: 75.7928 s 104.37/104.43 c =============================================================================== 104.37/104.43 c | 5568 | 33202 235777 512726 | 78592 1576 19 | 53.755 % | 104.37/104.49 c =============================================================================== 104.37/104.49 c New solution: 200 104.37/104.49 o 200 104.37/104.49 c Elapsed CPU time: 104.269 s Remaining CPU time: 75.7309 s 104.37/104.49 c =============================================================================== 104.37/104.49 c | 5590 | 32960 235778 513026 | 78592 1598 19 | 53.755 % | 104.47/104.55 c =============================================================================== 104.47/104.55 c New solution: 199 104.47/104.55 o 199 104.47/104.55 c Elapsed CPU time: 104.334 s Remaining CPU time: 75.6659 s 104.47/104.55 c =============================================================================== 104.47/104.55 c | 5610 | 32718 235779 513326 | 78593 1618 19 | 53.755 % | 104.56/104.62 c | 5710 | 32714 235779 513326 | 86452 1718 19 | 55.416 % | 104.76/104.83 c | 5864 | 32476 235779 513326 | 95097 1544 18 | 55.416 % | 104.76/104.88 c =============================================================================== 104.76/104.88 c New solution: 198 104.76/104.88 o 198 104.76/104.88 c Elapsed CPU time: 104.656 s Remaining CPU time: 75.3439 s 104.76/104.88 c =============================================================================== 104.76/104.88 c | 5882 | 32476 235780 513626 | 78593 1562 18 | 55.416 % | 104.86/104.93 c =============================================================================== 104.86/104.93 c New solution: 197 104.86/104.93 o 197 104.86/104.93 c Elapsed CPU time: 104.712 s Remaining CPU time: 75.2879 s 104.86/104.93 c =============================================================================== 104.86/104.93 c | 5903 | 32234 235781 513926 | 78593 1583 18 | 55.416 % | 104.96/105.01 c | 6003 | 32196 235781 513926 | 86453 1683 19 | 56.080 % | 105.06/105.13 c | 6153 | 31992 235781 513926 | 95098 1693 20 | 56.080 % | 105.06/105.19 c =============================================================================== 105.06/105.19 c New solution: 196 105.06/105.19 o 196 105.06/105.19 c Elapsed CPU time: 104.965 s Remaining CPU time: 75.035 s 105.06/105.19 c =============================================================================== 105.06/105.19 c | 6187 | 31992 235782 514226 | 78594 1727 20 | 56.080 % | 105.16/105.24 c | 6290 | 31991 235782 514226 | 86453 1830 20 | 56.413 % | 105.26/105.37 c | 6441 | 31981 235782 514226 | 95098 1981 20 | 56.413 % | 105.36/105.42 c =============================================================================== 105.36/105.42 c New solution: 195 105.36/105.42 o 195 105.36/105.42 c Elapsed CPU time: 105.2 s Remaining CPU time: 74.8 s 105.36/105.42 c =============================================================================== 105.36/105.42 c | 6455 | 31750 235783 514526 | 78594 1911 20 | 56.413 % | 105.36/105.48 c =============================================================================== 105.36/105.48 c New solution: 194 105.36/105.48 o 194 105.36/105.48 c Elapsed CPU time: 105.256 s Remaining CPU time: 74.744 s 105.36/105.48 c =============================================================================== 105.36/105.48 c | 6481 | 31508 235784 514826 | 78594 1937 19 | 56.413 % | 105.46/105.57 c =============================================================================== 105.46/105.57 c New solution: 193 105.46/105.57 o 193 105.46/105.57 c Elapsed CPU time: 105.343 s Remaining CPU time: 74.657 s 105.46/105.57 c =============================================================================== 105.46/105.57 c | 6565 | 31266 235785 515126 | 78595 2021 19 | 56.413 % | 105.56/105.66 c | 6665 | 31258 235785 515126 | 86454 2121 20 | 57.409 % | 105.66/105.71 c =============================================================================== 105.66/105.71 c New solution: 192 105.66/105.71 o 192 105.66/105.71 c Elapsed CPU time: 105.481 s Remaining CPU time: 74.519 s 105.66/105.71 c =============================================================================== 105.66/105.71 c | 6679 | 31024 235786 515426 | 78595 2135 20 | 57.409 % | 105.66/105.76 c =============================================================================== 105.66/105.76 c New solution: 191 105.66/105.76 o 191 105.66/105.76 c Elapsed CPU time: 105.531 s Remaining CPU time: 74.469 s 105.66/105.76 c =============================================================================== 105.66/105.76 c | 6684 | 30782 235787 515726 | 78595 2140 20 | 57.409 % | 105.77/105.82 c | 6784 | 30776 235787 515726 | 86455 2240 20 | 58.074 % | 105.87/105.99 c | 6936 | 30540 235787 515726 | 95100 2071 20 | 58.074 % | 105.96/106.05 c =============================================================================== 105.96/106.05 c New solution: 190 105.96/106.05 o 190 105.96/106.05 c Elapsed CPU time: 105.825 s Remaining CPU time: 74.1751 s 105.96/106.05 c =============================================================================== 105.96/106.05 c | 7001 | 30540 235788 516026 | 78596 2136 20 | 58.074 % | 106.06/106.15 c | 7102 | 30534 235788 516026 | 86455 2237 20 | 58.406 % | 106.26/106.30 c | 7253 | 30528 235788 516026 | 95101 2388 20 | 58.406 % | 106.26/106.35 c =============================================================================== 106.26/106.35 c New solution: 189 106.26/106.35 o 189 106.26/106.35 c Elapsed CPU time: 106.124 s Remaining CPU time: 73.8761 s 106.26/106.35 c =============================================================================== 106.26/106.35 c | 7261 | 30298 235789 516326 | 78596 2331 20 | 58.406 % | 106.36/106.42 c =============================================================================== 106.36/106.42 c New solution: 188 106.36/106.42 o 188 106.36/106.42 c Elapsed CPU time: 106.193 s Remaining CPU time: 73.8071 s 106.36/106.42 c =============================================================================== 106.36/106.42 c | 7313 | 30056 235790 516626 | 78596 2383 20 | 58.406 % | 106.46/106.52 c | 7414 | 30051 235790 516626 | 86456 2484 20 | 59.070 % | 106.46/106.57 c =============================================================================== 106.46/106.57 c New solution: 187 106.46/106.57 o 187 106.46/106.57 c Elapsed CPU time: 106.341 s Remaining CPU time: 73.6592 s 106.46/106.57 c =============================================================================== 106.46/106.57 c | 7425 | 29814 235791 516926 | 78597 2495 20 | 59.070 % | 106.57/106.64 c =============================================================================== 106.57/106.64 c New solution: 186 106.57/106.64 o 186 106.57/106.64 c Elapsed CPU time: 106.414 s Remaining CPU time: 73.5862 s 106.57/106.64 c =============================================================================== 106.57/106.64 c | 7464 | 29572 235792 517226 | 78597 2534 20 | 59.070 % | 106.67/106.75 c | 7564 | 29320 235792 517226 | 86457 2300 19 | 59.749 % | 106.76/106.80 c =============================================================================== 106.76/106.80 c New solution: 185 106.76/106.80 o 185 106.76/106.80 c Elapsed CPU time: 106.571 s Remaining CPU time: 73.4292 s 106.76/106.80 c =============================================================================== 106.76/106.80 c | 7578 | 29320 235793 517526 | 78597 2314 19 | 59.749 % | 106.76/106.87 c | 7678 | 29276 235793 517526 | 86457 2414 21 | 60.067 % | 106.96/107.01 c | 7831 | 29273 235793 517526 | 95103 2567 22 | 60.067 % | 107.16/107.20 c =============================================================================== 107.16/107.20 c New solution: 184 107.16/107.20 o 184 107.16/107.20 c Elapsed CPU time: 106.964 s Remaining CPU time: 73.0363 s 107.16/107.20 c =============================================================================== 107.16/107.20 c | 8019 | 29088 235794 517826 | 78598 2755 22 | 60.067 % | 107.26/107.32 c | 8121 | 28846 235794 517826 | 86457 2661 22 | 60.399 % | 107.26/107.37 c =============================================================================== 107.26/107.37 c New solution: 183 107.26/107.37 o 183 107.26/107.37 c Elapsed CPU time: 107.131 s Remaining CPU time: 72.8693 s 107.26/107.37 c =============================================================================== 107.26/107.37 c | 8132 | 28846 235795 518126 | 78598 2672 22 | 60.399 % | 107.36/107.42 c =============================================================================== 107.36/107.42 c New solution: 182 107.36/107.42 o 182 107.36/107.42 c Elapsed CPU time: 107.182 s Remaining CPU time: 72.8183 s 107.36/107.42 c =============================================================================== 107.36/107.42 c | 8148 | 28604 235796 518426 | 78598 2688 22 | 60.399 % | 107.36/107.49 c | 8248 | 28603 235796 518426 | 86458 2788 22 | 61.064 % | 107.46/107.57 c =============================================================================== 107.46/107.57 c New solution: 181 107.46/107.57 o 181 107.46/107.57 c Elapsed CPU time: 107.333 s Remaining CPU time: 72.6673 s 107.46/107.57 c =============================================================================== 107.46/107.57 c | 8289 | 28362 235797 518726 | 78599 2829 22 | 61.064 % | 107.56/107.62 c =============================================================================== 107.56/107.62 c New solution: 180 107.56/107.62 o 180 107.56/107.62 c Elapsed CPU time: 107.384 s Remaining CPU time: 72.6163 s 107.56/107.62 c =============================================================================== 107.56/107.62 c | 8311 | 28120 235798 519026 | 78599 2851 22 | 61.064 % | 107.56/107.70 c | 8413 | 28104 235798 519026 | 86459 2953 22 | 61.728 % | 107.77/107.83 c | 8563 | 27878 235798 519026 | 95105 2781 21 | 61.728 % | 107.86/107.90 c =============================================================================== 107.86/107.90 c New solution: 179 107.86/107.90 o 179 107.86/107.90 c Elapsed CPU time: 107.667 s Remaining CPU time: 72.3334 s 107.86/107.90 c =============================================================================== 107.86/107.90 c | 8632 | 27878 235799 519326 | 78599 2850 22 | 61.728 % | 107.86/107.99 c | 8732 | 27873 235799 519326 | 86459 2950 22 | 62.060 % | 107.96/108.09 c =============================================================================== 107.96/108.09 c New solution: 178 107.96/108.09 o 178 107.96/108.09 c Elapsed CPU time: 107.846 s Remaining CPU time: 72.1544 s 107.96/108.09 c =============================================================================== 107.96/108.09 c | 8840 | 27636 235800 519626 | 78600 3058 22 | 62.060 % | 108.16/108.20 c | 8940 | 27622 235800 519626 | 86460 3158 22 | 62.393 % | 108.16/108.28 c =============================================================================== 108.16/108.28 c New solution: 177 108.16/108.28 o 177 108.16/108.28 c Elapsed CPU time: 108.041 s Remaining CPU time: 71.9594 s 108.16/108.28 c =============================================================================== 108.16/108.28 c | 8977 | 27394 235801 519926 | 78600 3027 22 | 62.393 % | 108.26/108.38 c | 9079 | 27390 235801 519926 | 86460 3129 21 | 62.725 % | 108.36/108.44 c =============================================================================== 108.36/108.44 c New solution: 176 108.36/108.44 o 176 108.36/108.44 c Elapsed CPU time: 108.199 s Remaining CPU time: 71.8014 s 108.36/108.44 c =============================================================================== 108.36/108.44 c | 9102 | 27152 235802 520226 | 78600 3152 22 | 62.725 % | 108.46/108.50 c | 9203 | 27137 235802 520226 | 86460 3253 22 | 63.057 % | 108.56/108.66 c | 9354 | 27134 235802 520226 | 95106 3404 22 | 63.057 % | 108.66/108.75 c =============================================================================== 108.66/108.75 c New solution: 175 108.66/108.75 o 175 108.66/108.75 c Elapsed CPU time: 108.504 s Remaining CPU time: 71.4965 s 108.66/108.75 c =============================================================================== 108.66/108.75 c | 9454 | 26910 235803 520526 | 78601 3303 21 | 63.057 % | 108.76/108.83 c | 9554 | 26903 235803 520526 | 86461 3403 22 | 63.389 % | 108.86/108.99 c | 9705 | 26892 235803 520526 | 95107 3554 22 | 63.476 % | 109.06/109.13 c | 9931 | 26880 235803 520526 | 104617 3780 23 | 63.476 % | 109.36/109.42 c | 10268 | 26605 235803 520526 | 115079 4009 23 | 63.476 % | 109.46/109.50 c =============================================================================== 109.46/109.50 c New solution: 174 109.46/109.50 o 174 109.46/109.50 c Elapsed CPU time: 109.248 s Remaining CPU time: 70.7516 s 109.46/109.50 c =============================================================================== 109.46/109.50 c | 10324 | 26605 235804 520826 | 78601 4065 23 | 63.476 % | 109.46/109.57 c | 10426 | 26605 235804 520826 | 86461 4167 23 | 63.808 % | 109.66/109.70 c | 10579 | 26363 235804 520826 | 95107 4249 23 | 63.808 % | 109.76/109.85 c | 10805 | 26360 235804 520826 | 104618 4475 23 | 63.932 % | 109.87/109.92 c =============================================================================== 109.87/109.92 c New solution: 173 109.87/109.92 o 173 109.87/109.92 c Elapsed CPU time: 109.665 s Remaining CPU time: 70.3347 s 109.87/109.92 c =============================================================================== 109.87/109.92 c | 10847 | 26273 235805 521126 | 78601 4517 23 | 63.932 % | 109.87/110.00 c | 10949 | 26267 235805 521126 | 86461 4619 23 | 64.264 % | 110.06/110.17 c | 11099 | 26031 235805 521126 | 95108 4697 23 | 64.264 % | 110.36/110.42 c | 11324 | 26031 235805 521126 | 104618 4922 23 | 64.264 % | 110.46/110.59 c | 11661 | 26031 235805 521126 | 115080 5259 23 | 64.264 % | 111.16/111.21 c | 12167 | 26031 235805 521126 | 126588 5765 25 | 64.264 % | 111.36/111.44 c =============================================================================== 111.36/111.44 c New solution: 172 111.36/111.44 o 172 111.36/111.44 c Elapsed CPU time: 111.182 s Remaining CPU time: 68.8179 s 111.36/111.44 c =============================================================================== 111.36/111.44 c | 12409 | 26031 235806 521426 | 78602 6007 26 | 64.264 % | 111.46/111.54 c | 12510 | 25789 235806 521426 | 86462 5994 25 | 64.596 % | 111.56/111.65 c | 12661 | 25789 235806 521426 | 95108 6145 25 | 64.596 % | 111.86/111.90 c | 12886 | 25788 235806 521426 | 104619 6370 25 | 64.623 % | 112.06/112.14 c | 13224 | 25769 235806 521426 | 115081 6683 26 | 64.623 % | 112.56/112.61 c | 13730 | 25665 235806 521426 | 126589 7188 26 | 64.766 % | 112.86/112.95 c =============================================================================== 112.86/112.95 c New solution: 171 112.86/112.95 o 171 112.86/112.95 c Elapsed CPU time: 112.686 s Remaining CPU time: 67.3141 s 112.86/112.95 c =============================================================================== 112.86/112.95 c | 14124 | 25665 235807 521726 | 78602 7582 26 | 64.766 % | 112.96/113.02 c | 14224 | 25655 235807 521726 | 86462 7682 26 | 65.085 % | 113.06/113.17 c | 14375 | 25429 235807 521726 | 95108 7547 25 | 65.112 % | 113.27/113.37 c | 14600 | 25429 235807 521726 | 104619 7772 25 | 65.112 % | 113.56/113.63 c =============================================================================== 113.56/113.63 c New solution: 170 113.56/113.63 o 170 113.56/113.63 c Elapsed CPU time: 113.362 s Remaining CPU time: 66.6382 s 113.56/113.63 c =============================================================================== 113.56/113.63 c | 14877 | 25413 235808 522026 | 78602 8049 25 | 65.112 % | 113.66/113.76 c | 14978 | 25171 235808 522026 | 86462 7875 25 | 65.444 % | 113.76/113.89 c | 15128 | 25171 235808 522026 | 95109 8025 25 | 65.444 % | 113.96/114.04 c =============================================================================== 113.96/114.04 c New solution: 169 113.96/114.04 o 169 113.96/114.04 c Elapsed CPU time: 113.766 s Remaining CPU time: 66.2343 s 113.96/114.04 c =============================================================================== 113.96/114.04 c | 15250 | 25171 235809 522326 | 78603 8147 25 | 65.444 % | 114.06/114.18 c | 15351 | 25166 235809 522326 | 86463 8248 25 | 65.763 % | 114.16/114.30 c | 15501 | 24939 235809 522326 | 95109 8251 24 | 65.763 % | 114.46/114.54 c | 15726 | 24939 235809 522326 | 104620 8476 25 | 65.763 % | 114.76/114.87 c | 16064 | 24939 235809 522326 | 115082 8814 26 | 65.763 % | 115.16/115.21 c | 16573 | 24939 235809 522326 | 126590 9323 27 | 65.763 % | 115.66/115.80 c | 17335 | 24939 235809 522326 | 139250 10085 28 | 65.763 % | 115.96/116.04 c =============================================================================== 115.96/116.04 c New solution: 168 115.96/116.04 o 168 115.96/116.04 c Elapsed CPU time: 115.758 s Remaining CPU time: 64.2416 s 115.96/116.04 c =============================================================================== 115.96/116.04 c | 17617 | 24939 235810 522626 | 78603 10367 28 | 65.763 % | 116.06/116.15 c | 17718 | 24707 235810 522626 | 86463 10281 28 | 66.081 % | 116.26/116.32 c | 17868 | 24707 235810 522626 | 95110 10431 28 | 66.081 % | 116.46/116.54 c | 18094 | 24707 235810 522626 | 104621 10657 28 | 66.081 % | 116.76/116.89 c | 18431 | 24707 235810 522626 | 115083 10994 28 | 66.081 % | 117.25/117.40 c | 18937 | 24707 235810 522626 | 126591 11500 29 | 66.081 % | 117.67/117.74 c =============================================================================== 117.67/117.74 c New solution: 167 117.67/117.74 o 167 117.67/117.74 c Elapsed CPU time: 117.449 s Remaining CPU time: 62.5509 s 117.67/117.74 c =============================================================================== 117.67/117.74 c | 19448 | 24707 235811 522926 | 78603 12011 30 | 66.081 % | 117.76/117.86 c | 19548 | 24445 235811 522926 | 86464 11640 28 | 66.441 % | 117.86/117.91 c =============================================================================== 117.86/117.91 c New solution: 166 117.86/117.91 o 166 117.86/117.91 c Elapsed CPU time: 117.623 s Remaining CPU time: 62.3769 s 117.86/117.91 c =============================================================================== 117.86/117.91 c | 19575 | 24445 235812 523226 | 78604 11667 28 | 66.441 % | 117.96/118.02 c | 19675 | 24444 235812 523226 | 86464 11767 28 | 66.760 % | 118.06/118.17 c | 19825 | 24435 235812 523226 | 95110 11917 28 | 66.760 % | 118.36/118.40 c | 20050 | 24426 235812 523226 | 104621 12142 28 | 66.760 % | 118.76/118.88 c | 20388 | 24213 235812 523226 | 115084 12258 28 | 66.760 % | 118.86/118.95 c =============================================================================== 118.86/118.95 c New solution: 165 118.86/118.95 o 165 118.86/118.95 c Elapsed CPU time: 118.656 s Remaining CPU time: 61.344 s 118.86/118.95 c =============================================================================== 118.86/118.95 c | 20422 | 24213 235813 523526 | 78604 12292 28 | 66.760 % | 119.06/119.10 c | 20523 | 24201 235813 523526 | 86464 12393 28 | 67.078 % | 119.26/119.33 c | 20674 | 23961 235813 523526 | 95111 12217 28 | 67.106 % | 119.55/119.63 c | 20899 | 23961 235813 523526 | 104622 12442 28 | 67.106 % | 119.95/120.01 c | 21239 | 23961 235813 523526 | 115084 12782 29 | 67.106 % | 120.16/120.27 c | 21746 | 23961 235813 523526 | 126593 13289 29 | 67.106 % | 121.06/121.12 c | 22505 | 23961 235813 523526 | 139252 14048 29 | 67.106 % | 122.35/122.41 c | 23644 | 23961 235813 523526 | 153177 15187 35 | 67.106 % | 124.46/124.59 c | 25353 | 23961 235813 523526 | 168495 16896 36 | 67.106 % | 127.36/127.46 c | 27916 | 23961 235813 523526 | 185344 19459 41 | 67.106 % | 131.66/131.76 c | 31761 | 23961 235813 523526 | 203879 23304 45 | 67.106 % | 140.45/140.55 c | 37527 | 23933 235813 523526 | 224267 29042 46 | 67.144 % | 141.55/141.60 c =============================================================================== 141.55/141.60 c New solution: 164 141.55/141.60 o 164 141.55/141.60 c Elapsed CPU time: 141.23 s Remaining CPU time: 38.7705 s 141.55/141.60 c =============================================================================== 141.55/141.60 c | 38413 | 23933 235814 523826 | 78604 29928 45 | 67.144 % | 141.65/141.77 c | 38513 | 23729 235814 523826 | 86465 29541 44 | 67.424 % | 141.86/141.95 c | 38666 | 23729 235814 523826 | 95111 29694 44 | 67.424 % | 142.05/142.17 c | 38891 | 23729 235814 523826 | 104622 29919 44 | 67.424 % | 142.75/142.83 c | 39229 | 23729 235814 523826 | 115085 30257 44 | 67.424 % | 143.35/143.46 c | 39735 | 23729 235814 523826 | 126593 30763 44 | 67.424 % | 144.95/145.07 c | 40497 | 23729 235814 523826 | 139252 31525 45 | 67.424 % | 145.95/146.09 c | 41636 | 23729 235814 523826 | 153178 32664 45 | 67.424 % | 149.46/149.59 c | 43345 | 23729 235814 523826 | 168496 34373 45 | 67.424 % | 153.34/153.46 c | 45907 | 23729 235814 523826 | 185345 36935 47 | 67.424 % | 158.85/158.97 c | 49752 | 23729 235814 523826 | 203880 40780 46 | 67.424 % | 163.55/163.67 c | 55519 | 23729 235814 523826 | 224268 46547 49 | 67.424 % | 180.35/180.49 c There are 49113 assigned variables. 248 in cost function. 181.85/181.99 c core #1 181.85/181.99 c core #2 181.85/181.99 c core #3 181.85/181.99 c core #4 181.85/181.99 c core #5 181.85/181.99 c core #6 181.85/181.99 c core #7 181.85/181.99 c core #8 181.85/181.99 c ============================[ Search Statistics ]============================== 181.85/181.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.85/181.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.85/181.99 c =============================================================================== 181.85/181.99 c | 0 | 12674 116113 169175 | 38704 0 nan | 0.000 % | 181.95/182.00 c =============================================================================== 182.04/182.16 c core #9 182.04/182.16 c ============================[ Search Statistics ]============================== 182.04/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.16 c =============================================================================== 182.04/182.16 c | 0 | 13338 116157 169455 | 38719 0 nan | 0.000 % | 182.04/182.17 c =============================================================================== 182.24/182.32 c core #10 182.24/182.32 c ============================[ Search Statistics ]============================== 182.24/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.33 c =============================================================================== 182.24/182.33 c | 0 | 13972 116200 169762 | 38733 0 nan | 0.000 % | 182.24/182.34 c =============================================================================== 182.34/182.50 c core #11 182.34/182.50 c ============================[ Search Statistics ]============================== 182.34/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.50 c =============================================================================== 182.34/182.50 c | 0 | 14331 116242 170048 | 38747 0 nan | 0.000 % | 182.45/182.51 c =============================================================================== 182.55/182.67 c core #12 182.55/182.67 c ============================[ Search Statistics ]============================== 182.55/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.67 c =============================================================================== 182.55/182.67 c | 0 | 14614 116283 170327 | 38761 0 nan | 0.000 % | 182.65/182.71 c =============================================================================== 182.74/182.87 c core #13 182.74/182.87 c ============================[ Search Statistics ]============================== 182.74/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.87 c =============================================================================== 182.74/182.87 c | 0 | 14896 116323 170610 | 38774 0 nan | 0.000 % | 182.84/182.91 c =============================================================================== 182.94/183.07 c core #14 182.94/183.07 c ============================[ Search Statistics ]============================== 182.94/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.07 c =============================================================================== 182.94/183.07 c | 0 | 15177 116363 170894 | 38787 0 nan | 0.000 % | 183.04/183.13 c =============================================================================== 183.14/183.29 c core #15 183.14/183.29 c ============================[ Search Statistics ]============================== 183.14/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.29 c =============================================================================== 183.14/183.29 c | 0 | 15457 116401 171178 | 38800 0 nan | 0.000 % | 183.24/183.37 c =============================================================================== 183.44/183.54 c core #16 183.44/183.54 c ============================[ Search Statistics ]============================== 183.44/183.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.54 c =============================================================================== 183.44/183.54 c | 0 | 15736 116439 171462 | 38813 0 nan | 0.000 % | 183.54/183.65 c | 100 | 14324 116439 171462 | 42694 51 13 | 80.550 % | 183.54/183.67 c =============================================================================== 183.75/183.83 c core #17 183.75/183.83 c ============================[ Search Statistics ]============================== 183.75/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.75/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.75/183.83 c =============================================================================== 183.75/183.83 c | 0 | 16014 116476 171739 | 38825 0 nan | 0.000 % | 183.84/183.94 c | 100 | 16008 116476 171739 | 42707 100 15 | 78.848 % | 183.84/183.95 c =============================================================================== 184.04/184.11 c core #18 184.04/184.11 c ============================[ Search Statistics ]============================== 184.04/184.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.11 c =============================================================================== 184.04/184.11 c | 0 | 16291 116514 172029 | 38838 0 nan | 0.000 % | 184.14/184.23 c | 103 | 16291 116514 172029 | 42721 103 16 | 77.873 % | 184.24/184.31 c =============================================================================== 184.34/184.47 c core #19 184.34/184.47 c ============================[ Search Statistics ]============================== 184.34/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.47 c =============================================================================== 184.34/184.47 c | 0 | 16580 116548 172309 | 38849 0 nan | 0.000 % | 184.44/184.58 c | 102 | 16580 116548 172309 | 42734 102 17 | 77.491 % | 184.54/184.70 c =============================================================================== 184.75/184.86 c core #20 184.75/184.86 c ============================[ Search Statistics ]============================== 184.75/184.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.86 c =============================================================================== 184.75/184.86 c | 0 | 16855 116582 172579 | 38860 0 nan | 0.000 % | 184.84/184.97 c | 100 | 16855 116582 172579 | 42746 100 15 | 77.128 % | 185.04/185.14 c | 250 | 16825 116582 172579 | 47021 249 19 | 77.169 % | 185.04/185.19 c =============================================================================== 185.25/185.35 c core #21 185.25/185.35 c ============================[ Search Statistics ]============================== 185.25/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.35 c =============================================================================== 185.25/185.35 c | 0 | 17129 116618 172862 | 38872 0 nan | 0.000 % | 185.35/185.47 c | 100 | 17129 116618 172862 | 42759 100 18 | 76.766 % | 185.54/185.62 c | 250 | 17129 116618 172862 | 47035 250 19 | 76.766 % | 185.75/185.84 c =============================================================================== 185.94/186.01 c core #22 185.94/186.01 c ============================[ Search Statistics ]============================== 185.94/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.01 c =============================================================================== 185.94/186.01 c | 0 | 17402 116653 173136 | 38884 0 nan | 0.000 % | 186.04/186.12 c | 102 | 17400 116653 173136 | 42772 102 17 | 76.444 % | 186.24/186.30 c | 253 | 17371 116653 173136 | 47050 252 23 | 76.494 % | 186.44/186.57 c | 479 | 17307 116653 173136 | 51755 475 29 | 76.534 % | 186.64/186.70 c =============================================================================== 186.74/186.86 c core #23 186.74/186.86 c ============================[ Search Statistics ]============================== 186.74/186.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.86 c =============================================================================== 186.74/186.86 c | 0 | 17674 116688 173415 | 38896 0 nan | 0.000 % | 186.85/186.96 c | 101 | 17674 116688 173415 | 42785 101 16 | 76.047 % | 187.04/187.13 c | 252 | 17674 116688 173415 | 47064 252 20 | 76.047 % | 187.34/187.41 c | 478 | 17674 116688 173415 | 51770 478 25 | 76.047 % | 187.74/187.82 c | 815 | 17644 116688 173415 | 56947 814 30 | 76.087 % | 188.14/188.21 c =============================================================================== 188.24/188.38 c core #24 188.24/188.38 c ============================[ Search Statistics ]============================== 188.24/188.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.38 c =============================================================================== 188.24/188.38 c | 0 | 17945 116724 173691 | 38908 0 nan | 0.000 % | 188.44/188.51 c | 100 | 17945 116724 173691 | 42798 100 22 | 75.801 % | 188.54/188.65 c | 251 | 17862 116724 173691 | 47078 249 22 | 75.801 % | 188.74/188.88 c | 476 | 17810 116724 173691 | 51786 472 25 | 75.872 % | 189.15/189.28 c | 813 | 17807 116724 173691 | 56965 809 32 | 75.891 % | 189.74/189.83 c | 1319 | 16471 116724 173691 | 62661 636 22 | 77.686 % | 189.84/189.94 c =============================================================================== 190.04/190.11 c core #25 190.04/190.11 c ============================[ Search Statistics ]============================== 190.04/190.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.11 c =============================================================================== 190.04/190.11 c | 0 | 18215 116756 173958 | 38918 0 nan | 0.000 % | 190.14/190.22 c | 101 | 18215 116756 173958 | 42810 101 14 | 75.332 % | 190.24/190.36 c | 252 | 18215 116756 173958 | 47091 252 24 | 75.332 % | 190.44/190.59 c | 477 | 18215 116756 173958 | 51800 477 25 | 75.332 % | 190.84/190.99 c | 814 | 18215 116756 173958 | 56980 814 26 | 75.332 % | 191.44/191.55 c | 1320 | 18215 116756 173958 | 62678 1320 29 | 75.332 % | 192.24/192.37 c | 2079 | 18211 116756 173958 | 68946 2077 35 | 75.338 % | 192.94/193.02 c =============================================================================== 193.04/193.19 c core #26 193.04/193.19 c ============================[ Search Statistics ]============================== 193.04/193.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.04/193.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.04/193.19 c =============================================================================== 193.04/193.19 c | 0 | 18484 116794 174240 | 38931 0 nan | 0.000 % | 193.24/193.30 c | 100 | 18484 116794 174240 | 42824 100 15 | 74.977 % | 193.34/193.45 c | 250 | 18421 116794 174240 | 47106 249 19 | 75.063 % | 193.64/193.70 c | 475 | 18103 116794 174240 | 51817 473 30 | 75.493 % | 193.94/194.06 c | 812 | 18103 116794 174240 | 56999 810 29 | 75.493 % | 194.44/194.54 c | 1321 | 18103 116794 174240 | 62699 1319 32 | 75.493 % | 195.24/195.38 c | 2081 | 18103 116794 174240 | 68969 2079 36 | 75.493 % | 196.54/196.66 c | 3220 | 18103 116794 174240 | 75866 3218 39 | 75.493 % | 197.95/198.01 c =============================================================================== 198.04/198.17 c core #27 198.04/198.17 c ============================[ Search Statistics ]============================== 198.04/198.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.04/198.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.04/198.17 c =============================================================================== 198.04/198.17 c | 0 | 18752 116835 174533 | 38945 0 nan | 0.000 % | 198.14/198.28 c | 100 | 18752 116835 174533 | 42839 100 17 | 74.623 % | 198.34/198.45 c | 250 | 18722 116835 174533 | 47123 249 23 | 74.664 % | 198.64/198.70 c | 476 | 18722 116835 174533 | 51835 475 27 | 74.664 % | 198.94/199.02 c | 813 | 18722 116835 174533 | 57019 812 28 | 74.664 % | 199.53/199.63 c | 1321 | 18722 116835 174533 | 62721 1320 32 | 74.664 % | 200.33/200.47 c | 2080 | 18722 116835 174533 | 68993 2079 33 | 74.664 % | 201.64/201.77 c | 3219 | 18078 116835 174533 | 75892 2745 35 | 75.536 % | 203.84/203.90 c | 4929 | 18078 116835 174533 | 83482 4455 39 | 75.536 % | 205.13/205.22 c =============================================================================== 205.23/205.39 c core #28 205.23/205.39 c ============================[ Search Statistics ]============================== 205.23/205.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.23/205.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.23/205.39 c =============================================================================== 205.23/205.39 c | 0 | 19019 116878 174837 | 38959 0 nan | 0.000 % | 205.43/205.50 c | 100 | 19019 116878 174837 | 42855 100 18 | 74.271 % | 205.54/205.62 c | 250 | 19019 116878 174837 | 47140 250 21 | 74.271 % | 205.73/205.85 c | 476 | 19019 116878 174837 | 51854 476 24 | 74.271 % | 206.14/206.29 c | 813 | 19019 116878 174837 | 57040 813 29 | 74.271 % | 206.75/206.81 c | 1319 | 19019 116878 174837 | 62744 1319 30 | 74.271 % | 207.34/207.48 c | 2078 | 19019 116878 174837 | 69018 2078 33 | 74.271 % | 208.63/208.78 c | 3218 | 19007 116878 174837 | 75920 3217 36 | 74.287 % | 210.74/210.84 c | 4928 | 19007 116878 174837 | 83512 4927 42 | 74.287 % | 213.93/214.07 c | 7490 | 18216 116878 174837 | 91864 6179 42 | 75.357 % | 216.34/216.46 c =============================================================================== 216.54/216.62 c core #29 216.54/216.62 c ============================[ Search Statistics ]============================== 216.54/216.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.54/216.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.54/216.62 c =============================================================================== 216.54/216.62 c | 0 | 19285 116917 175122 | 38972 0 nan | 0.000 % | 216.64/216.74 c | 100 | 19285 116917 175122 | 42869 100 17 | 73.919 % | 216.73/216.88 c | 252 | 19285 116917 175122 | 47156 252 26 | 73.919 % | 217.03/217.12 c | 477 | 19285 116917 175122 | 51872 477 29 | 73.919 % | 217.33/217.44 c | 815 | 19285 116917 175122 | 57059 815 34 | 73.919 % | 217.94/218.02 c | 1321 | 19285 116917 175122 | 62765 1321 31 | 73.919 % | 218.84/218.99 c | 2080 | 19285 116917 175122 | 69041 2080 36 | 73.919 % | 220.23/220.31 c | 3219 | 19285 116917 175122 | 75946 3219 38 | 73.919 % | 222.63/222.73 c | 4927 | 19251 116917 175122 | 83540 4925 41 | 73.965 % | 225.93/226.09 c | 7489 | 19251 116917 175122 | 91894 7487 42 | 73.965 % | 231.72/231.87 c | 11333 | 19251 116917 175122 | 101084 11331 46 | 73.965 % | 237.03/237.15 c =============================================================================== 237.23/237.32 c core #30 237.23/237.32 c ============================[ Search Statistics ]============================== 237.23/237.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.23/237.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.23/237.32 c =============================================================================== 237.23/237.32 c | 0 | 19550 116955 175395 | 38985 0 nan | 0.000 % | 237.33/237.41 c | 100 | 19550 116955 175395 | 42883 100 16 | 73.569 % | 237.43/237.55 c | 250 | 19550 116955 175395 | 47171 250 20 | 73.569 % | 237.62/237.73 c | 476 | 19550 116955 175395 | 51889 476 19 | 73.569 % | 237.93/238.06 c | 813 | 19550 116955 175395 | 57077 813 26 | 73.569 % | 238.32/238.49 c | 1319 | 19550 116955 175395 | 62785 1319 28 | 73.569 % | 239.23/239.30 c | 2078 | 19550 116955 175395 | 69064 2078 31 | 73.569 % | 240.43/240.51 c | 3217 | 19550 116955 175395 | 75970 3217 32 | 73.569 % | 242.23/242.37 c | 4926 | 19550 116955 175395 | 83567 4926 36 | 73.569 % | 245.42/245.52 c | 7489 | 19520 116955 175395 | 91924 7488 39 | 73.610 % | 250.63/250.78 c | 11335 | 19520 116955 175395 | 101117 11334 43 | 73.610 % | 258.62/258.75 c | 17103 | 19520 116955 175395 | 111228 17102 48 | 73.610 % | 266.61/266.73 c =============================================================================== 266.72/266.89 c core #31 266.72/266.89 c ============================[ Search Statistics ]============================== 266.72/266.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 266.72/266.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 266.72/266.89 c =============================================================================== 266.72/266.89 c | 0 | 19814 116994 175667 | 38998 0 nan | 0.000 % | 266.82/266.99 c | 100 | 19814 116994 175667 | 42897 100 16 | 73.220 % | 267.02/267.16 c | 251 | 19814 116994 175667 | 47187 251 28 | 73.220 % | 267.32/267.41 c | 476 | 19814 116994 175667 | 51906 476 29 | 73.220 % | 267.62/267.75 c | 813 | 19814 116994 175667 | 57096 813 29 | 73.220 % | 268.02/268.18 c | 1319 | 19814 116994 175667 | 62806 1319 31 | 73.220 % | 268.92/269.04 c | 2080 | 19814 116994 175667 | 69087 2080 31 | 73.220 % | 270.22/270.31 c | 3219 | 19814 116994 175667 | 75996 3219 36 | 73.220 % | 272.02/272.11 c | 4928 | 19814 116994 175667 | 83595 4928 40 | 73.220 % | 275.51/275.62 c | 7490 | 19814 116994 175667 | 91955 7490 39 | 73.220 % | 280.62/280.79 c | 11335 | 19814 116994 175667 | 101150 11335 41 | 73.220 % | 288.81/288.96 c | 17102 | 19814 116994 175667 | 111265 17102 46 | 73.220 % | 303.01/303.17 c | 25751 | 19784 116994 175667 | 122392 25750 48 | 73.261 % | 322.91/323.07 c =============================================================================== 323.10/323.25 c core #32 323.10/323.25 c ============================[ Search Statistics ]============================== 323.10/323.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 323.10/323.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 323.10/323.25 c =============================================================================== 323.10/323.25 c | 0 | 20077 117050 175980 | 39016 0 nan | 0.000 % | 323.21/323.35 c | 100 | 20077 117050 175980 | 42918 100 14 | 72.873 % | 323.40/323.53 c | 250 | 20077 117050 175980 | 47210 250 22 | 72.873 % | 323.60/323.75 c | 475 | 20077 117050 175980 | 51931 475 30 | 72.873 % | 323.90/324.08 c | 812 | 20077 117050 175980 | 57124 812 32 | 72.873 % | 324.51/324.60 c | 1319 | 20077 117050 175980 | 62836 1319 35 | 72.873 % | 325.11/325.25 c | 2078 | 20077 117050 175980 | 69120 2078 32 | 72.873 % | 326.20/326.36 c | 3218 | 20077 117050 175980 | 76032 3218 36 | 72.873 % | 328.00/328.12 c | 4926 | 20072 117050 175980 | 83635 4925 37 | 72.879 % | 331.20/331.34 c | 7490 | 20072 117050 175980 | 91999 7489 38 | 72.879 % | 336.41/336.51 c | 11334 | 20072 117050 175980 | 101199 11333 41 | 72.879 % | 345.30/345.47 c | 17100 | 20052 117050 175980 | 111319 17097 45 | 72.906 % | 359.10/359.27 c | 25749 | 20022 117050 175980 | 122451 25744 49 | 72.947 % | 382.89/383.08 c | 38725 | 20022 117050 175980 | 134696 38720 55 | 72.947 % | 430.17/430.39 c | 58187 | 20022 117050 175980 | 148165 58182 57 | 72.947 % | 435.38/435.51 c =============================================================================== 435.57/435.72 c core #33 435.57/435.72 c ============================[ Search Statistics ]============================== 435.57/435.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 435.57/435.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 435.57/435.72 c =============================================================================== 435.57/435.72 c | 0 | 20339 117172 176501 | 39057 0 nan | 0.000 % | 435.67/435.84 c | 100 | 20339 117172 176501 | 42963 100 15 | 72.526 % | 435.77/435.98 c | 250 | 20339 117172 176501 | 47259 250 25 | 72.526 % | 436.07/436.21 c | 475 | 20339 117172 176501 | 51985 475 24 | 72.526 % | 436.38/436.55 c | 812 | 20339 117172 176501 | 57183 812 28 | 72.526 % | 436.97/437.10 c | 1319 | 20339 117172 176501 | 62902 1319 29 | 72.526 % | 437.87/438.04 c | 2078 | 20339 117172 176501 | 69192 2078 38 | 72.526 % | 439.27/439.42 c | 3218 | 20339 117172 176501 | 76111 3218 39 | 72.526 % | 441.47/441.66 c | 4928 | 20339 117172 176501 | 83722 4928 42 | 72.526 % | 444.67/444.87 c | 7491 | 20293 117172 176501 | 92095 7490 45 | 72.588 % | 449.87/450.06 c | 11335 | 20293 117172 176501 | 101304 11334 44 | 72.588 % | 458.17/458.30 c | 17101 | 20293 117172 176501 | 111435 17100 47 | 72.588 % | 472.26/472.45 c | 25750 | 20245 117172 176501 | 122578 25745 48 | 72.653 % | 496.65/496.85 c | 38724 | 20245 117172 176501 | 134836 38719 51 | 72.653 % | 540.55/540.78 c | 58185 | 20245 117172 176501 | 148320 58180 56 | 72.653 % | 625.22/625.48 c | 87378 | 20184 117172 176501 | 163152 87372 58 | 72.743 % | 716.70/716.94 c =============================================================================== 717.01/717.21 c core #34 717.01/717.21 c ============================[ Search Statistics ]============================== 717.01/717.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 717.01/717.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 717.01/717.21 c =============================================================================== 717.01/717.21 c | 0 | 20600 117290 177007 | 39096 0 nan | 0.000 % | 717.10/717.31 c | 101 | 20600 117290 177007 | 43006 101 17 | 72.181 % | 717.20/717.48 c | 251 | 20600 117290 177007 | 47306 251 34 | 72.181 % | 717.40/717.67 c | 476 | 20600 117290 177007 | 52037 476 30 | 72.181 % | 717.70/717.96 c | 814 | 20600 117290 177007 | 57241 814 35 | 72.181 % | 718.21/718.44 c | 1324 | 20600 117290 177007 | 62965 1324 33 | 72.181 % | 718.90/719.10 c | 2083 | 20600 117290 177007 | 69262 2083 32 | 72.181 % | 720.20/720.48 c | 3222 | 20600 117290 177007 | 76188 3222 36 | 72.181 % | 722.10/722.37 c | 4930 | 20600 117290 177007 | 83807 4930 38 | 72.181 % | 724.90/725.13 c | 7493 | 20600 117290 177007 | 92187 7493 42 | 72.181 % | 730.00/730.28 c | 11337 | 20529 117290 177007 | 101406 11335 43 | 72.276 % | 738.40/738.67 c | 17103 | 20393 117290 177007 | 111547 15388 42 | 72.460 % | 749.70/749.91 c | 25752 | 19969 117290 177007 | 122702 24036 50 | 73.033 % | 773.38/773.65 c | 38727 | 19969 117290 177007 | 134972 37011 54 | 73.033 % | 816.88/817.15 c | 58190 | 19969 117290 177007 | 148469 56474 59 | 73.033 % | 899.85/900.17 c | 87382 | 19876 117290 177007 | 163316 83382 64 | 73.158 % | 1058.61/1058.98 c | 131172 | 19418 117290 177007 | 179648 79886 57 | 73.777 % | 1220.07/1220.48 c =============================================================================== 1220.37/1220.77 c core #35 1220.37/1220.77 c ============================[ Search Statistics ]============================== 1220.37/1220.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1220.37/1220.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1220.37/1220.77 c =============================================================================== 1220.37/1220.77 c | 0 | 20860 117454 177661 | 39151 0 nan | 0.000 % | 1220.47/1220.87 c | 100 | 20860 117454 177661 | 43066 100 18 | 71.836 % | 1220.68/1221.04 c | 250 | 20860 117454 177661 | 47373 250 25 | 71.836 % | 1220.87/1221.26 c | 475 | 20860 117454 177661 | 52110 475 28 | 71.836 % | 1221.27/1221.64 c | 812 | 20830 117454 177661 | 57321 811 30 | 71.877 % | 1221.86/1222.22 c | 1319 | 20830 117454 177661 | 63053 1318 34 | 71.877 % | 1222.66/1223.02 c | 2078 | 20830 117454 177661 | 69358 2077 36 | 71.877 % | 1223.77/1224.18 c | 3218 | 20830 117454 177661 | 76294 3217 37 | 71.877 % | 1225.46/1225.89 c | 4926 | 20830 117454 177661 | 83924 4925 38 | 71.877 % | 1228.27/1228.67 c | 7489 | 20830 117454 177661 | 92316 7488 41 | 71.877 % | 1233.17/1233.59 c | 11333 | 20802 117454 177661 | 101548 11331 45 | 71.915 % | 1241.27/1241.69 c | 17099 | 20802 117454 177661 | 111703 17097 53 | 71.915 % | 1256.76/1257.10 c | 25749 | 20802 117454 177661 | 122873 25747 54 | 71.915 % | 1283.06/1283.49 c | 38724 | 20739 117454 177661 | 135161 38721 54 | 72.000 % | 1329.64/1330.08 c | 58185 | 20739 117454 177661 | 148677 58182 57 | 72.000 % | 1410.52/1410.93 c | 87377 | 20731 117454 177661 | 163544 87373 59 | 72.010 % | 1558.07/1558.54 c | 131166 | 20731 117454 177661 | 179899 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-2686957-1278444951/watcher-2686957-1278444951 -o /tmp/evaluation-result-2686957-1278444951/solver-2686957-1278444951 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686957-1278444951.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 2/105 25348 /proc/meminfo: memFree=1851964/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=9860 CPUtime=0 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 326 0 0 0 0 0 0 0 22 0 1 0 12703334 10096640 244 1992294400 134512640 135751879 4289516336 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 2465 245 140 303 0 373 0 [startup+0.0593621 s] /proc/loadavg: 1.00 1.00 1.00 2/105 25348 /proc/meminfo: memFree=1851964/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=13160 CPUtime=0.05 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 1116 0 0 0 5 0 0 0 22 0 1 0 12703334 13475840 1034 1992294400 134512640 135751879 4289516336 18446744073709551615 134638036 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 3290 1034 224 303 0 1198 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13160 [startup+0.101365 s] /proc/loadavg: 1.00 1.00 1.00 2/105 25348 /proc/meminfo: memFree=1851964/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=15236 CPUtime=0.09 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 1690 0 0 0 9 0 0 0 22 0 1 0 12703334 15601664 1608 1992294400 134512640 135751879 4289516336 18446744073709551615 135221595 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 3809 1608 291 303 0 1717 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15236 [startup+0.300387 s] /proc/loadavg: 1.00 1.00 1.00 2/105 25348 /proc/meminfo: memFree=1851964/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=19312 CPUtime=0.29 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 2983 0 0 0 28 1 0 0 23 0 1 0 12703334 19775488 2868 1992294400 134512640 135751879 4289516336 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 4828 2868 615 303 0 2736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19312 [startup+0.700429 s] /proc/loadavg: 1.00 1.00 1.00 2/105 25348 /proc/meminfo: memFree=1851964/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=26352 CPUtime=0.69 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 5347 0 0 0 67 2 0 0 25 0 1 0 12703334 26984448 5143 1992294400 134512640 135751879 4289516336 18446744073709551615 135225266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 6588 5143 1286 303 0 4496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26352 [startup+1.50051 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25349 /proc/meminfo: memFree=1830752/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=51292 CPUtime=1.49 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 13823 0 0 0 143 6 0 0 25 0 1 0 12703334 52523008 11542 1992294400 134512640 135751879 4289516336 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 12823 11542 146 303 0 12518 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51292 [startup+3.10068 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25349 /proc/meminfo: memFree=1802232/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=54988 CPUtime=3.08 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 14741 0 0 0 302 6 0 0 25 0 1 0 12703334 56307712 12460 1992294400 134512640 135751879 4289516336 18446744073709551615 134594956 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 13747 12460 146 303 0 13442 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 54988 [startup+6.30102 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25349 /proc/meminfo: memFree=1798388/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=59740 CPUtime=6.29 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 15943 0 0 0 622 7 0 0 25 0 1 0 12703334 61173760 13662 1992294400 134512640 135751879 4289516336 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 14935 13662 146 303 0 14630 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59740 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25349 /proc/meminfo: memFree=1791940/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=65244 CPUtime=12.69 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 17292 0 0 0 1262 7 0 0 25 0 1 0 12703334 66809856 15011 1992294400 134512640 135751879 4289516336 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 16311 15011 146 303 0 16006 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65244 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25349 /proc/meminfo: memFree=1784128/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=72900 CPUtime=25.48 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 19228 0 0 0 2540 8 0 0 25 0 1 0 12703334 74649600 16947 1992294400 134512640 135751879 4289516336 18446744073709551615 135009498 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 18225 16947 146 303 0 17920 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72900 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25350 /proc/meminfo: memFree=1773464/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=83592 CPUtime=51.08 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 21889 0 0 0 5098 10 0 0 25 0 1 0 12703334 85598208 19608 1992294400 134512640 135751879 4289516336 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20898 19608 146 303 0 20593 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83592 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25351 /proc/meminfo: memFree=1764536/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=91336 CPUtime=102.27 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 25276 0 0 0 10210 17 0 0 18 0 1 0 12703334 93528064 21680 1992294400 134512640 135751879 4289516336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 22834 21680 147 303 0 22529 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 91336 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25353 /proc/meminfo: memFree=1764536/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=91336 CPUtime=162.25 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 25276 0 0 0 16185 40 0 0 25 0 1 0 12703334 93528064 21680 1992294400 134512640 135751879 4289516336 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 22834 21680 147 303 0 22529 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 91336 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25355 /proc/meminfo: memFree=1771852/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=222.23 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 39503 0 0 0 22160 63 0 0 25 0 1 0 12703334 83976192 19832 1992294400 134512640 135751879 4289516336 18446744073709551615 134605946 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19832 151 303 0 20197 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82008 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25356 /proc/meminfo: memFree=1771728/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=282.21 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 40371 0 0 0 28137 84 0 0 25 0 1 0 12703334 83976192 19832 1992294400 134512640 135751879 4289516336 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19832 151 303 0 20197 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 82008 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25358 /proc/meminfo: memFree=1769992/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=84440 CPUtime=342.2 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41239 0 0 0 34119 101 0 0 25 0 1 0 12703334 86466560 20266 1992294400 134512640 135751879 4289516336 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 21110 20266 151 303 0 20805 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 84440 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25359 /proc/meminfo: memFree=1769992/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=84440 CPUtime=402.18 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41239 0 0 0 40105 113 0 0 25 0 1 0 12703334 86466560 20266 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 21110 20266 151 303 0 20805 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 84440 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25361 /proc/meminfo: memFree=1771480/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=462.16 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41676 0 0 0 46088 128 0 0 25 0 1 0 12703334 83976192 19835 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19835 151 303 0 20197 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 82008 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25363 /proc/meminfo: memFree=1771480/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=522.15 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41676 0 0 0 52073 142 0 0 25 0 1 0 12703334 83976192 19835 1992294400 134512640 135751879 4289516336 18446744073709551615 134608240 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19835 151 303 0 20197 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 82008 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25364 /proc/meminfo: memFree=1771480/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=582.13 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41676 0 0 0 58059 154 0 0 25 0 1 0 12703334 83976192 19835 1992294400 134512640 135751879 4289516336 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19835 151 303 0 20197 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 82008 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25366 /proc/meminfo: memFree=1771480/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=82008 CPUtime=642.12 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 41676 0 0 0 64049 163 0 0 25 0 1 0 12703334 83976192 19835 1992294400 134512640 135751879 4289516336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 20502 19835 151 303 0 20197 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 82008 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25372 /proc/meminfo: memFree=1749656/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=105272 CPUtime=882.05 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 47707 0 0 0 87993 212 0 0 25 0 1 0 12703334 107798528 25322 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 26318 25322 151 303 0 26013 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 105272 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25374 /proc/meminfo: memFree=1744820/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=110448 CPUtime=942.04 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 48938 0 0 0 93982 222 0 0 25 0 1 0 12703334 113098752 26553 1992294400 134512640 135751879 4289516336 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 27612 26553 151 303 0 27307 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 110448 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25375 /proc/meminfo: memFree=1739612/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=115336 CPUtime=1002.02 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 50203 0 0 0 99969 233 0 0 25 0 1 0 12703334 118104064 27818 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 28834 27818 151 303 0 28529 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 115336 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25377 /proc/meminfo: memFree=1734156/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=120884 CPUtime=1062.02 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 51603 0 0 0 105957 245 0 0 25 0 1 0 12703334 123785216 29218 1992294400 134512640 135751879 4289516336 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 30221 29218 151 303 0 29916 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 120884 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25379 /proc/meminfo: memFree=1727832/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=127088 CPUtime=1122 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 53137 0 0 0 111942 258 0 0 25 0 1 0 12703334 130138112 30752 1992294400 134512640 135751879 4289516336 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 31772 30752 151 303 0 31467 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 127088 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25380 /proc/meminfo: memFree=1721632/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=133292 CPUtime=1181.98 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 54701 0 0 0 117929 269 0 0 25 0 1 0 12703334 136491008 32316 1992294400 134512640 135751879 4289516336 18446744073709551615 134616282 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 33323 32316 151 303 0 33018 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 133292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25382 /proc/meminfo: memFree=1708984/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=145616 CPUtime=1241.97 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 59064 0 0 0 123912 285 0 0 25 0 1 0 12703334 149110784 35295 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 36404 35295 151 303 0 36099 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 145616 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25383 /proc/meminfo: memFree=1708860/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=145616 CPUtime=1301.96 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 59091 0 0 0 129898 298 0 0 25 0 1 0 12703334 149110784 35322 1992294400 134512640 135751879 4289516336 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 36404 35322 151 303 0 36099 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 145616 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25385 /proc/meminfo: memFree=1705264/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=149136 CPUtime=1361.94 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 60039 0 0 0 135881 313 0 0 25 0 1 0 12703334 152715264 36270 1992294400 134512640 135751879 4289516336 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 37284 36270 151 303 0 36979 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 149136 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25387 /proc/meminfo: memFree=1699684/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=154680 CPUtime=1421.93 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 61423 0 0 0 141868 325 0 0 25 0 1 0 12703334 158392320 37654 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 38670 37654 151 303 0 38365 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 154680 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25388 /proc/meminfo: memFree=1694228/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=160272 CPUtime=1481.9 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 62795 0 0 0 147854 336 0 0 25 0 1 0 12703334 164118528 39026 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 40068 39026 151 303 0 39763 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 160272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25399 /proc/meminfo: memFree=1687368/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=165824 CPUtime=1541.88 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 64214 0 0 0 153841 347 0 0 25 0 1 0 12703334 169803776 40445 1992294400 134512640 135751879 4289516336 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 41456 40445 151 303 0 41151 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 165824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25400 /proc/meminfo: memFree=1681912/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=171532 CPUtime=1601.87 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 65581 0 0 0 159829 358 0 0 25 0 1 0 12703334 175648768 41812 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 42883 41812 151 303 0 42578 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 171532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25402 /proc/meminfo: memFree=1676580/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=176680 CPUtime=1661.85 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 66870 0 0 0 165814 371 0 0 25 0 1 0 12703334 180920320 43101 1992294400 134512640 135751879 4289516336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 44170 43101 151 303 0 43865 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 176680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25404 /proc/meminfo: memFree=1671000/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=182356 CPUtime=1721.84 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 68294 0 0 0 171802 382 0 0 25 0 1 0 12703334 186732544 44525 1992294400 134512640 135751879 4289516336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 45589 44525 151 303 0 45284 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 182356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25405 /proc/meminfo: memFree=1665668/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=187412 CPUtime=1781.82 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 69581 0 0 0 177789 393 0 0 25 0 1 0 12703334 191909888 45812 1992294400 134512640 135751879 4289516336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 46853 45812 151 303 0 46548 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 187412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25406 /proc/meminfo: memFree=1664180/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=188880 CPUtime=1800.02 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 69961 0 0 0 179606 396 0 0 25 0 1 0 12703334 193413120 46192 1992294400 134512640 135751879 4289516336 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 47220 46192 151 303 0 46915 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 188880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 25406 /proc/meminfo: memFree=1664180/2059040 swapFree=4164936/4192956 [pid=25348] ppid=25346 vsize=188880 CPUtime=1800.02 /proc/25348/stat : 25348 (wbo1.4b) R 25346 25348 24561 0 -1 4202496 69961 0 0 0 179606 396 0 0 25 0 1 0 12703334 193413120 46192 1992294400 134512640 135751879 4289516336 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25348/statm: 47220 46192 151 303 0 46915 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 188880 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.05 CPU user time (s): 1796.07 CPU system time (s): 3.98539 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 188880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.07 system time used= 3.98539 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69961 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= 57 involuntary context switches= 3343 runsolver used 3.04154 second user time and 8.46871 second system time The end
Begin job on node082 at 2010-07-06 21:35:51 IDJOB=2686957 IDBENCH=77212 IDSOLVER=1161 FILE ID=node082/2686957-1278444951 PBS_JOBID= 11233480 Free space on /tmp= 62384 MiB SOLVER NAME= wbo 1.4b 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 CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686957-1278444951/watcher-2686957-1278444951 -o /tmp/evaluation-result-2686957-1278444951/solver-2686957-1278444951 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686957-1278444951.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc2381243433b8fdb488c977baa91e3c RANDOM SEED=1521246928 node082.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.260 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.52 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.260 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853032 kB Buffers: 2232 kB Cached: 80688 kB SwapCached: 15984 kB Active: 25796 kB Inactive: 106440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853032 kB SwapTotal: 4192956 kB SwapFree: 4164936 kB Dirty: 9836 kB Writeback: 0 kB AnonPages: 33364 kB Mapped: 13948 kB Slab: 51712 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180568 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2686957-1278444951.opb Free space on /tmp at the end= 62380 MiB End job on node082 at 2010-07-06 22:05:54