Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.38 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 192 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
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 | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
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 | 479 |
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-1875674-1245138058.opb. 0.00/0.00 c Instance file HOME/instance-1875674-1245138058.opb 0.00/0.00 c File size is 43630 bytes. 0.00/0.00 c Highest Coefficient sum: 228 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: 479 | 0.00/0.00 c | Number Clauses: 479 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 479 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 13 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 6 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 14 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.021996 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.022996 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.023996 s Remaining CPU time: 1799.98 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.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 5 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.02 c core #21 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 22 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.029995 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: 5 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: 7 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: 7 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: 11 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.03 c core #29 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #30 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 30 0.00/0.03 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: 6 Core Weight: 1 Total Weight: 31 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 7 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: 6 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: 4 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.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #36 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #37 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #38 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 38 0.00/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #39 0.00/0.05 c Core size: 5 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: 5 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: 8 Core Weight: 1 Total Weight: 41 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #42 0.00/0.05 c Core size: 4 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.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #44 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 44 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #45 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 45 0.00/0.05 c Elapsed CPU time: 0.057991 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.058991 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.06099 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.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #49 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: 49 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #50 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #51 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 51 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #52 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #53 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 53 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #54 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 54 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #55 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #56 0.00/0.07 c Core size: 5 Core Weight: 1 Total Weight: 56 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #57 0.07/0.07 c Core size: 5 Core Weight: 1 Total Weight: 57 0.07/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #58 0.07/0.07 c Core size: 3 Core Weight: 1 Total Weight: 58 0.07/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #59 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 59 0.07/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #60 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 60 0.07/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #61 0.07/0.08 c Core size: 5 Core Weight: 1 Total Weight: 61 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #62 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 62 0.07/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #63 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 63 0.07/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.08 c core #64 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 64 0.07/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #65 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 65 0.07/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #66 0.07/0.09 c Core size: 7 Core Weight: 1 Total Weight: 66 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #67 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 67 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #68 0.07/0.09 c Core size: 10 Core Weight: 1 Total Weight: 68 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #69 0.07/0.09 c Core size: 5 Core Weight: 1 Total Weight: 69 0.07/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.07/0.10 c core #70 0.07/0.10 c Core size: 3 Core Weight: 1 Total Weight: 70 0.07/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #71 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #72 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #73 0.09/0.10 c Core size: 6 Core Weight: 1 Total Weight: 73 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #74 0.09/0.11 c Core size: 16 Core Weight: 1 Total Weight: 74 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #75 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 75 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #76 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 76 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #77 0.09/0.11 c Core size: 17 Core Weight: 1 Total Weight: 77 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #78 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: 78 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #79 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 79 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #80 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 80 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #81 0.09/0.12 c Core size: 14 Core Weight: 1 Total Weight: 81 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #82 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 82 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #83 0.09/0.13 c Core size: 12 Core Weight: 1 Total Weight: 83 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #84 0.09/0.13 c Core size: 12 Core Weight: 1 Total Weight: 84 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #85 0.09/0.13 c Core size: 17 Core Weight: 1 Total Weight: 85 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #86 0.09/0.13 c Core size: 18 Core Weight: 1 Total Weight: 86 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #87 0.09/0.14 c Core size: 12 Core Weight: 1 Total Weight: 87 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #88 0.09/0.14 c Core size: 19 Core Weight: 1 Total Weight: 88 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #89 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 89 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #90 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 90 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #91 0.09/0.15 c Core size: 10 Core Weight: 1 Total Weight: 91 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #92 0.09/0.15 c Core size: 16 Core Weight: 1 Total Weight: 92 0.09/0.15 c Elapsed CPU time: 0.147977 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 | 993 1050 5855 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #93 0.09/0.15 c Core size: 22 Core Weight: 1 Total Weight: 93 0.09/0.15 c Elapsed CPU time: 0.149977 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 | 1009 1051 5886 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #94 0.09/0.16 c Core size: 33 Core Weight: 1 Total Weight: 94 0.09/0.16 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1036 1052 5935 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #95 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 95 0.09/0.16 c Elapsed CPU time: 0.154976 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 | 1052 1053 5964 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #96 0.09/0.16 c Core size: 27 Core Weight: 1 Total Weight: 96 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1073 1054 6003 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #97 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 97 0.09/0.17 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1091 1055 6034 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #98 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 98 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 | 1097 1056 6045 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #99 0.09/0.17 c Core size: 71 Core Weight: 1 Total Weight: 99 0.09/0.17 c Elapsed CPU time: 0.167974 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 | 1146 1057 6139 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #100 0.09/0.18 c Core size: 12 Core Weight: 1 Total Weight: 100 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 | 1153 1058 6153 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #101 0.09/0.18 c Core size: 21 Core Weight: 1 Total Weight: 101 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 | 1170 1059 6186 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #102 0.09/0.18 c Core size: 16 Core Weight: 1 Total Weight: 102 0.09/0.18 c Elapsed CPU time: 0.177972 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 | 1182 1060 6209 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #103 0.09/0.19 c Core size: 16 Core Weight: 1 Total Weight: 103 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 | 1194 1061 6232 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #104 0.09/0.19 c Core size: 12 Core Weight: 1 Total Weight: 104 0.09/0.19 c Elapsed CPU time: 0.184971 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 | 1201 1062 6246 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #105 0.09/0.19 c Core size: 33 Core Weight: 1 Total Weight: 105 0.09/0.19 c Elapsed CPU time: 0.187971 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 | 1223 1063 6290 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #106 0.19/0.20 c Core size: 19 Core Weight: 1 Total Weight: 106 0.19/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1235 1064 6314 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #107 0.19/0.20 c Core size: 32 Core Weight: 1 Total Weight: 107 0.19/0.20 c Elapsed CPU time: 0.19597 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 | 1256 1065 6356 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #108 0.19/0.21 c Core size: 58 Core Weight: 1 Total Weight: 108 0.19/0.21 c Elapsed CPU time: 0.199969 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 | 1298 1066 6438 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #109 0.19/0.21 c Core size: 11 Core Weight: 1 Total Weight: 109 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1304 1067 6450 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 1304 1067 6450 | 5500 100 8 | 1.212 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #110 0.19/0.22 c Core size: 96 Core Weight: 1 Total Weight: 110 0.19/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1364 1068 6570 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #111 0.19/0.23 c Core size: 59 Core Weight: 1 Total Weight: 111 0.19/0.23 c Elapsed CPU time: 0.218966 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 | 1400 1069 6642 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #112 0.19/0.23 c Core size: 101 Core Weight: 1 Total Weight: 112 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1464 1070 6769 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 101 | 1459 1070 6769 | 5500 101 8 | 2.772 % | 0.19/0.25 c | 252 | 1438 1070 6769 | 6050 246 9 | 2.772 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #113 0.19/0.25 c Core size: 51 Core Weight: 1 Total Weight: 113 0.19/0.25 c Elapsed CPU time: 0.240963 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 | 1496 1071 6833 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 101 | 1496 1071 6833 | 5500 101 10 | 0.993 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #114 0.19/0.27 c Core size: 52 Core Weight: 1 Total Weight: 114 0.19/0.27 c Elapsed CPU time: 0.253961 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 | 1531 1072 6903 | 5000 0 nan | 0.000 % | 0.19/0.27 c | 100 | 1531 1072 6903 | 5500 100 14 | 0.971 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #115 0.19/0.28 c Core size: 24 Core Weight: 1 Total Weight: 115 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 | 1548 1073 6936 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 102 | 1544 1073 6936 | 5500 102 6 | 1.217 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #116 0.19/0.29 c Core size: 122 Core Weight: 1 Total Weight: 116 0.19/0.29 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1624 1074 7087 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 101 | 1624 1074 7087 | 5500 101 14 | 0.794 % | 0.29/0.30 c | 251 | 1624 1074 7087 | 6050 251 15 | 0.794 % | 0.29/0.31 c | 477 | 1602 1074 7087 | 6655 476 15 | 2.138 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #117 0.29/0.33 c Core size: 97 Core Weight: 1 Total Weight: 117 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 | 1683 1075 7204 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 100 | 1681 1075 7204 | 5500 100 12 | 0.885 % | 0.29/0.35 c | 250 | 1679 1075 7204 | 6050 249 13 | 1.003 % | 0.29/0.36 c | 478 | 1678 1075 7204 | 6655 476 14 | 1.003 % | 0.29/0.38 c | 816 | 1678 1075 7204 | 7320 814 15 | 1.003 % | 0.39/0.42 c | 1322 | 1677 1075 7204 | 8052 1317 18 | 1.062 % | 0.39/0.44 c =============================================================================== 0.39/0.45 c core #118 0.39/0.45 c Core size: 178 Core Weight: 1 Total Weight: 118 0.39/0.45 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1794 1076 7425 | 5000 0 nan | 0.000 % | 0.39/0.46 c | 101 | 1794 1076 7425 | 5500 101 41 | 0.609 % | 0.39/0.47 c | 251 | 1794 1076 7425 | 6050 251 44 | 0.609 % | 0.39/0.48 c | 476 | 1793 1076 7425 | 6655 475 43 | 0.665 % | 0.49/0.51 c | 815 | 1793 1076 7425 | 7320 814 46 | 0.665 % | 0.49/0.55 c | 1321 | 1793 1076 7425 | 8052 1320 46 | 0.665 % | 0.59/0.63 c | 2080 | 1793 1076 7425 | 8857 2079 49 | 0.665 % | 0.69/0.79 c | 3220 | 1793 1076 7425 | 9743 3219 53 | 0.665 % | 0.99/1.07 c | 4928 | 1793 1076 7425 | 10717 4927 56 | 0.665 % | 1.39/1.49 c | 7491 | 1788 1076 7425 | 11789 7469 55 | 0.942 % | 2.29/2.32 c =============================================================================== 2.39/2.41 c core #119 2.39/2.41 c Core size: 176 Core Weight: 1 Total Weight: 119 2.39/2.41 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.39/2.43 c ============================[ Search Statistics ]============================== 2.39/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.43 c =============================================================================== 2.39/2.43 c | 0 | 1903 1077 7642 | 5000 0 nan | 0.000 % | 2.39/2.44 c | 100 | 1903 1077 7642 | 5500 100 35 | 0.523 % | 2.39/2.45 c | 251 | 1903 1077 7642 | 6050 251 30 | 0.523 % | 2.39/2.47 c | 476 | 1903 1077 7642 | 6655 476 39 | 0.523 % | 2.49/2.50 c | 817 | 1903 1077 7642 | 7320 817 53 | 0.523 % | 2.49/2.56 c | 1323 | 1903 1077 7642 | 8052 1323 65 | 0.523 % | 2.58/2.65 c | 2083 | 1903 1077 7642 | 8857 2083 70 | 0.523 % | 2.79/2.83 c | 3226 | 1903 1077 7642 | 9743 3226 81 | 0.523 % | 3.09/3.18 c | 4937 | 1903 1077 7642 | 10717 4937 89 | 0.523 % | 3.69/3.78 c | 7500 | 1903 1077 7642 | 11789 7500 88 | 0.523 % | 4.69/4.76 c | 11345 | 1903 1077 7642 | 12968 11345 89 | 0.523 % | 6.09/6.13 c | 17111 | 1903 1077 7642 | 14265 10514 87 | 0.523 % | 8.58/8.63 c | 25762 | 1903 1077 7642 | 15692 11972 93 | 0.523 % | 12.39/12.50 c | 38736 | 1903 1077 7642 | 17261 9136 87 | 0.523 % | 18.18/18.20 c | 58197 | 1903 1077 7642 | 18987 11158 88 | 0.523 % | 26.69/26.75 c | 87391 | 1903 1077 7642 | 20886 11724 69 | 0.523 % | 42.58/42.69 c | 131180 | 1901 1077 7642 | 22974 12521 78 | 0.627 % | 53.18/53.26 c =============================================================================== 54.28/54.38 c core #120 54.28/54.38 c Core size: 264 Core Weight: 1 Total Weight: 120 54.28/54.38 c Elapsed CPU time: 53.8138 s Remaining CPU time: 1746.19 s 54.48/54.54 c ============================[ Search Statistics ]============================== 54.48/54.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.48/54.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.48/54.54 c =============================================================================== 54.48/54.54 c | 0 | 2069 1078 7971 | 5000 0 nan | 0.000 % | 54.48/54.57 c | 103 | 2069 1078 7971 | 5500 103 47 | 0.337 % | 54.48/54.58 c | 253 | 2069 1078 7971 | 6050 253 40 | 0.337 % | 54.57/54.60 c | 478 | 2069 1078 7971 | 6655 478 56 | 0.337 % | 54.57/54.63 c | 818 | 2069 1078 7971 | 7320 818 69 | 0.337 % | 54.57/54.69 c | 1329 | 2069 1078 7971 | 8052 1329 67 | 0.337 % | 54.68/54.77 c | 2096 | 2069 1078 7971 | 8857 2096 64 | 0.337 % | 54.87/54.91 c | 3239 | 2069 1078 7971 | 9743 3239 72 | 0.337 % | 55.07/55.18 c | 4950 | 2069 1078 7971 | 10717 4950 84 | 0.337 % | 55.57/55.64 c | 7517 | 2069 1078 7971 | 11789 7517 98 | 0.337 % | 56.68/56.75 c | 11362 | 2069 1078 7971 | 12968 11362 114 | 0.337 % | 58.87/58.92 c | 17131 | 2069 1078 7971 | 14265 10569 155 | 0.337 % | 62.37/62.49 c | 25781 | 2069 1078 7971 | 15692 12021 144 | 0.337 % | 68.27/68.31 c | 38755 | 2069 1078 7971 | 17261 9129 123 | 0.337 % | 81.38/81.43 c | 58219 | 2069 1078 7971 | 18987 11034 118 | 0.337 % | 102.56/102.66 c | 87411 | 2069 1078 7971 | 20886 11319 149 | 0.337 % | 135.55/135.64 c | 131201 | 2069 1078 7971 | 22974 12849 155 | 0.337 % | 178.05/178.12 c | 196885 | 2069 1078 7971 | 25272 20416 161 | 0.337 % | 253.42/253.58 c | 295419 | 2069 1078 7971 | 27799 15618 146 | 0.337 % | 330.10/330.25 c | 443210 | 2069 1078 7971 | 30579 15924 112 | 0.337 % | 497.66/497.81 c | 664894 | 2069 1078 7971 | 33637 16481 121 | 0.337 % | 738.09/738.36 c | 997422 | 2067 1078 7971 | 37001 25901 138 | 0.434 % | 1213.36/1213.74 c | 1496210 | 2067 1078 7971 | 40701 25731 170 | 0.434 % |
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-1875674-1245138058/watcher-1875674-1245138058 -o /tmp/evaluation-result-1875674-1245138058/solver-1875674-1245138058 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875674-1245138058.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/65 2207 /proc/meminfo: memFree=1739160/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=2580 CPUtime=0 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 170332314 2641920 192 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 645 192 129 292 0 339 0 [startup+0.0768229 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2207 /proc/meminfo: memFree=1739160/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=4444 CPUtime=0.07 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 708 0 0 0 7 0 0 0 20 0 1 0 170332314 4550656 681 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 1111 681 134 292 0 816 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4444 [startup+0.101853 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2207 /proc/meminfo: memFree=1739160/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=5284 CPUtime=0.09 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 911 0 0 0 9 0 0 0 20 0 1 0 170332314 5410816 884 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 1321 884 134 292 0 1026 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5284 [startup+0.301844 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2207 /proc/meminfo: memFree=1739160/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=10248 CPUtime=0.29 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 2147 0 0 0 28 1 0 0 22 0 1 0 170332314 10493952 2120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 2562 2120 136 292 0 2267 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10248 [startup+0.701881 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2207 /proc/meminfo: memFree=1739160/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=11356 CPUtime=0.69 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 2440 0 0 0 66 3 0 0 25 0 1 0 170332314 11628544 2413 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 2839 2413 136 292 0 2544 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11356 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1729104/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=13864 CPUtime=1.49 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 3045 0 0 0 144 5 0 0 25 0 1 0 170332314 14196736 3018 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 3466 3018 136 292 0 3171 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13864 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1725904/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=16532 CPUtime=3.09 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 3717 0 0 0 301 8 0 0 25 0 1 0 170332314 16928768 3690 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 4133 3690 136 292 0 3838 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16532 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1719952/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=23540 CPUtime=6.29 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 5484 0 0 0 618 11 0 0 25 0 1 0 170332314 24104960 5457 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 5885 5457 136 292 0 5590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23540 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1705432/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=37296 CPUtime=12.68 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 8897 0 0 0 1250 18 0 0 25 0 1 0 170332314 38191104 8870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 9324 8870 136 292 0 9029 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37296 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1680280/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=61288 CPUtime=25.48 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 14914 0 0 0 2515 33 0 0 25 0 1 0 170332314 62758912 14887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 15322 14887 136 292 0 15027 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61288 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1642328/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=99332 CPUtime=51.08 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 24407 0 0 0 5054 54 0 0 25 0 1 0 170332314 101715968 24380 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 24833 24380 136 292 0 24538 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99332 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1603352/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=137772 CPUtime=102.26 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 33987 0 0 0 10141 85 0 0 25 0 1 0 170332314 141078528 33960 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 34443 33960 136 292 0 34148 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 137772 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1535576/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=206276 CPUtime=162.25 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 51076 0 0 0 16113 112 0 0 25 0 1 0 170332314 211226624 51049 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 51569 51049 136 292 0 51274 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 206276 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1452824/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=288448 CPUtime=222.23 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 71591 0 0 0 22075 148 0 0 25 0 1 0 170332314 295370752 71564 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 72112 71564 136 292 0 71817 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 288448 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1376024/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=365860 CPUtime=282.21 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 90898 0 0 0 28035 186 0 0 25 0 1 0 170332314 374640640 90871 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 91465 90871 136 292 0 91170 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 365860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1306904/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=434088 CPUtime=342.2 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 107925 0 0 0 33996 224 0 0 25 0 1 0 170332314 444506112 107898 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 108522 107898 136 292 0 108227 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 434088 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1239064/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=502876 CPUtime=402.18 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 125113 0 0 0 39960 258 0 0 25 0 1 0 170332314 514945024 125086 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 125719 125086 136 292 0 125424 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 502876 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1176600/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=564300 CPUtime=462.16 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 140442 0 0 0 45927 289 0 0 25 0 1 0 170332314 577843200 140415 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 141075 140415 136 292 0 140780 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 564300 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1128728/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=612692 CPUtime=522.15 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 152539 0 0 0 51900 315 0 0 25 0 1 0 170332314 627396608 152512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 153173 152512 136 292 0 152878 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 612692 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=1056664/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=684100 CPUtime=582.14 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 170340 0 0 0 57860 354 0 0 25 0 1 0 170332314 700518400 170313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 171025 170313 136 292 0 170730 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 684100 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=988632/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=751880 CPUtime=642.12 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 187255 0 0 0 63822 390 0 0 25 0 1 0 170332314 769925120 187228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 187970 187228 136 292 0 187675 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 751880 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=766872/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=973736 CPUtime=882.05 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 242625 0 0 0 87714 491 0 0 25 0 1 0 170332314 997105664 242598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 243434 242598 136 292 0 243139 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 973736 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=719384/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1021420 CPUtime=942.03 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 254525 0 0 0 93691 512 0 0 25 0 1 0 170332314 1045934080 254498 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 255355 254498 136 292 0 255060 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1021420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=654104/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1086716 CPUtime=1002.02 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 270838 0 0 0 99662 540 0 0 25 0 1 0 170332314 1112797184 270811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 271679 270811 136 292 0 271384 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1086716 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=590424/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1151264 CPUtime=1062 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 286965 0 0 0 105630 570 0 0 25 0 1 0 170332314 1178894336 286938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 287816 286938 136 292 0 287521 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1151264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=528856/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1211744 CPUtime=1121.99 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 302071 0 0 0 111598 601 0 0 25 0 1 0 170332314 1240825856 302044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 302936 302044 136 292 0 302641 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1211744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2208 /proc/meminfo: memFree=468376/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1272280 CPUtime=1181.96 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 317202 0 0 0 117571 625 0 0 25 0 1 0 170332314 1302814720 317175 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 318070 317175 136 292 0 317775 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1272280 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=402320/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1338172 CPUtime=1241.95 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 333630 0 0 0 123536 659 0 0 25 0 1 0 170332314 1370288128 333603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 334543 333604 136 292 0 334248 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1338172 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=345424/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1394480 CPUtime=1301.94 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 347718 0 0 0 129508 686 0 0 25 0 1 0 170332314 1427947520 347691 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 348620 347691 136 292 0 348325 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1394480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=294864/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1445232 CPUtime=1361.91 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 360411 0 0 0 135481 710 0 0 25 0 1 0 170332314 1479917568 360384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 361308 360384 136 292 0 361013 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1445232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=246352/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1493384 CPUtime=1421.9 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 372439 0 0 0 141460 730 0 0 25 0 1 0 170332314 1529225216 372412 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 373346 372412 136 292 0 373051 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1493384 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=194640/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1545228 CPUtime=1481.88 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 385413 0 0 0 147432 756 0 0 25 0 1 0 170332314 1582313472 385386 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 386307 385386 136 292 0 386012 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1545228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=139800/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1599852 CPUtime=1541.86 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 399047 0 0 0 153406 780 0 0 25 0 1 0 170332314 1638248448 399020 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 399963 399020 136 292 0 399668 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1599852 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=86808/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1653340 CPUtime=1601.84 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 412390 0 0 0 159377 807 0 0 25 0 1 0 170332314 1693020160 412363 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 413335 412363 136 292 0 413040 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1653340 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=38616/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1700908 CPUtime=1661.84 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 424283 0 0 0 165351 833 0 0 25 0 1 0 170332314 1741729792 424256 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 425227 424256 136 292 0 424932 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1700908 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2214 /proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1751440 CPUtime=1721.82 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 436918 0 0 0 171324 858 0 0 25 0 1 0 170332314 1793474560 436891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 437860 436891 136 292 0 437565 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1751440 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 1.00 2/66 2214 /proc/meminfo: memFree=15576/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1796516 CPUtime=1781.8 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 448194 0 0 0 177299 881 0 0 25 0 1 0 170332314 1839632384 448167 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 449129 448167 136 292 0 448834 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1796516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.09 1.03 1.00 2/66 2214 /proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=1808748 CPUtime=1800.1 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4194304 451230 0 0 0 179126 884 0 0 25 0 1 0 170332314 1852157952 451203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 452187 451203 136 292 0 451892 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1808748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.09 1.03 1.00 2/66 2214 /proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956 [pid=2207] ppid=2205 vsize=0 CPUtime=1800.29 /proc/2207/stat : 2207 (wbo) R 2205 2207 1941 0 -1 4195332 451230 0 0 0 179126 903 0 0 25 0 1 0 170332314 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2207/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.38 CPU user time (s): 1791.26 CPU system time (s): 9.11261 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1808748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.26 system time used= 9.11261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451230 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= 3320 runsolver used 1.9677 second user time and 4.33834 second system time The end
Begin job on node8 at 2009-06-16 09:40:59 IDJOB=1875674 IDBENCH=1956 IDSOLVER=698 FILE ID=node8/1875674-1245138058 PBS_JOBID= 9363715 Free space on /tmp= 66316 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.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-1875674-1245138058/watcher-1875674-1245138058 -o /tmp/evaluation-result-1875674-1245138058/solver-1875674-1245138058 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875674-1245138058.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED=963765202 node8.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.234 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.234 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1739640 kB Buffers: 47620 kB Cached: 181336 kB SwapCached: 0 kB Active: 64188 kB Inactive: 179632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739640 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 24628 kB Slab: 58184 kB Committed_AS: 166764 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875674-1245138058.opb Free space on /tmp at the end= 66312 MiB End job on node8 at 2009-06-16 10:11:01