Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9045_2.std.opb |
MD5SUM | 164e1d7c8e885527f3cc100614dc9c6f |
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.11 |
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 | 54782 |
Total number of constraints | 192642 |
Number of constraints which are clauses | 191442 |
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 | 90 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2687397-1278452835.opb. 0.00/0.00 c Instance file HOME/instance-2687397-1278452835.opb 0.00/0.00 c File size is 6443623 bytes. 1.19/1.29 c Highest Coefficient sum: 540 1.19/1.29 c ============================[ Problem Statistics ]============================= 1.19/1.29 c | | 1.19/1.29 c | Parsing time: 1.27 s | 1.19/1.29 c | Number Variables: 54782 | 1.19/1.29 c | Number Clauses: 191442 | 1.19/1.29 c | Number Cardinality: 0 | 1.19/1.29 c | Number PB Constraints: 1200 | 97.65/97.73 c ============================[ Search Statistics ]============================== 97.65/97.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.65/97.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.65/97.73 c =============================================================================== 97.65/97.73 c | 0 | 40676 193650 436678 | 64214 0 nan | 0.000 % | 97.76/97.82 c | 100 | 40676 193650 436678 | 70635 100 33 | 25.749 % | 97.76/97.89 c | 250 | 40676 193650 436678 | 77698 250 35 | 25.749 % | 97.95/98.01 c | 475 | 40676 193650 436678 | 85468 475 31 | 25.749 % | 97.95/98.07 c =============================================================================== 97.95/98.07 c New solution: 300 97.95/98.07 o 300 97.95/98.07 c Elapsed CPU time: 97.8811 s Remaining CPU time: 82.1189 s 97.95/98.07 c =============================================================================== 97.95/98.07 c | 529 | 40676 193651 436978 | 64550 529 31 | 25.749 % | 98.05/98.14 c | 629 | 40585 193651 436978 | 71005 585 30 | 25.915 % | 98.15/98.23 c | 779 | 40585 193651 436978 | 78105 735 29 | 25.916 % | 98.15/98.27 c =============================================================================== 98.15/98.27 c New solution: 299 98.15/98.27 o 299 98.15/98.27 c Elapsed CPU time: 98.0811 s Remaining CPU time: 81.9189 s 98.15/98.27 c =============================================================================== 98.15/98.27 c | 793 | 40585 193652 437278 | 64550 749 28 | 25.916 % | 98.25/98.32 c =============================================================================== 98.25/98.32 c New solution: 298 98.25/98.32 o 298 98.25/98.32 c Elapsed CPU time: 98.1291 s Remaining CPU time: 81.8709 s 98.25/98.32 c =============================================================================== 98.25/98.32 c | 809 | 40484 193653 437578 | 64551 765 28 | 25.916 % | 98.25/98.40 c | 912 | 40476 193653 437578 | 71006 868 29 | 26.302 % | 98.35/98.45 c =============================================================================== 98.35/98.45 c New solution: 297 98.35/98.45 o 297 98.35/98.45 c Elapsed CPU time: 98.2581 s Remaining CPU time: 81.7419 s 98.35/98.45 c =============================================================================== 98.35/98.45 c | 923 | 40373 193654 437878 | 64551 718 29 | 26.302 % | 98.45/98.53 c | 1023 | 40364 193654 437878 | 71006 818 31 | 26.521 % | 98.55/98.61 c | 1175 | 40358 193654 437878 | 78107 970 29 | 26.521 % | 98.55/98.65 c =============================================================================== 98.55/98.65 c New solution: 296 98.55/98.65 o 296 98.55/98.65 c Elapsed CPU time: 98.457 s Remaining CPU time: 81.543 s 98.55/98.65 c =============================================================================== 98.55/98.65 c | 1177 | 40253 193655 438178 | 64551 972 29 | 26.521 % | 98.65/98.70 c =============================================================================== 98.65/98.70 c New solution: 295 98.65/98.70 o 295 98.65/98.70 c Elapsed CPU time: 98.509 s Remaining CPU time: 81.491 s 98.65/98.70 c =============================================================================== 98.65/98.70 c | 1181 | 40121 193656 438478 | 64552 976 29 | 26.521 % | 98.65/98.75 c =============================================================================== 98.65/98.75 c New solution: 294 98.65/98.75 o 294 98.65/98.75 c Elapsed CPU time: 98.556 s Remaining CPU time: 81.444 s 98.65/98.75 c =============================================================================== 98.65/98.75 c | 1196 | 39982 193657 438778 | 64552 991 29 | 26.521 % | 98.75/98.80 c =============================================================================== 98.75/98.80 c New solution: 293 98.75/98.80 o 293 98.75/98.80 c Elapsed CPU time: 98.606 s Remaining CPU time: 81.394 s 98.75/98.80 c =============================================================================== 98.75/98.80 c | 1212 | 39840 193658 439078 | 64552 1007 29 | 26.521 % | 98.75/98.87 c =============================================================================== 98.75/98.87 c New solution: 292 98.75/98.87 o 292 98.75/98.87 c Elapsed CPU time: 98.676 s Remaining CPU time: 81.324 s 98.75/98.87 c =============================================================================== 98.75/98.87 c | 1244 | 39689 193659 439378 | 64553 805 29 | 26.521 % | 98.85/98.94 c | 1344 | 39684 193659 439378 | 71008 905 30 | 27.839 % | 98.96/99.01 c =============================================================================== 98.96/99.01 c New solution: 291 98.96/99.01 o 291 98.96/99.01 c Elapsed CPU time: 98.815 s Remaining CPU time: 81.185 s 98.96/99.01 c =============================================================================== 98.96/99.01 c | 1365 | 39531 193660 439678 | 64553 926 30 | 27.839 % | 98.96/99.06 c =============================================================================== 98.96/99.06 c New solution: 290 98.96/99.06 o 290 98.96/99.06 c Elapsed CPU time: 98.866 s Remaining CPU time: 81.134 s 98.96/99.06 c =============================================================================== 98.96/99.06 c | 1366 | 39360 193661 439978 | 64553 927 30 | 27.839 % | 99.05/99.11 c =============================================================================== 99.05/99.11 c New solution: 289 99.05/99.11 o 289 99.05/99.11 c Elapsed CPU time: 98.918 s Remaining CPU time: 81.082 s 99.05/99.11 c =============================================================================== 99.05/99.11 c | 1388 | 39178 193662 440278 | 64554 949 30 | 27.839 % | 99.05/99.17 c | 1489 | 39158 193662 440278 | 71009 1050 30 | 28.816 % | 99.15/99.26 c | 1643 | 39157 193662 440278 | 78110 1204 31 | 28.816 % | 99.25/99.34 c =============================================================================== 99.25/99.34 c New solution: 288 99.25/99.34 o 288 99.25/99.34 c Elapsed CPU time: 99.1399 s Remaining CPU time: 80.8601 s 99.25/99.34 c =============================================================================== 99.25/99.34 c | 1688 | 38996 193663 440578 | 64554 966 32 | 28.816 % | 99.35/99.40 c =============================================================================== 99.35/99.40 c New solution: 287 99.35/99.40 o 287 99.35/99.40 c Elapsed CPU time: 99.2059 s Remaining CPU time: 80.7941 s 99.35/99.40 c =============================================================================== 99.35/99.40 c | 1769 | 38814 193664 440878 | 64554 1047 31 | 28.816 % | 99.35/99.47 c | 1869 | 38786 193664 440878 | 71010 1147 31 | 29.480 % | 99.45/99.55 c | 2019 | 38783 193664 440878 | 78111 1297 31 | 29.481 % | 99.55/99.60 c =============================================================================== 99.55/99.60 c New solution: 286 99.55/99.60 o 286 99.55/99.60 c Elapsed CPU time: 99.4039 s Remaining CPU time: 80.5961 s 99.55/99.60 c =============================================================================== 99.55/99.60 c | 2029 | 38632 193665 441178 | 64555 1307 31 | 29.481 % | 99.55/99.67 c | 2129 | 38602 193665 441178 | 71010 1407 32 | 29.813 % | 99.65/99.75 c | 2279 | 38450 193665 441178 | 78111 1434 34 | 29.813 % | 99.75/99.80 c =============================================================================== 99.75/99.80 c New solution: 285 99.75/99.80 o 285 99.75/99.80 c Elapsed CPU time: 99.6059 s Remaining CPU time: 80.3941 s 99.75/99.80 c =============================================================================== 99.75/99.80 c | 2305 | 38450 193666 441478 | 64555 1460 34 | 29.813 % | 99.75/99.87 c | 2405 | 38424 193666 441478 | 71010 1560 33 | 30.145 % | 99.85/99.94 c | 2555 | 38424 193666 441478 | 78111 1710 33 | 30.145 % | 100.06/100.11 c | 2780 | 38419 193666 441478 | 85923 1935 34 | 30.145 % | 100.06/100.16 c =============================================================================== 100.06/100.16 c New solution: 284 100.06/100.16 o 284 100.06/100.16 c Elapsed CPU time: 99.9628 s Remaining CPU time: 80.0372 s 100.06/100.16 c =============================================================================== 100.06/100.16 c | 2783 | 38268 193667 441778 | 64555 1894 35 | 30.145 % | 100.15/100.21 c =============================================================================== 100.15/100.21 c New solution: 283 100.15/100.21 o 283 100.15/100.21 c Elapsed CPU time: 100.014 s Remaining CPU time: 79.9862 s 100.15/100.21 c =============================================================================== 100.15/100.21 c | 2807 | 38086 193668 442078 | 64556 1918 34 | 30.145 % | 100.15/100.29 c | 2907 | 38086 193668 442078 | 71011 2018 35 | 30.810 % | 100.25/100.35 c =============================================================================== 100.25/100.35 c New solution: 282 100.25/100.35 o 282 100.25/100.35 c Elapsed CPU time: 100.155 s Remaining CPU time: 79.8452 s 100.25/100.35 c =============================================================================== 100.25/100.35 c | 2941 | 37904 193669 442378 | 64556 2052 34 | 30.810 % | 100.35/100.42 c | 3041 | 37901 193669 442378 | 71011 2152 34 | 31.142 % | 100.45/100.52 c | 3191 | 37894 193669 442378 | 78113 2302 33 | 31.142 % | 100.45/100.57 c =============================================================================== 100.45/100.57 c New solution: 281 100.45/100.57 o 281 100.45/100.57 c Elapsed CPU time: 100.369 s Remaining CPU time: 79.6313 s 100.45/100.57 c =============================================================================== 100.45/100.57 c | 3213 | 37722 193670 442678 | 64556 2063 31 | 31.142 % | 100.55/100.63 c | 3313 | 37688 193670 442678 | 71012 2163 31 | 31.474 % | 100.65/100.73 c | 3464 | 37686 193670 442678 | 78113 2314 31 | 31.474 % | 100.75/100.84 c =============================================================================== 100.75/100.84 c New solution: 280 100.75/100.84 o 280 100.75/100.84 c Elapsed CPU time: 100.633 s Remaining CPU time: 79.3673 s 100.75/100.84 c =============================================================================== 100.75/100.84 c | 3634 | 37540 193671 442978 | 64557 2484 31 | 31.474 % | 100.85/100.92 c | 3734 | 37535 193671 442978 | 71012 2584 31 | 31.807 % | 100.85/100.98 c =============================================================================== 100.85/100.98 c New solution: 279 100.85/100.98 o 279 100.85/100.98 c Elapsed CPU time: 100.769 s Remaining CPU time: 79.2313 s 100.85/100.98 c =============================================================================== 100.85/100.98 c | 3753 | 37358 193672 443278 | 64557 2411 30 | 31.807 % | 100.95/101.03 c =============================================================================== 100.95/101.03 c New solution: 278 100.95/101.03 o 278 100.95/101.03 c Elapsed CPU time: 100.822 s Remaining CPU time: 79.1783 s 100.95/101.03 c =============================================================================== 100.95/101.03 c | 3772 | 37176 193673 443578 | 64557 2430 30 | 31.807 % | 100.95/101.09 c =============================================================================== 100.95/101.09 c New solution: 277 100.95/101.09 o 277 100.95/101.09 c Elapsed CPU time: 100.878 s Remaining CPU time: 79.1223 s 100.95/101.09 c =============================================================================== 100.95/101.09 c | 3801 | 36994 193674 443878 | 64558 2459 30 | 31.807 % | 101.06/101.14 c =============================================================================== 101.06/101.14 c New solution: 276 101.06/101.14 o 276 101.06/101.14 c Elapsed CPU time: 100.927 s Remaining CPU time: 79.0733 s 101.06/101.14 c =============================================================================== 101.06/101.14 c | 3814 | 36812 193675 444178 | 64558 2472 30 | 31.807 % | 101.06/101.20 c | 3915 | 36798 193675 444178 | 71014 2573 30 | 33.135 % | 101.25/101.31 c | 4066 | 36796 193675 444178 | 78115 2724 30 | 33.135 % | 101.25/101.36 c =============================================================================== 101.25/101.36 c New solution: 275 101.25/101.36 o 275 101.25/101.36 c Elapsed CPU time: 101.155 s Remaining CPU time: 78.8454 s 101.25/101.36 c =============================================================================== 101.25/101.36 c | 4082 | 36630 193676 444478 | 64558 2740 30 | 33.135 % | 101.35/101.42 c =============================================================================== 101.35/101.42 c New solution: 274 101.35/101.42 o 274 101.35/101.42 c Elapsed CPU time: 101.21 s Remaining CPU time: 78.7904 s 101.35/101.42 c =============================================================================== 101.35/101.42 c | 4098 | 36448 193677 444778 | 64559 2232 28 | 33.135 % | 101.35/101.47 c =============================================================================== 101.35/101.47 c New solution: 273 101.35/101.47 o 273 101.35/101.47 c Elapsed CPU time: 101.258 s Remaining CPU time: 78.7424 s 101.35/101.47 c =============================================================================== 101.35/101.47 c | 4110 | 36266 193678 445078 | 64559 2244 28 | 33.135 % | 101.45/101.52 c =============================================================================== 101.45/101.52 c New solution: 272 101.45/101.52 o 272 101.45/101.52 c Elapsed CPU time: 101.314 s Remaining CPU time: 78.6864 s 101.45/101.52 c =============================================================================== 101.45/101.52 c | 4132 | 36084 193679 445378 | 64559 2266 28 | 33.135 % | 101.45/101.58 c =============================================================================== 101.45/101.58 c New solution: 271 101.45/101.58 o 271 101.45/101.58 c Elapsed CPU time: 101.372 s Remaining CPU time: 78.6284 s 101.45/101.58 c =============================================================================== 101.45/101.58 c | 4156 | 35902 193680 445678 | 64560 2290 28 | 33.135 % | 101.55/101.64 c =============================================================================== 101.55/101.64 c New solution: 270 101.55/101.64 o 270 101.55/101.64 c Elapsed CPU time: 101.426 s Remaining CPU time: 78.5744 s 101.55/101.64 c =============================================================================== 101.55/101.64 c | 4183 | 35720 193681 445978 | 64560 2317 27 | 33.135 % | 101.65/101.71 c | 4283 | 35717 193681 445978 | 71016 2417 28 | 35.128 % | 101.75/101.81 c =============================================================================== 101.75/101.81 c New solution: 269 101.75/101.81 o 269 101.75/101.81 c Elapsed CPU time: 101.594 s Remaining CPU time: 78.4064 s 101.75/101.81 c =============================================================================== 101.75/101.81 c | 4396 | 35538 193682 446278 | 64560 2530 29 | 35.128 % | 101.75/101.88 c | 4496 | 35535 193682 446278 | 71016 2630 29 | 35.461 % | 101.85/101.98 c | 4646 | 35356 193682 446278 | 78118 2090 28 | 35.461 % | 101.95/102.03 c =============================================================================== 101.95/102.03 c New solution: 268 101.95/102.03 o 268 101.95/102.03 c Elapsed CPU time: 101.817 s Remaining CPU time: 78.1835 s 101.95/102.03 c =============================================================================== 101.95/102.03 c | 4658 | 35356 193683 446578 | 64561 2102 28 | 35.461 % | 101.95/102.08 c =============================================================================== 101.95/102.08 c New solution: 267 101.95/102.08 o 267 101.95/102.08 c Elapsed CPU time: 101.869 s Remaining CPU time: 78.1315 s 101.95/102.08 c =============================================================================== 101.95/102.08 c | 4667 | 35168 193684 446878 | 64561 2111 28 | 35.461 % | 102.05/102.14 c =============================================================================== 102.05/102.14 c New solution: 266 102.05/102.14 o 266 102.05/102.14 c Elapsed CPU time: 101.931 s Remaining CPU time: 78.0695 s 102.05/102.14 c =============================================================================== 102.05/102.14 c | 4711 | 34988 193685 447178 | 64561 2155 28 | 35.461 % | 102.15/102.22 c | 4811 | 34976 193685 447178 | 71017 2255 28 | 36.461 % | 102.15/102.27 c =============================================================================== 102.15/102.27 c New solution: 265 102.15/102.27 o 265 102.15/102.27 c Elapsed CPU time: 102.053 s Remaining CPU time: 77.9465 s 102.15/102.27 c =============================================================================== 102.15/102.27 c | 4826 | 34808 193686 447478 | 64562 2270 28 | 36.461 % | 102.25/102.31 c =============================================================================== 102.25/102.31 c New solution: 264 102.25/102.31 o 264 102.25/102.31 c Elapsed CPU time: 102.1 s Remaining CPU time: 77.8995 s 102.25/102.31 c =============================================================================== 102.25/102.31 c | 4844 | 34628 193687 447778 | 64562 2288 28 | 36.461 % | 102.25/102.40 c | 4944 | 34616 193687 447778 | 71018 2388 28 | 37.122 % | 102.35/102.44 c =============================================================================== 102.35/102.44 c New solution: 263 102.35/102.44 o 263 102.35/102.44 c Elapsed CPU time: 102.23 s Remaining CPU time: 77.7695 s 102.35/102.44 c =============================================================================== 102.35/102.44 c | 4950 | 34446 193688 448078 | 64562 1773 27 | 37.122 % | 102.35/102.49 c =============================================================================== 102.35/102.49 c New solution: 262 102.35/102.49 o 262 102.35/102.49 c Elapsed CPU time: 102.274 s Remaining CPU time: 77.7255 s 102.35/102.49 c =============================================================================== 102.35/102.49 c | 4952 | 34264 193689 448378 | 64563 1775 27 | 37.122 % | 102.45/102.53 c =============================================================================== 102.45/102.53 c New solution: 261 102.45/102.53 o 261 102.45/102.53 c Elapsed CPU time: 102.316 s Remaining CPU time: 77.6836 s 102.45/102.53 c =============================================================================== 102.45/102.53 c | 4955 | 34082 193690 448678 | 64563 1778 27 | 37.122 % | 102.45/102.58 c =============================================================================== 102.45/102.58 c New solution: 260 102.45/102.58 o 260 102.45/102.58 c Elapsed CPU time: 102.364 s Remaining CPU time: 77.6356 s 102.45/102.58 c =============================================================================== 102.45/102.58 c | 4967 | 33900 193691 448978 | 64563 1790 27 | 37.122 % | 102.55/102.64 c =============================================================================== 102.55/102.64 c New solution: 259 102.55/102.64 o 259 102.55/102.64 c Elapsed CPU time: 102.427 s Remaining CPU time: 77.5726 s 102.55/102.64 c =============================================================================== 102.55/102.64 c | 5008 | 33718 193692 449278 | 64564 1831 27 | 37.122 % | 102.64/102.70 c | 5108 | 33698 193692 449278 | 71020 1931 27 | 38.797 % | 102.75/102.81 c | 5258 | 33697 193692 449278 | 78122 2081 27 | 38.797 % | 102.75/102.87 c =============================================================================== 102.75/102.87 c New solution: 258 102.75/102.87 o 258 102.75/102.87 c Elapsed CPU time: 102.649 s Remaining CPU time: 77.3506 s 102.75/102.87 c =============================================================================== 102.75/102.87 c | 5284 | 33528 193693 449578 | 64564 2107 27 | 38.797 % | 102.85/102.92 c =============================================================================== 102.85/102.92 c New solution: 257 102.85/102.92 o 257 102.85/102.92 c Elapsed CPU time: 102.699 s Remaining CPU time: 77.3006 s 102.85/102.92 c =============================================================================== 102.85/102.92 c | 5292 | 33348 193694 449878 | 64564 1660 27 | 38.797 % | 102.85/102.99 c | 5392 | 33310 193694 449878 | 71021 1760 28 | 39.455 % | 102.95/103.09 c | 5543 | 33308 193694 449878 | 78123 1911 29 | 39.455 % | 103.05/103.16 c =============================================================================== 103.05/103.16 c New solution: 256 103.05/103.16 o 256 103.05/103.16 c Elapsed CPU time: 102.934 s Remaining CPU time: 77.0656 s 103.05/103.16 c =============================================================================== 103.05/103.16 c | 5573 | 33168 193695 450178 | 64565 1941 28 | 39.455 % | 103.15/103.23 c | 5674 | 33165 193695 450178 | 71021 2042 29 | 39.783 % | 103.15/103.29 c =============================================================================== 103.15/103.29 c New solution: 255 103.15/103.29 o 255 103.15/103.29 c Elapsed CPU time: 103.065 s Remaining CPU time: 76.9347 s 103.15/103.29 c =============================================================================== 103.15/103.29 c | 5709 | 32988 193696 450478 | 64565 2077 28 | 39.783 % | 103.26/103.35 c =============================================================================== 103.26/103.35 c New solution: 254 103.26/103.35 o 254 103.26/103.35 c Elapsed CPU time: 103.124 s Remaining CPU time: 76.8757 s 103.26/103.35 c =============================================================================== 103.26/103.35 c | 5720 | 32808 193697 450778 | 64565 1837 28 | 39.783 % | 103.26/103.40 c =============================================================================== 103.26/103.40 c New solution: 253 103.26/103.40 o 253 103.26/103.40 c Elapsed CPU time: 103.175 s Remaining CPU time: 76.8247 s 103.26/103.40 c =============================================================================== 103.26/103.40 c | 5734 | 32626 193698 451078 | 64566 1851 28 | 39.783 % | 103.36/103.47 c | 5834 | 32624 193698 451078 | 71022 1951 29 | 40.776 % | 103.45/103.53 c =============================================================================== 103.45/103.53 c New solution: 252 103.45/103.53 o 252 103.45/103.53 c Elapsed CPU time: 103.302 s Remaining CPU time: 76.6977 s 103.45/103.53 c =============================================================================== 103.45/103.53 c | 5853 | 32444 193699 451378 | 64566 1970 29 | 40.776 % | 103.45/103.58 c =============================================================================== 103.45/103.58 c New solution: 251 103.45/103.58 o 251 103.45/103.58 c Elapsed CPU time: 103.352 s Remaining CPU time: 76.6477 s 103.45/103.58 c =============================================================================== 103.45/103.58 c | 5864 | 32262 193700 451678 | 64566 1981 28 | 40.776 % | 103.55/103.65 c | 5966 | 32254 193700 451678 | 71023 2083 29 | 41.441 % | 103.65/103.70 c =============================================================================== 103.65/103.70 c New solution: 250 103.65/103.70 o 250 103.65/103.70 c Elapsed CPU time: 103.473 s Remaining CPU time: 76.5267 s 103.65/103.70 c =============================================================================== 103.65/103.70 c | 5975 | 32080 193701 451978 | 64567 2092 29 | 41.441 % | 103.65/103.75 c =============================================================================== 103.65/103.75 c New solution: 249 103.65/103.75 o 249 103.65/103.75 c Elapsed CPU time: 103.522 s Remaining CPU time: 76.4777 s 103.65/103.75 c =============================================================================== 103.65/103.75 c | 5992 | 31898 193702 452278 | 64567 2109 29 | 41.441 % | 103.75/103.80 c | 6092 | 31894 193702 452278 | 71024 2209 29 | 42.105 % | 103.75/103.87 c =============================================================================== 103.75/103.87 c New solution: 248 103.75/103.87 o 248 103.75/103.87 c Elapsed CPU time: 103.641 s Remaining CPU time: 76.3588 s 103.75/103.87 c =============================================================================== 103.75/103.87 c | 6122 | 31716 193703 452578 | 64567 1674 29 | 42.105 % | 103.85/103.94 c | 6222 | 31714 193703 452578 | 71024 1774 29 | 42.437 % | 103.85/103.99 c =============================================================================== 103.85/103.99 c New solution: 247 103.85/103.99 o 247 103.85/103.99 c Elapsed CPU time: 103.761 s Remaining CPU time: 76.2388 s 103.85/103.99 c =============================================================================== 103.85/103.99 c | 6233 | 31534 193704 452878 | 64568 1785 29 | 42.437 % | 103.95/104.04 c =============================================================================== 103.95/104.04 c New solution: 246 103.95/104.04 o 246 103.95/104.04 c Elapsed CPU time: 103.815 s Remaining CPU time: 76.1848 s 103.95/104.04 c =============================================================================== 103.95/104.04 c | 6278 | 31352 193705 453178 | 64568 1830 29 | 42.437 % | 104.05/104.10 c | 6379 | 31347 193705 453178 | 71025 1931 30 | 43.102 % | 104.05/104.17 c =============================================================================== 104.05/104.17 c New solution: 245 104.05/104.17 o 245 104.05/104.17 c Elapsed CPU time: 103.947 s Remaining CPU time: 76.0528 s 104.05/104.17 c =============================================================================== 104.05/104.17 c | 6417 | 31166 193706 453478 | 64568 1969 29 | 43.102 % | 104.15/104.22 c =============================================================================== 104.15/104.22 c New solution: 244 104.15/104.22 o 244 104.15/104.22 c Elapsed CPU time: 103.994 s Remaining CPU time: 76.0058 s 104.15/104.22 c =============================================================================== 104.15/104.22 c | 6429 | 30986 193707 453778 | 64569 1981 29 | 43.102 % | 104.15/104.28 c | 6530 | 30961 193707 453778 | 71025 2082 30 | 43.766 % | 104.25/104.38 c | 6681 | 30806 193707 453778 | 78128 1786 29 | 43.766 % | 104.35/104.44 c =============================================================================== 104.35/104.44 c New solution: 243 104.35/104.44 o 243 104.35/104.44 c Elapsed CPU time: 104.21 s Remaining CPU time: 75.7898 s 104.35/104.44 c =============================================================================== 104.35/104.44 c | 6718 | 30806 193708 454078 | 64569 1823 29 | 43.766 % | 104.35/104.49 c | 6818 | 30805 193708 454078 | 71026 1923 29 | 44.098 % | 104.45/104.59 c | 6969 | 30796 193708 454078 | 78128 2074 29 | 44.099 % | 104.54/104.64 c =============================================================================== 104.54/104.64 c New solution: 242 104.54/104.64 o 242 104.54/104.64 c Elapsed CPU time: 104.417 s Remaining CPU time: 75.5829 s 104.54/104.64 c =============================================================================== 104.54/104.64 c | 6985 | 30624 193709 454378 | 64569 2090 29 | 44.099 % | 104.64/104.70 c =============================================================================== 104.64/104.70 c New solution: 241 104.64/104.70 o 241 104.64/104.70 c Elapsed CPU time: 104.471 s Remaining CPU time: 75.5289 s 104.64/104.70 c =============================================================================== 104.64/104.70 c | 7011 | 30442 193710 454678 | 64570 2116 29 | 44.099 % | 104.64/104.76 c =============================================================================== 104.64/104.76 c New solution: 240 104.64/104.76 o 240 104.64/104.76 c Elapsed CPU time: 104.535 s Remaining CPU time: 75.4649 s 104.64/104.76 c =============================================================================== 104.64/104.76 c | 7039 | 30260 193711 454978 | 64570 1857 28 | 44.099 % | 104.74/104.83 c | 7139 | 30253 193711 454978 | 71027 1957 28 | 45.095 % | 104.84/104.90 c =============================================================================== 104.84/104.90 c New solution: 239 104.84/104.90 o 239 104.84/104.90 c Elapsed CPU time: 104.67 s Remaining CPU time: 75.3299 s 104.84/104.90 c =============================================================================== 104.84/104.90 c | 7183 | 30078 193712 455278 | 64570 2001 28 | 45.095 % | 104.84/104.97 c | 7283 | 30069 193712 455278 | 71027 2101 29 | 45.427 % | 104.94/105.09 c | 7433 | 30063 193712 455278 | 78130 2251 30 | 45.427 % | 105.04/105.15 c =============================================================================== 105.04/105.15 c New solution: 238 105.04/105.15 o 238 105.04/105.15 c Elapsed CPU time: 104.916 s Remaining CPU time: 75.084 s 105.04/105.15 c =============================================================================== 105.04/105.15 c | 7456 | 29896 193713 455578 | 64571 2274 30 | 45.427 % | 105.15/105.20 c =============================================================================== 105.15/105.20 c New solution: 237 105.15/105.20 o 237 105.15/105.20 c Elapsed CPU time: 104.974 s Remaining CPU time: 75.026 s 105.15/105.20 c =============================================================================== 105.15/105.20 c | 7486 | 29714 193714 455878 | 64571 2067 30 | 45.427 % | 105.15/105.27 c | 7586 | 29709 193714 455878 | 71028 2167 30 | 46.092 % | 105.25/105.33 c =============================================================================== 105.25/105.33 c New solution: 236 105.25/105.33 o 236 105.25/105.33 c Elapsed CPU time: 105.097 s Remaining CPU time: 74.903 s 105.25/105.33 c =============================================================================== 105.25/105.33 c | 7632 | 29532 193715 456178 | 64571 2213 30 | 46.092 % | 105.25/105.39 c | 7733 | 29527 193715 456178 | 71028 2314 31 | 46.424 % | 105.35/105.48 c =============================================================================== 105.35/105.48 c New solution: 235 105.35/105.48 o 235 105.35/105.48 c Elapsed CPU time: 105.25 s Remaining CPU time: 74.75 s 105.35/105.48 c =============================================================================== 105.35/105.48 c | 7827 | 29350 193716 456478 | 64572 2408 30 | 46.424 % | 105.46/105.52 c =============================================================================== 105.46/105.52 c New solution: 234 105.46/105.52 o 234 105.46/105.52 c Elapsed CPU time: 105.291 s Remaining CPU time: 74.709 s 105.46/105.52 c =============================================================================== 105.46/105.52 c | 7830 | 29168 193717 456778 | 64572 2411 30 | 46.424 % | 105.46/105.57 c =============================================================================== 105.46/105.57 c New solution: 233 105.46/105.57 o 233 105.46/105.57 c Elapsed CPU time: 105.335 s Remaining CPU time: 74.665 s 105.46/105.57 c =============================================================================== 105.46/105.57 c | 7846 | 28986 193718 457078 | 64572 2427 30 | 46.424 % | 105.56/105.62 c | 7948 | 28980 193718 457078 | 71029 2529 30 | 47.421 % | 105.65/105.72 c | 8100 | 28804 193718 457078 | 78132 2192 29 | 47.421 % | 105.65/105.79 c =============================================================================== 105.65/105.79 c New solution: 232 105.65/105.79 o 232 105.65/105.79 c Elapsed CPU time: 105.556 s Remaining CPU time: 74.444 s 105.65/105.79 c =============================================================================== 105.65/105.79 c | 8175 | 28804 193719 457378 | 64573 2267 30 | 47.421 % | 105.75/105.86 c | 8275 | 28795 193719 457378 | 71030 2367 30 | 47.753 % | 105.85/105.91 c =============================================================================== 105.85/105.91 c New solution: 231 105.85/105.91 o 231 105.85/105.91 c Elapsed CPU time: 105.674 s Remaining CPU time: 74.3261 s 105.85/105.91 c =============================================================================== 105.85/105.91 c | 8287 | 28622 193720 457678 | 64573 2379 30 | 47.753 % | 105.85/105.95 c =============================================================================== 105.85/105.95 c New solution: 230 105.85/105.95 o 230 105.85/105.95 c Elapsed CPU time: 105.72 s Remaining CPU time: 74.2801 s 105.85/105.95 c =============================================================================== 105.85/105.95 c | 8307 | 28440 193721 457978 | 64573 2399 30 | 47.753 % | 105.95/106.01 c =============================================================================== 105.95/106.01 c New solution: 229 105.95/106.01 o 229 105.95/106.01 c Elapsed CPU time: 105.77 s Remaining CPU time: 74.2301 s 105.95/106.01 c =============================================================================== 105.95/106.01 c | 8318 | 28258 193722 458278 | 64574 2410 30 | 47.753 % | 105.95/106.06 c =============================================================================== 105.95/106.06 c New solution: 228 105.95/106.06 o 228 105.95/106.06 c Elapsed CPU time: 105.822 s Remaining CPU time: 74.1781 s 105.95/106.06 c =============================================================================== 105.95/106.06 c | 8341 | 28076 193723 458578 | 64574 2433 30 | 47.753 % | 106.05/106.13 c | 8441 | 28074 193723 458578 | 71031 2533 29 | 49.082 % | 106.05/106.18 c =============================================================================== 106.05/106.18 c New solution: 227 106.05/106.18 o 227 106.05/106.18 c Elapsed CPU time: 105.941 s Remaining CPU time: 74.0591 s 106.05/106.18 c =============================================================================== 106.05/106.18 c | 8450 | 27894 193724 458878 | 64574 1897 28 | 49.082 % | 106.15/106.22 c =============================================================================== 106.15/106.22 c New solution: 226 106.15/106.22 o 226 106.15/106.22 c Elapsed CPU time: 105.987 s Remaining CPU time: 74.0131 s 106.15/106.22 c =============================================================================== 106.15/106.22 c | 8459 | 27712 193725 459178 | 64575 1906 28 | 49.082 % | 106.15/106.27 c =============================================================================== 106.15/106.27 c New solution: 225 106.15/106.27 o 225 106.15/106.27 c Elapsed CPU time: 106.028 s Remaining CPU time: 73.9721 s 106.15/106.27 c =============================================================================== 106.15/106.27 c | 8469 | 27530 193726 459478 | 64575 1916 28 | 49.082 % | 106.24/106.33 c =============================================================================== 106.24/106.33 c New solution: 224 106.24/106.33 o 224 106.24/106.33 c Elapsed CPU time: 106.088 s Remaining CPU time: 73.9121 s 106.24/106.33 c =============================================================================== 106.24/106.33 c | 8488 | 27348 193727 459778 | 64575 1935 28 | 49.082 % | 106.34/106.42 c =============================================================================== 106.34/106.42 c New solution: 223 106.34/106.42 o 223 106.34/106.42 c Elapsed CPU time: 106.181 s Remaining CPU time: 73.8191 s 106.34/106.42 c =============================================================================== 106.34/106.42 c | 8574 | 27166 193728 460078 | 64576 2021 28 | 49.082 % | 106.34/106.47 c =============================================================================== 106.34/106.47 c New solution: 222 106.34/106.47 o 222 106.34/106.47 c Elapsed CPU time: 106.234 s Remaining CPU time: 73.7661 s 106.34/106.47 c =============================================================================== 106.34/106.47 c | 8597 | 26984 193729 460378 | 64576 2044 28 | 49.082 % | 106.44/106.53 c =============================================================================== 106.44/106.53 c New solution: 221 106.44/106.53 o 221 106.44/106.53 c Elapsed CPU time: 106.287 s Remaining CPU time: 73.7132 s 106.44/106.53 c =============================================================================== 106.44/106.53 c | 8645 | 26802 193730 460678 | 64576 2092 28 | 49.082 % | 106.44/106.58 c | 8745 | 26799 193730 460678 | 71034 2192 28 | 51.407 % | 106.55/106.69 c | 8895 | 26791 193730 460678 | 78137 2342 28 | 51.407 % | 106.65/106.73 c =============================================================================== 106.65/106.73 c New solution: 220 106.65/106.73 o 220 106.65/106.73 c Elapsed CPU time: 106.491 s Remaining CPU time: 73.5092 s 106.65/106.73 c =============================================================================== 106.65/106.73 c | 8902 | 26620 193731 460978 | 64577 1640 28 | 51.407 % | 106.65/106.78 c =============================================================================== 106.65/106.78 c New solution: 219 106.65/106.78 o 219 106.65/106.78 c Elapsed CPU time: 106.541 s Remaining CPU time: 73.4592 s 106.65/106.78 c =============================================================================== 106.65/106.78 c | 8912 | 26438 193732 461278 | 64577 1650 28 | 51.407 % | 106.75/106.84 c =============================================================================== 106.75/106.84 c New solution: 218 106.75/106.84 o 218 106.75/106.84 c Elapsed CPU time: 106.597 s Remaining CPU time: 73.4032 s 106.75/106.84 c =============================================================================== 106.75/106.84 c | 8965 | 26256 193733 461578 | 64577 1703 27 | 51.407 % | 106.85/106.90 c | 9065 | 26250 193733 461578 | 71035 1803 27 | 52.404 % | 106.85/106.99 c =============================================================================== 106.85/106.99 c New solution: 217 106.85/106.99 o 217 106.85/106.99 c Elapsed CPU time: 106.742 s Remaining CPU time: 73.2582 s 106.85/106.99 c =============================================================================== 106.85/106.99 c | 9194 | 26074 193734 461878 | 64578 1932 27 | 52.404 % | 106.95/107.05 c | 9294 | 26069 193734 461878 | 71035 2032 27 | 52.736 % | 106.95/107.09 c =============================================================================== 106.95/107.09 c New solution: 216 106.95/107.09 o 216 106.95/107.09 c Elapsed CPU time: 106.844 s Remaining CPU time: 73.1562 s 106.95/107.09 c =============================================================================== 106.95/107.09 c | 9306 | 25892 193735 462178 | 64578 2044 27 | 52.736 % | 107.05/107.13 c =============================================================================== 107.05/107.13 c New solution: 215 107.05/107.13 o 215 107.05/107.13 c Elapsed CPU time: 106.883 s Remaining CPU time: 73.1172 s 107.05/107.13 c =============================================================================== 107.05/107.13 c | 9309 | 25710 193736 462478 | 64578 2047 27 | 52.736 % | 107.05/107.18 c | 9410 | 25678 193736 462478 | 71036 2148 27 | 53.401 % | 107.15/107.28 c | 9561 | 25528 193736 462478 | 78140 1717 26 | 53.401 % | 107.25/107.32 c =============================================================================== 107.25/107.32 c New solution: 214 107.25/107.32 o 214 107.25/107.32 c Elapsed CPU time: 107.07 s Remaining CPU time: 72.9303 s 107.25/107.32 c =============================================================================== 107.25/107.32 c | 9567 | 25528 193737 462778 | 64579 1723 26 | 53.401 % | 107.25/107.36 c =============================================================================== 107.25/107.36 c New solution: 213 107.25/107.36 o 213 107.25/107.36 c Elapsed CPU time: 107.114 s Remaining CPU time: 72.8863 s 107.25/107.36 c =============================================================================== 107.25/107.36 c | 9574 | 25346 193738 463078 | 64579 1730 26 | 53.401 % | 107.35/107.40 c =============================================================================== 107.35/107.40 c New solution: 212 107.35/107.40 o 212 107.35/107.40 c Elapsed CPU time: 107.157 s Remaining CPU time: 72.8433 s 107.35/107.40 c =============================================================================== 107.35/107.40 c | 9583 | 25164 193739 463378 | 64579 1739 26 | 53.401 % | 107.35/107.46 c =============================================================================== 107.35/107.46 c New solution: 211 107.35/107.46 o 211 107.35/107.46 c Elapsed CPU time: 107.218 s Remaining CPU time: 72.7823 s 107.35/107.47 c =============================================================================== 107.35/107.47 c | 9623 | 24982 193740 463678 | 64580 1779 26 | 53.401 % | 107.44/107.50 c =============================================================================== 107.44/107.50 c New solution: 210 107.44/107.50 o 210 107.44/107.50 c Elapsed CPU time: 107.256 s Remaining CPU time: 72.7443 s 107.44/107.50 c =============================================================================== 107.44/107.50 c | 9630 | 24800 193741 463978 | 64580 1786 26 | 53.401 % | 107.44/107.55 c =============================================================================== 107.44/107.55 c New solution: 209 107.44/107.55 o 209 107.44/107.55 c Elapsed CPU time: 107.301 s Remaining CPU time: 72.6993 s 107.44/107.55 c =============================================================================== 107.44/107.55 c | 9653 | 24618 193742 464278 | 64580 1809 26 | 53.401 % | 107.44/107.59 c | 9753 | 24613 193742 464278 | 71038 1909 26 | 55.394 % | 107.65/107.71 c | 9903 | 24608 193742 464278 | 78142 2059 27 | 55.394 % | 107.65/107.76 c =============================================================================== 107.65/107.76 c New solution: 208 107.65/107.76 o 208 107.65/107.76 c Elapsed CPU time: 107.51 s Remaining CPU time: 72.4903 s 107.65/107.76 c =============================================================================== 107.65/107.76 c | 9918 | 24436 193743 464578 | 64581 1590 26 | 55.394 % | 107.75/107.83 c =============================================================================== 107.75/107.83 c New solution: 207 107.75/107.83 o 207 107.75/107.83 c Elapsed CPU time: 107.578 s Remaining CPU time: 72.4224 s 107.75/107.83 c =============================================================================== 107.75/107.83 c | 9993 | 24254 193744 464878 | 64581 1665 27 | 55.394 % | 107.84/107.91 c | 10094 | 24248 193744 464878 | 71039 1766 27 | 56.059 % | 107.84/107.99 c =============================================================================== 107.84/107.99 c New solution: 206 107.84/107.99 o 206 107.84/107.99 c Elapsed CPU time: 107.738 s Remaining CPU time: 72.2624 s 107.84/107.99 c =============================================================================== 107.84/107.99 c | 10155 | 24072 193745 465178 | 64581 1827 27 | 56.059 % | 107.94/108.03 c =============================================================================== 107.94/108.03 c New solution: 205 107.94/108.03 o 205 107.94/108.03 c Elapsed CPU time: 107.781 s Remaining CPU time: 72.2194 s 107.94/108.03 c =============================================================================== 107.94/108.03 c | 10173 | 23890 193746 465478 | 64582 1845 27 | 56.059 % | 107.94/108.08 c =============================================================================== 107.94/108.08 c New solution: 204 107.94/108.08 o 204 107.94/108.08 c Elapsed CPU time: 107.828 s Remaining CPU time: 72.1724 s 107.94/108.08 c =============================================================================== 107.94/108.08 c | 10195 | 23708 193747 465778 | 64582 1867 27 | 56.059 % | 108.04/108.13 c | 10295 | 23663 193747 465778 | 71040 1967 27 | 57.055 % | 108.14/108.25 c | 10445 | 23662 193747 465778 | 78144 2117 28 | 57.055 % | 108.25/108.32 c =============================================================================== 108.25/108.32 c New solution: 203 108.25/108.32 o 203 108.25/108.32 c Elapsed CPU time: 108.065 s Remaining CPU time: 71.9354 s 108.25/108.32 c =============================================================================== 108.25/108.32 c | 10489 | 23526 193748 466078 | 64582 1768 29 | 57.055 % | 108.25/108.38 c | 10590 | 23517 193748 466078 | 71040 1869 29 | 57.387 % | 108.35/108.47 c | 10740 | 23512 193748 466078 | 78145 2019 28 | 57.387 % | 108.45/108.51 c =============================================================================== 108.45/108.51 c New solution: 202 108.45/108.51 o 202 108.45/108.51 c Elapsed CPU time: 108.255 s Remaining CPU time: 71.7455 s 108.45/108.51 c =============================================================================== 108.45/108.51 c | 10746 | 23344 193749 466378 | 64583 2025 28 | 57.387 % | 108.45/108.55 c =============================================================================== 108.45/108.55 c New solution: 201 108.45/108.55 o 201 108.45/108.55 c Elapsed CPU time: 108.297 s Remaining CPU time: 71.7035 s 108.45/108.55 c =============================================================================== 108.45/108.55 c | 10754 | 23162 193750 466678 | 64583 2033 28 | 57.387 % | 108.45/108.59 c =============================================================================== 108.45/108.59 c New solution: 200 108.45/108.59 o 200 108.45/108.59 c Elapsed CPU time: 108.339 s Remaining CPU time: 71.6615 s 108.45/108.59 c =============================================================================== 108.45/108.59 c | 10771 | 22980 193751 466978 | 64583 2050 28 | 57.387 % | 108.55/108.65 c | 10872 | 22979 193751 466978 | 71042 2151 28 | 58.384 % | 108.65/108.74 c | 11024 | 22968 193751 466978 | 78146 2303 28 | 58.384 % | 108.65/108.78 c =============================================================================== 108.65/108.78 c New solution: 199 108.65/108.78 o 199 108.65/108.78 c Elapsed CPU time: 108.529 s Remaining CPU time: 71.4715 s 108.65/108.78 c =============================================================================== 108.65/108.78 c | 11031 | 22798 193752 467278 | 64584 1861 27 | 58.384 % | 108.76/108.82 c =============================================================================== 108.76/108.82 c New solution: 198 108.76/108.82 o 198 108.76/108.82 c Elapsed CPU time: 108.569 s Remaining CPU time: 71.4305 s 108.76/108.82 c =============================================================================== 108.76/108.82 c | 11040 | 22616 193753 467578 | 64584 1870 27 | 58.384 % | 108.76/108.86 c =============================================================================== 108.76/108.86 c New solution: 197 108.76/108.86 o 197 108.76/108.86 c Elapsed CPU time: 108.608 s Remaining CPU time: 71.3915 s 108.76/108.86 c =============================================================================== 108.76/108.86 c | 11050 | 22434 193754 467878 | 64584 1880 27 | 58.384 % | 108.86/108.91 c =============================================================================== 108.86/108.91 c New solution: 196 108.86/108.91 o 196 108.86/108.91 c Elapsed CPU time: 108.657 s Remaining CPU time: 71.3425 s 108.86/108.91 c =============================================================================== 108.86/108.91 c | 11088 | 22252 193755 468178 | 64585 1918 27 | 58.384 % | 108.95/109.01 c | 11189 | 22243 193755 468178 | 71043 2019 27 | 59.713 % | 108.95/109.06 c =============================================================================== 108.95/109.06 c New solution: 195 108.95/109.06 o 195 108.95/109.06 c Elapsed CPU time: 108.808 s Remaining CPU time: 71.1915 s 108.95/109.06 c =============================================================================== 108.95/109.06 c | 11245 | 22070 193756 468478 | 64585 2075 27 | 59.713 % | 109.05/109.14 c | 11345 | 22070 193756 468478 | 71043 2175 27 | 60.045 % | 109.05/109.18 c =============================================================================== 109.05/109.18 c New solution: 194 109.05/109.18 o 194 109.05/109.18 c Elapsed CPU time: 108.928 s Remaining CPU time: 71.0716 s 109.05/109.18 c =============================================================================== 109.05/109.18 c | 11363 | 21888 193757 468778 | 64585 2193 27 | 60.045 % | 109.15/109.22 c =============================================================================== 109.15/109.22 c New solution: 193 109.15/109.22 o 193 109.15/109.22 c Elapsed CPU time: 108.968 s Remaining CPU time: 71.0316 s 109.15/109.22 c =============================================================================== 109.15/109.22 c | 11377 | 21706 193758 469078 | 64586 2207 27 | 60.045 % | 109.25/109.30 c =============================================================================== 109.25/109.30 c New solution: 192 109.25/109.30 o 192 109.25/109.30 c Elapsed CPU time: 109.045 s Remaining CPU time: 70.9546 s 109.25/109.30 c =============================================================================== 109.25/109.30 c | 11437 | 21524 193759 469378 | 64586 2267 27 | 60.045 % | 109.25/109.34 c | 11537 | 21342 193759 469378 | 71044 1556 27 | 61.042 % | 109.35/109.45 c | 11687 | 21342 193759 469378 | 78149 1706 29 | 61.042 % | 109.45/109.51 c =============================================================================== 109.45/109.51 c New solution: 191 109.45/109.51 o 191 109.45/109.51 c Elapsed CPU time: 109.257 s Remaining CPU time: 70.7426 s 109.45/109.51 c =============================================================================== 109.45/109.51 c | 11735 | 21342 193760 469678 | 64586 1754 29 | 61.042 % | 109.45/109.57 c =============================================================================== 109.45/109.57 c New solution: 190 109.45/109.57 o 190 109.45/109.57 c Elapsed CPU time: 109.319 s Remaining CPU time: 70.6806 s 109.45/109.57 c =============================================================================== 109.45/109.57 c | 11773 | 21160 193761 469978 | 64587 1792 29 | 61.042 % | 109.55/109.62 c =============================================================================== 109.55/109.62 c New solution: 189 109.55/109.62 o 189 109.55/109.62 c Elapsed CPU time: 109.364 s Remaining CPU time: 70.6356 s 109.55/109.62 c =============================================================================== 109.55/109.62 c | 11788 | 20978 193762 470278 | 64587 1807 29 | 61.042 % | 109.55/109.67 c =============================================================================== 109.55/109.67 c New solution: 188 109.55/109.67 o 188 109.55/109.67 c Elapsed CPU time: 109.413 s Remaining CPU time: 70.5866 s 109.55/109.67 c =============================================================================== 109.55/109.67 c | 11823 | 20796 193763 470578 | 64587 1842 28 | 61.042 % | 109.65/109.75 c | 11924 | 20790 193763 470578 | 71046 1943 29 | 62.371 % | 109.65/109.79 c =============================================================================== 109.65/109.79 c New solution: 187 109.65/109.79 o 187 109.65/109.79 c Elapsed CPU time: 109.536 s Remaining CPU time: 70.4637 s 109.65/109.79 c =============================================================================== 109.65/109.79 c | 11944 | 20614 193764 470878 | 64588 1963 29 | 62.371 % | 109.75/109.84 c =============================================================================== 109.75/109.84 c New solution: 186 109.75/109.84 o 186 109.75/109.84 c Elapsed CPU time: 109.584 s Remaining CPU time: 70.4157 s 109.75/109.84 c =============================================================================== 109.75/109.84 c | 11971 | 20432 193765 471178 | 64588 1990 29 | 62.371 % | 109.75/109.89 c =============================================================================== 109.75/109.89 c New solution: 185 109.75/109.89 o 185 109.75/109.89 c Elapsed CPU time: 109.635 s Remaining CPU time: 70.3647 s 109.75/109.89 c =============================================================================== 109.75/109.89 c | 11997 | 20250 193766 471478 | 64588 1547 27 | 62.371 % | 109.85/109.98 c =============================================================================== 109.85/109.98 c New solution: 184 109.85/109.98 o 184 109.85/109.98 c Elapsed CPU time: 109.727 s Remaining CPU time: 70.2727 s 109.85/109.98 c =============================================================================== 109.85/109.98 c | 12074 | 20068 193767 471778 | 64589 1624 27 | 62.371 % | 109.95/110.05 c =============================================================================== 109.95/110.05 c New solution: 183 109.95/110.05 o 183 109.95/110.05 c Elapsed CPU time: 109.798 s Remaining CPU time: 70.2017 s 109.95/110.05 c =============================================================================== 109.95/110.05 c | 12139 | 19886 193768 472078 | 64589 1689 28 | 62.371 % | 110.04/110.12 c =============================================================================== 110.04/110.12 c New solution: 182 110.04/110.12 o 182 110.04/110.12 c Elapsed CPU time: 109.861 s Remaining CPU time: 70.1387 s 110.04/110.12 c =============================================================================== 110.04/110.12 c | 12177 | 19704 193769 472378 | 64589 1727 28 | 62.371 % | 110.04/110.16 c =============================================================================== 110.04/110.16 c New solution: 181 110.04/110.16 o 181 110.04/110.16 c Elapsed CPU time: 109.9 s Remaining CPU time: 70.0997 s 110.04/110.16 c =============================================================================== 110.04/110.16 c | 12191 | 19522 193770 472678 | 64590 1741 28 | 62.371 % | 110.14/110.22 c | 12291 | 19516 193770 472678 | 71049 1841 28 | 64.696 % | 110.14/110.27 c =============================================================================== 110.14/110.27 c New solution: 180 110.14/110.27 o 180 110.14/110.27 c Elapsed CPU time: 110.014 s Remaining CPU time: 69.9857 s 110.14/110.27 c =============================================================================== 110.14/110.27 c | 12311 | 19340 193771 472978 | 64590 1861 28 | 64.696 % | 110.24/110.32 c =============================================================================== 110.24/110.32 c New solution: 179 110.24/110.32 o 179 110.24/110.32 c Elapsed CPU time: 110.061 s Remaining CPU time: 69.9387 s 110.24/110.32 c =============================================================================== 110.24/110.32 c | 12350 | 19158 193772 473278 | 64590 1900 28 | 64.696 % | 110.35/110.40 c =============================================================================== 110.35/110.40 c New solution: 178 110.35/110.40 o 178 110.35/110.40 c Elapsed CPU time: 110.137 s Remaining CPU time: 69.8627 s 110.35/110.40 c =============================================================================== 110.35/110.40 c | 12404 | 18976 193773 473578 | 64591 1954 28 | 64.696 % | 110.35/110.45 c | 12504 | 18954 193773 473578 | 71050 2054 29 | 65.693 % | 110.45/110.57 c | 12654 | 18794 193773 473578 | 78155 1494 27 | 65.693 % | 110.55/110.60 c =============================================================================== 110.55/110.60 c New solution: 177 110.55/110.60 o 177 110.55/110.60 c Elapsed CPU time: 110.343 s Remaining CPU time: 69.6568 s 110.55/110.60 c =============================================================================== 110.55/110.60 c | 12668 | 18794 193774 473878 | 64591 1508 27 | 65.693 % | 110.55/110.66 c =============================================================================== 110.55/110.66 c New solution: 176 110.55/110.66 o 176 110.55/110.66 c Elapsed CPU time: 110.394 s Remaining CPU time: 69.6058 s 110.55/110.66 c =============================================================================== 110.55/110.66 c | 12719 | 18612 193775 474178 | 64591 1559 27 | 65.693 % | 110.65/110.71 c | 12820 | 18599 193775 474178 | 71050 1660 27 | 66.358 % | 110.75/110.81 c | 12970 | 18596 193775 474178 | 78155 1810 28 | 66.358 % | 110.75/110.85 c =============================================================================== 110.75/110.85 c New solution: 175 110.75/110.85 o 175 110.75/110.85 c Elapsed CPU time: 110.591 s Remaining CPU time: 69.4088 s 110.75/110.85 c =============================================================================== 110.75/110.85 c | 12996 | 18430 193776 474478 | 64592 1836 28 | 66.358 % | 110.85/110.94 c | 13096 | 18408 193776 474478 | 71051 1936 28 | 66.690 % | 110.85/110.99 c =============================================================================== 110.85/110.99 c New solution: 174 110.85/110.99 o 174 110.85/110.99 c Elapsed CPU time: 110.725 s Remaining CPU time: 69.2748 s 110.85/110.99 c =============================================================================== 110.85/110.99 c | 13115 | 18248 193777 474778 | 64592 1745 27 | 66.690 % | 110.96/111.09 c | 13215 | 18236 193777 474778 | 71051 1845 27 | 67.022 % | 111.06/111.12 c =============================================================================== 111.06/111.12 c New solution: 173 111.06/111.12 o 173 111.06/111.12 c Elapsed CPU time: 110.859 s Remaining CPU time: 69.1409 s 111.06/111.12 c =============================================================================== 111.06/111.12 c | 13227 | 18066 193778 475078 | 64592 1857 27 | 67.022 % | 111.06/111.17 c | 13327 | 18021 193778 475078 | 71051 1957 27 | 67.354 % | 111.15/111.29 c | 13477 | 18020 193778 475078 | 78157 2107 27 | 67.354 % | 111.25/111.38 c | 13702 | 18014 193778 475078 | 85972 2332 28 | 67.354 % | 111.54/111.65 c | 14039 | 18014 193778 475078 | 94570 2669 29 | 67.354 % | 111.64/111.72 c =============================================================================== 111.64/111.72 c New solution: 172 111.64/111.72 o 172 111.64/111.72 c Elapsed CPU time: 111.448 s Remaining CPU time: 68.5519 s 111.64/111.72 c =============================================================================== 111.64/111.72 c | 14076 | 17884 193779 475378 | 64593 2490 29 | 67.354 % | 111.64/111.76 c =============================================================================== 111.64/111.76 c New solution: 171 111.64/111.76 o 171 111.64/111.76 c Elapsed CPU time: 111.495 s Remaining CPU time: 68.5049 s 111.64/111.76 c =============================================================================== 111.64/111.76 c | 14108 | 17702 193780 475678 | 64593 2522 29 | 67.354 % | 111.74/111.86 c | 14208 | 17684 193780 475678 | 71052 2622 29 | 68.019 % | 111.84/111.93 c | 14358 | 17674 193780 475678 | 78157 2772 29 | 68.019 % | 111.94/112.07 c | 14583 | 17674 193780 475678 | 85973 2997 29 | 68.019 % | 112.16/112.21 c | 14920 | 17670 193780 475678 | 94571 3334 29 | 68.019 % | 112.35/112.49 c | 15428 | 17520 193780 475678 | 104028 3631 30 | 68.019 % | 112.45/112.53 c =============================================================================== 112.45/112.53 c New solution: 170 112.45/112.53 o 170 112.45/112.53 c Elapsed CPU time: 112.26 s Remaining CPU time: 67.7401 s 112.45/112.53 c =============================================================================== 112.45/112.53 c | 15444 | 17520 193781 475978 | 64593 3647 30 | 68.019 % | 112.45/112.57 c =============================================================================== 112.45/112.57 c New solution: 169 112.45/112.57 o 169 112.45/112.57 c Elapsed CPU time: 112.301 s Remaining CPU time: 67.6991 s 112.45/112.57 c =============================================================================== 112.45/112.57 c | 15461 | 17338 193782 476278 | 64594 3664 30 | 68.019 % | 112.55/112.64 c =============================================================================== 112.55/112.64 c New solution: 168 112.55/112.64 o 168 112.55/112.64 c Elapsed CPU time: 112.366 s Remaining CPU time: 67.6341 s 112.55/112.64 c =============================================================================== 112.55/112.64 c | 15558 | 17156 193783 476578 | 64594 3761 30 | 68.019 % | 112.65/112.72 c | 15658 | 17151 193783 476578 | 71053 3861 30 | 69.015 % | 112.65/112.76 c =============================================================================== 112.65/112.76 c New solution: 167 112.65/112.76 o 167 112.65/112.76 c Elapsed CPU time: 112.487 s Remaining CPU time: 67.5131 s 112.65/112.76 c =============================================================================== 112.65/112.76 c | 15683 | 16974 193784 476878 | 64594 3886 30 | 69.015 % | 112.75/112.82 c | 15783 | 16792 193784 476878 | 71054 3097 26 | 69.348 % | 112.75/112.89 c | 15934 | 16792 193784 476878 | 78159 3248 27 | 69.348 % | 112.85/112.99 c | 16159 | 16792 193784 476878 | 85975 3473 28 | 69.348 % | 113.05/113.19 c | 16496 | 16792 193784 476878 | 94573 3810 28 | 69.348 % | 113.35/113.40 c =============================================================================== 113.35/113.40 c New solution: 166 113.35/113.40 o 166 113.35/113.40 c Elapsed CPU time: 113.125 s Remaining CPU time: 66.8752 s 113.35/113.40 c =============================================================================== 113.35/113.40 c | 16715 | 16792 193785 477178 | 64595 4029 28 | 69.348 % | 113.35/113.46 c | 16816 | 16610 193785 477178 | 71054 3978 29 | 69.680 % | 113.45/113.57 c | 16966 | 16610 193785 477178 | 78159 4128 29 | 69.680 % | 113.54/113.63 c | 17191 | 16610 193785 477178 | 85975 4353 28 | 69.680 % | 113.64/113.74 c | 17528 | 16610 193785 477178 | 94573 4690 29 | 69.680 % | 113.84/113.98 c | 18035 | 16610 193785 477178 | 104030 5197 29 | 69.680 % | 114.14/114.20 c | 18794 | 16610 193785 477178 | 114433 5956 28 | 69.680 % | 114.54/114.67 c | 19933 | 16610 193785 477178 | 125877 7095 31 | 69.680 % | 115.74/115.85 c | 21642 | 16610 193785 477178 | 138465 8804 32 | 69.680 % | 116.45/116.60 c | 24205 | 16610 193785 477178 | 152311 11367 33 | 69.680 % | 118.54/118.68 c | 28049 | 16610 193785 477178 | 167542 15211 41 | 69.680 % | 123.15/123.22 c | 33815 | 16610 193785 477178 | 184297 20977 45 | 69.680 % | 123.24/123.37 c =============================================================================== 123.24/123.37 c New solution: 165 123.24/123.37 o 165 123.24/123.37 c Elapsed CPU time: 123.051 s Remaining CPU time: 56.9487 s 123.24/123.37 c =============================================================================== 123.24/123.37 c | 34102 | 16610 193786 477478 | 64595 21264 45 | 69.680 % | 123.34/123.47 c | 34203 | 16428 193786 477478 | 71054 21196 45 | 70.012 % | 123.44/123.54 c | 34354 | 16428 193786 477478 | 78160 21347 45 | 70.012 % | 123.64/123.74 c | 34580 | 16428 193786 477478 | 85976 21573 45 | 70.012 % | 123.94/124.04 c | 34917 | 16428 193786 477478 | 94574 21910 45 | 70.012 % | 124.15/124.22 c | 35424 | 16428 193786 477478 | 104031 22417 45 | 70.012 % | 124.64/124.78 c | 36183 | 16428 193786 477478 | 114434 23176 44 | 70.012 % | 124.74/124.84 c =============================================================================== 124.74/124.84 c New solution: 164 124.74/124.84 o 164 124.74/124.84 c Elapsed CPU time: 124.507 s Remaining CPU time: 55.4929 s 124.74/124.84 c =============================================================================== 124.74/124.84 c | 36229 | 16428 193787 477778 | 64595 23222 44 | 70.012 % | 124.84/124.90 c | 36329 | 16419 193787 477778 | 71055 23322 44 | 70.344 % | 124.84/124.99 c | 36481 | 16411 193787 477778 | 78160 23474 44 | 70.344 % | 125.04/125.14 c | 36707 | 16411 193787 477778 | 85976 23700 44 | 70.344 % | 125.25/125.37 c =============================================================================== 125.25/125.37 c New solution: 163 125.25/125.37 o 163 125.25/125.37 c Elapsed CPU time: 125.034 s Remaining CPU time: 54.966 s 125.25/125.37 c =============================================================================== 125.25/125.37 c | 36907 | 16246 193788 478078 | 64596 23008 43 | 70.344 % | 125.35/125.46 c | 37009 | 16235 193788 478078 | 71055 23110 43 | 70.676 % | 125.44/125.54 c | 37159 | 16225 193788 478078 | 78161 23260 43 | 70.676 % | 125.64/125.72 c | 37384 | 16223 193788 478078 | 85977 23485 43 | 70.677 % | 125.84/125.91 c | 37721 | 16218 193788 478078 | 94575 23822 43 | 70.677 % | 126.25/126.39 c | 38227 | 16215 193788 478078 | 104032 24328 43 | 70.676 % | 126.54/126.61 c | 38986 | 16213 193788 478078 | 114435 25087 42 | 70.676 % | 127.04/127.14 c | 40126 | 16213 193788 478078 | 125879 26227 42 | 70.676 % | 128.55/128.69 c | 41834 | 16064 193788 478078 | 138467 27058 43 | 70.676 % | 129.44/129.56 c | 44396 | 16064 193788 478078 | 152313 29620 42 | 70.676 % | 131.94/132.09 c | 48241 | 16064 193788 478078 | 167545 33465 44 | 70.676 % | 134.83/134.98 c | 54009 | 16064 193788 478078 | 184299 39233 43 | 70.677 % | 143.23/143.38 c | 62658 | 16064 193788 478078 | 202729 47882 47 | 70.676 % | 150.54/150.63 c | 75633 | 16064 193788 478078 | 223002 60857 48 | 70.676 % | 167.53/167.66 c | 95095 | 16064 193788 478078 | 245303 80319 51 | 70.676 % | 180.43/180.56 c There are 38718 assigned variables. 226 in cost function. 181.22/181.34 c core #1 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c Core size: 147 Core Weight: 89 Total Weight: 89 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c core #2 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c Core size: 254 Core Weight: 1 Total Weight: 90 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c core #3 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c Core size: 202 Core Weight: 1 Total Weight: 91 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c core #4 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c Core size: 224 Core Weight: 1 Total Weight: 92 181.22/181.34 c 181.22/181.34 c 181.22/181.34 c ============================[ Search Statistics ]============================== 181.22/181.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.34 c =============================================================================== 181.22/181.34 c | 0 | 3614 89727 137693 | 29909 0 nan | 0.000 % | 181.22/181.35 c =============================================================================== 181.33/181.48 c core #5 181.33/181.48 c 181.33/181.48 c 181.33/181.48 c Core size: 244 Core Weight: 1 Total Weight: 93 181.33/181.48 c 181.33/181.48 c 181.33/181.48 c ============================[ Search Statistics ]============================== 181.33/181.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.33/181.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.33/181.48 c =============================================================================== 181.33/181.48 c | 0 | 3866 89797 138120 | 29932 0 nan | 0.000 % | 181.33/181.49 c =============================================================================== 181.52/181.62 c core #6 181.52/181.62 c 181.52/181.62 c 181.52/181.62 c Core size: 225 Core Weight: 1 Total Weight: 94 181.52/181.62 c 181.52/181.62 c 181.52/181.62 c ============================[ Search Statistics ]============================== 181.52/181.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.52/181.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.52/181.62 c =============================================================================== 181.52/181.62 c | 0 | 4117 89866 138541 | 29955 0 nan | 0.000 % | 181.52/181.64 c =============================================================================== 181.62/181.77 c core #7 181.62/181.77 c 181.62/181.77 c 181.62/181.77 c Core size: 227 Core Weight: 1 Total Weight: 95 181.62/181.77 c 181.62/181.77 c 181.62/181.77 c ============================[ Search Statistics ]============================== 181.62/181.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.62/181.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.62/181.77 c =============================================================================== 181.62/181.77 c | 0 | 4367 89934 138962 | 29978 0 nan | 0.000 % | 181.62/181.78 c =============================================================================== 181.82/181.91 c core #8 181.82/181.91 c 181.82/181.91 c 181.82/181.91 c Core size: 231 Core Weight: 1 Total Weight: 96 181.82/181.91 c 181.82/181.91 c 181.82/181.91 c ============================[ Search Statistics ]============================== 181.82/181.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.91 c =============================================================================== 181.82/181.91 c | 0 | 4616 90001 139384 | 30000 0 nan | 0.000 % | 181.82/181.93 c =============================================================================== 181.92/182.06 c core #9 181.92/182.06 c 181.92/182.06 c 181.92/182.06 c Core size: 236 Core Weight: 1 Total Weight: 97 181.92/182.06 c 181.92/182.06 c 181.92/182.06 c ============================[ Search Statistics ]============================== 181.92/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.06 c =============================================================================== 181.92/182.06 c | 0 | 4864 90067 139804 | 30022 0 nan | 0.000 % | 181.92/182.08 c =============================================================================== 182.12/182.22 c core #10 182.12/182.22 c 182.12/182.22 c 182.12/182.22 c Core size: 287 Core Weight: 1 Total Weight: 98 182.12/182.22 c 182.12/182.22 c 182.12/182.22 c ============================[ Search Statistics ]============================== 182.12/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.12/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.12/182.22 c =============================================================================== 182.12/182.22 c | 0 | 5069 90134 140227 | 30044 0 nan | 0.000 % | 182.12/182.25 c =============================================================================== 182.22/182.39 c core #11 182.22/182.39 c 182.22/182.39 c 182.22/182.39 c Core size: 328 Core Weight: 1 Total Weight: 99 182.22/182.39 c 182.22/182.39 c 182.22/182.39 c ============================[ Search Statistics ]============================== 182.22/182.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.22/182.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.22/182.39 c =============================================================================== 182.22/182.39 c | 0 | 5357 90199 140654 | 30066 0 nan | 0.000 % | 182.32/182.44 c =============================================================================== 182.43/182.58 c core #12 182.43/182.58 c 182.43/182.58 c 182.43/182.58 c Core size: 345 Core Weight: 1 Total Weight: 100 182.43/182.58 c 182.43/182.58 c 182.43/182.58 c ============================[ Search Statistics ]============================== 182.43/182.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.58 c =============================================================================== 182.43/182.58 c | 0 | 5602 90262 141074 | 30087 0 nan | 0.000 % | 182.53/182.63 c | 100 | 5602 90262 141074 | 33096 100 15 | 91.443 % | 182.53/182.67 c =============================================================================== 182.72/182.80 c core #13 182.72/182.80 c 182.72/182.80 c 182.72/182.80 c Core size: 362 Core Weight: 1 Total Weight: 101 182.72/182.80 c 182.72/182.80 c 182.72/182.80 c ============================[ Search Statistics ]============================== 182.72/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.72/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.72/182.80 c =============================================================================== 182.72/182.80 c | 0 | 5846 90324 141491 | 30108 0 nan | 0.000 % | 182.72/182.86 c | 100 | 5846 90324 141491 | 33118 100 16 | 89.498 % | 182.83/182.93 c =============================================================================== 182.93/183.07 c core #14 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 293 Core Weight: 1 Total Weight: 102 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c ============================[ Search Statistics ]============================== 182.93/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.07 c =============================================================================== 182.93/183.07 c | 0 | 6089 90385 141905 | 30128 0 nan | 0.000 % | 183.03/183.13 c | 101 | 6089 90385 141905 | 33141 101 15 | 89.074 % | 183.03/183.19 c | 252 | 5694 90385 141905 | 36455 218 16 | 89.928 % | 183.13/183.24 c =============================================================================== 183.23/183.37 c core #15 183.23/183.37 c 183.23/183.37 c 183.23/183.37 c Core size: 399 Core Weight: 1 Total Weight: 103 183.23/183.37 c 183.23/183.37 c 183.23/183.37 c ============================[ Search Statistics ]============================== 183.23/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.37 c =============================================================================== 183.23/183.37 c | 0 | 6331 90445 142319 | 30148 0 nan | 0.000 % | 183.33/183.42 c | 100 | 6331 90445 142319 | 33163 100 17 | 88.651 % | 183.43/183.50 c | 251 | 6331 90445 142319 | 36479 251 20 | 88.651 % | 183.43/183.60 c | 476 | 6231 90445 142319 | 40127 342 20 | 89.177 % | 183.53/183.62 c =============================================================================== 183.63/183.76 c core #16 183.63/183.76 c 183.63/183.76 c 183.63/183.76 c Core size: 363 Core Weight: 1 Total Weight: 104 183.63/183.76 c 183.63/183.76 c 183.63/183.76 c ============================[ Search Statistics ]============================== 183.63/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.63/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.63/183.76 c =============================================================================== 183.63/183.76 c | 0 | 6572 90505 142734 | 30168 0 nan | 0.000 % | 183.72/183.81 c | 100 | 6572 90505 142734 | 33185 100 15 | 88.232 % | 183.72/183.89 c | 250 | 6551 90505 142734 | 36503 246 19 | 88.270 % | 183.92/184.00 c | 475 | 6551 90505 142734 | 40154 471 21 | 88.270 % | 184.03/184.14 c =============================================================================== 184.13/184.28 c core #17 184.13/184.28 c 184.13/184.28 c 184.13/184.28 c Core size: 311 Core Weight: 1 Total Weight: 105 184.13/184.28 c 184.13/184.28 c 184.13/184.28 c ============================[ Search Statistics ]============================== 184.13/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.28 c =============================================================================== 184.13/184.28 c | 0 | 6812 90564 143146 | 30188 0 nan | 0.000 % | 184.23/184.34 c | 101 | 6812 90564 143146 | 33206 101 15 | 87.815 % | 184.33/184.43 c | 252 | 6812 90564 143146 | 36527 252 21 | 87.815 % | 184.43/184.55 c | 477 | 6812 90564 143146 | 40180 477 21 | 87.815 % | 184.64/184.74 c | 814 | 6812 90564 143146 | 44198 814 24 | 87.815 % | 184.93/185.02 c | 1322 | 6455 90564 143146 | 48618 841 21 | 89.262 % | 184.93/185.04 c =============================================================================== 185.03/185.19 c core #18 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c Core size: 351 Core Weight: 1 Total Weight: 106 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c ============================[ Search Statistics ]============================== 185.03/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.19 c =============================================================================== 185.03/185.19 c | 0 | 7051 90625 143557 | 30208 0 nan | 0.000 % | 185.13/185.25 c | 100 | 7051 90625 143557 | 33229 100 19 | 87.400 % | 185.22/185.32 c | 252 | 7051 90625 143557 | 36552 252 19 | 87.400 % | 185.32/185.42 c | 479 | 7051 90625 143557 | 40207 479 22 | 87.400 % | 185.53/185.61 c | 818 | 7051 90625 143557 | 44228 818 25 | 87.400 % | 185.74/185.88 c | 1324 | 7019 90625 143557 | 48650 1296 28 | 87.457 % | 186.13/186.26 c | 2085 | 6631 90625 143557 | 53515 1506 28 | 88.415 % | 186.22/186.36 c =============================================================================== 186.42/186.50 c core #19 186.42/186.50 c 186.42/186.50 c 186.42/186.50 c Core size: 258 Core Weight: 1 Total Weight: 107 186.42/186.50 c 186.42/186.50 c 186.42/186.50 c ============================[ Search Statistics ]============================== 186.42/186.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.42/186.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.42/186.50 c =============================================================================== 186.42/186.50 c | 0 | 7289 90682 143958 | 30227 0 nan | 0.000 % | 186.42/186.56 c | 100 | 7289 90682 143958 | 33250 100 15 | 86.988 % | 186.52/186.63 c | 250 | 7289 90682 143958 | 36575 250 19 | 87.008 % | 186.62/186.75 c | 475 | 7278 90682 143958 | 40232 472 23 | 87.008 % | 186.83/186.91 c | 812 | 7278 90682 143958 | 44255 809 24 | 87.008 % | 187.02/187.19 c | 1318 | 7278 90682 143958 | 48681 1315 29 | 87.008 % | 187.53/187.60 c | 2077 | 7252 90682 143958 | 53549 2002 30 | 87.054 % | 188.03/188.16 c | 3217 | 7252 90682 143958 | 58904 3142 32 | 87.054 % | 188.62/188.77 c =============================================================================== 188.82/188.92 c core #20 188.82/188.92 c 188.82/188.92 c 188.82/188.92 c Core size: 303 Core Weight: 1 Total Weight: 108 188.82/188.92 c 188.82/188.92 c 188.82/188.92 c ============================[ Search Statistics ]============================== 188.82/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.92 c =============================================================================== 188.82/188.92 c | 0 | 7526 90741 144368 | 30247 0 nan | 0.000 % | 188.82/188.97 c | 100 | 7526 90741 144368 | 33271 100 15 | 86.578 % | 188.93/189.05 c | 250 | 7526 90741 144368 | 36598 250 20 | 86.578 % | 189.03/189.16 c | 475 | 7526 90741 144368 | 40258 475 21 | 86.578 % | 189.23/189.34 c | 812 | 7526 90741 144368 | 44284 812 24 | 86.578 % | 189.42/189.56 c | 1318 | 7484 90741 144368 | 48713 1051 23 | 86.653 % | 189.92/190.00 c | 2077 | 7296 90741 144368 | 53584 1075 20 | 86.988 % | 190.42/190.54 c | 3216 | 7296 90741 144368 | 58942 2214 27 | 86.988 % | 191.24/191.39 c =============================================================================== 191.43/191.53 c core #21 191.43/191.53 c 191.43/191.53 c 191.43/191.53 c Core size: 373 Core Weight: 1 Total Weight: 109 191.43/191.53 c 191.43/191.53 c 191.43/191.53 c ============================[ Search Statistics ]============================== 191.43/191.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.53 c =============================================================================== 191.43/191.53 c | 0 | 7762 90797 144774 | 30265 0 nan | 0.000 % | 191.43/191.58 c | 100 | 7762 90797 144774 | 33292 100 17 | 86.170 % | 191.53/191.66 c | 252 | 7762 90797 144774 | 36621 252 22 | 86.170 % | 191.62/191.77 c | 477 | 7762 90797 144774 | 40283 477 23 | 86.170 % | 191.82/191.93 c | 814 | 7762 90797 144774 | 44311 814 21 | 86.170 % | 192.02/192.16 c | 1321 | 7762 90797 144774 | 48743 1321 24 | 86.170 % | 192.43/192.58 c | 2080 | 7762 90797 144774 | 53617 2080 26 | 86.170 % | 193.03/193.17 c | 3219 | 7714 90797 144774 | 58979 2670 24 | 86.256 % | 194.02/194.15 c | 4927 | 7714 90797 144774 | 64877 4378 27 | 86.256 % | 195.63/195.73 c | 7491 | 7714 90797 144774 | 71364 6942 31 | 86.256 % | 197.72/197.86 c =============================================================================== 197.93/198.01 c core #22 197.93/198.01 c 197.93/198.01 c 197.93/198.01 c Core size: 399 Core Weight: 1 Total Weight: 110 197.93/198.01 c 197.93/198.01 c 197.93/198.01 c ============================[ Search Statistics ]============================== 197.93/198.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.93/198.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.93/198.01 c =============================================================================== 197.93/198.01 c | 0 | 7997 90861 145207 | 30287 0 nan | 0.000 % | 197.93/198.07 c | 101 | 7997 90861 145207 | 33315 101 17 | 85.765 % | 198.02/198.12 c | 251 | 7997 90861 145207 | 36647 251 20 | 85.765 % | 198.12/198.22 c | 476 | 7997 90861 145207 | 40311 476 23 | 85.765 % | 198.22/198.36 c | 814 | 7997 90861 145207 | 44343 814 25 | 85.765 % | 198.52/198.62 c | 1320 | 7997 90861 145207 | 48777 1320 27 | 85.765 % | 198.82/198.97 c | 2080 | 7997 90861 145207 | 53655 2080 28 | 85.765 % | 199.52/199.62 c | 3219 | 7997 90861 145207 | 59020 3219 29 | 85.765 % | 200.52/200.61 c | 4932 | 7997 90861 145207 | 64922 4932 31 | 85.765 % | 202.02/202.10 c | 7499 | 7715 90861 145207 | 71415 5827 30 | 86.267 % | 204.43/204.55 c | 11344 | 7661 90861 145207 | 78556 8640 32 | 86.363 % | 206.73/206.84 c =============================================================================== 206.82/206.98 c core #23 206.82/206.98 c 206.82/206.98 c 206.82/206.98 c Core size: 286 Core Weight: 1 Total Weight: 111 206.82/206.98 c 206.82/206.98 c 206.82/206.98 c ============================[ Search Statistics ]============================== 206.82/206.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.82/206.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.82/206.98 c =============================================================================== 206.82/206.98 c | 0 | 8231 90914 145608 | 30304 0 nan | 0.000 % | 206.92/207.03 c | 100 | 8231 90914 145608 | 33335 100 20 | 85.362 % | 207.02/207.13 c | 250 | 8231 90914 145608 | 36668 250 23 | 85.362 % | 207.12/207.25 c | 475 | 8231 90914 145608 | 40335 475 22 | 85.362 % | 207.32/207.44 c | 812 | 8231 90914 145608 | 44369 812 22 | 85.362 % | 207.52/207.67 c | 1319 | 8231 90914 145608 | 48805 1319 25 | 85.362 % | 207.91/208.09 c | 2079 | 8231 90914 145608 | 53686 2079 26 | 85.362 % | 208.52/208.69 c | 3220 | 8231 90914 145608 | 59055 3220 28 | 85.362 % | 209.42/209.59 c | 4929 | 8231 90914 145608 | 64960 4929 28 | 85.362 % | 211.03/211.17 c | 7492 | 8231 90914 145608 | 71456 7492 31 | 85.362 % | 213.72/213.80 c | 11336 | 8171 90914 145608 | 78602 10117 33 | 85.469 % | 217.91/218.07 c | 17103 | 8171 90914 145608 | 86462 15884 36 | 85.469 % | 225.92/226.04 c | 25754 | 7438 90914 145608 | 95109 9197 25 | 86.772 % | 226.31/226.44 c =============================================================================== 226.42/226.59 c core #24 226.42/226.59 c 226.42/226.59 c 226.42/226.59 c Core size: 339 Core Weight: 1 Total Weight: 112 226.42/226.59 c 226.42/226.59 c 226.42/226.59 c ============================[ Search Statistics ]============================== 226.42/226.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.42/226.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.42/226.59 c =============================================================================== 226.42/226.59 c | 0 | 8464 90979 146048 | 30326 0 nan | 0.000 % | 226.52/226.66 c | 100 | 8464 90979 146048 | 33358 100 19 | 84.961 % | 226.62/226.75 c | 250 | 8464 90979 146048 | 36694 250 24 | 84.961 % | 226.72/226.85 c | 475 | 8464 90979 146048 | 40364 475 24 | 84.961 % | 226.92/227.02 c | 812 | 8464 90979 146048 | 44400 812 26 | 84.961 % | 227.11/227.24 c | 1319 | 8464 90979 146048 | 48840 1319 26 | 84.961 % | 227.52/227.63 c | 2079 | 8464 90979 146048 | 53724 2079 29 | 84.961 % | 228.12/228.21 c | 3218 | 8464 90979 146048 | 59097 3218 29 | 84.961 % | 229.01/229.13 c | 4931 | 8464 90979 146048 | 65007 4931 30 | 84.961 % | 230.71/230.85 c | 7495 | 8464 90979 146048 | 71507 7495 32 | 84.961 % | 233.31/233.40 c | 11339 | 8464 90979 146048 | 78658 11339 36 | 84.961 % | 237.91/238.01 c | 17105 | 8464 90979 146048 | 86524 17105 40 | 84.961 % | 245.70/245.90 c | 25754 | 8398 90979 146048 | 95177 21976 42 | 85.079 % | 259.71/259.89 c | 38728 | 8371 90979 146048 | 104694 28515 41 | 85.127 % | 279.70/279.87 c =============================================================================== 279.90/280.04 c core #25 279.90/280.04 c 279.90/280.04 c 279.90/280.04 c Core size: 274 Core Weight: 1 Total Weight: 113 279.90/280.04 c 279.90/280.04 c 279.90/280.04 c ============================[ Search Statistics ]============================== 279.90/280.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 279.90/280.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 279.90/280.04 c =============================================================================== 279.90/280.04 c | 0 | 8696 91034 146445 | 30344 0 nan | 0.000 % | 280.00/280.10 c | 103 | 8696 91034 146445 | 33379 103 17 | 84.563 % | 280.00/280.19 c | 253 | 8696 91034 146445 | 36717 253 23 | 84.563 % | 280.10/280.29 c | 478 | 8696 91034 146445 | 40388 478 22 | 84.563 % | 280.31/280.49 c | 815 | 8696 91034 146445 | 44427 815 27 | 84.563 % | 280.60/280.75 c | 1321 | 8696 91034 146445 | 48870 1321 27 | 84.563 % | 280.99/281.15 c | 2082 | 8696 91034 146445 | 53757 2082 28 | 84.563 % | 281.59/281.71 c | 3221 | 8696 91034 146445 | 59133 3221 29 | 84.563 % | 282.61/282.78 c | 4929 | 8696 91034 146445 | 65046 4929 31 | 84.563 % | 284.00/284.13 c | 7491 | 8696 91034 146445 | 71551 7491 33 | 84.563 % | 286.70/286.88 c | 11336 | 8696 91034 146445 | 78706 11336 34 | 84.563 % | 290.99/291.10 c | 17102 | 8696 91034 146445 | 86576 17102 35 | 84.563 % | 299.30/299.47 c | 25751 | 8696 91034 146445 | 95234 25751 39 | 84.563 % | 312.79/312.97 c | 38725 | 8624 91034 146445 | 104758 29231 36 | 84.691 % | 336.49/336.64 c | 58186 | 8609 91034 146445 | 115233 38403 35 | 84.717 % | 381.87/382.09 c | 87380 | 8609 91034 146445 | 126757 67597 41 | 84.717 % | 423.36/423.52 c =============================================================================== 423.56/423.74 c core #26 423.56/423.74 c 423.56/423.74 c 423.56/423.74 c Core size: 438 Core Weight: 1 Total Weight: 114 423.56/423.74 c 423.56/423.74 c 423.56/423.74 c ============================[ Search Statistics ]============================== 423.56/423.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 423.56/423.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 423.56/423.74 c =============================================================================== 423.56/423.74 c | 0 | 8927 91095 146864 | 30365 0 nan | 0.000 % | 423.56/423.80 c | 101 | 8927 91095 146864 | 33401 101 18 | 84.167 % | 423.65/423.87 c | 251 | 8927 91095 146864 | 36741 251 19 | 84.167 % | 423.75/423.99 c | 476 | 8927 91095 146864 | 40415 476 25 | 84.167 % | 423.96/424.17 c | 813 | 8927 91095 146864 | 44457 813 28 | 84.167 % | 424.26/424.43 c | 1319 | 8927 91095 146864 | 48903 1319 29 | 84.167 % | 424.66/424.83 c | 2079 | 8927 91095 146864 | 53793 2079 30 | 84.167 % | 425.26/425.46 c | 3219 | 8927 91095 146864 | 59172 3219 31 | 84.167 % | 426.15/426.37 c | 4927 | 8927 91095 146864 | 65090 4927 31 | 84.167 % | 428.06/428.24 c | 7489 | 8927 91095 146864 | 71599 7489 33 | 84.167 % | 430.46/430.67 c | 11334 | 8927 91095 146864 | 78758 11334 32 | 84.167 % | 435.05/435.25 c | 17100 | 8927 91095 146864 | 86634 17100 34 | 84.167 % | 442.95/443.17 c | 25749 | 8927 91095 146864 | 95298 25749 38 | 84.167 % | 457.75/457.98 c | 38725 | 8927 91095 146864 | 104828 38725 42 | 84.167 % | 488.44/488.65 c | 58186 | 8927 91095 146864 | 115311 58186 45 | 84.167 % | 542.82/543.02 c | 87379 | 8927 91095 146864 | 126842 87379 46 | 84.167 % | 642.49/642.74 c | 131168 | 8400 91095 146864 | 139526 80442 43 | 85.101 % | 717.07/717.31 c =============================================================================== 717.37/717.60 c core #27 717.37/717.60 c 717.37/717.60 c 717.37/717.60 c Core size: 494 Core Weight: 1 Total Weight: 115 717.37/717.60 c 717.37/717.60 c 717.37/717.60 c ============================[ Search Statistics ]============================== 717.37/717.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 717.37/717.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 717.37/717.60 c =============================================================================== 717.37/717.60 c | 0 | 9157 91162 147293 | 30387 0 nan | 0.000 % | 717.37/717.67 c | 100 | 9157 91162 147293 | 33426 100 26 | 83.773 % | 717.47/717.76 c | 251 | 9157 91162 147293 | 36768 251 27 | 83.773 % | 717.67/717.91 c | 476 | 9157 91162 147293 | 40445 476 28 | 83.773 % | 717.87/718.13 c | 813 | 9157 91162 147293 | 44490 813 27 | 83.773 % | 718.27/718.51 c | 1320 | 9157 91162 147293 | 48939 1320 33 | 83.773 % | 718.68/718.98 c | 2081 | 9157 91162 147293 | 53833 2081 31 | 83.773 % | 719.37/719.61 c | 3221 | 9157 91162 147293 | 59216 3221 32 | 83.773 % | 720.47/720.71 c | 4929 | 9157 91162 147293 | 65137 4929 32 | 83.773 % | 722.17/722.44 c | 7491 | 9157 91162 147293 | 71651 7491 34 | 83.773 % | 725.07/725.34 c | 11336 | 9157 91162 147293 | 78816 11336 37 | 83.773 % | 730.57/730.87 c | 17102 | 9157 91162 147293 | 86698 17102 39 | 83.773 % | 739.56/739.86 c | 25752 | 9157 91162 147293 | 95368 25752 40 | 83.773 % | 756.36/756.68 c | 38726 | 9157 91162 147293 | 104905 38726 43 | 83.773 % | 789.15/789.48 c | 58187 | 9157 91162 147293 | 115395 58187 46 | 83.773 % | 845.93/846.23 c | 87379 | 9157 91162 147293 | 126935 87379 47 | 83.773 % | 962.70/963.00 c | 131169 | 9157 91162 147293 | 139628 131169 49 | 83.773 % | 1190.12/1190.59 c | 196855 | 9073 91162 147293 | 153591 160403 48 | 83.921 % | 1476.03/1476.50 c | 295381 | 9053 91162 147293 | 168951 78185 51 | 83.957 % | 1667.17/1667.79 c =============================================================================== 1667.67/1668.26 c core #28 1667.67/1668.26 c 1667.67/1668.26 c 1667.67/1668.26 c Core size: 369 Core Weight: 1 Total Weight: 116 1667.67/1668.26 c 1667.67/1668.26 c 1667.67/1668.26 c ============================[ Search Statistics ]============================== 1667.67/1668.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1667.67/1668.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1667.67/1668.26 c =============================================================================== 1667.67/1668.26 c | 0 | 9386 91249 147780 | 30416 0 nan | 0.000 % | 1667.78/1668.33 c | 101 | 9386 91249 147780 | 33457 101 18 | 83.381 % | 1667.88/1668.44 c | 251 | 9386 91249 147780 | 36803 251 25 | 83.381 % | 1667.98/1668.58 c | 476 | 9386 91249 147780 | 40484 476 33 | 83.381 % | 1668.19/1668.75 c | 813 | 9386 91249 147780 | 44532 813 31 | 83.381 % | 1668.38/1668.99 c | 1319 | 9386 91249 147780 | 48985 1319 31 | 83.381 % | 1668.88/1669.47 c | 2078 | 9386 91249 147780 | 53884 2078 33 | 83.381 % | 1669.57/1670.14 c | 3217 | 9386 91249 147780 | 59272 3217 39 | 83.381 % | 1670.78/1671.32 c | 4925 | 9386 91249 147780 | 65200 4925 39 | 83.381 % | 1672.27/1672.86 c | 7488 | 9386 91249 147780 | 71720 7488 39 | 83.381 % | 1675.17/1675.73 c | 11332 | 9386 91249 147780 | 78892 11332 42 | 83.381 % | 1679.67/1680.29 c | 17098 | 9386 91249 147780 | 86781 17098 44 | 83.381 % | 1688.37/1688.93 c | 25747 | 9386 91249 147780 | 95459 25747 46 | 83.381 % | 1702.57/1703.16 c | 38721 | 9386 91249 147780 | 105005 38721 49 | 83.381 % | 1730.77/1731.34 c | 58184 | 9386 91249 147780 | 115505 58184 48 | 83.381 % | 1788.75/1789.37 c | 87376 | 9386 91249 147780 | 127056 87376 49 | 83.381 % |
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-2687397-1278452835/watcher-2687397-1278452835 -o /tmp/evaluation-result-2687397-1278452835/solver-2687397-1278452835 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687397-1278452835.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.08 1.06 1.00 3/106 22725 /proc/meminfo: memFree=1863200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=9300 CPUtime=0 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 13497155 9523200 286 1992294400 134512640 135752675 4292095296 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 2325 286 139 303 0 446 0 [startup+0.0114311 s] /proc/loadavg: 1.08 1.06 1.00 3/106 22725 /proc/meminfo: memFree=1863200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=9300 CPUtime=0.01 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 391 0 0 0 1 0 0 0 18 0 1 0 13497155 9523200 309 1992294400 134512640 135752675 4292095296 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 2325 310 143 303 0 446 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9300 [startup+0.100427 s] /proc/loadavg: 1.08 1.06 1.00 3/106 22725 /proc/meminfo: memFree=1863200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=13932 CPUtime=0.09 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 1526 0 0 0 9 0 0 0 20 0 1 0 13497155 14266368 1444 1992294400 134512640 135752675 4292095296 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 3483 1445 271 303 0 1604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13932 [startup+0.300446 s] /proc/loadavg: 1.08 1.06 1.00 3/106 22725 /proc/meminfo: memFree=1863200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=16972 CPUtime=0.29 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 2567 0 0 0 29 0 0 0 20 0 1 0 13497155 17379328 2485 1992294400 134512640 135752675 4292095296 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 4243 2485 568 303 0 2364 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16972 [startup+0.700483 s] /proc/loadavg: 1.08 1.06 1.00 3/106 22725 /proc/meminfo: memFree=1863200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=23084 CPUtime=0.69 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 4680 0 0 0 68 1 0 0 21 0 1 0 13497155 23638016 4525 1992294400 134512640 135752675 4292095296 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 5771 4527 1181 303 0 3892 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23084 [startup+1.50056 s] /proc/loadavg: 1.08 1.06 1.00 2/107 22726 /proc/meminfo: memFree=1845336/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=40660 CPUtime=1.49 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 11190 0 0 0 145 4 0 0 23 0 1 0 13497155 41635840 9218 1992294400 134512640 135752675 4292095296 18446744073709551615 134588593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 10165 9219 142 303 0 9860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40660 [startup+3.10071 s] /proc/loadavg: 1.08 1.06 1.00 2/107 22726 /proc/meminfo: memFree=1822520/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=46072 CPUtime=3.09 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 12606 0 0 0 305 4 0 0 25 0 1 0 13497155 47177728 10634 1992294400 134512640 135752675 4292095296 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 11518 10634 142 303 0 11213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46072 [startup+6.30101 s] /proc/loadavg: 1.08 1.06 1.00 2/107 22726 /proc/meminfo: memFree=1815080/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=53596 CPUtime=6.29 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 14472 0 0 0 624 5 0 0 25 0 1 0 13497155 54882304 12500 1992294400 134512640 135752675 4292095296 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 13399 12500 142 303 0 13094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53596 [startup+12.7016 s] /proc/loadavg: 1.06 1.05 1.00 2/107 22726 /proc/meminfo: memFree=1803300/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=64948 CPUtime=12.69 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 17334 0 0 0 1263 6 0 0 25 0 1 0 13497155 66506752 15362 1992294400 134512640 135752675 4292095296 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 16237 15362 142 303 0 15932 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64948 [startup+25.5008 s] /proc/loadavg: 1.05 1.05 1.00 2/107 22728 /proc/meminfo: memFree=1786684/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=80128 CPUtime=25.48 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 21121 0 0 0 2540 8 0 0 25 0 1 0 13497155 82051072 19149 1992294400 134512640 135752675 4292095296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 20032 19149 142 303 0 19727 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80128 [startup+51.1003 s] /proc/loadavg: 1.03 1.05 1.00 2/107 22728 /proc/meminfo: memFree=1763744/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=102832 CPUtime=51.07 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 26798 0 0 0 5096 11 0 0 25 0 1 0 13497155 105299968 24826 1992294400 134512640 135752675 4292095296 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 25708 24826 142 303 0 25403 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 102832 [startup+102.308 s] /proc/loadavg: 1.01 1.04 1.00 2/107 22730 /proc/meminfo: memFree=1738200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=127328 CPUtime=102.25 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34002 0 0 0 10208 17 0 0 25 0 1 0 13497155 130383872 31047 1992294400 134512640 135752675 4292095296 18446744073709551615 134599112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 31832 31047 145 303 0 31527 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 127328 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 22730 /proc/meminfo: memFree=1738200/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=127328 CPUtime=162.23 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34002 0 0 0 16179 44 0 0 25 0 1 0 13497155 130383872 31047 1992294400 134512640 135752675 4292095296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 31832 31047 145 303 0 31527 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 127328 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 22732 /proc/meminfo: memFree=1746880/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=222.21 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 22151 70 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134640076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 117456 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 22734 /proc/meminfo: memFree=1746880/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=282.2 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 28127 93 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134605481 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 117456 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 22736 /proc/meminfo: memFree=1746880/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=342.18 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 34105 113 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 117456 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22738 /proc/meminfo: memFree=1746756/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=402.17 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 40087 130 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 117456 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22738 /proc/meminfo: memFree=1746756/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=462.15 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 46062 153 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 117456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22740 /proc/meminfo: memFree=1746756/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=522.13 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 52046 167 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 117456 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22742 /proc/meminfo: memFree=1746756/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=582.12 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 58034 178 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 117456 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22744 /proc/meminfo: memFree=1746756/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=117456 CPUtime=642.1 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 34217 0 0 0 64019 191 0 0 25 0 1 0 13497155 120274944 28851 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 29364 28851 146 303 0 29059 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 117456 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22748 /proc/meminfo: memFree=1738448/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=126756 CPUtime=822.04 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 36352 0 0 0 81966 238 0 0 25 0 1 0 13497155 129798144 30986 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 31689 30986 146 303 0 31384 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 126756 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22759 /proc/meminfo: memFree=1730476/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=133284 CPUtime=882.02 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 37960 0 0 0 87950 252 0 0 25 0 1 0 13497155 136482816 32594 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 33321 32594 146 303 0 33016 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 133284 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22761 /proc/meminfo: memFree=1725020/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=138728 CPUtime=942 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 39339 0 0 0 93935 265 0 0 25 0 1 0 13497155 142057472 33973 1992294400 134512640 135752675 4292095296 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 34682 33973 146 303 0 34377 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 138728 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22763 /proc/meminfo: memFree=1720060/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=143900 CPUtime=1001.98 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 40554 0 0 0 99920 278 0 0 25 0 1 0 13497155 147353600 35188 1992294400 134512640 135752675 4292095296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 35975 35188 146 303 0 35670 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 143900 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22763 /proc/meminfo: memFree=1715100/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=148920 CPUtime=1061.96 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 41811 0 0 0 105908 288 0 0 25 0 1 0 13497155 152494080 36445 1992294400 134512640 135752675 4292095296 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 37230 36445 146 303 0 36925 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 148920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22765 /proc/meminfo: memFree=1710264/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=153588 CPUtime=1121.93 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 42985 0 0 0 111894 299 0 0 25 0 1 0 13497155 157274112 37619 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 38397 37619 146 303 0 38092 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 153588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22767 /proc/meminfo: memFree=1705304/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=158564 CPUtime=1181.93 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 44238 0 0 0 117882 311 0 0 25 0 1 0 13497155 162369536 38872 1992294400 134512640 135752675 4292095296 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 39641 38873 146 303 0 39336 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 158564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22769 /proc/meminfo: memFree=1700220/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=163556 CPUtime=1241.91 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 45483 0 0 0 123869 322 0 0 25 0 1 0 13497155 167481344 40117 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 40889 40117 146 303 0 40584 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 163556 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22771 /proc/meminfo: memFree=1695880/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=167684 CPUtime=1301.89 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 46535 0 0 0 129859 330 0 0 25 0 1 0 13497155 171708416 41169 1992294400 134512640 135752675 4292095296 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 41921 41169 146 303 0 41616 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 167684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22771 /proc/meminfo: memFree=1692036/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=171400 CPUtime=1361.87 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 47485 0 0 0 135849 338 0 0 25 0 1 0 13497155 175513600 42119 1992294400 134512640 135752675 4292095296 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 42850 42119 146 303 0 42545 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 171400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22773 /proc/meminfo: memFree=1682612/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=180852 CPUtime=1421.86 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 49836 0 0 0 141832 354 0 0 25 0 1 0 13497155 185192448 44470 1992294400 134512640 135752675 4292095296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 45213 44470 146 303 0 44908 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 180852 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22775 /proc/meminfo: memFree=1674180/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=189300 CPUtime=1481.83 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 51950 0 0 0 147815 368 0 0 25 0 1 0 13497155 193843200 46584 1992294400 134512640 135752675 4292095296 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 47325 46584 146 303 0 47020 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 189300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22777 /proc/meminfo: memFree=1667360/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=196036 CPUtime=1541.82 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 53625 0 0 0 153800 382 0 0 25 0 1 0 13497155 200740864 48259 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 49009 48259 146 303 0 48704 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 196036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22779 /proc/meminfo: memFree=1661284/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=202044 CPUtime=1601.8 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 55137 0 0 0 159785 395 0 0 25 0 1 0 13497155 206893056 49771 1992294400 134512640 135752675 4292095296 18446744073709551615 134639864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 50511 49771 146 303 0 50206 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 202044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22779 /proc/meminfo: memFree=1654712/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=208636 CPUtime=1661.78 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 56772 0 0 0 165771 407 0 0 25 0 1 0 13497155 213643264 51406 1992294400 134512640 135752675 4292095296 18446744073709551615 134639871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 52159 51406 146 303 0 51854 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 208636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22781 /proc/meminfo: memFree=1646404/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=216356 CPUtime=1721.76 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 59626 0 0 0 171748 428 0 0 25 0 1 0 13497155 221548544 53399 1992294400 134512640 135752675 4292095296 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 54089 53399 146 303 0 53784 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 216356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22783 /proc/meminfo: memFree=1639460/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=223508 CPUtime=1781.75 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 61399 0 0 0 177731 444 0 0 25 0 1 0 13497155 228872192 55172 1992294400 134512640 135752675 4292095296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 55877 55172 146 303 0 55572 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 223508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22783 /proc/meminfo: memFree=1636980/2059040 swapFree=4192956/4192956 [pid=22725] ppid=22723 vsize=226060 CPUtime=1800.06 /proc/22725/stat : 22725 (wbo1.4b) R 22723 22725 22309 0 -1 4202496 62002 0 0 0 179557 449 0 0 25 0 1 0 13497155 231485440 55775 1992294400 134512640 135752675 4292095296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22725/statm: 56515 55775 146 303 0 56210 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 226060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.09 CPU user time (s): 1795.57 CPU system time (s): 4.51531 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 226060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.57 system time used= 4.51531 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62002 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= 30 involuntary context switches= 6909 runsolver used 2.76058 second user time and 8.75567 second system time The end
Begin job on node004 at 2010-07-06 23:47:15 IDJOB=2687397 IDBENCH=77755 IDSOLVER=1190 FILE ID=node004/2687397-1278452835 PBS_JOBID= 11233502 Free space on /tmp= 62428 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687397-1278452835/watcher-2687397-1278452835 -o /tmp/evaluation-result-2687397-1278452835/solver-2687397-1278452835 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687397-1278452835.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 164e1d7c8e885527f3cc100614dc9c6f RANDOM SEED=1361951355 node004.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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1863728 kB Buffers: 4360 kB Cached: 57176 kB SwapCached: 0 kB Active: 56528 kB Inactive: 65276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1863728 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9076 kB Writeback: 0 kB AnonPages: 60248 kB Mapped: 14496 kB Slab: 51596 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183208 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= 62428 MiB End job on node004 at 2010-07-07 00:17:18