Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.31 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 183 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 177 |
Optimality of the best value was proved | NO |
Number of variables | 465 |
Total number of constraints | 465 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 465 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 465 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 465 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 465 |
Number of bits of the biggest sum of numbers | 9 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875692-1245138819.opb. 0.00/0.00 c Instance file HOME/instance-1875692-1245138819.opb 0.00/0.00 c File size is 42423 bytes. 0.00/0.00 c Highest Coefficient sum: 250 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 465 | 0.00/0.00 c | Number Clauses: 465 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 465 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 15 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 10 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 13 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 25 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #29 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #30 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 30 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #31 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 31 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #33 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #34 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 34 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #35 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 35 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #36 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 36 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #37 0.00/0.05 c Core size: 11 Core Weight: 1 Total Weight: 37 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #38 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #39 0.00/0.05 c Core size: 10 Core Weight: 1 Total Weight: 39 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #40 0.00/0.05 c Core size: 8 Core Weight: 1 Total Weight: 40 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #41 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 41 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #42 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 42 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #43 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #44 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 44 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #45 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 45 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #46 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 46 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #47 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #48 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 48 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.06/0.06 c core #49 0.06/0.06 c Core size: 3 Core Weight: 1 Total Weight: 49 0.06/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #50 0.06/0.07 c Core size: 3 Core Weight: 1 Total Weight: 50 0.06/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #51 0.06/0.07 c Core size: 8 Core Weight: 1 Total Weight: 51 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #52 0.06/0.07 c Core size: 3 Core Weight: 1 Total Weight: 52 0.06/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #53 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 53 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #54 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 54 0.06/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #55 0.06/0.07 c Core size: 3 Core Weight: 1 Total Weight: 55 0.06/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #56 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 56 0.06/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #57 0.06/0.08 c Core size: 3 Core Weight: 1 Total Weight: 57 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #58 0.06/0.08 c Core size: 5 Core Weight: 1 Total Weight: 58 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #59 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 59 0.06/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #60 0.06/0.08 c Core size: 5 Core Weight: 1 Total Weight: 60 0.06/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #61 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 61 0.06/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #62 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 62 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #63 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 63 0.06/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #64 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 64 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #65 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 65 0.06/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.06/0.10 c core #66 0.06/0.10 c Core size: 4 Core Weight: 1 Total Weight: 66 0.06/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #67 0.09/0.10 c Core size: 11 Core Weight: 1 Total Weight: 67 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #68 0.09/0.10 c Core size: 23 Core Weight: 1 Total Weight: 68 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #69 0.09/0.10 c Core size: 11 Core Weight: 1 Total Weight: 69 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #70 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 8 Core Weight: 1 Total Weight: 71 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #72 0.09/0.11 c Core size: 13 Core Weight: 1 Total Weight: 72 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #73 0.09/0.11 c Core size: 11 Core Weight: 1 Total Weight: 73 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #75 0.09/0.12 c Core size: 15 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #76 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 76 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #77 0.09/0.12 c Core size: 11 Core Weight: 1 Total Weight: 77 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #78 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #81 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 81 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 13 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 36 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #85 0.09/0.14 c Core size: 13 Core Weight: 1 Total Weight: 85 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #86 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: 86 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 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 | 971 1016 5706 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #87 0.09/0.15 c Core size: 16 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 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 | 983 1017 5729 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #88 0.09/0.15 c Core size: 21 Core Weight: 1 Total Weight: 88 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 998 1018 5759 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #89 0.09/0.16 c Core size: 19 Core Weight: 1 Total Weight: 89 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1010 1019 5783 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #90 0.09/0.16 c Core size: 37 Core Weight: 1 Total Weight: 90 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1036 1020 5834 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #91 0.09/0.17 c Core size: 30 Core Weight: 1 Total Weight: 91 0.09/0.17 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 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 | 1059 1021 5878 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #92 0.09/0.17 c Core size: 49 Core Weight: 1 Total Weight: 92 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 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 | 1092 1022 5943 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #93 0.09/0.18 c Core size: 78 Core Weight: 1 Total Weight: 93 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 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 | 1145 1023 6046 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #94 0.09/0.18 c Core size: 37 Core Weight: 1 Total Weight: 94 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 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 | 1172 1024 6098 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 100 | 1170 1024 6098 | 5500 100 19 | 2.509 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c core #95 0.09/0.20 c Core size: 18 Core Weight: 1 Total Weight: 95 0.09/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 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 | 1185 1025 6124 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #96 0.19/0.20 c Core size: 20 Core Weight: 1 Total Weight: 96 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 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 | 1198 1026 6150 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #97 0.19/0.20 c Core size: 21 Core Weight: 1 Total Weight: 97 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1213 1027 6180 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #98 0.19/0.21 c Core size: 56 Core Weight: 1 Total Weight: 98 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1251 1028 6256 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 1251 1028 6256 | 5500 100 24 | 1.882 % | 0.19/0.22 c | 252 | 1250 1028 6256 | 6050 252 19 | 2.039 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #99 0.19/0.24 c Core size: 92 Core Weight: 1 Total Weight: 99 0.19/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 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 | 1311 1029 6375 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #100 0.19/0.24 c Core size: 58 Core Weight: 1 Total Weight: 100 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 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 | 1348 1030 6448 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 100 | 1335 1030 6448 | 5500 100 8 | 2.555 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #101 0.19/0.25 c Core size: 82 Core Weight: 1 Total Weight: 101 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1404 1031 6556 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 101 | 1404 1031 6556 | 5500 101 13 | 1.547 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #102 0.19/0.27 c Core size: 63 Core Weight: 1 Total Weight: 102 0.19/0.27 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1446 1032 6640 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #103 0.19/0.27 c Core size: 112 Core Weight: 1 Total Weight: 103 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1527 1033 6794 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 1520 1033 6794 | 5500 92 10 | 1.171 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #104 0.19/0.28 c Core size: 55 Core Weight: 1 Total Weight: 104 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1564 1034 6868 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 100 | 1564 1034 6868 | 5500 100 22 | 0.635 % | 0.29/0.30 c | 250 | 1556 1034 6868 | 6050 247 14 | 1.144 % | 0.29/0.32 c | 475 | 1556 1034 6868 | 6655 472 12 | 1.144 % | 0.29/0.34 c | 812 | 1556 1034 6868 | 7320 809 14 | 1.144 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #105 0.29/0.38 c Core size: 197 Core Weight: 1 Total Weight: 105 0.29/0.38 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1689 1035 7117 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 1685 1035 7117 | 5500 100 7 | 0.766 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #106 0.29/0.39 c Core size: 72 Core Weight: 1 Total Weight: 106 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1736 1036 7209 | 5000 0 nan | 0.000 % | 0.39/0.40 c | 105 | 1736 1036 7209 | 5500 105 13 | 0.402 % | 0.39/0.41 c | 256 | 1736 1036 7209 | 6050 256 21 | 0.402 % | 0.39/0.43 c | 481 | 1728 1036 7209 | 6655 479 20 | 0.861 % | 0.39/0.45 c | 819 | 1728 1036 7209 | 7320 817 21 | 0.861 % | 0.49/0.51 c | 1328 | 1727 1036 7209 | 8052 1325 28 | 0.918 % | 0.59/0.61 c | 2088 | 1727 1036 7209 | 8857 2085 33 | 0.918 % | 0.69/0.77 c | 3229 | 1727 1036 7209 | 9743 3226 36 | 0.918 % | 0.89/0.99 c | 4942 | 1723 1036 7209 | 10717 4936 36 | 1.147 % | 1.19/1.24 c =============================================================================== 1.19/1.29 c core #107 1.19/1.29 c Core size: 278 Core Weight: 1 Total Weight: 107 1.19/1.29 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 1915 1037 7563 | 5000 0 nan | 0.000 % | 1.29/1.30 c | 100 | 1915 1037 7563 | 5500 100 29 | 0.156 % | 1.29/1.31 c | 250 | 1915 1037 7563 | 6050 250 27 | 0.156 % | 1.29/1.32 c | 475 | 1915 1037 7563 | 6655 475 24 | 0.156 % | 1.29/1.34 c | 813 | 1915 1037 7563 | 7320 813 24 | 0.156 % | 1.29/1.37 c | 1320 | 1915 1037 7563 | 8052 1320 26 | 0.156 % | 1.39/1.43 c | 2080 | 1915 1037 7563 | 8857 2080 24 | 0.157 % | 1.49/1.51 c | 3219 | 1914 1037 7563 | 9743 2020 21 | 0.209 % | 1.59/1.65 c | 4927 | 1914 1037 7563 | 10717 3728 29 | 0.209 % | 1.89/1.99 c | 7491 | 1914 1037 7563 | 11789 6292 46 | 0.209 % | 2.59/2.60 c | 11338 | 1914 1037 7563 | 12968 10139 58 | 0.209 % | 3.69/3.72 c | 17107 | 1914 1037 7563 | 14265 9382 76 | 0.209 % | 5.49/5.56 c | 25757 | 1914 1037 7563 | 15692 10810 77 | 0.209 % | 11.19/11.29 c | 38731 | 1914 1037 7563 | 17261 15798 92 | 0.209 % | 19.59/19.69 c | 58194 | 1914 1037 7563 | 18987 9012 76 | 0.209 % | 32.38/32.42 c | 87386 | 1910 1037 7563 | 20886 7240 57 | 0.417 % | 33.68/33.79 c =============================================================================== 34.98/35.05 c core #108 34.98/35.05 c Core size: 284 Core Weight: 1 Total Weight: 108 34.98/35.05 c Elapsed CPU time: 34.6597 s Remaining CPU time: 1765.34 s 35.09/35.15 c ============================[ Search Statistics ]============================== 35.09/35.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.09/35.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.09/35.15 c =============================================================================== 35.09/35.15 c | 0 | 2088 1038 7909 | 5000 0 nan | 0.000 % | 35.09/35.17 c | 101 | 2088 1038 7909 | 5500 101 34 | 0.143 % | 35.09/35.18 c | 252 | 2088 1038 7909 | 6050 252 36 | 0.143 % | 35.18/35.21 c | 478 | 2088 1038 7909 | 6655 478 32 | 0.143 % | 35.18/35.24 c | 818 | 2088 1038 7909 | 7320 818 32 | 0.143 % | 35.18/35.28 c | 1326 | 2088 1038 7909 | 8052 1326 48 | 0.143 % | 35.29/35.34 c | 2085 | 2088 1038 7909 | 8857 2085 45 | 0.143 % | 35.38/35.48 c | 3224 | 2088 1038 7909 | 9743 3224 51 | 0.143 % | 35.58/35.67 c | 4933 | 2088 1038 7909 | 10717 4933 48 | 0.143 % | 35.88/36.00 c | 7495 | 2088 1038 7909 | 11789 7495 47 | 0.143 % | 36.58/36.63 c | 11341 | 2088 1038 7909 | 12968 11341 51 | 0.144 % | 37.58/37.66 c | 17113 | 2088 1038 7909 | 14265 10399 53 | 0.144 % | 39.08/39.15 c | 25764 | 2088 1038 7909 | 15692 11895 41 | 0.144 % | 42.28/42.31 c | 38738 | 2088 1038 7909 | 17261 9093 38 | 0.143 % | 47.58/47.64 c | 58199 | 2088 1038 7909 | 18987 11092 64 | 0.143 % | 55.67/55.79 c | 87394 | 2088 1038 7909 | 20886 11453 90 | 0.143 % | 75.17/75.26 c | 131186 | 2065 1038 7909 | 22974 12797 108 | 1.243 % | 98.97/99.01 c | 196871 | 2059 1038 7909 | 25272 20399 77 | 1.530 % | 118.06/118.13 c =============================================================================== 118.86/118.99 c core #109 118.86/118.99 c Core size: 277 Core Weight: 1 Total Weight: 109 118.86/118.99 c Elapsed CPU time: 117.776 s Remaining CPU time: 1682.22 s 119.16/119.24 c ============================[ Search Statistics ]============================== 119.16/119.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.16/119.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.16/119.24 c =============================================================================== 119.16/119.24 c | 0 | 2261 1039 8254 | 5000 0 nan | 0.000 % | 119.16/119.28 c | 100 | 2261 1039 8254 | 5500 100 28 | 0.088 % | 119.16/119.30 c | 255 | 2261 1039 8254 | 6050 255 27 | 0.088 % | 119.26/119.32 c | 481 | 2261 1039 8254 | 6655 481 22 | 0.088 % | 119.26/119.35 c | 820 | 2261 1039 8254 | 7320 820 26 | 0.088 % | 119.36/119.41 c | 1327 | 2261 1039 8254 | 8052 1327 43 | 0.088 % | 119.36/119.49 c | 2088 | 2261 1039 8254 | 8857 2088 46 | 0.088 % | 119.56/119.64 c | 3228 | 2261 1039 8254 | 9743 3228 53 | 0.088 % | 119.77/119.87 c | 4937 | 2261 1039 8254 | 10717 4937 58 | 0.088 % | 120.16/120.25 c | 7499 | 2261 1039 8254 | 11789 7499 62 | 0.088 % | 120.96/121.01 c | 11344 | 2261 1039 8254 | 12968 11344 71 | 0.088 % | 122.26/122.38 c | 17110 | 2261 1039 8254 | 14265 10415 84 | 0.088 % | 124.96/125.03 c | 25760 | 2261 1039 8254 | 15692 11718 100 | 0.088 % | 129.35/129.45 c | 38734 | 2261 1039 8254 | 17261 8766 111 | 0.088 % | 134.26/134.31 c | 58195 | 2261 1039 8254 | 18987 10788 72 | 0.088 % | 144.66/144.73 c | 87389 | 2261 1039 8254 | 20886 11105 107 | 0.088 % | 157.95/158.00 c | 131181 | 2261 1039 8254 | 22974 12796 87 | 0.088 % | 195.34/195.40 c | 196865 | 2261 1039 8254 | 25272 20228 119 | 0.088 % | 254.53/254.63 c | 295391 | 2261 1039 8254 | 27799 16172 108 | 0.088 % | 356.80/356.96 c | 443181 | 2261 1039 8254 | 30579 19482 106 | 0.088 % | 527.35/527.53 c | 664867 | 2261 1039 8254 | 33637 17173 115 | 0.088 % | 797.38/797.69 c | 997392 | 2261 1039 8254 | 37001 17945 106 | 0.088 % | 1151.50/1151.82 c | 1496182 | 2259 1039 8254 | 40701 19109 81 | 0.177 % | 1153.60/1153.96 c =============================================================================== 1171.69/1172.03 c core #110 1171.69/1172.03 c Core size: 423 Core Weight: 1 Total Weight: 110 1171.69/1172.03 c Elapsed CPU time: 1164.69 s Remaining CPU time: 635.306 s 1173.19/1173.54 c ============================[ Search Statistics ]============================== 1173.19/1173.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1173.19/1173.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1173.19/1173.54 c =============================================================================== 1173.19/1173.54 c | 0 | 2521 1040 8774 | 5000 0 nan | 0.000 % | 1173.30/1173.62 c | 101 | 2521 1040 8774 | 5500 101 87 | 0.079 % | 1173.40/1173.77 c | 254 | 2521 1040 8774 | 6050 254 58 | 0.079 % | 1173.49/1173.81 c | 479 | 2521 1040 8774 | 6655 479 59 | 0.079 % | 1173.49/1173.87 c | 816 | 2521 1040 8774 | 7320 816 52 | 0.079 % | 1173.69/1174.01 c | 1323 | 2521 1040 8774 | 8052 1323 55 | 0.079 % | 1173.79/1174.13 c | 2085 | 2521 1040 8774 | 8857 2085 61 | 0.079 % | 1173.89/1174.28 c | 3228 | 2521 1040 8774 | 9743 3228 74 | 0.079 % | 1174.19/1174.57 c | 4938 | 2521 1040 8774 | 10717 4938 100 | 0.079 % | 1174.79/1175.15 c | 7500 | 2521 1040 8774 | 11789 7500 119 | 0.079 % | 1175.89/1176.22 c | 11345 | 2521 1040 8774 | 12968 11345 132 | 0.079 % | 1177.59/1177.93 c | 17115 | 2521 1040 8774 | 14265 10565 146 | 0.079 % | 1179.49/1179.82 c | 25765 | 2521 1040 8774 | 15692 11933 109 | 0.079 % | 1183.49/1183.81 c | 38739 | 2521 1040 8774 | 17261 9109 132 | 0.079 % | 1192.19/1192.53 c | 58204 | 2521 1040 8774 | 18987 10934 189 | 0.079 % | 1212.88/1213.20 c | 87396 | 2521 1040 8774 | 20886 10925 155 | 0.079 % | 1243.07/1243.40 c | 131187 | 2521 1040 8774 | 22974 11850 194 | 0.079 % | 1306.16/1306.54 c | 196875 | 2521 1040 8774 | 25272 18808 200 | 0.079 % | 1382.64/1383.05 c | 295402 | 2521 1040 8774 | 27799 13429 213 | 0.079 % | 1501.11/1501.50 c | 443197 | 2521 1040 8774 | 30579 16291 204 | 0.079 % | 1756.34/1756.83 c | 664885 | 2521 1040 8774 | 33637 28186 217 | 0.079 % |
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-1875692-1245138819/watcher-1875692-1245138819 -o /tmp/evaluation-result-1875692-1245138819/solver-1875692-1245138819 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875692-1245138819.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1962 /proc/meminfo: memFree=1947824/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=2580 CPUtime=0 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 181479202 2641920 186 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 645 186 128 292 0 339 0 [startup+0.067999 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1962 /proc/meminfo: memFree=1947824/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=4040 CPUtime=0.06 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 607 0 0 0 6 0 0 0 18 0 1 0 181479202 4136960 580 1992294400 134512640 135709839 4294956240 18446744073709551615 134574984 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 1010 580 134 292 0 715 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4040 [startup+0.102002 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1962 /proc/meminfo: memFree=1947824/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=5232 CPUtime=0.09 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 887 0 0 0 9 0 0 0 18 0 1 0 181479202 5357568 860 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 1308 861 134 292 0 1013 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.302022 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1962 /proc/meminfo: memFree=1947824/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=9196 CPUtime=0.29 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 1883 0 0 0 29 0 0 0 19 0 1 0 181479202 9416704 1856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 2299 1856 136 292 0 2004 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9196 [startup+0.701062 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1962 /proc/meminfo: memFree=1947824/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=10264 CPUtime=0.69 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 2164 0 0 0 67 2 0 0 22 0 1 0 181479202 10510336 2137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 2566 2137 136 292 0 2271 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10264 [startup+1.50114 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1938792/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=12536 CPUtime=1.49 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 2704 0 0 0 145 4 0 0 25 0 1 0 181479202 12836864 2677 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 3134 2677 136 292 0 2839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12536 [startup+3.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1937192/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=16100 CPUtime=3.09 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 3606 0 0 0 301 8 0 0 25 0 1 0 181479202 16486400 3579 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 4025 3579 136 292 0 3730 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16100 [startup+6.30162 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1927464/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=23896 CPUtime=6.28 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 5566 0 0 0 616 12 0 0 25 0 1 0 181479202 24469504 5539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 5974 5539 136 292 0 5679 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23896 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1917672/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=32912 CPUtime=12.69 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 7815 0 0 0 1252 17 0 0 25 0 1 0 181479202 33701888 7788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 8228 7788 136 292 0 7933 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32912 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1899112/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=51056 CPUtime=25.49 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 12328 0 0 0 2520 29 0 0 25 0 1 0 181479202 52281344 12301 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 12764 12301 136 292 0 12469 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51056 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1878632/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=71932 CPUtime=51.08 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 17582 0 0 0 5052 56 0 0 25 0 1 0 181479202 73658368 17555 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 17983 17555 136 292 0 17688 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71932 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1790248/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=159344 CPUtime=102.27 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 39412 0 0 0 10120 107 0 0 25 0 1 0 181479202 163168256 39385 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 39836 39385 136 292 0 39541 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 159344 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1747624/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=202124 CPUtime=162.25 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 50110 0 0 0 16069 156 0 0 25 0 1 0 181479202 206974976 50083 1992294400 134512640 135709839 4294956240 18446744073709551615 134574287 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 50531 50083 136 292 0 50236 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 202124 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1672872/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=276400 CPUtime=222.23 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 68641 0 0 0 22030 193 0 0 25 0 1 0 181479202 283033600 68614 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 69100 68614 136 292 0 68805 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 276400 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1596072/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=353868 CPUtime=282.22 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 87977 0 0 0 27989 233 0 0 25 0 1 0 181479202 362360832 87950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 88467 87950 136 292 0 88172 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 353868 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1531816/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=417688 CPUtime=342.21 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 103893 0 0 0 33959 262 0 0 25 0 1 0 181479202 427712512 103866 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 104422 103866 136 292 0 104127 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 417688 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=1475880/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=474228 CPUtime=402.19 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 117986 0 0 0 39924 295 0 0 25 0 1 0 181479202 485609472 117959 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 118557 117959 136 292 0 118262 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 474228 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=1413920/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=535692 CPUtime=462.17 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 133349 0 0 0 45888 329 0 0 25 0 1 0 181479202 548548608 133322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 133923 133322 136 292 0 133628 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 535692 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=1351904/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=598612 CPUtime=522.16 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 149064 0 0 0 51858 358 0 0 25 0 1 0 181479202 612978688 149037 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 149653 149037 136 292 0 149358 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 598612 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=1296928/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=652332 CPUtime=582.14 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 162480 0 0 0 57823 391 0 0 25 0 1 0 181479202 667987968 162453 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 163083 162453 136 292 0 162788 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 652332 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=1249632/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=699140 CPUtime=642.13 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 174172 0 0 0 63791 422 0 0 25 0 1 0 181479202 715919360 174145 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 174785 174145 136 292 0 174490 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 699140 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=975976/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=972860 CPUtime=942.05 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 242567 0 0 0 93625 580 0 0 25 0 1 0 181479202 996208640 242540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 243215 242540 136 292 0 242920 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 972860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=909096/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1039320 CPUtime=1002.03 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 259158 0 0 0 99584 619 0 0 25 0 1 0 181479202 1064263680 259131 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 259830 259131 136 292 0 259535 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1039320 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=849192/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1099416 CPUtime=1062.02 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 274173 0 0 0 105547 655 0 0 25 0 1 0 181479202 1125801984 274146 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 274854 274146 136 292 0 274559 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1099416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=795240/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1153228 CPUtime=1122 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 287623 0 0 0 111515 685 0 0 25 0 1 0 181479202 1180905472 287596 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 288307 287596 136 292 0 288012 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1153228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=752296/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1195360 CPUtime=1181.99 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 298194 0 0 0 117483 716 0 0 25 0 1 0 181479202 1224048640 298130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 298840 298130 136 292 0 298545 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1195360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=751208/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1195360 CPUtime=1241.97 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 298466 0 0 0 123456 741 0 0 25 0 1 0 181479202 1224048640 298402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 298840 298402 136 292 0 298545 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1195360 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=703208/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1243304 CPUtime=1301.96 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 310437 0 0 0 129426 770 0 0 25 0 1 0 181479202 1273143296 310373 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 310826 310373 136 292 0 310531 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1243304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=646120/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1301052 CPUtime=1361.94 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 324861 0 0 0 135392 802 0 0 25 0 1 0 181479202 1332277248 324797 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 325263 324797 136 292 0 324968 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1301052 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=575912/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1370456 CPUtime=1421.93 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 342202 0 0 0 141359 834 0 0 25 0 1 0 181479202 1403346944 342138 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 342614 342138 136 292 0 342319 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1370456 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=509032/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1438172 CPUtime=1481.91 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 359102 0 0 0 147326 865 0 0 25 0 1 0 181479202 1472688128 359038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 359543 359038 136 292 0 359248 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1438172 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=445864/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1500400 CPUtime=1541.89 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 374655 0 0 0 153294 895 0 0 25 0 1 0 181479202 1536409600 374591 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 375100 374591 136 292 0 374805 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1500400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=393832/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1553248 CPUtime=1601.88 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 387838 0 0 0 159268 920 0 0 25 0 1 0 181479202 1590525952 387774 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 388312 387774 136 292 0 388017 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1553248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=350376/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1596184 CPUtime=1661.87 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 398512 0 0 0 165244 943 0 0 25 0 1 0 181479202 1634492416 398448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 399046 398448 136 292 0 398751 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1596184 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=300264/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1646836 CPUtime=1721.86 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 411153 0 0 0 171217 969 0 0 25 0 1 0 181479202 1686360064 411089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 411709 411089 136 292 0 411414 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1646836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=252264/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1694352 CPUtime=1781.84 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 422993 0 0 0 177189 995 0 0 25 0 1 0 181479202 1735016448 422929 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 423588 422929 136 292 0 423293 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1694352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1970 /proc/meminfo: memFree=235944/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=1710096 CPUtime=1800.04 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4194304 426946 0 0 0 178999 1005 0 0 25 0 1 0 181479202 1751138304 426882 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 427524 426882 136 292 0 427229 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1710096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1972 /proc/meminfo: memFree=883488/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=0 CPUtime=1800.14 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4195332 426946 0 0 0 178999 1015 0 0 25 0 1 0 181479202 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1972 /proc/meminfo: memFree=883488/2055920 swapFree=4181364/4192956 [pid=1962] ppid=1960 vsize=0 CPUtime=1800.24 /proc/1962/stat : 1962 (wbo) R 1960 1962 1710 0 -1 4195332 426946 0 0 0 178999 1025 0 0 25 0 1 0 181479202 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1962/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.31 CPU user time (s): 1789.99 CPU system time (s): 10.3134 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1710096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.99 system time used= 10.3134 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 426946 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= 3 involuntary context switches= 1540 runsolver used 1.25181 second user time and 3.80442 second system time The end
Begin job on node36 at 2009-06-16 09:53:39 IDJOB=1875692 IDBENCH=1960 IDSOLVER=698 FILE ID=node36/1875692-1245138819 PBS_JOBID= 9363695 Free space on /tmp= 66200 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875692-1245138819/watcher-1875692-1245138819 -o /tmp/evaluation-result-1875692-1245138819/solver-1875692-1245138819 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875692-1245138819.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=761726039 node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.230 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.230 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1948176 kB Buffers: 10860 kB Cached: 51180 kB SwapCached: 6436 kB Active: 52356 kB Inactive: 18540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1948176 kB SwapTotal: 4192956 kB SwapFree: 4181364 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 13380 kB Slab: 22896 kB Committed_AS: 168672 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875692-1245138819.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-16 10:23:41