Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.38 | 1801 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
MD5SUM | 9cfc9eabeae08d1064da7d7b87db93a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 473 |
Total number of constraints | 473 |
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 | 473 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 473 |
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 | 473 |
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 | 473 |
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-1875573-1245136713.opb. 0.00/0.00 c Instance file HOME/instance-1875573-1245136713.opb 0.00/0.00 c File size is 43304 bytes. 0.00/0.00 c Highest Coefficient sum: 259 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: 473 | 0.00/0.00 c | Number Clauses: 473 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 473 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 11 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: 8 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 8 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: 6 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: 7 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: 10 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: 10 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 14 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 15 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 9 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: 8 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 22 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 23 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 24 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 25 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #27 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 27 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #28 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 28 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #29 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 29 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #30 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 30 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #31 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: 31 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #32 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: 32 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #33 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 33 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #34 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 34 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #35 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 35 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 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.047992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #37 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 37 0.00/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #38 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 38 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #39 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 39 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #40 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #41 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.05 c Elapsed CPU time: 0.054991 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.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #43 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #44 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 44 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #45 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 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.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #47 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.06 c Elapsed CPU time: 0.06399 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.065989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #49 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #50 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 50 0.00/0.06 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #51 0.06/0.07 c Core size: 6 Core Weight: 1 Total Weight: 51 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #52 0.06/0.07 c Core size: 6 Core Weight: 1 Total Weight: 52 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #53 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 53 0.06/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #54 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 54 0.06/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.06/0.07 c core #55 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 55 0.06/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #56 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 56 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #57 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 57 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #58 0.06/0.08 c Core size: 5 Core Weight: 1 Total Weight: 58 0.06/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #59 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: 59 0.06/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.06/0.08 c core #60 0.06/0.08 c Core size: 3 Core Weight: 1 Total Weight: 60 0.06/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #61 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 61 0.06/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #62 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 62 0.06/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #63 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 63 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #64 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 64 0.06/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #65 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 65 0.06/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.06/0.10 c core #66 0.06/0.10 c Core size: 4 Core Weight: 1 Total Weight: 66 0.06/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #67 0.10/0.10 c Core size: 5 Core Weight: 1 Total Weight: 67 0.10/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #68 0.10/0.10 c Core size: 9 Core Weight: 1 Total Weight: 68 0.10/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #69 0.10/0.10 c Core size: 12 Core Weight: 1 Total Weight: 69 0.10/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #70 0.10/0.11 c Core size: 10 Core Weight: 1 Total Weight: 70 0.10/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #71 0.10/0.11 c Core size: 13 Core Weight: 1 Total Weight: 71 0.10/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #72 0.10/0.11 c Core size: 12 Core Weight: 1 Total Weight: 72 0.10/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #73 0.10/0.11 c Core size: 13 Core Weight: 1 Total Weight: 73 0.10/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #74 0.10/0.12 c Core size: 13 Core Weight: 1 Total Weight: 74 0.10/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #75 0.10/0.12 c Core size: 14 Core Weight: 1 Total Weight: 75 0.10/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #76 0.10/0.12 c Core size: 11 Core Weight: 1 Total Weight: 76 0.10/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #77 0.10/0.12 c Core size: 11 Core Weight: 1 Total Weight: 77 0.10/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #78 0.10/0.13 c Core size: 12 Core Weight: 1 Total Weight: 78 0.10/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #79 0.10/0.13 c Core size: 10 Core Weight: 1 Total Weight: 79 0.10/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #80 0.10/0.13 c Core size: 25 Core Weight: 1 Total Weight: 80 0.10/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #81 0.10/0.13 c Core size: 9 Core Weight: 1 Total Weight: 81 0.10/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #82 0.10/0.14 c Core size: 9 Core Weight: 1 Total Weight: 82 0.10/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #83 0.10/0.14 c Core size: 25 Core Weight: 1 Total Weight: 83 0.10/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #84 0.10/0.14 c Core size: 7 Core Weight: 1 Total Weight: 84 0.10/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #85 0.10/0.14 c Core size: 14 Core Weight: 1 Total Weight: 85 0.10/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.10/0.15 c core #86 0.10/0.15 c Core size: 8 Core Weight: 1 Total Weight: 86 0.10/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #87 0.10/0.15 c Core size: 10 Core Weight: 1 Total Weight: 87 0.10/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #88 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 88 0.10/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #89 0.10/0.15 c Core size: 14 Core Weight: 1 Total Weight: 89 0.10/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.10/0.16 c core #90 0.10/0.16 c Core size: 10 Core Weight: 1 Total Weight: 90 0.10/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.10/0.16 c ============================[ Search Statistics ]============================== 0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.16 c =============================================================================== 0.10/0.16 c | 0 | 1021 1036 5873 | 5000 0 nan | 0.000 % | 0.10/0.16 c =============================================================================== 0.10/0.16 c core #91 0.10/0.16 c Core size: 28 Core Weight: 1 Total Weight: 91 0.10/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.10/0.16 c ============================[ Search Statistics ]============================== 0.10/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.16 c =============================================================================== 0.10/0.16 c | 0 | 1044 1037 5916 | 5000 0 nan | 0.000 % | 0.10/0.16 c =============================================================================== 0.10/0.16 c core #92 0.10/0.16 c Core size: 42 Core Weight: 1 Total Weight: 92 0.10/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.10/0.17 c ============================[ Search Statistics ]============================== 0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.17 c =============================================================================== 0.10/0.17 c | 0 | 1076 1038 5977 | 5000 0 nan | 0.000 % | 0.10/0.17 c =============================================================================== 0.10/0.17 c core #93 0.10/0.17 c Core size: 31 Core Weight: 1 Total Weight: 93 0.10/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.10/0.17 c ============================[ Search Statistics ]============================== 0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.17 c =============================================================================== 0.10/0.17 c | 0 | 1098 1039 6019 | 5000 0 nan | 0.000 % | 0.10/0.17 c =============================================================================== 0.10/0.17 c core #94 0.10/0.17 c Core size: 19 Core Weight: 1 Total Weight: 94 0.10/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.10/0.17 c ============================[ Search Statistics ]============================== 0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.17 c =============================================================================== 0.10/0.17 c | 0 | 1112 1040 6047 | 5000 0 nan | 0.000 % | 0.10/0.17 c =============================================================================== 0.10/0.18 c core #95 0.10/0.18 c Core size: 13 Core Weight: 1 Total Weight: 95 0.10/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.10/0.18 c ============================[ Search Statistics ]============================== 0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.18 c =============================================================================== 0.10/0.18 c | 0 | 1121 1041 6064 | 5000 0 nan | 0.000 % | 0.10/0.18 c =============================================================================== 0.10/0.18 c core #96 0.10/0.18 c Core size: 21 Core Weight: 1 Total Weight: 96 0.10/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.10/0.18 c ============================[ Search Statistics ]============================== 0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.18 c =============================================================================== 0.10/0.18 c | 0 | 1136 1042 6093 | 5000 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c core #97 0.10/0.19 c Core size: 60 Core Weight: 1 Total Weight: 97 0.10/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 1177 1043 6175 | 5000 0 nan | 0.000 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c core #98 0.10/0.19 c Core size: 11 Core Weight: 1 Total Weight: 98 0.10/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 1183 1044 6187 | 5000 0 nan | 0.000 % | 0.19/0.20 c | 100 | 1170 1044 6187 | 5500 100 14 | 3.172 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #99 0.19/0.20 c Core size: 149 Core Weight: 1 Total Weight: 99 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1286 1045 6389 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #100 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 100 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 | 1300 1046 6417 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #101 0.19/0.21 c Core size: 32 Core Weight: 1 Total Weight: 101 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 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 | 1321 1047 6458 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 1321 1047 6458 | 5500 100 20 | 0.977 % | 0.19/0.23 c | 252 | 1318 1047 6458 | 6050 251 18 | 0.977 % | 0.19/0.24 c | 478 | 1316 1047 6458 | 6655 476 17 | 1.277 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #102 0.19/0.27 c Core size: 208 Core Weight: 1 Total Weight: 102 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1461 1048 6733 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #103 0.19/0.28 c Core size: 86 Core Weight: 1 Total Weight: 103 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1517 1049 6844 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 101 | 1515 1049 6844 | 5500 101 10 | 0.460 % | 0.19/0.30 c =============================================================================== 0.19/0.30 c core #104 0.19/0.30 c Core size: 125 Core Weight: 1 Total Weight: 104 0.19/0.30 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1598 1050 7005 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 101 | 1595 1050 7005 | 5500 100 20 | 0.375 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #105 0.29/0.31 c Core size: 20 Core Weight: 1 Total Weight: 105 0.29/0.31 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 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 | 1609 1051 7027 | 5000 0 nan | 0.000 % | 0.29/0.32 c | 101 | 1609 1051 7027 | 5500 101 28 | 0.186 % | 0.29/0.33 c | 251 | 1606 1051 7027 | 6050 250 20 | 0.372 % | 0.29/0.34 c | 477 | 1606 1051 7027 | 6655 476 16 | 0.372 % | 0.29/0.36 c | 814 | 1606 1051 7027 | 7320 813 16 | 0.372 % | 0.29/0.39 c | 1320 | 1605 1051 7027 | 8052 710 15 | 0.434 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #106 0.39/0.41 c Core size: 161 Core Weight: 1 Total Weight: 106 0.39/0.41 c Elapsed CPU time: 0.400939 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 | 1708 1052 7225 | 5000 0 nan | 0.000 % | 0.39/0.43 c | 104 | 1706 1052 7225 | 5500 104 13 | 0.351 % | 0.39/0.43 c | 257 | 1702 1052 7225 | 6050 256 11 | 0.935 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #107 0.39/0.44 c Core size: 86 Core Weight: 1 Total Weight: 107 0.39/0.44 c Elapsed CPU time: 0.422935 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 | 1761 1053 7331 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1761 1053 7331 | 5500 100 24 | 0.170 % | 0.39/0.46 c | 250 | 1761 1053 7331 | 6050 250 21 | 0.170 % | 0.39/0.47 c | 475 | 1761 1053 7331 | 6655 475 19 | 0.170 % | 0.39/0.50 c | 812 | 1761 1053 7331 | 7320 812 22 | 0.170 % | 0.49/0.54 c | 1319 | 1761 1053 7331 | 8052 1319 24 | 0.170 % | 0.59/0.61 c | 2082 | 1761 1053 7331 | 8857 2082 28 | 0.170 % | 0.69/0.73 c | 3225 | 1761 1053 7331 | 9743 3225 32 | 0.170 % | 0.89/0.96 c | 4937 | 1760 1053 7331 | 10717 2995 30 | 0.227 % | 0.99/1.09 c =============================================================================== 1.09/1.14 c core #108 1.09/1.14 c Core size: 147 Core Weight: 1 Total Weight: 108 1.09/1.14 c Elapsed CPU time: 1.10983 s Remaining CPU time: 1798.89 s 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 1854 1054 7517 | 5000 0 nan | 0.000 % | 1.09/1.15 c | 101 | 1854 1054 7517 | 5500 101 50 | 0.162 % | 1.09/1.16 c | 252 | 1854 1054 7517 | 6050 252 53 | 0.162 % | 1.09/1.18 c | 477 | 1854 1054 7517 | 6655 477 50 | 0.162 % | 1.19/1.21 c | 814 | 1854 1054 7517 | 7320 814 48 | 0.162 % | 1.19/1.26 c | 1320 | 1854 1054 7517 | 8052 1320 46 | 0.162 % | 1.29/1.33 c | 2081 | 1854 1054 7517 | 8857 2081 46 | 0.162 % | 1.39/1.47 c | 3220 | 1854 1054 7517 | 9743 3220 49 | 0.162 % | 1.69/1.72 c | 4928 | 1854 1054 7517 | 10717 4928 58 | 0.162 % | 2.09/2.16 c | 7494 | 1854 1054 7517 | 11789 7494 57 | 0.162 % | 2.89/2.91 c | 11338 | 1854 1054 7517 | 12968 11338 59 | 0.162 % | 4.19/4.23 c | 17104 | 1854 1054 7517 | 14265 10599 55 | 0.162 % | 6.50/6.52 c | 25753 | 1854 1054 7517 | 15692 12017 70 | 0.162 % | 10.69/10.77 c | 38727 | 1853 1054 7517 | 17261 9170 75 | 0.215 % | 18.88/18.92 c | 58188 | 1847 1054 7517 | 18987 11176 83 | 0.539 % | 20.89/20.92 c =============================================================================== 21.78/21.89 c core #109 21.78/21.89 c Core size: 200 Core Weight: 1 Total Weight: 109 21.78/21.89 c Elapsed CPU time: 21.6237 s Remaining CPU time: 1778.38 s 21.88/21.97 c ============================[ Search Statistics ]============================== 21.88/21.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.88/21.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.88/21.97 c =============================================================================== 21.88/21.97 c | 0 | 1978 1055 7765 | 5000 0 nan | 0.000 % | 21.88/21.99 c | 102 | 1972 1055 7765 | 5500 102 36 | 0.454 % | 21.98/22.00 c | 253 | 1972 1055 7765 | 6050 251 26 | 0.454 % | 21.98/22.02 c | 478 | 1972 1055 7765 | 6655 476 24 | 0.454 % | 21.98/22.05 c | 816 | 1972 1055 7765 | 7320 814 32 | 0.454 % | 22.08/22.10 c | 1323 | 1972 1055 7765 | 8052 1321 41 | 0.454 % | 22.08/22.16 c | 2084 | 1972 1055 7765 | 8857 2082 36 | 0.454 % | 22.18/22.27 c | 3225 | 1972 1055 7765 | 9743 3223 32 | 0.454 % | 22.38/22.46 c =============================================================================== 22.48/22.50 c core #110 22.48/22.50 c Core size: 273 Core Weight: 1 Total Weight: 110 22.48/22.50 c Elapsed CPU time: 22.2166 s Remaining CPU time: 1777.78 s 22.48/22.51 c ============================[ Search Statistics ]============================== 22.48/22.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.48/22.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.48/22.51 c =============================================================================== 22.48/22.51 c | 0 | 2148 1056 8104 | 5000 0 nan | 0.000 % | 22.48/22.52 c | 101 | 2148 1056 8104 | 5500 101 51 | 0.093 % | 22.48/22.53 c | 251 | 2148 1056 8104 | 6050 251 52 | 0.093 % | 22.48/22.55 c | 476 | 2148 1056 8104 | 6655 476 54 | 0.093 % | 22.48/22.58 c | 815 | 2148 1056 8104 | 7320 815 48 | 0.093 % | 22.59/22.63 c | 1330 | 2148 1056 8104 | 8052 1330 47 | 0.093 % | 22.68/22.72 c | 2092 | 2148 1056 8104 | 8857 2092 46 | 0.093 % | 22.78/22.85 c | 3233 | 2148 1056 8104 | 9743 3233 48 | 0.093 % | 22.98/23.08 c | 4942 | 2148 1056 8104 | 10717 4942 51 | 0.093 % | 23.28/23.36 c | 7505 | 2148 1056 8104 | 11789 7505 51 | 0.093 % | 23.98/24.09 c | 11349 | 2148 1056 8104 | 12968 11349 59 | 0.093 % | 25.29/25.34 c | 17115 | 2148 1056 8104 | 14265 10566 76 | 0.093 % | 28.38/28.44 c | 25766 | 2148 1056 8104 | 15692 12040 83 | 0.093 % | 32.58/32.65 c | 38741 | 2148 1056 8104 | 17261 9198 84 | 0.093 % | 40.27/40.37 c | 58211 | 2148 1056 8104 | 18987 11179 91 | 0.093 % | 51.27/51.34 c | 87403 | 2148 1056 8104 | 20886 11570 78 | 0.093 % | 54.07/54.11 c =============================================================================== 55.67/55.70 c core #111 55.67/55.70 c Core size: 264 Core Weight: 1 Total Weight: 111 55.67/55.70 c Elapsed CPU time: 55.1196 s Remaining CPU time: 1744.88 s 55.77/55.81 c ============================[ Search Statistics ]============================== 55.77/55.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.77/55.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.77/55.81 c =============================================================================== 55.77/55.81 c | 0 | 2316 1057 8440 | 5000 0 nan | 0.000 % | 55.77/55.84 c | 100 | 2316 1057 8440 | 5500 100 70 | 0.086 % | 55.77/55.86 c | 250 | 2316 1057 8440 | 6050 250 56 | 0.086 % | 55.77/55.88 c | 477 | 2316 1057 8440 | 6655 477 49 | 0.086 % | 55.87/55.92 c | 815 | 2316 1057 8440 | 7320 815 49 | 0.086 % | 55.87/55.98 c | 1321 | 2316 1057 8440 | 8052 1321 48 | 0.086 % | 55.97/56.06 c | 2083 | 2316 1057 8440 | 8857 2083 58 | 0.086 % | 56.08/56.19 c | 3222 | 2316 1057 8440 | 9743 3222 60 | 0.086 % | 56.38/56.47 c | 4931 | 2316 1057 8440 | 10717 4931 71 | 0.086 % | 56.87/56.94 c | 7496 | 2316 1057 8440 | 11789 7496 77 | 0.086 % | 57.97/58.03 c | 11340 | 2316 1057 8440 | 12968 11340 93 | 0.086 % | 59.97/60.05 c | 17106 | 2316 1057 8440 | 14265 10448 122 | 0.086 % | 62.97/63.09 c | 25759 | 2316 1057 8440 | 15692 11860 121 | 0.086 % | 68.07/68.17 c | 38733 | 2316 1057 8440 | 17261 8840 120 | 0.086 % | 76.56/76.60 c | 58194 | 2316 1057 8440 | 18987 10777 127 | 0.086 % | 90.76/90.88 c | 87395 | 2316 1057 8440 | 20886 11125 121 | 0.086 % | 117.55/117.63 c | 131189 | 2316 1057 8440 | 22974 12597 123 | 0.086 % | 155.34/155.46 c | 196873 | 2315 1057 8440 | 25272 20210 147 | 0.129 % | 232.81/232.94 c | 295399 | 2315 1057 8440 | 27799 16448 140 | 0.129 % | 363.06/363.24 c | 443188 | 2315 1057 8440 | 30579 22034 132 | 0.129 % | 527.61/527.80 c | 664871 | 2315 1057 8440 | 33637 26896 184 | 0.129 % | 845.20/845.56 c | 997396 | 2315 1057 8440 | 37001 16209 134 | 0.129 % | 1380.22/1380.76 c | 1496185 | 2315 1057 8440 | 40701 17559 150 | 0.129 % |
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-1875573-1245136713/watcher-1875573-1245136713 -o /tmp/evaluation-result-1875573-1245136713/solver-1875573-1245136713 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875573-1245136713.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 6811 /proc/meminfo: memFree=1684728/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=2580 CPUtime=0 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 181271213 2641920 187 1992294400 134512640 135709839 4294956240 18446744073709551615 134547821 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 645 187 128 292 0 339 0 [startup+0.070728 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6811 /proc/meminfo: memFree=1684728/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=4176 CPUtime=0.06 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 624 0 0 0 6 0 0 0 18 0 1 0 181271213 4276224 597 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 1044 597 134 292 0 749 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4176 [startup+0.102733 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6811 /proc/meminfo: memFree=1684728/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=5140 CPUtime=0.1 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 882 0 0 0 10 0 0 0 18 0 1 0 181271213 5263360 855 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 1285 856 134 292 0 990 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5140 [startup+0.302766 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6811 /proc/meminfo: memFree=1684728/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=9044 CPUtime=0.29 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 1869 0 0 0 28 1 0 0 19 0 1 0 181271213 9261056 1842 1992294400 134512640 135709839 4294956240 18446744073709551615 135166979 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 2261 1842 136 292 0 1966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9044 [startup+0.701833 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6811 /proc/meminfo: memFree=1684728/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=10400 CPUtime=0.69 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 2192 0 0 0 67 2 0 0 22 0 1 0 181271213 10649600 2165 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 2600 2165 136 292 0 2305 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10400 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1675632/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=12144 CPUtime=1.49 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 2635 0 0 0 145 4 0 0 25 0 1 0 181271213 12435456 2608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 3036 2608 136 292 0 2741 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12144 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1673712/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=15580 CPUtime=3.09 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 3491 0 0 0 303 6 0 0 25 0 1 0 181271213 15953920 3464 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 3895 3464 136 292 0 3600 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15580 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1666608/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=22316 CPUtime=6.29 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 5160 0 0 0 618 11 0 0 25 0 1 0 181271213 22851584 5133 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 5579 5133 136 292 0 5284 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22316 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1654072/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=33812 CPUtime=12.69 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 8051 0 0 0 1251 18 0 0 25 0 1 0 181271213 34623488 8024 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 8453 8024 136 292 0 8158 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33812 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1638648/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=48016 CPUtime=25.48 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 11578 0 0 0 2516 32 0 0 25 0 1 0 181271213 49168384 11551 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 12004 11551 136 292 0 11709 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48016 [startup+51.1022 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1610552/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=77044 CPUtime=51.08 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 18825 0 0 0 5055 53 0 0 25 0 1 0 181271213 78893056 18798 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 19261 18798 136 292 0 18966 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77044 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1544056/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=142564 CPUtime=102.26 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 35229 0 0 0 10129 97 0 0 25 0 1 0 181271213 145985536 35202 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 35641 35202 136 292 0 35346 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 142564 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1463096/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=224364 CPUtime=162.23 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 55646 0 0 0 16085 138 0 0 25 0 1 0 181271213 229748736 55619 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 56091 55619 136 292 0 55796 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 224364 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1390584/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=296032 CPUtime=222.21 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 73534 0 0 0 22047 174 0 0 25 0 1 0 181271213 303136768 73507 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 74008 73507 136 292 0 73713 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 296032 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1334136/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=352924 CPUtime=282.2 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 87697 0 0 0 28018 202 0 0 25 0 1 0 181271213 361394176 87670 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 88231 87670 136 292 0 87936 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 352924 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1269944/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=416992 CPUtime=342.17 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 103654 0 0 0 33989 228 0 0 25 0 1 0 181271213 426999808 103627 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 104248 103627 136 292 0 103953 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 416992 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1200248/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=487452 CPUtime=402.15 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 121264 0 0 0 39952 263 0 0 25 0 1 0 181271213 499150848 121237 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 121863 121237 136 292 0 121568 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 487452 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1131128/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=555432 CPUtime=462.13 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 138250 0 0 0 45917 296 0 0 25 0 1 0 181271213 568762368 138223 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 138858 138223 136 292 0 138563 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 555432 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=1051448/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=636424 CPUtime=522.11 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 158483 0 0 0 51873 338 0 0 25 0 1 0 181271213 651698176 158456 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 159106 158456 136 292 0 158811 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 636424 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=983864/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=702620 CPUtime=582.09 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 175041 0 0 0 57837 372 0 0 25 0 1 0 181271213 719482880 175014 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 175655 175014 136 292 0 175360 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 702620 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=914744/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=771036 CPUtime=642.07 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 192133 0 0 0 63807 400 0 0 25 0 1 0 181271213 789540864 192106 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 192759 192106 136 292 0 192464 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 771036 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=592696/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1093672 CPUtime=941.97 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 272692 0 0 0 93635 562 0 0 25 0 1 0 181271213 1119920128 272665 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 273418 272665 136 292 0 273123 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1093672 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=536888/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1149152 CPUtime=1001.94 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 286502 0 0 0 99607 587 0 0 25 0 1 0 181271213 1176731648 286475 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 287288 286475 136 292 0 286993 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1149152 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=482936/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1203236 CPUtime=1061.93 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 300004 0 0 0 105575 618 0 0 25 0 1 0 181271213 1232113664 299977 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 300809 299977 136 292 0 300514 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1203236 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=438008/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1247668 CPUtime=1121.9 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 311102 0 0 0 111551 639 0 0 25 0 1 0 181271213 1277612032 311075 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 311917 311075 136 292 0 311622 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1247668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=390264/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1295880 CPUtime=1181.88 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 323134 0 0 0 117525 663 0 0 25 0 1 0 181271213 1326981120 323107 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 323970 323107 136 292 0 323675 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1295880 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=347960/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1337620 CPUtime=1241.86 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 333581 0 0 0 123501 685 0 0 25 0 1 0 181271213 1369722880 333554 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 334405 333554 136 292 0 334110 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1337620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=298296/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1387016 CPUtime=1301.85 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 345897 0 0 0 129475 710 0 0 25 0 1 0 181271213 1420304384 345870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 346754 345870 136 292 0 346459 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1387016 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=248184/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1437580 CPUtime=1361.82 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 358502 0 0 0 135447 735 0 0 25 0 1 0 181271213 1472081920 358475 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 359395 358475 136 292 0 359100 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1437580 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=182968/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1502260 CPUtime=1421.8 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 374675 0 0 0 141413 767 0 0 25 0 1 0 181271213 1538314240 374648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 375565 374648 136 292 0 375270 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1502260 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=125240/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1560356 CPUtime=1481.78 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 389148 0 0 0 147385 793 0 0 25 0 1 0 181271213 1597804544 389121 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 390089 389121 136 292 0 389794 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1560356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=68536/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1616656 CPUtime=1541.76 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 403231 0 0 0 153359 817 0 0 25 0 1 0 181271213 1655455744 403204 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 404164 403204 136 292 0 403869 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1616656 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=15224/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1673340 CPUtime=1601.74 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 417394 0 0 0 159332 842 0 0 25 0 1 0 181271213 1713500160 417367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 418335 417367 136 292 0 418040 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1673340 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=15096/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1728576 CPUtime=1661.72 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 431163 0 0 0 165305 867 0 0 25 0 1 0 181271213 1770061824 431136 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 432144 431136 136 292 0 431849 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1728576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=16248/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1781928 CPUtime=1721.7 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 444497 0 0 0 171276 894 0 0 25 0 1 0 181271213 1824694272 444470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 445482 444470 136 292 0 445187 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1781928 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=16248/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1826164 CPUtime=1781.68 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 455522 0 0 0 177251 917 0 0 25 0 1 0 181271213 1869991936 455495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 456541 455495 136 292 0 456246 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1826164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=16120/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=1838620 CPUtime=1800.08 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4194304 458648 0 0 0 179083 925 0 0 25 0 1 0 181271213 1882746880 458621 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 459655 458621 136 292 0 459360 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1838620 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=16120/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=0 CPUtime=1800.18 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4195332 458648 0 0 0 179083 935 0 0 25 0 1 0 181271213 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6812 /proc/meminfo: memFree=16120/2055920 swapFree=4180828/4192956 [pid=6811] ppid=6809 vsize=0 CPUtime=1800.27 /proc/6811/stat : 6811 (wbo) R 6809 6811 6590 0 -1 4195332 458648 0 0 0 179083 944 0 0 25 0 1 0 181271213 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6811/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): 1801 CPU time (s): 1800.38 CPU user time (s): 1790.84 CPU system time (s): 9.54355 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 1838620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.84 system time used= 9.54355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 458648 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= 2666 runsolver used 1.39279 second user time and 3.76443 second system time The end
Begin job on node31 at 2009-06-16 09:18:33 IDJOB=1875573 IDBENCH=1951 IDSOLVER=698 FILE ID=node31/1875573-1245136713 PBS_JOBID= 9363720 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.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-1875573-1245136713/watcher-1875573-1245136713 -o /tmp/evaluation-result-1875573-1245136713/solver-1875573-1245136713 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875573-1245136713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED=955247092 node31.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.258 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.258 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: 1685208 kB Buffers: 42604 kB Cached: 251464 kB SwapCached: 5132 kB Active: 40884 kB Inactive: 261300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1685208 kB SwapTotal: 4192956 kB SwapFree: 4180828 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 13812 kB Slab: 54248 kB Committed_AS: 159928 kB PageTables: 1472 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-1875573-1245136713.opb Free space on /tmp at the end= 66268 MiB End job on node31 at 2009-06-16 09:48:36