Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb |
MD5SUM | 3ddf6338b9f9cf35560b94c856457c56 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 190 |
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 | 182 |
Optimality of the best value was proved | NO |
Number of variables | 468 |
Total number of constraints | 468 |
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 | 468 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 468 |
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 | 468 |
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 | 468 |
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-1875575-1245138603.opb. 0.00/0.00 c Instance file HOME/instance-1875575-1245138603.opb 0.00/0.00 c File size is 42793 bytes. 0.00/0.00 c Highest Coefficient sum: 229 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: 468 | 0.00/0.00 c | Number Clauses: 468 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 468 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 6 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: 15 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: 9 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: 7 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: 7 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: 9 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: 12 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: 10 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: 11 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: 11 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: 13 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: 7 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 9 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: 4 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: 5 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 5 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: 7 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: 7 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.02/0.02 c core #21 0.02/0.02 c Core size: 6 Core Weight: 1 Total Weight: 21 0.02/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #22 0.02/0.03 c Core size: 8 Core Weight: 1 Total Weight: 22 0.02/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #23 0.02/0.03 c Core size: 8 Core Weight: 1 Total Weight: 23 0.02/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #24 0.02/0.03 c Core size: 6 Core Weight: 1 Total Weight: 24 0.02/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #25 0.02/0.03 c Core size: 12 Core Weight: 1 Total Weight: 25 0.02/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #26 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 26 0.02/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #27 0.02/0.03 c Core size: 4 Core Weight: 1 Total Weight: 27 0.02/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.02/0.03 c core #28 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 28 0.02/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.02/0.03 c core #29 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 29 0.02/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #30 0.02/0.04 c Core size: 8 Core Weight: 1 Total Weight: 30 0.02/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #31 0.02/0.04 c Core size: 5 Core Weight: 1 Total Weight: 31 0.02/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #32 0.02/0.04 c Core size: 7 Core Weight: 1 Total Weight: 32 0.02/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #33 0.02/0.04 c Core size: 6 Core Weight: 1 Total Weight: 33 0.02/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #34 0.02/0.04 c Core size: 7 Core Weight: 1 Total Weight: 34 0.02/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #35 0.02/0.04 c Core size: 5 Core Weight: 1 Total Weight: 35 0.02/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.02/0.04 c core #36 0.02/0.04 c Core size: 5 Core Weight: 1 Total Weight: 36 0.02/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.02/0.04 c core #37 0.02/0.04 c Core size: 8 Core Weight: 1 Total Weight: 37 0.02/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #38 0.02/0.05 c Core size: 9 Core Weight: 1 Total Weight: 38 0.02/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #39 0.02/0.05 c Core size: 6 Core Weight: 1 Total Weight: 39 0.02/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #40 0.02/0.05 c Core size: 7 Core Weight: 1 Total Weight: 40 0.02/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #41 0.02/0.05 c Core size: 8 Core Weight: 1 Total Weight: 41 0.02/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #42 0.02/0.05 c Core size: 6 Core Weight: 1 Total Weight: 42 0.02/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.02/0.05 c core #43 0.02/0.05 c Core size: 5 Core Weight: 1 Total Weight: 43 0.02/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #44 0.02/0.06 c Core size: 5 Core Weight: 1 Total Weight: 44 0.02/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #45 0.02/0.06 c Core size: 7 Core Weight: 1 Total Weight: 45 0.02/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #46 0.02/0.06 c Core size: 8 Core Weight: 1 Total Weight: 46 0.02/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #47 0.02/0.06 c Core size: 6 Core Weight: 1 Total Weight: 47 0.02/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #48 0.02/0.06 c Core size: 3 Core Weight: 1 Total Weight: 48 0.02/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.02/0.06 c core #49 0.02/0.06 c Core size: 7 Core Weight: 1 Total Weight: 49 0.02/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.02/0.07 c core #50 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 50 0.02/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #51 0.02/0.07 c Core size: 4 Core Weight: 1 Total Weight: 51 0.02/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #52 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 52 0.02/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #53 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 53 0.02/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #54 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 54 0.02/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.02/0.07 c core #55 0.02/0.07 c Core size: 5 Core Weight: 1 Total Weight: 55 0.02/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.02/0.08 c core #56 0.02/0.08 c Core size: 7 Core Weight: 1 Total Weight: 56 0.02/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #57 0.02/0.08 c Core size: 5 Core Weight: 1 Total Weight: 57 0.02/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #58 0.02/0.08 c Core size: 3 Core Weight: 1 Total Weight: 58 0.02/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #59 0.02/0.08 c Core size: 3 Core Weight: 1 Total Weight: 59 0.02/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.02/0.08 c core #60 0.02/0.08 c Core size: 3 Core Weight: 1 Total Weight: 60 0.02/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.02/0.09 c core #61 0.02/0.09 c Core size: 5 Core Weight: 1 Total Weight: 61 0.02/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #62 0.02/0.09 c Core size: 4 Core Weight: 1 Total Weight: 62 0.02/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #63 0.02/0.09 c Core size: 4 Core Weight: 1 Total Weight: 63 0.02/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.02/0.09 c core #64 0.02/0.09 c Core size: 10 Core Weight: 1 Total Weight: 64 0.02/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.02/0.10 c core #65 0.02/0.10 c Core size: 13 Core Weight: 1 Total Weight: 65 0.02/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #66 0.09/0.10 c Core size: 15 Core Weight: 1 Total Weight: 66 0.09/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #67 0.09/0.10 c Core size: 13 Core Weight: 1 Total Weight: 67 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #68 0.09/0.10 c Core size: 16 Core Weight: 1 Total Weight: 68 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #69 0.09/0.11 c Core size: 17 Core Weight: 1 Total Weight: 69 0.09/0.11 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #70 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 70 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #71 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 71 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #72 0.09/0.11 c Core size: 13 Core Weight: 1 Total Weight: 72 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 11 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 19 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #75 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: 75 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #76 0.09/0.12 c Core size: 12 Core Weight: 1 Total Weight: 76 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 14 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #78 0.09/0.13 c Core size: 23 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 13 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 16 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.133979 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 | 968 1017 5742 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #82 0.09/0.14 c Core size: 17 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.136979 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 | 984 1018 5770 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #83 0.09/0.14 c Core size: 33 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1009 1019 5819 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #84 0.09/0.15 c Core size: 15 Core Weight: 1 Total Weight: 84 0.09/0.15 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1020 1020 5840 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #85 0.09/0.15 c Core size: 24 Core Weight: 1 Total Weight: 85 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 | 1036 1021 5872 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #86 0.09/0.15 c Core size: 24 Core Weight: 1 Total Weight: 86 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 | 1053 1022 5905 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #87 0.09/0.16 c Core size: 15 Core Weight: 1 Total Weight: 87 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 | 1063 1023 5925 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #88 0.09/0.16 c Core size: 19 Core Weight: 1 Total Weight: 88 0.09/0.16 c Elapsed CPU time: 0.155976 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 | 1075 1024 5949 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #89 0.09/0.16 c Core size: 35 Core Weight: 1 Total Weight: 89 0.09/0.16 c Elapsed CPU time: 0.159975 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 | 1104 1025 6002 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #90 0.09/0.17 c Core size: 53 Core Weight: 1 Total Weight: 90 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 | 1142 1026 6076 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #91 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 91 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 | 1153 1027 6098 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #92 0.09/0.18 c Core size: 35 Core Weight: 1 Total Weight: 92 0.09/0.18 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1180 1028 6149 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #93 0.09/0.18 c Core size: 19 Core Weight: 1 Total Weight: 93 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 | 1195 1029 6177 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #94 0.09/0.18 c Core size: 60 Core Weight: 1 Total Weight: 94 0.09/0.18 c Elapsed CPU time: 0.178972 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 | 1234 1030 6253 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #95 0.09/0.19 c Core size: 76 Core Weight: 1 Total Weight: 95 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.20 c ============================[ Search Statistics ]============================== 0.09/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.20 c =============================================================================== 0.09/0.20 c | 0 | 1285 1031 6353 | 5000 0 nan | 0.000 % | 0.19/0.20 c | 101 | 1284 1031 6353 | 5500 101 11 | 2.531 % | 0.19/0.21 c | 252 | 1264 1031 6353 | 6050 247 13 | 3.834 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #96 0.19/0.21 c Core size: 110 Core Weight: 1 Total Weight: 96 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 | 1361 1032 6502 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #97 0.19/0.22 c Core size: 43 Core Weight: 1 Total Weight: 97 0.19/0.22 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1389 1033 6557 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #98 0.19/0.22 c Core size: 62 Core Weight: 1 Total Weight: 98 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1431 1034 6639 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 101 | 1425 1034 6639 | 5500 97 11 | 1.316 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #99 0.19/0.24 c Core size: 189 Core Weight: 1 Total Weight: 99 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1556 1035 6883 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 103 | 1556 1035 6883 | 5500 103 23 | 0.448 % | 0.19/0.26 c | 254 | 1556 1035 6883 | 6050 254 21 | 0.448 % | 0.19/0.27 c | 479 | 1556 1035 6883 | 6655 479 18 | 0.448 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #100 0.19/0.28 c Core size: 60 Core Weight: 1 Total Weight: 100 0.19/0.28 c Elapsed CPU time: 0.269958 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 | 1597 1036 6965 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 100 | 1597 1036 6965 | 5500 100 14 | 0.436 % | 0.29/0.30 c | 251 | 1595 1036 6965 | 6050 250 15 | 0.561 % | 0.29/0.31 c | 478 | 1595 1036 6965 | 6655 477 16 | 0.561 % | 0.29/0.33 c | 816 | 1595 1036 6965 | 7320 815 14 | 0.561 % | 0.29/0.37 c | 1322 | 1594 1036 6965 | 8052 812 13 | 0.623 % | 0.39/0.43 c | 2081 | 1588 1036 6965 | 8857 618 10 | 1.621 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #101 0.39/0.44 c Core size: 190 Core Weight: 1 Total Weight: 101 0.39/0.44 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 1718 1037 7206 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1718 1037 7206 | 5500 100 26 | 0.348 % | 0.39/0.46 c | 250 | 1718 1037 7206 | 6050 250 20 | 0.348 % | 0.39/0.47 c | 476 | 1718 1037 7206 | 6655 476 19 | 0.348 % | 0.49/0.50 c | 813 | 1718 1037 7206 | 7320 813 20 | 0.348 % | 0.49/0.54 c | 1320 | 1718 1037 7206 | 8052 1320 21 | 0.348 % | 0.59/0.62 c | 2079 | 1718 1037 7206 | 8857 2079 23 | 0.348 % | 0.69/0.76 c | 3221 | 1718 1037 7206 | 9743 3221 25 | 0.348 % | 0.89/0.95 c | 4929 | 1718 1037 7206 | 10717 4929 29 | 0.348 % | 1.39/1.40 c | 7491 | 1718 1037 7206 | 11789 7491 38 | 0.348 % | 2.39/2.42 c | 11335 | 1717 1037 7206 | 12968 3202 19 | 0.406 % | 2.99/3.06 c =============================================================================== 3.19/3.23 c core #102 3.19/3.23 c Core size: 426 Core Weight: 1 Total Weight: 102 3.19/3.23 c Elapsed CPU time: 3.16552 s Remaining CPU time: 1796.83 s 3.19/3.25 c ============================[ Search Statistics ]============================== 3.19/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.25 c =============================================================================== 3.19/3.25 c | 0 | 1981 1038 7732 | 5000 0 nan | 0.000 % | 3.19/3.26 c | 100 | 1980 1038 7732 | 5500 100 34 | 0.403 % | 3.19/3.27 c | 250 | 1979 1038 7732 | 6050 248 33 | 0.403 % | 3.19/3.29 c | 477 | 1979 1038 7732 | 6655 475 33 | 0.403 % | 3.29/3.32 c | 814 | 1979 1038 7732 | 7320 812 30 | 0.403 % | 3.29/3.38 c | 1320 | 1979 1038 7732 | 8052 1318 31 | 0.403 % | 3.39/3.46 c | 2080 | 1979 1038 7732 | 8857 2078 38 | 0.403 % | 3.59/3.65 c | 3222 | 1979 1038 7732 | 9743 3220 47 | 0.403 % | 3.79/3.85 c | 4932 | 1979 1038 7732 | 10717 4930 46 | 0.403 % | 4.19/4.28 c | 7497 | 1979 1038 7732 | 11789 7495 49 | 0.403 % | 4.99/5.03 c | 11351 | 1979 1038 7732 | 12968 11349 61 | 0.403 % | 6.69/6.71 c | 17117 | 1979 1038 7732 | 14265 10464 83 | 0.403 % | 9.58/9.68 c | 25766 | 1979 1038 7732 | 15692 11828 108 | 0.403 % | 14.89/14.92 c | 38741 | 1979 1038 7732 | 17261 8910 99 | 0.403 % | 22.89/22.91 c | 58203 | 1979 1038 7732 | 18987 10933 87 | 0.403 % | 35.48/35.59 c | 87399 | 1978 1038 7732 | 20886 17027 93 | 0.453 % | 49.08/49.10 c =============================================================================== 50.97/51.06 c core #103 50.97/51.06 c Core size: 343 Core Weight: 1 Total Weight: 103 50.97/51.06 c Elapsed CPU time: 50.5793 s Remaining CPU time: 1749.42 s 51.07/51.18 c ============================[ Search Statistics ]============================== 51.07/51.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.07/51.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.07/51.18 c =============================================================================== 51.07/51.18 c | 0 | 2197 1039 8162 | 5000 0 nan | 0.000 % | 51.17/51.21 c | 100 | 2197 1039 8162 | 5500 100 12 | 0.182 % | 51.17/51.22 c | 252 | 2197 1039 8162 | 6050 252 23 | 0.182 % | 51.17/51.24 c | 478 | 2197 1039 8162 | 6655 478 31 | 0.182 % | 51.17/51.28 c | 815 | 2197 1039 8162 | 7320 815 29 | 0.182 % | 51.28/51.32 c | 1321 | 2197 1039 8162 | 8052 1321 32 | 0.182 % | 51.37/51.41 c | 2080 | 2197 1039 8162 | 8857 2080 40 | 0.182 % | 51.48/51.58 c | 3220 | 2197 1039 8162 | 9743 3220 45 | 0.182 % | 51.78/51.89 c | 4929 | 2197 1039 8162 | 10717 4929 57 | 0.182 % | 52.38/52.44 c | 7492 | 2197 1039 8162 | 11789 7492 62 | 0.182 % | 53.18/53.25 c | 11336 | 2197 1039 8162 | 12968 11336 69 | 0.182 % | 54.88/54.96 c | 17102 | 2197 1039 8162 | 14265 10568 101 | 0.182 % | 57.58/57.68 c | 25752 | 2197 1039 8162 | 15692 12033 116 | 0.182 % | 63.47/63.50 c | 38728 | 2196 1039 8162 | 17261 8965 130 | 0.227 % | 72.47/72.50 c | 58192 | 2194 1039 8162 | 18987 10706 115 | 0.318 % | 82.37/82.40 c | 87385 | 2194 1039 8162 | 20886 11002 85 | 0.318 % | 96.46/96.52 c | 131174 | 2192 1039 8162 | 22974 11390 91 | 0.409 % | 104.57/104.68 c =============================================================================== 105.06/105.15 c core #104 105.06/105.15 c Core size: 463 Core Weight: 1 Total Weight: 104 105.06/105.15 c Elapsed CPU time: 104.137 s Remaining CPU time: 1695.86 s 105.26/105.32 c ============================[ Search Statistics ]============================== 105.26/105.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.26/105.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.26/105.32 c =============================================================================== 105.26/105.32 c | 0 | 2483 1040 8731 | 5000 0 nan | 0.000 % | 105.26/105.35 c | 100 | 2483 1040 8731 | 5500 100 28 | 0.040 % | 105.26/105.37 c | 253 | 2483 1040 8731 | 6050 253 29 | 0.040 % | 105.36/105.40 c | 478 | 2483 1040 8731 | 6655 478 31 | 0.040 % | 105.36/105.42 c | 815 | 2483 1040 8731 | 7320 815 33 | 0.040 % | 105.36/105.48 c | 1321 | 2483 1040 8731 | 8052 1321 33 | 0.040 % | 105.46/105.54 c | 2080 | 2483 1040 8731 | 8857 2080 40 | 0.040 % | 105.67/105.72 c | 3221 | 2483 1040 8731 | 9743 3221 49 | 0.040 % | 105.96/106.08 c | 4930 | 2483 1040 8731 | 10717 4930 53 | 0.040 % | 106.47/106.52 c | 7493 | 2483 1040 8731 | 11789 7493 53 | 0.040 % | 107.16/107.26 c | 11338 | 2483 1040 8731 | 12968 11338 58 | 0.040 % | 108.66/108.77 c | 17104 | 2483 1040 8731 | 14265 10458 65 | 0.040 % | 110.96/111.05 c | 25755 | 2483 1040 8731 | 15692 11892 57 | 0.040 % | 114.76/114.88 c | 38732 | 2483 1040 8731 | 17261 8945 66 | 0.040 % | 121.56/121.63 c | 58195 | 2483 1040 8731 | 18987 11019 79 | 0.040 % | 133.07/133.12 c | 87388 | 2483 1040 8731 | 20886 11435 81 | 0.040 % | 154.65/154.79 c | 131180 | 2483 1040 8731 | 22974 13186 83 | 0.040 % | 183.44/183.56 c | 196866 | 2483 1040 8731 | 25272 21016 87 | 0.040 % | 240.53/240.60 c | 295392 | 2483 1040 8731 | 27799 15817 98 | 0.040 % | 256.23/256.39 c =============================================================================== 261.52/261.69 c core #105 261.52/261.69 c Core size: 251 Core Weight: 1 Total Weight: 105 261.52/261.69 c Elapsed CPU time: 259.541 s Remaining CPU time: 1540.46 s 261.92/262.04 c ============================[ Search Statistics ]============================== 261.92/262.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 261.92/262.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 261.92/262.04 c =============================================================================== 261.92/262.04 c | 0 | 2641 1041 9047 | 5000 0 nan | 0.000 % | 262.03/262.10 c | 102 | 2641 1041 9047 | 5500 102 45 | 0.038 % | 262.03/262.12 c | 252 | 2641 1041 9047 | 6050 252 34 | 0.038 % | 262.03/262.14 c | 477 | 2641 1041 9047 | 6655 477 25 | 0.038 % | 262.03/262.17 c | 815 | 2641 1041 9047 | 7320 815 36 | 0.038 % | 262.13/262.23 c | 1321 | 2641 1041 9047 | 8052 1321 41 | 0.038 % | 262.23/262.35 c | 2080 | 2641 1041 9047 | 8857 2080 54 | 0.038 % | 262.43/262.52 c | 3221 | 2641 1041 9047 | 9743 3221 58 | 0.038 % | 262.63/262.79 c | 4931 | 2641 1041 9047 | 10717 4931 70 | 0.038 % | 263.23/263.37 c | 7496 | 2641 1041 9047 | 11789 7496 90 | 0.038 % | 264.23/264.32 c | 11342 | 2641 1041 9047 | 12968 11342 94 | 0.038 % | 265.73/265.83 c | 17110 | 2641 1041 9047 | 14265 10519 96 | 0.038 % | 268.33/268.46 c | 25759 | 2641 1041 9047 | 15692 11946 101 | 0.038 % | 272.33/272.46 c | 38733 | 2641 1041 9047 | 17261 9067 100 | 0.038 % | 279.93/280.03 c | 58195 | 2641 1041 9047 | 18987 11007 120 | 0.038 % | 300.62/300.74 c | 87389 | 2641 1041 9047 | 20886 11171 131 | 0.038 % | 330.91/331.08 c | 131178 | 2641 1041 9047 | 22974 12664 126 | 0.038 % | 373.81/373.93 c | 196865 | 2641 1041 9047 | 25272 20340 133 | 0.038 % | 437.78/437.93 c | 295391 | 2641 1041 9047 | 27799 16389 130 | 0.038 % | 548.86/549.08 c | 443180 | 2641 1041 9047 | 30579 17607 132 | 0.038 % | 722.52/722.75 c | 664870 | 2641 1041 9047 | 33637 14185 126 | 0.038 % | 1021.45/1021.71 c | 997396 | 2640 1041 9047 | 37001 16329 122 | 0.076 % | 1130.02/1130.31 c =============================================================================== 1159.01/1159.37 c core #106 1159.01/1159.37 c Core size: 244 Core Weight: 1 Total Weight: 106 1159.01/1159.37 c Elapsed CPU time: 1152.26 s Remaining CPU time: 647.735 s 1160.31/1160.63 c ============================[ Search Statistics ]============================== 1160.31/1160.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1160.31/1160.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1160.31/1160.63 c =============================================================================== 1160.31/1160.63 c | 0 | 2791 1042 9347 | 5000 0 nan | 0.000 % | 1160.41/1160.73 c | 101 | 2791 1042 9347 | 5500 101 33 | 0.036 % | 1160.51/1160.89 c | 252 | 2791 1042 9347 | 6050 252 52 | 0.036 % | 1160.61/1160.93 c | 478 | 2791 1042 9347 | 6655 478 51 | 0.036 % | 1160.61/1160.98 c | 816 | 2791 1042 9347 | 7320 816 54 | 0.036 % | 1160.71/1161.07 c | 1322 | 2791 1042 9347 | 8052 1322 67 | 0.036 % | 1160.81/1161.18 c | 2081 | 2791 1042 9347 | 8857 2081 78 | 0.036 % | 1161.01/1161.36 c | 3222 | 2791 1042 9347 | 9743 3222 76 | 0.036 % | 1161.31/1161.69 c | 4930 | 2791 1042 9347 | 10717 4930 88 | 0.036 % | 1161.81/1162.15 c | 7495 | 2791 1042 9347 | 11789 7495 83 | 0.036 % | 1163.42/1163.76 c | 11341 | 2791 1042 9347 | 12968 11341 122 | 0.036 % | 1165.21/1165.50 c | 17107 | 2791 1042 9347 | 14265 10393 129 | 0.036 % | 1168.81/1169.17 c | 25758 | 2791 1042 9347 | 15692 11779 135 | 0.036 % | 1174.21/1174.51 c | 38732 | 2791 1042 9347 | 17261 8590 133 | 0.036 % | 1184.51/1184.89 c | 58194 | 2791 1042 9347 | 18987 10560 195 | 0.036 % | 1201.60/1201.91 c | 87389 | 2791 1042 9347 | 20886 10435 108 | 0.036 % | 1222.50/1222.83 c | 131182 | 2791 1042 9347 | 22974 11908 149 | 0.036 % | 1283.19/1283.52 c | 196867 | 2791 1042 9347 | 25272 18747 127 | 0.036 % | 1362.57/1362.97 c | 295393 | 2791 1042 9347 | 27799 24859 215 | 0.036 % | 1485.03/1485.43 c | 443184 | 2791 1042 9347 | 30579 28032 182 | 0.036 % | 1666.19/1666.68 c | 664867 | 2791 1042 9347 | 33637 26436 166 | 0.036 % |
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-1875575-1245138603/watcher-1875575-1245138603 -o /tmp/evaluation-result-1875575-1245138603/solver-1875575-1245138603 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875575-1245138603.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 32586 /proc/meminfo: memFree=1775408/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=2580 CPUtime=0 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 181461342 2641920 186 1992294400 134512640 135709839 4294956240 18446744073709551615 134548080 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 645 186 128 292 0 339 0 [startup+0.0284269 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32586 /proc/meminfo: memFree=1775408/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=3084 CPUtime=0.02 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 376 0 0 0 2 0 0 0 18 0 1 0 181461342 3158016 349 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 771 349 134 292 0 476 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3084 [startup+0.101433 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32586 /proc/meminfo: memFree=1775408/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=5152 CPUtime=0.09 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 893 0 0 0 9 0 0 0 18 0 1 0 181461342 5275648 866 1992294400 134512640 135709839 4294956240 18446744073709551615 134571082 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 1288 866 134 292 0 993 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5152 [startup+0.301449 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32586 /proc/meminfo: memFree=1775408/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=9140 CPUtime=0.29 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 1876 0 0 0 28 1 0 0 18 0 1 0 181461342 9359360 1849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 2285 1849 136 292 0 1990 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9140 [startup+0.701483 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32586 /proc/meminfo: memFree=1775408/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=9944 CPUtime=0.69 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 2066 0 0 0 67 2 0 0 21 0 1 0 181461342 10182656 2039 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 2486 2039 136 292 0 2191 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9944 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32587 /proc/meminfo: memFree=1766760/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=12056 CPUtime=1.49 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 2622 0 0 0 145 4 0 0 25 0 1 0 181461342 12345344 2595 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 3014 2595 136 292 0 2719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12056 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32587 /proc/meminfo: memFree=1764072/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=15752 CPUtime=3.09 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 3527 0 0 0 303 6 0 0 25 0 1 0 181461342 16130048 3500 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 3938 3500 136 292 0 3643 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15752 [startup+6.30194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32587 /proc/meminfo: memFree=1759976/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=19336 CPUtime=6.29 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 4418 0 0 0 617 12 0 0 25 0 1 0 181461342 19800064 4391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 4834 4391 136 292 0 4539 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19336 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32587 /proc/meminfo: memFree=1746280/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=32272 CPUtime=12.69 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 7644 0 0 0 1252 17 0 0 25 0 1 0 181461342 33046528 7617 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 8068 7617 136 292 0 7773 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32272 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32587 /proc/meminfo: memFree=1725672/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=52300 CPUtime=25.49 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 12651 0 0 0 2520 29 0 0 25 0 1 0 181461342 53555200 12624 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 13075 12625 136 292 0 12780 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52300 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1692584/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=85160 CPUtime=51.07 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 20828 0 0 0 5061 46 0 0 25 0 1 0 181461342 87203840 20801 1992294400 134512640 135709839 4294956240 18446744073709551615 135182842 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 21290 20801 136 292 0 20995 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85160 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1626280/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=150856 CPUtime=102.27 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 37299 0 0 0 10131 96 0 0 25 0 1 0 181461342 154476544 37272 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 37714 37272 136 292 0 37419 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 150856 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1581160/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=196484 CPUtime=162.25 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 48695 0 0 0 16079 146 0 0 25 0 1 0 181461342 201199616 48668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 49121 48668 136 292 0 48826 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 196484 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1512424/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=264684 CPUtime=222.23 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 65681 0 0 0 22034 189 0 0 25 0 1 0 181461342 271036416 65654 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 66171 65654 136 292 0 65876 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 264684 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1474344/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=302996 CPUtime=282.22 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 75384 0 0 0 27993 229 0 0 25 0 1 0 181461342 310267904 75329 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 75749 75329 136 292 0 75454 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 302996 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1423592/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=353144 CPUtime=342.21 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 87850 0 0 0 33962 259 0 0 25 0 1 0 181461342 361619456 87795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 88286 87795 136 292 0 87991 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 353144 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1365032/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=412540 CPUtime=402.2 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 102676 0 0 0 39923 297 0 0 25 0 1 0 181461342 422440960 102621 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 103135 102621 136 292 0 102840 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 412540 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1291112/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=486008 CPUtime=462.18 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 120998 0 0 0 45887 331 0 0 25 0 1 0 181461342 497672192 120943 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 121502 120943 136 292 0 121207 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 486008 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1224936/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=552372 CPUtime=522.17 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 137556 0 0 0 51851 366 0 0 25 0 1 0 181461342 565628928 137501 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 138093 137501 136 292 0 137798 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 552372 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1170664/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=606256 CPUtime=582.15 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 150989 0 0 0 57822 393 0 0 25 0 1 0 181461342 620806144 150934 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 151564 150934 136 292 0 151269 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 606256 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32589 /proc/meminfo: memFree=1098024/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=678508 CPUtime=642.15 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 169009 0 0 0 63787 428 0 0 25 0 1 0 181461342 694792192 168954 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 169627 168954 136 292 0 169332 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 678508 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.03 1.02 1.00 2/65 32595 /proc/meminfo: memFree=801312/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=975396 CPUtime=942.06 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 243131 0 0 0 93626 580 0 0 25 0 1 0 181461342 998805504 243076 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 243849 243076 136 292 0 243554 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 975396 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32595 /proc/meminfo: memFree=737128/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1039208 CPUtime=1002.05 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 259078 0 0 0 99593 612 0 0 25 0 1 0 181461342 1064148992 259023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 259802 259023 136 292 0 259507 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1039208 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32595 /proc/meminfo: memFree=671336/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1105764 CPUtime=1062.04 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 275664 0 0 0 105558 646 0 0 25 0 1 0 181461342 1132302336 275609 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 276441 275609 136 292 0 276146 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1105764 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=615272/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1161116 CPUtime=1122.02 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 289491 0 0 0 111529 673 0 0 25 0 1 0 181461342 1188982784 289436 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 290279 289436 136 292 0 289984 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1161116 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=579624/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1196404 CPUtime=1182.01 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 298284 0 0 0 117502 699 0 0 25 0 1 0 181461342 1225117696 298229 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 299101 298229 136 292 0 298806 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1196404 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=579304/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1196404 CPUtime=1241.99 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 298342 0 0 0 123469 730 0 0 25 0 1 0 181461342 1225117696 298287 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 299101 298287 136 292 0 298806 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1196404 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=575336/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1198800 CPUtime=1301.98 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 299310 0 0 0 129447 751 0 0 25 0 1 0 181461342 1227571200 299255 1992294400 134512640 135709839 4294956240 18446744073709551615 134611575 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 299700 299255 136 292 0 299405 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1198800 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=517608/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1257532 CPUtime=1361.97 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 313886 0 0 0 135419 778 0 0 25 0 1 0 181461342 1287712768 313831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 314383 313831 136 292 0 314088 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1257532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=459624/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1314724 CPUtime=1421.96 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 328179 0 0 0 141385 811 0 0 25 0 1 0 181461342 1346277376 328124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 328681 328124 136 292 0 328386 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1314724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=412008/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1363128 CPUtime=1481.93 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 340251 0 0 0 147356 837 0 0 25 0 1 0 181461342 1395843072 340196 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 340782 340196 136 292 0 340487 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1363128 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=364648/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1409728 CPUtime=1541.92 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 351879 0 0 0 153327 865 0 0 25 0 1 0 181461342 1443561472 351824 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 352432 351824 136 292 0 352137 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1409728 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=322152/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1452660 CPUtime=1601.9 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 362595 0 0 0 159297 893 0 0 25 0 1 0 181461342 1487523840 362540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 363165 362540 136 292 0 362870 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1452660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=263080/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1511564 CPUtime=1661.89 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 377301 0 0 0 165258 931 0 0 25 0 1 0 181461342 1547841536 377246 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 377891 377246 136 292 0 377596 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1511564 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=200616/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1574120 CPUtime=1721.88 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 392942 0 0 0 171226 962 0 0 25 0 1 0 181461342 1611898880 392887 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 393530 392887 136 292 0 393235 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1574120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=139560/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1634896 CPUtime=1781.87 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 408122 0 0 0 177194 993 0 0 25 0 1 0 181461342 1674133504 408067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 408724 408067 136 292 0 408429 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1634896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32595 /proc/meminfo: memFree=118056/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=1655804 CPUtime=1800.07 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4194304 413350 0 0 0 179004 1003 0 0 25 0 1 0 181461342 1695543296 413295 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 413951 413295 136 292 0 413656 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1655804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32596 /proc/meminfo: memFree=741344/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=0 CPUtime=1800.17 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4195332 413350 0 0 0 179004 1013 0 0 25 0 1 0 181461342 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 32596 /proc/meminfo: memFree=741344/2055920 swapFree=4191900/4192956 [pid=32586] ppid=32584 vsize=0 CPUtime=1800.27 /proc/32586/stat : 32586 (wbo) R 32584 32586 32098 0 -1 4195332 413350 0 0 0 179004 1023 0 0 25 0 1 0 181461342 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32586/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.33 CPU user time (s): 1790.05 CPU system time (s): 10.2864 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1655804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.05 system time used= 10.2864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 413350 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= 1762 runsolver used 1.37379 second user time and 3.90641 second system time The end
Begin job on node3 at 2009-06-16 09:50:04 IDJOB=1875575 IDBENCH=1959 IDSOLVER=698 FILE ID=node3/1875575-1245138603 PBS_JOBID= 9363696 Free space on /tmp= 66320 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.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-1875575-1245138603/watcher-1875575-1245138603 -o /tmp/evaluation-result-1875575-1245138603/solver-1875575-1245138603 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875575-1245138603.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56 RANDOM SEED=1332643792 node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1775824 kB Buffers: 25564 kB Cached: 183548 kB SwapCached: 260 kB Active: 47624 kB Inactive: 174780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775824 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 21804 kB Slab: 43764 kB Committed_AS: 150404 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875575-1245138603.opb Free space on /tmp at the end= 66316 MiB End job on node3 at 2009-06-16 10:20:06