Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
MD5SUM | 7903a80129c7e51df900bcb9ac0a6f39 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 475 |
Total number of constraints | 475 |
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 | 475 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 475 |
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 | 475 |
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 | 475 |
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-1875574-1245136965.opb. 0.00/0.00 c Instance file HOME/instance-1875574-1245136965.opb 0.00/0.00 c File size is 43295 bytes. 0.00/0.00 c Highest Coefficient sum: 263 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: 475 | 0.00/0.00 c | Number Clauses: 475 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 475 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 16 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.00 c core #3 0.00/0.00 c Core size: 12 Core Weight: 1 Total Weight: 3 0.00/0.00 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: 6 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: 13 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: 12 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: 8 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: 7 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: 9 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 10 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: 6 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: 8 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: 11 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: 11 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.02/0.02 c core #20 0.02/0.02 c Core size: 9 Core Weight: 1 Total Weight: 20 0.02/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #21 0.02/0.03 c Core size: 10 Core Weight: 1 Total Weight: 21 0.02/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #22 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 22 0.02/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #23 0.02/0.03 c Core size: 6 Core Weight: 1 Total Weight: 23 0.02/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #24 0.02/0.03 c Core size: 4 Core Weight: 1 Total Weight: 24 0.02/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #25 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 25 0.02/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #26 0.02/0.03 c Core size: 6 Core Weight: 1 Total Weight: 26 0.02/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #27 0.02/0.03 c Core size: 4 Core Weight: 1 Total Weight: 27 0.02/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.02/0.03 c core #28 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 28 0.02/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #29 0.02/0.04 c Core size: 8 Core Weight: 1 Total Weight: 29 0.02/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #30 0.02/0.04 c Core size: 5 Core Weight: 1 Total Weight: 30 0.02/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #31 0.02/0.04 c Core size: 6 Core Weight: 1 Total Weight: 31 0.02/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #32 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 32 0.02/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #33 0.02/0.04 c Core size: 6 Core Weight: 1 Total Weight: 33 0.02/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #34 0.02/0.04 c Core size: 5 Core Weight: 1 Total Weight: 34 0.02/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #35 0.02/0.04 c Core size: 6 Core Weight: 1 Total Weight: 35 0.02/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #36 0.02/0.05 c Core size: 7 Core Weight: 1 Total Weight: 36 0.02/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #37 0.02/0.05 c Core size: 5 Core Weight: 1 Total Weight: 37 0.02/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #38 0.02/0.05 c Core size: 4 Core Weight: 1 Total Weight: 38 0.02/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #39 0.02/0.05 c Core size: 6 Core Weight: 1 Total Weight: 39 0.02/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #40 0.02/0.05 c Core size: 7 Core Weight: 1 Total Weight: 40 0.02/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #41 0.02/0.05 c Core size: 3 Core Weight: 1 Total Weight: 41 0.02/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.02/0.05 c core #42 0.02/0.05 c Core size: 6 Core Weight: 1 Total Weight: 42 0.02/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #43 0.02/0.06 c Core size: 5 Core Weight: 1 Total Weight: 43 0.02/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #44 0.02/0.06 c Core size: 7 Core Weight: 1 Total Weight: 44 0.02/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #45 0.02/0.06 c Core size: 4 Core Weight: 1 Total Weight: 45 0.02/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #46 0.02/0.06 c Core size: 7 Core Weight: 1 Total Weight: 46 0.02/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #47 0.02/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.02/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #48 0.02/0.06 c Core size: 3 Core Weight: 1 Total Weight: 48 0.02/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #49 0.02/0.07 c Core size: 6 Core Weight: 1 Total Weight: 49 0.02/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #50 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 50 0.02/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #51 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 51 0.02/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #52 0.02/0.07 c Core size: 7 Core Weight: 1 Total Weight: 52 0.02/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #53 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 53 0.02/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #54 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 54 0.02/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.02/0.08 c core #55 0.02/0.08 c Core size: 4 Core Weight: 1 Total Weight: 55 0.02/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #56 0.02/0.08 c Core size: 3 Core Weight: 1 Total Weight: 56 0.02/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #57 0.02/0.08 c Core size: 6 Core Weight: 1 Total Weight: 57 0.02/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #58 0.02/0.08 c Core size: 8 Core Weight: 1 Total Weight: 58 0.02/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #59 0.02/0.08 c Core size: 4 Core Weight: 1 Total Weight: 59 0.02/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.02/0.09 c core #60 0.02/0.09 c Core size: 5 Core Weight: 1 Total Weight: 60 0.02/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #61 0.02/0.09 c Core size: 3 Core Weight: 1 Total Weight: 61 0.02/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #62 0.02/0.09 c Core size: 6 Core Weight: 1 Total Weight: 62 0.02/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #63 0.02/0.09 c Core size: 3 Core Weight: 1 Total Weight: 63 0.02/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #64 0.02/0.09 c Core size: 3 Core Weight: 1 Total Weight: 64 0.02/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #65 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 65 0.09/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #66 0.09/0.10 c Core size: 5 Core Weight: 1 Total Weight: 66 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #67 0.09/0.10 c Core size: 5 Core Weight: 1 Total Weight: 67 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #68 0.09/0.10 c Core size: 13 Core Weight: 1 Total Weight: 68 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #69 0.09/0.11 c Core size: 24 Core Weight: 1 Total Weight: 69 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #70 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 17 Core Weight: 1 Total Weight: 71 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #72 0.09/0.11 c Core size: 10 Core Weight: 1 Total Weight: 72 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 11 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #75 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #76 0.09/0.12 c Core size: 13 Core Weight: 1 Total Weight: 76 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 15 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 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.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 30 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #80 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 80 0.09/0.14 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 15 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.138978 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.141978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #84 0.09/0.15 c Core size: 10 Core Weight: 1 Total Weight: 84 0.09/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #85 0.09/0.15 c Core size: 9 Core Weight: 1 Total Weight: 85 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #86 0.09/0.15 c Core size: 8 Core Weight: 1 Total Weight: 86 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #87 0.09/0.15 c Core size: 10 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.150977 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 | 990 1037 5811 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #88 0.09/0.16 c Core size: 28 Core Weight: 1 Total Weight: 88 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 | 1011 1038 5853 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #89 0.09/0.16 c Core size: 30 Core Weight: 1 Total Weight: 89 0.09/0.16 c Elapsed CPU time: 0.156976 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 | 1030 1039 5890 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #90 0.09/0.16 c Core size: 20 Core Weight: 1 Total Weight: 90 0.09/0.16 c Elapsed CPU time: 0.158975 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 | 1042 1040 5914 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #91 0.09/0.17 c Core size: 28 Core Weight: 1 Total Weight: 91 0.09/0.17 c Elapsed CPU time: 0.160975 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 | 1066 1041 5960 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #92 0.09/0.17 c Core size: 43 Core Weight: 1 Total Weight: 92 0.09/0.17 c Elapsed CPU time: 0.165974 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 | 1091 1042 6010 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #93 0.09/0.18 c Core size: 17 Core Weight: 1 Total Weight: 93 0.09/0.18 c Elapsed CPU time: 0.171973 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 | 1102 1043 6032 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #94 0.09/0.18 c Core size: 22 Core Weight: 1 Total Weight: 94 0.09/0.18 c Elapsed CPU time: 0.176973 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 | 1116 1044 6059 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #95 0.09/0.19 c Core size: 20 Core Weight: 1 Total Weight: 95 0.09/0.19 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1132 1045 6090 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 108 | 1131 1045 6090 | 5500 108 10 | 2.500 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c core #96 0.09/0.20 c Core size: 75 Core Weight: 1 Total Weight: 96 0.09/0.20 c Elapsed CPU time: 0.19097 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 | 1177 1046 6180 | 5000 0 nan | 0.000 % | 0.19/0.20 c | 103 | 1177 1046 6180 | 5500 103 24 | 2.324 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #97 0.19/0.20 c Core size: 38 Core Weight: 1 Total Weight: 97 0.19/0.20 c Elapsed CPU time: 0.197969 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 | 1203 1047 6230 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #98 0.19/0.21 c Core size: 130 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 | 1285 1048 6393 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #99 0.19/0.21 c Core size: 34 Core Weight: 1 Total Weight: 99 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 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 | 1309 1049 6440 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #100 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 100 0.19/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 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 | 1321 1050 6464 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #101 0.19/0.22 c Core size: 26 Core Weight: 1 Total Weight: 101 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1337 1051 6496 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #102 0.19/0.23 c Core size: 58 Core Weight: 1 Total Weight: 102 0.19/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1372 1052 6566 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 1371 1052 6566 | 5500 100 12 | 2.078 % | 0.19/0.24 c | 252 | 1364 1052 6566 | 6050 244 11 | 2.292 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #103 0.19/0.25 c Core size: 87 Core Weight: 1 Total Weight: 103 0.19/0.25 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 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 | 1425 1053 6671 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 1424 1053 6671 | 5500 100 8 | 1.727 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #104 0.19/0.26 c Core size: 82 Core Weight: 1 Total Weight: 104 0.19/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 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 | 1477 1054 6775 | 5000 0 nan | 0.000 % | 0.19/0.27 c | 101 | 1476 1054 6775 | 5500 101 28 | 1.667 % | 0.19/0.28 c | 252 | 1475 1054 6775 | 6050 251 25 | 1.667 % | 0.29/0.30 c | 479 | 1475 1054 6775 | 6655 478 24 | 1.667 % | 0.29/0.33 c | 816 | 1475 1054 6775 | 7320 815 24 | 1.667 % | 0.29/0.37 c | 1324 | 1475 1054 6775 | 8052 1323 23 | 1.668 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #105 0.39/0.43 c Core size: 140 Core Weight: 1 Total Weight: 105 0.39/0.43 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 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 | 1567 1055 6954 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #106 0.39/0.44 c Core size: 35 Core Weight: 1 Total Weight: 106 0.39/0.44 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 1592 1056 7003 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1592 1056 7003 | 5500 100 31 | 1.302 % | 0.39/0.46 c | 251 | 1592 1056 7003 | 6050 251 31 | 1.302 % | 0.39/0.47 c | 486 | 1584 1056 7003 | 6655 485 40 | 1.798 % | 0.49/0.51 c | 823 | 1584 1056 7003 | 7320 822 42 | 1.798 % | 0.49/0.56 c | 1331 | 1571 1056 7003 | 8052 1327 40 | 2.604 % | 0.59/0.64 c | 2091 | 1571 1056 7003 | 8857 2087 39 | 2.604 % | 0.69/0.78 c | 3232 | 1571 1056 7003 | 9743 3228 41 | 2.604 % | 0.89/0.98 c | 4942 | 1570 1056 7003 | 10717 2429 33 | 2.666 % | 1.29/1.33 c | 7505 | 1569 1056 7003 | 11789 4079 45 | 2.728 % | 1.29/1.35 c =============================================================================== 1.39/1.42 c core #107 1.39/1.42 c Core size: 199 Core Weight: 1 Total Weight: 107 1.39/1.42 c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 1724 1057 7263 | 5000 0 nan | 0.000 % | 1.39/1.44 c | 101 | 1724 1057 7263 | 5500 101 40 | 0.977 % | 1.39/1.45 c | 254 | 1724 1057 7263 | 6050 254 44 | 0.976 % | 1.39/1.47 c | 479 | 1724 1057 7263 | 6655 479 63 | 0.976 % | 1.49/1.52 c | 816 | 1724 1057 7263 | 7320 816 74 | 0.976 % | 1.49/1.59 c | 1325 | 1724 1057 7263 | 8052 1325 80 | 0.976 % | 1.69/1.70 c | 2086 | 1724 1057 7263 | 8857 2086 81 | 0.976 % | 1.89/1.97 c | 3225 | 1724 1057 7263 | 9743 3225 77 | 0.976 % | 2.19/2.25 c | 4934 | 1722 1057 7263 | 10717 4933 73 | 1.091 % | 2.59/2.61 c | 7500 | 1722 1057 7263 | 11789 7499 68 | 1.091 % | 3.29/3.32 c | 11345 | 1722 1057 7263 | 12968 11344 63 | 1.091 % | 4.49/4.52 c | 17112 | 1721 1057 7263 | 14265 10550 58 | 1.149 % | 6.78/6.86 c | 25764 | 1718 1057 7263 | 15692 11995 48 | 1.321 % | 9.89/9.96 c | 38740 | 1716 1057 7263 | 17261 6860 42 | 1.436 % | 10.89/10.99 c =============================================================================== 11.39/11.48 c core #108 11.39/11.48 c Core size: 241 Core Weight: 1 Total Weight: 108 11.39/11.48 c Elapsed CPU time: 11.3223 s Remaining CPU time: 1788.68 s 11.49/11.53 c ============================[ Search Statistics ]============================== 11.49/11.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.53 c =============================================================================== 11.49/11.53 c | 0 | 1877 1058 7566 | 5000 0 nan | 0.000 % | 11.49/11.54 c | 101 | 1876 1058 7566 | 5500 101 8 | 0.793 % | 11.49/11.56 c | 251 | 1874 1058 7566 | 6050 249 15 | 0.899 % | 11.49/11.58 c | 477 | 1874 1058 7566 | 6655 470 16 | 0.899 % | 11.58/11.61 c | 816 | 1873 1058 7566 | 7320 803 19 | 0.952 % | 11.58/11.65 c | 1324 | 1873 1058 7566 | 8052 1311 23 | 0.952 % | 11.69/11.72 c | 2083 | 1873 1058 7566 | 8857 2070 25 | 0.952 % | 11.69/11.73 c =============================================================================== 11.69/11.74 c core #109 11.69/11.74 c Core size: 147 Core Weight: 1 Total Weight: 109 11.69/11.74 c Elapsed CPU time: 11.5752 s Remaining CPU time: 1788.42 s 11.69/11.74 c ============================[ Search Statistics ]============================== 11.69/11.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.74 c =============================================================================== 11.69/11.74 c | 0 | 1971 1059 7752 | 5000 0 nan | 0.000 % | 11.69/11.75 c | 100 | 1971 1059 7752 | 5500 100 17 | 0.605 % | 11.69/11.76 c | 253 | 1971 1059 7752 | 6050 253 22 | 0.605 % | 11.69/11.78 c | 478 | 1971 1059 7752 | 6655 478 25 | 0.605 % | 11.79/11.80 c | 815 | 1971 1059 7752 | 7320 815 27 | 0.605 % | 11.79/11.85 c | 1321 | 1971 1059 7752 | 8052 1321 26 | 0.605 % | 11.89/11.91 c | 2083 | 1971 1059 7752 | 8857 2083 27 | 0.605 % | 11.99/12.04 c | 3223 | 1971 1059 7752 | 9743 3223 29 | 0.605 % | 12.19/12.28 c | 4931 | 1971 1059 7752 | 10717 4931 30 | 0.605 % | 12.68/12.71 c | 7497 | 1970 1059 7752 | 11789 4707 31 | 0.656 % | 12.68/12.76 c =============================================================================== 12.79/12.84 c core #110 12.79/12.84 c Core size: 107 Core Weight: 1 Total Weight: 110 12.79/12.84 c Elapsed CPU time: 12.6731 s Remaining CPU time: 1787.33 s 12.79/12.86 c ============================[ Search Statistics ]============================== 12.79/12.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.86 c =============================================================================== 12.79/12.86 c | 0 | 2034 1060 7878 | 5000 0 nan | 0.000 % | 12.79/12.87 c | 102 | 2033 1060 7878 | 5500 100 24 | 0.635 % | 12.79/12.88 c | 254 | 2033 1060 7878 | 6050 252 19 | 0.635 % | 12.89/12.90 c | 488 | 2033 1060 7878 | 6655 486 22 | 0.635 % | 12.89/12.92 c | 826 | 2033 1060 7878 | 7320 824 21 | 0.635 % | 12.89/12.97 c | 1332 | 2033 1060 7878 | 8052 1330 23 | 0.635 % | 12.98/13.04 c | 2091 | 2033 1060 7878 | 8857 2089 26 | 0.635 % | 13.09/13.17 c | 3230 | 2033 1060 7878 | 9743 3228 31 | 0.635 % | 13.39/13.42 c | 4941 | 2033 1060 7878 | 10717 4939 36 | 0.635 % | 13.78/13.81 c | 7503 | 2033 1060 7878 | 11789 7501 36 | 0.635 % | 14.38/14.40 c =============================================================================== 14.48/14.51 c core #111 14.48/14.51 c Core size: 194 Core Weight: 1 Total Weight: 111 14.48/14.51 c Elapsed CPU time: 14.3048 s Remaining CPU time: 1785.7 s 14.48/14.53 c ============================[ Search Statistics ]============================== 14.48/14.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.48/14.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.48/14.53 c =============================================================================== 14.48/14.53 c | 0 | 2158 1061 8123 | 5000 0 nan | 0.000 % | 14.48/14.55 c | 100 | 2158 1061 8123 | 5500 100 36 | 0.415 % | 14.48/14.56 c | 250 | 2158 1061 8123 | 6050 250 32 | 0.415 % | 14.48/14.58 c | 475 | 2158 1061 8123 | 6655 475 37 | 0.415 % | 14.59/14.61 c | 812 | 2158 1061 8123 | 7320 812 38 | 0.415 % | 14.59/14.67 c | 1320 | 2158 1061 8123 | 8052 1320 54 | 0.415 % | 14.69/14.76 c | 2080 | 2158 1061 8123 | 8857 2080 51 | 0.415 % | 14.78/14.89 c | 3220 | 2158 1061 8123 | 9743 3220 52 | 0.415 % | 15.09/15.11 c | 4928 | 2158 1061 8123 | 10717 4928 56 | 0.415 % | 15.49/15.51 c | 7490 | 2158 1061 8123 | 11789 7490 63 | 0.415 % | 16.19/16.26 c | 11336 | 2158 1061 8123 | 12968 11336 63 | 0.415 % | 17.39/17.42 c | 17102 | 2158 1061 8123 | 14265 10557 69 | 0.415 % | 19.48/19.58 c | 25754 | 2158 1061 8123 | 15692 11868 114 | 0.415 % | 24.68/24.78 c | 38729 | 2158 1061 8123 | 17261 8804 131 | 0.415 % | 29.98/30.04 c | 58192 | 2157 1061 8123 | 18987 10683 113 | 0.461 % | 37.58/37.64 c | 87384 | 2154 1061 8123 | 20886 11135 59 | 1.246 % | 59.87/59.95 c | 131176 | 2140 1061 8123 | 22974 12662 90 | 1.246 % | 102.86/102.98 c | 196861 | 2140 1061 8123 | 25272 20356 100 | 1.246 % | 181.64/181.78 c | 295388 | 2140 1061 8123 | 27799 15896 94 | 1.246 % | 308.20/308.35 c | 443179 | 2140 1061 8123 | 30579 14232 126 | 1.246 % | 515.24/515.47 c | 664868 | 2140 1061 8123 | 33637 13912 73 | 1.246 % | 590.12/590.36 c =============================================================================== 606.81/607.04 c core #112 606.81/607.04 c Core size: 231 Core Weight: 1 Total Weight: 112 606.81/607.04 c Elapsed CPU time: 603.788 s Remaining CPU time: 1196.21 s 607.61/607.87 c ============================[ Search Statistics ]============================== 607.61/607.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 607.61/607.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 607.61/607.87 c =============================================================================== 607.61/607.87 c | 0 | 2307 1062 8419 | 5000 0 nan | 0.000 % | 607.71/607.93 c | 100 | 2307 1062 8419 | 5500 100 32 | 0.303 % | 607.81/608.00 c | 251 | 2307 1062 8419 | 6050 251 32 | 0.303 % | 607.81/608.04 c | 481 | 2307 1062 8419 | 6655 481 42 | 0.303 % | 607.81/608.08 c | 818 | 2307 1062 8419 | 7320 818 42 | 0.303 % | 607.92/608.16 c | 1325 | 2307 1062 8419 | 8052 1325 52 | 0.303 % | 608.02/608.26 c | 2085 | 2307 1062 8419 | 8857 2085 62 | 0.303 % | 608.21/608.43 c | 3226 | 2307 1062 8419 | 9743 3226 76 | 0.303 % | 608.71/608.92 c | 4934 | 2307 1062 8419 | 10717 4934 97 | 0.303 % | 609.82/610.01 c | 7498 | 2307 1062 8419 | 11789 7498 114 | 0.303 % | 611.91/612.10 c | 11342 | 2307 1062 8419 | 12968 11342 125 | 0.303 % | 615.41/615.65 c | 17109 | 2307 1062 8419 | 14265 10577 131 | 0.303 % | 620.11/620.34 c | 25759 | 2307 1062 8419 | 15692 12028 123 | 0.303 % | 626.31/626.57 c | 38735 | 2307 1062 8419 | 17261 9152 94 | 0.303 % | 637.51/637.70 c | 58198 | 2307 1062 8419 | 18987 11114 94 | 0.303 % | 653.50/653.74 c | 87391 | 2307 1062 8419 | 20886 11235 157 | 0.303 % | 680.00/680.26 c | 131180 | 2307 1062 8419 | 22974 12509 95 | 0.303 % | 722.69/722.98 c | 196865 | 2307 1062 8419 | 25272 20133 120 | 0.303 % | 784.16/784.44 c | 295391 | 2307 1062 8419 | 27799 15477 160 | 0.303 % | 897.83/898.12 c | 443184 | 2307 1062 8419 | 30579 15595 182 | 0.303 % | 1098.66/1099.00 c | 664867 | 2307 1062 8419 | 33637 30245 186 | 0.303 % | 1423.87/1424.35 c | 997393 | 2307 1062 8419 | 37001 27260 157 | 0.303 % |
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-1875574-1245136965/watcher-1875574-1245136965 -o /tmp/evaluation-result-1875574-1245136965/solver-1875574-1245136965 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875574-1245136965.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 0.99 3/64 3393 /proc/meminfo: memFree=915136/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=2580 CPUtime=0 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 181295839 2641920 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 645 189 128 292 0 339 0 [startup+0.0276759 s] /proc/loadavg: 1.00 1.00 0.99 3/64 3393 /proc/meminfo: memFree=915136/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=3084 CPUtime=0.02 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 369 0 0 0 2 0 0 0 18 0 1 0 181295839 3158016 342 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 771 342 134 292 0 476 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3084 [startup+0.101685 s] /proc/loadavg: 1.00 1.00 0.99 3/64 3393 /proc/meminfo: memFree=915136/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=5100 CPUtime=0.09 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 870 0 0 0 9 0 0 0 18 0 1 0 181295839 5222400 843 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 1275 844 134 292 0 980 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301707 s] /proc/loadavg: 1.00 1.00 0.99 3/64 3393 /proc/meminfo: memFree=915136/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=9316 CPUtime=0.29 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 1908 0 0 0 28 1 0 0 19 0 1 0 181295839 9539584 1881 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 2329 1881 136 292 0 2034 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9316 [startup+0.701751 s] /proc/loadavg: 1.00 1.00 0.99 3/64 3393 /proc/meminfo: memFree=915136/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=10388 CPUtime=0.69 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 2193 0 0 0 67 2 0 0 22 0 1 0 181295839 10637312 2166 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 2597 2166 136 292 0 2302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10388 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=905848/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=13188 CPUtime=1.49 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 2889 0 0 0 146 3 0 0 25 0 1 0 181295839 13504512 2862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 3297 2862 136 292 0 3002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13188 [startup+3.10202 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=903928/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=15700 CPUtime=3.09 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 3516 0 0 0 303 6 0 0 25 0 1 0 181295839 16076800 3489 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 3925 3489 136 292 0 3630 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15700 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=896888/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=21560 CPUtime=6.28 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 4974 0 0 0 619 9 0 0 25 0 1 0 181295839 22077440 4947 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 5390 4947 136 292 0 5095 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21560 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=884856/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=32052 CPUtime=12.68 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 7592 0 0 0 1252 16 0 0 25 0 1 0 181295839 32821248 7565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 8013 7565 136 292 0 7718 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32052 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=868152/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=49360 CPUtime=25.48 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 11926 0 0 0 2513 35 0 0 25 0 1 0 181295839 50544640 11899 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 12340 11899 136 292 0 12045 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49360 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=827192/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=90452 CPUtime=51.07 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 22176 0 0 0 5045 62 0 0 25 0 1 0 181295839 92622848 22149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 22613 22149 136 292 0 22318 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90452 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=778360/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=138560 CPUtime=102.26 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 34192 0 0 0 10138 88 0 0 25 0 1 0 181295839 141885440 34165 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 34640 34165 136 292 0 34345 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 138560 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=736056/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=181304 CPUtime=162.24 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 44847 0 0 0 16109 115 0 0 25 0 1 0 181295839 185655296 44820 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 45326 44820 136 292 0 45031 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 181304 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=694584/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=222520 CPUtime=222.23 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 55094 0 0 0 22081 142 0 0 25 0 1 0 181295839 227860480 55067 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 55630 55067 136 292 0 55335 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 222520 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=643128/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=274792 CPUtime=282.21 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 68138 0 0 0 28047 174 0 0 25 0 1 0 181295839 281387008 68111 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 68698 68111 136 292 0 68403 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 274792 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=593784/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=323424 CPUtime=342.19 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 80292 0 0 0 34019 200 0 0 25 0 1 0 181295839 331186176 80265 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 80856 80265 136 292 0 80561 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 323424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=551480/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=365884 CPUtime=402.17 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 90885 0 0 0 39996 221 0 0 25 0 1 0 181295839 374665216 90858 1992294400 134512640 135709839 4294956240 18446744073709551615 134573739 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 91471 90858 136 292 0 91176 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 365884 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=499192/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=417888 CPUtime=462.16 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 103868 0 0 0 45969 247 0 0 25 0 1 0 181295839 427917312 103841 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 104472 103841 136 292 0 104177 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 417888 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=459960/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=457716 CPUtime=522.14 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 113804 0 0 0 51943 271 0 0 25 0 1 0 181295839 468701184 113777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 114429 113777 136 292 0 114134 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 457716 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=408568/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=508440 CPUtime=582.12 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 126493 0 0 0 57912 300 0 0 25 0 1 0 181295839 520642560 126466 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 127110 126466 136 292 0 126815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 508440 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=381560/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=535008 CPUtime=642.1 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 133173 0 0 0 63885 325 0 0 25 0 1 0 181295839 547848192 133112 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 133752 133112 136 292 0 133457 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 535008 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=184056/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=732012 CPUtime=882.03 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 182553 0 0 0 87743 460 0 0 25 0 1 0 181295839 749580288 182492 1992294400 134512640 135709839 4294956240 18446744073709551615 134574210 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 183003 182492 136 292 0 182708 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 732012 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=129656/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=786528 CPUtime=942.02 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 196191 0 0 0 93712 490 0 0 25 0 1 0 181295839 805404672 196130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 196632 196130 136 292 0 196337 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 786528 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=73208/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=842708 CPUtime=1002 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 210222 0 0 0 99681 519 0 0 25 0 1 0 181295839 862932992 210161 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 210677 210161 136 292 0 210382 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 842708 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15864/2055920 swapFree=4192952/4192956 [pid=3393] ppid=3391 vsize=916264 CPUtime=1061.97 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 228587 0 0 0 105641 556 0 0 25 0 1 0 181295839 938254336 228526 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 229066 228526 136 292 0 228771 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 916264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=14840/2055920 swapFree=4192828/4192956 [pid=3393] ppid=3391 vsize=973664 CPUtime=1121.95 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 242911 0 0 0 111610 585 0 0 25 0 1 0 181295839 997031936 242850 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 243416 242850 136 292 0 243121 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 973664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1042160 CPUtime=1181.94 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 260011 0 0 0 117577 617 0 0 25 0 1 0 181295839 1067171840 259950 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 260540 259950 136 292 0 260245 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1042160 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15736/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1112588 CPUtime=1241.92 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 277615 0 0 0 123543 649 0 0 25 0 1 0 181295839 1139290112 277554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 278147 277554 136 292 0 277852 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1112588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1173152 CPUtime=1301.9 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 292718 0 0 0 129512 678 0 0 25 0 1 0 181295839 1201307648 292657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 293288 292657 136 292 0 292993 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1173152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15800/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1227056 CPUtime=1361.88 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 306159 0 0 0 135477 711 0 0 25 0 1 0 181295839 1256505344 306098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 306764 306098 136 292 0 306469 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1227056 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1283192 CPUtime=1421.87 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 320178 0 0 0 141445 742 0 0 25 0 1 0 181295839 1313988608 320117 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 320798 320117 136 292 0 320503 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1283192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1345512 CPUtime=1481.85 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 335748 0 0 0 147411 774 0 0 25 0 1 0 181295839 1377804288 335687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 336378 335687 136 292 0 336083 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1345512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15224/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1402392 CPUtime=1541.83 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 349945 0 0 0 153382 801 0 0 25 0 1 0 181295839 1436049408 349884 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 350598 349884 136 292 0 350303 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1402392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1438728 CPUtime=1601.82 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 358974 0 0 0 159360 822 0 0 25 0 1 0 181295839 1473257472 358913 1992294400 134512640 135709839 4294956240 18446744073709551615 134573884 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 359682 358913 136 292 0 359387 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1438728 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1490784 CPUtime=1661.79 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 371976 0 0 0 165335 844 0 0 25 0 1 0 181295839 1526562816 371915 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 372696 371915 136 292 0 372401 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1490784 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3394 /proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1547832 CPUtime=1721.78 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 386222 0 0 0 171307 871 0 0 25 0 1 0 181295839 1584979968 386161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 386958 386161 136 292 0 386663 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1547832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3396 /proc/meminfo: memFree=16312/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1587192 CPUtime=1781.76 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 396055 0 0 0 177286 890 0 0 25 0 1 0 181295839 1625284608 395994 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 396798 395994 136 292 0 396503 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1587192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3396 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=1602112 CPUtime=1800.06 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4194304 399777 0 0 0 179111 895 0 0 25 0 1 0 181295839 1640562688 399716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 400528 399716 136 292 0 400233 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1602112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3396 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=3393] ppid=3391 vsize=0 CPUtime=1800.25 /proc/3393/stat : 3393 (wbo) R 3391 3393 2849 0 -1 4195332 399778 0 0 0 179111 914 0 0 25 0 1 0 181295839 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.33 CPU user time (s): 1791.12 CPU system time (s): 9.2146 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1602112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.12 system time used= 9.2146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 399778 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= 2 involuntary context switches= 3447 runsolver used 1.59376 second user time and 3.59045 second system time The end
Begin job on node35 at 2009-06-16 09:22:45 IDJOB=1875574 IDBENCH=1952 IDSOLVER=698 FILE ID=node35/1875574-1245136965 PBS_JOBID= 9363679 Free space on /tmp= 66136 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.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-1875574-1245136965/watcher-1875574-1245136965 -o /tmp/evaluation-result-1875574-1245136965/solver-1875574-1245136965 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875574-1245136965.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED=371348025 node35.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.232 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.232 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: 915488 kB Buffers: 84576 kB Cached: 957316 kB SwapCached: 4 kB Active: 86104 kB Inactive: 969700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 915488 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 2424 kB Writeback: 0 kB Mapped: 23744 kB Slab: 70556 kB Committed_AS: 165424 kB PageTables: 1400 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-1875574-1245136965.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-16 09:52:48