Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
MD5SUM | bddc7a1ce44c83fc28f6e299cbaaf04c |
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 | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
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 | 18 |
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-1875583-1245137500.opb. 0.00/0.00 c Instance file HOME/instance-1875583-1245137500.opb 0.00/0.00 c File size is 43258 bytes. 0.00/0.00 c Highest Coefficient sum: 226 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: 7 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 11 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 16 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.010998 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.011998 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.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.013997 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.014997 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.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 13 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: 10 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.023996 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.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 12 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 25 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.03/0.03 c core #29 0.03/0.03 c Core size: 7 Core Weight: 1 Total Weight: 29 0.03/0.03 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #30 0.03/0.04 c Core size: 7 Core Weight: 1 Total Weight: 30 0.03/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #31 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 31 0.03/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #32 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 32 0.03/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #33 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 33 0.03/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #34 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 34 0.03/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.03/0.04 c core #35 0.03/0.04 c Core size: 5 Core Weight: 1 Total Weight: 35 0.03/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.03/0.04 c core #36 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 36 0.03/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #37 0.03/0.05 c Core size: 6 Core Weight: 1 Total Weight: 37 0.03/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #38 0.03/0.05 c Core size: 5 Core Weight: 1 Total Weight: 38 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #39 0.03/0.05 c Core size: 9 Core Weight: 1 Total Weight: 39 0.03/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #40 0.03/0.05 c Core size: 5 Core Weight: 1 Total Weight: 40 0.03/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #41 0.03/0.05 c Core size: 9 Core Weight: 1 Total Weight: 41 0.03/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #42 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 42 0.03/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.03/0.05 c core #43 0.03/0.05 c Core size: 5 Core Weight: 1 Total Weight: 43 0.03/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #44 0.03/0.06 c Core size: 6 Core Weight: 1 Total Weight: 44 0.03/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #45 0.03/0.06 c Core size: 5 Core Weight: 1 Total Weight: 45 0.03/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #46 0.03/0.06 c Core size: 7 Core Weight: 1 Total Weight: 46 0.03/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #47 0.03/0.06 c Core size: 5 Core Weight: 1 Total Weight: 47 0.03/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #48 0.03/0.06 c Core size: 6 Core Weight: 1 Total Weight: 48 0.03/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #49 0.03/0.06 c Core size: 5 Core Weight: 1 Total Weight: 49 0.03/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #50 0.03/0.07 c Core size: 8 Core Weight: 1 Total Weight: 50 0.03/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #51 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 51 0.03/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #52 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 52 0.03/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #53 0.03/0.07 c Core size: 5 Core Weight: 1 Total Weight: 53 0.03/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #54 0.03/0.07 c Core size: 5 Core Weight: 1 Total Weight: 54 0.03/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #55 0.03/0.07 c Core size: 5 Core Weight: 1 Total Weight: 55 0.03/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #56 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 56 0.03/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #57 0.03/0.08 c Core size: 6 Core Weight: 1 Total Weight: 57 0.03/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #58 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 58 0.03/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #59 0.03/0.08 c Core size: 8 Core Weight: 1 Total Weight: 59 0.03/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #60 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 60 0.03/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #61 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 61 0.03/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #62 0.03/0.09 c Core size: 8 Core Weight: 1 Total Weight: 62 0.03/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #63 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 63 0.03/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #64 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 64 0.03/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.03/0.10 c core #65 0.03/0.10 c Core size: 4 Core Weight: 1 Total Weight: 65 0.03/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: 4 Core Weight: 1 Total Weight: 66 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #67 0.09/0.10 c Core size: 4 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: 4 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: 10 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: 17 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 11 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.109983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 15 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: 12 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #75 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #76 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 76 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 11 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: 12 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 16 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.13098 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.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 11 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #85 0.09/0.15 c Core size: 7 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 core #86 0.09/0.15 c Core size: 13 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 core #87 0.09/0.15 c Core size: 21 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #88 0.09/0.15 c Core size: 8 Core Weight: 1 Total Weight: 88 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 | 984 1040 5784 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #89 0.09/0.16 c Core size: 33 Core Weight: 1 Total Weight: 89 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1004 1041 5824 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #90 0.09/0.16 c Core size: 47 Core Weight: 1 Total Weight: 90 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 | 1036 1042 5886 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #91 0.09/0.16 c Core size: 31 Core Weight: 1 Total Weight: 91 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 | 1059 1043 5931 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #92 0.09/0.17 c Core size: 26 Core Weight: 1 Total Weight: 92 0.09/0.17 c Elapsed CPU time: 0.163975 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 | 1076 1044 5965 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #93 0.09/0.17 c Core size: 26 Core Weight: 1 Total Weight: 93 0.09/0.17 c Elapsed CPU time: 0.167974 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 | 1094 1045 6001 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #94 0.09/0.18 c Core size: 19 Core Weight: 1 Total Weight: 94 0.09/0.18 c Elapsed CPU time: 0.170974 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 | 1111 1046 6032 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #95 0.09/0.18 c Core size: 37 Core Weight: 1 Total Weight: 95 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 | 1140 1047 6087 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #96 0.09/0.18 c Core size: 41 Core Weight: 1 Total Weight: 96 0.09/0.18 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 | 1169 1048 6144 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #97 0.09/0.19 c Core size: 28 Core Weight: 1 Total Weight: 97 0.09/0.19 c Elapsed CPU time: 0.182972 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 | 1192 1049 6187 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #98 0.09/0.19 c Core size: 49 Core Weight: 1 Total Weight: 98 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.20 c ============================[ Search Statistics ]============================== 0.09/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.20 c =============================================================================== 0.09/0.20 c | 0 | 1226 1050 6255 | 5000 0 nan | 0.000 % | 0.20/0.20 c =============================================================================== 0.20/0.20 c core #99 0.20/0.20 c Core size: 20 Core Weight: 1 Total Weight: 99 0.20/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.20/0.20 c ============================[ Search Statistics ]============================== 0.20/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.20 c =============================================================================== 0.20/0.20 c | 0 | 1241 1051 6283 | 5000 0 nan | 0.000 % | 0.20/0.21 c | 101 | 1232 1051 6283 | 5500 101 6 | 5.635 % | 0.20/0.21 c =============================================================================== 0.20/0.21 c core #100 0.20/0.21 c Core size: 96 Core Weight: 1 Total Weight: 100 0.20/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.20/0.21 c ============================[ Search Statistics ]============================== 0.20/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.21 c =============================================================================== 0.20/0.21 c | 0 | 1305 1052 6410 | 5000 0 nan | 0.000 % | 0.20/0.22 c | 101 | 1275 1052 6410 | 5500 93 12 | 3.628 % | 0.20/0.23 c | 252 | 1273 1052 6410 | 6050 241 14 | 3.779 % | 0.20/0.24 c =============================================================================== 0.20/0.24 c core #101 0.20/0.24 c Core size: 75 Core Weight: 1 Total Weight: 101 0.20/0.24 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.20/0.24 c ============================[ Search Statistics ]============================== 0.20/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.24 c =============================================================================== 0.20/0.24 c | 0 | 1357 1053 6511 | 5000 0 nan | 0.000 % | 0.20/0.24 c =============================================================================== 0.20/0.24 c core #102 0.20/0.24 c Core size: 84 Core Weight: 1 Total Weight: 102 0.20/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.20/0.25 c ============================[ Search Statistics ]============================== 0.20/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.25 c =============================================================================== 0.20/0.25 c | 0 | 1411 1054 6618 | 5000 0 nan | 0.000 % | 0.20/0.25 c =============================================================================== 0.20/0.25 c core #103 0.20/0.25 c Core size: 110 Core Weight: 1 Total Weight: 103 0.20/0.25 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.20/0.26 c ============================[ Search Statistics ]============================== 0.20/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.26 c =============================================================================== 0.20/0.26 c | 0 | 1485 1055 6764 | 5000 0 nan | 0.000 % | 0.20/0.26 c | 100 | 1477 1055 6764 | 5500 100 6 | 1.536 % | 0.20/0.27 c =============================================================================== 0.20/0.27 c core #104 0.20/0.27 c Core size: 71 Core Weight: 1 Total Weight: 104 0.20/0.27 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.20/0.27 c ============================[ Search Statistics ]============================== 0.20/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.27 c =============================================================================== 0.20/0.27 c | 0 | 1531 1056 6855 | 5000 0 nan | 0.000 % | 0.20/0.27 c | 100 | 1529 1056 6855 | 5500 100 10 | 0.908 % | 0.20/0.28 c | 250 | 1520 1056 6855 | 6050 216 15 | 1.492 % | 0.20/0.29 c =============================================================================== 0.20/0.29 c core #105 0.20/0.29 c Core size: 93 Core Weight: 1 Total Weight: 105 0.20/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.20/0.30 c ============================[ Search Statistics ]============================== 0.20/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.20/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.20/0.30 c =============================================================================== 0.20/0.30 c | 0 | 1591 1057 6974 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 102 | 1591 1057 6974 | 5500 102 11 | 0.625 % | 0.29/0.31 c | 252 | 1591 1057 6974 | 6050 252 13 | 0.625 % | 0.29/0.32 c | 479 | 1591 1057 6974 | 6655 479 14 | 0.625 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #106 0.29/0.34 c Core size: 121 Core Weight: 1 Total Weight: 106 0.29/0.34 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1665 1058 7121 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 100 | 1664 1058 7121 | 5500 100 18 | 0.597 % | 0.29/0.36 c | 250 | 1662 1058 7121 | 6050 248 19 | 0.717 % | 0.29/0.37 c | 475 | 1662 1058 7121 | 6655 473 20 | 0.717 % | 0.29/0.39 c | 812 | 1662 1058 7121 | 7320 810 23 | 0.717 % | 0.39/0.42 c | 1318 | 1662 1058 7121 | 8052 1316 25 | 0.717 % | 0.39/0.48 c | 2078 | 1662 1058 7121 | 8857 2076 32 | 0.717 % | 0.49/0.56 c | 3219 | 1662 1058 7121 | 9743 3217 30 | 0.717 % | 0.69/0.74 c | 4929 | 1662 1058 7121 | 10717 4927 31 | 0.717 % | 0.99/1.07 c | 7492 | 1662 1058 7121 | 11789 7490 31 | 0.717 % | 1.49/1.50 c | 11338 | 1662 1058 7121 | 12968 11336 30 | 0.717 % | 1.89/1.90 c =============================================================================== 1.89/1.93 c core #107 1.89/1.93 c Core size: 217 Core Weight: 1 Total Weight: 107 1.89/1.93 c Elapsed CPU time: 1.88571 s Remaining CPU time: 1798.11 s 1.89/1.94 c ============================[ Search Statistics ]============================== 1.89/1.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.94 c =============================================================================== 1.89/1.94 c | 0 | 1804 1059 7396 | 5000 0 nan | 0.000 % | 1.89/1.95 c | 100 | 1804 1059 7396 | 5500 100 20 | 0.332 % | 1.89/1.96 c | 250 | 1797 1059 7396 | 6050 249 15 | 0.774 % | 1.89/1.98 c | 478 | 1796 1059 7396 | 6655 477 19 | 0.774 % | 1.99/2.00 c | 816 | 1796 1059 7396 | 7320 814 20 | 0.774 % | 1.99/2.04 c | 1323 | 1796 1059 7396 | 8052 1321 19 | 0.774 % | 2.10/2.10 c | 2084 | 1796 1059 7396 | 8857 2082 22 | 0.774 % | 2.20/2.22 c | 3223 | 1794 1059 7396 | 9743 3220 26 | 0.884 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c core #108 2.20/2.25 c Core size: 52 Core Weight: 1 Total Weight: 108 2.20/2.25 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.20/2.26 c ============================[ Search Statistics ]============================== 2.20/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.26 c =============================================================================== 2.20/2.26 c | 0 | 1838 1060 7464 | 5000 0 nan | 0.000 % | 2.20/2.27 c | 100 | 1837 1060 7464 | 5500 100 11 | 0.380 % | 2.20/2.28 c | 252 | 1837 1060 7464 | 6050 251 20 | 0.380 % | 2.20/2.29 c | 477 | 1836 1060 7464 | 6655 474 19 | 0.434 % | 2.29/2.31 c | 816 | 1830 1060 7464 | 7320 812 17 | 0.759 % | 2.29/2.35 c | 1322 | 1830 1060 7464 | 8052 1318 17 | 0.759 % | 2.39/2.40 c | 2081 | 1830 1060 7464 | 8857 2077 17 | 0.759 % | 2.49/2.50 c | 3221 | 1830 1060 7464 | 9743 3217 25 | 0.759 % | 2.59/2.67 c | 4929 | 1830 1060 7464 | 10717 4925 27 | 0.759 % | 2.89/2.99 c | 7492 | 1829 1060 7464 | 11789 7449 32 | 0.814 % | 3.49/3.55 c | 11336 | 1829 1060 7464 | 12968 11293 35 | 0.814 % | 4.49/4.55 c | 17106 | 1828 1060 7464 | 14265 9754 39 | 0.868 % | 4.79/4.84 c =============================================================================== 4.99/5.00 c core #109 4.99/5.00 c Core size: 255 Core Weight: 1 Total Weight: 109 4.99/5.00 c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s 4.99/5.02 c ============================[ Search Statistics ]============================== 4.99/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.02 c =============================================================================== 4.99/5.02 c | 0 | 2000 1061 7786 | 5000 0 nan | 0.000 % | 4.99/5.03 c | 101 | 1995 1061 7786 | 5500 101 21 | 0.499 % | 4.99/5.04 c | 255 | 1994 1061 7786 | 6050 254 31 | 0.499 % | 4.99/5.06 c | 480 | 1994 1061 7786 | 6655 479 30 | 0.499 % | 4.99/5.09 c | 817 | 1994 1061 7786 | 7320 816 34 | 0.499 % | 5.09/5.13 c | 1325 | 1994 1061 7786 | 8052 1324 30 | 0.499 % | 5.19/5.21 c | 2087 | 1994 1061 7786 | 8857 2086 37 | 0.499 % | 5.29/5.33 c | 3226 | 1994 1061 7786 | 9743 3225 42 | 0.499 % | 5.49/5.53 c | 4935 | 1994 1061 7786 | 10717 4934 41 | 0.499 % | 5.79/5.81 c | 7497 | 1994 1061 7786 | 11789 7496 38 | 0.499 % | 6.29/6.35 c | 11341 | 1994 1061 7786 | 12968 11340 41 | 0.499 % | 7.28/7.34 c | 17108 | 1994 1061 7786 | 14265 10525 46 | 0.499 % | 8.89/8.96 c | 25757 | 1994 1061 7786 | 15692 12006 51 | 0.499 % | 11.59/11.63 c | 38732 | 1993 1061 7786 | 17261 5662 42 | 0.549 % | 12.38/12.44 c =============================================================================== 12.89/12.94 c core #110 12.89/12.94 c Core size: 295 Core Weight: 1 Total Weight: 110 12.89/12.94 c Elapsed CPU time: 12.6961 s Remaining CPU time: 1787.3 s 12.89/12.99 c ============================[ Search Statistics ]============================== 12.89/12.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.99 c =============================================================================== 12.89/12.99 c | 0 | 2179 1062 8144 | 5000 0 nan | 0.000 % | 12.99/13.00 c | 102 | 2179 1062 8144 | 5500 102 21 | 0.183 % | 12.99/13.01 c | 254 | 2179 1062 8144 | 6050 254 28 | 0.183 % | 12.99/13.02 c | 482 | 2179 1062 8144 | 6655 482 26 | 0.183 % | 12.99/13.04 c | 820 | 2179 1062 8144 | 7320 820 25 | 0.183 % | 12.99/13.08 c | 1326 | 2179 1062 8144 | 8052 1326 31 | 0.183 % | 13.09/13.14 c | 2085 | 2179 1062 8144 | 8857 2085 30 | 0.183 % | 13.19/13.22 c | 3227 | 2179 1062 8144 | 9743 3227 28 | 0.183 % | 13.39/13.40 c | 4938 | 2179 1062 8144 | 10717 4938 34 | 0.183 % | 13.58/13.66 c | 7502 | 2179 1062 8144 | 11789 7502 38 | 0.183 % | 14.19/14.21 c | 11351 | 2179 1062 8144 | 12968 11351 40 | 0.183 % | 15.29/15.36 c | 17117 | 2179 1062 8144 | 14265 10532 45 | 0.183 % | 16.99/17.03 c | 25766 | 2179 1062 8144 | 15692 11974 42 | 0.183 % | 20.68/20.80 c | 38741 | 2178 1062 8144 | 17261 14105 47 | 0.229 % | 21.39/21.49 c =============================================================================== 21.88/21.92 c core #111 21.88/21.92 c Core size: 258 Core Weight: 1 Total Weight: 111 21.88/21.92 c Elapsed CPU time: 21.5657 s Remaining CPU time: 1778.43 s 21.88/21.97 c ============================[ Search Statistics ]============================== 21.88/21.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.88/21.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.88/21.97 c =============================================================================== 21.88/21.97 c | 0 | 2335 1063 8456 | 5000 0 nan | 0.000 % | 21.88/21.98 c | 100 | 2335 1063 8456 | 5500 100 30 | 0.171 % | 21.88/22.00 c | 250 | 2335 1063 8456 | 6050 250 24 | 0.171 % | 21.99/22.02 c | 477 | 2335 1063 8456 | 6655 477 27 | 0.171 % | 21.99/22.04 c | 814 | 2335 1063 8456 | 7320 814 32 | 0.171 % | 22.08/22.10 c | 1322 | 2335 1063 8456 | 8052 1322 35 | 0.171 % | 22.08/22.16 c | 2082 | 2335 1063 8456 | 8857 2082 36 | 0.171 % | 22.18/22.26 c | 3222 | 2335 1063 8456 | 9743 3222 38 | 0.171 % | 22.39/22.47 c | 4930 | 2335 1063 8456 | 10717 4930 42 | 0.171 % | 22.69/22.78 c | 7492 | 2335 1063 8456 | 11789 7492 44 | 0.171 % | 23.38/23.49 c | 11336 | 2335 1063 8456 | 12968 11336 50 | 0.171 % | 24.48/24.53 c | 17102 | 2335 1063 8456 | 14265 10580 59 | 0.171 % | 26.08/26.12 c | 25751 | 2335 1063 8456 | 15692 12046 63 | 0.171 % | 30.79/30.81 c | 38727 | 2335 1063 8456 | 17261 9064 110 | 0.171 % | 36.18/36.22 c | 58189 | 2335 1063 8456 | 18987 10989 77 | 0.171 % | 42.98/43.02 c | 87381 | 2335 1063 8456 | 20886 11474 85 | 0.171 % | 59.68/59.70 c | 131171 | 2335 1063 8456 | 22974 13099 88 | 0.171 % | 86.47/86.52 c | 196857 | 2335 1063 8456 | 25272 20846 104 | 0.171 % | 131.86/131.93 c | 295385 | 2335 1063 8456 | 27799 17119 115 | 0.171 % | 245.83/245.92 c | 443174 | 2335 1063 8456 | 30579 19180 120 | 0.171 % | 415.18/415.39 c | 664858 | 2335 1063 8456 | 33637 23038 129 | 0.171 % | 593.55/593.71 c | 997384 | 2335 1063 8456 | 37001 28108 127 | 0.171 % | 771.70/771.99 c =============================================================================== 805.39/805.62 c core #112 805.39/805.62 c Core size: 623 Core Weight: 1 Total Weight: 112 805.39/805.62 c Elapsed CPU time: 799.876 s Remaining CPU time: 1000.12 s 806.69/806.94 c ============================[ Search Statistics ]============================== 806.69/806.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 806.69/806.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 806.69/806.94 c =============================================================================== 806.69/806.94 c | 0 | 2705 1064 9192 | 5000 0 nan | 0.000 % | 806.69/806.98 c | 100 | 2705 1064 9192 | 5500 100 20 | 0.000 % | 806.89/807.13 c | 251 | 2705 1064 9192 | 6050 251 31 | 0.000 % | 806.99/807.20 c | 477 | 2705 1064 9192 | 6655 477 39 | 0.000 % | 806.99/807.27 c | 818 | 2705 1064 9192 | 7320 818 39 | 0.000 % | 807.09/807.34 c | 1326 | 2705 1064 9192 | 8052 1326 53 | 0.000 % | 807.19/807.44 c | 2091 | 2705 1064 9192 | 8857 2091 56 | 0.000 % | 807.29/807.59 c | 3234 | 2705 1064 9192 | 9743 3234 56 | 0.000 % | 807.59/807.88 c | 4944 | 2705 1064 9192 | 10717 4944 64 | 0.000 % | 808.20/808.41 c | 7516 | 2705 1064 9192 | 11789 7516 70 | 0.000 % | 808.99/809.26 c | 11361 | 2705 1064 9192 | 12968 11361 86 | 0.000 % | 810.59/810.82 c | 17128 | 2705 1064 9192 | 14265 10481 105 | 0.000 % | 813.19/813.49 c | 25777 | 2705 1064 9192 | 15692 11868 99 | 0.000 % | 818.39/818.60 c | 38752 | 2705 1064 9192 | 17261 8820 116 | 0.000 % | 824.79/825.06 c | 58214 | 2705 1064 9192 | 18987 10678 109 | 0.000 % | 837.58/837.80 c | 87408 | 2705 1064 9192 | 20886 10699 197 | 0.000 % | 869.68/869.90 c | 131197 | 2705 1064 9192 | 22974 12114 246 | 0.000 % | 924.86/925.19 c | 196885 | 2705 1064 9192 | 25272 18812 194 | 0.000 % | 1012.74/1013.01 c | 295412 | 2705 1064 9192 | 27799 14122 187 | 0.000 % | 1184.50/1184.83 c | 443203 | 2705 1064 9192 | 30579 16064 184 | 0.000 % | 1405.04/1405.41 c | 664888 | 2705 1064 9192 | 33637 24438 202 | 0.000 % | 1772.55/1773.04 c | 997413 | 2705 1064 9192 | 37001 23830 226 | 0.000 % |
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-1875583-1245137500/watcher-1875583-1245137500 -o /tmp/evaluation-result-1875583-1245137500/solver-1875583-1245137500 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875583-1245137500.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 1954 /proc/meminfo: memFree=1946848/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=2580 CPUtime=0 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 181350135 2641920 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135164515 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 645 190 128 292 0 339 0 [startup+0.0386219 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1954 /proc/meminfo: memFree=1946848/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=3348 CPUtime=0.03 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 430 0 0 0 3 0 0 0 18 0 1 0 181350135 3428352 403 1992294400 134512640 135709839 4294956240 18446744073709551615 134570685 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 837 406 134 292 0 542 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3348 [startup+0.102598 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1954 /proc/meminfo: memFree=1946848/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=5228 CPUtime=0.09 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 891 0 0 0 9 0 0 0 18 0 1 0 181350135 5353472 864 1992294400 134512640 135709839 4294956240 18446744073709551615 135166144 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 1307 865 134 292 0 1012 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5228 [startup+0.302619 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1954 /proc/meminfo: memFree=1946848/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=9412 CPUtime=0.29 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 1958 0 0 0 28 1 0 0 19 0 1 0 181350135 9637888 1931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 2353 1931 136 292 0 2058 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9412 [startup+0.701657 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1954 /proc/meminfo: memFree=1946848/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=10736 CPUtime=0.69 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 2292 0 0 0 67 2 0 0 22 0 1 0 181350135 10993664 2265 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 2684 2265 136 292 0 2389 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10736 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1937368/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=13120 CPUtime=1.49 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 2875 0 0 0 146 3 0 0 25 0 1 0 181350135 13434880 2848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 3280 2848 136 292 0 2985 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13120 [startup+3.10189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1934104/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=14744 CPUtime=3.09 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 3288 0 0 0 302 7 0 0 25 0 1 0 181350135 15097856 3261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 3686 3261 136 292 0 3391 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14744 [startup+6.3012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1930008/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=18728 CPUtime=6.29 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 4284 0 0 0 616 13 0 0 25 0 1 0 181350135 19177472 4257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 4682 4257 136 292 0 4387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18728 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1918624/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=32340 CPUtime=12.69 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 7661 0 0 0 1245 24 0 0 25 0 1 0 181350135 33116160 7634 1992294400 134512640 135709839 4294956240 18446744073709551615 134516532 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 8085 7634 136 292 0 7790 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32340 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1909408/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=39316 CPUtime=25.48 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 9409 0 0 0 2507 41 0 0 25 0 1 0 181350135 40259584 9382 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 9829 9382 136 292 0 9534 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39316 [startup+51.1025 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1862112/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=87656 CPUtime=51.08 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 21482 0 0 0 5037 71 0 0 25 0 1 0 181350135 89759744 21455 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 21914 21455 136 292 0 21619 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 87656 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1778144/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=170480 CPUtime=102.26 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 42163 0 0 0 10110 116 0 0 25 0 1 0 181350135 174571520 42136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 42620 42136 136 292 0 42325 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 170480 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1704416/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=244668 CPUtime=162.25 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 60716 0 0 0 16074 151 0 0 25 0 1 0 181350135 250540032 60689 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 61167 60689 136 292 0 60872 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 244668 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1641376/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=307120 CPUtime=222.23 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 76287 0 0 0 22034 189 0 0 25 0 1 0 181350135 314490880 76260 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 76780 76260 136 292 0 76485 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 307120 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1587936/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=360880 CPUtime=282.22 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 89662 0 0 0 28002 220 0 0 25 0 1 0 181350135 369541120 89635 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 90220 89635 136 292 0 89925 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 360880 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1531680/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=417012 CPUtime=342.21 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 103657 0 0 0 33971 250 0 0 25 0 1 0 181350135 427020288 103630 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 104253 103630 136 292 0 103958 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 417012 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1457184/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=491816 CPUtime=402.19 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 122346 0 0 0 39926 293 0 0 25 0 1 0 181350135 503619584 122319 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 122954 122319 136 292 0 122659 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 491816 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1397600/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=550968 CPUtime=462.17 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 137108 0 0 0 45889 328 0 0 25 0 1 0 181350135 564191232 137081 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 137742 137081 136 292 0 137447 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 550968 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1300768/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=648604 CPUtime=522.16 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 161496 0 0 0 51833 383 0 0 25 0 1 0 181350135 664170496 161469 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 162151 161469 136 292 0 161856 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 648604 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1208032/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=740744 CPUtime=582.14 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 184512 0 0 0 57787 427 0 0 25 0 1 0 181350135 758521856 184485 1992294400 134512640 135709839 4294956240 18446744073709551615 134574230 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 185186 184485 136 292 0 184891 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 740744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=1124576/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=823340 CPUtime=642.14 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 205159 0 0 0 63741 473 0 0 25 0 1 0 181350135 843100160 205132 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 205835 205132 136 292 0 205540 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 823340 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=923168/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1023876 CPUtime=942.05 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 255579 0 0 0 93586 619 0 0 25 0 1 0 181350135 1048449024 255515 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 255969 255515 136 292 0 255674 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1023876 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=874464/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1072036 CPUtime=1002.04 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 267593 0 0 0 99557 647 0 0 25 0 1 0 181350135 1097764864 267529 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 268009 267529 136 292 0 267714 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1072036 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=834400/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1112368 CPUtime=1062.03 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 277644 0 0 0 105534 669 0 0 25 0 1 0 181350135 1139064832 277580 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 278092 277580 136 292 0 277797 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1112368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=791136/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1155464 CPUtime=1122.01 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 288379 0 0 0 111508 693 0 0 25 0 1 0 181350135 1183195136 288315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 288866 288315 136 292 0 288571 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1155464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1955 /proc/meminfo: memFree=748000/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1198760 CPUtime=1181.99 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 299199 0 0 0 117483 716 0 0 25 0 1 0 181350135 1227530240 299135 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 299690 299135 136 292 0 299395 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1198760 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=699232/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1247400 CPUtime=1241.98 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 311315 0 0 0 123451 747 0 0 25 0 1 0 181350135 1277337600 311251 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 311850 311251 136 292 0 311555 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1247400 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=650592/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1295492 CPUtime=1301.97 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 323306 0 0 0 129426 771 0 0 25 0 1 0 181350135 1326583808 323242 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 323873 323242 136 292 0 323578 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1295492 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=606368/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1340212 CPUtime=1361.95 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 334458 0 0 0 135398 797 0 0 25 0 1 0 181350135 1372377088 334394 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 335053 334394 136 292 0 334758 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1340212 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=544224/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1401844 CPUtime=1421.94 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 349870 0 0 0 141367 827 0 0 25 0 1 0 181350135 1435488256 349806 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 350461 349806 136 292 0 350166 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1401844 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=471456/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1475588 CPUtime=1481.92 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 368284 0 0 0 147332 860 0 0 25 0 1 0 181350135 1511002112 368220 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 368897 368220 136 292 0 368602 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1475588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=398240/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1547756 CPUtime=1541.91 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 386301 0 0 0 153299 892 0 0 25 0 1 0 181350135 1584902144 386237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 386939 386237 136 292 0 386644 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1547756 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=345568/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1600440 CPUtime=1601.9 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 399449 0 0 0 159277 913 0 0 25 0 1 0 181350135 1638850560 399385 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 400110 399385 136 292 0 399815 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1600440 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=294304/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1651636 CPUtime=1661.87 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 412257 0 0 0 165251 936 0 0 25 0 1 0 181350135 1691275264 412193 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 412909 412193 136 292 0 412614 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1651636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1957 /proc/meminfo: memFree=243936/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1702356 CPUtime=1721.86 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 424909 0 0 0 171229 957 0 0 25 0 1 0 181350135 1743212544 424845 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 425589 424845 136 292 0 425294 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1702356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=172960/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1772896 CPUtime=1781.84 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 442520 0 0 0 177196 988 0 0 25 0 1 0 181350135 1815445504 442456 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 443224 442456 136 292 0 442929 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1772896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1964 /proc/meminfo: memFree=154464/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=1791016 CPUtime=1800.04 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4194304 447044 0 0 0 179008 996 0 0 25 0 1 0 181350135 1834000384 446980 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 447754 446980 136 292 0 447459 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1791016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1965 /proc/meminfo: memFree=798680/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=0 CPUtime=1800.15 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4195332 447044 0 0 0 179009 1006 0 0 25 0 1 0 181350135 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1965 /proc/meminfo: memFree=798680/2055920 swapFree=4181652/4192956 [pid=1954] ppid=1952 vsize=0 CPUtime=1800.24 /proc/1954/stat : 1954 (wbo) R 1952 1954 1289 0 -1 4195332 447044 0 0 0 179009 1015 0 0 25 0 1 0 181350135 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.32 CPU user time (s): 1790.09 CPU system time (s): 10.2314 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 1791016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.09 system time used= 10.2314 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 447044 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= 2271 runsolver used 1.2898 second user time and 3.84142 second system time The end
Begin job on node18 at 2009-06-16 09:31:40 IDJOB=1875583 IDBENCH=1954 IDSOLVER=698 FILE ID=node18/1875583-1245137500 PBS_JOBID= 9363698 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.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-1875583-1245137500/watcher-1875583-1245137500 -o /tmp/evaluation-result-1875583-1245137500/solver-1875583-1245137500 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875583-1245137500.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c RANDOM SEED=970062720 node18.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.236 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.236 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: 1947264 kB Buffers: 10464 kB Cached: 53984 kB SwapCached: 5524 kB Active: 33156 kB Inactive: 39168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1947264 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 12900 kB Slab: 22344 kB Committed_AS: 141904 kB PageTables: 1376 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-1875583-1245137500.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 10:01:42