Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1697.8 | 1698.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
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 | 470 |
Total number of constraints | 469 |
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 | 469 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 470 |
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 | 470 |
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 | 470 |
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-1875670-1245138366.opb. 0.00/0.00 c Instance file HOME/instance-1875670-1245138366.opb 0.00/0.00 c File size is 42910 bytes. 0.00/0.00 c Highest Coefficient sum: 256 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: 470 | 0.00/0.00 c | Number Clauses: 470 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 469 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 12 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 10 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.006998 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.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.008998 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.009998 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.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.016997 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.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 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.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 22 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.026995 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.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #29 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 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.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #31 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 31 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.04 c Elapsed CPU time: 0.036994 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.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #34 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 34 0.00/0.04 c Elapsed CPU time: 0.038994 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.040993 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.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #37 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 37 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #38 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #39 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 39 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #40 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 40 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #41 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #42 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 42 0.00/0.05 c Elapsed CPU time: 0.049992 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.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #44 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 44 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 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.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #46 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 46 0.00/0.06 c Elapsed CPU time: 0.055991 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.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #48 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 48 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #49 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #50 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 50 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #51 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: 51 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 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.06499 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #53 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 53 0.00/0.07 c Elapsed CPU time: 0.065989 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.067989 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.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #56 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 56 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #57 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 57 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #58 0.00/0.07 c Core size: 6 Core Weight: 1 Total Weight: 58 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #59 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 59 0.00/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #60 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #61 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #62 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 62 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #63 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #64 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #65 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #66 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #67 0.00/0.09 c Core size: 6 Core Weight: 1 Total Weight: 67 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #68 0.00/0.09 c Core size: 6 Core Weight: 1 Total Weight: 68 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.00/0.10 c core #69 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #70 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/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: 15 Core Weight: 1 Total Weight: 71 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #72 0.09/0.10 c Core size: 13 Core Weight: 1 Total Weight: 72 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #73 0.09/0.11 c Core size: 12 Core Weight: 1 Total Weight: 73 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #74 0.09/0.11 c Core size: 15 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: 13 Core Weight: 1 Total Weight: 75 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #76 0.09/0.11 c Core size: 15 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: 11 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: 9 Core Weight: 1 Total Weight: 78 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #79 0.09/0.12 c Core size: 9 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: 9 Core Weight: 1 Total Weight: 80 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #81 0.09/0.12 c Core size: 9 Core Weight: 1 Total Weight: 81 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #82 0.09/0.13 c Core size: 16 Core Weight: 1 Total Weight: 82 0.09/0.13 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: 14 Core Weight: 1 Total Weight: 83 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #84 0.09/0.13 c Core size: 9 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 ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 935 1023 5681 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #85 0.09/0.13 c Core size: 18 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.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 946 1024 5703 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #86 0.09/0.14 c Core size: 38 Core Weight: 1 Total Weight: 86 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 974 1025 5757 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #87 0.09/0.14 c Core size: 13 Core Weight: 1 Total Weight: 87 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 982 1026 5773 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #88 0.09/0.14 c Core size: 38 Core Weight: 1 Total Weight: 88 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1009 1027 5827 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #89 0.09/0.15 c Core size: 28 Core Weight: 1 Total Weight: 89 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1035 1028 5874 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #90 0.09/0.15 c Core size: 23 Core Weight: 1 Total Weight: 90 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1051 1029 5906 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #91 0.09/0.15 c Core size: 22 Core Weight: 1 Total Weight: 91 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1067 1030 5937 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #92 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 92 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 | 1081 1031 5964 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #93 0.09/0.16 c Core size: 21 Core Weight: 1 Total Weight: 93 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 | 1096 1032 5993 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #94 0.09/0.16 c Core size: 37 Core Weight: 1 Total Weight: 94 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 | 1125 1033 6048 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #95 0.09/0.17 c Core size: 23 Core Weight: 1 Total Weight: 95 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 | 1141 1034 6079 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #96 0.09/0.17 c Core size: 48 Core Weight: 1 Total Weight: 96 0.09/0.17 c Elapsed CPU time: 0.166974 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 | 1174 1035 6143 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #97 0.09/0.17 c Core size: 35 Core Weight: 1 Total Weight: 97 0.09/0.17 c Elapsed CPU time: 0.169974 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 | 1199 1036 6192 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #98 0.09/0.18 c Core size: 17 Core Weight: 1 Total Weight: 98 0.09/0.18 c Elapsed CPU time: 0.172973 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 | 1211 1037 6216 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #99 0.09/0.18 c Core size: 26 Core Weight: 1 Total Weight: 99 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1229 1038 6251 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #100 0.09/0.19 c Core size: 54 Core Weight: 1 Total Weight: 100 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 | 1266 1039 6324 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #101 0.09/0.19 c Core size: 24 Core Weight: 1 Total Weight: 101 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 | 1282 1040 6356 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #102 0.19/0.20 c Core size: 78 Core Weight: 1 Total Weight: 102 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 | 1333 1041 6458 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #103 0.19/0.20 c Core size: 65 Core Weight: 1 Total Weight: 103 0.19/0.20 c Elapsed CPU time: 0.19497 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 | 1378 1042 6545 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #104 0.19/0.21 c Core size: 119 Core Weight: 1 Total Weight: 104 0.19/0.21 c Elapsed CPU time: 0.203968 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 | 1460 1043 6703 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 105 | 1458 1043 6703 | 5500 105 9 | 0.681 % | 0.19/0.23 c | 255 | 1457 1043 6703 | 6050 254 12 | 1.907 % | 0.19/0.24 c | 482 | 1439 1043 6703 | 6655 478 16 | 2.112 % | 0.19/0.27 c | 821 | 1437 1043 6703 | 7320 816 18 | 2.112 % | 0.19/0.30 c =============================================================================== 0.29/0.30 c core #105 0.29/0.30 c Core size: 155 Core Weight: 1 Total Weight: 105 0.29/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1561 1044 6904 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 100 | 1552 1044 6904 | 5500 100 8 | 1.276 % | 0.29/0.32 c | 251 | 1548 1044 6904 | 6050 247 8 | 1.276 % | 0.29/0.33 c | 477 | 1548 1044 6904 | 6655 473 10 | 1.276 % | 0.29/0.35 c | 815 | 1546 1044 6904 | 7320 810 11 | 1.403 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #106 0.29/0.37 c Core size: 135 Core Weight: 1 Total Weight: 106 0.29/0.37 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1648 1045 7077 | 5000 0 nan | 0.000 % | 0.29/0.38 c | 100 | 1647 1045 7077 | 5500 100 12 | 0.484 % | 0.29/0.38 c | 250 | 1647 1045 7077 | 6050 250 11 | 0.484 % | 0.29/0.39 c | 475 | 1646 1045 7077 | 6655 474 11 | 0.484 % | 0.39/0.41 c | 812 | 1642 1045 7077 | 7320 555 11 | 1.511 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #107 0.39/0.41 c Core size: 131 Core Weight: 1 Total Weight: 107 0.39/0.41 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 1730 1046 7241 | 5000 0 nan | 0.000 % | 0.39/0.42 c | 102 | 1722 1046 7241 | 5500 102 7 | 1.037 % | 0.39/0.43 c | 252 | 1718 1046 7241 | 6050 244 10 | 1.037 % | 0.39/0.44 c | 477 | 1697 1046 7241 | 6655 411 11 | 2.247 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #108 0.39/0.44 c Core size: 155 Core Weight: 1 Total Weight: 108 0.39/0.44 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 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 | 1829 1047 7439 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1822 1047 7439 | 5500 100 8 | 0.817 % | 0.39/0.46 c | 251 | 1820 1047 7439 | 6050 249 11 | 0.817 % | 0.39/0.48 c | 478 | 1820 1047 7439 | 6655 476 16 | 0.817 % | 0.49/0.51 c | 819 | 1818 1047 7439 | 7320 816 19 | 0.926 % | 0.49/0.54 c | 1326 | 1818 1047 7439 | 8052 1323 22 | 0.927 % | 0.59/0.60 c | 2087 | 1818 1047 7439 | 8857 2084 25 | 0.926 % | 0.69/0.75 c | 3226 | 1818 1047 7439 | 9743 3223 32 | 0.926 % | 0.89/0.96 c | 4936 | 1818 1047 7439 | 10717 4933 33 | 0.926 % | 1.29/1.36 c | 7501 | 1818 1047 7439 | 11789 7498 34 | 0.926 % | 1.69/1.72 c =============================================================================== 1.79/1.81 c core #109 1.79/1.81 c Core size: 166 Core Weight: 1 Total Weight: 109 1.79/1.81 c Elapsed CPU time: 1.76673 s Remaining CPU time: 1798.23 s 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 1934 1048 7648 | 5000 0 nan | 0.000 % | 1.79/1.83 c | 100 | 1934 1048 7648 | 5500 100 17 | 0.258 % | 1.79/1.84 c | 250 | 1934 1048 7648 | 6050 250 18 | 0.258 % | 1.79/1.85 c | 475 | 1934 1048 7648 | 6655 475 17 | 0.258 % | 1.79/1.87 c | 813 | 1934 1048 7648 | 7320 813 19 | 0.258 % | 1.89/1.90 c | 1319 | 1934 1048 7648 | 8052 1319 19 | 0.258 % | 1.89/1.95 c | 2078 | 1934 1048 7648 | 8857 2078 22 | 0.258 % | 1.99/2.06 c | 3219 | 1934 1048 7648 | 9743 3219 26 | 0.258 % | 2.20/2.21 c =============================================================================== 2.20/2.24 c core #110 2.20/2.24 c Core size: 171 Core Weight: 1 Total Weight: 110 2.20/2.24 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.20/2.25 c ============================[ Search Statistics ]============================== 2.20/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.25 c =============================================================================== 2.20/2.25 c | 0 | 2042 1049 7863 | 5000 0 nan | 0.000 % | 2.20/2.26 c | 100 | 2042 1049 7863 | 5500 100 23 | 0.196 % | 2.20/2.27 c | 250 | 2042 1049 7863 | 6050 250 29 | 0.196 % | 2.20/2.28 c | 475 | 2042 1049 7863 | 6655 475 27 | 0.196 % | 2.29/2.30 c | 819 | 2042 1049 7863 | 7320 819 27 | 0.196 % | 2.29/2.33 c | 1326 | 2042 1049 7863 | 8052 1326 29 | 0.196 % | 2.29/2.39 c | 2086 | 2042 1049 7863 | 8857 2086 34 | 0.196 % | 2.39/2.49 c | 3225 | 2042 1049 7863 | 9743 3225 32 | 0.196 % | 2.59/2.69 c | 4937 | 2042 1049 7863 | 10717 4937 40 | 0.196 % | 2.89/2.99 c | 7500 | 2042 1049 7863 | 11789 7500 51 | 0.196 % | 3.48/3.53 c | 11346 | 2042 1049 7863 | 12968 11346 58 | 0.196 % | 4.39/4.57 c | 17121 | 2042 1049 7863 | 14265 10569 71 | 0.196 % | 6.19/6.25 c | 25770 | 2042 1049 7863 | 15692 12003 71 | 0.196 % | 10.28/10.37 c | 38744 | 2042 1049 7863 | 17261 9140 75 | 0.196 % | 14.18/14.23 c =============================================================================== 14.78/14.85 c core #111 14.78/14.85 c Core size: 205 Core Weight: 1 Total Weight: 111 14.78/14.85 c Elapsed CPU time: 14.6418 s Remaining CPU time: 1785.36 s 14.88/14.91 c ============================[ Search Statistics ]============================== 14.88/14.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.88/14.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.88/14.91 c =============================================================================== 14.88/14.91 c | 0 | 2169 1050 8117 | 5000 0 nan | 0.000 % | 14.88/14.93 c | 100 | 2169 1050 8117 | 5500 100 29 | 0.184 % | 14.88/14.94 c | 253 | 2169 1050 8117 | 6050 253 38 | 0.184 % | 14.88/14.95 c | 478 | 2169 1050 8117 | 6655 478 51 | 0.184 % | 14.88/14.98 c | 815 | 2169 1050 8117 | 7320 815 46 | 0.184 % | 14.99/15.02 c | 1323 | 2169 1050 8117 | 8052 1323 45 | 0.184 % | 14.99/15.08 c | 2082 | 2169 1050 8117 | 8857 2082 47 | 0.184 % | 15.08/15.17 c | 3221 | 2169 1050 8117 | 9743 3221 48 | 0.184 % | 15.28/15.38 c | 4929 | 2169 1050 8117 | 10717 4929 56 | 0.184 % | 15.69/15.73 c | 7491 | 2169 1050 8117 | 11789 7491 74 | 0.184 % | 16.48/16.55 c | 11336 | 2169 1050 8117 | 12968 11336 88 | 0.184 % | 17.98/18.05 c | 17102 | 2169 1050 8117 | 14265 10472 128 | 0.184 % | 20.37/20.44 c | 25751 | 2169 1050 8117 | 15692 11882 122 | 0.184 % | 24.27/24.30 c | 38727 | 2169 1050 8117 | 17261 8987 124 | 0.184 % | 32.56/32.64 c | 58188 | 2169 1050 8117 | 18987 10996 145 | 0.184 % | 45.86/45.94 c | 87381 | 2169 1050 8117 | 20886 11286 144 | 0.184 % | 59.95/60.05 c | 131173 | 2169 1050 8117 | 22974 12913 114 | 0.184 % | 94.74/94.89 c | 196860 | 2169 1050 8117 | 25272 20513 162 | 0.184 % | 150.01/150.13 c | 295387 | 2169 1050 8117 | 27799 16082 125 | 0.184 % | 276.05/276.28 c | 443179 | 2169 1050 8117 | 30579 18902 149 | 0.184 % | 411.18/411.41 c | 664863 | 2169 1050 8117 | 33637 22188 178 | 0.184 % | 628.97/629.39 c | 997391 | 2169 1050 8117 | 37001 24958 97 | 0.184 % | 984.46/985.09 c | 1496185 | 2169 1050 8117 | 40701 30199 136 | 0.184 % | 1684.90/1685.91 c | 2244367 | 2169 1050 8117 | 44771 36858 156 | 0.184 % |
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-1875670-1245138366/watcher-1875670-1245138366 -o /tmp/evaluation-result-1875670-1245138366/solver-1875670-1245138366 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875670-1245138366.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 5000 /proc/meminfo: memFree=1607936/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=2580 CPUtime=0 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 181436641 2641920 189 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 645 190 129 292 0 339 0 [startup+0.102638 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5000 /proc/meminfo: memFree=1607936/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=5428 CPUtime=0.09 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 939 0 0 0 9 0 0 0 18 0 1 0 181436641 5558272 912 1992294400 134512640 135709839 4294956240 18446744073709551615 134530330 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 1357 913 134 292 0 1062 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5428 [startup+0.20165 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5000 /proc/meminfo: memFree=1607936/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=8816 CPUtime=0.19 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 1776 0 0 0 19 0 0 0 18 0 1 0 181436641 9027584 1749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 2204 1749 135 292 0 1909 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8816 [startup+0.301662 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5000 /proc/meminfo: memFree=1607936/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=9228 CPUtime=0.29 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 1894 0 0 0 28 1 0 0 18 0 1 0 181436641 9449472 1867 1992294400 134512640 135709839 4294956240 18446744073709551615 134674309 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 2307 1868 136 292 0 2012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9228 [startup+0.701707 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5000 /proc/meminfo: memFree=1607936/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=10412 CPUtime=0.69 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 2205 0 0 0 67 2 0 0 21 0 1 0 181436641 10661888 2178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 2603 2178 136 292 0 2308 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10412 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1598584/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=12524 CPUtime=1.49 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 2721 0 0 0 145 4 0 0 25 0 1 0 181436641 12824576 2694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 3131 2694 136 292 0 2836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12524 [startup+3.10198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1596472/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=14444 CPUtime=3.09 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 3211 0 0 0 301 8 0 0 25 0 1 0 181436641 14790656 3184 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 3611 3184 136 292 0 3316 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14444 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1587896/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=23620 CPUtime=6.29 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 5490 0 0 0 616 13 0 0 25 0 1 0 181436641 24186880 5463 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 5905 5463 136 292 0 5610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23620 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1574520/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=36068 CPUtime=12.69 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 8605 0 0 0 1250 19 0 0 25 0 1 0 181436641 36933632 8578 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 9017 8578 136 292 0 8722 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36068 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1552952/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=57004 CPUtime=25.47 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 13840 0 0 0 2511 36 0 0 25 0 1 0 181436641 58372096 13813 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 14251 13813 136 292 0 13956 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 57004 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1504376/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=106100 CPUtime=51.05 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 26087 0 0 0 5048 57 0 0 25 0 1 0 181436641 108646400 26060 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 26525 26060 136 292 0 26230 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 106100 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1414392/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=196812 CPUtime=102.23 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 48777 0 0 0 10127 96 0 0 25 0 1 0 181436641 201535488 48750 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 49203 48750 136 292 0 48908 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 196812 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1324408/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=285820 CPUtime=162.21 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 70959 0 0 0 16080 141 0 0 25 0 1 0 181436641 292679680 70932 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 71455 70932 136 292 0 71160 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 285820 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1259384/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=351040 CPUtime=222.18 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 87201 0 0 0 22047 171 0 0 25 0 1 0 181436641 359464960 87174 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 87760 87174 136 292 0 87465 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 351040 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1203000/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=407096 CPUtime=282.14 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 101197 0 0 0 28013 201 0 0 25 0 1 0 181436641 416866304 101170 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 101774 101170 136 292 0 101479 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 407096 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5001 /proc/meminfo: memFree=1109496/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=500096 CPUtime=342.12 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 124439 0 0 0 33968 244 0 0 25 0 1 0 181436641 512098304 124412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 125024 124412 136 292 0 124729 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 500096 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=1017976/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=592044 CPUtime=402.09 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 147418 0 0 0 39923 286 0 0 25 0 1 0 181436641 606253056 147391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 148011 147391 136 292 0 147716 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 592044 [startup+462.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=943736/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=665704 CPUtime=462.06 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 165809 0 0 0 45882 324 0 0 25 0 1 0 181436641 681680896 165782 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 166426 165782 136 292 0 166131 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 665704 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=884600/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=725328 CPUtime=522.04 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 180688 0 0 0 51846 358 0 0 25 0 1 0 181436641 742735872 180661 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 181332 180661 136 292 0 181037 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 725328 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=836536/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=773132 CPUtime=581.99 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 192592 0 0 0 57815 384 0 0 25 0 1 0 181436641 791687168 192565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 193283 192565 136 292 0 192988 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 773132 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=778872/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=831424 CPUtime=641.96 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 207160 0 0 0 63779 417 0 0 25 0 1 0 181436641 851378176 207133 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 207856 207134 136 292 0 207561 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 831424 [startup+702.302 s] ################ # More data... # ################ [startup+762.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=651448/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=958616 CPUtime=761.91 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 238907 0 0 0 75701 490 0 0 25 0 1 0 181436641 981622784 238880 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 239654 238880 136 292 0 239359 0 Current children cumulated CPU time (s) 761.91 Current children cumulated vsize (KiB) 958616 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=606776/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1003056 CPUtime=821.88 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 249937 0 0 0 81673 515 0 0 25 0 1 0 181436641 1027129344 249910 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 250764 249910 136 292 0 250469 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 1003056 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5003 /proc/meminfo: memFree=547576/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1063236 CPUtime=881.86 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 264951 0 0 0 87635 551 0 0 25 0 1 0 181436641 1088753664 264924 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 265809 264924 136 292 0 265514 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 1063236 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=488056/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1121560 CPUtime=941.8 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 279545 0 0 0 93596 584 0 0 25 0 1 0 181436641 1148477440 279518 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 280390 279518 136 292 0 280095 0 Current children cumulated CPU time (s) 941.8 Current children cumulated vsize (KiB) 1121560 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=425016/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1184172 CPUtime=1001.75 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 295174 0 0 0 99557 618 0 0 25 0 1 0 181436641 1212592128 295147 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 296043 295147 136 292 0 295748 0 Current children cumulated CPU time (s) 1001.75 Current children cumulated vsize (KiB) 1184172 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=371768/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1238024 CPUtime=1061.72 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 308581 0 0 0 105525 647 0 0 25 0 1 0 181436641 1267736576 308554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 309506 308554 136 292 0 309211 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 1238024 [startup+1122.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=322360/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1287012 CPUtime=1121.69 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 320801 0 0 0 111491 678 0 0 25 0 1 0 181436641 1317900288 320774 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 321753 320774 136 292 0 321458 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 1287012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=258744/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1351300 CPUtime=1181.66 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 336845 0 0 0 117452 714 0 0 25 0 1 0 181436641 1383731200 336818 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 337825 336818 136 292 0 337530 0 Current children cumulated CPU time (s) 1181.66 Current children cumulated vsize (KiB) 1351300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=189560/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1419932 CPUtime=1241.64 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 353960 0 0 0 123419 745 0 0 25 0 1 0 181436641 1454010368 353933 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 354983 353933 136 292 0 354688 0 Current children cumulated CPU time (s) 1241.64 Current children cumulated vsize (KiB) 1419932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=137272/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1472552 CPUtime=1301.6 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 367108 0 0 0 129391 769 0 0 25 0 1 0 181436641 1507893248 367081 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 368138 367081 136 292 0 367843 0 Current children cumulated CPU time (s) 1301.6 Current children cumulated vsize (KiB) 1472552 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=77624/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1531972 CPUtime=1361.56 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 381920 0 0 0 135361 795 0 0 25 0 1 0 181436641 1568739328 381893 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 382993 381893 136 292 0 382698 0 Current children cumulated CPU time (s) 1361.56 Current children cumulated vsize (KiB) 1531972 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=23800/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1586424 CPUtime=1421.54 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 395509 0 0 0 141333 821 0 0 25 0 1 0 181436641 1624498176 395482 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 396606 395482 136 292 0 396311 0 Current children cumulated CPU time (s) 1421.54 Current children cumulated vsize (KiB) 1586424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=15032/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1647808 CPUtime=1481.43 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 410831 0 0 0 147286 857 0 0 25 0 1 0 181436641 1687355392 410804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 411952 410804 136 292 0 411657 0 Current children cumulated CPU time (s) 1481.43 Current children cumulated vsize (KiB) 1647808 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=15480/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1707016 CPUtime=1541.37 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 425604 0 0 0 153249 888 0 0 25 0 1 0 181436641 1747984384 425577 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 426754 425578 136 292 0 426459 0 Current children cumulated CPU time (s) 1541.37 Current children cumulated vsize (KiB) 1707016 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=15672/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1765060 CPUtime=1601.35 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 440063 0 0 0 159220 915 0 0 25 0 1 0 181436641 1807421440 440036 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 441265 440036 136 292 0 440970 0 Current children cumulated CPU time (s) 1601.35 Current children cumulated vsize (KiB) 1765060 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=16248/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1812220 CPUtime=1661.31 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 451816 0 0 0 165195 936 0 0 25 0 1 0 181436641 1855713280 451789 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 453055 451789 136 292 0 452760 0 Current children cumulated CPU time (s) 1661.31 Current children cumulated vsize (KiB) 1812220 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1698.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5009 /proc/meminfo: memFree=15864/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=1843436 CPUtime=1697.5 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4194304 459605 0 0 0 168797 953 0 0 25 0 1 0 181436641 1887678464 459578 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 460859 459578 136 292 0 460564 0 Current children cumulated CPU time (s) 1697.5 Current children cumulated vsize (KiB) 1843436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1698.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5010 /proc/meminfo: memFree=660656/2055920 swapFree=4191900/4192956 [pid=5000] ppid=4998 vsize=0 CPUtime=1697.7 /proc/5000/stat : 5000 (wbo) R 4998 5000 4519 0 -1 4195332 459605 0 0 0 168797 973 0 0 25 0 1 0 181436641 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5000/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1697.7 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1698.79 CPU time (s): 1697.8 CPU user time (s): 1687.97 CPU system time (s): 9.82451 CPU usage (%): 99.9414 Max. virtual memory (cumulated for all children) (KiB): 1843436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1687.97 system time used= 9.82451 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459605 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= 7 involuntary context switches= 7141 runsolver used 1.40379 second user time and 4.96124 second system time The end
Begin job on node28 at 2009-06-16 09:46:06 IDJOB=1875670 IDBENCH=1958 IDSOLVER=698 FILE ID=node28/1875670-1245138366 PBS_JOBID= 9363689 Free space on /tmp= 66176 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.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-1875670-1245138366/watcher-1875670-1245138366 -o /tmp/evaluation-result-1875670-1245138366/solver-1875670-1245138366 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875670-1245138366.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED=788624021 node28.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.231 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.231 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: 1608480 kB Buffers: 29124 kB Cached: 343188 kB SwapCached: 260 kB Active: 57044 kB Inactive: 329376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1608480 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 22624 kB Slab: 46832 kB Committed_AS: 147752 kB PageTables: 1428 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-1875670-1245138366.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-16 10:14:27