Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | ? (TO) | 1800.2 | 1800.82 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
| MD5SUM | d431323968e1ca4dc95d181076d01437 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 164 |
| Best CPU time to get the best result obtained on this benchmark | 1800.25 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 154 |
| Optimality of the best value was proved | NO |
| Number of variables | 1344 |
| Total number of constraints | 16096 |
| Number of constraints which are clauses | 8208 |
| Number of constraints which are cardinality constraints (but not clauses) | 496 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 448 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 1024 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 24 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 1024 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656005-1276396518.opb. 0.00/0.00 c Instance file HOME/instance-2656005-1276396518.opb 0.00/0.00 c File size is 912900 bytes. 0.09/0.15 c Highest Coefficient sum: 60 0.09/0.15 c ============================[ Problem Statistics ]============================= 0.09/0.15 c | | 0.09/0.15 c | Parsing time: 0.15 s | 0.09/0.15 c | Number Variables: 1344 | 0.09/0.15 c | Number Clauses: 8488 | 0.09/0.15 c | Number Cardinality: 496 | 0.09/0.15 c | Number PB Constraints: 7392 | 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1344 16376 97904 | 5458 0 nan | 0.000 % | 0.19/0.26 c | 102 | 1344 16376 97904 | 6004 102 40 | 0.000 % | 0.19/0.28 c | 253 | 1344 16376 97904 | 6604 253 47 | 0.000 % | 0.29/0.31 c | 478 | 1344 16376 97904 | 7265 478 43 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 194 0.29/0.32 o 194 0.29/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 502 | 1344 16377 98352 | 5459 502 43 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 192 0.29/0.34 o 192 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 522 | 1344 16378 98800 | 5459 522 46 | 0.000 % | 0.29/0.38 c | 622 | 1344 16378 98800 | 6005 622 58 | 0.000 % | 0.39/0.43 c | 772 | 1344 16378 98800 | 6605 772 67 | 0.000 % | 0.49/0.51 c | 997 | 1344 16378 98800 | 7266 997 72 | 0.000 % | 0.59/0.62 c | 1336 | 1344 16378 98800 | 7993 1336 83 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 190 0.59/0.63 o 190 0.59/0.63 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1345 | 1344 16379 99248 | 5459 1345 83 | 0.000 % | 0.59/0.67 c | 1447 | 1344 16379 99248 | 6005 1447 85 | 0.000 % | 0.69/0.72 c | 1598 | 1344 16379 99248 | 6606 1598 88 | 0.000 % | 0.79/0.80 c | 1824 | 1344 16379 99248 | 7266 1824 97 | 0.000 % | 0.90/0.91 c | 2163 | 1344 16379 99248 | 7993 2163 99 | 0.000 % | 1.00/1.09 c | 2669 | 1344 16379 99248 | 8792 2669 107 | 0.000 % | 1.29/1.33 c | 3428 | 1344 16379 99248 | 9672 3428 99 | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: 188 1.39/1.41 o 188 1.39/1.41 c Elapsed CPU time: 1.38879 s Remaining CPU time: 178.611 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 3749 | 1344 16380 99696 | 5460 3749 95 | 0.000 % | 1.39/1.44 c | 3849 | 1344 16380 99696 | 6006 3849 95 | 0.000 % | 1.49/1.51 c | 4000 | 1344 16380 99696 | 6606 4000 95 | 0.000 % | 1.49/1.56 c | 4225 | 1344 16380 99696 | 7267 4225 93 | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: 184 1.59/1.61 o 184 1.59/1.61 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 4385 | 1344 16381 100144 | 5460 4385 92 | 0.000 % | 1.59/1.63 c | 4485 | 1344 16381 100144 | 6006 4485 91 | 0.000 % | 1.59/1.69 c | 4635 | 1344 16381 100144 | 6607 4635 91 | 0.000 % | 1.69/1.75 c | 4862 | 1344 16381 100144 | 7267 4862 89 | 0.000 % | 1.79/1.88 c | 5199 | 1344 16381 100144 | 7994 5199 94 | 0.000 % | 2.00/2.08 c | 5708 | 1344 16381 100144 | 8793 5708 94 | 0.000 % | 2.29/2.37 c | 6467 | 1344 16381 100144 | 9673 6467 96 | 0.000 % | 2.78/2.87 c | 7607 | 1344 16381 100144 | 10640 7607 101 | 0.000 % | 3.20/3.26 c | 9315 | 1344 16381 100144 | 11704 9315 91 | 0.000 % | 4.49/4.55 c | 11877 | 1344 16381 100144 | 12875 11877 110 | 0.000 % | 6.69/6.78 c | 15723 | 1344 16381 100144 | 14162 8792 151 | 0.000 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 182 6.79/6.85 o 182 6.79/6.85 c Elapsed CPU time: 6.75497 s Remaining CPU time: 173.245 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 15848 | 1344 16382 100592 | 5460 8917 150 | 0.000 % | 6.79/6.89 c | 15948 | 1344 16382 100592 | 6006 4559 169 | 0.000 % | 6.89/6.91 c | 16099 | 1344 16382 100592 | 6607 4710 166 | 0.000 % | 6.89/6.99 c | 16324 | 1344 16382 100592 | 7268 4935 163 | 0.000 % | 6.99/7.08 c | 16668 | 1344 16382 100592 | 7994 5279 156 | 0.000 % | 7.19/7.23 c | 17174 | 1344 16382 100592 | 8794 5785 151 | 0.000 % | 7.49/7.53 c | 17934 | 1344 16382 100592 | 9673 6545 151 | 0.000 % | 7.98/8.06 c =============================================================================== 7.98/8.06 c New solution: 174 7.98/8.06 o 174 7.98/8.06 c Elapsed CPU time: 7.95679 s Remaining CPU time: 172.043 s 7.98/8.06 c =============================================================================== 7.98/8.06 c | 18902 | 1344 16383 101040 | 5461 7513 149 | 0.000 % | 8.08/8.13 c | 19002 | 1344 16383 101040 | 6007 3857 103 | 0.000 % | 8.08/8.19 c | 19152 | 1344 16383 101040 | 6607 4007 102 | 0.000 % | 8.29/8.30 c | 19377 | 1344 16383 101040 | 7268 4232 104 | 0.000 % | 8.39/8.45 c | 19714 | 1344 16383 101040 | 7995 4569 107 | 0.000 % | 8.59/8.69 c | 20220 | 1344 16383 101040 | 8794 5075 109 | 0.000 % | 8.88/8.97 c | 20979 | 1344 16383 101040 | 9674 5834 104 | 0.000 % | 9.59/9.67 c | 22118 | 1344 16383 101040 | 10641 6973 108 | 0.000 % | 10.59/10.67 c | 23826 | 1344 16383 101040 | 11706 8681 123 | 0.000 % | 12.38/12.43 c | 26389 | 1344 16383 101040 | 12876 11244 143 | 0.000 % | 15.58/15.66 c | 30235 | 1344 16383 101040 | 14164 8399 200 | 0.000 % | 19.09/19.16 c | 36002 | 1344 16383 101040 | 15580 14166 194 | 0.000 % | 26.39/26.45 c | 44654 | 1344 16383 101040 | 17138 14645 207 | 0.000 % | 38.28/38.36 c | 57630 | 1344 16383 101040 | 18852 9595 300 | 0.000 % | 63.77/63.87 c | 77091 | 1344 16383 101040 | 20738 19277 245 | 0.000 % | 99.25/99.38 c | 106284 | 1344 16383 101040 | 22811 16209 262 | 0.000 % | 160.24/160.30 c | 150077 | 1344 16383 101040 | 25093 12585 241 | 0.000 % | 181.03/181.10 c There are 0 assigned variables. 0 in cost function. 183.64/183.71 c core #1 183.64/183.71 c core #2 183.64/183.71 c core #3 183.64/183.71 c core #4 183.64/183.71 c core #5 183.64/183.71 c core #6 183.64/183.71 c core #7 183.64/183.71 c core #8 183.64/183.71 c core #9 183.64/183.71 c core #10 183.64/183.71 c core #11 183.64/183.71 c core #12 183.64/183.71 c core #13 183.64/183.71 c core #14 183.64/183.71 c core #15 183.64/183.71 c core #16 183.64/183.71 c core #17 183.64/183.71 c core #18 183.64/183.71 c core #19 183.64/183.71 c core #20 183.64/183.71 c core #21 183.64/183.71 c core #22 183.64/183.71 c core #23 183.64/183.71 c core #24 183.64/183.71 c core #25 183.64/183.71 c core #26 183.64/183.71 c core #27 183.64/183.71 c core #28 183.64/183.71 c core #29 183.64/183.71 c core #30 183.64/183.71 c core #31 183.64/183.71 c core #32 183.64/183.71 c core #33 183.64/183.71 c core #34 183.64/183.71 c core #35 183.64/183.71 c core #36 183.64/183.71 c core #37 183.64/183.71 c core #38 183.64/183.71 c core #39 183.64/183.71 c core #40 183.64/183.71 c core #41 183.64/183.71 c core #42 183.64/183.71 c core #43 183.64/183.71 c core #44 183.64/183.71 c core #45 183.64/183.71 c core #46 183.64/183.71 c core #47 183.64/183.71 c core #48 183.64/183.71 c core #49 183.64/183.71 c core #50 183.64/183.71 c core #51 183.64/183.71 c core #52 183.64/183.71 c core #53 183.64/183.71 c core #54 183.64/183.71 c core #55 183.64/183.71 c core #56 183.64/183.71 c core #57 183.64/183.71 c core #58 183.64/183.71 c core #59 183.64/183.71 c core #60 183.64/183.71 c core #61 183.64/183.71 c core #62 183.64/183.71 c core #63 183.64/183.71 c core #64 183.64/183.71 c ============================[ Search Statistics ]============================== 183.64/183.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.71 c =============================================================================== 183.64/183.71 c | 0 | 1568 17232 57728 | 5744 0 nan | 0.000 % | 183.64/183.72 c =============================================================================== 183.64/183.77 c core #65 183.64/183.77 c ============================[ Search Statistics ]============================== 183.64/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.77 c =============================================================================== 183.64/183.77 c | 0 | 1579 17234 57871 | 5744 0 nan | 0.000 % | 183.64/183.77 c =============================================================================== 183.73/183.82 c core #66 183.73/183.82 c ============================[ Search Statistics ]============================== 183.73/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.82 c =============================================================================== 183.73/183.82 c | 0 | 1588 17238 57886 | 5746 0 nan | 0.000 % | 183.73/183.82 c =============================================================================== 183.73/183.88 c core #67 183.73/183.88 c ============================[ Search Statistics ]============================== 183.73/183.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.88 c =============================================================================== 183.73/183.88 c | 0 | 1603 17239 57981 | 5746 0 nan | 0.000 % | 183.73/183.88 c =============================================================================== 183.83/183.93 c core #68 183.83/183.93 c ============================[ Search Statistics ]============================== 183.83/183.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.93 c =============================================================================== 183.83/183.93 c | 0 | 1612 17243 57996 | 5747 0 nan | 0.000 % | 183.83/183.94 c =============================================================================== 183.83/183.99 c core #69 183.83/183.99 c ============================[ Search Statistics ]============================== 183.83/183.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.99 c =============================================================================== 183.83/183.99 c | 0 | 1657 17256 58607 | 5752 0 nan | 0.000 % | 183.93/184.00 c =============================================================================== 183.93/184.05 c core #70 183.93/184.05 c ============================[ Search Statistics ]============================== 183.93/184.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.05 c =============================================================================== 183.93/184.05 c | 0 | 1668 17258 58750 | 5752 0 nan | 0.000 % | 183.93/184.06 c =============================================================================== 184.03/184.11 c core #71 184.03/184.11 c ============================[ Search Statistics ]============================== 184.03/184.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.11 c =============================================================================== 184.03/184.11 c | 0 | 1676 17262 58763 | 5754 0 nan | 0.000 % | 184.03/184.13 c =============================================================================== 184.03/184.18 c core #72 184.03/184.18 c ============================[ Search Statistics ]============================== 184.03/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.18 c =============================================================================== 184.03/184.18 c | 0 | 1684 17266 58776 | 5755 0 nan | 0.000 % | 184.03/184.19 c =============================================================================== 184.13/184.24 c core #73 184.13/184.24 c ============================[ Search Statistics ]============================== 184.13/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.24 c =============================================================================== 184.13/184.24 c | 0 | 1695 17268 58919 | 5756 0 nan | 0.000 % | 184.13/184.25 c =============================================================================== 184.23/184.30 c core #74 184.23/184.30 c ============================[ Search Statistics ]============================== 184.23/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.30 c =============================================================================== 184.23/184.30 c | 0 | 1710 17269 59014 | 5756 0 nan | 0.000 % | 184.23/184.31 c =============================================================================== 184.23/184.36 c core #75 184.23/184.36 c ============================[ Search Statistics ]============================== 184.23/184.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.36 c =============================================================================== 184.23/184.36 c | 0 | 1719 17273 59029 | 5757 0 nan | 0.000 % | 184.23/184.37 c =============================================================================== 184.33/184.42 c core #76 184.33/184.42 c ============================[ Search Statistics ]============================== 184.33/184.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.42 c =============================================================================== 184.33/184.42 c | 0 | 1730 17275 59172 | 5758 0 nan | 0.000 % | 184.33/184.43 c =============================================================================== 184.33/184.49 c core #77 184.33/184.49 c ============================[ Search Statistics ]============================== 184.33/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.49 c =============================================================================== 184.33/184.49 c | 0 | 1741 17277 59315 | 5759 0 nan | 0.000 % | 184.43/184.50 c =============================================================================== 184.43/184.55 c core #78 184.43/184.55 c ============================[ Search Statistics ]============================== 184.43/184.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.55 c =============================================================================== 184.43/184.55 c | 0 | 1750 17281 59330 | 5760 0 nan | 0.000 % | 184.43/184.56 c =============================================================================== 184.53/184.61 c core #79 184.53/184.61 c ============================[ Search Statistics ]============================== 184.53/184.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.61 c =============================================================================== 184.53/184.61 c | 0 | 1761 17283 59473 | 5761 0 nan | 0.000 % | 184.53/184.62 c =============================================================================== 184.53/184.67 c core #80 184.53/184.67 c ============================[ Search Statistics ]============================== 184.53/184.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.67 c =============================================================================== 184.53/184.67 c | 0 | 1770 17287 59488 | 5762 0 nan | 0.000 % | 184.53/184.68 c =============================================================================== 184.63/184.73 c core #81 184.63/184.73 c ============================[ Search Statistics ]============================== 184.63/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.73 c =============================================================================== 184.63/184.73 c | 0 | 1777 17291 59499 | 5763 0 nan | 0.000 % | 184.63/184.74 c =============================================================================== 184.63/184.79 c core #82 184.63/184.79 c ============================[ Search Statistics ]============================== 184.63/184.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.79 c =============================================================================== 184.63/184.79 c | 0 | 1788 17293 59642 | 5764 0 nan | 0.000 % | 184.63/184.80 c =============================================================================== 184.74/184.85 c core #83 184.74/184.85 c ============================[ Search Statistics ]============================== 184.74/184.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.85 c =============================================================================== 184.74/184.85 c | 0 | 1803 17294 59737 | 5764 0 nan | 0.000 % | 184.74/184.86 c =============================================================================== 184.83/184.91 c core #84 184.83/184.91 c ============================[ Search Statistics ]============================== 184.83/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.91 c =============================================================================== 184.83/184.91 c | 0 | 1814 17295 59878 | 5765 0 nan | 0.000 % | 184.83/184.92 c =============================================================================== 184.83/184.97 c core #85 184.83/184.97 c ============================[ Search Statistics ]============================== 184.83/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.97 c =============================================================================== 184.83/184.97 c | 0 | 1829 17296 59973 | 5765 0 nan | 0.000 % | 184.83/184.99 c =============================================================================== 184.93/185.04 c core #86 184.93/185.04 c ============================[ Search Statistics ]============================== 184.93/185.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.04 c =============================================================================== 184.93/185.04 c | 0 | 1840 17298 60116 | 5766 0 nan | 0.000 % | 184.93/185.05 c =============================================================================== 185.02/185.10 c core #87 185.02/185.10 c ============================[ Search Statistics ]============================== 185.02/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.10 c =============================================================================== 185.02/185.10 c | 0 | 1888 17311 61553 | 5770 0 nan | 0.000 % | 185.02/185.11 c =============================================================================== 185.02/185.17 c core #88 185.02/185.17 c ============================[ Search Statistics ]============================== 185.02/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.17 c =============================================================================== 185.02/185.17 c | 0 | 1915 17318 62164 | 5772 0 nan | 0.000 % | 185.02/185.18 c =============================================================================== 185.12/185.23 c core #89 185.12/185.23 c ============================[ Search Statistics ]============================== 185.12/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.23 c =============================================================================== 185.12/185.23 c | 0 | 1971 17332 63616 | 5777 0 nan | 0.000 % | 185.12/185.24 c =============================================================================== 185.23/185.30 c core #90 185.23/185.30 c ============================[ Search Statistics ]============================== 185.23/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.30 c =============================================================================== 185.23/185.30 c | 0 | 1998 17339 64227 | 5779 0 nan | 0.000 % | 185.23/185.31 c =============================================================================== 185.23/185.37 c core #91 185.23/185.37 c ============================[ Search Statistics ]============================== 185.23/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.37 c =============================================================================== 185.23/185.37 c | 0 | 2013 17340 64288 | 5780 0 nan | 0.000 % | 185.23/185.38 c | 101 | 2011 17340 64288 | 6358 101 19 | 9.455 % | 185.23/185.38 c =============================================================================== 185.33/185.44 c core #92 185.33/185.44 c ============================[ Search Statistics ]============================== 185.33/185.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.44 c =============================================================================== 185.33/185.44 c | 0 | 2024 17341 64429 | 5780 0 nan | 0.000 % | 185.33/185.45 c | 102 | 2021 17341 64429 | 6358 102 18 | 9.417 % | 185.33/185.45 c =============================================================================== 185.43/185.51 c core #93 185.43/185.51 c ============================[ Search Statistics ]============================== 185.43/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.51 c =============================================================================== 185.43/185.51 c | 0 | 2073 17354 65933 | 5784 0 nan | 0.000 % | 185.43/185.52 c =============================================================================== 185.43/185.58 c core #94 185.43/185.58 c ============================[ Search Statistics ]============================== 185.43/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.58 c =============================================================================== 185.43/185.58 c | 0 | 2088 17355 66028 | 5785 0 nan | 0.000 % | 185.43/185.59 c | 100 | 2082 17355 66028 | 6363 100 9 | 8.619 % | 185.43/185.59 c =============================================================================== 185.53/185.65 c core #95 185.53/185.65 c ============================[ Search Statistics ]============================== 185.53/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.65 c =============================================================================== 185.53/185.65 c | 0 | 2099 17356 66081 | 5785 0 nan | 0.000 % | 185.53/185.67 c =============================================================================== 185.62/185.72 c core #96 185.62/185.72 c ============================[ Search Statistics ]============================== 185.62/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.72 c =============================================================================== 185.62/185.72 c | 0 | 2149 17361 67825 | 5787 0 nan | 0.000 % | 185.62/185.73 c | 101 | 2149 17361 67825 | 6365 101 24 | 7.570 % | 185.62/185.75 c | 251 | 2149 17361 67825 | 7002 251 16 | 7.914 % | 185.62/185.76 c | 476 | 2139 17361 67825 | 7702 476 17 | 8.086 % | 185.73/185.81 c | 813 | 2139 17361 67825 | 8472 813 23 | 8.086 % | 185.73/185.87 c | 1319 | 2136 17361 67825 | 9320 1279 27 | 8.129 % | 185.84/185.91 c =============================================================================== 185.84/185.98 c core #97 185.84/185.98 c ============================[ Search Statistics ]============================== 185.84/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.98 c =============================================================================== 185.84/185.98 c | 0 | 2226 17372 68387 | 5790 0 nan | 0.000 % | 185.84/185.99 c | 100 | 2224 17372 68387 | 6369 100 18 | 7.333 % | 185.93/186.01 c | 251 | 2224 17372 68387 | 7006 251 19 | 7.333 % | 185.93/186.02 c =============================================================================== 185.93/186.07 c core #98 185.93/186.07 c ============================[ Search Statistics ]============================== 185.93/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.07 c =============================================================================== 185.93/186.07 c | 0 | 2294 17384 70369 | 5794 0 nan | 0.000 % | 185.93/186.09 c | 102 | 2294 17384 70369 | 6374 102 30 | 6.710 % | 186.03/186.10 c | 253 | 2294 17384 70369 | 7011 253 25 | 6.710 % | 186.03/186.12 c | 478 | 2294 17384 70369 | 7712 478 26 | 6.710 % | 186.03/186.14 c | 817 | 2294 17384 70369 | 8483 817 23 | 6.710 % | 186.03/186.18 c | 1324 | 2294 17384 70369 | 9332 1324 22 | 6.710 % | 186.12/186.25 c | 2083 | 2294 17384 70369 | 10265 2083 22 | 6.710 % | 186.23/186.35 c | 3223 | 2288 17384 70369 | 11292 2553 22 | 6.954 % | 186.23/186.37 c =============================================================================== 186.33/186.46 c core #99 186.33/186.46 c ============================[ Search Statistics ]============================== 186.33/186.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.46 c =============================================================================== 186.33/186.46 c | 0 | 2384 17387 72416 | 5795 0 nan | 0.000 % | 186.33/186.48 c | 103 | 2382 17387 72416 | 6375 103 12 | 6.299 % | 186.33/186.49 c | 253 | 2382 17387 72416 | 7012 253 14 | 6.299 % | 186.42/186.50 c | 478 | 2382 17387 72416 | 7714 478 20 | 6.299 % | 186.42/186.52 c | 817 | 2382 17387 72416 | 8485 817 18 | 6.299 % | 186.42/186.55 c | 1323 | 2382 17387 72416 | 9333 1323 18 | 6.299 % | 186.53/186.61 c | 2082 | 2380 17387 72416 | 10267 2060 19 | 6.299 % | 186.63/186.71 c | 3221 | 2380 17387 72416 | 11294 3199 19 | 6.299 % | 186.72/186.83 c =============================================================================== 186.72/186.89 c core #100 186.72/186.89 c ============================[ Search Statistics ]============================== 186.72/186.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.72/186.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.72/186.89 c =============================================================================== 186.72/186.89 c | 0 | 2452 17400 74188 | 5800 0 nan | 0.000 % | 186.84/186.91 c | 102 | 2449 17400 74188 | 6380 102 9 | 5.846 % | 186.84/186.92 c | 252 | 2449 17400 74188 | 7018 252 15 | 6.000 % | 186.84/186.94 c =============================================================================== 186.84/187.00 c core #101 186.84/187.00 c ============================[ Search Statistics ]============================== 186.84/187.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/187.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/187.00 c =============================================================================== 186.84/187.00 c | 0 | 2513 17421 75524 | 5807 0 nan | 0.000 % | 186.94/187.02 c | 100 | 2511 17421 75524 | 6387 100 15 | 5.424 % | 186.94/187.03 c | 251 | 2510 17421 75524 | 7026 251 20 | 5.499 % | 186.94/187.05 c | 476 | 2510 17421 75524 | 7729 476 22 | 5.499 % | 186.94/187.08 c | 813 | 2510 17421 75524 | 8502 813 21 | 5.499 % | 187.02/187.10 c =============================================================================== 187.02/187.17 c core #102 187.02/187.17 c ============================[ Search Statistics ]============================== 187.02/187.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.02/187.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.02/187.17 c =============================================================================== 187.02/187.17 c | 0 | 2595 17426 78992 | 5808 0 nan | 0.000 % | 187.02/187.18 c | 100 | 2593 17426 78992 | 6389 100 16 | 4.704 % | 187.02/187.19 c | 250 | 2593 17426 78992 | 7028 250 19 | 4.704 % | 187.12/187.22 c | 476 | 2593 17426 78992 | 7731 476 22 | 4.704 % | 187.12/187.25 c | 813 | 2593 17426 78992 | 8504 813 25 | 4.704 % | 187.23/187.30 c | 1319 | 2593 17426 78992 | 9354 1319 24 | 4.704 % | 187.23/187.37 c | 2078 | 2593 17426 78992 | 10290 2052 22 | 4.704 % | 187.32/187.48 c | 3217 | 2593 17426 78992 | 11319 3191 22 | 4.704 % | 187.53/187.67 c | 4926 | 2570 17426 78992 | 12451 2080 18 | 5.549 % | 187.53/187.69 c =============================================================================== 187.63/187.79 c core #103 187.63/187.79 c ============================[ Search Statistics ]============================== 187.63/187.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.63/187.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.63/187.79 c =============================================================================== 187.63/187.79 c | 0 | 2685 17429 79588 | 5809 0 nan | 0.000 % | 187.73/187.81 c | 100 | 2685 17429 79588 | 6390 100 12 | 4.414 % | 187.73/187.82 c | 251 | 2683 17429 79588 | 7029 251 13 | 4.486 % | 187.73/187.84 c | 476 | 2677 17429 79588 | 7732 476 20 | 5.020 % | 187.73/187.85 c =============================================================================== 187.83/187.90 c core #104 187.83/187.90 c ============================[ Search Statistics ]============================== 187.83/187.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.90 c =============================================================================== 187.83/187.90 c | 0 | 2751 17446 81352 | 5815 0 nan | 0.000 % | 187.83/187.92 c | 103 | 2749 17446 81352 | 6396 103 27 | 4.116 % | 187.83/187.94 c =============================================================================== 187.93/188.00 c core #105 187.93/188.00 c ============================[ Search Statistics ]============================== 187.93/188.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.93/188.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.93/188.00 c =============================================================================== 187.93/188.00 c | 0 | 2813 17467 82690 | 5822 0 nan | 0.000 % | 187.93/188.02 c | 100 | 2813 17467 82690 | 6404 100 14 | 3.763 % | 187.93/188.04 c | 252 | 2813 17467 82690 | 7045 252 16 | 3.763 % | 187.93/188.06 c | 477 | 2813 17467 82690 | 7749 477 23 | 3.763 % | 187.93/188.09 c | 814 | 2813 17467 82690 | 8524 814 24 | 3.763 % | 188.03/188.13 c | 1320 | 2813 17467 82690 | 9376 1320 22 | 3.763 % | 188.13/188.20 c | 2080 | 2813 17467 82690 | 10314 2080 22 | 3.763 % | 188.13/188.28 c | 3220 | 2813 17467 82690 | 11346 3220 20 | 3.763 % | 188.23/188.36 c =============================================================================== 188.32/188.45 c core #106 188.32/188.45 c ============================[ Search Statistics ]============================== 188.32/188.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.32/188.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.32/188.45 c =============================================================================== 188.32/188.45 c | 0 | 2904 17470 84948 | 5823 0 nan | 0.000 % | 188.32/188.47 c | 100 | 2904 17470 84948 | 6405 100 17 | 3.329 % | 188.32/188.48 c | 251 | 2904 17470 84948 | 7046 251 22 | 3.329 % | 188.43/188.50 c | 476 | 2904 17470 84948 | 7750 476 24 | 3.329 % | 188.43/188.53 c | 813 | 2904 17470 84948 | 8525 813 22 | 3.329 % | 188.43/188.59 c | 1320 | 2904 17470 84948 | 9378 1320 26 | 3.329 % | 188.53/188.67 c | 2079 | 2904 17470 84948 | 10316 2079 25 | 3.329 % | 188.63/188.78 c | 3223 | 2904 17470 84948 | 11348 3223 24 | 3.329 % | 188.83/188.94 c | 4931 | 2904 17470 84948 | 12482 4931 24 | 3.329 % | 189.14/189.26 c | 7495 | 2904 17470 84948 | 13731 7495 24 | 3.329 % | 189.83/189.93 c | 11339 | 2904 17470 84948 | 15104 11339 25 | 3.329 % | 190.93/191.06 c | 17107 | 2895 17470 84948 | 16614 4439 15 | 3.629 % | 191.03/191.19 c =============================================================================== 191.23/191.40 c core #107 191.23/191.40 c ============================[ Search Statistics ]============================== 191.23/191.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.23/191.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.23/191.40 c =============================================================================== 191.23/191.40 c | 0 | 3009 17471 85576 | 5823 0 nan | 0.000 % | 191.33/191.42 c | 100 | 3009 17471 85576 | 6406 100 23 | 3.154 % | 191.33/191.43 c | 251 | 3009 17471 85576 | 7046 251 22 | 3.154 % | 191.33/191.44 c | 476 | 3009 17471 85576 | 7751 476 20 | 3.154 % | 191.33/191.47 c | 813 | 3009 17471 85576 | 8526 813 23 | 3.154 % | 191.43/191.52 c | 1322 | 3009 17471 85576 | 9379 1322 23 | 3.154 % | 191.43/191.57 c | 2081 | 3009 17471 85576 | 10316 2081 22 | 3.154 % | 191.53/191.67 c | 3221 | 3009 17471 85576 | 11348 3221 20 | 3.154 % | 191.72/191.83 c | 4929 | 3009 17471 85576 | 12483 4929 22 | 3.154 % | 192.02/192.16 c | 7491 | 3002 17471 85576 | 13731 5914 23 | 3.380 % | 192.12/192.23 c =============================================================================== 192.22/192.36 c core #108 192.22/192.36 c ============================[ Search Statistics ]============================== 192.22/192.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.22/192.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.22/192.36 c =============================================================================== 192.22/192.36 c | 0 | 3102 17472 87840 | 5824 0 nan | 0.000 % | 192.22/192.38 c | 100 | 3102 17472 87840 | 6406 100 24 | 2.759 % | 192.22/192.40 c | 251 | 3102 17472 87840 | 7047 251 19 | 2.759 % | 192.33/192.41 c | 478 | 3102 17472 87840 | 7751 478 21 | 2.759 % | 192.33/192.43 c | 816 | 3102 17472 87840 | 8526 816 20 | 2.759 % | 192.33/192.47 c | 1322 | 3102 17472 87840 | 9379 1322 24 | 2.759 % | 192.43/192.54 c | 2081 | 3102 17472 87840 | 10317 2081 27 | 2.759 % | 192.52/192.65 c | 3221 | 3102 17472 87840 | 11349 3221 26 | 2.759 % | 192.73/192.85 c | 4929 | 3102 17472 87840 | 12484 4929 26 | 2.759 % | 193.02/193.19 c | 7498 | 3102 17472 87840 | 13732 7498 27 | 2.759 % | 193.63/193.74 c | 11344 | 3102 17472 87840 | 15105 11344 27 | 2.759 % | 194.72/194.82 c | 17111 | 3102 17472 87840 | 16616 9451 29 | 2.759 % | 196.53/196.67 c | 25760 | 3102 17472 87840 | 18278 9707 38 | 2.759 % | 198.83/198.90 c =============================================================================== 198.83/199.00 c core #109 198.83/199.00 c ============================[ Search Statistics ]============================== 198.83/199.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.83/199.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.83/199.00 c =============================================================================== 198.83/199.00 c | 0 | 3170 17489 89608 | 5829 0 nan | 0.000 % | 198.93/199.02 c | 100 | 3168 17489 89608 | 6412 100 31 | 2.523 % | 198.93/199.03 c | 250 | 3167 17489 89608 | 7053 250 21 | 2.585 % | 198.93/199.04 c | 476 | 3167 17489 89608 | 7759 476 17 | 2.585 % | 198.93/199.06 c | 814 | 3167 17489 89608 | 8535 814 16 | 2.585 % | 199.03/199.12 c | 1322 | 3167 17489 89608 | 9388 1322 22 | 2.585 % | 199.13/199.20 c | 2082 | 3166 17489 89608 | 10327 2060 26 | 2.585 % | 199.13/199.26 c =============================================================================== 199.23/199.34 c core #110 199.23/199.34 c ============================[ Search Statistics ]============================== 199.23/199.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.23/199.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.23/199.34 c =============================================================================== 199.23/199.34 c | 0 | 3254 17494 92256 | 5831 0 nan | 0.000 % | 199.23/199.35 c | 101 | 3254 17494 92256 | 6414 101 16 | 2.047 % | 199.23/199.37 c | 253 | 3254 17494 92256 | 7055 253 16 | 2.047 % | 199.23/199.39 c | 478 | 3254 17494 92256 | 7761 478 21 | 2.047 % | 199.32/199.42 c | 817 | 3254 17494 92256 | 8537 817 26 | 2.047 % | 199.32/199.48 c | 1324 | 3254 17494 92256 | 9391 1324 28 | 2.047 % | 199.42/199.52 c =============================================================================== 199.52/199.60 c core #111 199.52/199.60 c ============================[ Search Statistics ]============================== 199.52/199.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.52/199.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.52/199.60 c =============================================================================== 199.52/199.60 c | 0 | 3331 17499 95714 | 5833 0 nan | 0.000 % | 199.52/199.62 c | 102 | 3331 17499 95714 | 6416 102 27 | 1.537 % | 199.52/199.64 c | 252 | 3331 17499 95714 | 7057 252 23 | 1.537 % | 199.52/199.65 c | 477 | 3331 17499 95714 | 7763 477 20 | 1.537 % | 199.52/199.68 c | 814 | 3331 17499 95714 | 8540 814 21 | 1.537 % | 199.63/199.72 c | 1320 | 3331 17499 95714 | 9394 1320 21 | 1.537 % | 199.63/199.79 c | 2083 | 3331 17499 95714 | 10333 2083 19 | 1.537 % | 199.72/199.89 c | 3225 | 3331 17499 95714 | 11366 3225 24 | 1.537 % | 199.93/200.08 c | 4933 | 3331 17499 95714 | 12503 4933 24 | 1.537 % | 200.32/200.43 c | 7495 | 3331 17499 95714 | 13753 7495 23 | 1.537 % | 200.92/201.00 c | 11340 | 3331 17499 95714 | 15129 11340 23 | 1.537 % | 201.92/202.00 c | 17106 | 3331 17499 95714 | 16642 9491 24 | 1.537 % | 203.33/203.48 c =============================================================================== 203.72/203.81 c core #112 203.72/203.81 c ============================[ Search Statistics ]============================== 203.72/203.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.72/203.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.72/203.81 c =============================================================================== 203.72/203.81 c | 0 | 3437 17500 96344 | 5833 0 nan | 0.000 % | 203.72/203.83 c | 101 | 3437 17500 96344 | 6416 101 22 | 1.434 % | 203.72/203.84 c | 251 | 3437 17500 96344 | 7058 251 17 | 1.434 % | 203.72/203.85 c | 476 | 3437 17500 96344 | 7764 476 16 | 1.434 % | 203.72/203.88 c | 814 | 3434 17500 96344 | 8540 814 16 | 1.520 % | 203.82/203.91 c | 1324 | 3431 17500 96344 | 9394 1324 16 | 1.606 % | 203.82/203.96 c | 2084 | 3431 17500 96344 | 10334 1748 16 | 1.606 % | 203.92/204.06 c | 3223 | 3431 17500 96344 | 11367 2887 20 | 1.606 % | 204.12/204.23 c | 4931 | 3431 17500 96344 | 12504 4595 22 | 1.606 % | 204.43/204.53 c | 7494 | 3431 17500 96344 | 13754 7158 27 | 1.606 % | 205.02/205.13 c | 11338 | 3431 17500 96344 | 15130 11002 27 | 1.606 % | 206.12/206.20 c | 17104 | 3431 17500 96344 | 16643 9106 27 | 1.606 % | 206.22/206.39 c =============================================================================== 206.32/206.48 c core #113 206.32/206.48 c ============================[ Search Statistics ]============================== 206.32/206.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.32/206.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.32/206.48 c =============================================================================== 206.32/206.48 c | 0 | 3504 17511 99354 | 5837 0 nan | 0.000 % | 206.42/206.50 c | 101 | 3504 17511 99354 | 6420 101 29 | 1.017 % | 206.42/206.51 c | 252 | 3504 17511 99354 | 7062 252 18 | 1.017 % | 206.42/206.53 c | 477 | 3504 17511 99354 | 7769 477 19 | 1.017 % | 206.42/206.55 c | 817 | 3504 17511 99354 | 8545 817 18 | 1.017 % | 206.42/206.58 c | 1325 | 3499 17511 99354 | 9400 1325 17 | 1.186 % | 206.52/206.64 c | 2086 | 3492 17511 99354 | 10340 1542 17 | 1.356 % | 206.63/206.75 c | 3226 | 3492 17511 99354 | 11374 2682 20 | 1.356 % | 206.82/206.92 c | 4936 | 3492 17511 99354 | 12512 4392 21 | 1.356 % | 207.12/207.21 c | 7501 | 3492 17511 99354 | 13763 6957 21 | 1.356 % | 207.32/207.45 c =============================================================================== 207.42/207.58 c core #114 207.42/207.58 c ============================[ Search Statistics ]============================== 207.42/207.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.42/207.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.42/207.58 c =============================================================================== 207.42/207.58 c | 0 | 3603 17512 100388 | 5837 0 nan | 0.000 % | 207.52/207.60 c | 100 | 3603 17512 100388 | 6421 100 32 | 0.880 % | 207.52/207.61 c | 252 | 3603 17512 100388 | 7063 252 31 | 0.880 % | 207.52/207.63 c | 477 | 3603 17512 100388 | 7769 477 23 | 0.880 % | 207.52/207.65 c | 817 | 3603 17512 100388 | 8546 817 21 | 0.880 % | 207.62/207.70 c | 1323 | 3603 17512 100388 | 9401 1323 21 | 0.880 % | 207.62/207.73 c =============================================================================== 207.72/207.81 c core #115 207.72/207.81 c ============================[ Search Statistics ]============================== 207.72/207.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.72/207.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.72/207.81 c =============================================================================== 207.72/207.81 c | 0 | 3680 17517 103022 | 5839 0 nan | 0.000 % | 207.72/207.83 c | 100 | 3680 17517 103022 | 6422 100 31 | 0.541 % | 207.72/207.85 c | 251 | 3680 17517 103022 | 7065 251 30 | 0.541 % | 207.72/207.87 c | 479 | 3680 17517 103022 | 7771 479 34 | 0.541 % | 207.83/207.90 c | 817 | 3680 17517 103022 | 8548 817 33 | 0.541 % | 207.83/207.94 c | 1328 | 3680 17517 103022 | 9403 1328 29 | 0.541 % | 207.92/208.01 c | 2089 | 3680 17517 103022 | 10344 2089 25 | 0.541 % | 208.02/208.10 c | 3229 | 3680 17517 103022 | 11378 3229 24 | 0.541 % | 208.22/208.30 c | 4939 | 3680 17517 103022 | 12516 4939 26 | 0.541 % | 208.52/208.68 c | 7501 | 3680 17517 103022 | 13768 7501 30 | 0.541 % | 209.12/209.25 c | 11346 | 3680 17517 103022 | 15144 11346 29 | 0.541 % | 210.22/210.32 c | 17113 | 3680 17517 103022 | 16659 9483 29 | 0.541 % | 212.02/212.15 c | 25762 | 3680 17517 103022 | 18325 9762 31 | 0.541 % | 214.52/214.60 c | 38736 | 3680 17517 103022 | 20157 13502 30 | 0.541 % | 219.01/219.14 c | 58199 | 3680 17517 103022 | 22173 12745 33 | 0.541 % | 225.61/225.73 c | 87391 | 3680 17517 103022 | 24390 19489 29 | 0.541 % | 237.61/237.77 c | 131181 | 3680 17517 103022 | 26830 14238 40 | 0.541 % | 257.31/257.45 c | 196865 | 3680 17517 103022 | 29513 20881 38 | 0.541 % | 286.29/286.41 c =============================================================================== 289.49/289.60 c core #116 289.49/289.60 c ============================[ Search Statistics ]============================== 289.49/289.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.49/289.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.49/289.60 c =============================================================================== 289.49/289.60 c | 0 | 3805 17518 103272 | 5839 0 nan | 0.000 % | 289.49/289.65 c | 101 | 3805 17518 103272 | 6423 101 25 | 0.523 % | 289.49/289.66 c | 251 | 3805 17518 103272 | 7065 251 20 | 0.523 % | 289.49/289.68 c | 476 | 3799 17518 103272 | 7772 476 19 | 0.680 % | 289.60/289.71 c | 815 | 3795 17518 103272 | 8549 815 19 | 0.784 % | 289.60/289.75 c | 1323 | 3795 17518 103272 | 9404 1323 21 | 0.784 % | 289.69/289.82 c | 2086 | 3792 17518 103272 | 10344 1412 23 | 0.863 % | 289.79/289.92 c | 3225 | 3792 17518 103272 | 11379 2551 22 | 0.863 % | 289.89/290.09 c | 4934 | 3792 17518 103272 | 12517 4260 23 | 0.863 % | 290.20/290.40 c | 7500 | 3792 17518 103272 | 13768 6826 23 | 0.863 % | 290.69/290.87 c | 11347 | 3792 17518 103272 | 15145 10673 25 | 0.863 % | 291.59/291.73 c | 17114 | 3792 17518 103272 | 16660 8751 28 | 0.863 % | 292.99/293.12 c | 25763 | 3792 17518 103272 | 18326 17400 31 | 0.863 % | 295.59/295.71 c | 38738 | 3792 17518 103272 | 20158 11875 30 | 0.863 % | 300.49/300.65 c | 58200 | 3792 17518 103272 | 22174 11067 28 | 0.863 % | 307.28/307.40 c | 87395 | 3791 17518 103272 | 24392 17954 28 | 0.889 % | 309.09/309.30 c =============================================================================== 310.49/310.61 c core #117 310.49/310.61 c ============================[ Search Statistics ]============================== 310.49/310.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 310.49/310.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 310.49/310.61 c =============================================================================== 310.49/310.61 c | 0 | 3922 17519 103506 | 5839 0 nan | 0.000 % | 310.49/310.65 c | 100 | 3922 17519 103506 | 6423 100 32 | 0.507 % | 310.49/310.66 c | 253 | 3922 17519 103506 | 7065 253 28 | 0.507 % | 310.49/310.69 c | 478 | 3922 17519 103506 | 7772 478 31 | 0.507 % | 310.58/310.71 c | 815 | 3922 17519 103506 | 8549 815 27 | 0.507 % | 310.58/310.74 c | 1321 | 3922 17519 103506 | 9404 1321 21 | 0.507 % | 310.69/310.82 c | 2085 | 3922 17519 103506 | 10345 2085 21 | 0.507 % | 310.78/310.95 c | 3228 | 3922 17519 103506 | 11379 3228 21 | 0.507 % | 310.99/311.18 c | 4937 | 3922 17519 103506 | 12517 4937 21 | 0.507 % | 311.38/311.52 c | 7501 | 3922 17519 103506 | 13769 7501 21 | 0.507 % | 311.98/312.18 c | 11346 | 3916 17519 103506 | 15146 7129 18 | 0.660 % | 312.29/312.48 c =============================================================================== 312.58/312.71 c core #118 312.58/312.71 c ============================[ Search Statistics ]============================== 312.58/312.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 312.58/312.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 312.58/312.71 c =============================================================================== 312.58/312.71 c | 0 | 4029 17520 104556 | 5840 0 nan | 0.000 % | 312.58/312.74 c | 101 | 4029 17520 104556 | 6424 101 45 | 0.396 % | 312.58/312.76 c | 253 | 4029 17520 104556 | 7066 253 34 | 0.396 % | 312.58/312.77 c | 483 | 4029 17520 104556 | 7773 483 27 | 0.396 % | 312.69/312.80 c | 820 | 4029 17520 104556 | 8550 820 22 | 0.396 % | 312.69/312.84 c | 1326 | 4029 17520 104556 | 9405 1326 19 | 0.396 % | 312.78/312.92 c | 2085 | 4029 17520 104556 | 10345 2085 20 | 0.396 % | 312.88/313.05 c | 3225 | 4029 17520 104556 | 11380 3225 25 | 0.396 % | 313.08/313.26 c | 4934 | 4029 17520 104556 | 12518 4934 29 | 0.396 % | 313.49/313.60 c | 7496 | 4029 17520 104556 | 13770 7496 27 | 0.396 % | 314.08/314.21 c | 11341 | 4029 17520 104556 | 15147 11341 28 | 0.396 % | 315.18/315.36 c | 17110 | 4029 17520 104556 | 16662 9438 30 | 0.396 % | 316.89/317.07 c | 25760 | 4029 17520 104556 | 18328 9724 26 | 0.396 % | 319.68/319.85 c | 38735 | 4029 17520 104556 | 20161 13491 28 | 0.396 % | 324.68/324.85 c | 58198 | 4029 17520 104556 | 22177 12707 29 | 0.396 % | 331.48/331.61 c | 87390 | 4022 17520 104556 | 24395 16781 35 | 0.569 % | 338.58/338.80 c =============================================================================== 340.17/340.39 c core #119 340.17/340.39 c ============================[ Search Statistics ]============================== 340.17/340.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 340.17/340.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 340.17/340.39 c =============================================================================== 340.17/340.39 c | 0 | 4148 17521 104794 | 5840 0 nan | 0.000 % | 340.27/340.44 c | 104 | 4148 17521 104794 | 6424 104 25 | 0.384 % | 340.27/340.46 c | 258 | 4148 17521 104794 | 7066 258 24 | 0.384 % | 340.27/340.47 c | 483 | 4142 17521 104794 | 7773 483 21 | 0.528 % | 340.37/340.50 c | 820 | 4142 17521 104794 | 8550 820 19 | 0.528 % | 340.37/340.54 c | 1326 | 4142 17521 104794 | 9405 1326 18 | 0.528 % | 340.47/340.61 c | 2085 | 4139 17521 104794 | 10346 1888 19 | 0.648 % | 340.47/340.62 c =============================================================================== 340.57/340.73 c core #120 340.57/340.73 c ============================[ Search Statistics ]============================== 340.57/340.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 340.57/340.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 340.57/340.73 c =============================================================================== 340.57/340.73 c | 0 | 4233 17526 106202 | 5842 0 nan | 0.000 % | 340.57/340.76 c | 102 | 4233 17526 106202 | 6426 102 33 | 0.236 % | 340.57/340.77 c | 253 | 4233 17526 106202 | 7068 253 26 | 0.236 % | 340.57/340.78 c | 478 | 4233 17526 106202 | 7775 478 31 | 0.236 % | 340.68/340.81 c | 817 | 4233 17526 106202 | 8553 817 24 | 0.236 % | 340.68/340.86 c | 1323 | 4233 17526 106202 | 9408 1323 23 | 0.236 % | 340.78/340.92 c | 2082 | 4233 17526 106202 | 10349 2082 22 | 0.236 % | 340.88/341.02 c | 3221 | 4233 17526 106202 | 11384 3221 21 | 0.236 % | 340.97/341.18 c | 4931 | 4233 17526 106202 | 12522 4931 23 | 0.236 % | 341.27/341.47 c | 7493 | 4233 17526 106202 | 13775 7493 27 | 0.236 % | 341.77/341.92 c | 11339 | 4233 17526 106202 | 15152 11339 25 | 0.236 % | 342.68/342.82 c | 17109 | 4233 17526 106202 | 16667 9221 27 | 0.236 % | 343.77/343.92 c | 25760 | 4233 17526 106202 | 18334 9111 24 | 0.236 % | 346.48/346.60 c | 38734 | 4233 17526 106202 | 20168 12874 24 | 0.236 % | 351.57/351.78 c | 58196 | 4226 17526 106202 | 22184 9652 20 | 0.401 % | 355.77/355.91 c =============================================================================== 356.77/356.96 c core #121 356.77/356.96 c ============================[ Search Statistics ]============================== 356.77/356.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 356.77/356.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 356.77/356.96 c =============================================================================== 356.77/356.96 c | 0 | 4351 17527 106438 | 5842 0 nan | 0.000 % | 356.87/357.02 c | 104 | 4351 17527 106438 | 6426 104 54 | 0.229 % | 356.87/357.03 c | 254 | 4351 17527 106438 | 7069 254 39 | 0.229 % | 356.87/357.05 c | 479 | 4351 17527 106438 | 7776 479 43 | 0.229 % | 356.87/357.08 c | 817 | 4351 17527 106438 | 8553 817 36 | 0.229 % | 356.97/357.13 c | 1323 | 4351 17527 106438 | 9409 1323 31 | 0.229 % | 357.07/357.20 c | 2082 | 4351 17527 106438 | 10350 2082 27 | 0.229 % | 357.17/357.32 c | 3221 | 4351 17527 106438 | 11385 3221 31 | 0.229 % | 357.37/357.51 c | 4930 | 4351 17527 106438 | 12523 4930 28 | 0.229 % | 357.67/357.88 c | 7494 | 4351 17527 106438 | 13775 7494 28 | 0.229 % | 358.17/358.33 c | 11339 | 4351 17527 106438 | 15153 11339 26 | 0.229 % | 358.97/359.17 c | 17106 | 4351 17527 106438 | 16668 9391 28 | 0.229 % | 360.77/360.95 c | 25756 | 4351 17527 106438 | 18335 9588 34 | 0.229 % | 363.76/363.97 c | 38730 | 4351 17527 106438 | 20169 13316 38 | 0.229 % | 367.57/367.75 c | 58191 | 4351 17527 106438 | 22186 11049 37 | 0.229 % | 372.77/372.95 c | 87386 | 4351 17527 106438 | 24404 16420 29 | 0.229 % | 378.36/378.52 c =============================================================================== 378.86/379.07 c core #122 378.86/379.07 c ============================[ Search Statistics ]============================== 378.86/379.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 378.86/379.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 378.86/379.07 c =============================================================================== 378.86/379.07 c | 0 | 4454 17528 107062 | 5842 0 nan | 0.000 % | 378.96/379.12 c | 100 | 4454 17528 107062 | 6426 100 58 | 0.179 % | 378.96/379.14 c | 251 | 4454 17528 107062 | 7069 251 41 | 0.179 % | 378.96/379.15 c | 476 | 4454 17528 107062 | 7776 476 33 | 0.179 % | 378.96/379.18 c | 814 | 4454 17528 107062 | 8554 814 33 | 0.179 % | 379.06/379.21 c | 1320 | 4454 17528 107062 | 9409 1320 28 | 0.179 % | 379.06/379.27 c | 2079 | 4454 17528 107062 | 10350 2079 27 | 0.179 % | 379.16/379.38 c | 3220 | 4454 17528 107062 | 11385 3220 25 | 0.179 % | 379.46/379.61 c | 4929 | 4454 17528 107062 | 12524 4929 30 | 0.179 % | 379.76/379.99 c | 7492 | 4454 17528 107062 | 13776 7492 28 | 0.179 % | 380.26/380.48 c | 11336 | 4454 17528 107062 | 15154 11336 27 | 0.179 % | 381.47/381.64 c | 17103 | 4454 17528 107062 | 16669 9440 31 | 0.179 % | 383.26/383.44 c | 25752 | 4454 17528 107062 | 18336 9639 29 | 0.179 % | 386.36/386.56 c | 38729 | 4454 17528 107062 | 20170 13376 33 | 0.179 % | 391.56/391.78 c | 58192 | 4454 17528 107062 | 22187 12485 31 | 0.179 % | 398.06/398.27 c | 87384 | 4454 17528 107062 | 24406 19018 34 | 0.179 % | 400.56/400.72 c =============================================================================== 400.95/401.10 c core #123 400.95/401.10 c ============================[ Search Statistics ]============================== 400.95/401.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 400.95/401.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 400.95/401.10 c =============================================================================== 400.95/401.10 c | 0 | 4565 17529 108120 | 5843 0 nan | 0.000 % | 400.95/401.16 c | 101 | 4565 17529 108120 | 6427 101 24 | 0.088 % | 400.95/401.17 c | 253 | 4565 17529 108120 | 7070 253 23 | 0.088 % | 400.95/401.19 c | 481 | 4565 17529 108120 | 7777 481 19 | 0.088 % | 401.05/401.21 c | 819 | 4565 17529 108120 | 8554 819 21 | 0.088 % | 401.05/401.25 c | 1326 | 4565 17529 108120 | 9410 1326 22 | 0.088 % | 401.16/401.32 c | 2088 | 4565 17529 108120 | 10351 2088 24 | 0.088 % | 401.26/401.45 c | 3227 | 4565 17529 108120 | 11386 3227 25 | 0.088 % | 401.45/401.64 c | 4937 | 4565 17529 108120 | 12524 4937 27 | 0.088 % | 401.76/401.98 c | 7499 | 4565 17529 108120 | 13777 7499 28 | 0.088 % | 402.55/402.71 c | 11344 | 4565 17529 108120 | 15155 11344 31 | 0.088 % | 403.85/404.06 c | 17114 | 4565 17529 108120 | 16670 9478 37 | 0.088 % | 405.66/405.81 c | 25765 | 4565 17529 108120 | 18337 9752 28 | 0.088 % | 408.55/408.74 c | 38740 | 4565 17529 108120 | 20171 13510 34 | 0.088 % | 413.25/413.47 c | 58201 | 4565 17529 108120 | 22188 12676 31 | 0.088 % | 420.05/420.23 c | 87399 | 4565 17529 108120 | 24407 19583 29 | 0.088 % | 431.24/431.43 c | 131188 | 4565 17529 108120 | 26848 12780 39 | 0.088 % | 454.23/454.49 c | 196875 | 4565 17529 108120 | 29533 21478 44 | 0.088 % | 466.34/466.52 c =============================================================================== 466.73/466.90 c core #124 466.73/466.90 c ============================[ Search Statistics ]============================== 466.73/466.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 466.73/466.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 466.73/466.90 c =============================================================================== 466.73/466.90 c | 0 | 4669 17532 108744 | 5844 0 nan | 0.000 % | 466.73/466.98 c | 101 | 4669 17532 108744 | 6428 101 48 | 0.043 % | 466.83/467.00 c | 252 | 4669 17532 108744 | 7071 252 36 | 0.043 % | 466.83/467.02 c | 481 | 4669 17532 108744 | 7778 481 33 | 0.043 % | 466.83/467.04 c | 819 | 4669 17532 108744 | 8556 819 28 | 0.043 % | 466.83/467.08 c | 1326 | 4669 17532 108744 | 9411 1326 34 | 0.043 % | 466.93/467.16 c | 2085 | 4669 17532 108744 | 10353 2085 38 | 0.043 % | 467.03/467.27 c | 3225 | 4669 17532 108744 | 11388 3225 34 | 0.043 % | 467.24/467.49 c | 4934 | 4669 17532 108744 | 12527 4934 31 | 0.043 % | 467.63/467.81 c | 7499 | 4669 17532 108744 | 13779 7499 34 | 0.043 % | 468.34/468.53 c | 11345 | 4669 17532 108744 | 15157 11345 37 | 0.043 % | 469.23/469.40 c | 17113 | 4669 17532 108744 | 16673 9423 34 | 0.043 % | 470.43/470.66 c | 25764 | 4669 17532 108744 | 18340 9386 30 | 0.043 % | 472.74/472.99 c | 38738 | 4669 17532 108744 | 20175 12852 35 | 0.043 % | 476.73/476.99 c | 58200 | 4669 17532 108744 | 22192 12007 37 | 0.043 % | 483.33/483.57 c | 87392 | 4669 17532 108744 | 24411 18573 32 | 0.043 % | 492.53/492.76 c | 131181 | 4669 17532 108744 | 26853 12507 26 | 0.043 % | 513.43/513.62 c | 196866 | 4669 17532 108744 | 29538 19598 40 | 0.043 % | 541.31/541.58 c | 295393 | 4669 17532 108744 | 32492 13161 30 | 0.043 % | 576.90/577.10 c =============================================================================== 578.79/579.10 c core #125 578.79/579.10 c ============================[ Search Statistics ]============================== 578.79/579.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 578.79/579.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 578.79/579.10 c =============================================================================== 578.79/579.10 c | 0 | 4792 17533 108990 | 5844 0 nan | 0.000 % | 578.99/579.21 c | 100 | 4792 17533 108990 | 6428 100 69 | 0.042 % | 578.99/579.23 c | 251 | 4792 17533 108990 | 7071 251 49 | 0.042 % | 578.99/579.26 c | 476 | 4792 17533 108990 | 7778 476 38 | 0.042 % | 578.99/579.29 c | 816 | 4792 17533 108990 | 8556 816 33 | 0.042 % | 579.09/579.33 c | 1322 | 4792 17533 108990 | 9412 1322 26 | 0.042 % | 579.09/579.40 c | 2081 | 4792 17533 108990 | 10353 2081 24 | 0.042 % | 579.29/579.50 c | 3222 | 4792 17533 108990 | 11388 3222 22 | 0.042 % | 579.41/579.66 c | 4932 | 4792 17533 108990 | 12527 4932 23 | 0.042 % | 579.69/579.96 c | 7496 | 4792 17533 108990 | 13780 7496 23 | 0.042 % | 580.39/580.68 c | 11340 | 4792 17533 108990 | 15158 11340 29 | 0.042 % | 581.40/581.62 c | 17106 | 4792 17533 108990 | 16674 9465 35 | 0.042 % | 582.70/582.93 c | 25755 | 4792 17533 108990 | 18342 9719 28 | 0.042 % | 585.59/585.88 c | 38730 | 4792 17533 108990 | 20176 13450 27 | 0.042 % | 588.89/589.13 c | 58192 | 4792 17533 108990 | 22193 11464 34 | 0.042 % | 595.38/595.62 c | 87384 | 4792 17533 108990 | 24413 18293 33 | 0.042 % | 608.98/609.20 c | 131175 | 4792 17533 108990 | 26854 23531 37 | 0.042 % | 628.67/628.90 c | 196859 | 4792 17533 108990 | 29540 25170 66 | 0.042 % | 789.92/790.23 c | 295385 | 4792 17533 108990 | 32494 26199 193 | 0.042 % | 1064.03/1064.49 c | 443174 | 4792 17533 108990 | 35743 31545 235 | 0.042 % | 1630.12/1630.73 c | 664859 | 4792 17533 108990 | 39317 34298 314 | 0.042 % |
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-2656005-1276396518/watcher-2656005-1276396518 -o /tmp/evaluation-result-2656005-1276396518/solver-2656005-1276396518 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656005-1276396518.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: 2.36 2.85 2.29 3/106 21782 /proc/meminfo: memFree=1523612/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=3728 CPUtime=0 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 13308128 3817472 261 1992294400 134512640 135751879 4288008912 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 932 261 146 303 0 404 0 [startup+0.018566 s] /proc/loadavg: 2.36 2.85 2.29 3/106 21782 /proc/meminfo: memFree=1523612/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=3864 CPUtime=0.01 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 397 0 0 0 1 0 0 0 20 0 1 0 13308128 3956736 315 1992294400 134512640 135751879 4288008912 18446744073709551615 135227788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 966 316 161 303 0 438 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3864 [startup+0.101581 s] /proc/loadavg: 2.36 2.85 2.29 3/106 21782 /proc/meminfo: memFree=1523612/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=5400 CPUtime=0.09 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 911 0 0 0 9 0 0 0 20 0 1 0 13308128 5529600 829 1992294400 134512640 135751879 4288008912 18446744073709551615 135378141 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 1350 829 287 303 0 822 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5400 [startup+0.301618 s] /proc/loadavg: 2.36 2.85 2.29 3/106 21782 /proc/meminfo: memFree=1523612/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=6756 CPUtime=0.29 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 1551 0 0 0 29 0 0 0 20 0 1 0 13308128 6918144 1246 1992294400 134512640 135751879 4288008912 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 1689 1246 147 303 0 1384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6756 [startup+0.701692 s] /proc/loadavg: 2.36 2.85 2.29 3/106 21782 /proc/meminfo: memFree=1523612/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=6756 CPUtime=0.69 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 1551 0 0 0 68 1 0 0 21 0 1 0 13308128 6918144 1246 1992294400 134512640 135751879 4288008912 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 1689 1246 147 303 0 1384 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6756 [startup+1.50184 s] /proc/loadavg: 2.36 2.85 2.29 2/107 21783 /proc/meminfo: memFree=1518892/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=7684 CPUtime=1.49 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 1801 0 0 0 147 2 0 0 23 0 1 0 13308128 7868416 1496 1992294400 134512640 135751879 4288008912 18446744073709551615 134620513 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 1921 1496 147 303 0 1616 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7684 [startup+3.10114 s] /proc/loadavg: 2.36 2.85 2.29 2/107 21783 /proc/meminfo: memFree=1517156/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=9924 CPUtime=3.09 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 2348 0 0 0 304 5 0 0 25 0 1 0 13308128 10162176 2043 1992294400 134512640 135751879 4288008912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 2481 2043 147 303 0 2176 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9924 [startup+6.30174 s] /proc/loadavg: 2.25 2.82 2.28 2/107 21785 /proc/meminfo: memFree=1512196/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=14676 CPUtime=6.29 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 3553 0 0 0 621 8 0 0 25 0 1 0 13308128 15028224 3248 1992294400 134512640 135751879 4288008912 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 3669 3248 148 303 0 3364 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14676 [startup+12.7009 s] /proc/loadavg: 2.15 2.79 2.28 2/107 21785 /proc/meminfo: memFree=1503268/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=22852 CPUtime=12.69 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 5592 0 0 0 1254 15 0 0 25 0 1 0 13308128 23400448 5287 1992294400 134512640 135751879 4288008912 18446744073709551615 134607682 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 5713 5287 148 303 0 5408 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22852 [startup+25.5013 s] /proc/loadavg: 1.90 2.70 2.25 2/107 21785 /proc/meminfo: memFree=1487396/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=38408 CPUtime=25.49 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 9471 0 0 0 2525 24 0 0 25 0 1 0 13308128 39329792 9166 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 9602 9166 148 303 0 9297 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38408 [startup+51.1011 s] /proc/loadavg: 1.59 2.57 2.22 2/107 21785 /proc/meminfo: memFree=1457760/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=68240 CPUtime=51.08 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 16925 0 0 0 5071 37 0 0 25 0 1 0 13308128 69877760 16620 1992294400 134512640 135751879 4288008912 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 17060 16620 148 303 0 16755 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68240 [startup+102.309 s] /proc/loadavg: 1.25 2.32 2.15 2/107 21787 /proc/meminfo: memFree=1408656/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=116520 CPUtime=102.27 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 29011 0 0 0 10162 65 0 0 25 0 1 0 13308128 119316480 28706 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 29130 28706 148 303 0 28825 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 116520 [startup+162.301 s] /proc/loadavg: 1.09 2.08 2.08 2/107 21789 /proc/meminfo: memFree=1357196/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=168460 CPUtime=162.23 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 41983 0 0 0 16130 93 0 0 25 0 1 0 13308128 172503040 41678 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 42115 41678 148 303 0 41810 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 168460 [startup+222.301 s] /proc/loadavg: 1.03 1.88 2.01 2/107 21792 /proc/meminfo: memFree=1298792/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=225788 CPUtime=222.21 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 56291 0 0 0 22051 170 0 0 25 0 1 0 13308128 231206912 55986 1992294400 134512640 135751879 4288008912 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 56447 55986 151 303 0 56142 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 225788 [startup+282.3 s] /proc/loadavg: 1.01 1.72 1.94 2/107 21794 /proc/meminfo: memFree=1246092/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=279204 CPUtime=282.2 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 69628 0 0 0 27983 237 0 0 25 0 1 0 13308128 285904896 69323 1992294400 134512640 135751879 4288008912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 69801 69323 151 303 0 69496 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 279204 [startup+342.301 s] /proc/loadavg: 1.00 1.58 1.88 2/107 21796 /proc/meminfo: memFree=1223648/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=300644 CPUtime=342.18 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 75006 0 0 0 33902 316 0 0 25 0 1 0 13308128 307859456 74671 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 75161 74671 151 303 0 74856 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 300644 [startup+402.302 s] /proc/loadavg: 1.00 1.48 1.82 2/107 21798 /proc/meminfo: memFree=1187936/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=336252 CPUtime=402.16 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 83914 0 0 0 39813 403 0 0 25 0 1 0 13308128 344322048 83579 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 84063 83579 151 303 0 83758 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 336252 [startup+462.301 s] /proc/loadavg: 1.00 1.39 1.77 2/107 21800 /proc/meminfo: memFree=1139824/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=385076 CPUtime=462.14 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 96130 0 0 0 45736 478 0 0 25 0 1 0 13308128 394317824 95795 1992294400 134512640 135751879 4288008912 18446744073709551615 134610776 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 96269 95795 151 303 0 95964 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 385076 [startup+522.301 s] /proc/loadavg: 1.00 1.31 1.72 2/107 21800 /proc/meminfo: memFree=1101888/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=422880 CPUtime=522.11 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 105593 0 0 0 51656 555 0 0 25 0 1 0 13308128 433029120 105258 1992294400 134512640 135751879 4288008912 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 105720 105258 151 303 0 105415 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 422880 [startup+582.301 s] /proc/loadavg: 1.00 1.25 1.67 2/107 21802 /proc/meminfo: memFree=1049436/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=474372 CPUtime=582.09 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 118446 0 0 0 57584 625 0 0 25 0 1 0 13308128 485756928 118111 1992294400 134512640 135751879 4288008912 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 118593 118111 151 303 0 118288 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 474372 [startup+642.3 s] /proc/loadavg: 1.00 1.20 1.62 2/107 21804 /proc/meminfo: memFree=1021412/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=502380 CPUtime=642.08 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 125438 0 0 0 63517 691 0 0 25 0 1 0 13308128 514437120 125103 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 125595 125103 151 303 0 125290 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 502380 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.08 1.47 2/107 21810 /proc/meminfo: memFree=889352/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=634152 CPUtime=881.99 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 158389 0 0 0 87417 782 0 0 25 0 1 0 13308128 649371648 158054 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 158538 158054 151 303 0 158233 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 634152 [startup+942.3 s] /proc/loadavg: 1.00 1.07 1.44 2/107 21812 /proc/meminfo: memFree=853764/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=669928 CPUtime=941.97 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 167353 0 0 0 93391 806 0 0 25 0 1 0 13308128 686006272 167018 1992294400 134512640 135751879 4288008912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 167482 167018 151 303 0 167177 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 669928 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.41 2/107 21814 /proc/meminfo: memFree=819540/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=703884 CPUtime=1001.94 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 175820 0 0 0 99362 832 0 0 25 0 1 0 13308128 720777216 175485 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 175971 175485 151 303 0 175666 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 703884 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.38 2/107 21816 /proc/meminfo: memFree=783952/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=739560 CPUtime=1061.92 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 184734 0 0 0 105336 856 0 0 25 0 1 0 13308128 757309440 184399 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 184890 184399 151 303 0 184585 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 739560 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.35 2/107 21816 /proc/meminfo: memFree=742908/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=780372 CPUtime=1121.91 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 194962 0 0 0 111310 881 0 0 25 0 1 0 13308128 799100928 194627 1992294400 134512640 135751879 4288008912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 195093 194627 151 303 0 194788 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 780372 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.33 2/107 21818 /proc/meminfo: memFree=708808/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=814456 CPUtime=1181.89 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 203478 0 0 0 117290 899 0 0 25 0 1 0 13308128 834002944 203143 1992294400 134512640 135751879 4288008912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 203614 203143 151 303 0 203309 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 814456 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.31 2/107 21820 /proc/meminfo: memFree=672476/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=850492 CPUtime=1241.87 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 212468 0 0 0 123265 922 0 0 25 0 1 0 13308128 870903808 212133 1992294400 134512640 135751879 4288008912 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 212623 212133 151 303 0 212318 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 850492 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.28 3/107 21822 /proc/meminfo: memFree=640360/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=882316 CPUtime=1301.85 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 220426 0 0 0 129244 941 0 0 25 0 1 0 13308128 903491584 220091 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 220579 220091 151 303 0 220274 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 882316 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.26 2/107 21824 /proc/meminfo: memFree=609360/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=913484 CPUtime=1361.82 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 228207 0 0 0 135221 961 0 0 25 0 1 0 13308128 935407616 227872 1992294400 134512640 135751879 4288008912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 228371 227872 151 303 0 228066 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 913484 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.25 2/107 21824 /proc/meminfo: memFree=576996/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=945560 CPUtime=1421.81 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 236247 0 0 0 141198 983 0 0 25 0 1 0 13308128 968253440 235912 1992294400 134512640 135751879 4288008912 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 236390 235912 151 303 0 236085 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 945560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.23 2/107 21826 /proc/meminfo: memFree=547732/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=974996 CPUtime=1481.78 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 243591 0 0 0 147176 1002 0 0 25 0 1 0 13308128 998395904 243256 1992294400 134512640 135751879 4288008912 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 243749 243256 151 303 0 243444 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 974996 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.21 2/107 21828 /proc/meminfo: memFree=512268/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1010240 CPUtime=1541.76 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 252411 0 0 0 153153 1023 0 0 25 0 1 0 13308128 1034485760 252076 1992294400 134512640 135751879 4288008912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 252560 252076 151 303 0 252255 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1010240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.19 2/107 21839 /proc/meminfo: memFree=481020/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1041920 CPUtime=1601.73 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 260325 0 0 0 159131 1042 0 0 25 0 1 0 13308128 1066926080 259990 1992294400 134512640 135751879 4288008912 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 260480 259990 151 303 0 260175 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1041920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 21841 /proc/meminfo: memFree=446300/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1076372 CPUtime=1661.71 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 268935 0 0 0 165109 1062 0 0 25 0 1 0 13308128 1102204928 268600 1992294400 134512640 135751879 4288008912 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 269093 268600 151 303 0 268788 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1076372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 21841 /proc/meminfo: memFree=412200/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1110692 CPUtime=1721.7 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 277516 0 0 0 171084 1086 0 0 25 0 1 0 13308128 1137348608 277181 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 277673 277181 151 303 0 277368 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1110692 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 21843 /proc/meminfo: memFree=380456/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1141868 CPUtime=1781.67 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 285326 0 0 0 177062 1105 0 0 25 0 1 0 13308128 1169272832 284991 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 285467 284991 151 303 0 285162 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1141868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.15 2/107 21843 /proc/meminfo: memFree=367684/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=1154288 CPUtime=1800.08 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4202496 288421 0 0 0 178894 1114 0 0 25 0 1 0 13308128 1181990912 288086 1992294400 134512640 135751879 4288008912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21782/statm: 288572 288086 151 303 0 288267 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1154288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.15 2/107 21843 /proc/meminfo: memFree=367684/2059040 swapFree=4165036/4192956 [pid=21782] ppid=21780 vsize=0 CPUtime=1800.17 /proc/21782/stat : 21782 (wbo1.4b) R 21780 21782 13515 0 -1 4203524 288421 0 0 0 178894 1123 0 0 25 0 1 0 13308128 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21782/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.82 CPU time (s): 1800.2 CPU user time (s): 1788.95 CPU system time (s): 11.2483 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 1154288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.95 system time used= 11.2483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288421 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= 26 involuntary context switches= 20647 runsolver used 3.10453 second user time and 8.39972 second system time The end
Begin job on node019 at 2010-06-13 04:35:18 IDJOB=2656005 IDBENCH=2006 IDSOLVER=1161 FILE ID=node019/2656005-1276396518 PBS_JOBID= 11173263 Free space on /tmp= 62356 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656005-1276396518/watcher-2656005-1276396518 -o /tmp/evaluation-result-2656005-1276396518/solver-2656005-1276396518 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656005-1276396518.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED=1668941334 node019.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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 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: 1524140 kB Buffers: 135372 kB Cached: 282844 kB SwapCached: 1440 kB Active: 166392 kB Inactive: 284500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1524140 kB SwapTotal: 4192956 kB SwapFree: 4165036 kB Dirty: 3532 kB Writeback: 0 kB AnonPages: 31312 kB Mapped: 15336 kB Slab: 62292 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180456 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= 62352 MiB End job on node019 at 2010-06-13 05:05:21