Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1619.67 | 1620.4 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
MD5SUM | 9828b7020b058ee74169951dda258843 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
Best CPU time to get the best result obtained on this benchmark | 1799.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 186 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
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 | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 476 |
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 | 476 |
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 | 476 |
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-1875584-1245136517.opb. 0.00/0.00 c Instance file HOME/instance-1875584-1245136517.opb 0.00/0.00 c File size is 43369 bytes. 0.00/0.00 c Highest Coefficient sum: 251 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: 476 | 0.00/0.00 c | Number Clauses: 476 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 476 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 9 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: 12 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 13 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.008998 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.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.010998 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.011998 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.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.013997 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.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.015997 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.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.016997 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.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.020996 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.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 21 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: 25 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #29 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 29 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #30 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #31 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 31 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 32 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #33 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 33 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #34 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 34 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #35 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 35 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #36 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 36 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #37 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 37 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #38 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 38 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #39 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 39 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #40 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 40 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #41 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.05 c Elapsed CPU time: 0.052991 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.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #43 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 43 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #44 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #45 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.06 c Elapsed CPU time: 0.058991 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.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #47 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #48 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.06/0.06 c core #49 0.06/0.06 c Core size: 5 Core Weight: 1 Total Weight: 49 0.06/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.06/0.07 c core #50 0.06/0.07 c Core size: 9 Core Weight: 1 Total Weight: 50 0.06/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #51 0.06/0.07 c Core size: 7 Core Weight: 1 Total Weight: 51 0.06/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #52 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 52 0.06/0.07 c Elapsed CPU time: 0.068989 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.070989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #54 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: 54 0.06/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.06/0.08 c core #55 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 55 0.06/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.06/0.08 c core #56 0.06/0.08 c Core size: 5 Core Weight: 1 Total Weight: 56 0.06/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #57 0.06/0.08 c Core size: 5 Core Weight: 1 Total Weight: 57 0.06/0.08 c Elapsed CPU time: 0.076988 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.078987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #59 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 59 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #60 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 60 0.06/0.09 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #61 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 61 0.06/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #62 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 62 0.06/0.09 c Elapsed CPU time: 0.086986 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.088986 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.091986 s Remaining CPU time: 1799.91 s 0.06/0.10 c core #65 0.06/0.10 c Core size: 7 Core Weight: 1 Total Weight: 65 0.06/0.10 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #66 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.10 c Elapsed CPU time: 0.095985 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.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #68 0.09/0.10 c Core size: 5 Core Weight: 1 Total Weight: 68 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #69 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 69 0.09/0.11 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: 9 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 13 Core Weight: 1 Total Weight: 71 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #72 0.09/0.11 c Core size: 11 Core Weight: 1 Total Weight: 72 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 13 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 8 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: 8 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.118981 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.13 c core #77 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 77 0.09/0.13 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: 16 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: 12 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 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 | 947 1036 5728 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #85 0.09/0.15 c Core size: 23 Core Weight: 1 Total Weight: 85 0.09/0.15 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 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 | 968 1037 5766 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #86 0.09/0.15 c Core size: 17 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 | 982 1038 5792 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #87 0.09/0.15 c Core size: 42 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.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 | 1007 1039 5842 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #88 0.09/0.16 c Core size: 16 Core Weight: 1 Total Weight: 88 0.09/0.16 c Elapsed CPU time: 0.152976 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 | 1019 1040 5865 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #89 0.09/0.16 c Core size: 18 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 | 1033 1041 5891 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #90 0.09/0.16 c Core size: 16 Core Weight: 1 Total Weight: 90 0.09/0.16 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 | 1044 1042 5913 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #91 0.09/0.17 c Core size: 15 Core Weight: 1 Total Weight: 91 0.09/0.17 c Elapsed CPU time: 0.164974 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 | 1056 1043 5936 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #92 0.09/0.17 c Core size: 27 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.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 | 1079 1044 5978 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #93 0.09/0.18 c Core size: 20 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 | 1095 1045 6009 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #94 0.09/0.18 c Core size: 33 Core Weight: 1 Total Weight: 94 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 | 1120 1046 6058 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #95 0.09/0.19 c Core size: 15 Core Weight: 1 Total Weight: 95 0.09/0.19 c Elapsed CPU time: 0.180972 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 | 1130 1047 6077 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #96 0.09/0.19 c Core size: 34 Core Weight: 1 Total Weight: 96 0.09/0.19 c Elapsed CPU time: 0.183972 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 | 1156 1048 6128 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #97 0.09/0.19 c Core size: 47 Core Weight: 1 Total Weight: 97 0.09/0.19 c Elapsed CPU time: 0.188971 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 | 1187 1049 6190 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #98 0.19/0.20 c Core size: 69 Core Weight: 1 Total Weight: 98 0.19/0.20 c Elapsed CPU time: 0.19397 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 | 1232 1050 6280 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #99 0.19/0.21 c Core size: 51 Core Weight: 1 Total Weight: 99 0.19/0.21 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 | 1266 1051 6348 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #100 0.19/0.21 c Core size: 18 Core Weight: 1 Total Weight: 100 0.19/0.21 c Elapsed CPU time: 0.201969 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 | 1280 1052 6375 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #101 0.19/0.22 c Core size: 99 Core Weight: 1 Total Weight: 101 0.19/0.22 c Elapsed CPU time: 0.208968 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 | 1348 1053 6509 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 102 | 1343 1053 6509 | 5500 102 7 | 1.398 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #102 0.19/0.23 c Core size: 92 Core Weight: 1 Total Weight: 102 0.19/0.23 c Elapsed CPU time: 0.217966 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 | 1412 1054 6635 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #103 0.19/0.23 c Core size: 21 Core Weight: 1 Total Weight: 103 0.19/0.23 c Elapsed CPU time: 0.221966 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 | 1426 1055 6663 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 1415 1055 6663 | 5500 100 14 | 1.394 % | 0.19/0.25 c | 250 | 1407 1055 6663 | 6050 245 17 | 3.835 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #104 0.19/0.25 c Core size: 121 Core Weight: 1 Total Weight: 104 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 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 | 1504 1056 6818 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #105 0.19/0.26 c Core size: 24 Core Weight: 1 Total Weight: 105 0.19/0.26 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 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 | 1519 1057 6848 | 5000 0 nan | 0.000 % | 0.19/0.27 c | 101 | 1519 1057 6848 | 5500 101 12 | 0.655 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #106 0.19/0.28 c Core size: 64 Core Weight: 1 Total Weight: 106 0.19/0.28 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 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 | 1560 1058 6930 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 1560 1058 6930 | 5500 100 8 | 0.510 % | 0.19/0.29 c | 250 | 1558 1058 6930 | 6050 249 9 | 0.638 % | 0.29/0.30 c | 475 | 1558 1058 6930 | 6655 474 9 | 0.638 % | 0.29/0.32 c | 813 | 1556 1058 6930 | 7320 587 8 | 0.829 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #107 0.29/0.33 c Core size: 102 Core Weight: 1 Total Weight: 107 0.29/0.33 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1625 1059 7060 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 101 | 1625 1059 7060 | 5500 101 12 | 0.490 % | 0.29/0.35 c | 253 | 1625 1059 7060 | 6050 253 13 | 0.490 % | 0.29/0.36 c | 479 | 1625 1059 7060 | 6655 479 13 | 0.490 % | 0.29/0.38 c | 817 | 1625 1059 7060 | 7320 817 14 | 0.490 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #108 0.39/0.41 c Core size: 148 Core Weight: 1 Total Weight: 108 0.39/0.41 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 1720 1060 7250 | 5000 0 nan | 0.000 % | 0.39/0.42 c | 100 | 1720 1060 7250 | 5500 100 13 | 0.463 % | 0.39/0.43 c | 250 | 1717 1060 7250 | 6050 249 19 | 0.637 % | 0.39/0.44 c | 475 | 1717 1060 7250 | 6655 474 27 | 0.637 % | 0.39/0.47 c | 812 | 1717 1060 7250 | 7320 811 33 | 0.637 % | 0.49/0.51 c | 1320 | 1717 1060 7250 | 8052 1319 41 | 0.637 % | 0.49/0.59 c | 2079 | 1717 1060 7250 | 8857 2078 47 | 0.637 % | 0.69/0.75 c | 3218 | 1714 1060 7250 | 9743 3216 52 | 0.810 % | 0.89/0.97 c | 4930 | 1714 1060 7250 | 10717 4928 50 | 0.810 % | 1.39/1.46 c | 7493 | 1714 1060 7250 | 11789 7491 48 | 0.810 % | 2.10/2.13 c | 11343 | 1713 1060 7250 | 12968 6258 51 | 0.868 % | 2.79/2.88 c =============================================================================== 2.99/3.02 c core #109 2.99/3.02 c Core size: 207 Core Weight: 1 Total Weight: 109 2.99/3.02 c Elapsed CPU time: 2.95555 s Remaining CPU time: 1797.04 s 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 1857 1061 7523 | 5000 0 nan | 0.000 % | 2.99/3.05 c | 102 | 1855 1061 7523 | 5500 101 33 | 0.483 % | 2.99/3.06 c | 252 | 1854 1061 7523 | 6050 251 33 | 0.537 % | 2.99/3.09 c | 480 | 1854 1061 7523 | 6655 476 41 | 0.537 % | 3.09/3.12 c | 817 | 1854 1061 7523 | 7320 813 45 | 0.537 % | 3.09/3.17 c | 1324 | 1854 1061 7523 | 8052 1320 55 | 0.537 % | 3.19/3.28 c | 2083 | 1854 1061 7523 | 8857 2079 58 | 0.537 % | 3.39/3.42 c | 3224 | 1854 1061 7523 | 9743 3220 66 | 0.537 % | 3.59/3.66 c | 4935 | 1854 1061 7523 | 10717 4931 71 | 0.537 % | 4.09/4.13 c | 7502 | 1853 1061 7523 | 11789 7492 74 | 0.590 % | 4.89/4.98 c | 11346 | 1853 1061 7523 | 12968 11336 75 | 0.590 % | 6.09/6.19 c | 17113 | 1852 1061 7523 | 14265 10537 75 | 0.751 % | 8.29/8.34 c | 25764 | 1850 1061 7523 | 15692 11953 81 | 0.805 % | 12.88/12.91 c | 38739 | 1850 1061 7523 | 17261 8973 84 | 0.805 % | 20.28/20.35 c | 58202 | 1849 1061 7523 | 18987 10998 100 | 0.805 % | 31.58/31.68 c =============================================================================== 32.78/32.83 c core #110 32.78/32.83 c Core size: 239 Core Weight: 1 Total Weight: 110 32.78/32.83 c Elapsed CPU time: 32.4751 s Remaining CPU time: 1767.52 s 32.88/32.92 c ============================[ Search Statistics ]============================== 32.88/32.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.88/32.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.88/32.92 c =============================================================================== 32.88/32.92 c | 0 | 2009 1062 7826 | 5000 0 nan | 0.000 % | 32.88/32.94 c | 102 | 2009 1062 7826 | 5500 102 14 | 0.298 % | 32.88/32.95 c | 252 | 2009 1062 7826 | 6050 252 13 | 0.298 % | 32.88/32.96 c | 477 | 2009 1062 7826 | 6655 477 15 | 0.298 % | 32.88/32.98 c | 814 | 2009 1062 7826 | 7320 814 15 | 0.298 % | 32.99/33.02 c | 1321 | 2006 1062 7826 | 8052 1311 16 | 0.497 % | 32.99/33.02 c =============================================================================== 32.99/33.03 c core #111 32.99/33.03 c Core size: 102 Core Weight: 1 Total Weight: 111 32.99/33.03 c Elapsed CPU time: 32.673 s Remaining CPU time: 1767.33 s 32.99/33.04 c ============================[ Search Statistics ]============================== 32.99/33.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.99/33.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.99/33.04 c =============================================================================== 32.99/33.04 c | 0 | 2073 1063 7954 | 5000 0 nan | 0.000 % | 32.99/33.05 c | 105 | 2073 1063 7954 | 5500 105 22 | 0.289 % | 32.99/33.06 c | 255 | 2073 1063 7954 | 6050 255 25 | 0.289 % | 32.99/33.07 c | 480 | 2073 1063 7954 | 6655 480 28 | 0.289 % | 33.08/33.10 c | 817 | 2073 1063 7954 | 7320 817 30 | 0.289 % | 33.08/33.14 c | 1323 | 2073 1063 7954 | 8052 1323 33 | 0.289 % | 33.18/33.23 c | 2082 | 2073 1063 7954 | 8857 2082 34 | 0.289 % | 33.28/33.34 c | 3221 | 2070 1063 7954 | 9743 3220 34 | 0.433 % | 33.48/33.54 c | 4929 | 2069 1063 7954 | 10717 4927 42 | 0.481 % | 33.88/33.90 c | 7491 | 2069 1063 7954 | 11789 7489 51 | 0.481 % | 34.48/34.54 c | 11337 | 2069 1063 7954 | 12968 11335 52 | 0.481 % | 35.47/35.54 c | 17103 | 2068 1063 7954 | 14265 10513 52 | 0.529 % | 37.18/37.28 c | 25752 | 2066 1063 7954 | 15692 11774 73 | 0.673 % | 40.78/40.83 c | 38726 | 2062 1063 7954 | 17261 8759 72 | 0.818 % | 47.47/47.58 c | 58189 | 2060 1063 7954 | 18987 10744 83 | 0.914 % | 59.67/59.79 c | 87381 | 2059 1063 7954 | 20886 6221 47 | 0.962 % | 63.87/63.93 c =============================================================================== 64.47/64.58 c core #112 64.47/64.58 c Core size: 366 Core Weight: 1 Total Weight: 112 64.47/64.58 c Elapsed CPU time: 63.8543 s Remaining CPU time: 1736.15 s 64.67/64.70 c ============================[ Search Statistics ]============================== 64.67/64.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.67/64.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.67/64.70 c =============================================================================== 64.67/64.70 c | 0 | 2301 1064 8407 | 5000 0 nan | 0.000 % | 64.67/64.73 c | 100 | 2301 1064 8407 | 5500 100 71 | 0.130 % | 64.67/64.74 c | 253 | 2301 1064 8407 | 6050 253 38 | 0.130 % | 64.67/64.77 c | 478 | 2299 1064 8407 | 6655 477 36 | 0.217 % | 64.67/64.79 c | 815 | 2299 1064 8407 | 7320 814 44 | 0.217 % | 64.77/64.85 c | 1321 | 2299 1064 8407 | 8052 1320 52 | 0.217 % | 64.87/64.93 c | 2080 | 2299 1064 8407 | 8857 2079 52 | 0.217 % | 64.97/65.08 c | 3221 | 2299 1064 8407 | 9743 3220 61 | 0.217 % | 65.17/65.29 c | 4931 | 2299 1064 8407 | 10717 4930 69 | 0.217 % | 65.67/65.79 c | 7494 | 2299 1064 8407 | 11789 7493 89 | 0.217 % | 66.47/66.54 c | 11338 | 2299 1064 8407 | 12968 11337 107 | 0.217 % | 67.27/67.37 c | 17105 | 2298 1064 8407 | 14265 10548 97 | 0.260 % | 69.37/69.46 c | 25754 | 2298 1064 8407 | 15692 11957 84 | 0.260 % | 72.76/72.90 c | 38730 | 2298 1064 8407 | 17261 9098 107 | 0.260 % | 79.37/79.46 c | 58191 | 2298 1064 8407 | 18987 11091 112 | 0.260 % | 92.36/92.47 c | 87384 | 2298 1064 8407 | 20886 11267 182 | 0.260 % | 108.56/108.66 c | 131179 | 2298 1064 8407 | 22974 12765 141 | 0.260 % | 138.34/138.46 c | 196863 | 2295 1064 8407 | 25272 20351 159 | 0.434 % | 192.82/192.90 c | 295389 | 2294 1064 8407 | 27799 16569 104 | 0.434 % | 283.99/284.11 c | 443182 | 2294 1064 8407 | 30579 21431 172 | 0.434 % | 466.23/466.43 c | 664866 | 2294 1064 8407 | 33637 28745 226 | 0.434 % | 839.61/839.90 c | 997398 | 2292 1064 8407 | 37001 29013 237 | 0.564 % | 1220.38/1220.86 c | 1496192 | 2291 1064 8407 | 40701 28793 181 | 0.564 % |
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-1875584-1245136517/watcher-1875584-1245136517 -o /tmp/evaluation-result-1875584-1245136517/solver-1875584-1245136517 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875584-1245136517.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 1651 /proc/meminfo: memFree=1496800/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=2580 CPUtime=0 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 181248125 2641920 190 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 645 190 128 292 0 339 0 [startup+0.068577 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1651 /proc/meminfo: memFree=1496800/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=4060 CPUtime=0.06 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 603 0 0 0 6 0 0 0 18 0 1 0 181248125 4157440 576 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 1015 576 134 292 0 720 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4060 [startup+0.101582 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1651 /proc/meminfo: memFree=1496800/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=5160 CPUtime=0.09 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 181248125 5283840 844 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 1290 844 134 292 0 995 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5160 [startup+0.301619 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1651 /proc/meminfo: memFree=1496800/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=9424 CPUtime=0.29 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 1957 0 0 0 28 1 0 0 19 0 1 0 181248125 9650176 1930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 2356 1930 136 292 0 2061 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9424 [startup+0.701695 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1651 /proc/meminfo: memFree=1496800/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=10652 CPUtime=0.69 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 2269 0 0 0 66 3 0 0 22 0 1 0 181248125 10907648 2242 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 2663 2242 136 292 0 2368 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10652 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=1487256/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=12768 CPUtime=1.49 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 2786 0 0 0 144 5 0 0 25 0 1 0 181248125 13074432 2759 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 3192 2759 136 292 0 2897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12768 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=1484504/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=16780 CPUtime=3.09 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 3792 0 0 0 302 7 0 0 25 0 1 0 181248125 17182720 3765 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 4195 3765 136 292 0 3900 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16780 [startup+6.30174 s] /proc/loadavg: 1.08 1.02 1.01 2/65 1652 /proc/meminfo: memFree=1479640/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=21536 CPUtime=6.29 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 4959 0 0 0 616 13 0 0 25 0 1 0 181248125 22052864 4932 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 5384 4932 136 292 0 5089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21536 [startup+12.7019 s] /proc/loadavg: 1.07 1.02 1.00 2/65 1652 /proc/meminfo: memFree=1465632/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=33852 CPUtime=12.69 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 8042 0 0 0 1250 19 0 0 25 0 1 0 181248125 34664448 8015 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 8463 8015 136 292 0 8168 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33852 [startup+25.5013 s] /proc/loadavg: 1.06 1.01 1.00 2/65 1652 /proc/meminfo: memFree=1445984/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=52788 CPUtime=25.48 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 12772 0 0 0 2519 29 0 0 25 0 1 0 181248125 54054912 12745 1992294400 134512640 135709839 4294956240 18446744073709551615 134569235 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 13197 12745 136 292 0 12902 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52788 [startup+51.1011 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1652 /proc/meminfo: memFree=1419296/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=79888 CPUtime=51.08 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 19547 0 0 0 5051 57 0 0 25 0 1 0 181248125 81805312 19520 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 19972 19520 136 292 0 19677 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79888 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1652 /proc/meminfo: memFree=1336160/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=162412 CPUtime=102.26 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 40180 0 0 0 10111 115 0 0 25 0 1 0 181248125 166309888 40153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 40603 40153 136 292 0 40308 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 162412 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=1238880/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=260404 CPUtime=162.24 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 64666 0 0 0 16059 165 0 0 25 0 1 0 181248125 266653696 64639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 65101 64639 136 292 0 64806 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 260404 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=1158240/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=340228 CPUtime=222.22 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 84584 0 0 0 22009 213 0 0 25 0 1 0 181248125 348393472 84557 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 85057 84557 136 292 0 84762 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 340228 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=1077280/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=422164 CPUtime=282.2 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 105041 0 0 0 27963 257 0 0 25 0 1 0 181248125 432295936 105014 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 105541 105014 136 292 0 105246 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 422164 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=999904/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=498508 CPUtime=342.18 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 124127 0 0 0 33922 296 0 0 25 0 1 0 181248125 510472192 124100 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 124627 124100 136 292 0 124332 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 498508 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=931424/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=566912 CPUtime=402.15 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 141226 0 0 0 39887 328 0 0 25 0 1 0 181248125 580517888 141199 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 141728 141199 136 292 0 141433 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 566912 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=859104/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=639332 CPUtime=462.13 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 159285 0 0 0 45853 360 0 0 25 0 1 0 181248125 654675968 159258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 159833 159258 136 292 0 159538 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 639332 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=771872/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=727088 CPUtime=522.12 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 181237 0 0 0 51813 399 0 0 25 0 1 0 181248125 744538112 181210 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 181772 181210 136 292 0 181477 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 727088 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=700320/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=797676 CPUtime=582.09 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 198876 0 0 0 57780 429 0 0 25 0 1 0 181248125 816820224 198849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 199419 198849 136 292 0 199124 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 797676 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=649120/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=848324 CPUtime=642.08 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 211497 0 0 0 63755 453 0 0 25 0 1 0 181248125 868683776 211470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 212081 211470 136 292 0 211786 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 848324 [startup+702.301 s] ################ # More data... # ################ [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=529632/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=967908 CPUtime=762.04 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 241329 0 0 0 75696 508 0 0 25 0 1 0 181248125 991137792 241302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 241977 241302 136 292 0 241682 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 967908 [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=480096/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1017796 CPUtime=822.01 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 253759 0 0 0 81674 527 0 0 25 0 1 0 181248125 1042223104 253732 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 254449 253732 136 292 0 254154 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1017796 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=406240/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1091276 CPUtime=882 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 272146 0 0 0 87639 561 0 0 25 0 1 0 181248125 1117466624 272119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 272819 272119 136 292 0 272524 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1091276 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=338784/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1159228 CPUtime=941.97 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 289111 0 0 0 93600 597 0 0 25 0 1 0 181248125 1187049472 289084 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 289807 289084 136 292 0 289512 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1159228 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=276768/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1220636 CPUtime=1001.95 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 304455 0 0 0 99567 628 0 0 25 0 1 0 181248125 1249931264 304428 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 305159 304428 136 292 0 304864 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1220636 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=213344/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1284276 CPUtime=1061.93 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 320372 0 0 0 105529 664 0 0 25 0 1 0 181248125 1315098624 320345 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 321069 320345 136 292 0 320774 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1284276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=148512/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1349000 CPUtime=1121.91 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 336532 0 0 0 111488 703 0 0 25 0 1 0 181248125 1381376000 336505 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 337250 336505 136 292 0 336955 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1349000 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=92960/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1404800 CPUtime=1181.89 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 350444 0 0 0 117461 728 0 0 25 0 1 0 181248125 1438515200 350417 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 351200 350417 136 292 0 350905 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1404800 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=38432/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1459328 CPUtime=1241.87 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 364052 0 0 0 123433 754 0 0 25 0 1 0 181248125 1494351872 364025 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 364832 364025 136 292 0 364537 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1459328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=15904/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1513192 CPUtime=1301.8 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 377492 0 0 0 129399 781 0 0 25 0 1 0 181248125 1549508608 377465 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 378298 377465 136 292 0 378003 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1513192 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=15136/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1571472 CPUtime=1361.66 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 392027 0 0 0 135352 814 0 0 25 0 1 0 181248125 1609187328 392000 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 392868 392000 136 292 0 392573 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 1571472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=15072/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1627008 CPUtime=1421.64 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 405912 0 0 0 141316 848 0 0 25 0 1 0 181248125 1666056192 405885 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 406752 405885 136 292 0 406457 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 1627008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1652 /proc/meminfo: memFree=14816/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1680708 CPUtime=1481.61 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 419333 0 0 0 147286 875 0 0 25 0 1 0 181248125 1721044992 419306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 420177 419306 136 292 0 419882 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 1680708 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 1652 /proc/meminfo: memFree=15968/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1749872 CPUtime=1541.59 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 436582 0 0 0 153251 908 0 0 25 0 1 0 181248125 1791868928 436555 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 437468 436555 136 292 0 437173 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 1749872 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 1652 /proc/meminfo: memFree=15840/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1827420 CPUtime=1601.57 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 455965 0 0 0 159206 951 0 0 25 0 1 0 181248125 1871278080 455938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 456855 455938 136 292 0 456560 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 1827420 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1620.1 s] /proc/loadavg: 1.02 1.01 1.00 2/65 1652 /proc/meminfo: memFree=14880/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=1843296 CPUtime=1619.37 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4194304 459930 0 0 0 160976 961 0 0 25 0 1 0 181248125 1887535104 459903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 460824 459903 136 292 0 460529 0 Current children cumulated CPU time (s) 1619.37 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1620.21 s] /proc/loadavg: 1.02 1.01 1.00 2/66 1653 /proc/meminfo: memFree=634456/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=0 CPUtime=1619.47 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4195332 459930 0 0 0 160976 971 0 0 25 0 1 0 181248125 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1619.47 Current children cumulated vsize (KiB) 0 [startup+1620.4 s] /proc/loadavg: 1.02 1.01 1.00 2/66 1653 /proc/meminfo: memFree=634456/2055920 swapFree=4182544/4192956 [pid=1651] ppid=1649 vsize=0 CPUtime=1619.66 /proc/1651/stat : 1651 (wbo) R 1649 1651 1226 0 -1 4195332 459930 0 0 0 160976 990 0 0 25 0 1 0 181248125 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1651/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1619.66 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1620.4 CPU time (s): 1619.67 CPU user time (s): 1609.76 CPU system time (s): 9.90849 CPU usage (%): 99.955 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1609.76 system time used= 9.90849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459930 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= 2846 runsolver used 1.41478 second user time and 3.71244 second system time The end
Begin job on node47 at 2009-06-16 09:15:17 IDJOB=1875584 IDBENCH=1950 IDSOLVER=698 FILE ID=node47/1875584-1245136517 PBS_JOBID= 9363704 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.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-1875584-1245136517/watcher-1875584-1245136517 -o /tmp/evaluation-result-1875584-1245136517/solver-1875584-1245136517 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875584-1245136517.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=680531990 node47.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.261 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.261 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: 1497224 kB Buffers: 41076 kB Cached: 447388 kB SwapCached: 4196 kB Active: 49112 kB Inactive: 447240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1497224 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 13628 kB Slab: 48244 kB Committed_AS: 168840 kB PageTables: 1448 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-1875584-1245136517.opb Free space on /tmp at the end= 65948 MiB End job on node47 at 2009-06-16 09:42:19