Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.04 | 1800.53 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12052_10.std.opb |
MD5SUM | 3a741555d430d0ca416ea4853bc85581 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 160 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
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 | 256287 |
Number of constraints which are clauses | 255087 |
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 | 94 |
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-2687100-1278447798.opb. 0.00/0.00 c Instance file HOME/instance-2687100-1278447798.opb 0.00/0.00 c File size is 8259329 bytes. 1.49/1.57 c Highest Coefficient sum: 551 1.49/1.57 c ============================[ Problem Statistics ]============================= 1.49/1.57 c | | 1.49/1.57 c | Parsing time: 1.53 s | 1.49/1.57 c | Number Variables: 72842 | 1.49/1.57 c | Number Clauses: 255087 | 1.49/1.57 c | Number Cardinality: 0 | 1.49/1.57 c | Number PB Constraints: 1200 | 97.45/97.58 c ============================[ Search Statistics ]============================== 97.45/97.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.45/97.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.45/97.58 c =============================================================================== 97.45/97.58 c | 0 | 54215 257577 545947 | 85429 0 nan | 0.000 % | 97.55/97.69 c =============================================================================== 97.55/97.69 c New solution: 300 97.55/97.69 o 300 97.55/97.69 c Elapsed CPU time: 97.4592 s Remaining CPU time: 82.5408 s 97.55/97.69 c =============================================================================== 97.55/97.69 c | 94 | 54215 257578 546247 | 85859 94 42 | 0.000 % | 97.65/97.75 c =============================================================================== 97.65/97.75 c New solution: 299 97.65/97.75 o 299 97.65/97.75 c Elapsed CPU time: 97.5192 s Remaining CPU time: 82.4808 s 97.65/97.75 c =============================================================================== 97.65/97.75 c | 98 | 54094 257579 546547 | 85859 98 41 | 0.000 % | 97.76/97.84 c | 199 | 54080 257579 546547 | 94445 199 32 | 25.922 % | 97.86/97.92 c | 351 | 54077 257579 546547 | 103890 351 34 | 25.922 % | 97.95/98.02 c =============================================================================== 97.95/98.02 c New solution: 298 97.95/98.02 o 298 97.95/98.02 c Elapsed CPU time: 97.7901 s Remaining CPU time: 82.2099 s 97.95/98.02 c =============================================================================== 97.95/98.02 c | 428 | 53960 257580 546847 | 85860 428 32 | 25.922 % | 97.95/98.09 c | 529 | 53954 257580 546847 | 94446 529 31 | 26.125 % | 98.15/98.21 c | 683 | 53812 257580 546847 | 103890 669 30 | 26.125 % | 98.15/98.29 c =============================================================================== 98.15/98.29 c New solution: 297 98.15/98.29 o 297 98.15/98.29 c Elapsed CPU time: 98.0531 s Remaining CPU time: 81.9469 s 98.15/98.29 c =============================================================================== 98.15/98.29 c | 733 | 53812 257581 547147 | 85860 719 29 | 26.125 % | 98.26/98.36 c | 834 | 53806 257581 547147 | 94446 820 29 | 26.345 % | 98.35/98.45 c | 984 | 53797 257581 547147 | 103891 970 29 | 26.345 % | 98.45/98.56 c | 1209 | 53794 257581 547147 | 114280 1195 30 | 26.345 % | 98.55/98.63 c =============================================================================== 98.55/98.63 c New solution: 296 98.55/98.63 o 296 98.55/98.63 c Elapsed CPU time: 98.395 s Remaining CPU time: 81.605 s 98.55/98.63 c =============================================================================== 98.55/98.63 c | 1225 | 53652 257582 547447 | 85860 1172 30 | 26.345 % | 98.65/98.70 c | 1326 | 53632 257582 547447 | 94446 1273 31 | 26.586 % | 98.75/98.81 c | 1476 | 53631 257582 547447 | 103891 1423 30 | 26.586 % | 98.75/98.88 c =============================================================================== 98.75/98.88 c New solution: 295 98.75/98.88 o 295 98.75/98.88 c Elapsed CPU time: 98.641 s Remaining CPU time: 81.359 s 98.75/98.88 c =============================================================================== 98.75/98.88 c | 1498 | 53476 257583 547747 | 85861 1445 30 | 26.586 % | 98.86/98.97 c | 1598 | 53427 257583 547747 | 94447 1545 31 | 26.846 % | 98.96/99.08 c | 1748 | 53427 257583 547747 | 103891 1695 30 | 26.846 % | 99.05/99.16 c =============================================================================== 99.05/99.16 c New solution: 294 99.05/99.16 o 294 99.05/99.16 c Elapsed CPU time: 98.919 s Remaining CPU time: 81.081 s 99.05/99.16 c =============================================================================== 99.05/99.16 c | 1777 | 53287 257584 548047 | 85861 1567 30 | 26.846 % | 99.15/99.22 c | 1877 | 53283 257584 548047 | 94447 1667 29 | 27.122 % | 99.25/99.30 c =============================================================================== 99.25/99.30 c New solution: 293 99.25/99.30 o 293 99.25/99.30 c Elapsed CPU time: 99.0619 s Remaining CPU time: 80.9381 s 99.25/99.30 c =============================================================================== 99.25/99.30 c | 1919 | 53086 257585 548347 | 85861 1709 29 | 27.122 % | 99.25/99.39 c | 2020 | 53083 257585 548347 | 94447 1810 30 | 27.403 % | 99.45/99.50 c =============================================================================== 99.45/99.50 c New solution: 292 99.45/99.50 o 292 99.45/99.50 c Elapsed CPU time: 99.2559 s Remaining CPU time: 80.7441 s 99.45/99.50 c =============================================================================== 99.45/99.50 c | 2070 | 52881 257586 548647 | 85862 1860 30 | 27.403 % | 99.45/99.58 c =============================================================================== 99.45/99.58 c New solution: 291 99.45/99.58 o 291 99.45/99.58 c Elapsed CPU time: 99.3389 s Remaining CPU time: 80.6611 s 99.45/99.58 c =============================================================================== 99.45/99.58 c | 2116 | 52665 257587 548947 | 85862 1906 30 | 27.403 % | 99.55/99.67 c =============================================================================== 99.55/99.67 c New solution: 290 99.55/99.67 o 290 99.55/99.67 c Elapsed CPU time: 99.4299 s Remaining CPU time: 80.5701 s 99.55/99.67 c =============================================================================== 99.55/99.67 c | 2159 | 52440 257588 549247 | 85862 1438 29 | 27.403 % | 99.65/99.77 c | 2259 | 52422 257588 549247 | 94448 1538 29 | 28.341 % | 99.75/99.83 c =============================================================================== 99.75/99.83 c New solution: 289 99.75/99.83 o 289 99.75/99.83 c Elapsed CPU time: 99.5889 s Remaining CPU time: 80.4111 s 99.75/99.83 c =============================================================================== 99.75/99.83 c | 2283 | 52198 257589 549547 | 85863 1562 29 | 28.341 % | 99.85/99.90 c | 2383 | 52197 257589 549547 | 94449 1662 29 | 28.673 % | 99.95/100.01 c =============================================================================== 99.95/100.01 c New solution: 288 99.95/100.01 o 288 99.95/100.01 c Elapsed CPU time: 99.7648 s Remaining CPU time: 80.2352 s 99.95/100.01 c =============================================================================== 99.95/100.01 c | 2472 | 51956 257590 549847 | 85863 1751 29 | 28.673 % | 99.95/100.07 c | 2574 | 51938 257590 549847 | 94449 1853 29 | 29.005 % | 100.06/100.16 c | 2724 | 51714 257590 549847 | 103894 1683 30 | 29.005 % | 100.15/100.24 c =============================================================================== 100.15/100.24 c New solution: 287 100.15/100.24 o 287 100.15/100.24 c Elapsed CPU time: 99.9928 s Remaining CPU time: 80.0072 s 100.15/100.24 c =============================================================================== 100.15/100.24 c | 2761 | 51714 257591 550147 | 85863 1720 29 | 29.005 % | 100.25/100.32 c =============================================================================== 100.25/100.32 c New solution: 286 100.25/100.32 o 286 100.25/100.32 c Elapsed CPU time: 100.072 s Remaining CPU time: 79.9282 s 100.25/100.32 c =============================================================================== 100.25/100.32 c | 2813 | 51472 257592 550447 | 85864 1772 29 | 29.005 % | 100.25/100.39 c | 2913 | 51433 257592 550447 | 94450 1872 29 | 29.670 % | 100.45/100.51 c | 3063 | 51433 257592 550447 | 103895 2022 29 | 29.670 % | 100.55/100.60 c =============================================================================== 100.55/100.60 c New solution: 285 100.55/100.60 o 285 100.55/100.60 c Elapsed CPU time: 100.343 s Remaining CPU time: 79.6573 s 100.55/100.60 c =============================================================================== 100.55/100.60 c | 3098 | 51230 257593 550747 | 85864 2057 29 | 29.670 % | 100.55/100.66 c =============================================================================== 100.55/100.66 c New solution: 284 100.55/100.66 o 284 100.55/100.66 c Elapsed CPU time: 100.407 s Remaining CPU time: 79.5933 s 100.55/100.66 c =============================================================================== 100.55/100.66 c | 3103 | 50988 257594 551047 | 85864 1802 29 | 29.670 % | 100.65/100.75 c =============================================================================== 100.65/100.75 c New solution: 283 100.65/100.75 o 283 100.65/100.75 c Elapsed CPU time: 100.496 s Remaining CPU time: 79.5043 s 100.65/100.75 c =============================================================================== 100.65/100.75 c | 3158 | 50746 257595 551347 | 85865 1857 30 | 29.670 % | 100.75/100.82 c | 3261 | 50738 257595 551347 | 94451 1960 30 | 30.666 % | 100.75/100.88 c =============================================================================== 100.75/100.88 c New solution: 282 100.75/100.88 o 282 100.75/100.88 c Elapsed CPU time: 100.631 s Remaining CPU time: 79.3693 s 100.75/100.88 c =============================================================================== 100.75/100.88 c | 3278 | 50504 257596 551647 | 85865 1977 29 | 30.666 % | 100.85/100.95 c =============================================================================== 100.85/100.95 c New solution: 281 100.85/100.95 o 281 100.85/100.95 c Elapsed CPU time: 100.693 s Remaining CPU time: 79.3073 s 100.85/100.95 c =============================================================================== 100.85/100.95 c | 3288 | 50262 257597 551947 | 85865 1987 29 | 30.666 % | 100.95/101.02 c =============================================================================== 100.95/101.02 c New solution: 280 100.95/101.02 o 280 100.95/101.02 c Elapsed CPU time: 100.769 s Remaining CPU time: 79.2313 s 100.95/101.02 c =============================================================================== 100.95/101.02 c | 3319 | 50020 257598 552247 | 85866 2018 29 | 30.666 % | 101.05/101.10 c =============================================================================== 101.05/101.10 c New solution: 279 101.05/101.10 o 279 101.05/101.10 c Elapsed CPU time: 100.845 s Remaining CPU time: 79.1553 s 101.05/101.10 c =============================================================================== 101.05/101.10 c | 3347 | 49778 257599 552547 | 85866 2046 29 | 30.666 % | 101.05/101.18 c | 3449 | 49749 257599 552547 | 94452 2148 31 | 31.995 % | 101.15/101.29 c | 3599 | 49536 257599 552547 | 103898 1617 29 | 31.995 % | 101.25/101.37 c =============================================================================== 101.25/101.37 c New solution: 278 101.25/101.37 o 278 101.25/101.37 c Elapsed CPU time: 101.112 s Remaining CPU time: 78.8884 s 101.25/101.37 c =============================================================================== 101.25/101.37 c | 3645 | 49536 257600 552847 | 85866 1663 29 | 31.995 % | 101.35/101.46 c | 3745 | 49525 257600 552847 | 94453 1763 30 | 32.328 % | 101.45/101.56 c | 3895 | 49521 257600 552847 | 103898 1913 30 | 32.328 % | 101.55/101.67 c =============================================================================== 101.55/101.67 c New solution: 277 101.55/101.67 o 277 101.55/101.67 c Elapsed CPU time: 101.405 s Remaining CPU time: 78.5954 s 101.55/101.67 c =============================================================================== 101.55/101.67 c | 3941 | 49294 257601 553147 | 85867 1959 30 | 32.328 % | 101.65/101.74 c | 4041 | 49052 257601 553147 | 94453 1886 30 | 32.660 % | 101.75/101.84 c | 4191 | 49052 257601 553147 | 103899 2036 29 | 32.660 % | 101.85/101.97 c | 4416 | 49052 257601 553147 | 114288 2261 29 | 32.660 % | 102.15/102.24 c | 4755 | 49052 257601 553147 | 125717 2600 31 | 32.660 % | 102.25/102.33 c =============================================================================== 102.25/102.33 c New solution: 276 102.25/102.33 o 276 102.25/102.33 c Elapsed CPU time: 102.063 s Remaining CPU time: 77.9365 s 102.25/102.33 c =============================================================================== 102.25/102.33 c | 4798 | 49052 257602 553447 | 85867 2643 31 | 32.660 % | 102.35/102.42 c =============================================================================== 102.35/102.42 c New solution: 275 102.35/102.42 o 275 102.35/102.42 c Elapsed CPU time: 102.148 s Remaining CPU time: 77.8515 s 102.35/102.42 c =============================================================================== 102.35/102.42 c | 4863 | 48810 257603 553747 | 85867 2634 31 | 32.660 % | 102.35/102.48 c | 4963 | 48807 257603 553747 | 94454 2734 31 | 33.324 % | 102.45/102.58 c | 5113 | 48786 257603 553747 | 103899 2884 31 | 33.324 % | 102.55/102.69 c | 5340 | 48786 257603 553747 | 114289 3111 30 | 33.324 % | 102.75/102.82 c =============================================================================== 102.75/102.82 c New solution: 274 102.75/102.82 o 274 102.75/102.82 c Elapsed CPU time: 102.547 s Remaining CPU time: 77.4526 s 102.75/102.82 c =============================================================================== 102.75/102.82 c | 5441 | 48568 257604 554047 | 85868 3212 30 | 33.324 % | 102.75/102.89 c | 5541 | 48326 257604 554047 | 94454 2821 28 | 33.656 % | 102.85/102.98 c | 5691 | 48326 257604 554047 | 103900 2971 28 | 33.656 % | 103.04/103.13 c | 5918 | 48326 257604 554047 | 114290 3198 28 | 33.656 % | 103.25/103.32 c | 6256 | 48326 257604 554047 | 125719 3536 28 | 33.657 % | 103.35/103.43 c =============================================================================== 103.35/103.43 c New solution: 273 103.35/103.43 o 273 103.35/103.43 c Elapsed CPU time: 103.156 s Remaining CPU time: 76.8437 s 103.35/103.43 c =============================================================================== 103.35/103.43 c | 6329 | 48326 257605 554347 | 85868 3609 28 | 33.657 % | 103.44/103.51 c =============================================================================== 103.44/103.51 c New solution: 272 103.44/103.51 o 272 103.44/103.51 c Elapsed CPU time: 103.234 s Remaining CPU time: 76.7657 s 103.44/103.51 c =============================================================================== 103.44/103.51 c | 6347 | 48084 257606 554647 | 85868 3502 28 | 33.657 % | 103.44/103.59 c =============================================================================== 103.44/103.59 c New solution: 271 103.44/103.59 o 271 103.44/103.59 c Elapsed CPU time: 103.308 s Remaining CPU time: 76.6917 s 103.44/103.59 c =============================================================================== 103.44/103.59 c | 6378 | 47842 257607 554947 | 85869 3533 28 | 33.657 % | 103.55/103.66 c | 6480 | 47834 257607 554947 | 94455 3635 28 | 34.653 % | 103.65/103.72 c =============================================================================== 103.65/103.72 c New solution: 270 103.65/103.72 o 270 103.65/103.72 c Elapsed CPU time: 103.438 s Remaining CPU time: 76.5617 s 103.65/103.72 c =============================================================================== 103.65/103.72 c | 6484 | 47600 257608 555247 | 85869 3639 28 | 34.653 % | 103.65/103.79 c =============================================================================== 103.65/103.79 c New solution: 269 103.65/103.79 o 269 103.65/103.79 c Elapsed CPU time: 103.512 s Remaining CPU time: 76.4877 s 103.65/103.79 c =============================================================================== 103.65/103.79 c | 6489 | 47358 257609 555547 | 85869 3644 28 | 34.653 % | 103.75/103.86 c =============================================================================== 103.75/103.86 c New solution: 268 103.75/103.86 o 268 103.75/103.86 c Elapsed CPU time: 103.577 s Remaining CPU time: 76.4227 s 103.75/103.86 c =============================================================================== 103.75/103.86 c | 6513 | 47116 257610 555847 | 85870 3668 28 | 34.653 % | 103.85/103.91 c | 6615 | 47107 257610 555847 | 94457 3770 28 | 35.650 % | 103.95/104.02 c | 6765 | 47105 257610 555847 | 103902 3920 28 | 35.650 % | 103.95/104.09 c =============================================================================== 103.95/104.09 c New solution: 267 103.95/104.09 o 267 103.95/104.09 c Elapsed CPU time: 103.811 s Remaining CPU time: 76.1888 s 103.95/104.09 c =============================================================================== 103.95/104.09 c | 6775 | 46874 257611 556147 | 85870 2898 28 | 35.650 % | 104.05/104.17 c =============================================================================== 104.05/104.17 c New solution: 266 104.05/104.17 o 266 104.05/104.17 c Elapsed CPU time: 103.889 s Remaining CPU time: 76.1108 s 104.05/104.17 c =============================================================================== 104.05/104.17 c | 6804 | 46632 257612 556447 | 85870 2927 28 | 35.650 % | 104.15/104.24 c =============================================================================== 104.15/104.24 c New solution: 265 104.15/104.24 o 265 104.15/104.24 c Elapsed CPU time: 103.959 s Remaining CPU time: 76.0408 s 104.15/104.24 c =============================================================================== 104.15/104.24 c | 6828 | 46390 257613 556747 | 85871 2951 28 | 35.650 % | 104.25/104.31 c | 6928 | 46382 257613 556747 | 94458 3051 28 | 36.647 % | 104.36/104.43 c =============================================================================== 104.36/104.43 c New solution: 264 104.36/104.43 o 264 104.36/104.43 c Elapsed CPU time: 104.145 s Remaining CPU time: 75.8548 s 104.36/104.43 c =============================================================================== 104.36/104.43 c | 7011 | 46148 257614 557047 | 85871 3134 28 | 36.647 % | 104.36/104.49 c | 7111 | 46131 257614 557047 | 94458 3234 28 | 36.979 % | 104.55/104.63 c | 7261 | 46127 257614 557047 | 103904 3384 28 | 36.979 % | 104.65/104.74 c =============================================================================== 104.65/104.74 c New solution: 263 104.65/104.74 o 263 104.65/104.74 c Elapsed CPU time: 104.458 s Remaining CPU time: 75.5419 s 104.65/104.74 c =============================================================================== 104.65/104.74 c | 7306 | 45906 257615 557347 | 85871 2865 28 | 36.979 % | 104.75/104.81 c =============================================================================== 104.75/104.81 c New solution: 262 104.75/104.81 o 262 104.75/104.81 c Elapsed CPU time: 104.526 s Remaining CPU time: 75.4739 s 104.75/104.81 c =============================================================================== 104.75/104.81 c | 7314 | 45664 257616 557647 | 85872 2873 28 | 36.979 % | 104.75/104.88 c =============================================================================== 104.75/104.88 c New solution: 261 104.75/104.88 o 261 104.75/104.88 c Elapsed CPU time: 104.593 s Remaining CPU time: 75.4069 s 104.75/104.88 c =============================================================================== 104.75/104.88 c | 7326 | 45422 257617 557947 | 85872 2885 28 | 36.979 % | 104.85/104.95 c | 7426 | 45406 257617 557947 | 94459 2985 28 | 37.975 % | 104.94/105.07 c | 7577 | 45405 257617 557947 | 103905 3136 29 | 37.975 % | 105.05/105.17 c =============================================================================== 105.05/105.17 c New solution: 260 105.05/105.17 o 260 105.05/105.17 c Elapsed CPU time: 104.878 s Remaining CPU time: 75.1219 s 105.05/105.17 c =============================================================================== 105.05/105.17 c | 7627 | 45180 257618 558247 | 85872 3186 29 | 37.975 % | 105.15/105.23 c =============================================================================== 105.15/105.23 c New solution: 259 105.15/105.23 o 259 105.15/105.23 c Elapsed CPU time: 104.944 s Remaining CPU time: 75.056 s 105.15/105.23 c =============================================================================== 105.15/105.23 c | 7636 | 44938 257619 558547 | 85873 3195 29 | 37.975 % | 105.25/105.30 c | 7736 | 44696 257619 558547 | 94460 2693 28 | 38.640 % | 105.25/105.38 c =============================================================================== 105.25/105.38 c New solution: 258 105.25/105.38 o 258 105.25/105.38 c Elapsed CPU time: 105.086 s Remaining CPU time: 74.914 s 105.25/105.38 c =============================================================================== 105.25/105.38 c | 7786 | 44696 257620 558847 | 85873 2743 28 | 38.640 % | 105.35/105.45 c | 7886 | 44690 257620 558847 | 94460 2843 29 | 38.972 % | 105.46/105.57 c | 8037 | 44680 257620 558847 | 103906 2994 28 | 38.972 % | 105.65/105.71 c | 8263 | 44675 257620 558847 | 114297 3220 29 | 38.972 % | 105.65/105.77 c =============================================================================== 105.65/105.77 c New solution: 257 105.65/105.77 o 257 105.65/105.77 c Elapsed CPU time: 105.482 s Remaining CPU time: 74.518 s 105.65/105.77 c =============================================================================== 105.65/105.77 c | 8271 | 44454 257621 559147 | 85873 3069 28 | 38.972 % | 105.75/105.83 c =============================================================================== 105.75/105.83 c New solution: 256 105.75/105.83 o 256 105.75/105.83 c Elapsed CPU time: 105.544 s Remaining CPU time: 74.456 s 105.75/105.83 c =============================================================================== 105.75/105.83 c | 8277 | 44212 257622 559447 | 85874 3075 28 | 38.972 % | 105.85/105.90 c =============================================================================== 105.85/105.90 c New solution: 255 105.85/105.90 o 255 105.85/105.90 c Elapsed CPU time: 105.615 s Remaining CPU time: 74.3851 s 105.85/105.90 c =============================================================================== 105.85/105.90 c | 8284 | 43970 257623 559747 | 85874 3082 28 | 38.972 % | 105.85/105.98 c | 8385 | 43897 257623 559747 | 94461 3183 28 | 39.969 % | 105.95/106.08 c | 8536 | 43897 257623 559747 | 103907 3334 28 | 39.969 % | 106.05/106.14 c =============================================================================== 106.05/106.14 c New solution: 254 106.05/106.14 o 254 106.05/106.14 c Elapsed CPU time: 105.847 s Remaining CPU time: 74.1531 s 106.05/106.14 c =============================================================================== 106.05/106.14 c | 8551 | 43728 257624 560047 | 85874 3349 28 | 39.969 % | 106.15/106.21 c =============================================================================== 106.15/106.21 c New solution: 253 106.15/106.21 o 253 106.15/106.21 c Elapsed CPU time: 105.923 s Remaining CPU time: 74.0771 s 106.15/106.21 c =============================================================================== 106.15/106.21 c | 8599 | 43486 257625 560347 | 85875 3397 28 | 39.969 % | 106.25/106.30 c | 8700 | 43472 257625 560347 | 94462 3498 28 | 40.633 % | 106.35/106.40 c | 8851 | 43472 257625 560347 | 103908 3649 28 | 40.633 % | 106.45/106.57 c | 9076 | 43244 257625 560347 | 114299 2942 29 | 40.633 % | 106.55/106.63 c =============================================================================== 106.55/106.63 c New solution: 252 106.55/106.63 o 252 106.55/106.63 c Elapsed CPU time: 106.334 s Remaining CPU time: 73.6662 s 106.55/106.63 c =============================================================================== 106.55/106.63 c | 9089 | 43244 257626 560647 | 85875 2955 29 | 40.633 % | 106.55/106.70 c =============================================================================== 106.55/106.70 c New solution: 251 106.55/106.70 o 251 106.55/106.70 c Elapsed CPU time: 106.404 s Remaining CPU time: 73.5962 s 106.55/106.70 c =============================================================================== 106.55/106.70 c | 9104 | 43002 257627 560947 | 85875 2970 29 | 40.633 % | 106.65/106.77 c =============================================================================== 106.65/106.77 c New solution: 250 106.65/106.77 o 250 106.65/106.77 c Elapsed CPU time: 106.475 s Remaining CPU time: 73.5252 s 106.65/106.77 c =============================================================================== 106.65/106.77 c | 9125 | 42760 257628 561247 | 85876 2991 29 | 40.633 % | 106.75/106.84 c =============================================================================== 106.75/106.84 c New solution: 249 106.75/106.84 o 249 106.75/106.84 c Elapsed CPU time: 106.548 s Remaining CPU time: 73.4522 s 106.75/106.84 c =============================================================================== 106.75/106.84 c | 9165 | 42518 257629 561547 | 85876 3031 29 | 40.633 % | 106.85/106.92 c | 9265 | 42512 257629 561547 | 94463 3131 29 | 41.962 % | 106.95/107.02 c =============================================================================== 106.95/107.02 c New solution: 248 106.95/107.02 o 248 106.95/107.02 c Elapsed CPU time: 106.729 s Remaining CPU time: 73.2712 s 106.95/107.02 c =============================================================================== 106.95/107.02 c | 9407 | 42276 257630 561847 | 85876 3273 29 | 41.962 % | 106.95/107.09 c | 9507 | 42034 257630 561847 | 94464 2496 29 | 42.294 % | 107.14/107.21 c | 9658 | 42034 257630 561847 | 103910 2647 29 | 42.294 % | 107.14/107.29 c =============================================================================== 107.14/107.29 c New solution: 247 107.14/107.29 o 247 107.14/107.29 c Elapsed CPU time: 106.989 s Remaining CPU time: 73.0113 s 107.14/107.29 c =============================================================================== 107.14/107.29 c | 9667 | 42034 257631 562147 | 85877 2656 29 | 42.294 % | 107.24/107.36 c =============================================================================== 107.24/107.36 c New solution: 246 107.24/107.36 o 246 107.24/107.36 c Elapsed CPU time: 107.058 s Remaining CPU time: 72.9423 s 107.24/107.36 c =============================================================================== 107.24/107.36 c | 9676 | 41792 257632 562447 | 85877 2665 29 | 42.294 % | 107.34/107.42 c =============================================================================== 107.34/107.42 c New solution: 245 107.34/107.42 o 245 107.34/107.42 c Elapsed CPU time: 107.125 s Remaining CPU time: 72.8753 s 107.34/107.42 c =============================================================================== 107.34/107.42 c | 9680 | 41550 257633 562747 | 85877 2669 29 | 42.294 % | 107.45/107.50 c =============================================================================== 107.45/107.50 c New solution: 244 107.45/107.50 o 244 107.45/107.50 c Elapsed CPU time: 107.198 s Remaining CPU time: 72.8023 s 107.45/107.50 c =============================================================================== 107.45/107.50 c | 9724 | 41308 257634 563047 | 85878 2713 29 | 42.294 % | 107.45/107.58 c | 9824 | 41306 257634 563047 | 94465 2813 29 | 43.623 % | 107.55/107.69 c =============================================================================== 107.55/107.69 c New solution: 243 107.55/107.69 o 243 107.55/107.69 c Elapsed CPU time: 107.391 s Remaining CPU time: 72.6093 s 107.55/107.69 c =============================================================================== 107.55/107.69 c | 9916 | 41066 257635 563347 | 85878 2905 29 | 43.623 % | 107.66/107.80 c =============================================================================== 107.66/107.80 c New solution: 242 107.66/107.80 o 242 107.66/107.80 c Elapsed CPU time: 107.499 s Remaining CPU time: 72.5013 s 107.66/107.80 c =============================================================================== 107.66/107.80 c | 9984 | 40824 257636 563647 | 85878 2427 29 | 43.623 % | 107.76/107.86 c =============================================================================== 107.76/107.86 c New solution: 241 107.76/107.86 o 241 107.76/107.86 c Elapsed CPU time: 107.561 s Remaining CPU time: 72.4394 s 107.76/107.86 c =============================================================================== 107.76/107.86 c | 10000 | 40582 257637 563947 | 85879 2443 29 | 43.623 % | 107.85/107.94 c =============================================================================== 107.85/107.94 c New solution: 240 107.85/107.94 o 240 107.85/107.94 c Elapsed CPU time: 107.644 s Remaining CPU time: 72.3564 s 107.85/107.94 c =============================================================================== 107.85/107.94 c | 10037 | 40340 257638 564247 | 85879 2480 29 | 43.623 % | 107.95/108.00 c | 10137 | 40326 257638 564247 | 94467 2580 29 | 44.952 % | 108.05/108.11 c | 10287 | 40322 257638 564247 | 103913 2730 29 | 44.952 % | 108.05/108.17 c =============================================================================== 108.05/108.17 c New solution: 239 108.05/108.17 o 239 108.05/108.17 c Elapsed CPU time: 107.865 s Remaining CPU time: 72.1354 s 108.05/108.17 c =============================================================================== 108.05/108.17 c | 10296 | 40098 257639 564547 | 85879 2739 29 | 44.952 % | 108.15/108.23 c | 10397 | 40070 257639 564547 | 94467 2840 29 | 45.284 % | 108.25/108.33 c | 10548 | 40069 257639 564547 | 103914 2991 29 | 45.284 % | 108.35/108.42 c =============================================================================== 108.35/108.42 c New solution: 238 108.35/108.42 o 238 108.35/108.42 c Elapsed CPU time: 108.115 s Remaining CPU time: 71.8854 s 108.35/108.42 c =============================================================================== 108.35/108.42 c | 10577 | 39856 257640 564847 | 85880 2593 28 | 45.284 % | 108.35/108.49 c =============================================================================== 108.35/108.49 c New solution: 237 108.35/108.49 o 237 108.35/108.49 c Elapsed CPU time: 108.183 s Remaining CPU time: 71.8174 s 108.35/108.49 c =============================================================================== 108.35/108.49 c | 10618 | 39614 257641 565147 | 85880 2634 28 | 45.284 % | 108.45/108.55 c | 10719 | 39594 257641 565147 | 94468 2735 28 | 45.949 % | 108.55/108.66 c | 10869 | 39594 257641 565147 | 103915 2885 28 | 45.949 % | 108.65/108.72 c =============================================================================== 108.65/108.72 c New solution: 236 108.65/108.72 o 236 108.65/108.72 c Elapsed CPU time: 108.412 s Remaining CPU time: 71.5885 s 108.65/108.72 c =============================================================================== 108.65/108.72 c | 10880 | 39372 257642 565447 | 85880 2896 28 | 45.949 % | 108.65/108.77 c =============================================================================== 108.65/108.77 c New solution: 235 108.65/108.77 o 235 108.65/108.77 c Elapsed CPU time: 108.47 s Remaining CPU time: 71.5305 s 108.65/108.77 c =============================================================================== 108.65/108.77 c | 10896 | 39130 257643 565747 | 85881 2912 28 | 45.949 % | 108.75/108.85 c | 10998 | 39124 257643 565747 | 94469 3014 28 | 46.613 % | 108.85/108.96 c =============================================================================== 108.85/108.96 c New solution: 234 108.85/108.96 o 234 108.85/108.96 c Elapsed CPU time: 108.651 s Remaining CPU time: 71.3485 s 108.85/108.96 c =============================================================================== 108.85/108.96 c | 11062 | 38888 257644 566047 | 85881 3078 28 | 46.613 % | 108.95/109.02 c =============================================================================== 108.95/109.02 c New solution: 233 108.95/109.02 o 233 108.95/109.02 c Elapsed CPU time: 108.711 s Remaining CPU time: 71.2885 s 108.95/109.02 c =============================================================================== 108.95/109.02 c | 11074 | 38646 257645 566347 | 85881 2352 28 | 46.613 % | 108.95/109.09 c | 11174 | 38635 257645 566347 | 94469 2452 29 | 47.278 % | 109.04/109.17 c =============================================================================== 109.04/109.17 c New solution: 232 109.04/109.17 o 232 109.04/109.17 c Elapsed CPU time: 108.857 s Remaining CPU time: 71.1425 s 109.04/109.17 c =============================================================================== 109.04/109.17 c | 11217 | 38404 257646 566647 | 85882 2495 29 | 47.278 % | 109.15/109.23 c =============================================================================== 109.15/109.23 c New solution: 231 109.15/109.23 o 231 109.15/109.23 c Elapsed CPU time: 108.92 s Remaining CPU time: 71.0796 s 109.15/109.23 c =============================================================================== 109.15/109.23 c | 11230 | 38162 257647 566947 | 85882 2508 29 | 47.278 % | 109.25/109.30 c | 11330 | 38130 257647 566947 | 94470 2608 29 | 47.942 % | 109.35/109.41 c | 11480 | 38128 257647 566947 | 103917 2758 29 | 47.942 % | 109.45/109.57 c | 11705 | 38122 257647 566947 | 114309 2983 31 | 47.942 % | 109.75/109.81 c | 12042 | 37920 257647 566947 | 125740 3063 31 | 47.942 % | 109.75/109.87 c =============================================================================== 109.75/109.87 c New solution: 230 109.75/109.87 o 230 109.75/109.87 c Elapsed CPU time: 109.555 s Remaining CPU time: 70.4447 s 109.75/109.87 c =============================================================================== 109.75/109.87 c | 12069 | 37920 257648 567247 | 85882 3090 30 | 47.942 % | 109.85/109.94 c =============================================================================== 109.85/109.94 c New solution: 229 109.85/109.94 o 229 109.85/109.94 c Elapsed CPU time: 109.62 s Remaining CPU time: 70.3797 s 109.85/109.94 c =============================================================================== 109.85/109.94 c | 12081 | 37678 257649 567547 | 85883 3102 30 | 47.942 % | 109.95/110.01 c =============================================================================== 109.95/110.01 c New solution: 228 109.95/110.01 o 228 109.95/110.01 c Elapsed CPU time: 109.695 s Remaining CPU time: 70.3047 s 109.95/110.01 c =============================================================================== 109.95/110.01 c | 12114 | 37436 257650 567847 | 85883 3135 30 | 47.942 % | 109.95/110.08 c | 12215 | 37369 257650 567847 | 94471 3236 30 | 48.939 % | 110.05/110.16 c | 12365 | 37369 257650 567847 | 103918 3386 30 | 48.939 % | 110.14/110.28 c | 12590 | 37194 257650 567847 | 114310 3191 30 | 48.939 % | 110.44/110.55 c | 12927 | 37194 257650 567847 | 125741 3528 31 | 48.939 % | 110.65/110.76 c =============================================================================== 110.65/110.76 c New solution: 227 110.65/110.76 o 227 110.65/110.76 c Elapsed CPU time: 110.436 s Remaining CPU time: 69.5638 s 110.65/110.76 c =============================================================================== 110.65/110.76 c | 13402 | 37194 257651 568147 | 85883 4003 32 | 48.939 % | 110.75/110.83 c | 13503 | 36952 257651 568147 | 94472 3918 32 | 49.271 % | 110.85/110.94 c | 13654 | 36952 257651 568147 | 103919 4069 32 | 49.271 % | 110.96/111.01 c =============================================================================== 110.96/111.01 c New solution: 226 110.96/111.01 o 226 110.96/111.01 c Elapsed CPU time: 110.693 s Remaining CPU time: 69.3068 s 110.96/111.01 c =============================================================================== 110.96/111.01 c | 13677 | 36952 257652 568447 | 85884 4092 32 | 49.271 % | 110.96/111.09 c =============================================================================== 110.96/111.09 c New solution: 225 110.96/111.09 o 225 110.96/111.09 c Elapsed CPU time: 110.764 s Remaining CPU time: 69.2358 s 110.96/111.09 c =============================================================================== 110.96/111.09 c | 13695 | 36710 257653 568747 | 85884 4110 32 | 49.271 % | 111.06/111.16 c | 13795 | 36676 257653 568747 | 94472 4210 32 | 49.936 % | 111.15/111.23 c | 13945 | 36674 257653 568747 | 103920 4360 32 | 49.935 % | 111.25/111.39 c | 14170 | 36674 257653 568747 | 114312 4585 32 | 49.936 % | 111.55/111.67 c | 14508 | 36468 257653 568747 | 125743 4465 31 | 49.936 % | 111.65/111.73 c =============================================================================== 111.65/111.73 c New solution: 224 111.65/111.73 o 224 111.65/111.73 c Elapsed CPU time: 111.405 s Remaining CPU time: 68.5949 s 111.65/111.73 c =============================================================================== 111.65/111.73 c | 14525 | 36468 257654 569047 | 85884 4482 31 | 49.936 % | 111.65/111.79 c | 14625 | 36410 257654 569047 | 94473 4582 31 | 50.268 % | 111.75/111.89 c | 14776 | 36410 257654 569047 | 103920 4733 31 | 50.268 % | 111.84/111.96 c =============================================================================== 111.84/111.96 c New solution: 223 111.84/111.96 o 223 111.84/111.96 c Elapsed CPU time: 111.637 s Remaining CPU time: 68.363 s 111.84/111.96 c =============================================================================== 111.84/111.96 c | 14807 | 36226 257655 569347 | 85885 4764 31 | 50.268 % | 111.94/112.03 c | 14907 | 35984 257655 569347 | 94473 4392 31 | 50.600 % | 112.05/112.12 c =============================================================================== 112.05/112.12 c New solution: 222 112.05/112.12 o 222 112.05/112.12 c Elapsed CPU time: 111.792 s Remaining CPU time: 68.208 s 112.05/112.12 c =============================================================================== 112.05/112.12 c | 14965 | 35984 257656 569647 | 85885 4450 30 | 50.600 % | 112.05/112.18 c | 15065 | 35954 257656 569647 | 94473 4550 31 | 50.932 % | 112.15/112.29 c | 15215 | 35953 257656 569647 | 103921 4700 31 | 50.932 % | 112.35/112.45 c | 15440 | 35952 257656 569647 | 114313 4925 31 | 50.932 % | 112.45/112.51 c =============================================================================== 112.45/112.51 c New solution: 221 112.45/112.51 o 221 112.45/112.51 c Elapsed CPU time: 112.177 s Remaining CPU time: 67.8231 s 112.45/112.51 c =============================================================================== 112.45/112.51 c | 15454 | 35742 257657 569947 | 85885 4939 31 | 50.932 % | 112.45/112.57 c =============================================================================== 112.45/112.57 c New solution: 220 112.45/112.57 o 220 112.45/112.57 c Elapsed CPU time: 112.239 s Remaining CPU time: 67.7611 s 112.45/112.57 c =============================================================================== 112.45/112.57 c | 15477 | 35500 257658 570247 | 85886 4962 31 | 50.932 % | 112.55/112.67 c =============================================================================== 112.55/112.67 c New solution: 219 112.55/112.67 o 219 112.55/112.67 c Elapsed CPU time: 112.342 s Remaining CPU time: 67.6581 s 112.55/112.67 c =============================================================================== 112.55/112.67 c | 15574 | 35258 257659 570547 | 85886 4285 30 | 50.932 % | 112.65/112.77 c =============================================================================== 112.65/112.77 c New solution: 218 112.65/112.77 o 218 112.65/112.77 c Elapsed CPU time: 112.437 s Remaining CPU time: 67.5631 s 112.65/112.77 c =============================================================================== 112.65/112.77 c | 15639 | 35016 257660 570847 | 85886 4350 30 | 50.932 % | 112.75/112.83 c =============================================================================== 112.75/112.83 c New solution: 217 112.75/112.83 o 217 112.75/112.83 c Elapsed CPU time: 112.499 s Remaining CPU time: 67.5011 s 112.75/112.83 c =============================================================================== 112.75/112.83 c | 15647 | 34774 257661 571147 | 85887 4358 30 | 50.932 % | 112.75/112.89 c =============================================================================== 112.75/112.89 c New solution: 216 112.75/112.89 o 216 112.75/112.89 c Elapsed CPU time: 112.558 s Remaining CPU time: 67.4421 s 112.75/112.89 c =============================================================================== 112.75/112.89 c | 15663 | 34532 257662 571447 | 85887 4374 30 | 50.932 % | 112.85/112.95 c | 15764 | 34457 257662 571447 | 94476 4475 30 | 52.926 % | 112.95/113.02 c | 15914 | 34457 257662 571447 | 103923 4625 31 | 52.926 % | 113.05/113.19 c | 16139 | 34457 257662 571447 | 114316 4850 31 | 52.937 % | 113.15/113.29 c =============================================================================== 113.15/113.29 c New solution: 215 113.15/113.29 o 215 113.15/113.29 c Elapsed CPU time: 112.957 s Remaining CPU time: 67.0432 s 113.15/113.29 c =============================================================================== 113.15/113.29 c | 16184 | 34282 257663 571747 | 85887 4019 31 | 52.937 % | 113.25/113.36 c =============================================================================== 113.25/113.36 c New solution: 214 113.25/113.36 o 214 113.25/113.36 c Elapsed CPU time: 113.024 s Remaining CPU time: 66.9762 s 113.25/113.36 c =============================================================================== 113.25/113.36 c | 16220 | 34044 257664 572047 | 85888 4055 31 | 52.937 % | 113.34/113.43 c | 16323 | 34042 257664 572047 | 94476 4158 31 | 53.590 % | 113.44/113.52 c =============================================================================== 113.44/113.52 c New solution: 213 113.44/113.52 o 213 113.44/113.52 c Elapsed CPU time: 113.182 s Remaining CPU time: 66.8182 s 113.44/113.52 c =============================================================================== 113.44/113.52 c | 16426 | 33806 257665 572347 | 85888 4261 31 | 53.590 % | 113.54/113.60 c | 16526 | 33803 257665 572347 | 94477 4361 31 | 53.922 % | 113.65/113.75 c | 16676 | 33794 257665 572347 | 103924 4511 31 | 53.922 % | 113.75/113.81 c =============================================================================== 113.75/113.81 c New solution: 212 113.75/113.81 o 212 113.75/113.81 c Elapsed CPU time: 113.469 s Remaining CPU time: 66.5312 s 113.75/113.81 c =============================================================================== 113.75/113.81 c | 16703 | 33564 257666 572647 | 85888 4538 31 | 53.922 % | 113.75/113.87 c =============================================================================== 113.75/113.87 c New solution: 211 113.75/113.87 o 211 113.75/113.87 c Elapsed CPU time: 113.525 s Remaining CPU time: 66.4753 s 113.75/113.87 c =============================================================================== 113.75/113.87 c | 16714 | 33322 257667 572947 | 85889 4549 31 | 53.922 % | 113.85/113.95 c =============================================================================== 113.85/113.95 c New solution: 210 113.85/113.95 o 210 113.85/113.95 c Elapsed CPU time: 113.603 s Remaining CPU time: 66.3973 s 113.85/113.95 c =============================================================================== 113.85/113.95 c | 16763 | 33080 257668 573247 | 85889 3902 30 | 53.922 % | 113.95/114.03 c =============================================================================== 113.95/114.03 c New solution: 209 113.95/114.03 o 209 113.95/114.03 c Elapsed CPU time: 113.69 s Remaining CPU time: 66.3103 s 113.95/114.03 c =============================================================================== 113.95/114.03 c | 16811 | 32838 257669 573547 | 85889 3950 30 | 53.922 % | 114.05/114.10 c =============================================================================== 114.05/114.10 c New solution: 208 114.05/114.10 o 208 114.05/114.10 c Elapsed CPU time: 113.752 s Remaining CPU time: 66.2483 s 114.05/114.10 c =============================================================================== 114.05/114.10 c | 16817 | 32596 257670 573847 | 85890 3956 30 | 53.922 % | 114.05/114.17 c | 16917 | 32569 257670 573847 | 94479 4056 30 | 55.583 % | 114.15/114.27 c | 17067 | 32567 257670 573847 | 103926 4206 30 | 55.583 % | 114.25/114.34 c =============================================================================== 114.25/114.34 c New solution: 207 114.25/114.34 o 207 114.25/114.34 c Elapsed CPU time: 113.99 s Remaining CPU time: 66.0103 s 114.25/114.34 c =============================================================================== 114.25/114.34 c | 17094 | 32354 257671 574147 | 85890 4233 30 | 55.583 % | 114.25/114.40 c =============================================================================== 114.25/114.40 c New solution: 206 114.25/114.40 o 206 114.25/114.40 c Elapsed CPU time: 114.052 s Remaining CPU time: 65.9483 s 114.25/114.40 c =============================================================================== 114.25/114.40 c | 17106 | 32112 257672 574447 | 85890 4245 30 | 55.583 % | 114.35/114.46 c | 17206 | 32103 257672 574447 | 94479 4345 30 | 56.248 % | 114.44/114.57 c | 17358 | 32100 257672 574447 | 103927 4497 30 | 56.248 % | 114.54/114.63 c =============================================================================== 114.54/114.63 c New solution: 205 114.54/114.63 o 205 114.54/114.63 c Elapsed CPU time: 114.285 s Remaining CPU time: 65.7154 s 114.54/114.63 c =============================================================================== 114.54/114.63 c | 17369 | 31870 257673 574747 | 85891 3872 31 | 56.248 % | 114.54/114.69 c =============================================================================== 114.54/114.69 c New solution: 204 114.54/114.69 o 204 114.54/114.69 c Elapsed CPU time: 114.336 s Remaining CPU time: 65.6644 s 114.54/114.69 c =============================================================================== 114.54/114.69 c | 17381 | 31628 257674 575047 | 85891 3884 31 | 56.248 % | 114.64/114.75 c =============================================================================== 114.64/114.75 c New solution: 203 114.64/114.75 o 203 114.64/114.75 c Elapsed CPU time: 114.398 s Remaining CPU time: 65.6024 s 114.64/114.75 c =============================================================================== 114.64/114.75 c | 17393 | 31386 257675 575347 | 85891 3896 31 | 56.248 % | 114.74/114.81 c =============================================================================== 114.74/114.81 c New solution: 202 114.74/114.81 o 202 114.74/114.81 c Elapsed CPU time: 114.465 s Remaining CPU time: 65.5354 s 114.74/114.81 c =============================================================================== 114.74/114.81 c | 17414 | 31144 257676 575647 | 85892 3917 30 | 56.248 % | 114.74/114.87 c | 17514 | 31143 257676 575647 | 94481 4017 30 | 57.577 % | 114.84/114.95 c | 17667 | 31094 257676 575647 | 103929 4170 31 | 57.577 % | 114.94/115.09 c | 17892 | 31094 257676 575647 | 114322 4395 31 | 57.577 % | 115.15/115.24 c =============================================================================== 115.15/115.24 c New solution: 201 115.15/115.24 o 201 115.15/115.24 c Elapsed CPU time: 114.886 s Remaining CPU time: 65.1145 s 115.15/115.24 c =============================================================================== 115.15/115.24 c | 18144 | 30902 257677 575947 | 85892 4647 30 | 57.577 % | 115.25/115.33 c | 18246 | 30660 257677 575947 | 94481 3870 29 | 57.909 % | 115.25/115.38 c =============================================================================== 115.25/115.38 c New solution: 200 115.25/115.38 o 200 115.25/115.38 c Elapsed CPU time: 115.028 s Remaining CPU time: 64.9725 s 115.25/115.38 c =============================================================================== 115.25/115.38 c | 18257 | 30660 257678 576247 | 85892 3881 29 | 57.909 % | 115.36/115.47 c =============================================================================== 115.36/115.47 c New solution: 199 115.36/115.47 o 199 115.36/115.47 c Elapsed CPU time: 115.112 s Remaining CPU time: 64.8875 s 115.36/115.47 c =============================================================================== 115.36/115.47 c | 18342 | 30418 257679 576547 | 85893 3966 30 | 57.909 % | 115.46/115.54 c | 18442 | 30411 257679 576547 | 94482 4066 30 | 58.573 % | 115.55/115.65 c =============================================================================== 115.55/115.65 c New solution: 198 115.55/115.65 o 198 115.55/115.65 c Elapsed CPU time: 115.295 s Remaining CPU time: 64.7045 s 115.55/115.65 c =============================================================================== 115.55/115.65 c | 18523 | 30176 257680 576847 | 85893 4147 30 | 58.573 % | 115.65/115.75 c =============================================================================== 115.65/115.75 c New solution: 197 115.65/115.75 o 197 115.65/115.75 c Elapsed CPU time: 115.394 s Remaining CPU time: 64.6055 s 115.65/115.75 c =============================================================================== 115.65/115.75 c | 18608 | 29934 257681 577147 | 85893 4232 30 | 58.573 % | 115.74/115.80 c =============================================================================== 115.74/115.80 c New solution: 196 115.74/115.80 o 196 115.74/115.80 c Elapsed CPU time: 115.445 s Remaining CPU time: 64.5546 s 115.74/115.80 c =============================================================================== 115.74/115.80 c | 18614 | 29692 257682 577447 | 85894 4238 30 | 58.573 % | 115.74/115.87 c =============================================================================== 115.74/115.87 c New solution: 195 115.74/115.87 o 195 115.74/115.87 c Elapsed CPU time: 115.507 s Remaining CPU time: 64.4926 s 115.74/115.87 c =============================================================================== 115.74/115.87 c | 18628 | 29450 257683 577747 | 85894 4252 30 | 58.573 % | 115.84/115.93 c | 18728 | 29439 257683 577747 | 94483 4352 30 | 59.902 % | 115.94/116.05 c | 18879 | 29208 257683 577747 | 103932 3782 30 | 59.902 % | 116.04/116.11 c =============================================================================== 116.04/116.11 c New solution: 194 116.04/116.11 o 194 116.04/116.11 c Elapsed CPU time: 115.75 s Remaining CPU time: 64.2496 s 116.04/116.11 c =============================================================================== 116.04/116.11 c | 18896 | 29208 257684 578047 | 85894 3799 30 | 59.902 % | 116.04/116.17 c | 18997 | 29173 257684 578047 | 94484 3900 30 | 60.234 % | 116.15/116.29 c | 19147 | 29172 257684 578047 | 103932 4050 30 | 60.234 % | 116.35/116.42 c | 19372 | 29166 257684 578047 | 114325 4275 30 | 60.234 % | 116.56/116.68 c | 19709 | 29166 257684 578047 | 125758 4612 31 | 60.234 % | 116.65/116.79 c =============================================================================== 116.65/116.79 c New solution: 193 116.65/116.79 o 193 116.65/116.79 c Elapsed CPU time: 116.43 s Remaining CPU time: 63.5697 s 116.65/116.79 c =============================================================================== 116.65/116.79 c | 19807 | 28966 257685 578347 | 85895 4534 31 | 60.234 % | 116.75/116.87 c =============================================================================== 116.75/116.87 c New solution: 192 116.75/116.87 o 192 116.75/116.87 c Elapsed CPU time: 116.504 s Remaining CPU time: 63.4957 s 116.75/116.87 c =============================================================================== 116.75/116.87 c | 19849 | 28724 257686 578647 | 85895 4576 30 | 60.234 % | 116.85/116.92 c =============================================================================== 116.85/116.92 c New solution: 191 116.85/116.92 o 191 116.85/116.92 c Elapsed CPU time: 116.556 s Remaining CPU time: 63.4437 s 116.85/116.92 c =============================================================================== 116.85/116.92 c | 19861 | 28482 257687 578947 | 85895 4588 30 | 60.234 % | 116.85/116.99 c | 19961 | 28469 257687 578947 | 94485 4688 30 | 61.231 % | 117.05/117.12 c =============================================================================== 117.05/117.12 c New solution: 190 117.05/117.12 o 190 117.05/117.12 c Elapsed CPU time: 116.75 s Remaining CPU time: 63.2497 s 117.05/117.12 c =============================================================================== 117.05/117.12 c | 20090 | 28240 257688 579247 | 85896 4817 30 | 61.231 % | 117.05/117.18 c | 20193 | 28218 257688 579247 | 94485 4920 31 | 61.563 % | 117.24/117.30 c | 20343 | 28216 257688 579247 | 103934 5070 31 | 61.563 % | 117.24/117.38 c =============================================================================== 117.24/117.38 c New solution: 189 117.24/117.38 o 189 117.24/117.38 c Elapsed CPU time: 117.009 s Remaining CPU time: 62.9908 s 117.24/117.38 c =============================================================================== 117.24/117.38 c | 20387 | 27998 257689 579547 | 85896 5114 30 | 61.563 % | 117.34/117.44 c =============================================================================== 117.34/117.44 c New solution: 188 117.34/117.44 o 188 117.34/117.44 c Elapsed CPU time: 117.074 s Remaining CPU time: 62.9258 s 117.34/117.44 c =============================================================================== 117.34/117.44 c | 20429 | 27756 257690 579847 | 85896 4014 30 | 61.563 % | 117.44/117.50 c | 20530 | 27704 257690 579847 | 94486 4115 30 | 62.228 % | 117.44/117.58 c | 20681 | 27703 257690 579847 | 103934 4266 30 | 62.228 % | 117.65/117.75 c | 20907 | 27700 257690 579847 | 114328 4492 30 | 62.228 % | 117.75/117.81 c =============================================================================== 117.75/117.81 c New solution: 187 117.75/117.81 o 187 117.75/117.81 c Elapsed CPU time: 117.443 s Remaining CPU time: 62.5569 s 117.75/117.81 c =============================================================================== 117.75/117.81 c | 20945 | 27514 257691 580147 | 85897 4530 30 | 62.228 % | 117.85/117.90 c | 21045 | 27513 257691 580147 | 94486 4630 30 | 62.560 % | 117.95/118.02 c | 21196 | 27505 257691 580147 | 103935 4781 30 | 62.560 % | 118.05/118.14 c | 21423 | 27272 257691 580147 | 114328 4628 30 | 62.560 % | 118.35/118.40 c | 21760 | 27272 257691 580147 | 125761 4965 31 | 62.560 % | 118.35/118.46 c =============================================================================== 118.35/118.46 c New solution: 186 118.35/118.46 o 186 118.35/118.46 c Elapsed CPU time: 118.081 s Remaining CPU time: 61.919 s 118.35/118.46 c =============================================================================== 118.35/118.46 c | 21785 | 27272 257692 580447 | 85897 4990 31 | 62.560 % | 118.44/118.52 c =============================================================================== 118.44/118.52 c New solution: 185 118.44/118.52 o 185 118.44/118.52 c Elapsed CPU time: 118.139 s Remaining CPU time: 61.861 s 118.44/118.52 c =============================================================================== 118.44/118.52 c | 21805 | 27030 257693 580747 | 85897 5010 31 | 62.560 % | 118.44/118.59 c | 21906 | 27023 257693 580747 | 94487 5111 31 | 63.225 % | 118.54/118.65 c =============================================================================== 118.54/118.65 c New solution: 184 118.54/118.65 o 184 118.54/118.65 c Elapsed CPU time: 118.27 s Remaining CPU time: 61.73 s 118.54/118.65 c =============================================================================== 118.54/118.65 c | 21926 | 26788 257694 581047 | 85898 5131 31 | 63.225 % | 118.65/118.70 c =============================================================================== 118.65/118.70 c New solution: 183 118.65/118.70 o 183 118.65/118.70 c Elapsed CPU time: 118.322 s Remaining CPU time: 61.678 s 118.65/118.70 c =============================================================================== 118.65/118.70 c | 21942 | 26546 257695 581347 | 85898 5147 31 | 63.225 % | 118.65/118.78 c =============================================================================== 118.65/118.78 c New solution: 182 118.65/118.78 o 182 118.65/118.78 c Elapsed CPU time: 118.396 s Remaining CPU time: 61.604 s 118.65/118.78 c =============================================================================== 118.65/118.78 c | 22006 | 26304 257696 581647 | 85898 5211 30 | 63.225 % | 118.76/118.85 c | 22106 | 26062 257696 581647 | 94488 4107 30 | 64.221 % | 118.85/118.92 c | 22256 | 26062 257696 581647 | 103937 4257 30 | 64.221 % | 118.95/119.09 c | 22482 | 26062 257696 581647 | 114331 4483 31 | 64.221 % | 119.05/119.16 c =============================================================================== 119.05/119.16 c New solution: 181 119.05/119.16 o 181 119.05/119.16 c Elapsed CPU time: 118.773 s Remaining CPU time: 61.2271 s 119.05/119.16 c =============================================================================== 119.05/119.16 c | 22539 | 26062 257697 581947 | 85899 4540 30 | 64.221 % | 119.14/119.22 c | 22639 | 26061 257697 581947 | 94488 4640 30 | 64.553 % | 119.24/119.31 c =============================================================================== 119.24/119.31 c New solution: 180 119.24/119.31 o 180 119.24/119.31 c Elapsed CPU time: 118.927 s Remaining CPU time: 61.0731 s 119.24/119.31 c =============================================================================== 119.24/119.31 c | 22719 | 25820 257698 582247 | 85899 4720 30 | 64.553 % | 119.24/119.37 c =============================================================================== 119.24/119.37 c New solution: 179 119.24/119.37 o 179 119.24/119.37 c Elapsed CPU time: 118.978 s Remaining CPU time: 61.0221 s 119.24/119.37 c =============================================================================== 119.24/119.37 c | 22730 | 25578 257699 582547 | 85899 4731 30 | 64.553 % | 119.34/119.42 c | 22830 | 25568 257699 582547 | 94489 4831 30 | 65.218 % | 119.44/119.52 c | 22980 | 25565 257699 582547 | 103938 4981 30 | 65.218 % | 119.64/119.71 c =============================================================================== 119.64/119.71 c New solution: 178 119.64/119.71 o 178 119.64/119.71 c Elapsed CPU time: 119.325 s Remaining CPU time: 60.6751 s 119.64/119.71 c =============================================================================== 119.64/119.71 c | 23162 | 25336 257700 582847 | 85900 4550 30 | 65.218 % | 119.75/119.83 c | 23262 | 25328 257700 582847 | 94490 4650 31 | 65.550 % | 119.85/119.93 c | 23414 | 25320 257700 582847 | 103939 4802 32 | 65.550 % | 119.94/120.08 c | 23639 | 25313 257700 582847 | 114332 5027 32 | 65.632 % | 120.14/120.23 c =============================================================================== 120.14/120.23 c New solution: 177 120.14/120.23 o 177 120.14/120.23 c Elapsed CPU time: 119.839 s Remaining CPU time: 60.1612 s 120.14/120.23 c =============================================================================== 120.14/120.23 c | 23792 | 25034 257701 583147 | 85900 5180 32 | 65.632 % | 120.24/120.33 c | 23893 | 24802 257701 583147 | 94490 4866 32 | 65.951 % | 120.34/120.40 c | 24043 | 24802 257701 583147 | 103939 5016 32 | 65.951 % | 120.44/120.57 c | 24268 | 24802 257701 583147 | 114333 5241 32 | 65.951 % | 120.64/120.70 c =============================================================================== 120.64/120.70 c New solution: 176 120.64/120.70 o 176 120.64/120.70 c Elapsed CPU time: 120.313 s Remaining CPU time: 59.6873 s 120.64/120.70 c =============================================================================== 120.64/120.70 c | 24428 | 24802 257702 583447 | 85900 5401 32 | 65.951 % | 120.64/120.76 c | 24528 | 24764 257702 583447 | 94490 5501 32 | 66.269 % | 120.74/120.86 c | 24680 | 24764 257702 583447 | 103939 5653 32 | 66.269 % | 120.85/120.92 c =============================================================================== 120.85/120.92 c New solution: 175 120.85/120.92 o 175 120.85/120.92 c Elapsed CPU time: 120.529 s Remaining CPU time: 59.4713 s 120.85/120.92 c =============================================================================== 120.85/120.92 c | 24702 | 24570 257703 583747 | 85901 5675 32 | 66.269 % | 120.85/120.97 c | 24803 | 24567 257703 583747 | 94491 5776 32 | 66.588 % | 121.05/121.10 c | 24953 | 24338 257703 583747 | 103940 5479 31 | 66.588 % | 121.15/121.23 c | 25180 | 24338 257703 583747 | 114334 5706 32 | 66.588 % | 121.34/121.46 c | 25517 | 24338 257703 583747 | 125767 6043 32 | 66.588 % | 121.44/121.55 c =============================================================================== 121.44/121.55 c New solution: 174 121.44/121.55 o 174 121.44/121.55 c Elapsed CPU time: 121.15 s Remaining CPU time: 58.8504 s 121.44/121.55 c =============================================================================== 121.44/121.55 c | 25580 | 24338 257704 584047 | 85901 6106 32 | 66.588 % | 121.54/121.64 c | 25680 | 24299 257704 584047 | 94491 6206 32 | 66.906 % | 121.64/121.74 c | 25830 | 24106 257704 584047 | 103940 6126 31 | 66.906 % | 121.74/121.82 c =============================================================================== 121.74/121.82 c New solution: 173 121.74/121.82 o 173 121.74/121.82 c Elapsed CPU time: 121.424 s Remaining CPU time: 58.5765 s 121.74/121.82 c =============================================================================== 121.74/121.82 c | 25884 | 24106 257705 584347 | 85901 6180 31 | 66.906 % | 121.84/121.90 c | 25985 | 24101 257705 584347 | 94491 6281 31 | 67.225 % | 121.95/122.01 c | 26136 | 24091 257705 584347 | 103941 6432 31 | 67.225 % | 121.95/122.10 c =============================================================================== 121.95/122.10 c New solution: 172 121.95/122.10 o 172 121.95/122.10 c Elapsed CPU time: 121.697 s Remaining CPU time: 58.3025 s 121.95/122.10 c =============================================================================== 121.95/122.10 c | 26208 | 23874 257706 584647 | 85902 6504 31 | 67.225 % | 122.05/122.18 c | 26308 | 23869 257706 584647 | 94492 6604 31 | 67.543 % | 122.14/122.29 c | 26459 | 23861 257706 584647 | 103941 6755 31 | 67.543 % | 122.35/122.40 c | 26684 | 23861 257706 584647 | 114335 6980 31 | 67.543 % | 122.45/122.53 c =============================================================================== 122.45/122.53 c New solution: 171 122.45/122.53 o 171 122.45/122.53 c Elapsed CPU time: 122.124 s Remaining CPU time: 57.8756 s 122.45/122.53 c =============================================================================== 122.45/122.53 c | 26812 | 23642 257707 584947 | 85902 6328 31 | 67.543 % | 122.55/122.60 c | 26912 | 23625 257707 584947 | 94492 6428 31 | 67.887 % | 122.64/122.73 c | 27063 | 23624 257707 584947 | 103941 6579 31 | 67.887 % | 122.74/122.82 c | 27288 | 23612 257707 584947 | 114336 6804 31 | 67.887 % | 122.94/123.03 c | 27625 | 23612 257707 584947 | 125769 7141 33 | 67.887 % | 123.35/123.48 c | 28131 | 23606 257707 584947 | 138346 7647 33 | 67.887 % | 124.04/124.16 c | 28890 | 23392 257707 584947 | 152181 8094 35 | 67.887 % | 125.04/125.13 c | 30029 | 23392 257707 584947 | 167399 9233 36 | 67.887 % | 125.14/125.21 c =============================================================================== 125.14/125.21 c New solution: 170 125.14/125.21 o 170 125.14/125.21 c Elapsed CPU time: 124.784 s Remaining CPU time: 55.216 s 125.14/125.21 c =============================================================================== 125.14/125.21 c | 30083 | 23392 257708 585247 | 85902 9287 36 | 67.887 % | 125.14/125.27 c | 30184 | 23152 257708 585247 | 94492 9030 36 | 68.216 % | 125.26/125.35 c | 30334 | 23152 257708 585247 | 103942 9180 36 | 68.216 % | 125.45/125.55 c | 30559 | 23152 257708 585247 | 114336 9405 36 | 68.216 % | 125.55/125.66 c | 30896 | 23152 257708 585247 | 125770 9742 36 | 68.216 % | 125.84/125.98 c | 31402 | 23152 257708 585247 | 138347 10248 37 | 68.216 % | 126.54/126.64 c | 32161 | 23152 257708 585247 | 152181 11007 37 | 68.216 % | 126.64/126.77 c =============================================================================== 126.64/126.77 c New solution: 169 126.64/126.77 o 169 126.64/126.77 c Elapsed CPU time: 126.335 s Remaining CPU time: 53.6652 s 126.64/126.77 c =============================================================================== 126.64/126.77 c | 32516 | 23152 257709 585547 | 85903 11362 37 | 68.216 % | 126.74/126.84 c | 32616 | 22912 257709 585547 | 94493 11120 37 | 68.546 % | 126.84/126.97 c | 32766 | 22912 257709 585547 | 103942 11270 37 | 68.546 % | 126.94/127.06 c =============================================================================== 126.94/127.06 c New solution: 168 126.94/127.06 o 168 126.94/127.06 c Elapsed CPU time: 126.632 s Remaining CPU time: 53.3683 s 126.94/127.06 c =============================================================================== 126.94/127.06 c | 32863 | 22912 257710 585847 | 85903 11367 37 | 68.546 % | 127.04/127.14 c | 32963 | 22908 257710 585847 | 94493 11467 37 | 68.875 % | 127.14/127.25 c | 33113 | 22901 257710 585847 | 103943 11617 37 | 68.875 % | 127.24/127.31 c =============================================================================== 127.24/127.31 c New solution: 167 127.24/127.31 o 167 127.24/127.31 c Elapsed CPU time: 126.874 s Remaining CPU time: 53.1263 s 127.24/127.31 c =============================================================================== 127.24/127.31 c | 33131 | 22672 257711 586147 | 85903 11635 37 | 68.875 % | 127.24/127.36 c | 33231 | 22667 257711 586147 | 94494 11735 37 | 69.205 % | 127.34/127.47 c | 33381 | 22659 257711 586147 | 103943 11885 37 | 69.205 % | 127.45/127.56 c | 33607 | 22652 257711 586147 | 114337 12111 37 | 69.205 % | 127.55/127.70 c | 33944 | 22652 257711 586147 | 125771 12448 37 | 69.205 % | 127.75/127.84 c =============================================================================== 127.75/127.84 c New solution: 166 127.75/127.84 o 166 127.75/127.84 c Elapsed CPU time: 127.402 s Remaining CPU time: 52.5984 s 127.75/127.84 c =============================================================================== 127.75/127.84 c | 34066 | 22432 257712 586447 | 85904 12570 37 | 69.205 % | 127.84/127.91 c | 34167 | 22190 257712 586447 | 94494 11051 36 | 69.537 % | 127.94/128.03 c | 34320 | 22190 257712 586447 | 103943 11204 36 | 69.537 % | 128.04/128.18 c | 34545 | 22190 257712 586447 | 114338 11429 36 | 69.537 % | 128.34/128.40 c | 34883 | 22190 257712 586447 | 125772 11767 36 | 69.537 % | 128.65/128.71 c | 35390 | 22190 257712 586447 | 138349 12274 36 | 69.537 % | 129.15/129.23 c | 36151 | 22190 257712 586447 | 152184 13035 38 | 69.537 % | 129.65/129.75 c | 37291 | 22190 257712 586447 | 167402 14175 38 | 69.537 % | 130.34/130.41 c | 38999 | 22190 257712 586447 | 184142 15883 38 | 69.537 % | 131.95/132.03 c | 41561 | 22190 257712 586447 | 202557 18445 41 | 69.537 % | 134.44/134.50 c | 45406 | 22190 257712 586447 | 222812 22290 43 | 69.537 % | 138.94/139.06 c | 51172 | 22190 257712 586447 | 245094 28056 44 | 69.537 % | 143.54/143.61 c | 59821 | 22190 257712 586447 | 269603 36705 44 | 69.537 % | 154.33/154.49 c | 72796 | 22190 257712 586447 | 296563 49680 50 | 69.537 % | 159.44/159.56 c =============================================================================== 159.44/159.56 c New solution: 165 159.44/159.56 o 165 159.44/159.56 c Elapsed CPU time: 158.985 s Remaining CPU time: 21.0152 s 159.44/159.56 c =============================================================================== 159.44/159.56 c | 81778 | 22190 257713 586747 | 85904 58662 50 | 69.537 % | 159.63/159.73 c | 81878 | 21948 257713 586747 | 94494 57512 50 | 69.869 % | 159.83/159.91 c | 82028 | 21948 257713 586747 | 103944 57662 50 | 69.869 % | 159.94/160.02 c | 82253 | 21948 257713 586747 | 114338 57887 50 | 69.869 % | 160.14/160.25 c | 82590 | 21948 257713 586747 | 125772 58224 50 | 69.869 % | 160.74/160.88 c | 83096 | 21948 257713 586747 | 138349 58730 50 | 69.869 % | 161.13/161.26 c | 83855 | 21948 257713 586747 | 152184 59489 49 | 69.869 % | 162.23/162.34 c | 84994 | 21948 257713 586747 | 167403 60628 50 | 69.869 % | 164.14/164.25 c | 86704 | 21948 257713 586747 | 184143 62338 49 | 69.869 % | 166.04/166.12 c | 89268 | 21948 257713 586747 | 202557 64902 50 | 69.869 % | 170.53/170.60 c | 93113 | 21948 257713 586747 | 222813 68747 50 | 69.869 % | 174.23/174.35 c | 98880 | 21948 257713 586747 | 245095 74514 50 | 69.869 % | 180.53/180.68 c There are 50966 assigned variables. 226 in cost function. 182.13/182.25 c core #1 182.13/182.25 c core #2 182.13/182.25 c core #3 182.13/182.25 c core #4 182.13/182.25 c core #5 182.13/182.25 c core #6 182.13/182.25 c core #7 182.13/182.25 c ============================[ Search Statistics ]============================== 182.13/182.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.25 c =============================================================================== 182.13/182.25 c | 0 | 6233 120356 178301 | 40118 0 nan | 0.000 % | 182.13/182.26 c =============================================================================== 182.33/182.44 c core #8 182.33/182.44 c ============================[ Search Statistics ]============================== 182.33/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.44 c =============================================================================== 182.33/182.44 c | 0 | 6531 120424 178730 | 40141 0 nan | 0.000 % | 182.33/182.46 c =============================================================================== 182.53/182.65 c core #9 182.53/182.65 c ============================[ Search Statistics ]============================== 182.53/182.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.65 c =============================================================================== 182.53/182.65 c | 0 | 6850 120490 179159 | 40163 0 nan | 0.000 % | 182.53/182.66 c =============================================================================== 182.72/182.85 c core #10 182.72/182.85 c ============================[ Search Statistics ]============================== 182.72/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.72/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.72/182.85 c =============================================================================== 182.72/182.85 c | 0 | 7157 120556 179593 | 40185 0 nan | 0.000 % | 182.72/182.89 c =============================================================================== 182.93/183.08 c core #11 182.93/183.08 c ============================[ Search Statistics ]============================== 182.93/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.08 c =============================================================================== 182.93/183.08 c | 0 | 7463 120621 180019 | 40207 0 nan | 0.000 % | 183.03/183.14 c | 100 | 7463 120621 180019 | 44227 100 17 | 91.000 % | 183.03/183.17 c =============================================================================== 183.23/183.36 c core #12 183.23/183.36 c ============================[ Search Statistics ]============================== 183.23/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.36 c =============================================================================== 183.23/183.36 c | 0 | 7768 120684 180443 | 40228 0 nan | 0.000 % | 183.33/183.42 c | 102 | 7768 120684 180443 | 44250 102 15 | 89.455 % | 183.43/183.55 c | 252 | 7328 120684 180443 | 48675 153 15 | 90.052 % | 183.43/183.59 c =============================================================================== 183.64/183.77 c core #13 183.64/183.77 c ============================[ Search Statistics ]============================== 183.64/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.77 c =============================================================================== 183.64/183.77 c | 0 | 8072 120748 180871 | 40249 0 nan | 0.000 % | 183.73/183.82 c | 100 | 8072 120748 180871 | 44274 100 12 | 89.052 % | 183.83/183.90 c | 252 | 8071 120748 180871 | 48701 252 16 | 89.231 % | 183.93/184.03 c | 478 | 7940 120748 180871 | 53571 452 20 | 89.231 % | 184.03/184.11 c =============================================================================== 184.23/184.30 c core #14 184.23/184.30 c ============================[ Search Statistics ]============================== 184.23/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.30 c =============================================================================== 184.23/184.30 c | 0 | 8375 120810 181296 | 40270 0 nan | 0.000 % | 184.23/184.37 c | 100 | 8375 120810 181296 | 44297 100 15 | 88.650 % | 184.33/184.47 c | 250 | 8375 120810 181296 | 48726 250 20 | 88.650 % | 184.53/184.63 c | 476 | 8375 120810 181296 | 53599 476 22 | 88.650 % | 184.74/184.83 c | 815 | 8139 120810 181296 | 58959 587 20 | 88.996 % | 184.93/185.10 c =============================================================================== 185.13/185.29 c core #15 185.13/185.29 c ============================[ Search Statistics ]============================== 185.13/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.29 c =============================================================================== 185.13/185.29 c | 0 | 8677 120877 181735 | 40292 0 nan | 0.000 % | 185.23/185.34 c | 101 | 8677 120877 181735 | 44321 101 13 | 88.250 % | 185.33/185.43 c | 251 | 8677 120877 181735 | 48753 251 21 | 88.250 % | 185.42/185.57 c | 476 | 8677 120877 181735 | 53629 476 21 | 88.250 % | 185.74/185.81 c | 813 | 8256 120877 181735 | 58992 792 24 | 88.820 % | 185.93/186.09 c | 1320 | 8256 120877 181735 | 64891 1299 25 | 88.957 % | 186.53/186.62 c | 2079 | 7826 120877 181735 | 71380 1122 23 | 89.403 % | 186.63/186.78 c =============================================================================== 186.83/186.97 c core #16 186.83/186.97 c ============================[ Search Statistics ]============================== 186.83/186.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.83/186.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.83/186.97 c =============================================================================== 186.83/186.97 c | 0 | 8978 120937 182155 | 40312 0 nan | 0.000 % | 186.93/187.03 c | 101 | 8978 120937 182155 | 44343 101 14 | 87.852 % | 187.03/187.13 c | 251 | 8978 120937 182155 | 48777 251 19 | 87.852 % | 187.13/187.28 c | 476 | 8578 120937 182155 | 53655 447 21 | 88.394 % | 187.43/187.51 c | 813 | 8578 120937 182155 | 59021 784 24 | 88.394 % | 187.62/187.79 c | 1319 | 8578 120937 182155 | 64923 1290 26 | 88.394 % | 188.22/188.31 c | 2078 | 8568 120937 182155 | 71415 2047 30 | 88.409 % | 188.93/189.05 c | 3218 | 8338 120937 182155 | 78557 2466 29 | 89.005 % | 190.03/190.16 c | 4926 | 7395 120937 182155 | 86413 1685 24 | 90.043 % | 190.13/190.20 c =============================================================================== 190.23/190.39 c core #17 190.23/190.39 c ============================[ Search Statistics ]============================== 190.23/190.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.23/190.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.23/190.39 c =============================================================================== 190.23/190.39 c | 0 | 9278 120998 182580 | 40332 0 nan | 0.000 % | 190.33/190.47 c | 100 | 9278 120998 182580 | 44365 100 19 | 87.456 % | 190.43/190.58 c | 250 | 9278 120998 182580 | 48802 250 21 | 87.456 % | 190.62/190.73 c | 475 | 9278 120998 182580 | 53682 475 29 | 87.456 % | 190.82/190.93 c | 814 | 9104 120998 182580 | 59051 813 29 | 87.692 % | 191.13/191.25 c | 1322 | 9104 120998 182580 | 64956 1321 27 | 87.692 % | 191.63/191.76 c | 2081 | 9104 120998 182580 | 71451 2080 29 | 87.692 % | 192.33/192.44 c | 3220 | 8917 120998 182580 | 78596 3205 30 | 88.161 % | 193.73/193.85 c | 4930 | 8757 120998 182580 | 86456 4695 34 | 88.161 % | 195.83/195.93 c | 7492 | 8550 120998 182580 | 95102 7021 36 | 88.496 % | 199.03/199.18 c | 11336 | 8453 120998 182580 | 104612 8590 37 | 88.572 % | 204.02/204.18 c =============================================================================== 204.23/204.37 c core #18 204.23/204.37 c ============================[ Search Statistics ]============================== 204.23/204.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.23/204.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.23/204.37 c =============================================================================== 204.23/204.37 c | 0 | 9577 121067 183028 | 40355 0 nan | 0.000 % | 204.33/204.44 c | 100 | 9577 121067 183028 | 44391 100 16 | 87.062 % | 204.43/204.53 c | 251 | 9577 121067 183028 | 48830 251 21 | 87.062 % | 204.53/204.67 c | 476 | 9577 121067 183028 | 53713 476 23 | 87.062 % | 204.72/204.84 c | 813 | 9577 121067 183028 | 59084 813 22 | 87.062 % | 205.02/205.14 c | 1320 | 9577 121067 183028 | 64993 1320 26 | 87.062 % | 205.42/205.55 c | 2081 | 9577 121067 183028 | 71492 2081 26 | 87.062 % | 206.02/206.12 c | 3220 | 9473 121067 183028 | 78641 2696 26 | 87.203 % | 207.03/207.15 c | 4928 | 9473 121067 183028 | 86505 4404 31 | 87.203 % | 208.72/208.86 c | 7490 | 9473 121067 183028 | 95156 6966 32 | 87.203 % | 211.62/211.79 c | 11334 | 9470 121067 183028 | 104672 10807 35 | 87.207 % | 216.42/216.59 c | 17100 | 9470 121067 183028 | 115139 16573 38 | 87.207 % | 225.02/225.19 c | 25749 | 9470 121067 183028 | 126653 25222 41 | 87.207 % | 239.31/239.46 c | 38724 | 8298 121067 183028 | 139318 19469 39 | 88.817 % | 241.71/241.86 c =============================================================================== 241.92/242.06 c core #19 241.92/242.06 c ============================[ Search Statistics ]============================== 241.92/242.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.92/242.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.92/242.06 c =============================================================================== 241.92/242.06 c | 0 | 9875 121136 183483 | 40378 0 nan | 0.000 % | 242.02/242.13 c | 100 | 9875 121136 183483 | 44416 100 14 | 86.670 % | 242.11/242.23 c | 250 | 9875 121136 183483 | 48858 250 21 | 86.670 % | 242.21/242.36 c | 475 | 9875 121136 183483 | 53744 475 22 | 86.670 % | 242.41/242.57 c | 813 | 9875 121136 183483 | 59118 813 26 | 86.670 % | 242.71/242.85 c | 1319 | 9875 121136 183483 | 65030 1319 26 | 86.670 % | 243.21/243.33 c | 2078 | 9875 121136 183483 | 71533 2078 29 | 86.670 % | 243.81/243.98 c | 3218 | 9875 121136 183483 | 78686 3218 28 | 86.670 % | 245.01/245.12 c | 4926 | 9875 121136 183483 | 86555 4926 31 | 86.670 % | 246.51/246.68 c | 7489 | 9875 121136 183483 | 95210 7489 34 | 86.670 % | 249.71/249.81 c | 11333 | 9875 121136 183483 | 104731 11333 35 | 86.670 % | 255.01/255.14 c | 17099 | 9875 121136 183483 | 115205 17099 37 | 86.670 % | 264.51/264.70 c | 25748 | 9826 121136 183483 | 126725 24858 40 | 86.736 % | 279.71/279.82 c | 38723 | 9240 121136 183483 | 139398 16959 30 | 87.527 % | 288.80/288.94 c =============================================================================== 289.00/289.15 c core #20 289.00/289.15 c ============================[ Search Statistics ]============================== 289.00/289.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.00/289.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.00/289.15 c =============================================================================== 289.00/289.15 c | 0 | 10172 121209 183945 | 40403 0 nan | 0.000 % | 289.11/289.21 c | 101 | 10172 121209 183945 | 44443 101 20 | 86.279 % | 289.20/289.31 c | 252 | 10172 121209 183945 | 48887 252 24 | 86.279 % | 289.30/289.42 c | 477 | 10172 121209 183945 | 53776 477 23 | 86.279 % | 289.50/289.62 c | 816 | 10172 121209 183945 | 59154 816 25 | 86.279 % | 289.80/289.92 c | 1322 | 10172 121209 183945 | 65069 1322 31 | 86.279 % | 290.31/290.44 c | 2084 | 10172 121209 183945 | 71576 2084 31 | 86.279 % | 291.00/291.11 c | 3223 | 10164 121209 183945 | 78734 3219 30 | 86.290 % | 292.20/292.33 c | 4931 | 10164 121209 183945 | 86607 4927 35 | 86.290 % | 293.90/294.03 c | 7493 | 10164 121209 183945 | 95268 7489 37 | 86.290 % | 296.81/296.98 c | 11338 | 10164 121209 183945 | 104794 11334 37 | 86.290 % | 301.31/301.45 c | 17104 | 9608 121209 183945 | 115274 11330 31 | 87.040 % | 308.30/308.40 c | 25753 | 9608 121209 183945 | 126801 19979 35 | 87.040 % | 322.50/322.68 c | 38728 | 9508 121209 183945 | 139482 32489 42 | 87.175 % | 346.19/346.37 c | 58189 | 9024 121209 183945 | 153430 29397 40 | 87.841 % | 352.28/352.48 c =============================================================================== 352.59/352.71 c core #21 352.59/352.71 c ============================[ Search Statistics ]============================== 352.59/352.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 352.59/352.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 352.59/352.71 c =============================================================================== 352.59/352.71 c | 0 | 10468 121296 184447 | 40432 0 nan | 0.000 % | 352.59/352.79 c | 101 | 10468 121296 184447 | 44475 101 16 | 85.890 % | 352.69/352.86 c | 251 | 10468 121296 184447 | 48922 251 22 | 85.890 % | 352.89/353.00 c | 476 | 10468 121296 184447 | 53814 476 24 | 85.890 % | 353.09/353.23 c | 814 | 10468 121296 184447 | 59196 814 33 | 85.890 % | 353.39/353.54 c | 1321 | 10468 121296 184447 | 65116 1321 30 | 85.890 % | 353.88/354.00 c | 2080 | 10468 121296 184447 | 71627 2080 29 | 85.890 % | 354.48/354.60 c | 3221 | 10468 121296 184447 | 78790 3221 28 | 85.890 % | 355.58/355.79 c | 4932 | 10468 121296 184447 | 86669 4932 32 | 85.890 % | 357.78/357.90 c | 7495 | 10464 121296 184447 | 95336 7492 36 | 85.895 % | 360.89/361.05 c | 11340 | 10464 121296 184447 | 104870 11337 37 | 85.895 % | 366.78/366.92 c | 17106 | 10464 121296 184447 | 115357 17103 43 | 85.895 % | 374.99/375.19 c | 25755 | 10357 121296 184447 | 126892 23919 42 | 86.040 % | 390.28/390.43 c | 38731 | 10357 121296 184447 | 139582 36895 43 | 86.040 % | 420.37/420.59 c | 58192 | 10351 121296 184447 | 153540 56355 47 | 86.048 % | 474.35/474.50 c | 87384 | 10351 121296 184447 | 168894 85547 50 | 86.048 % | 571.33/571.53 c | 131173 | 9785 121296 184447 | 185783 76121 46 | 86.811 % | 645.51/645.74 c =============================================================================== 645.80/646.05 c core #22 645.80/646.05 c ============================[ Search Statistics ]============================== 645.80/646.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 645.80/646.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 645.80/646.05 c =============================================================================== 645.80/646.05 c | 0 | 10763 121378 184939 | 40459 0 nan | 0.000 % | 645.90/646.12 c | 102 | 10763 121378 184939 | 44505 102 21 | 85.503 % | 646.01/646.20 c | 252 | 10763 121378 184939 | 48955 252 21 | 85.503 % | 646.11/646.34 c | 478 | 10763 121378 184939 | 53851 478 25 | 85.503 % | 646.31/646.54 c | 815 | 10763 121378 184939 | 59236 815 23 | 85.503 % | 646.62/646.89 c | 1321 | 10763 121378 184939 | 65160 1321 28 | 85.503 % | 647.11/647.36 c | 2081 | 10763 121378 184939 | 71676 2081 26 | 85.503 % | 648.00/648.25 c | 3220 | 10763 121378 184939 | 78843 3220 30 | 85.503 % | 649.21/649.46 c | 4928 | 10763 121378 184939 | 86728 4928 33 | 85.503 % | 651.01/651.22 c | 7491 | 10763 121378 184939 | 95400 7491 32 | 85.503 % | 654.70/654.94 c | 11335 | 10763 121378 184939 | 104941 11335 39 | 85.503 % | 660.00/660.26 c | 17102 | 10763 121378 184939 | 115435 17102 46 | 85.503 % | 668.10/668.34 c | 25751 | 10429 121378 184939 | 126978 23710 41 | 85.953 % | 680.50/680.78 c | 38725 | 10429 121378 184939 | 139676 36684 44 | 85.953 % | 708.59/708.81 c | 58186 | 10429 121378 184939 | 153644 56145 50 | 85.953 % | 767.68/767.93 c | 87380 | 10429 121378 184939 | 169008 85339 54 | 85.953 % | 871.85/872.18 c | 131169 | 10335 121378 184939 | 185909 121882 54 | 86.079 % | 1096.98/1097.32 c | 196853 | 10321 121378 184939 | 204500 187564 55 | 86.332 % | 1443.00/1443.45 c | 295379 | 9685 121378 184939 | 224950 135488 41 | 86.960 % | 1531.47/1531.95 c =============================================================================== 1531.97/1532.40 c core #23 1531.97/1532.40 c ============================[ Search Statistics ]============================== 1531.97/1532.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1531.97/1532.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1531.97/1532.40 c =============================================================================== 1531.97/1532.40 c | 0 | 11057 121482 185498 | 40494 0 nan | 0.000 % | 1531.97/1532.48 c | 100 | 11057 121482 185498 | 44543 100 17 | 85.117 % | 1532.07/1532.56 c | 250 | 11057 121482 185498 | 48997 250 26 | 85.117 % | 1532.17/1532.68 c | 476 | 11057 121482 185498 | 53897 476 25 | 85.117 % | 1532.47/1532.91 c | 813 | 11057 121482 185498 | 59287 813 29 | 85.117 % | 1532.77/1533.21 c | 1319 | 11057 121482 185498 | 65215 1319 29 | 85.117 % | 1533.17/1533.67 c | 2078 | 11057 121482 185498 | 71737 2078 33 | 85.117 % | 1533.87/1534.31 c | 3217 | 11057 121482 185498 | 78911 3217 31 | 85.117 % | 1535.17/1535.63 c | 4925 | 11057 121482 185498 | 86802 4925 34 | 85.117 % | 1536.77/1537.29 c | 7488 | 11057 121482 185498 | 95482 7488 34 | 85.117 % | 1539.66/1540.17 c | 11333 | 11057 121482 185498 | 105031 11333 39 | 85.117 % | 1544.57/1545.02 c | 17099 | 11057 121482 185498 | 115534 17099 35 | 85.117 % | 1553.16/1553.61 c | 25749 | 11057 121482 185498 | 127087 25749 40 | 85.117 % | 1567.26/1567.79 c | 38723 | 11057 121482 185498 | 139796 38723 41 | 85.117 % | 1594.56/1595.08 c | 58184 | 11057 121482 185498 | 153775 58184 42 | 85.117 % | 1650.14/1650.63 c | 87376 | 11057 121482 185498 | 169153 87376 47 | 85.117 % | 1746.12/1746.61 c | 131167 | 11057 121482 185498 | 186068 131167 47 | 85.117 % |
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-2687100-1278447798/watcher-2687100-1278447798 -o /tmp/evaluation-result-2687100-1278447798/solver-2687100-1278447798 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687100-1278447798.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.95 2.01 1.69 2/106 21560 /proc/meminfo: memFree=1851120/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=10788 CPUtime=0 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 310 0 0 0 0 0 0 0 19 0 1 0 12990853 11046912 229 1992294400 134512640 135751879 4292911104 18446744073709551615 135228491 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 2697 229 139 303 0 375 0 [startup+0.083179 s] /proc/loadavg: 1.95 2.01 1.69 2/106 21560 /proc/meminfo: memFree=1851120/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=14984 CPUtime=0.07 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 1397 0 0 0 7 0 0 0 19 0 1 0 12990853 15343616 1316 1992294400 134512640 135751879 4292911104 18446744073709551615 134571290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 3746 1316 256 303 0 1424 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14984 [startup+0.101181 s] /proc/loadavg: 1.95 2.01 1.69 2/106 21560 /proc/meminfo: memFree=1851120/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=15836 CPUtime=0.08 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 1590 0 0 0 8 0 0 0 19 0 1 0 12990853 16216064 1509 1992294400 134512640 135751879 4292911104 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 3959 1509 283 303 0 1637 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15836 [startup+0.301203 s] /proc/loadavg: 1.95 2.01 1.69 2/106 21560 /proc/meminfo: memFree=1851120/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=20108 CPUtime=0.28 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 2938 0 0 0 27 1 0 0 20 0 1 0 12990853 20590592 2824 1992294400 134512640 135751879 4292911104 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 5027 2824 588 303 0 2705 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 20108 [startup+0.701246 s] /proc/loadavg: 1.95 2.01 1.69 2/106 21560 /proc/meminfo: memFree=1851120/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=25264 CPUtime=0.69 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 4765 0 0 0 67 2 0 0 20 0 1 0 12990853 25870336 4611 1992294400 134512640 135751879 4292911104 18446744073709551615 134637710 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 6316 4611 1197 303 0 3994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25264 [startup+1.50134 s] /proc/loadavg: 1.87 1.99 1.68 2/107 21561 /proc/meminfo: memFree=1832140/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=37896 CPUtime=1.49 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 8550 0 0 0 145 4 0 0 23 0 1 0 12990853 38805504 8282 1992294400 134512640 135751879 4292911104 18446744073709551615 134598102 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 9474 8282 2106 303 0 7152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37896 [startup+3.10151 s] /proc/loadavg: 1.87 1.99 1.68 2/107 21561 /proc/meminfo: memFree=1799776/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=57296 CPUtime=3.08 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 15589 0 0 0 302 6 0 0 25 0 1 0 12990853 58671104 13079 1992294400 134512640 135751879 4292911104 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 14324 13079 146 303 0 14019 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 57296 [startup+6.30186 s] /proc/loadavg: 1.87 1.99 1.68 2/107 21561 /proc/meminfo: memFree=1792584/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=66008 CPUtime=6.29 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 17751 0 0 0 621 8 0 0 25 0 1 0 12990853 67592192 15241 1992294400 134512640 135751879 4292911104 18446744073709551615 134524021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 16502 15241 146 303 0 16197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66008 [startup+12.7016 s] /proc/loadavg: 1.74 1.96 1.68 2/107 21561 /proc/meminfo: memFree=1779440/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=77228 CPUtime=12.69 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 20581 0 0 0 1260 9 0 0 25 0 1 0 12990853 79081472 18071 1992294400 134512640 135751879 4292911104 18446744073709551615 135204032 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 19307 18071 146 303 0 19002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77228 [startup+25.501 s] /proc/loadavg: 1.62 1.93 1.67 2/107 21562 /proc/meminfo: memFree=1762080/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=94256 CPUtime=25.48 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 24819 0 0 0 2537 11 0 0 25 0 1 0 12990853 96518144 22309 1992294400 134512640 135751879 4292911104 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 23564 22309 146 303 0 23259 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94256 [startup+51.1008 s] /proc/loadavg: 1.41 1.85 1.65 2/107 21563 /proc/meminfo: memFree=1739388/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=117092 CPUtime=51.06 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 30547 0 0 0 5092 14 0 0 25 0 1 0 12990853 119902208 28037 1992294400 134512640 135751879 4292911104 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 29273 28037 146 303 0 28968 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 117092 [startup+102.308 s] /proc/loadavg: 1.16 1.71 1.61 2/107 21564 /proc/meminfo: memFree=1715456/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=139884 CPUtime=102.25 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 37663 0 0 0 10203 22 0 0 25 0 1 0 12990853 143241216 33839 1992294400 134512640 135751879 4292911104 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 34971 33839 147 303 0 34666 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 139884 [startup+162.301 s] /proc/loadavg: 1.06 1.57 1.57 2/107 21565 /proc/meminfo: memFree=1715332/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=139884 CPUtime=162.23 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 37663 0 0 0 16170 53 0 0 25 0 1 0 12990853 143241216 33839 1992294400 134512640 135751879 4292911104 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 34971 33839 147 303 0 34666 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139884 [startup+222.301 s] /proc/loadavg: 1.02 1.47 1.53 2/107 21567 /proc/meminfo: memFree=1725748/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=222.22 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 45428 0 0 0 22140 82 0 0 25 0 1 0 12990853 130527232 31210 1992294400 134512640 135751879 4292911104 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31210 151 303 0 31562 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 127468 [startup+282.301 s] /proc/loadavg: 1.00 1.38 1.50 2/107 21569 /proc/meminfo: memFree=1725624/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=282.2 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 45863 0 0 0 28115 105 0 0 25 0 1 0 12990853 130527232 31211 1992294400 134512640 135751879 4292911104 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31211 151 303 0 31562 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 127468 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.46 2/107 21570 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=342.18 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46298 0 0 0 34092 126 0 0 25 0 1 0 12990853 130527232 31211 1992294400 134512640 135751879 4292911104 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31211 151 303 0 31562 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 127468 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.43 2/107 21572 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=402.17 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46733 0 0 0 40071 146 0 0 25 0 1 0 12990853 130527232 31211 1992294400 134512640 135751879 4292911104 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31211 151 303 0 31562 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 127468 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.40 2/107 21573 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=462.16 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46733 0 0 0 46053 163 0 0 25 0 1 0 12990853 130527232 31211 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31211 151 303 0 31562 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 127468 [startup+522.3 s] /proc/loadavg: 1.00 1.16 1.37 2/107 21575 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=522.14 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46733 0 0 0 52038 176 0 0 25 0 1 0 12990853 130527232 31211 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31211 151 303 0 31562 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 127468 [startup+582.301 s] /proc/loadavg: 1.05 1.14 1.35 2/107 21577 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=582.12 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46745 0 0 0 58025 187 0 0 25 0 1 0 12990853 130527232 31223 1992294400 134512640 135751879 4292911104 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31223 151 303 0 31562 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 127468 [startup+642.301 s] /proc/loadavg: 1.02 1.12 1.33 2/107 21578 /proc/meminfo: memFree=1725632/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=127468 CPUtime=642.11 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 46745 0 0 0 64009 202 0 0 25 0 1 0 12990853 130527232 31223 1992294400 134512640 135751879 4292911104 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 31867 31223 151 303 0 31562 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 127468 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.07 1.06 1.25 2/107 21585 /proc/meminfo: memFree=1709016/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=144160 CPUtime=882.04 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 51328 0 0 0 87938 266 0 0 25 0 1 0 12990853 147619840 35371 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 36040 35371 151 303 0 35735 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 144160 [startup+942.3 s] /proc/loadavg: 1.09 1.06 1.24 2/107 21586 /proc/meminfo: memFree=1703808/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=149592 CPUtime=942.03 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 52604 0 0 0 93923 280 0 0 25 0 1 0 12990853 153182208 36647 1992294400 134512640 135751879 4292911104 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 37398 36647 151 303 0 37093 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 149592 [startup+1002.3 s] /proc/loadavg: 1.09 1.07 1.22 2/107 21588 /proc/meminfo: memFree=1699096/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=154224 CPUtime=1002.01 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 53779 0 0 0 99912 289 0 0 25 0 1 0 12990853 157925376 37822 1992294400 134512640 135751879 4292911104 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 38556 37822 151 303 0 38251 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 154224 [startup+1062.3 s] /proc/loadavg: 1.09 1.07 1.21 2/107 21589 /proc/meminfo: memFree=1694136/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=159068 CPUtime=1061.99 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 55003 0 0 0 105900 299 0 0 25 0 1 0 12990853 162885632 39046 1992294400 134512640 135751879 4292911104 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 39767 39046 151 303 0 39462 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 159068 [startup+1122.3 s] /proc/loadavg: 1.08 1.07 1.20 2/107 21591 /proc/meminfo: memFree=1689672/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=163424 CPUtime=1121.98 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 56096 0 0 0 111888 310 0 0 25 0 1 0 12990853 167346176 40139 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 40856 40139 151 303 0 40551 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 163424 [startup+1182.3 s] /proc/loadavg: 1.08 1.07 1.19 2/107 21593 /proc/meminfo: memFree=1684092/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=168980 CPUtime=1181.96 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 57495 0 0 0 117875 321 0 0 25 0 1 0 12990853 173035520 41538 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 42245 41538 151 303 0 41940 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 168980 [startup+1242.3 s] /proc/loadavg: 1.07 1.06 1.18 2/107 21594 /proc/meminfo: memFree=1678264/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=174656 CPUtime=1241.95 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 58921 0 0 0 123862 333 0 0 25 0 1 0 12990853 178847744 42964 1992294400 134512640 135751879 4292911104 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 43664 42964 151 303 0 43359 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 174656 [startup+1302.3 s] /proc/loadavg: 1.07 1.06 1.17 2/107 21596 /proc/meminfo: memFree=1672808/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=180160 CPUtime=1301.94 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 60265 0 0 0 129850 344 0 0 25 0 1 0 12990853 184483840 44308 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 45040 44308 151 303 0 44735 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 180160 [startup+1362.3 s] /proc/loadavg: 1.06 1.06 1.16 2/107 21597 /proc/meminfo: memFree=1667848/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=184792 CPUtime=1361.91 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 61464 0 0 0 135837 354 0 0 25 0 1 0 12990853 189227008 45507 1992294400 134512640 135751879 4292911104 18446744073709551615 134602977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 46198 45507 151 303 0 45893 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 184792 [startup+1422.31 s] /proc/loadavg: 1.06 1.06 1.16 2/107 21599 /proc/meminfo: memFree=1662516/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=190072 CPUtime=1421.91 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 62789 0 0 0 141826 365 0 0 25 0 1 0 12990853 194633728 46832 1992294400 134512640 135751879 4292911104 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 47518 46832 151 303 0 47213 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 190072 [startup+1482.3 s] /proc/loadavg: 1.13 1.08 1.16 2/107 21601 /proc/meminfo: memFree=1656812/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=195880 CPUtime=1481.88 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 64228 0 0 0 147813 375 0 0 25 0 1 0 12990853 200581120 48271 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 48970 48271 151 303 0 48665 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 195880 [startup+1542.3 s] /proc/loadavg: 1.12 1.08 1.15 2/107 21602 /proc/meminfo: memFree=1639328/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=213984 CPUtime=1541.87 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 69100 0 0 0 153793 394 0 0 25 0 1 0 12990853 219119616 52504 1992294400 134512640 135751879 4292911104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 53496 52504 151 303 0 53191 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 213984 [startup+1602.3 s] /proc/loadavg: 1.11 1.08 1.14 2/107 21604 /proc/meminfo: memFree=1639328/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=213984 CPUtime=1601.86 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 69150 0 0 0 159769 417 0 0 25 0 1 0 12990853 219119616 52554 1992294400 134512640 135751879 4292911104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 53496 52554 151 303 0 53191 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 213984 [startup+1662.3 s] /proc/loadavg: 1.10 1.07 1.14 2/107 21605 /proc/meminfo: memFree=1638956/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=214792 CPUtime=1661.84 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 69284 0 0 0 165753 431 0 0 25 0 1 0 12990853 219947008 52688 1992294400 134512640 135751879 4292911104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 53698 52688 151 303 0 53393 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 214792 [startup+1722.3 s] /proc/loadavg: 1.09 1.07 1.13 2/107 21607 /proc/meminfo: memFree=1632756/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=220896 CPUtime=1721.82 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 70855 0 0 0 171736 446 0 0 25 0 1 0 12990853 226197504 54259 1992294400 134512640 135751879 4292911104 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 55224 54259 151 303 0 54919 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 220896 [startup+1782.3 s] /proc/loadavg: 1.14 1.09 1.13 2/107 21609 /proc/meminfo: memFree=1626308/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=227156 CPUtime=1781.81 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 72420 0 0 0 177721 460 0 0 25 0 1 0 12990853 232607744 55824 1992294400 134512640 135751879 4292911104 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 56789 55824 151 303 0 56484 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 227156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.11 1.08 1.13 2/107 21609 /proc/meminfo: memFree=1624324/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=229428 CPUtime=1800.01 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 72909 0 0 0 179538 463 0 0 25 0 1 0 12990853 234934272 56313 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 57357 56313 151 303 0 57052 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 229428 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.11 1.08 1.13 2/107 21609 /proc/meminfo: memFree=1624324/2059040 swapFree=4164952/4192956 [pid=21560] ppid=21558 vsize=229428 CPUtime=1800.01 /proc/21560/stat : 21560 (wbo1.4b) R 21558 21560 21430 0 -1 4202496 72909 0 0 0 179538 463 0 0 25 0 1 0 12990853 234934272 56313 1992294400 134512640 135751879 4292911104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21560/statm: 57357 56313 151 303 0 57052 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 229428 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.04 CPU user time (s): 1795.38 CPU system time (s): 4.66329 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 229428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.38 system time used= 4.66329 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72909 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= 59 involuntary context switches= 12955 runsolver used 2.92955 second user time and 8.5757 second system time The end
Begin job on node035 at 2010-07-06 22:23:19 IDJOB=2687100 IDBENCH=77411 IDSOLVER=1161 FILE ID=node035/2687100-1278447798 PBS_JOBID= 11233510 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_10.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-2687100-1278447798/watcher-2687100-1278447798 -o /tmp/evaluation-result-2687100-1278447798/solver-2687100-1278447798 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687100-1278447798.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3a741555d430d0ca416ea4853bc85581 RANDOM SEED=618438670 node035.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.212 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.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851896 kB Buffers: 9640 kB Cached: 90524 kB SwapCached: 1412 kB Active: 58912 kB Inactive: 74752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851896 kB SwapTotal: 4192956 kB SwapFree: 4164952 kB Dirty: 10880 kB Writeback: 0 kB AnonPages: 32084 kB Mapped: 13564 kB Slab: 51324 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178636 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687100-1278447798.opb Free space on /tmp at the end= 62480 MiB End job on node035 at 2010-07-06 22:53:22