Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.12 | 1800.05 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo |
MD5SUM | 540e5098c207f1245411172896d943a2 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 172 |
Best CPU time to get the best result obtained on this benchmark | 1.47578 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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 wbo file format. File HOME/instance-2700172-1278534251.wbo. 0.00/0.00 c Instance file HOME/instance-2700172-1278534251.wbo 0.00/0.00 c File size is 44957 bytes. 0.00/0.00 c Highest Coefficient sum: 21 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 200 | 0.00/0.00 c | Number Clauses: 1050 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 200 1050 4532 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #1 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 370 1219 5378 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #2 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 547 1396 6278 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #3 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 728 1577 7193 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 905 1754 8097 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #5 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1068 1917 8919 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #6 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1229 2078 9734 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #7 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1407 2255 10635 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #8 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1591 2438 11575 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #9 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1761 2607 12431 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #10 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1952 2798 13414 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #11 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2144 2990 14412 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #12 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2333 3179 15389 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #13 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2506 3351 16273 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #14 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2710 3554 17334 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #15 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2892 3736 18268 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #16 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 3177 4018 19803 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #17 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 3418 4256 21061 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.09/0.09 c core #18 0.09/0.09 c ============================[ Search Statistics ]============================== 0.09/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.09 c =============================================================================== 0.09/0.09 c | 0 | 3668 4503 22382 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 3652 4503 22382 | 5500 76 10 | 1.527 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #19 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 3950 4772 23855 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #20 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 4198 5020 25184 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #21 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 4478 5294 26663 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #22 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 4780 5595 28327 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.17 c core #23 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 5053 5862 29776 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #24 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 5342 6147 31303 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.19/0.20 c core #25 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 5618 6422 32794 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #26 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 5920 6718 34405 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #27 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 6181 6976 35791 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 100 | 6171 6976 35791 | 5500 56 8 | 0.324 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #28 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 | 6473 7259 37349 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 6471 7259 37349 | 5500 69 11 | 0.031 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #29 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 6828 7592 39226 | 5000 0 nan | 0.000 % | 0.29/0.32 c | 101 | 6827 7592 39226 | 5500 101 10 | 0.059 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #30 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 7156 7911 40985 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 100 | 7156 7911 40985 | 5500 100 9 | 0.028 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #31 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 7504 8241 42849 | 5000 0 nan | 0.000 % | 0.29/0.38 c | 100 | 7502 8241 42849 | 5500 100 10 | 0.027 % | 0.29/0.39 c =============================================================================== 0.29/0.40 c core #32 0.29/0.40 c ============================[ Search Statistics ]============================== 0.29/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.40 c =============================================================================== 0.29/0.40 c | 0 | 7832 8558 44594 | 5000 0 nan | 0.000 % | 0.39/0.42 c | 100 | 7830 8558 44594 | 5500 78 10 | 0.026 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #33 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 8176 8894 46455 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 101 | 8168 8894 46455 | 5500 74 10 | 0.098 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #34 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 8505 9205 48184 | 5000 0 nan | 0.000 % | 0.39/0.49 c | 101 | 8504 9205 48184 | 5500 101 10 | 0.024 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #35 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 8851 9532 50014 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 8845 9532 50014 | 5500 100 9 | 0.136 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #36 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 9185 9862 51845 | 5000 0 nan | 0.000 % | 0.49/0.55 c | 102 | 9183 9862 51845 | 5500 102 11 | 0.022 % | 0.49/0.56 c =============================================================================== 0.49/0.57 c core #37 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 9544 10205 53788 | 5000 0 nan | 0.000 % | 0.49/0.59 c | 100 | 9542 10205 53788 | 5500 82 10 | 0.021 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #38 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 9881 10531 55610 | 5000 0 nan | 0.000 % | 0.59/0.63 c | 101 | 9881 10531 55610 | 5500 101 10 | 0.020 % | 0.59/0.64 c =============================================================================== 0.59/0.65 c core #39 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 10229 10872 57531 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 101 | 10227 10872 57531 | 5500 101 10 | 0.039 % | 0.59/0.67 c =============================================================================== 0.59/0.68 c core #40 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 10549 11183 59258 | 5000 0 nan | 0.000 % | 0.69/0.70 c | 101 | 10548 11183 59258 | 5500 101 10 | 0.019 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #41 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 10934 11543 61332 | 5000 0 nan | 0.000 % | 0.69/0.75 c | 100 | 10933 11543 61332 | 5500 100 11 | 0.018 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #42 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 11288 11885 63233 | 5000 0 nan | 0.000 % | 0.69/0.80 c | 100 | 11286 11885 63233 | 5500 100 12 | 0.018 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #43 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 11655 12234 65233 | 5000 0 nan | 0.000 % | 0.79/0.84 c | 101 | 11655 12234 65233 | 5500 101 10 | 0.017 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #44 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 12013 12574 67165 | 5000 0 nan | 0.000 % | 0.79/0.89 c | 100 | 12012 12574 67165 | 5500 100 10 | 0.033 % | 0.90/0.91 c =============================================================================== 0.90/0.92 c core #45 0.90/0.92 c ============================[ Search Statistics ]============================== 0.90/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.90/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.90/0.92 c =============================================================================== 0.90/0.92 c | 0 | 12438 12968 69450 | 5000 0 nan | 0.000 % | 0.90/0.95 c | 101 | 12436 12968 69450 | 5500 60 10 | 0.016 % | 0.90/0.98 c =============================================================================== 0.90/0.99 c core #46 0.90/0.99 c ============================[ Search Statistics ]============================== 0.90/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.90/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.90/0.99 c =============================================================================== 0.90/0.99 c | 0 | 12860 13344 71648 | 5000 0 nan | 0.000 % | 1.00/1.02 c | 100 | 12857 13344 71648 | 5500 74 9 | 0.047 % | 1.00/1.04 c =============================================================================== 1.00/1.05 c core #47 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 13265 13711 73770 | 5000 0 nan | 0.000 % | 1.00/1.08 c | 101 | 13265 13711 73770 | 5500 101 13 | 0.000 % | 1.09/1.11 c | 252 | 13261 13711 73770 | 6050 184 11 | 0.075 % | 1.09/1.12 c =============================================================================== 1.09/1.13 c core #48 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 13683 14093 75991 | 5000 0 nan | 0.000 % | 1.09/1.16 c | 101 | 13683 14093 75991 | 5500 101 15 | 0.000 % | 1.09/1.19 c | 251 | 13680 14093 75991 | 6050 238 14 | 0.029 % | 1.19/1.20 c =============================================================================== 1.19/1.22 c core #49 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 14132 14489 78342 | 5000 0 nan | 0.000 % | 1.19/1.25 c | 100 | 14132 14489 78342 | 5500 100 17 | 0.000 % | 1.19/1.28 c | 250 | 14126 14489 78342 | 6050 197 13 | 0.071 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #50 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 14565 14885 80655 | 5000 0 nan | 0.000 % | 1.29/1.33 c | 102 | 14565 14885 80655 | 5500 102 16 | 0.000 % | 1.29/1.35 c | 253 | 14565 14885 80655 | 6050 253 14 | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.39 c core #51 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 15013 15300 83094 | 5100 0 nan | 0.000 % | 1.39/1.42 c | 100 | 15013 15300 83094 | 5610 100 13 | 0.000 % | 1.39/1.45 c | 250 | 15007 15300 83094 | 6171 238 13 | 0.040 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #52 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 15418 15669 85240 | 5223 0 nan | 0.000 % | 1.49/1.51 c | 100 | 15418 15669 85240 | 5745 100 15 | 0.000 % | 1.49/1.54 c | 250 | 15418 15669 85240 | 6319 250 13 | 0.013 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #53 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 15867 16072 87609 | 5357 0 nan | 0.000 % | 1.59/1.60 c | 100 | 15867 16072 87609 | 5893 100 14 | 0.000 % | 1.59/1.63 c | 251 | 15867 16072 87609 | 6482 251 13 | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.68 c core #54 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 16329 16481 90042 | 5493 0 nan | 0.000 % | 1.69/1.71 c | 103 | 16329 16481 90042 | 6043 103 16 | 0.000 % | 1.69/1.74 c | 253 | 16329 16481 90042 | 6647 253 13 | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.78 c core #55 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 16784 16899 92500 | 5633 0 nan | 0.000 % | 1.79/1.81 c | 101 | 16784 16899 92500 | 6196 101 17 | 0.000 % | 1.79/1.84 c | 252 | 16784 16899 92500 | 6815 252 14 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.88 c core #56 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 17247 17304 94933 | 5768 0 nan | 0.000 % | 1.89/1.91 c | 101 | 17247 17304 94933 | 6344 101 14 | 0.000 % | 1.89/1.94 c | 252 | 17247 17304 94933 | 6979 252 13 | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.99 c core #57 1.89/1.99 c ============================[ Search Statistics ]============================== 1.89/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 17748 17733 97555 | 5911 0 nan | 0.000 % | 1.99/2.02 c | 100 | 17748 17733 97555 | 6502 100 16 | 0.000 % | 1.99/2.05 c | 251 | 17746 17733 97555 | 7152 197 14 | 0.011 % | 1.99/2.08 c =============================================================================== 1.99/2.09 c core #58 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 18244 18170 100194 | 6056 0 nan | 0.000 % | 2.09/2.13 c | 100 | 18244 18170 100194 | 6662 100 15 | 0.000 % | 2.09/2.16 c | 251 | 18241 18170 100194 | 7328 221 14 | 0.022 % | 2.09/2.20 c =============================================================================== 2.20/2.21 c core #59 2.20/2.21 c ============================[ Search Statistics ]============================== 2.20/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.21 c =============================================================================== 2.20/2.21 c | 0 | 18763 18629 102990 | 6209 0 nan | 0.000 % | 2.20/2.25 c | 101 | 18763 18629 102990 | 6830 101 17 | 0.000 % | 2.20/2.28 c | 252 | 18763 18629 102990 | 7513 252 15 | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.34 c core #60 2.29/2.34 c ============================[ Search Statistics ]============================== 2.29/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.34 c =============================================================================== 2.29/2.34 c | 0 | 19236 19059 105537 | 6353 0 nan | 0.000 % | 2.29/2.38 c | 101 | 19236 19059 105537 | 6988 101 17 | 0.000 % | 2.39/2.41 c | 251 | 19236 19059 105537 | 7687 251 15 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.46 c core #61 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 19757 19507 108286 | 6502 0 nan | 0.000 % | 2.49/2.50 c | 100 | 19757 19507 108286 | 7152 100 18 | 0.000 % | 2.49/2.53 c | 250 | 19753 19507 108286 | 7867 230 15 | 0.030 % | 2.49/2.58 c =============================================================================== 2.59/2.60 c core #62 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 20297 19956 111077 | 6652 0 nan | 0.000 % | 2.59/2.64 c | 100 | 20297 19956 111077 | 7317 100 18 | 0.000 % | 2.59/2.68 c | 251 | 20295 19956 111077 | 8048 230 15 | 0.010 % | 2.69/2.74 c | 476 | 20288 19956 111077 | 8853 455 14 | 0.079 % | 2.69/2.75 c =============================================================================== 2.69/2.77 c core #63 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 20895 20443 114168 | 6814 0 nan | 0.000 % | 2.79/2.81 c | 102 | 20895 20443 114168 | 7495 102 18 | 0.000 % | 2.79/2.85 c | 254 | 20894 20443 114168 | 8245 254 15 | 0.010 % | 2.79/2.90 c | 479 | 20887 20443 114168 | 9069 458 15 | 0.077 % | 2.89/2.95 c =============================================================================== 2.89/2.97 c core #64 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 21509 20936 117337 | 6978 0 nan | 0.000 % | 2.99/3.01 c | 101 | 21509 20936 117337 | 7676 101 17 | 0.000 % | 2.99/3.05 c | 251 | 21507 20936 117337 | 8444 251 15 | 0.009 % | 2.99/3.09 c | 476 | 21497 20936 117337 | 9288 450 15 | 0.084 % | 3.09/3.15 c =============================================================================== 3.09/3.17 c core #65 3.09/3.17 c ============================[ Search Statistics ]============================== 3.09/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.17 c =============================================================================== 3.09/3.17 c | 0 | 22128 21409 120421 | 7136 0 nan | 0.000 % | 3.20/3.21 c | 101 | 22128 21409 120421 | 7849 101 20 | 0.000 % | 3.20/3.25 c | 251 | 22128 21409 120421 | 8634 251 17 | 0.000 % | 3.20/3.30 c | 476 | 22113 21409 120421 | 9498 285 14 | 0.081 % | 3.20/3.30 c =============================================================================== 3.30/3.32 c core #66 3.30/3.32 c ============================[ Search Statistics ]============================== 3.30/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.32 c =============================================================================== 3.30/3.32 c | 0 | 22714 21886 123435 | 7295 0 nan | 0.000 % | 3.30/3.37 c | 102 | 22714 21886 123435 | 8024 102 19 | 0.000 % | 3.39/3.40 c | 253 | 22711 21886 123435 | 8827 226 15 | 0.026 % | 3.39/3.45 c | 479 | 22705 21886 123435 | 9710 452 16 | 0.044 % | 3.49/3.53 c | 819 | 22670 21886 123435 | 10681 515 16 | 0.211 % | 3.59/3.63 c | 1329 | 22658 21886 123435 | 11749 876 23 | 0.247 % | 3.69/3.77 c | 2088 | 22658 21886 123435 | 12924 1635 24 | 0.247 % | 3.79/3.82 c =============================================================================== 3.79/3.85 c core #67 3.79/3.85 c ============================[ Search Statistics ]============================== 3.79/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.85 c =============================================================================== 3.79/3.85 c | 0 | 23437 22385 126849 | 7461 0 nan | 0.000 % | 3.79/3.89 c | 100 | 23437 22385 126849 | 8207 100 17 | 0.000 % | 3.90/3.93 c | 250 | 23437 22385 126849 | 9028 250 15 | 0.000 % | 3.90/3.98 c | 475 | 23431 22385 126849 | 9931 438 14 | 0.034 % | 3.99/4.07 c | 813 | 23379 22385 126849 | 10924 244 17 | 0.247 % | 4.09/4.17 c | 1321 | 23379 22385 126849 | 12017 752 20 | 0.247 % | 4.30/4.31 c | 2082 | 23379 22385 126849 | 13218 1513 24 | 0.247 % | 4.49/4.56 c | 3221 | 23379 22385 126849 | 14540 2652 28 | 0.247 % | 4.79/4.87 c =============================================================================== 4.90/4.90 c core #68 4.90/4.90 c ============================[ Search Statistics ]============================== 4.90/4.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.90/4.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.90/4.90 c =============================================================================== 4.90/4.90 c | 0 | 24222 22864 130285 | 7621 0 nan | 0.000 % | 4.90/4.95 c | 100 | 24222 22864 130285 | 8383 100 20 | 0.000 % | 4.90/4.99 c | 251 | 24220 22864 130285 | 9221 217 16 | 0.008 % | 4.99/5.05 c | 477 | 24220 22864 130285 | 10143 443 16 | 0.008 % | 5.09/5.13 c | 815 | 24212 22864 130285 | 11158 762 15 | 0.041 % | 5.19/5.28 c | 1324 | 24212 22864 130285 | 12274 1157 20 | 0.041 % | 5.40/5.45 c | 2083 | 23856 22864 130285 | 13501 1227 23 | 1.511 % | 5.69/5.70 c | 3222 | 23856 22864 130285 | 14851 2366 35 | 1.511 % | 5.99/6.07 c | 4930 | 23856 22864 130285 | 16337 4074 41 | 1.511 % | 6.60/6.66 c | 7492 | 23856 22864 130285 | 17970 6636 46 | 1.511 % | 7.60/7.62 c | 11338 | 23856 22864 130285 | 19767 10482 51 | 1.511 % | 9.79/9.81 c | 17106 | 23856 22864 130285 | 21744 16250 55 | 1.511 % | 13.69/13.70 c | 25756 | 23856 22864 130285 | 23919 13233 62 | 1.511 % | 18.39/18.46 c | 38731 | 23675 22864 130285 | 26310 4771 45 | 2.258 % | 22.79/22.87 c =============================================================================== 23.10/23.17 c core #69 23.10/23.17 c ============================[ Search Statistics ]============================== 23.10/23.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.10/23.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.10/23.17 c =============================================================================== 23.10/23.17 c | 0 | 25122 23364 134069 | 7788 0 nan | 0.000 % | 23.19/23.22 c | 100 | 25122 23364 134069 | 8566 100 20 | 0.000 % | 23.19/23.27 c | 251 | 25116 23364 134069 | 9423 194 18 | 0.024 % | 23.30/23.32 c | 478 | 25116 23364 134069 | 10365 421 19 | 0.024 % | 23.39/23.42 c | 817 | 25116 23364 134069 | 11402 760 18 | 0.024 % | 23.49/23.58 c | 1324 | 25116 23364 134069 | 12542 1267 21 | 0.024 % | 23.80/23.80 c | 2086 | 25112 23364 134069 | 13796 1962 19 | 0.040 % | 23.99/24.06 c | 3225 | 25112 23364 134069 | 15176 3101 20 | 0.040 % | 24.39/24.47 c | 4936 | 25112 23364 134069 | 16694 4812 22 | 0.040 % | 24.99/25.05 c | 7499 | 25106 23364 134069 | 18363 7262 24 | 0.064 % | 25.89/25.93 c | 11348 | 25106 23364 134069 | 20200 11093 30 | 0.064 % | 27.50/27.54 c | 17117 | 25093 23364 134069 | 22220 16811 40 | 0.119 % | 30.89/30.90 c | 25767 | 25092 23364 134069 | 24442 13447 65 | 0.119 % | 37.49/37.59 c | 38741 | 25092 23364 134069 | 26886 13508 71 | 0.119 % | 45.19/45.26 c | 58207 | 25092 23364 134069 | 29574 16675 79 | 0.119 % | 59.20/59.30 c | 87402 | 25092 23364 134069 | 32532 27171 64 | 0.119 % | 81.80/81.87 c | 131195 | 25092 23364 134069 | 35785 31584 68 | 0.119 % | 113.90/113.99 c | 196885 | 25092 23364 134069 | 39364 25738 79 | 0.119 % | 167.80/167.83 c | 295411 | 25092 23364 134069 | 43300 14993 70 | 0.119 % | 251.50/251.59 c | 443200 | 25092 23364 134069 | 47630 39674 76 | 0.119 % | 292.11/292.18 c =============================================================================== 295.00/295.09 c core #70 295.00/295.09 c ============================[ Search Statistics ]============================== 295.00/295.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.00/295.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.00/295.09 c =============================================================================== 295.00/295.09 c | 0 | 26138 23842 137964 | 7947 0 nan | 0.000 % | 295.10/295.18 c | 100 | 26138 23842 137964 | 8742 100 25 | 0.000 % | 295.21/295.22 c | 251 | 26138 23842 137964 | 9616 251 21 | 0.000 % | 295.21/295.28 c | 477 | 26136 23842 137964 | 10577 430 19 | 0.008 % | 295.41/295.40 c | 814 | 26136 23842 137964 | 11635 767 27 | 0.008 % | 295.50/295.56 c | 1323 | 26130 23842 137964 | 12799 1121 24 | 0.031 % | 295.70/295.75 c | 2083 | 26130 23842 137964 | 14079 1881 27 | 0.031 % | 296.10/296.12 c | 3222 | 26130 23842 137964 | 15487 3020 31 | 0.031 % | 296.70/296.71 c | 4930 | 26130 23842 137964 | 17035 4728 35 | 0.031 % | 297.40/297.48 c | 7493 | 26130 23842 137964 | 18739 7291 35 | 0.031 % | 298.70/298.71 c | 11337 | 26130 23842 137964 | 20613 11135 38 | 0.031 % | 300.80/300.86 c | 17103 | 26130 23842 137964 | 22674 16901 46 | 0.031 % | 304.60/304.65 c | 25754 | 26130 23842 137964 | 24942 13874 55 | 0.031 % | 308.80/308.88 c | 38728 | 26130 23842 137964 | 27436 26848 52 | 0.031 % | 315.30/315.36 c | 58190 | 26120 23842 137964 | 30179 12539 45 | 0.069 % | 324.51/324.58 c | 87382 | 26120 23842 137964 | 33197 21911 45 | 0.069 % | 347.41/347.44 c | 131171 | 26120 23842 137964 | 36517 14630 101 | 0.069 % | 377.60/377.65 c | 196855 | 26120 23842 137964 | 40169 30757 54 | 0.069 % | 420.11/420.13 c | 295381 | 26120 23842 137964 | 44186 14780 78 | 0.069 % | 492.51/492.57 c | 443173 | 26118 23842 137964 | 48605 16404 56 | 0.077 % | 606.71/606.76 c | 664862 | 25737 23842 137964 | 53465 43309 77 | 1.534 % | 796.43/796.42 c | 997388 | 25737 23842 137964 | 58812 47008 84 | 1.534 % | 1158.04/1158.03 c | 1496180 | 25737 23842 137964 | 64693 41632 134 | 1.534 % | 1758.16/1758.13 c | 2244372 | 25737 23842 137964 | 71162 65025 107 | 1.534 % |
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-2700172-1278534251/watcher-2700172-1278534251 -o /tmp/evaluation-result-2700172-1278534251/solver-2700172-1278534251 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700172-1278534251.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.46 0.68 4/178 19756 /proc/meminfo: memFree=28282508/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=2712 CPUtime=0 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 337 0 0 0 0 0 0 0 21 0 1 0 21639897 2777088 244 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 678 244 145 303 0 373 0 [startup+0.0943839 s] /proc/loadavg: 1.99 1.46 0.68 4/178 19756 /proc/meminfo: memFree=28282508/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=4292 CPUtime=0.09 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 733 0 0 0 8 1 0 0 21 0 1 0 21639897 4395008 640 4089446400 134512640 135751879 4289214096 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 1073 640 145 303 0 768 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4292 [startup+0.100373 s] /proc/loadavg: 1.99 1.46 0.68 4/178 19756 /proc/meminfo: memFree=28282508/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=4292 CPUtime=0.09 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 734 0 0 0 8 1 0 0 21 0 1 0 21639897 4395008 641 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 1073 641 145 303 0 768 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4292 [startup+0.300332 s] /proc/loadavg: 1.99 1.46 0.68 4/178 19756 /proc/meminfo: memFree=28282508/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=6276 CPUtime=0.29 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 1455 0 0 0 26 3 0 0 21 0 1 0 21639897 6426624 1064 4089446400 134512640 135751879 4289214096 18446744073709551615 134541797 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 1569 1064 146 303 0 1264 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6276 [startup+0.701269 s] /proc/loadavg: 1.99 1.46 0.68 4/178 19756 /proc/meminfo: memFree=28282508/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=8064 CPUtime=0.69 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 2260 0 0 0 62 7 0 0 22 0 1 0 21639897 8257536 1530 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 2016 1530 146 303 0 1711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.5011 s] /proc/loadavg: 1.99 1.47 0.68 3/179 19757 /proc/meminfo: memFree=28274124/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=11740 CPUtime=1.49 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 3548 0 0 0 135 14 0 0 18 0 1 0 21639897 12021760 2362 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 2935 2362 146 303 0 2630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11740 [startup+3.10081 s] /proc/loadavg: 1.99 1.47 0.68 3/179 19757 /proc/meminfo: memFree=28270156/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=14176 CPUtime=3.09 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 4679 0 0 0 284 25 0 0 18 0 1 0 21639897 14516224 3039 4089446400 134512640 135751879 4289214096 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 3544 3039 146 303 0 3239 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14176 [startup+6.30119 s] /proc/loadavg: 1.99 1.48 0.69 3/179 19757 /proc/meminfo: memFree=28264540/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=14936 CPUtime=6.29 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 6191 0 0 0 594 35 0 0 25 0 1 0 21639897 15294464 3204 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 3734 3204 146 303 0 3429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14936 [startup+12.701 s] /proc/loadavg: 1.99 1.48 0.70 3/179 19757 /proc/meminfo: memFree=28251968/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=20528 CPUtime=12.69 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 7571 0 0 0 1229 40 0 0 25 0 1 0 21639897 21020672 4584 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 5132 4584 146 303 0 4827 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20528 [startup+25.5005 s] /proc/loadavg: 1.99 1.51 0.72 3/179 19758 /proc/meminfo: memFree=28225964/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=35784 CPUtime=25.49 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 11714 0 0 0 2498 51 0 0 25 0 1 0 21639897 36642816 8443 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 8946 8443 146 303 0 8641 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35784 [startup+51.1007 s] /proc/loadavg: 1.99 1.55 0.75 3/179 19759 /proc/meminfo: memFree=28188840/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=52880 CPUtime=51.09 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 15987 0 0 0 5043 66 0 0 25 0 1 0 21639897 54149120 12716 4089446400 134512640 135751879 4289214096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 13220 12716 146 303 0 12915 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52880 [startup+102.307 s] /proc/loadavg: 1.99 1.61 0.81 3/179 19760 /proc/meminfo: memFree=28097416/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=96488 CPUtime=102.31 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 26845 0 0 0 10141 90 0 0 25 0 1 0 21639897 98803712 23574 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 24122 23574 146 303 0 23817 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 96488 [startup+162.301 s] /proc/loadavg: 1.99 1.68 0.88 3/179 19761 /proc/meminfo: memFree=28034244/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=146808 CPUtime=162.29 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 39323 0 0 0 16114 115 0 0 25 0 1 0 21639897 150331392 36052 4089446400 134512640 135751879 4289214096 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 36702 36052 146 303 0 36397 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 146808 [startup+222.301 s] /proc/loadavg: 2.07 1.75 0.96 3/179 19763 /proc/meminfo: memFree=27975176/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=192472 CPUtime=222.3 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 50697 0 0 0 22088 142 0 0 25 0 1 0 21639897 197091328 47426 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 48118 47426 146 303 0 47813 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 192472 [startup+282.301 s] /proc/loadavg: 2.02 1.80 1.02 3/179 19765 /proc/meminfo: memFree=27916104/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=233112 CPUtime=282.3 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 60793 0 0 0 28065 165 0 0 25 0 1 0 21639897 238706688 57522 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 58278 57522 146 303 0 57973 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 233112 [startup+342.301 s] /proc/loadavg: 2.01 1.83 1.08 3/179 19766 /proc/meminfo: memFree=27859276/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=262724 CPUtime=342.3 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 68797 0 0 0 34027 203 0 0 25 0 1 0 21639897 269029376 65156 4089446400 134512640 135751879 4289214096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 65681 65156 146 303 0 65376 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 262724 [startup+402.301 s] /proc/loadavg: 2.05 1.87 1.14 3/179 19768 /proc/meminfo: memFree=27795724/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=299920 CPUtime=402.31 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 78000 0 0 0 39996 235 0 0 25 0 1 0 21639897 307118080 74359 4089446400 134512640 135751879 4289214096 18446744073709551615 134616792 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 74980 74359 146 303 0 74675 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 299920 [startup+462.301 s] /proc/loadavg: 2.06 1.91 1.19 3/179 19769 /proc/meminfo: memFree=27728100/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=335680 CPUtime=462.31 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 86877 0 0 0 45966 265 0 0 25 0 1 0 21639897 343736320 83236 4089446400 134512640 135751879 4289214096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 83920 83236 146 303 0 83615 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 335680 [startup+522.301 s] /proc/loadavg: 2.02 1.92 1.24 3/179 19771 /proc/meminfo: memFree=27658372/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=376676 CPUtime=522.31 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 97055 0 0 0 51938 293 0 0 25 0 1 0 21639897 385716224 93414 4089446400 134512640 135751879 4289214096 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 94169 93414 146 303 0 93864 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 376676 [startup+582.301 s] /proc/loadavg: 2.00 1.93 1.29 3/179 19773 /proc/meminfo: memFree=27565452/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=437524 CPUtime=582.31 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 112218 0 0 0 57906 325 0 0 25 0 1 0 21639897 448024576 108577 4089446400 134512640 135751879 4289214096 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 109381 108577 146 303 0 109076 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 437524 [startup+642.301 s] /proc/loadavg: 2.00 1.94 1.33 3/179 19774 /proc/meminfo: memFree=27475764/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=484632 CPUtime=642.33 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 123936 0 0 0 63878 355 0 0 25 0 1 0 21639897 496263168 120295 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 121158 120295 146 303 0 120853 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 484632 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 1.96 1.44 3/179 19779 /proc/meminfo: memFree=27236940/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=621980 CPUtime=822.32 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 158157 0 0 0 81801 431 0 0 25 0 1 0 21639897 636907520 154516 4089446400 134512640 135751879 4289214096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 155495 154516 146 303 0 155190 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 621980 [startup+882.301 s] /proc/loadavg: 2.00 1.97 1.47 3/179 19781 /proc/meminfo: memFree=27170192/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=660468 CPUtime=882.33 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 167746 0 0 0 87784 449 0 0 25 0 1 0 21639897 676319232 164105 4089446400 134512640 135751879 4289214096 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 165117 164105 146 303 0 164812 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 660468 [startup+942.301 s] /proc/loadavg: 2.00 1.97 1.50 3/179 19782 /proc/meminfo: memFree=27091164/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=717144 CPUtime=942.32 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 181860 0 0 0 93758 474 0 0 25 0 1 0 21639897 734355456 178219 4089446400 134512640 135751879 4289214096 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 179286 178219 146 303 0 178981 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 717144 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.53 3/179 19784 /proc/meminfo: memFree=27028888/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=759220 CPUtime=1002.33 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 192353 0 0 0 99742 491 0 0 25 0 1 0 21639897 777441280 188712 4089446400 134512640 135751879 4289214096 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 189805 188712 146 303 0 189500 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 759220 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.56 3/179 19785 /proc/meminfo: memFree=26955920/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=810188 CPUtime=1062.33 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 205047 0 0 0 105718 515 0 0 25 0 1 0 21639897 829632512 201406 4089446400 134512640 135751879 4289214096 18446744073709551615 134616287 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 202547 201406 146 303 0 202242 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 810188 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.58 3/179 19787 /proc/meminfo: memFree=26850116/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=868120 CPUtime=1122.34 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 219485 0 0 0 111696 538 0 0 25 0 1 0 21639897 888954880 215844 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 217030 215844 146 303 0 216725 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 868120 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.60 3/179 19789 /proc/meminfo: memFree=26784844/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=907204 CPUtime=1182.34 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 229192 0 0 0 117680 554 0 0 25 0 1 0 21639897 928976896 225551 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 226801 225551 146 303 0 226496 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 907204 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.63 3/179 19790 /proc/meminfo: memFree=26717352/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=944544 CPUtime=1242.34 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 238477 0 0 0 123662 572 0 0 25 0 1 0 21639897 967213056 234836 4089446400 134512640 135751879 4289214096 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 236136 234836 146 303 0 235831 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 944544 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.65 3/179 19792 /proc/meminfo: memFree=26639684/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=988832 CPUtime=1302.34 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 249550 0 0 0 129643 591 0 0 25 0 1 0 21639897 1012563968 245909 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 247208 245909 146 303 0 246903 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 988832 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.66 3/179 19793 /proc/meminfo: memFree=26577644/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1033784 CPUtime=1362.34 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 260781 0 0 0 135622 612 0 0 25 0 1 0 21639897 1058594816 257140 4089446400 134512640 135751879 4289214096 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 258446 257140 146 303 0 258141 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1033784 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.68 3/179 19795 /proc/meminfo: memFree=26535452/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1069776 CPUtime=1422.36 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 269746 0 0 0 141606 630 0 0 25 0 1 0 21639897 1095450624 266105 4089446400 134512640 135751879 4289214096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 267444 266105 146 303 0 267139 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1069776 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.70 3/179 19797 /proc/meminfo: memFree=26466192/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1128584 CPUtime=1482.35 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 284456 0 0 0 147577 658 0 0 25 0 1 0 21639897 1155670016 280815 4089446400 134512640 135751879 4289214096 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 282146 280815 146 303 0 281841 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1128584 [startup+1542.3 s] /proc/loadavg: 2.03 1.99 1.72 3/179 19826 /proc/meminfo: memFree=27501544/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1183940 CPUtime=1542.35 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 298243 0 0 0 153550 685 0 0 25 0 1 0 21639897 1212354560 294602 4089446400 134512640 135751879 4289214096 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 295985 294602 146 303 0 295680 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1183940 [startup+1602.3 s] /proc/loadavg: 2.01 1.99 1.74 3/179 19828 /proc/meminfo: memFree=27377500/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1242064 CPUtime=1602.35 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 312739 0 0 0 159527 708 0 0 25 0 1 0 21639897 1271873536 309098 4089446400 134512640 135751879 4289214096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 310516 309098 146 303 0 310211 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1242064 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.75 3/179 19829 /proc/meminfo: memFree=27271820/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1280204 CPUtime=1662.36 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 322242 0 0 0 165509 727 0 0 25 0 1 0 21639897 1310928896 318601 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 320051 318601 146 303 0 319746 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 1280204 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.76 3/179 19831 /proc/meminfo: memFree=27168984/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1321016 CPUtime=1722.36 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 332436 0 0 0 171492 744 0 0 25 0 1 0 21639897 1352720384 328795 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 330254 328795 146 303 0 329949 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 1321016 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.77 3/179 19833 /proc/meminfo: memFree=27061204/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1361556 CPUtime=1782.36 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 342588 0 0 0 177472 764 0 0 25 0 1 0 21639897 1394233344 338947 4089446400 134512640 135751879 4289214096 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 340389 338947 146 303 0 340084 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 1361556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.78 3/179 19833 /proc/meminfo: memFree=27026472/32950928 swapFree=67111528/67111528 [pid=19756] ppid=19754 vsize=1375564 CPUtime=1800.06 /proc/19756/stat : 19756 (wbo1.4a) R 19754 19756 19082 0 -1 4202496 346085 0 0 0 179237 769 0 0 25 0 1 0 21639897 1408577536 342444 4089446400 134512640 135751879 4289214096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19756/statm: 343891 342444 146 303 0 343586 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1375564 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.05 CPU time (s): 1800.12 CPU user time (s): 1792.38 CPU system time (s): 7.74282 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1375564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.38 system time used= 7.74282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346085 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= 10 involuntary context switches= 1336 runsolver used 3.14852 second user time and 6.69498 second system time The end
Begin job on node114 at 2010-07-07 22:24:11 IDJOB=2700172 IDBENCH=79406 IDSOLVER=1200 FILE ID=node114/2700172-1278534251 PBS_JOBID= 11239250 Free space on /tmp= 73160 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700172-1278534251/watcher-2700172-1278534251 -o /tmp/evaluation-result-2700172-1278534251/solver-2700172-1278534251 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700172-1278534251.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 540e5098c207f1245411172896d943a2 RANDOM SEED=1935473279 node114.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28282720 kB Buffers: 134660 kB Cached: 3876552 kB SwapCached: 0 kB Active: 1704156 kB Inactive: 2801244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28282720 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2708 kB Writeback: 0 kB AnonPages: 494456 kB Mapped: 16088 kB Slab: 97556 kB PageTables: 5860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 658432 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73160 MiB End job on node114 at 2010-07-07 22:54:13