Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.63 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2687111-1278448065.opb. 0.00/0.01 c Instance file HOME/instance-2687111-1278448065.opb 0.00/0.01 c File size is 8259329 bytes. 1.58/1.61 c Highest Coefficient sum: 551 1.58/1.61 c ============================[ Problem Statistics ]============================= 1.58/1.61 c | | 1.58/1.61 c | Parsing time: 1.58 s | 1.58/1.61 c | Number Variables: 72842 | 1.58/1.62 c | Number Clauses: 255087 | 1.58/1.62 c | Number Cardinality: 0 | 1.58/1.62 c | Number PB Constraints: 1200 | 97.66/97.79 c ============================[ Search Statistics ]============================== 97.66/97.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.66/97.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.66/97.79 c =============================================================================== 97.66/97.80 c | 0 | 54215 257577 545947 | 85429 0 nan | 0.000 % | 97.76/97.90 c =============================================================================== 97.76/97.90 c New solution: 300 97.76/97.90 o 300 97.76/97.90 c Elapsed CPU time: 97.6762 s Remaining CPU time: 82.3238 s 97.76/97.90 c =============================================================================== 97.76/97.90 c | 94 | 54215 257578 546247 | 85859 94 42 | 0.000 % | 97.87/97.96 c =============================================================================== 97.87/97.96 c New solution: 299 97.87/97.96 o 299 97.87/97.96 c Elapsed CPU time: 97.7371 s Remaining CPU time: 82.2629 s 97.87/97.96 c =============================================================================== 97.87/97.96 c | 98 | 54094 257579 546547 | 85859 98 41 | 0.000 % | 97.97/98.05 c | 199 | 54080 257579 546547 | 94445 199 32 | 25.922 % | 98.06/98.13 c | 351 | 54077 257579 546547 | 103890 351 34 | 25.922 % | 98.16/98.24 c =============================================================================== 98.16/98.24 c New solution: 298 98.16/98.24 o 298 98.16/98.24 c Elapsed CPU time: 98.0081 s Remaining CPU time: 81.9919 s 98.16/98.24 c =============================================================================== 98.16/98.24 c | 428 | 53960 257580 546847 | 85860 428 32 | 25.922 % | 98.26/98.31 c | 529 | 53954 257580 546847 | 94446 529 31 | 26.125 % | 98.36/98.42 c | 683 | 53812 257580 546847 | 103890 669 30 | 26.125 % | 98.46/98.50 c =============================================================================== 98.46/98.50 c New solution: 297 98.46/98.50 o 297 98.46/98.50 c Elapsed CPU time: 98.2731 s Remaining CPU time: 81.7269 s 98.46/98.50 c =============================================================================== 98.46/98.50 c | 733 | 53812 257581 547147 | 85860 719 29 | 26.125 % | 98.46/98.57 c | 834 | 53806 257581 547147 | 94446 820 29 | 26.345 % | 98.56/98.66 c | 984 | 53797 257581 547147 | 103891 970 29 | 26.345 % | 98.66/98.78 c | 1209 | 53794 257581 547147 | 114280 1195 30 | 26.345 % | 98.76/98.85 c =============================================================================== 98.76/98.85 c New solution: 296 98.76/98.85 o 296 98.76/98.85 c Elapsed CPU time: 98.617 s Remaining CPU time: 81.383 s 98.76/98.85 c =============================================================================== 98.76/98.85 c | 1225 | 53652 257582 547447 | 85860 1172 30 | 26.345 % | 98.86/98.91 c | 1326 | 53632 257582 547447 | 94446 1273 31 | 26.586 % | 98.96/99.02 c | 1476 | 53631 257582 547447 | 103891 1423 30 | 26.586 % | 98.96/99.10 c =============================================================================== 98.96/99.10 c New solution: 295 98.96/99.10 o 295 98.96/99.10 c Elapsed CPU time: 98.862 s Remaining CPU time: 81.138 s 98.96/99.10 c =============================================================================== 98.96/99.10 c | 1498 | 53476 257583 547747 | 85861 1445 30 | 26.586 % | 99.07/99.19 c | 1598 | 53427 257583 547747 | 94447 1545 31 | 26.846 % | 99.27/99.30 c | 1748 | 53427 257583 547747 | 103891 1695 30 | 26.846 % | 99.27/99.38 c =============================================================================== 99.27/99.38 c New solution: 294 99.27/99.38 o 294 99.27/99.38 c Elapsed CPU time: 99.1429 s Remaining CPU time: 80.8571 s 99.27/99.38 c =============================================================================== 99.27/99.38 c | 1777 | 53287 257584 548047 | 85861 1567 30 | 26.846 % | 99.37/99.43 c | 1877 | 53283 257584 548047 | 94447 1667 29 | 27.122 % | 99.47/99.52 c =============================================================================== 99.47/99.52 c New solution: 293 99.47/99.52 o 293 99.47/99.52 c Elapsed CPU time: 99.2869 s Remaining CPU time: 80.7131 s 99.47/99.52 c =============================================================================== 99.47/99.52 c | 1919 | 53086 257585 548347 | 85861 1709 29 | 27.122 % | 99.57/99.61 c | 2020 | 53083 257585 548347 | 94447 1810 30 | 27.403 % | 99.67/99.72 c =============================================================================== 99.67/99.72 c New solution: 292 99.67/99.72 o 292 99.67/99.72 c Elapsed CPU time: 99.4819 s Remaining CPU time: 80.5181 s 99.67/99.72 c =============================================================================== 99.67/99.72 c | 2070 | 52881 257586 548647 | 85862 1860 30 | 27.403 % | 99.76/99.80 c =============================================================================== 99.76/99.80 c New solution: 291 99.76/99.80 o 291 99.76/99.80 c Elapsed CPU time: 99.5659 s Remaining CPU time: 80.4341 s 99.76/99.80 c =============================================================================== 99.76/99.80 c | 2116 | 52665 257587 548947 | 85862 1906 30 | 27.403 % | 99.86/99.90 c =============================================================================== 99.86/99.90 c New solution: 290 99.86/99.90 o 290 99.86/99.90 c Elapsed CPU time: 99.6588 s Remaining CPU time: 80.3412 s 99.86/99.90 c =============================================================================== 99.86/99.90 c | 2159 | 52440 257588 549247 | 85862 1438 29 | 27.403 % | 99.86/99.99 c | 2259 | 52422 257588 549247 | 94448 1538 29 | 28.341 % | 99.96/100.06 c =============================================================================== 99.96/100.06 c New solution: 289 99.96/100.06 o 289 99.96/100.06 c Elapsed CPU time: 99.8188 s Remaining CPU time: 80.1812 s 99.96/100.06 c =============================================================================== 99.96/100.06 c | 2283 | 52198 257589 549547 | 85863 1562 29 | 28.341 % | 100.07/100.13 c | 2383 | 52197 257589 549547 | 94449 1662 29 | 28.673 % | 100.17/100.24 c =============================================================================== 100.17/100.24 c New solution: 288 100.17/100.24 o 288 100.17/100.24 c Elapsed CPU time: 99.9928 s Remaining CPU time: 80.0072 s 100.17/100.24 c =============================================================================== 100.17/100.24 c | 2472 | 51956 257590 549847 | 85863 1751 29 | 28.673 % | 100.26/100.30 c | 2574 | 51938 257590 549847 | 94449 1853 29 | 29.005 % | 100.26/100.39 c | 2724 | 51714 257590 549847 | 103894 1683 30 | 29.005 % | 100.36/100.47 c =============================================================================== 100.36/100.47 c New solution: 287 100.36/100.47 o 287 100.36/100.47 c Elapsed CPU time: 100.226 s Remaining CPU time: 79.7742 s 100.36/100.47 c =============================================================================== 100.36/100.47 c | 2761 | 51714 257591 550147 | 85863 1720 29 | 29.005 % | 100.46/100.55 c =============================================================================== 100.46/100.55 c New solution: 286 100.46/100.55 o 286 100.46/100.55 c Elapsed CPU time: 100.303 s Remaining CPU time: 79.6972 s 100.46/100.55 c =============================================================================== 100.46/100.55 c | 2813 | 51472 257592 550447 | 85864 1772 29 | 29.005 % | 100.57/100.62 c | 2913 | 51433 257592 550447 | 94450 1872 29 | 29.670 % | 100.67/100.73 c | 3063 | 51433 257592 550447 | 103895 2022 29 | 29.670 % | 100.76/100.83 c =============================================================================== 100.76/100.83 c New solution: 285 100.76/100.83 o 285 100.76/100.83 c Elapsed CPU time: 100.578 s Remaining CPU time: 79.4223 s 100.76/100.83 c =============================================================================== 100.76/100.83 c | 3098 | 51230 257593 550747 | 85864 2057 29 | 29.670 % | 100.76/100.89 c =============================================================================== 100.76/100.89 c New solution: 284 100.76/100.89 o 284 100.76/100.89 c Elapsed CPU time: 100.643 s Remaining CPU time: 79.3573 s 100.76/100.89 c =============================================================================== 100.76/100.89 c | 3103 | 50988 257594 551047 | 85864 1802 29 | 29.670 % | 100.86/100.98 c =============================================================================== 100.86/100.98 c New solution: 283 100.86/100.98 o 283 100.86/100.98 c Elapsed CPU time: 100.733 s Remaining CPU time: 79.2673 s 100.86/100.98 c =============================================================================== 100.86/100.98 c | 3158 | 50746 257595 551347 | 85865 1857 30 | 29.670 % | 100.96/101.05 c | 3261 | 50738 257595 551347 | 94451 1960 30 | 30.666 % | 101.06/101.12 c =============================================================================== 101.06/101.12 c New solution: 282 101.06/101.12 o 282 101.06/101.12 c Elapsed CPU time: 100.867 s Remaining CPU time: 79.1333 s 101.06/101.12 c =============================================================================== 101.06/101.12 c | 3278 | 50504 257596 551647 | 85865 1977 29 | 30.666 % | 101.06/101.19 c =============================================================================== 101.06/101.19 c New solution: 281 101.06/101.19 o 281 101.06/101.19 c Elapsed CPU time: 100.941 s Remaining CPU time: 79.0593 s 101.06/101.19 c =============================================================================== 101.06/101.19 c | 3288 | 50262 257597 551947 | 85865 1987 29 | 30.666 % | 101.17/101.27 c =============================================================================== 101.17/101.27 c New solution: 280 101.17/101.27 o 280 101.17/101.27 c Elapsed CPU time: 101.017 s Remaining CPU time: 78.9834 s 101.17/101.27 c =============================================================================== 101.17/101.27 c | 3319 | 50020 257598 552247 | 85866 2018 29 | 30.666 % | 101.27/101.34 c =============================================================================== 101.27/101.34 c New solution: 279 101.27/101.34 o 279 101.27/101.34 c Elapsed CPU time: 101.093 s Remaining CPU time: 78.9074 s 101.27/101.34 c =============================================================================== 101.27/101.34 c | 3347 | 49778 257599 552547 | 85866 2046 29 | 30.666 % | 101.36/101.42 c | 3449 | 49749 257599 552547 | 94452 2148 31 | 31.995 % | 101.46/101.53 c | 3599 | 49536 257599 552547 | 103898 1617 29 | 31.995 % | 101.56/101.62 c =============================================================================== 101.56/101.62 c New solution: 278 101.56/101.62 o 278 101.56/101.62 c Elapsed CPU time: 101.364 s Remaining CPU time: 78.6364 s 101.56/101.62 c =============================================================================== 101.56/101.62 c | 3645 | 49536 257600 552847 | 85866 1663 29 | 31.995 % | 101.66/101.71 c | 3745 | 49525 257600 552847 | 94453 1763 30 | 32.328 % | 101.76/101.81 c | 3895 | 49521 257600 552847 | 103898 1913 30 | 32.328 % | 101.86/101.91 c =============================================================================== 101.86/101.91 c New solution: 277 101.86/101.91 o 277 101.86/101.91 c Elapsed CPU time: 101.661 s Remaining CPU time: 78.3395 s 101.86/101.91 c =============================================================================== 101.86/101.91 c | 3941 | 49294 257601 553147 | 85867 1959 30 | 32.328 % | 101.86/101.99 c | 4041 | 49052 257601 553147 | 94453 1886 30 | 32.660 % | 101.96/102.09 c | 4191 | 49052 257601 553147 | 103899 2036 29 | 32.660 % | 102.16/102.21 c | 4416 | 49052 257601 553147 | 114288 2261 29 | 32.660 % | 102.37/102.49 c | 4755 | 49052 257601 553147 | 125717 2600 31 | 32.660 % | 102.46/102.58 c =============================================================================== 102.46/102.58 c New solution: 276 102.46/102.58 o 276 102.46/102.58 c Elapsed CPU time: 102.32 s Remaining CPU time: 77.6796 s 102.46/102.58 c =============================================================================== 102.46/102.58 c | 4798 | 49052 257602 553447 | 85867 2643 31 | 32.660 % | 102.56/102.67 c =============================================================================== 102.56/102.67 c New solution: 275 102.56/102.67 o 275 102.56/102.67 c Elapsed CPU time: 102.407 s Remaining CPU time: 77.5926 s 102.56/102.67 c =============================================================================== 102.56/102.67 c | 4863 | 48810 257603 553747 | 85867 2634 31 | 32.660 % | 102.66/102.73 c | 4963 | 48807 257603 553747 | 94454 2734 31 | 33.324 % | 102.76/102.83 c | 5113 | 48786 257603 553747 | 103899 2884 31 | 33.324 % | 102.86/102.94 c | 5340 | 48786 257603 553747 | 114289 3111 30 | 33.324 % | 102.96/103.07 c =============================================================================== 102.96/103.07 c New solution: 274 102.96/103.07 o 274 102.96/103.07 c Elapsed CPU time: 102.813 s Remaining CPU time: 77.1866 s 102.96/103.07 c =============================================================================== 102.96/103.07 c | 5441 | 48568 257604 554047 | 85868 3212 30 | 33.324 % | 103.06/103.14 c | 5541 | 48326 257604 554047 | 94454 2821 28 | 33.656 % | 103.16/103.23 c | 5691 | 48326 257604 554047 | 103900 2971 28 | 33.656 % | 103.26/103.38 c | 5918 | 48326 257604 554047 | 114290 3198 28 | 33.656 % | 103.46/103.58 c | 6256 | 48326 257604 554047 | 125719 3536 28 | 33.657 % | 103.56/103.69 c =============================================================================== 103.56/103.69 c New solution: 273 103.56/103.69 o 273 103.56/103.69 c Elapsed CPU time: 103.42 s Remaining CPU time: 76.5797 s 103.56/103.69 c =============================================================================== 103.56/103.69 c | 6329 | 48326 257605 554347 | 85868 3609 28 | 33.657 % | 103.66/103.77 c =============================================================================== 103.66/103.77 c New solution: 272 103.66/103.77 o 272 103.66/103.77 c Elapsed CPU time: 103.498 s Remaining CPU time: 76.5017 s 103.66/103.77 c =============================================================================== 103.66/103.77 c | 6347 | 48084 257606 554647 | 85868 3502 28 | 33.657 % | 103.76/103.84 c =============================================================================== 103.76/103.84 c New solution: 271 103.76/103.84 o 271 103.76/103.84 c Elapsed CPU time: 103.573 s Remaining CPU time: 76.4267 s 103.76/103.84 c =============================================================================== 103.76/103.84 c | 6378 | 47842 257607 554947 | 85869 3533 28 | 33.657 % | 103.86/103.91 c | 6480 | 47834 257607 554947 | 94455 3635 28 | 34.653 % | 103.86/103.97 c =============================================================================== 103.86/103.97 c New solution: 270 103.86/103.97 o 270 103.86/103.97 c Elapsed CPU time: 103.703 s Remaining CPU time: 76.2968 s 103.86/103.97 c =============================================================================== 103.86/103.97 c | 6484 | 47600 257608 555247 | 85869 3639 28 | 34.653 % | 103.96/104.04 c =============================================================================== 103.96/104.04 c New solution: 269 103.96/104.04 o 269 103.96/104.04 c Elapsed CPU time: 103.766 s Remaining CPU time: 76.2338 s 103.96/104.04 c =============================================================================== 103.96/104.04 c | 6489 | 47358 257609 555547 | 85869 3644 28 | 34.653 % | 104.06/104.10 c =============================================================================== 104.06/104.10 c New solution: 268 104.06/104.10 o 268 104.06/104.10 c Elapsed CPU time: 103.833 s Remaining CPU time: 76.1668 s 104.06/104.10 c =============================================================================== 104.06/104.10 c | 6513 | 47116 257610 555847 | 85870 3668 28 | 34.653 % | 104.06/104.16 c | 6615 | 47107 257610 555847 | 94457 3770 28 | 35.650 % | 104.16/104.27 c | 6765 | 47105 257610 555847 | 103902 3920 28 | 35.650 % | 104.26/104.34 c =============================================================================== 104.26/104.34 c New solution: 267 104.26/104.34 o 267 104.26/104.34 c Elapsed CPU time: 104.068 s Remaining CPU time: 75.9318 s 104.26/104.34 c =============================================================================== 104.26/104.34 c | 6775 | 46874 257611 556147 | 85870 2898 28 | 35.650 % | 104.36/104.41 c =============================================================================== 104.36/104.41 c New solution: 266 104.36/104.41 o 266 104.36/104.41 c Elapsed CPU time: 104.137 s Remaining CPU time: 75.8628 s 104.36/104.41 c =============================================================================== 104.36/104.41 c | 6804 | 46632 257612 556447 | 85870 2927 28 | 35.650 % | 104.36/104.48 c =============================================================================== 104.36/104.48 c New solution: 265 104.36/104.48 o 265 104.36/104.48 c Elapsed CPU time: 104.208 s Remaining CPU time: 75.7918 s 104.36/104.48 c =============================================================================== 104.36/104.48 c | 6828 | 46390 257613 556747 | 85871 2951 28 | 35.650 % | 104.47/104.55 c | 6928 | 46382 257613 556747 | 94458 3051 28 | 36.647 % | 104.57/104.67 c =============================================================================== 104.57/104.67 c New solution: 264 104.57/104.67 o 264 104.57/104.67 c Elapsed CPU time: 104.397 s Remaining CPU time: 75.6029 s 104.57/104.67 c =============================================================================== 104.57/104.67 c | 7011 | 46148 257614 557047 | 85871 3134 28 | 36.647 % | 104.66/104.74 c | 7111 | 46131 257614 557047 | 94458 3234 28 | 36.979 % | 104.76/104.87 c | 7261 | 46127 257614 557047 | 103904 3384 28 | 36.979 % | 104.86/104.98 c =============================================================================== 104.86/104.98 c New solution: 263 104.86/104.98 o 263 104.86/104.98 c Elapsed CPU time: 104.708 s Remaining CPU time: 75.2919 s 104.86/104.98 c =============================================================================== 104.86/104.98 c | 7306 | 45906 257615 557347 | 85871 2865 28 | 36.979 % | 104.96/105.05 c =============================================================================== 104.96/105.05 c New solution: 262 104.96/105.05 o 262 104.96/105.05 c Elapsed CPU time: 104.777 s Remaining CPU time: 75.2229 s 104.96/105.05 c =============================================================================== 104.96/105.05 c | 7314 | 45664 257616 557647 | 85872 2873 28 | 36.979 % | 105.07/105.12 c =============================================================================== 105.07/105.12 c New solution: 261 105.07/105.12 o 261 105.07/105.12 c Elapsed CPU time: 104.843 s Remaining CPU time: 75.1569 s 105.07/105.12 c =============================================================================== 105.07/105.12 c | 7326 | 45422 257617 557947 | 85872 2885 28 | 36.979 % | 105.17/105.20 c | 7426 | 45406 257617 557947 | 94459 2985 28 | 37.975 % | 105.26/105.31 c | 7577 | 45405 257617 557947 | 103905 3136 29 | 37.975 % | 105.36/105.41 c =============================================================================== 105.36/105.41 c New solution: 260 105.36/105.41 o 260 105.36/105.41 c Elapsed CPU time: 105.131 s Remaining CPU time: 74.869 s 105.36/105.41 c =============================================================================== 105.36/105.41 c | 7627 | 45180 257618 558247 | 85872 3186 29 | 37.975 % | 105.36/105.48 c =============================================================================== 105.36/105.48 c New solution: 259 105.36/105.48 o 259 105.36/105.48 c Elapsed CPU time: 105.198 s Remaining CPU time: 74.802 s 105.36/105.48 c =============================================================================== 105.36/105.48 c | 7636 | 44938 257619 558547 | 85873 3195 29 | 37.975 % | 105.46/105.54 c | 7736 | 44696 257619 558547 | 94460 2693 28 | 38.640 % | 105.57/105.62 c =============================================================================== 105.57/105.62 c New solution: 258 105.57/105.62 o 258 105.57/105.62 c Elapsed CPU time: 105.341 s Remaining CPU time: 74.659 s 105.57/105.62 c =============================================================================== 105.57/105.62 c | 7786 | 44696 257620 558847 | 85873 2743 28 | 38.640 % | 105.57/105.69 c | 7886 | 44690 257620 558847 | 94460 2843 29 | 38.972 % | 105.76/105.81 c | 8037 | 44680 257620 558847 | 103906 2994 28 | 38.972 % | 105.86/105.95 c | 8263 | 44675 257620 558847 | 114297 3220 29 | 38.972 % | 105.96/106.02 c =============================================================================== 105.96/106.02 c New solution: 257 105.96/106.02 o 257 105.96/106.02 c Elapsed CPU time: 105.737 s Remaining CPU time: 74.2631 s 105.96/106.02 c =============================================================================== 105.96/106.02 c | 8271 | 44454 257621 559147 | 85873 3069 28 | 38.972 % | 105.96/106.08 c =============================================================================== 105.96/106.08 c New solution: 256 105.96/106.08 o 256 105.96/106.08 c Elapsed CPU time: 105.801 s Remaining CPU time: 74.1991 s 105.96/106.08 c =============================================================================== 105.96/106.08 c | 8277 | 44212 257622 559447 | 85874 3075 28 | 38.972 % | 106.06/106.15 c =============================================================================== 106.06/106.15 c New solution: 255 106.06/106.15 o 255 106.06/106.15 c Elapsed CPU time: 105.872 s Remaining CPU time: 74.1281 s 106.06/106.15 c =============================================================================== 106.06/106.15 c | 8284 | 43970 257623 559747 | 85874 3082 28 | 38.972 % | 106.16/106.23 c | 8385 | 43897 257623 559747 | 94461 3183 28 | 39.969 % | 106.26/106.33 c | 8536 | 43897 257623 559747 | 103907 3334 28 | 39.969 % | 106.26/106.39 c =============================================================================== 106.26/106.39 c New solution: 254 106.26/106.39 o 254 106.26/106.39 c Elapsed CPU time: 106.103 s Remaining CPU time: 73.8971 s 106.26/106.39 c =============================================================================== 106.26/106.39 c | 8551 | 43728 257624 560047 | 85874 3349 28 | 39.969 % | 106.36/106.46 c =============================================================================== 106.36/106.46 c New solution: 253 106.36/106.46 o 253 106.36/106.46 c Elapsed CPU time: 106.18 s Remaining CPU time: 73.8201 s 106.36/106.46 c =============================================================================== 106.36/106.46 c | 8599 | 43486 257625 560347 | 85875 3397 28 | 39.969 % | 106.46/106.55 c | 8700 | 43472 257625 560347 | 94462 3498 28 | 40.633 % | 106.56/106.65 c | 8851 | 43472 257625 560347 | 103908 3649 28 | 40.633 % | 106.76/106.82 c | 9076 | 43244 257625 560347 | 114299 2942 29 | 40.633 % | 106.76/106.88 c =============================================================================== 106.76/106.88 c New solution: 252 106.76/106.88 o 252 106.76/106.88 c Elapsed CPU time: 106.592 s Remaining CPU time: 73.4082 s 106.76/106.88 c =============================================================================== 106.76/106.88 c | 9089 | 43244 257626 560647 | 85875 2955 29 | 40.633 % | 106.86/106.94 c =============================================================================== 106.86/106.94 c New solution: 251 106.86/106.94 o 251 106.86/106.94 c Elapsed CPU time: 106.654 s Remaining CPU time: 73.3462 s 106.86/106.94 c =============================================================================== 106.86/106.94 c | 9104 | 43002 257627 560947 | 85875 2970 29 | 40.633 % | 106.96/107.01 c =============================================================================== 106.96/107.01 c New solution: 250 106.96/107.01 o 250 106.96/107.01 c Elapsed CPU time: 106.727 s Remaining CPU time: 73.2732 s 106.96/107.01 c =============================================================================== 106.96/107.01 c | 9125 | 42760 257628 561247 | 85876 2991 29 | 40.633 % | 106.96/107.09 c =============================================================================== 106.96/107.09 c New solution: 249 106.96/107.09 o 249 106.96/107.09 c Elapsed CPU time: 106.801 s Remaining CPU time: 73.1992 s 106.96/107.09 c =============================================================================== 106.96/107.09 c | 9165 | 42518 257629 561547 | 85876 3031 29 | 40.633 % | 107.06/107.16 c | 9265 | 42512 257629 561547 | 94463 3131 29 | 41.962 % | 107.16/107.27 c =============================================================================== 107.16/107.27 c New solution: 248 107.16/107.27 o 248 107.16/107.27 c Elapsed CPU time: 106.979 s Remaining CPU time: 73.0213 s 107.16/107.27 c =============================================================================== 107.16/107.27 c | 9407 | 42276 257630 561847 | 85876 3273 29 | 41.962 % | 107.26/107.34 c | 9507 | 42034 257630 561847 | 94464 2496 29 | 42.294 % | 107.36/107.46 c | 9658 | 42034 257630 561847 | 103910 2647 29 | 42.294 % | 107.46/107.53 c =============================================================================== 107.46/107.53 c New solution: 247 107.46/107.53 o 247 107.46/107.53 c Elapsed CPU time: 107.242 s Remaining CPU time: 72.7583 s 107.46/107.53 c =============================================================================== 107.46/107.53 c | 9667 | 42034 257631 562147 | 85877 2656 29 | 42.294 % | 107.56/107.60 c =============================================================================== 107.56/107.60 c New solution: 246 107.56/107.60 o 246 107.56/107.60 c Elapsed CPU time: 107.313 s Remaining CPU time: 72.6873 s 107.56/107.60 c =============================================================================== 107.56/107.60 c | 9676 | 41792 257632 562447 | 85877 2665 29 | 42.294 % | 107.56/107.67 c =============================================================================== 107.56/107.67 c New solution: 245 107.56/107.67 o 245 107.56/107.67 c Elapsed CPU time: 107.38 s Remaining CPU time: 72.6203 s 107.56/107.67 c =============================================================================== 107.56/107.67 c | 9680 | 41550 257633 562747 | 85877 2669 29 | 42.294 % | 107.66/107.75 c =============================================================================== 107.66/107.75 c New solution: 244 107.66/107.75 o 244 107.66/107.75 c Elapsed CPU time: 107.454 s Remaining CPU time: 72.5463 s 107.66/107.75 c =============================================================================== 107.66/107.75 c | 9724 | 41308 257634 563047 | 85878 2713 29 | 42.294 % | 107.77/107.83 c | 9824 | 41306 257634 563047 | 94465 2813 29 | 43.623 % | 107.87/107.94 c =============================================================================== 107.87/107.94 c New solution: 243 107.87/107.94 o 243 107.87/107.94 c Elapsed CPU time: 107.647 s Remaining CPU time: 72.3534 s 107.87/107.94 c =============================================================================== 107.87/107.94 c | 9916 | 41066 257635 563347 | 85878 2905 29 | 43.623 % | 107.96/108.05 c =============================================================================== 107.96/108.05 c New solution: 242 107.96/108.05 o 242 107.96/108.05 c Elapsed CPU time: 107.756 s Remaining CPU time: 72.2444 s 107.96/108.05 c =============================================================================== 107.96/108.05 c | 9984 | 40824 257636 563647 | 85878 2427 29 | 43.623 % | 108.06/108.11 c =============================================================================== 108.06/108.11 c New solution: 241 108.06/108.11 o 241 108.06/108.11 c Elapsed CPU time: 107.82 s Remaining CPU time: 72.1804 s 108.06/108.11 c =============================================================================== 108.06/108.11 c | 10000 | 40582 257637 563947 | 85879 2443 29 | 43.623 % | 108.16/108.20 c =============================================================================== 108.16/108.20 c New solution: 240 108.16/108.20 o 240 108.16/108.20 c Elapsed CPU time: 107.905 s Remaining CPU time: 72.0954 s 108.16/108.20 c =============================================================================== 108.16/108.20 c | 10037 | 40340 257638 564247 | 85879 2480 29 | 43.623 % | 108.16/108.26 c | 10137 | 40326 257638 564247 | 94467 2580 29 | 44.952 % | 108.26/108.37 c | 10287 | 40322 257638 564247 | 103913 2730 29 | 44.952 % | 108.36/108.42 c =============================================================================== 108.36/108.42 c New solution: 239 108.36/108.42 o 239 108.36/108.42 c Elapsed CPU time: 108.129 s Remaining CPU time: 71.8714 s 108.36/108.42 c =============================================================================== 108.36/108.42 c | 10296 | 40098 257639 564547 | 85879 2739 29 | 44.952 % | 108.36/108.48 c | 10397 | 40070 257639 564547 | 94467 2840 29 | 45.284 % | 108.46/108.59 c | 10548 | 40069 257639 564547 | 103914 2991 29 | 45.284 % | 108.56/108.67 c =============================================================================== 108.56/108.67 c New solution: 238 108.56/108.67 o 238 108.56/108.67 c Elapsed CPU time: 108.378 s Remaining CPU time: 71.6225 s 108.56/108.67 c =============================================================================== 108.56/108.67 c | 10577 | 39856 257640 564847 | 85880 2593 28 | 45.284 % | 108.66/108.74 c =============================================================================== 108.66/108.74 c New solution: 237 108.66/108.74 o 237 108.66/108.74 c Elapsed CPU time: 108.447 s Remaining CPU time: 71.5535 s 108.66/108.74 c =============================================================================== 108.66/108.74 c | 10618 | 39614 257641 565147 | 85880 2634 28 | 45.284 % | 108.76/108.80 c | 10719 | 39594 257641 565147 | 94468 2735 28 | 45.949 % | 108.86/108.91 c | 10869 | 39594 257641 565147 | 103915 2885 28 | 45.949 % | 108.86/108.97 c =============================================================================== 108.86/108.97 c New solution: 236 108.86/108.97 o 236 108.86/108.97 c Elapsed CPU time: 108.676 s Remaining CPU time: 71.3235 s 108.86/108.97 c =============================================================================== 108.86/108.97 c | 10880 | 39372 257642 565447 | 85880 2896 28 | 45.949 % | 108.96/109.04 c =============================================================================== 108.96/109.04 c New solution: 235 108.96/109.04 o 235 108.96/109.04 c Elapsed CPU time: 108.744 s Remaining CPU time: 71.2555 s 108.96/109.04 c =============================================================================== 108.96/109.04 c | 10896 | 39130 257643 565747 | 85881 2912 28 | 45.949 % | 109.06/109.12 c | 10998 | 39124 257643 565747 | 94469 3014 28 | 46.613 % | 109.16/109.22 c =============================================================================== 109.16/109.22 c New solution: 234 109.16/109.22 o 234 109.16/109.22 c Elapsed CPU time: 108.926 s Remaining CPU time: 71.0736 s 109.16/109.22 c =============================================================================== 109.16/109.22 c | 11062 | 38888 257644 566047 | 85881 3078 28 | 46.613 % | 109.16/109.29 c =============================================================================== 109.16/109.29 c New solution: 233 109.16/109.29 o 233 109.16/109.29 c Elapsed CPU time: 108.988 s Remaining CPU time: 71.0116 s 109.16/109.29 c =============================================================================== 109.16/109.29 c | 11074 | 38646 257645 566347 | 85881 2352 28 | 46.613 % | 109.26/109.36 c | 11174 | 38635 257645 566347 | 94469 2452 29 | 47.278 % | 109.36/109.44 c =============================================================================== 109.36/109.44 c New solution: 232 109.36/109.44 o 232 109.36/109.44 c Elapsed CPU time: 109.137 s Remaining CPU time: 70.8626 s 109.36/109.44 c =============================================================================== 109.36/109.44 c | 11217 | 38404 257646 566647 | 85882 2495 29 | 47.278 % | 109.46/109.50 c =============================================================================== 109.46/109.50 c New solution: 231 109.46/109.50 o 231 109.46/109.50 c Elapsed CPU time: 109.201 s Remaining CPU time: 70.7986 s 109.46/109.50 c =============================================================================== 109.46/109.50 c | 11230 | 38162 257647 566947 | 85882 2508 29 | 47.278 % | 109.46/109.57 c | 11330 | 38130 257647 566947 | 94470 2608 29 | 47.942 % | 109.56/109.68 c | 11480 | 38128 257647 566947 | 103917 2758 29 | 47.942 % | 109.76/109.84 c | 11705 | 38122 257647 566947 | 114309 2983 31 | 47.942 % | 109.97/110.08 c | 12042 | 37920 257647 566947 | 125740 3063 31 | 47.942 % | 110.07/110.14 c =============================================================================== 110.07/110.14 c New solution: 230 110.07/110.14 o 230 110.07/110.14 c Elapsed CPU time: 109.838 s Remaining CPU time: 70.1617 s 110.07/110.14 c =============================================================================== 110.07/110.14 c | 12069 | 37920 257648 567247 | 85882 3090 30 | 47.942 % | 110.16/110.20 c =============================================================================== 110.16/110.20 c New solution: 229 110.16/110.20 o 229 110.16/110.20 c Elapsed CPU time: 109.897 s Remaining CPU time: 70.1027 s 110.16/110.20 c =============================================================================== 110.16/110.20 c | 12081 | 37678 257649 567547 | 85883 3102 30 | 47.942 % | 110.16/110.28 c =============================================================================== 110.16/110.28 c New solution: 228 110.16/110.28 o 228 110.16/110.28 c Elapsed CPU time: 109.973 s Remaining CPU time: 70.0267 s 110.16/110.28 c =============================================================================== 110.16/110.28 c | 12114 | 37436 257650 567847 | 85883 3135 30 | 47.942 % | 110.26/110.34 c | 12215 | 37369 257650 567847 | 94471 3236 30 | 48.939 % | 110.36/110.42 c | 12365 | 37369 257650 567847 | 103918 3386 30 | 48.939 % | 110.46/110.55 c | 12590 | 37194 257650 567847 | 114310 3191 30 | 48.939 % | 110.76/110.82 c | 12927 | 37194 257650 567847 | 125741 3528 31 | 48.939 % | 110.96/111.02 c =============================================================================== 110.96/111.02 c New solution: 227 110.96/111.02 o 227 110.96/111.02 c Elapsed CPU time: 110.713 s Remaining CPU time: 69.2868 s 110.96/111.02 c =============================================================================== 110.96/111.02 c | 13402 | 37194 257651 568147 | 85883 4003 32 | 48.939 % | 111.07/111.10 c | 13503 | 36952 257651 568147 | 94472 3918 32 | 49.271 % | 111.17/111.21 c | 13654 | 36952 257651 568147 | 103919 4069 32 | 49.271 % | 111.17/111.28 c =============================================================================== 111.17/111.28 c New solution: 226 111.17/111.28 o 226 111.17/111.28 c Elapsed CPU time: 110.97 s Remaining CPU time: 69.0299 s 111.17/111.28 c =============================================================================== 111.17/111.28 c | 13677 | 36952 257652 568447 | 85884 4092 32 | 49.271 % | 111.26/111.35 c =============================================================================== 111.26/111.35 c New solution: 225 111.26/111.35 o 225 111.26/111.35 c Elapsed CPU time: 111.034 s Remaining CPU time: 68.9659 s 111.26/111.35 c =============================================================================== 111.26/111.35 c | 13695 | 36710 257653 568747 | 85884 4110 32 | 49.271 % | 111.36/111.42 c | 13795 | 36676 257653 568747 | 94472 4210 32 | 49.936 % | 111.36/111.50 c | 13945 | 36674 257653 568747 | 103920 4360 32 | 49.935 % | 111.56/111.65 c | 14170 | 36674 257653 568747 | 114312 4585 32 | 49.936 % | 111.86/111.93 c | 14508 | 36468 257653 568747 | 125743 4465 31 | 49.936 % | 111.86/111.99 c =============================================================================== 111.86/111.99 c New solution: 224 111.86/111.99 o 224 111.86/111.99 c Elapsed CPU time: 111.678 s Remaining CPU time: 68.322 s 111.86/111.99 c =============================================================================== 111.86/111.99 c | 14525 | 36468 257654 569047 | 85884 4482 31 | 49.936 % | 111.96/112.05 c | 14625 | 36410 257654 569047 | 94473 4582 31 | 50.268 % | 112.06/112.15 c | 14776 | 36410 257654 569047 | 103920 4733 31 | 50.268 % | 112.16/112.23 c =============================================================================== 112.16/112.23 c New solution: 223 112.16/112.23 o 223 112.16/112.23 c Elapsed CPU time: 111.911 s Remaining CPU time: 68.089 s 112.16/112.23 c =============================================================================== 112.16/112.23 c | 14807 | 36226 257655 569347 | 85885 4764 31 | 50.268 % | 112.16/112.29 c | 14907 | 35984 257655 569347 | 94473 4392 31 | 50.600 % | 112.26/112.38 c =============================================================================== 112.26/112.38 c New solution: 222 112.26/112.38 o 222 112.26/112.38 c Elapsed CPU time: 112.069 s Remaining CPU time: 67.931 s 112.26/112.38 c =============================================================================== 112.26/112.38 c | 14965 | 35984 257656 569647 | 85885 4450 30 | 50.600 % | 112.36/112.44 c | 15065 | 35954 257656 569647 | 94473 4550 31 | 50.932 % | 112.45/112.55 c | 15215 | 35953 257656 569647 | 103921 4700 31 | 50.932 % | 112.65/112.71 c | 15440 | 35952 257656 569647 | 114313 4925 31 | 50.932 % | 112.65/112.77 c =============================================================================== 112.65/112.77 c New solution: 221 112.65/112.77 o 221 112.65/112.77 c Elapsed CPU time: 112.456 s Remaining CPU time: 67.5441 s 112.65/112.77 c =============================================================================== 112.65/112.77 c | 15454 | 35742 257657 569947 | 85885 4939 31 | 50.932 % | 112.75/112.83 c =============================================================================== 112.75/112.83 c New solution: 220 112.75/112.83 o 220 112.75/112.83 c Elapsed CPU time: 112.518 s Remaining CPU time: 67.4821 s 112.75/112.83 c =============================================================================== 112.75/112.83 c | 15477 | 35500 257658 570247 | 85886 4962 31 | 50.932 % | 112.85/112.94 c =============================================================================== 112.85/112.94 c New solution: 219 112.85/112.94 o 219 112.85/112.94 c Elapsed CPU time: 112.622 s Remaining CPU time: 67.3781 s 112.85/112.94 c =============================================================================== 112.85/112.94 c | 15574 | 35258 257659 570547 | 85886 4285 30 | 50.932 % | 112.95/113.03 c =============================================================================== 112.95/113.03 c New solution: 218 112.95/113.03 o 218 112.95/113.03 c Elapsed CPU time: 112.718 s Remaining CPU time: 67.2821 s 112.95/113.03 c =============================================================================== 112.95/113.03 c | 15639 | 35016 257660 570847 | 85886 4350 30 | 50.932 % | 113.05/113.10 c =============================================================================== 113.05/113.10 c New solution: 217 113.05/113.10 o 217 113.05/113.10 c Elapsed CPU time: 112.782 s Remaining CPU time: 67.2181 s 113.05/113.10 c =============================================================================== 113.05/113.10 c | 15647 | 34774 257661 571147 | 85887 4358 30 | 50.932 % | 113.05/113.16 c =============================================================================== 113.05/113.16 c New solution: 216 113.05/113.16 o 216 113.05/113.16 c Elapsed CPU time: 112.841 s Remaining CPU time: 67.1592 s 113.05/113.16 c =============================================================================== 113.05/113.16 c | 15663 | 34532 257662 571447 | 85887 4374 30 | 50.932 % | 113.15/113.22 c | 15764 | 34457 257662 571447 | 94476 4475 30 | 52.926 % | 113.15/113.29 c | 15914 | 34457 257662 571447 | 103923 4625 31 | 52.926 % | 113.37/113.46 c | 16139 | 34457 257662 571447 | 114316 4850 31 | 52.937 % | 113.46/113.56 c =============================================================================== 113.46/113.56 c New solution: 215 113.46/113.56 o 215 113.46/113.56 c Elapsed CPU time: 113.245 s Remaining CPU time: 66.7552 s 113.46/113.56 c =============================================================================== 113.46/113.56 c | 16184 | 34282 257663 571747 | 85887 4019 31 | 52.937 % | 113.56/113.63 c =============================================================================== 113.56/113.63 c New solution: 214 113.56/113.63 o 214 113.56/113.63 c Elapsed CPU time: 113.312 s Remaining CPU time: 66.6882 s 113.56/113.63 c =============================================================================== 113.56/113.63 c | 16220 | 34044 257664 572047 | 85888 4055 31 | 52.937 % | 113.66/113.70 c | 16323 | 34042 257664 572047 | 94476 4158 31 | 53.590 % | 113.66/113.79 c =============================================================================== 113.66/113.79 c New solution: 213 113.66/113.79 o 213 113.66/113.79 c Elapsed CPU time: 113.472 s Remaining CPU time: 66.5283 s 113.66/113.79 c =============================================================================== 113.66/113.79 c | 16426 | 33806 257665 572347 | 85888 4261 31 | 53.590 % | 113.76/113.87 c | 16526 | 33803 257665 572347 | 94477 4361 31 | 53.922 % | 113.96/114.02 c | 16676 | 33794 257665 572347 | 103924 4511 31 | 53.922 % | 113.96/114.08 c =============================================================================== 113.96/114.08 c New solution: 212 113.96/114.08 o 212 113.96/114.08 c Elapsed CPU time: 113.762 s Remaining CPU time: 66.2383 s 113.96/114.08 c =============================================================================== 113.96/114.08 c | 16703 | 33564 257666 572647 | 85888 4538 31 | 53.922 % | 114.06/114.14 c =============================================================================== 114.06/114.14 c New solution: 211 114.06/114.14 o 211 114.06/114.14 c Elapsed CPU time: 113.821 s Remaining CPU time: 66.1793 s 114.06/114.14 c =============================================================================== 114.06/114.14 c | 16714 | 33322 257667 572947 | 85889 4549 31 | 53.922 % | 114.16/114.22 c =============================================================================== 114.16/114.22 c New solution: 210 114.16/114.22 o 210 114.16/114.22 c Elapsed CPU time: 113.899 s Remaining CPU time: 66.1013 s 114.16/114.22 c =============================================================================== 114.16/114.22 c | 16763 | 33080 257668 573247 | 85889 3902 30 | 53.922 % | 114.26/114.30 c =============================================================================== 114.26/114.30 c New solution: 209 114.26/114.30 o 209 114.26/114.30 c Elapsed CPU time: 113.981 s Remaining CPU time: 66.0193 s 114.26/114.30 c =============================================================================== 114.26/114.30 c | 16811 | 32838 257669 573547 | 85889 3950 30 | 53.922 % | 114.26/114.37 c =============================================================================== 114.26/114.37 c New solution: 208 114.26/114.37 o 208 114.26/114.37 c Elapsed CPU time: 114.043 s Remaining CPU time: 65.9573 s 114.26/114.37 c =============================================================================== 114.26/114.37 c | 16817 | 32596 257670 573847 | 85890 3956 30 | 53.922 % | 114.36/114.44 c | 16917 | 32569 257670 573847 | 94479 4056 30 | 55.583 % | 114.47/114.54 c | 17067 | 32567 257670 573847 | 103926 4206 30 | 55.583 % | 114.56/114.61 c =============================================================================== 114.56/114.61 c New solution: 207 114.56/114.61 o 207 114.56/114.61 c Elapsed CPU time: 114.283 s Remaining CPU time: 65.7174 s 114.56/114.61 c =============================================================================== 114.56/114.61 c | 17094 | 32354 257671 574147 | 85890 4233 30 | 55.583 % | 114.56/114.66 c =============================================================================== 114.56/114.66 c New solution: 206 114.56/114.66 o 206 114.56/114.66 c Elapsed CPU time: 114.339 s Remaining CPU time: 65.6614 s 114.56/114.66 c =============================================================================== 114.56/114.66 c | 17106 | 32112 257672 574447 | 85890 4245 30 | 55.583 % | 114.66/114.73 c | 17206 | 32103 257672 574447 | 94479 4345 30 | 56.248 % | 114.76/114.84 c | 17358 | 32100 257672 574447 | 103927 4497 30 | 56.248 % | 114.86/114.90 c =============================================================================== 114.86/114.90 c New solution: 205 114.86/114.90 o 205 114.86/114.90 c Elapsed CPU time: 114.572 s Remaining CPU time: 65.4284 s 114.86/114.90 c =============================================================================== 114.86/114.90 c | 17369 | 31870 257673 574747 | 85891 3872 31 | 56.248 % | 114.86/114.95 c =============================================================================== 114.86/114.95 c New solution: 204 114.86/114.95 o 204 114.86/114.95 c Elapsed CPU time: 114.624 s Remaining CPU time: 65.3764 s 114.86/114.95 c =============================================================================== 114.86/114.95 c | 17381 | 31628 257674 575047 | 85891 3884 31 | 56.248 % | 114.95/115.01 c =============================================================================== 114.95/115.01 c New solution: 203 114.95/115.01 o 203 114.95/115.01 c Elapsed CPU time: 114.686 s Remaining CPU time: 65.3144 s 114.95/115.01 c =============================================================================== 114.95/115.01 c | 17393 | 31386 257675 575347 | 85891 3896 31 | 56.248 % | 114.95/115.08 c =============================================================================== 114.95/115.08 c New solution: 202 114.95/115.08 o 202 114.95/115.08 c Elapsed CPU time: 114.752 s Remaining CPU time: 65.2484 s 114.95/115.08 c =============================================================================== 114.95/115.08 c | 17414 | 31144 257676 575647 | 85892 3917 30 | 56.248 % | 115.06/115.14 c | 17514 | 31143 257676 575647 | 94481 4017 30 | 57.577 % | 115.16/115.22 c | 17667 | 31094 257676 575647 | 103929 4170 31 | 57.577 % | 115.26/115.36 c | 17892 | 31094 257676 575647 | 114322 4395 31 | 57.577 % | 115.46/115.50 c =============================================================================== 115.46/115.50 c New solution: 201 115.46/115.50 o 201 115.46/115.50 c Elapsed CPU time: 115.168 s Remaining CPU time: 64.8315 s 115.46/115.50 c =============================================================================== 115.46/115.50 c | 18144 | 30902 257677 575947 | 85892 4647 30 | 57.577 % | 115.46/115.59 c | 18246 | 30660 257677 575947 | 94481 3870 29 | 57.909 % | 115.57/115.65 c =============================================================================== 115.57/115.65 c New solution: 200 115.57/115.65 o 200 115.57/115.65 c Elapsed CPU time: 115.308 s Remaining CPU time: 64.6915 s 115.57/115.65 c =============================================================================== 115.57/115.65 c | 18257 | 30660 257678 576247 | 85892 3881 29 | 57.909 % | 115.66/115.74 c =============================================================================== 115.66/115.74 c New solution: 199 115.66/115.74 o 199 115.66/115.74 c Elapsed CPU time: 115.393 s Remaining CPU time: 64.6065 s 115.66/115.74 c =============================================================================== 115.66/115.74 c | 18342 | 30418 257679 576547 | 85893 3966 30 | 57.909 % | 115.76/115.81 c | 18442 | 30411 257679 576547 | 94482 4066 30 | 58.573 % | 115.86/115.92 c =============================================================================== 115.86/115.92 c New solution: 198 115.86/115.92 o 198 115.86/115.92 c Elapsed CPU time: 115.577 s Remaining CPU time: 64.4226 s 115.86/115.92 c =============================================================================== 115.86/115.92 c | 18523 | 30176 257680 576847 | 85893 4147 30 | 58.573 % | 115.96/116.02 c =============================================================================== 115.96/116.02 c New solution: 197 115.96/116.02 o 197 115.96/116.02 c Elapsed CPU time: 115.678 s Remaining CPU time: 64.3216 s 115.96/116.02 c =============================================================================== 115.96/116.02 c | 18608 | 29934 257681 577147 | 85893 4232 30 | 58.573 % | 115.96/116.08 c =============================================================================== 115.96/116.08 c New solution: 196 115.96/116.08 o 196 115.96/116.08 c Elapsed CPU time: 115.731 s Remaining CPU time: 64.2686 s 115.96/116.08 c =============================================================================== 115.96/116.08 c | 18614 | 29692 257682 577447 | 85894 4238 30 | 58.573 % | 116.06/116.13 c =============================================================================== 116.06/116.13 c New solution: 195 116.06/116.13 o 195 116.06/116.13 c Elapsed CPU time: 115.787 s Remaining CPU time: 64.2126 s 116.06/116.13 c =============================================================================== 116.06/116.13 c | 18628 | 29450 257683 577747 | 85894 4252 30 | 58.573 % | 116.06/116.19 c | 18728 | 29439 257683 577747 | 94483 4352 30 | 59.902 % | 116.26/116.32 c | 18879 | 29208 257683 577747 | 103932 3782 30 | 59.902 % | 116.26/116.38 c =============================================================================== 116.26/116.38 c New solution: 194 116.26/116.38 o 194 116.26/116.38 c Elapsed CPU time: 116.028 s Remaining CPU time: 63.9716 s 116.26/116.38 c =============================================================================== 116.26/116.38 c | 18896 | 29208 257684 578047 | 85894 3799 30 | 59.902 % | 116.35/116.44 c | 18997 | 29173 257684 578047 | 94484 3900 30 | 60.234 % | 116.46/116.55 c | 19147 | 29172 257684 578047 | 103932 4050 30 | 60.234 % | 116.57/116.69 c | 19372 | 29166 257684 578047 | 114325 4275 30 | 60.234 % | 116.86/116.95 c | 19709 | 29166 257684 578047 | 125758 4612 31 | 60.234 % | 116.96/117.06 c =============================================================================== 116.96/117.06 c New solution: 193 116.96/117.06 o 193 116.96/117.06 c Elapsed CPU time: 116.71 s Remaining CPU time: 63.2897 s 116.96/117.06 c =============================================================================== 116.96/117.06 c | 19807 | 28966 257685 578347 | 85895 4534 31 | 60.234 % | 117.06/117.13 c =============================================================================== 117.06/117.13 c New solution: 192 117.06/117.13 o 192 117.06/117.13 c Elapsed CPU time: 116.779 s Remaining CPU time: 63.2208 s 117.06/117.13 c =============================================================================== 117.06/117.13 c | 19849 | 28724 257686 578647 | 85895 4576 30 | 60.234 % | 117.06/117.19 c =============================================================================== 117.06/117.19 c New solution: 191 117.06/117.19 o 191 117.06/117.19 c Elapsed CPU time: 116.831 s Remaining CPU time: 63.1688 s 117.06/117.19 c =============================================================================== 117.06/117.19 c | 19861 | 28482 257687 578947 | 85895 4588 30 | 60.234 % | 117.16/117.26 c | 19961 | 28469 257687 578947 | 94485 4688 30 | 61.231 % | 117.26/117.38 c =============================================================================== 117.26/117.38 c New solution: 190 117.26/117.38 o 190 117.26/117.38 c Elapsed CPU time: 117.026 s Remaining CPU time: 62.9738 s 117.26/117.38 c =============================================================================== 117.26/117.38 c | 20090 | 28240 257688 579247 | 85896 4817 30 | 61.231 % | 117.36/117.44 c | 20193 | 28218 257688 579247 | 94485 4920 31 | 61.563 % | 117.46/117.56 c | 20343 | 28216 257688 579247 | 103934 5070 31 | 61.563 % | 117.56/117.64 c =============================================================================== 117.56/117.64 c New solution: 189 117.56/117.64 o 189 117.56/117.64 c Elapsed CPU time: 117.287 s Remaining CPU time: 62.7128 s 117.56/117.64 c =============================================================================== 117.56/117.64 c | 20387 | 27998 257689 579547 | 85896 5114 30 | 61.563 % | 117.66/117.71 c =============================================================================== 117.66/117.71 c New solution: 188 117.66/117.71 o 188 117.66/117.71 c Elapsed CPU time: 117.354 s Remaining CPU time: 62.6458 s 117.66/117.71 c =============================================================================== 117.66/117.71 c | 20429 | 27756 257690 579847 | 85896 4014 30 | 61.563 % | 117.66/117.77 c | 20530 | 27704 257690 579847 | 94486 4115 30 | 62.228 % | 117.76/117.85 c | 20681 | 27703 257690 579847 | 103934 4266 30 | 62.228 % | 117.96/118.02 c | 20907 | 27700 257690 579847 | 114328 4492 30 | 62.228 % | 117.96/118.08 c =============================================================================== 117.96/118.08 c New solution: 187 117.96/118.08 o 187 117.96/118.08 c Elapsed CPU time: 117.726 s Remaining CPU time: 62.2739 s 117.96/118.08 c =============================================================================== 117.96/118.08 c | 20945 | 27514 257691 580147 | 85897 4530 30 | 62.228 % | 118.05/118.17 c | 21045 | 27513 257691 580147 | 94486 4630 30 | 62.560 % | 118.15/118.28 c | 21196 | 27505 257691 580147 | 103935 4781 30 | 62.560 % | 118.35/118.41 c | 21423 | 27272 257691 580147 | 114328 4628 30 | 62.560 % | 118.55/118.67 c | 21760 | 27272 257691 580147 | 125761 4965 31 | 62.560 % | 118.66/118.73 c =============================================================================== 118.66/118.73 c New solution: 186 118.66/118.73 o 186 118.66/118.73 c Elapsed CPU time: 118.371 s Remaining CPU time: 61.629 s 118.66/118.73 c =============================================================================== 118.66/118.73 c | 21785 | 27272 257692 580447 | 85897 4990 31 | 62.560 % | 118.66/118.79 c =============================================================================== 118.66/118.79 c New solution: 185 118.66/118.79 o 185 118.66/118.79 c Elapsed CPU time: 118.43 s Remaining CPU time: 61.57 s 118.66/118.79 c =============================================================================== 118.66/118.79 c | 21805 | 27030 257693 580747 | 85897 5010 31 | 62.560 % | 118.77/118.86 c | 21906 | 27023 257693 580747 | 94487 5111 31 | 63.225 % | 118.87/118.92 c =============================================================================== 118.87/118.92 c New solution: 184 118.87/118.92 o 184 118.87/118.92 c Elapsed CPU time: 118.563 s Remaining CPU time: 61.437 s 118.87/118.92 c =============================================================================== 118.87/118.92 c | 21926 | 26788 257694 581047 | 85898 5131 31 | 63.225 % | 118.87/118.97 c =============================================================================== 118.87/118.97 c New solution: 183 118.87/118.97 o 183 118.87/118.97 c Elapsed CPU time: 118.615 s Remaining CPU time: 61.385 s 118.87/118.97 c =============================================================================== 118.87/118.97 c | 21942 | 26546 257695 581347 | 85898 5147 31 | 63.225 % | 118.96/119.05 c =============================================================================== 118.96/119.05 c New solution: 182 118.96/119.05 o 182 118.96/119.05 c Elapsed CPU time: 118.69 s Remaining CPU time: 61.31 s 118.96/119.05 c =============================================================================== 118.96/119.05 c | 22006 | 26304 257696 581647 | 85898 5211 30 | 63.225 % | 119.06/119.12 c | 22106 | 26062 257696 581647 | 94488 4107 30 | 64.221 % | 119.16/119.20 c | 22256 | 26062 257696 581647 | 103937 4257 30 | 64.221 % | 119.26/119.36 c | 22482 | 26062 257696 581647 | 114331 4483 31 | 64.221 % | 119.36/119.43 c =============================================================================== 119.36/119.43 c New solution: 181 119.36/119.43 o 181 119.36/119.43 c Elapsed CPU time: 119.069 s Remaining CPU time: 60.9311 s 119.36/119.43 c =============================================================================== 119.36/119.43 c | 22539 | 26062 257697 581947 | 85899 4540 30 | 64.221 % | 119.36/119.49 c | 22639 | 26061 257697 581947 | 94488 4640 30 | 64.553 % | 119.46/119.59 c =============================================================================== 119.46/119.59 c New solution: 180 119.46/119.59 o 180 119.46/119.59 c Elapsed CPU time: 119.224 s Remaining CPU time: 60.7761 s 119.46/119.59 c =============================================================================== 119.46/119.59 c | 22719 | 25820 257698 582247 | 85899 4720 30 | 64.553 % | 119.55/119.64 c =============================================================================== 119.55/119.64 c New solution: 179 119.55/119.64 o 179 119.55/119.64 c Elapsed CPU time: 119.278 s Remaining CPU time: 60.7221 s 119.55/119.64 c =============================================================================== 119.55/119.64 c | 22730 | 25578 257699 582547 | 85899 4731 30 | 64.553 % | 119.65/119.70 c | 22830 | 25568 257699 582547 | 94489 4831 30 | 65.218 % | 119.75/119.80 c | 22980 | 25565 257699 582547 | 103938 4981 30 | 65.218 % | 119.86/119.99 c =============================================================================== 119.86/119.99 c New solution: 178 119.86/119.99 o 178 119.86/119.99 c Elapsed CPU time: 119.626 s Remaining CPU time: 60.3742 s 119.86/119.99 c =============================================================================== 119.86/119.99 c | 23162 | 25336 257700 582847 | 85900 4550 30 | 65.218 % | 120.05/120.11 c | 23262 | 25328 257700 582847 | 94490 4650 31 | 65.550 % | 120.15/120.21 c | 23414 | 25320 257700 582847 | 103939 4802 32 | 65.550 % | 120.25/120.36 c | 23639 | 25313 257700 582847 | 114332 5027 32 | 65.632 % | 120.45/120.51 c =============================================================================== 120.45/120.51 c New solution: 177 120.45/120.51 o 177 120.45/120.51 c Elapsed CPU time: 120.141 s Remaining CPU time: 59.8593 s 120.45/120.51 c =============================================================================== 120.45/120.51 c | 23792 | 25034 257701 583147 | 85900 5180 32 | 65.632 % | 120.55/120.61 c | 23893 | 24802 257701 583147 | 94490 4866 32 | 65.951 % | 120.55/120.68 c | 24043 | 24802 257701 583147 | 103939 5016 32 | 65.951 % | 120.76/120.85 c | 24268 | 24802 257701 583147 | 114333 5241 32 | 65.951 % | 120.86/120.99 c =============================================================================== 120.86/120.99 c New solution: 176 120.86/120.99 o 176 120.86/120.99 c Elapsed CPU time: 120.616 s Remaining CPU time: 59.3843 s 120.86/120.99 c =============================================================================== 120.86/120.99 c | 24428 | 24802 257702 583447 | 85900 5401 32 | 65.951 % | 120.96/121.04 c | 24528 | 24764 257702 583447 | 94490 5501 32 | 66.269 % | 121.07/121.15 c | 24680 | 24764 257702 583447 | 103939 5653 32 | 66.269 % | 121.16/121.21 c =============================================================================== 121.16/121.21 c New solution: 175 121.16/121.21 o 175 121.16/121.21 c Elapsed CPU time: 120.834 s Remaining CPU time: 59.1664 s 121.16/121.21 c =============================================================================== 121.16/121.21 c | 24702 | 24570 257703 583747 | 85901 5675 32 | 66.269 % | 121.16/121.26 c | 24803 | 24567 257703 583747 | 94491 5776 32 | 66.588 % | 121.26/121.39 c | 24953 | 24338 257703 583747 | 103940 5479 31 | 66.588 % | 121.45/121.51 c | 25180 | 24338 257703 583747 | 114334 5706 32 | 66.588 % | 121.65/121.75 c | 25517 | 24338 257703 583747 | 125767 6043 32 | 66.588 % | 121.75/121.84 c =============================================================================== 121.75/121.84 c New solution: 174 121.75/121.84 o 174 121.75/121.84 c Elapsed CPU time: 121.463 s Remaining CPU time: 58.5375 s 121.75/121.84 c =============================================================================== 121.75/121.84 c | 25580 | 24338 257704 584047 | 85901 6106 32 | 66.588 % | 121.85/121.93 c | 25680 | 24299 257704 584047 | 94491 6206 32 | 66.906 % | 121.95/122.04 c | 25830 | 24106 257704 584047 | 103940 6126 31 | 66.906 % | 122.06/122.12 c =============================================================================== 122.06/122.12 c New solution: 173 122.06/122.12 o 173 122.06/122.12 c Elapsed CPU time: 121.739 s Remaining CPU time: 58.2605 s 122.06/122.12 c =============================================================================== 122.06/122.12 c | 25884 | 24106 257705 584347 | 85901 6180 31 | 66.906 % | 122.06/122.19 c | 25985 | 24101 257705 584347 | 94491 6281 31 | 67.225 % | 122.25/122.30 c | 26136 | 24091 257705 584347 | 103941 6432 31 | 67.225 % | 122.25/122.39 c =============================================================================== 122.25/122.39 c New solution: 172 122.25/122.39 o 172 122.25/122.39 c Elapsed CPU time: 122.016 s Remaining CPU time: 57.9835 s 122.25/122.39 c =============================================================================== 122.25/122.39 c | 26208 | 23874 257706 584647 | 85902 6504 31 | 67.225 % | 122.35/122.47 c | 26308 | 23869 257706 584647 | 94492 6604 31 | 67.543 % | 122.45/122.59 c | 26459 | 23861 257706 584647 | 103941 6755 31 | 67.543 % | 122.65/122.70 c | 26684 | 23861 257706 584647 | 114335 6980 31 | 67.543 % | 122.76/122.83 c =============================================================================== 122.76/122.83 c New solution: 171 122.76/122.83 o 171 122.76/122.83 c Elapsed CPU time: 122.445 s Remaining CPU time: 57.5546 s 122.76/122.83 c =============================================================================== 122.76/122.83 c | 26812 | 23642 257707 584947 | 85902 6328 31 | 67.543 % | 122.86/122.90 c | 26912 | 23625 257707 584947 | 94492 6428 31 | 67.887 % | 122.96/123.03 c | 27063 | 23624 257707 584947 | 103941 6579 31 | 67.887 % | 123.06/123.12 c | 27288 | 23612 257707 584947 | 114336 6804 31 | 67.887 % | 123.26/123.33 c | 27625 | 23612 257707 584947 | 125769 7141 33 | 67.887 % | 123.65/123.78 c | 28131 | 23606 257707 584947 | 138346 7647 33 | 67.887 % | 124.37/124.47 c | 28890 | 23392 257707 584947 | 152181 8094 35 | 67.887 % | 125.36/125.44 c | 30029 | 23392 257707 584947 | 167399 9233 36 | 67.887 % | 125.46/125.51 c =============================================================================== 125.46/125.51 c New solution: 170 125.46/125.51 o 170 125.46/125.51 c Elapsed CPU time: 125.111 s Remaining CPU time: 54.889 s 125.46/125.51 c =============================================================================== 125.46/125.51 c | 30083 | 23392 257708 585247 | 85902 9287 36 | 67.887 % | 125.46/125.58 c | 30184 | 23152 257708 585247 | 94492 9030 36 | 68.216 % | 125.55/125.66 c | 30334 | 23152 257708 585247 | 103942 9180 36 | 68.216 % | 125.75/125.86 c | 30559 | 23152 257708 585247 | 114336 9405 36 | 68.216 % | 125.85/125.97 c | 30896 | 23152 257708 585247 | 125770 9742 36 | 68.216 % | 126.15/126.28 c | 31402 | 23152 257708 585247 | 138347 10248 37 | 68.216 % | 126.86/126.94 c | 32161 | 23152 257708 585247 | 152181 11007 37 | 68.216 % | 126.96/127.08 c =============================================================================== 126.96/127.08 c New solution: 169 126.96/127.08 o 169 126.96/127.08 c Elapsed CPU time: 126.673 s Remaining CPU time: 53.3273 s 126.96/127.08 c =============================================================================== 126.96/127.08 c | 32516 | 23152 257709 585547 | 85903 11362 37 | 68.216 % | 127.06/127.15 c | 32616 | 22912 257709 585547 | 94493 11120 37 | 68.546 % | 127.16/127.28 c | 32766 | 22912 257709 585547 | 103942 11270 37 | 68.546 % | 127.26/127.37 c =============================================================================== 127.26/127.37 c New solution: 168 127.26/127.37 o 168 127.26/127.37 c Elapsed CPU time: 126.972 s Remaining CPU time: 53.0283 s 127.26/127.37 c =============================================================================== 127.26/127.37 c | 32863 | 22912 257710 585847 | 85903 11367 37 | 68.546 % | 127.36/127.45 c | 32963 | 22908 257710 585847 | 94493 11467 37 | 68.875 % | 127.46/127.56 c | 33113 | 22901 257710 585847 | 103943 11617 37 | 68.875 % | 127.56/127.62 c =============================================================================== 127.56/127.62 c New solution: 167 127.56/127.62 o 167 127.56/127.62 c Elapsed CPU time: 127.214 s Remaining CPU time: 52.7863 s 127.56/127.62 c =============================================================================== 127.56/127.62 c | 33131 | 22672 257711 586147 | 85903 11635 37 | 68.875 % | 127.56/127.67 c | 33231 | 22667 257711 586147 | 94494 11735 37 | 69.205 % | 127.66/127.78 c | 33381 | 22659 257711 586147 | 103943 11885 37 | 69.205 % | 127.76/127.87 c | 33607 | 22652 257711 586147 | 114337 12111 37 | 69.205 % | 127.95/128.01 c | 33944 | 22652 257711 586147 | 125771 12448 37 | 69.205 % | 128.05/128.15 c =============================================================================== 128.05/128.15 c New solution: 166 128.05/128.15 o 166 128.05/128.15 c Elapsed CPU time: 127.745 s Remaining CPU time: 52.2554 s 128.05/128.15 c =============================================================================== 128.05/128.15 c | 34066 | 22432 257712 586447 | 85904 12570 37 | 69.205 % | 128.15/128.22 c | 34167 | 22190 257712 586447 | 94494 11051 36 | 69.537 % | 128.25/128.35 c | 34320 | 22190 257712 586447 | 103943 11204 36 | 69.537 % | 128.46/128.50 c | 34545 | 22190 257712 586447 | 114338 11429 36 | 69.537 % | 128.67/128.72 c | 34883 | 22190 257712 586447 | 125772 11767 36 | 69.537 % | 128.96/129.03 c | 35390 | 22190 257712 586447 | 138349 12274 36 | 69.537 % | 129.45/129.55 c | 36151 | 22190 257712 586447 | 152184 13035 38 | 69.537 % | 129.95/130.08 c | 37291 | 22190 257712 586447 | 167402 14175 38 | 69.537 % | 130.65/130.74 c | 38999 | 22190 257712 586447 | 184142 15883 38 | 69.537 % | 132.25/132.37 c | 41561 | 22190 257712 586447 | 202557 18445 41 | 69.537 % | 134.75/134.86 c | 45406 | 22190 257712 586447 | 222812 22290 43 | 69.537 % | 139.35/139.44 c | 51172 | 22190 257712 586447 | 245094 28056 44 | 69.537 % | 143.95/144.01 c | 59821 | 22190 257712 586447 | 269603 36705 44 | 69.537 % | 154.85/154.98 c | 72796 | 22190 257712 586447 | 296563 49680 50 | 69.537 % | 159.94/160.06 c =============================================================================== 159.94/160.06 c New solution: 165 159.94/160.06 o 165 159.94/160.06 c Elapsed CPU time: 159.49 s Remaining CPU time: 20.5102 s 159.94/160.06 c =============================================================================== 159.94/160.06 c | 81778 | 22190 257713 586747 | 85904 58662 50 | 69.537 % | 160.15/160.23 c | 81878 | 21948 257713 586747 | 94494 57512 50 | 69.869 % | 160.35/160.40 c | 82028 | 21948 257713 586747 | 103944 57662 50 | 69.869 % | 160.45/160.52 c | 82253 | 21948 257713 586747 | 114338 57887 50 | 69.869 % | 160.65/160.76 c | 82590 | 21948 257713 586747 | 125772 58224 50 | 69.869 % | 161.25/161.38 c | 83096 | 21948 257713 586747 | 138349 58730 50 | 69.869 % | 161.65/161.76 c | 83855 | 21948 257713 586747 | 152184 59489 49 | 69.869 % | 162.75/162.85 c | 84994 | 21948 257713 586747 | 167403 60628 50 | 69.869 % | 164.64/164.76 c | 86704 | 21948 257713 586747 | 184143 62338 49 | 69.869 % | 166.55/166.64 c | 89268 | 21948 257713 586747 | 202557 64902 50 | 69.869 % | 171.04/171.14 c | 93113 | 21948 257713 586747 | 222813 68747 50 | 69.869 % | 174.74/174.88 c | 98880 | 21948 257713 586747 | 245095 74514 50 | 69.869 % | 180.54/180.66 c There are 50966 assigned variables. 226 in cost function. 182.13/182.23 c core #1 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 147 Core Weight: 91 Total Weight: 91 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #2 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 182 Core Weight: 1 Total Weight: 92 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #3 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 160 Core Weight: 1 Total Weight: 93 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #4 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 158 Core Weight: 1 Total Weight: 94 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #5 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 156 Core Weight: 1 Total Weight: 95 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #6 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 209 Core Weight: 1 Total Weight: 96 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c core #7 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 176 Core Weight: 1 Total Weight: 97 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c ============================[ Search Statistics ]============================== 182.13/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.23 c =============================================================================== 182.13/182.23 c | 0 | 6231 120351 178211 | 40117 0 nan | 0.000 % | 182.13/182.23 c =============================================================================== 182.33/182.42 c core #8 182.33/182.42 c 182.33/182.42 c 182.33/182.42 c Core size: 218 Core Weight: 1 Total Weight: 98 182.33/182.42 c 182.33/182.42 c 182.33/182.42 c ============================[ Search Statistics ]============================== 182.33/182.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.42 c =============================================================================== 182.33/182.42 c | 0 | 6529 120419 178640 | 40139 0 nan | 0.000 % | 182.33/182.44 c =============================================================================== 182.55/182.62 c core #9 182.55/182.62 c 182.55/182.62 c 182.55/182.62 c Core size: 238 Core Weight: 1 Total Weight: 99 182.55/182.62 c 182.55/182.62 c 182.55/182.62 c ============================[ Search Statistics ]============================== 182.55/182.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.63 c =============================================================================== 182.55/182.63 c | 0 | 6848 120485 179069 | 40161 0 nan | 0.000 % | 182.55/182.64 c =============================================================================== 182.74/182.83 c core #10 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 212 Core Weight: 1 Total Weight: 100 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c ============================[ Search Statistics ]============================== 182.74/182.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.83 c =============================================================================== 182.74/182.83 c | 0 | 7155 120551 179503 | 40183 0 nan | 0.000 % | 182.74/182.87 c =============================================================================== 182.94/183.06 c core #11 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c Core size: 232 Core Weight: 1 Total Weight: 101 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 7461 120616 179929 | 40205 0 nan | 0.000 % | 183.04/183.12 c | 100 | 7461 120616 179929 | 44225 100 17 | 91.000 % | 183.04/183.15 c =============================================================================== 183.24/183.35 c core #12 183.24/183.35 c 183.24/183.35 c 183.24/183.35 c Core size: 230 Core Weight: 1 Total Weight: 102 183.24/183.35 c 183.24/183.35 c 183.24/183.35 c ============================[ Search Statistics ]============================== 183.24/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.35 c =============================================================================== 183.24/183.35 c | 0 | 7766 120679 180353 | 40226 0 nan | 0.000 % | 183.34/183.41 c | 102 | 7766 120679 180353 | 44248 102 15 | 89.458 % | 183.44/183.54 c | 252 | 7326 120679 180353 | 48673 153 15 | 90.055 % | 183.44/183.59 c =============================================================================== 183.64/183.77 c core #13 183.64/183.77 c 183.64/183.77 c 183.64/183.77 c Core size: 310 Core Weight: 1 Total Weight: 103 183.64/183.77 c 183.64/183.77 c 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 | 8070 120744 180784 | 40248 0 nan | 0.000 % | 183.74/183.83 c | 100 | 8069 120744 180784 | 44272 100 15 | 89.057 % | 183.83/183.92 c | 250 | 7770 120744 180784 | 48700 230 16 | 89.461 % | 183.93/184.06 c | 475 | 7766 120744 180784 | 53570 455 19 | 89.702 % | 184.04/184.13 c =============================================================================== 184.24/184.33 c core #14 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 422 Core Weight: 1 Total Weight: 104 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c ============================[ Search Statistics ]============================== 184.24/184.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.33 c =============================================================================== 184.24/184.33 c | 0 | 8373 120811 181223 | 40270 0 nan | 0.000 % | 184.24/184.39 c | 100 | 8373 120811 181223 | 44297 100 16 | 88.652 % | 184.34/184.47 c | 250 | 8373 120811 181223 | 48727 250 19 | 88.652 % | 184.54/184.63 c | 475 | 8005 120811 181223 | 53599 468 22 | 89.406 % | 184.75/184.85 c | 812 | 7817 120811 181223 | 58959 752 27 | 89.406 % | 185.04/185.17 c | 1318 | 7781 120811 181223 | 64855 1242 31 | 89.455 % | 185.33/185.41 c =============================================================================== 185.54/185.60 c core #15 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c Core size: 375 Core Weight: 1 Total Weight: 105 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c ============================[ Search Statistics ]============================== 185.54/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.60 c =============================================================================== 185.54/185.60 c | 0 | 8675 120876 181657 | 40292 0 nan | 0.000 % | 185.54/185.65 c | 101 | 8675 120876 181657 | 44321 101 14 | 88.253 % | 185.64/185.73 c | 252 | 8675 120876 181657 | 48753 252 17 | 88.253 % | 185.74/185.87 c | 479 | 8675 120876 181657 | 53628 479 19 | 88.253 % | 186.04/186.13 c | 816 | 8669 120876 181657 | 58991 815 24 | 88.261 % | 186.34/186.44 c | 1323 | 8669 120876 181657 | 64890 1322 26 | 88.261 % | 186.84/186.91 c | 2083 | 8669 120876 181657 | 71379 2082 28 | 88.261 % | 187.64/187.79 c | 3222 | 8669 120876 181657 | 78517 3221 31 | 88.261 % | 188.23/188.31 c =============================================================================== 188.43/188.50 c core #16 188.43/188.50 c 188.43/188.50 c 188.43/188.50 c Core size: 486 Core Weight: 1 Total Weight: 106 188.43/188.50 c 188.43/188.50 c 188.43/188.50 c ============================[ Search Statistics ]============================== 188.43/188.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.43/188.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.43/188.50 c =============================================================================== 188.43/188.50 c | 0 | 8976 120936 182077 | 40312 0 nan | 0.000 % | 188.43/188.56 c | 101 | 8976 120936 182077 | 44343 101 14 | 87.855 % | 188.53/188.64 c | 251 | 8976 120936 182077 | 48777 251 19 | 87.855 % | 188.63/188.78 c | 478 | 8920 120936 182077 | 53655 477 22 | 87.931 % | 188.84/188.96 c | 816 | 8920 120936 182077 | 59020 815 22 | 87.931 % | 189.15/189.27 c | 1322 | 8920 120936 182077 | 64922 1321 23 | 87.931 % | 189.64/189.72 c | 2081 | 8920 120936 182077 | 71415 2080 26 | 87.931 % | 190.44/190.52 c | 3220 | 8920 120936 182077 | 78556 3219 29 | 87.931 % | 191.53/191.62 c =============================================================================== 191.74/191.80 c core #17 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c Core size: 566 Core Weight: 1 Total Weight: 107 191.74/191.80 c 191.74/191.80 c 191.74/191.80 c ============================[ Search Statistics ]============================== 191.74/191.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.80 c =============================================================================== 191.74/191.80 c | 0 | 9276 120996 182500 | 40332 0 nan | 0.000 % | 191.74/191.90 c | 102 | 9276 120996 182500 | 44365 102 18 | 87.459 % | 191.84/192.00 c | 252 | 9276 120996 182500 | 48801 252 20 | 87.459 % | 192.04/192.14 c | 477 | 9276 120996 182500 | 53681 477 21 | 87.459 % | 192.24/192.35 c | 814 | 9276 120996 182500 | 59050 814 20 | 87.459 % | 192.55/192.67 c | 1320 | 9276 120996 182500 | 64955 1320 24 | 87.459 % | 193.04/193.18 c | 2079 | 9276 120996 182500 | 71450 2079 27 | 87.459 % | 193.93/194.01 c | 3218 | 9276 120996 182500 | 78595 3218 30 | 87.459 % | 195.14/195.24 c | 4926 | 8866 120996 182500 | 86455 4872 32 | 88.013 % | 197.24/197.37 c | 7488 | 8541 120996 182500 | 95100 5961 32 | 88.452 % | 200.33/200.44 c | 11333 | 8393 120996 182500 | 104610 6330 30 | 88.653 % | 201.03/201.10 c =============================================================================== 201.24/201.30 c core #18 201.24/201.30 c 201.24/201.30 c 201.24/201.30 c Core size: 565 Core Weight: 1 Total Weight: 108 201.24/201.30 c 201.24/201.30 c 201.24/201.30 c ============================[ Search Statistics ]============================== 201.24/201.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.24/201.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.24/201.30 c =============================================================================== 201.24/201.30 c | 0 | 9575 121061 182935 | 40353 0 nan | 0.000 % | 201.24/201.37 c | 100 | 9575 121061 182935 | 44389 100 16 | 87.064 % | 201.34/201.46 c | 251 | 9575 121061 182935 | 48827 251 22 | 87.064 % | 201.43/201.58 c | 477 | 9575 121061 182935 | 53710 477 24 | 87.064 % | 201.63/201.79 c | 815 | 9575 121061 182935 | 59081 815 29 | 87.064 % | 202.03/202.12 c | 1322 | 9575 121061 182935 | 64989 1322 27 | 87.064 % | 202.53/202.60 c | 2081 | 9569 121061 182935 | 71488 2079 28 | 87.073 % | 203.24/203.37 c | 3220 | 9569 121061 182935 | 78637 3218 30 | 87.073 % | 204.33/204.41 c | 4929 | 9569 121061 182935 | 86501 4927 32 | 87.073 % | 206.13/206.24 c | 7491 | 9569 121061 182935 | 95151 7489 35 | 87.073 % | 209.33/209.42 c | 11335 | 9569 121061 182935 | 104667 11333 39 | 87.073 % | 214.83/214.91 c | 17103 | 9473 121061 182935 | 115133 16484 43 | 87.202 % | 223.13/223.25 c =============================================================================== 223.33/223.44 c core #19 223.33/223.44 c 223.33/223.44 c 223.33/223.44 c Core size: 504 Core Weight: 1 Total Weight: 109 223.33/223.44 c 223.33/223.44 c 223.33/223.44 c ============================[ Search Statistics ]============================== 223.33/223.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.33/223.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.33/223.44 c =============================================================================== 223.33/223.44 c | 0 | 9873 121145 183425 | 40381 0 nan | 0.000 % | 223.42/223.51 c | 101 | 9873 121145 183425 | 44419 101 18 | 86.672 % | 223.42/223.59 c | 251 | 9873 121145 183425 | 48861 251 22 | 86.672 % | 223.63/223.74 c | 477 | 9873 121145 183425 | 53747 477 26 | 86.672 % | 223.73/223.89 c | 814 | 9873 121145 183425 | 59122 814 25 | 86.672 % | 224.02/224.18 c | 1320 | 9873 121145 183425 | 65035 1320 27 | 86.672 % | 224.62/224.76 c | 2079 | 9873 121145 183425 | 71538 2079 30 | 86.672 % | 225.44/225.51 c | 3219 | 9873 121145 183425 | 78692 3219 33 | 86.672 % | 226.73/226.86 c | 4927 | 9873 121145 183425 | 86561 4927 37 | 86.672 % | 228.93/229.08 c | 7489 | 9873 121145 183425 | 95217 7489 40 | 86.672 % | 232.13/232.24 c | 11333 | 9873 121145 183425 | 104739 11333 39 | 86.672 % | 237.53/237.64 c | 17099 | 9873 121145 183425 | 115213 17099 41 | 86.672 % | 247.22/247.39 c | 25749 | 9719 121145 183425 | 126734 21605 41 | 87.482 % | 262.83/262.97 c | 38723 | 8999 121145 183425 | 139408 18905 37 | 87.852 % | 273.11/273.26 c =============================================================================== 273.31/273.47 c core #20 273.31/273.47 c 273.31/273.47 c 273.31/273.47 c Core size: 425 Core Weight: 1 Total Weight: 110 273.31/273.47 c 273.31/273.47 c 273.31/273.47 c ============================[ Search Statistics ]============================== 273.31/273.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 273.31/273.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 273.31/273.47 c =============================================================================== 273.31/273.47 c | 0 | 10170 121215 183882 | 40405 0 nan | 0.000 % | 273.41/273.53 c | 102 | 10170 121215 183882 | 44445 102 17 | 86.281 % | 273.51/273.60 c | 252 | 10170 121215 183882 | 48890 252 18 | 86.281 % | 273.61/273.73 c | 478 | 10170 121215 183882 | 53779 478 23 | 86.281 % | 273.82/273.93 c | 815 | 10170 121215 183882 | 59156 815 24 | 86.281 % | 274.01/274.19 c | 1321 | 10170 121215 183882 | 65072 1321 24 | 86.281 % | 274.52/274.64 c | 2080 | 10170 121215 183882 | 71579 2080 28 | 86.281 % | 275.11/275.29 c | 3220 | 10170 121215 183882 | 78737 3220 31 | 86.281 % | 276.12/276.22 c | 4928 | 10170 121215 183882 | 86611 4928 33 | 86.281 % | 277.71/277.86 c | 7490 | 10170 121215 183882 | 95272 7490 35 | 86.281 % | 280.42/280.57 c | 11334 | 10170 121215 183882 | 104800 11334 36 | 86.281 % | 285.81/285.97 c | 17101 | 9662 121215 183882 | 115280 14651 36 | 86.966 % | 293.41/293.57 c | 25750 | 9662 121215 183882 | 126808 23300 40 | 86.966 % | 307.71/307.89 c | 38725 | 9662 121215 183882 | 139489 36275 42 | 86.966 % | 337.90/338.09 c | 58187 | 9642 121215 183882 | 153437 53394 46 | 86.993 % | 386.89/387.04 c | 87381 | 9562 121215 183882 | 168781 60865 43 | 87.101 % | 436.17/436.34 c =============================================================================== 436.37/436.59 c core #21 436.37/436.59 c 436.37/436.59 c 436.37/436.59 c Core size: 286 Core Weight: 1 Total Weight: 111 436.37/436.59 c 436.37/436.59 c 436.37/436.59 c ============================[ Search Statistics ]============================== 436.37/436.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 436.37/436.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 436.37/436.60 c =============================================================================== 436.37/436.60 c | 0 | 10466 121310 184411 | 40436 0 nan | 0.000 % | 436.47/436.66 c | 102 | 10466 121310 184411 | 44480 102 16 | 85.892 % | 436.58/436.74 c | 252 | 10466 121310 184411 | 48928 252 21 | 85.892 % | 436.67/436.87 c | 478 | 10466 121310 184411 | 53821 478 23 | 85.892 % | 436.88/437.09 c | 815 | 10466 121310 184411 | 59203 815 27 | 85.892 % | 437.27/437.42 c | 1321 | 10258 121310 184411 | 65123 1320 31 | 86.173 % | 437.77/437.97 c | 2080 | 10258 121310 184411 | 71636 2079 32 | 86.173 % | 438.47/438.61 c | 3219 | 10258 121310 184411 | 78799 3218 31 | 86.173 % | 439.77/439.91 c | 4927 | 10258 121310 184411 | 86679 4926 32 | 86.173 % | 441.37/441.58 c | 7491 | 10258 121310 184411 | 95347 7490 31 | 86.173 % | 445.07/445.23 c | 11335 | 10258 121310 184411 | 104882 11334 38 | 86.173 % | 449.66/449.89 c | 17101 | 10258 121310 184411 | 115370 17100 37 | 86.173 % | 458.27/458.47 c | 25751 | 10258 121310 184411 | 126907 25750 39 | 86.173 % | 474.36/474.55 c | 38725 | 10258 121310 184411 | 139598 38724 42 | 86.173 % | 503.55/503.80 c | 58186 | 10258 121310 184411 | 153558 58185 45 | 86.173 % | 559.74/559.93 c | 87378 | 10105 121310 184411 | 168913 74293 49 | 86.379 % | 650.12/650.37 c | 131168 | 9122 121310 184411 | 185805 46512 41 | 87.704 % | 696.50/696.77 c =============================================================================== 696.80/697.09 c core #22 696.80/697.09 c 696.80/697.09 c 696.80/697.09 c Core size: 581 Core Weight: 1 Total Weight: 112 696.80/697.09 c 696.80/697.09 c 696.80/697.09 c ============================[ Search Statistics ]============================== 696.80/697.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 696.80/697.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 696.80/697.09 c =============================================================================== 696.80/697.09 c | 0 | 10761 121391 184899 | 40463 0 nan | 0.000 % | 696.90/697.16 c | 100 | 10761 121391 184899 | 44510 100 22 | 85.505 % | 697.00/697.23 c | 250 | 10761 121391 184899 | 48961 250 23 | 85.505 % | 697.10/697.35 c | 475 | 10761 121391 184899 | 53857 475 24 | 85.505 % | 697.30/697.59 c | 813 | 10761 121391 184899 | 59242 813 26 | 85.505 % | 697.60/697.87 c | 1319 | 10761 121391 184899 | 65167 1319 25 | 85.505 % | 698.09/698.39 c | 2078 | 10761 121391 184899 | 71683 2078 28 | 85.505 % | 698.80/699.00 c | 3218 | 10761 121391 184899 | 78852 3218 29 | 85.505 % | 700.00/700.25 c | 4926 | 10761 121391 184899 | 86737 4926 34 | 85.505 % | 702.00/702.25 c | 7488 | 10761 121391 184899 | 95411 7488 41 | 85.505 % | 705.10/705.34 c | 11332 | 10761 121391 184899 | 104952 11332 42 | 85.505 % | 710.20/710.49 c | 17100 | 10761 121391 184899 | 115447 17100 47 | 85.505 % | 718.80/719.09 c | 25750 | 10761 121391 184899 | 126992 25750 43 | 85.505 % | 734.79/735.08 c | 38725 | 10646 121391 184899 | 139691 34712 47 | 85.660 % | 765.68/765.93 c | 58187 | 10641 121391 184899 | 153660 50161 51 | 85.667 % | 818.97/819.22 c | 87381 | 10641 121391 184899 | 169026 79355 50 | 85.667 % | 931.64/931.97 c | 131170 | 10393 121391 184899 | 185929 73138 41 | 86.001 % | 1099.09/1099.48 c | 196857 | 9938 121391 184899 | 204522 110502 46 | 86.614 % | 1414.79/1415.25 c | 295383 | 8754 121391 184899 | 224974 51746 33 | 88.243 % | 1421.09/1421.55 c =============================================================================== 1421.49/1421.99 c core #23 1421.49/1421.99 c 1421.49/1421.99 c 1421.49/1421.99 c Core size: 408 Core Weight: 1 Total Weight: 113 1421.49/1421.99 c 1421.49/1421.99 c 1421.49/1421.99 c ============================[ Search Statistics ]============================== 1421.49/1421.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1421.49/1421.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1421.49/1421.99 c =============================================================================== 1421.49/1421.99 c | 0 | 11055 121492 185444 | 40497 0 nan | 0.000 % | 1421.59/1422.08 c | 100 | 11055 121492 185444 | 44547 100 18 | 85.119 % | 1421.69/1422.16 c | 251 | 11055 121492 185444 | 49001 251 21 | 85.119 % | 1421.79/1422.29 c | 478 | 11055 121492 185444 | 53901 478 29 | 85.119 % | 1421.99/1422.48 c | 815 | 11055 121492 185444 | 59292 815 28 | 85.119 % | 1422.29/1422.76 c | 1321 | 11055 121492 185444 | 65221 1321 30 | 85.119 % | 1422.79/1423.22 c | 2081 | 11055 121492 185444 | 71743 2081 34 | 85.119 % | 1423.39/1423.87 c | 3221 | 11055 121492 185444 | 78917 3221 35 | 85.119 % | 1424.79/1425.20 c | 4929 | 11055 121492 185444 | 86809 4929 36 | 85.119 % | 1427.09/1427.50 c | 7494 | 11055 121492 185444 | 95490 7494 43 | 85.119 % | 1429.99/1430.45 c | 11339 | 11055 121492 185444 | 105039 11339 39 | 85.119 % | 1435.39/1435.80 c | 17105 | 11055 121492 185444 | 115543 17105 39 | 85.119 % | 1444.98/1445.48 c | 25754 | 11055 121492 185444 | 127097 25754 45 | 85.119 % | 1463.27/1463.70 c | 38728 | 11055 121492 185444 | 139807 38728 50 | 85.119 % | 1490.26/1490.72 c | 58192 | 11055 121492 185444 | 153788 58192 46 | 85.119 % | 1548.55/1549.05 c | 87384 | 11043 121492 185444 | 169167 87380 49 | 85.135 % | 1645.92/1646.43 c | 131173 | 10924 121492 185444 | 186084 124933 51 | 85.296 % |
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-2687111-1278448065/watcher-2687111-1278448065 -o /tmp/evaluation-result-2687111-1278448065/solver-2687111-1278448065 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687111-1278448065.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20529 /proc/meminfo: memFree=1823548/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=11068 CPUtime=0 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 367 0 0 0 0 0 0 0 19 0 1 0 13013408 11333632 285 1992294400 134512640 135752675 4290446624 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 2767 286 139 303 0 445 0 [startup+0.103607 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20529 /proc/meminfo: memFree=1823548/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=15832 CPUtime=0.09 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 1554 0 0 0 9 0 0 0 19 0 1 0 13013408 16211968 1472 1992294400 134512640 135752675 4290446624 18446744073709551615 134574226 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 3958 1473 275 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15832 [startup+0.201617 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20529 /proc/meminfo: memFree=1823548/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=19060 CPUtime=0.19 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 2498 0 0 0 18 1 0 0 20 0 1 0 13013408 19517440 2383 1992294400 134512640 135752675 4290446624 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 4765 2383 419 303 0 2443 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19060 [startup+0.301625 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20529 /proc/meminfo: memFree=1823548/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=20104 CPUtime=0.29 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 2893 0 0 0 28 1 0 0 20 0 1 0 13013408 20586496 2778 1992294400 134512640 135752675 4290446624 18446744073709551615 134563052 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 5026 2778 569 303 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20104 [startup+0.701659 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20529 /proc/meminfo: memFree=1823548/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=25260 CPUtime=0.69 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 4712 0 0 0 67 2 0 0 20 0 1 0 13013408 25866240 4557 1992294400 134512640 135752675 4290446624 18446744073709551615 134574328 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 6315 4557 1171 303 0 3993 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25260 [startup+1.50073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20530 /proc/meminfo: memFree=1802956/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=37628 CPUtime=1.48 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 8447 0 0 0 145 3 0 0 23 0 1 0 13013408 38531072 8178 1992294400 134512640 135752675 4290446624 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 9407 8178 2074 303 0 7085 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 37628 [startup+3.10087 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20532 /proc/meminfo: memFree=1771460/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=57028 CPUtime=3.09 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 15521 0 0 0 304 5 0 0 25 0 1 0 13013408 58396672 13010 1992294400 134512640 135752675 4290446624 18446744073709551615 134595146 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 14257 13010 142 303 0 13952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57028 [startup+6.30115 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20532 /proc/meminfo: memFree=1764516/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=65476 CPUtime=6.29 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 17629 0 0 0 623 6 0 0 25 0 1 0 13013408 67047424 15118 1992294400 134512640 135752675 4290446624 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 16369 15118 142 303 0 16064 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65476 [startup+12.7007 s] /proc/loadavg: 1.07 1.02 1.00 2/107 20532 /proc/meminfo: memFree=1751496/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=76960 CPUtime=12.68 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 20489 0 0 0 1261 7 0 0 25 0 1 0 13013408 78807040 17978 1992294400 134512640 135752675 4290446624 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 19240 17978 142 303 0 18935 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76960 [startup+25.5018 s] /proc/loadavg: 1.06 1.01 1.00 2/107 20532 /proc/meminfo: memFree=1734136/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=94252 CPUtime=25.48 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 24815 0 0 0 2539 9 0 0 25 0 1 0 13013408 96514048 22304 1992294400 134512640 135752675 4290446624 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 23563 22304 142 303 0 23258 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94252 [startup+51.1011 s] /proc/loadavg: 1.04 1.01 1.00 2/107 20532 /proc/meminfo: memFree=1711196/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=117088 CPUtime=51.07 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 30543 0 0 0 5094 13 0 0 25 0 1 0 13013408 119898112 28032 1992294400 134512640 135752675 4290446624 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 29272 28032 142 303 0 28967 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 117088 [startup+102.302 s] /proc/loadavg: 1.01 1.01 1.00 2/107 20534 /proc/meminfo: memFree=1687388/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=139880 CPUtime=102.26 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 37661 0 0 0 10204 22 0 0 25 0 1 0 13013408 143237120 33836 1992294400 134512640 135752675 4290446624 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 34970 33836 145 303 0 34665 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 139880 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20536 /proc/meminfo: memFree=1687388/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=139880 CPUtime=162.24 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 37661 0 0 0 16171 53 0 0 25 0 1 0 13013408 143237120 33836 1992294400 134512640 135752675 4290446624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 34970 33836 145 303 0 34665 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 139880 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20536 /proc/meminfo: memFree=1699540/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=125028 CPUtime=222.24 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 41968 0 0 0 22146 78 0 0 25 0 1 0 13013408 128028672 30769 1992294400 134512640 135752675 4290446624 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31257 30769 146 303 0 30952 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 125028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20538 /proc/meminfo: memFree=1699540/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=125028 CPUtime=282.21 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42403 0 0 0 28124 97 0 0 25 0 1 0 13013408 128028672 30769 1992294400 134512640 135752675 4290446624 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31257 30769 146 303 0 30952 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 125028 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20540 /proc/meminfo: memFree=1699540/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=125028 CPUtime=342.19 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42403 0 0 0 34108 111 0 0 25 0 1 0 13013408 128028672 30769 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31257 30769 146 303 0 30952 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 125028 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20542 /proc/meminfo: memFree=1699416/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=125028 CPUtime=402.18 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42403 0 0 0 40094 124 0 0 25 0 1 0 13013408 128028672 30769 1992294400 134512640 135752675 4290446624 18446744073709551615 134637647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31257 30769 146 303 0 30952 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 125028 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20544 /proc/meminfo: memFree=1698176/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=127460 CPUtime=462.16 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42838 0 0 0 46074 142 0 0 25 0 1 0 13013408 130519040 31204 1992294400 134512640 135752675 4290446624 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31865 31204 146 303 0 31560 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 127460 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20544 /proc/meminfo: memFree=1698176/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=127460 CPUtime=522.15 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42838 0 0 0 52056 159 0 0 25 0 1 0 13013408 130519040 31204 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31865 31204 146 303 0 31560 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 127460 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20546 /proc/meminfo: memFree=1698052/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=127460 CPUtime=582.13 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42850 0 0 0 58042 171 0 0 25 0 1 0 13013408 130519040 31216 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31865 31216 146 303 0 31560 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 127460 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20548 /proc/meminfo: memFree=1697928/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=127460 CPUtime=642.12 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 42850 0 0 0 64026 186 0 0 25 0 1 0 13013408 130519040 31216 1992294400 134512640 135752675 4290446624 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 31865 31216 146 303 0 31560 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 127460 [startup+702.302 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20554 /proc/meminfo: memFree=1682304/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=144056 CPUtime=882.06 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 47186 0 0 0 87956 250 0 0 25 0 1 0 13013408 147513344 35117 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 36014 35117 146 303 0 35709 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 144056 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20556 /proc/meminfo: memFree=1675732/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=150412 CPUtime=942.03 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 48793 0 0 0 93939 264 0 0 25 0 1 0 13013408 154021888 36724 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 37603 36724 146 303 0 37298 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 150412 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20558 /proc/meminfo: memFree=1668912/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=157164 CPUtime=1002.02 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 50465 0 0 0 99926 276 0 0 25 0 1 0 13013408 160935936 38396 1992294400 134512640 135752675 4290446624 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 39291 38396 146 303 0 38986 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 157164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20560 /proc/meminfo: memFree=1662960/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=163276 CPUtime=1062 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 51986 0 0 0 105913 287 0 0 25 0 1 0 13013408 167194624 39917 1992294400 134512640 135752675 4290446624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 40819 39917 146 303 0 40514 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 163276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20560 /proc/meminfo: memFree=1656140/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=169876 CPUtime=1121.98 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 53654 0 0 0 111899 299 0 0 25 0 1 0 13013408 173953024 41585 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 42469 41585 146 303 0 42164 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 169876 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20562 /proc/meminfo: memFree=1649816/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=176216 CPUtime=1181.96 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 55235 0 0 0 117884 312 0 0 25 0 1 0 13013408 180445184 43166 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 44054 43166 146 303 0 43749 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 176216 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20564 /proc/meminfo: memFree=1643616/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=182248 CPUtime=1241.94 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 56720 0 0 0 123871 323 0 0 25 0 1 0 13013408 186621952 44651 1992294400 134512640 135752675 4290446624 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 45562 44651 146 303 0 45257 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 182248 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20566 /proc/meminfo: memFree=1638036/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=188072 CPUtime=1301.93 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 58149 0 0 0 129859 334 0 0 25 0 1 0 13013408 192585728 46080 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 47018 46080 146 303 0 46713 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 188072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20568 /proc/meminfo: memFree=1631712/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=194276 CPUtime=1361.9 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 59695 0 0 0 135844 346 0 0 25 0 1 0 13013408 198938624 47626 1992294400 134512640 135752675 4290446624 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 48569 47626 146 303 0 48264 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 194276 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20568 /proc/meminfo: memFree=1614724/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=210924 CPUtime=1421.89 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 64809 0 0 0 141828 361 0 0 25 0 1 0 13013408 215986176 51713 1992294400 134512640 135752675 4290446624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 52731 51713 146 303 0 52426 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 210924 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20570 /proc/meminfo: memFree=1614724/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=210924 CPUtime=1481.87 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 64835 0 0 0 147807 380 0 0 25 0 1 0 13013408 215986176 51739 1992294400 134512640 135752675 4290446624 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 52731 51739 146 303 0 52426 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 210924 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20572 /proc/meminfo: memFree=1611996/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=213988 CPUtime=1541.86 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 65629 0 0 0 153791 395 0 0 25 0 1 0 13013408 219123712 52533 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 53497 52533 146 303 0 53192 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 213988 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 20574 /proc/meminfo: memFree=1604556/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=221540 CPUtime=1601.83 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 67489 0 0 0 159772 411 0 0 25 0 1 0 13013408 226856960 54393 1992294400 134512640 135752675 4290446624 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 55385 54393 146 303 0 55080 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 221540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20576 /proc/meminfo: memFree=1598108/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=227820 CPUtime=1661.82 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 69073 0 0 0 165755 427 0 0 25 0 1 0 13013408 233287680 55977 1992294400 134512640 135752675 4290446624 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 56955 55977 146 303 0 56650 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 227820 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20576 /proc/meminfo: memFree=1592652/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=233448 CPUtime=1721.8 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 70441 0 0 0 171740 440 0 0 25 0 1 0 13013408 239050752 57345 1992294400 134512640 135752675 4290446624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 58362 57345 146 303 0 58057 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 233448 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20578 /proc/meminfo: memFree=1586700/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=239148 CPUtime=1781.79 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 71856 0 0 0 177725 454 0 0 25 0 1 0 13013408 244887552 58760 1992294400 134512640 135752675 4290446624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 59787 58760 146 303 0 59482 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 239148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20578 /proc/meminfo: memFree=1584840/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=240996 CPUtime=1800.08 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 72321 0 0 0 179552 456 0 0 25 0 1 0 13013408 246779904 59225 1992294400 134512640 135752675 4290446624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 60249 59225 146 303 0 59944 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 240996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20578 /proc/meminfo: memFree=1584840/2059040 swapFree=4164928/4192956 [pid=20529] ppid=20527 vsize=240996 CPUtime=1800.08 /proc/20529/stat : 20529 (wbo1.4b) R 20527 20529 20352 0 -1 4202496 72321 0 0 0 179552 456 0 0 25 0 1 0 13013408 246779904 59225 1992294400 134512640 135752675 4290446624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20529/statm: 60249 59225 146 303 0 59944 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 240996 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.12 CPU user time (s): 1795.52 CPU system time (s): 4.5953 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 240996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.52 system time used= 4.5953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72321 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= 49 involuntary context switches= 8482 runsolver used 3.02954 second user time and 8.46771 second system time The end
Begin job on node050 at 2010-07-06 22:27:46 IDJOB=2687111 IDBENCH=77411 IDSOLVER=1190 FILE ID=node050/2687111-1278448065 PBS_JOBID= 11233500 Free space on /tmp= 62440 MiB SOLVER NAME= wbo 1.4b (fixed) 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 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687111-1278448065/watcher-2687111-1278448065 -o /tmp/evaluation-result-2687111-1278448065/solver-2687111-1278448065 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687111-1278448065.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3a741555d430d0ca416ea4853bc85581 RANDOM SEED=1055384323 node050.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.248 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.49 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.248 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824136 kB Buffers: 11460 kB Cached: 119636 kB SwapCached: 1380 kB Active: 59688 kB Inactive: 106564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824136 kB SwapTotal: 4192956 kB SwapFree: 4164928 kB Dirty: 10708 kB Writeback: 0 kB AnonPages: 33676 kB Mapped: 13656 kB Slab: 46772 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182892 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62436 MiB End job on node050 at 2010-07-06 22:57:48