Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1223.45 | 1223.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_2.opb |
MD5SUM | fdcfb05eaa099feeb8cfb1f8f1c05926 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 3.87941 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 1537 |
Sum of products size | 3074 |
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-1875341-1245199752.opb. 0.00/0.00 c Instance file HOME/instance-1875341-1245199752.opb 0.00/0.00 c File size is 121790 bytes. 0.00/0.01 c Highest Coefficient sum: 45 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1637 | 0.00/0.01 c | Number Clauses: 1637 | 0.00/0.01 c | Number Cardinality: 200 | 0.00/0.01 c | Number PB Constraints: 1537 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -99 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -98 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -97 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #4 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -96 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -95 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #6 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -94 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #7 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -93 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -92 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #9 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -91 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #10 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -90 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #11 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -89 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #12 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -88 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #13 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -87 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #14 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -86 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #15 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -85 0.07/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #16 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -84 0.07/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #17 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -83 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #18 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -82 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.10 c core #19 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: -81 0.07/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #20 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -80 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #21 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -79 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #22 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -78 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #23 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -77 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #24 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -76 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #25 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -75 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #26 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -74 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #27 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -73 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #28 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -72 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #29 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -71 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #30 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -70 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #31 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -69 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #32 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -68 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #33 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -67 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #34 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -66 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #35 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -65 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #36 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -64 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #37 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -63 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #38 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -62 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #39 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -61 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #40 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -60 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #41 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -59 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #42 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -58 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #43 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -57 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #44 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -56 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #45 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -55 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #46 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -54 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #47 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -53 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #48 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -52 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #49 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -51 0.19/0.25 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #50 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: -50 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 202 3424 7914 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #51 0.19/0.26 c Core size: 15 Core Weight: 1 Total Weight: -49 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 208 3425 7926 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #52 0.19/0.26 c Core size: 17 Core Weight: 1 Total Weight: -48 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 214 3426 7938 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #53 0.19/0.27 c Core size: 16 Core Weight: 1 Total Weight: -47 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 220 3427 7950 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #54 0.19/0.27 c Core size: 16 Core Weight: 1 Total Weight: -46 0.19/0.27 c Elapsed CPU time: 0.270958 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 | 226 3428 7962 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #55 0.19/0.28 c Core size: 17 Core Weight: 1 Total Weight: -45 0.19/0.28 c Elapsed CPU time: 0.274958 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 | 232 3429 7974 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #56 0.19/0.28 c Core size: 16 Core Weight: 1 Total Weight: -44 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 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 | 238 3430 7986 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #57 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: -43 0.19/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 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 | 244 3431 7998 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #58 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: -42 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 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 | 250 3432 8010 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #59 0.29/0.30 c Core size: 12 Core Weight: 1 Total Weight: -41 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 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 | 254 3433 8018 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #60 0.29/0.31 c Core size: 17 Core Weight: 1 Total Weight: -40 0.29/0.31 c Elapsed CPU time: 0.299954 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 | 260 3434 8030 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #61 0.29/0.31 c Core size: 22 Core Weight: 1 Total Weight: -39 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 268 3435 8046 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #62 0.29/0.32 c Core size: 21 Core Weight: 1 Total Weight: -38 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 276 3436 8062 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #63 0.29/0.32 c Core size: 22 Core Weight: 1 Total Weight: -37 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 284 3437 8078 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #64 0.29/0.33 c Core size: 28 Core Weight: 1 Total Weight: -36 0.29/0.33 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 294 3438 8098 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #65 0.29/0.33 c Core size: 45 Core Weight: 1 Total Weight: -35 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 308 3439 8126 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #66 0.29/0.34 c Core size: 123 Core Weight: 1 Total Weight: -34 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 338 3440 8186 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 104 | 338 3440 8186 | 5500 104 32 | 81.973 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #67 0.29/0.36 c Core size: 222 Core Weight: 1 Total Weight: -33 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 380 3441 8270 | 5000 0 nan | 0.000 % | 0.29/0.37 c | 100 | 379 3441 8270 | 5500 100 14 | 80.230 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #68 0.29/0.37 c Core size: 167 Core Weight: 1 Total Weight: -32 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 414 3442 8338 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #69 0.29/0.38 c Core size: 82 Core Weight: 1 Total Weight: -31 0.29/0.38 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 438 3443 8386 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 438 3443 8386 | 5500 100 47 | 77.823 % | 0.29/0.39 c | 250 | 421 3443 8386 | 6050 232 31 | 80.962 % | 0.39/0.40 c | 476 | 416 3443 8386 | 6655 458 35 | 80.962 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #70 0.39/0.42 c Core size: 122 Core Weight: 1 Total Weight: -30 0.39/0.42 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 470 3444 8450 | 5000 0 nan | 0.000 % | 0.39/0.43 c | 100 | 470 3444 8450 | 5500 100 24 | 76.582 % | 0.39/0.43 c | 253 | 470 3444 8450 | 6050 253 27 | 76.582 % | 0.39/0.44 c | 480 | 470 3444 8450 | 6655 480 34 | 76.582 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #71 0.39/0.46 c Core size: 375 Core Weight: 1 Total Weight: -29 0.39/0.46 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 514 3445 8538 | 5000 0 nan | 0.000 % | 0.39/0.47 c | 100 | 514 3445 8538 | 5500 100 43 | 74.939 % | 0.39/0.48 c | 257 | 514 3445 8538 | 6050 257 39 | 74.939 % | 0.39/0.49 c | 482 | 514 3445 8538 | 6655 482 42 | 74.939 % | 0.49/0.50 c | 820 | 514 3445 8538 | 7320 820 39 | 74.939 % | 0.49/0.53 c | 1329 | 513 3445 8538 | 8052 1324 37 | 74.988 % | 0.59/0.60 c | 2092 | 513 3445 8538 | 8857 2087 58 | 76.353 % | 0.59/0.62 c =============================================================================== 0.59/0.63 c core #72 0.59/0.63 c Core size: 396 Core Weight: 1 Total Weight: -28 0.59/0.63 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 558 3446 8626 | 5000 0 nan | 0.000 % | 0.59/0.64 c | 101 | 558 3446 8626 | 5500 101 30 | 73.365 % | 0.59/0.65 c | 252 | 558 3446 8626 | 6050 252 37 | 73.365 % | 0.59/0.66 c | 477 | 558 3446 8626 | 6655 477 54 | 73.365 % | 0.59/0.68 c | 814 | 558 3446 8626 | 7320 814 67 | 73.365 % | 0.69/0.73 c | 1321 | 558 3446 8626 | 8052 1321 85 | 73.365 % | 0.69/0.78 c | 2080 | 558 3446 8626 | 8857 2080 74 | 73.365 % | 0.89/0.91 c | 3219 | 557 3446 8626 | 9743 3205 80 | 73.413 % | 1.09/1.16 c | 4927 | 556 3446 8626 | 10717 4913 107 | 73.461 % | 1.69/1.74 c | 7489 | 556 3446 8626 | 11789 7475 124 | 73.461 % | 2.79/2.89 c | 11334 | 556 3446 8626 | 12968 11320 147 | 73.461 % | 4.59/4.62 c | 17102 | 556 3446 8626 | 14265 9774 148 | 73.461 % | 5.29/5.31 c =============================================================================== 5.39/5.48 c core #73 5.39/5.48 c Core size: 575 Core Weight: 1 Total Weight: -27 5.39/5.48 c Elapsed CPU time: 5.41218 s Remaining CPU time: 1794.59 s 5.49/5.51 c ============================[ Search Statistics ]============================== 5.49/5.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.49/5.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.49/5.51 c =============================================================================== 5.49/5.51 c | 0 | 614 3447 8738 | 5000 0 nan | 0.000 % | 5.49/5.52 c | 101 | 614 3447 8738 | 5500 101 41 | 71.455 % | 5.49/5.52 c | 253 | 614 3447 8738 | 6050 253 42 | 71.455 % | 5.49/5.53 c | 478 | 614 3447 8738 | 6655 478 41 | 71.455 % | 5.49/5.55 c | 815 | 614 3447 8738 | 7320 815 42 | 71.455 % | 5.49/5.58 c | 1322 | 614 3447 8738 | 8052 1322 54 | 71.455 % | 5.59/5.63 c | 2083 | 614 3447 8738 | 8857 2083 53 | 71.455 % | 5.69/5.74 c | 3222 | 614 3447 8738 | 9743 3222 61 | 71.455 % | 5.89/5.98 c | 4930 | 614 3447 8738 | 10717 4930 75 | 71.455 % | 6.29/6.38 c | 7493 | 614 3447 8738 | 11789 7493 86 | 71.455 % | 7.08/7.19 c | 11339 | 614 3447 8738 | 12968 11339 92 | 71.455 % | 9.08/9.18 c | 17105 | 614 3447 8738 | 14265 9789 119 | 71.455 % | 12.29/12.32 c | 25755 | 614 3447 8738 | 15692 10498 143 | 71.455 % | 17.28/17.38 c | 38729 | 614 3447 8738 | 17261 14782 205 | 71.455 % | 27.68/27.73 c | 58200 | 614 3447 8738 | 18987 15342 218 | 71.455 % | 47.37/47.40 c =============================================================================== 48.77/48.84 c core #74 48.77/48.84 c Core size: 1010 Core Weight: 1 Total Weight: -26 48.77/48.84 c Elapsed CPU time: 48.4306 s Remaining CPU time: 1751.57 s 48.87/48.94 c ============================[ Search Statistics ]============================== 48.87/48.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.87/48.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.87/48.94 c =============================================================================== 48.87/48.94 c | 0 | 688 3448 8886 | 5000 0 nan | 0.000 % | 48.87/48.95 c | 100 | 688 3448 8886 | 5500 100 44 | 69.079 % | 48.87/48.96 c | 250 | 688 3448 8886 | 6050 250 40 | 69.079 % | 48.87/48.97 c | 475 | 688 3448 8886 | 6655 475 39 | 69.079 % | 48.97/49.00 c | 816 | 688 3448 8886 | 7320 816 59 | 69.079 % | 48.97/49.05 c | 1324 | 688 3448 8886 | 8052 1324 76 | 69.079 % | 49.06/49.15 c | 2084 | 688 3448 8886 | 8857 2084 91 | 69.079 % | 49.38/49.44 c | 3224 | 688 3448 8886 | 9743 3224 117 | 69.079 % | 49.76/49.81 c | 4935 | 688 3448 8886 | 10717 4935 119 | 69.079 % | 50.37/50.41 c | 7497 | 688 3448 8886 | 11789 7497 113 | 69.079 % | 51.96/52.06 c | 11346 | 688 3448 8886 | 12968 11346 123 | 69.079 % | 54.87/54.94 c | 17113 | 688 3448 8886 | 14265 9793 129 | 69.079 % | 58.66/58.79 c | 25764 | 688 3448 8886 | 15692 10463 96 | 69.079 % | 66.46/66.56 c | 38740 | 688 3448 8886 | 17261 14752 182 | 69.079 % | 74.86/74.93 c | 58201 | 688 3448 8886 | 18987 15270 267 | 69.079 % | 87.66/87.74 c | 87393 | 688 3448 8886 | 20886 13482 185 | 69.079 % | 117.65/117.71 c | 131184 | 688 3448 8886 | 22974 11979 260 | 69.079 % | 167.22/167.34 c | 196868 | 688 3448 8886 | 25272 15971 191 | 69.079 % | 274.18/274.34 c | 295394 | 688 3448 8886 | 27799 19380 603 | 69.079 % | 327.27/327.46 c =============================================================================== 335.66/335.89 c core #75 335.66/335.89 c Core size: 1436 Core Weight: 1 Total Weight: -25 335.66/335.89 c Elapsed CPU time: 333.836 s Remaining CPU time: 1466.16 s 336.06/336.27 c ============================[ Search Statistics ]============================== 336.06/336.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 336.06/336.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 336.06/336.27 c =============================================================================== 336.06/336.27 c | 0 | 780 3449 9070 | 5000 0 nan | 0.000 % | 336.16/336.34 c | 101 | 780 3449 9070 | 5500 101 93 | 66.336 % | 336.16/336.35 c | 251 | 780 3449 9070 | 6050 251 52 | 66.336 % | 336.16/336.36 c | 477 | 780 3449 9070 | 6655 477 64 | 66.336 % | 336.16/336.38 c | 815 | 780 3449 9070 | 7320 815 60 | 66.336 % | 336.27/336.43 c | 1321 | 780 3449 9070 | 8052 1321 66 | 66.336 % | 336.37/336.54 c | 2083 | 780 3449 9070 | 8857 2083 94 | 66.336 % | 336.56/336.78 c | 3222 | 780 3449 9070 | 9743 3222 111 | 66.336 % | 337.06/337.24 c | 4932 | 780 3449 9070 | 10717 4932 134 | 66.336 % | 338.06/338.23 c | 7497 | 780 3449 9070 | 11789 7497 161 | 66.336 % | 339.67/339.83 c | 11344 | 780 3449 9070 | 12968 11344 170 | 66.336 % | 344.26/344.44 c | 17113 | 780 3449 9070 | 14265 9818 222 | 66.336 % | 348.36/348.54 c | 25766 | 780 3449 9070 | 15692 10483 195 | 66.336 % | 362.95/363.12 c | 38740 | 780 3449 9070 | 17261 14798 416 | 66.336 % | 380.45/380.63 c | 58201 | 780 3449 9070 | 18987 15318 246 | 66.336 % | 405.14/405.34 c | 87393 | 780 3449 9070 | 20886 13571 383 | 66.336 % | 445.02/445.23 c | 131184 | 780 3449 9070 | 22974 12245 226 | 66.336 % | 524.19/524.50 c | 196871 | 780 3449 9070 | 25272 16347 419 | 66.336 % | 620.86/621.15 c | 295397 | 780 3449 9070 | 27799 19050 234 | 66.336 % | 759.49/759.87 c | 443188 | 780 3449 9070 | 30579 26071 400 | 66.336 % | 1028.79/1029.26 c | 664871 | 780 3449 9070 | 33637 30805 317 | 66.336 % |
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-1875341-1245199752/watcher-1875341-1245199752 -o /tmp/evaluation-result-1875341-1245199752/solver-1875341-1245199752 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875341-1245199752.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.08 1.02 1.00 3/65 31712 /proc/meminfo: memFree=1835680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=2792 CPUtime=0 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 187573241 2859008 235 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 698 235 126 292 0 373 0 [startup+0.0809989 s] /proc/loadavg: 1.08 1.02 1.00 3/65 31712 /proc/meminfo: memFree=1835680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=4796 CPUtime=0.07 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 808 0 0 0 7 0 0 0 18 0 1 0 187573241 4911104 762 1992294400 134512640 135709839 4294956240 18446744073709551615 135166907 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 1199 762 134 292 0 904 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4796 [startup+0.102002 s] /proc/loadavg: 1.08 1.02 1.00 3/65 31712 /proc/meminfo: memFree=1835680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=5212 CPUtime=0.09 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 927 0 0 0 9 0 0 0 18 0 1 0 187573241 5337088 881 1992294400 134512640 135709839 4294956240 18446744073709551615 135166226 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 1303 881 134 292 0 1008 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5212 [startup+0.302023 s] /proc/loadavg: 1.08 1.02 1.00 3/65 31712 /proc/meminfo: memFree=1835680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=9472 CPUtime=0.29 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 1968 0 0 0 29 0 0 0 19 0 1 0 187573241 9699328 1922 1992294400 134512640 135709839 4294956240 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 2368 1922 135 292 0 2073 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9472 [startup+0.701066 s] /proc/loadavg: 1.08 1.02 1.00 3/65 31712 /proc/meminfo: memFree=1835680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=12260 CPUtime=0.69 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 2679 0 0 0 67 2 0 0 22 0 1 0 187573241 12554240 2633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 3065 2633 136 292 0 2770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12260 [startup+1.50115 s] /proc/loadavg: 1.07 1.02 1.00 2/66 31713 /proc/meminfo: memFree=1824792/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=15308 CPUtime=1.49 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 3420 0 0 0 145 4 0 0 25 0 1 0 187573241 15675392 3374 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 3827 3374 136 292 0 3532 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15308 [startup+3.10132 s] /proc/loadavg: 1.07 1.02 1.00 2/66 31713 /proc/meminfo: memFree=1820824/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=20208 CPUtime=3.09 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 4656 0 0 0 305 4 0 0 25 0 1 0 187573241 20692992 4610 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 5052 4610 136 292 0 4757 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20208 [startup+6.30166 s] /proc/loadavg: 1.07 1.02 1.00 2/66 31713 /proc/meminfo: memFree=1811288/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=26980 CPUtime=6.29 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 6363 0 0 0 620 9 0 0 25 0 1 0 187573241 27627520 6317 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 6745 6317 136 292 0 6450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26980 [startup+12.7013 s] /proc/loadavg: 1.06 1.01 1.00 2/66 31713 /proc/meminfo: memFree=1804888/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=34516 CPUtime=12.69 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 8246 0 0 0 1255 14 0 0 25 0 1 0 187573241 35344384 8200 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 8629 8200 136 292 0 8334 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34516 [startup+25.5017 s] /proc/loadavg: 1.05 1.01 1.00 2/66 31713 /proc/meminfo: memFree=1770392/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=68248 CPUtime=25.48 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 16669 0 0 0 2525 23 0 0 25 0 1 0 187573241 69885952 16623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 17062 16623 136 292 0 16767 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68248 [startup+51.1014 s] /proc/loadavg: 1.03 1.01 1.00 2/66 31713 /proc/meminfo: memFree=1705176/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=132480 CPUtime=51.07 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 32718 0 0 0 5066 41 0 0 25 0 1 0 187573241 135659520 32672 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 33120 32672 136 292 0 32825 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 132480 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/66 31713 /proc/meminfo: memFree=1637272/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=200264 CPUtime=102.25 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 49654 0 0 0 10153 72 0 0 25 0 1 0 187573241 205070336 49608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 50066 49608 136 292 0 49771 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 200264 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31713 /proc/meminfo: memFree=1511512/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=326924 CPUtime=162.23 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 81275 0 0 0 16112 111 0 0 25 0 1 0 187573241 334770176 81229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 81731 81229 136 292 0 81436 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 326924 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=1380952/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=456456 CPUtime=222.2 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 113628 0 0 0 22076 144 0 0 25 0 1 0 187573241 467410944 113582 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 114114 113582 136 292 0 113819 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 456456 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=1240408/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=597304 CPUtime=282.18 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 148859 0 0 0 28042 176 0 0 25 0 1 0 187573241 611639296 148813 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 149326 148813 136 292 0 149031 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 597304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=1146648/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=690072 CPUtime=342.16 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 172060 0 0 0 34019 197 0 0 25 0 1 0 187573241 706633728 171985 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 172518 171985 136 292 0 172223 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 690072 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=1089496/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=747384 CPUtime=402.14 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 186483 0 0 0 39992 222 0 0 25 0 1 0 187573241 765321216 186408 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 186846 186408 136 292 0 186551 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 747384 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=1017304/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=819096 CPUtime=462.12 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 204396 0 0 0 45964 248 0 0 25 0 1 0 187573241 838754304 204321 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 204774 204321 136 292 0 204479 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 819096 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=945880/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=891952 CPUtime=522.1 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 222585 0 0 0 51938 272 0 0 25 0 1 0 187573241 913358848 222510 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 222988 222510 136 292 0 222693 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 891952 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=865240/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=971384 CPUtime=582.07 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 242434 0 0 0 57907 300 0 0 25 0 1 0 187573241 994697216 242359 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 242846 242359 136 292 0 242551 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 971384 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=780568/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1055196 CPUtime=642.05 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 263367 0 0 0 63875 330 0 0 25 0 1 0 187573241 1080520704 263292 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 263799 263292 136 292 0 263504 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1055196 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31715 /proc/meminfo: memFree=701976/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1134516 CPUtime=702.03 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 283147 0 0 0 69845 358 0 0 25 0 1 0 187573241 1161744384 283072 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 283629 283072 136 292 0 283334 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1134516 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=617360/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1218372 CPUtime=761.99 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 304097 0 0 0 75813 386 0 0 25 0 1 0 187573241 1247612928 304022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 304593 304022 136 292 0 304298 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 1218372 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=529680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1306928 CPUtime=821.97 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 326239 0 0 0 81786 411 0 0 25 0 1 0 187573241 1338294272 326164 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 326732 326164 136 292 0 326437 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 1306928 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=444496/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1391108 CPUtime=881.94 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 347269 0 0 0 87761 433 0 0 25 0 1 0 187573241 1424494592 347194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 347777 347194 136 292 0 347482 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 1391108 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=364752/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1471400 CPUtime=941.92 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 367313 0 0 0 93736 456 0 0 25 0 1 0 187573241 1506713600 367238 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 367850 367238 136 292 0 367555 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 1471400 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=285200/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1550120 CPUtime=1001.89 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 386989 0 0 0 99705 484 0 0 25 0 1 0 187573241 1587322880 386914 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 387530 386914 136 292 0 387235 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1550120 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=219544/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1616136 CPUtime=1061.87 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 403481 0 0 0 105683 504 0 0 25 0 1 0 187573241 1654923264 403406 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31712/statm: 404034 403406 136 292 0 403739 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1616136 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=137880/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1697512 CPUtime=1121.85 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 423804 0 0 0 111663 522 0 0 25 0 1 0 187573241 1738252288 423729 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 424378 423729 136 292 0 424083 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1697512 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=46680/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1789420 CPUtime=1181.83 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 446794 0 0 0 117631 552 0 0 25 0 1 0 187573241 1832366080 446719 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 447355 446719 136 292 0 447060 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1789420 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1223.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=15384/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=1843392 CPUtime=1223.18 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4194304 460250 0 0 0 121748 570 0 0 25 0 1 0 187573241 1887633408 460175 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 460848 460175 136 292 0 460553 0 Current children cumulated CPU time (s) 1223.18 Current children cumulated vsize (KiB) 1843392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1223.81 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=15384/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=0 CPUtime=1223.28 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4195332 460250 0 0 0 121748 580 0 0 25 0 1 0 187573241 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1223.28 Current children cumulated vsize (KiB) 0 [startup+1223.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 31721 /proc/meminfo: memFree=15384/2055920 swapFree=4179968/4192956 [pid=31712] ppid=31710 vsize=0 CPUtime=1223.37 /proc/31712/stat : 31712 (wbo) R 31710 31712 31205 0 -1 4195332 460250 0 0 0 121748 589 0 0 25 0 1 0 187573241 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/31712/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1223.37 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1223.97 CPU time (s): 1223.45 CPU user time (s): 1217.48 CPU system time (s): 5.96809 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 1843392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1217.48 system time used= 5.96809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460250 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= 3 involuntary context switches= 4757 runsolver used 1.47877 second user time and 2.58261 second system time The end
Begin job on node82 at 2009-06-17 02:49:12 IDJOB=1875341 IDBENCH=48181 IDSOLVER=698 FILE ID=node82/1875341-1245199752 PBS_JOBID= 9368301 Free space on /tmp= 66404 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_2.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-1875341-1245199752/watcher-1875341-1245199752 -o /tmp/evaluation-result-1875341-1245199752/solver-1875341-1245199752 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875341-1245199752.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fdcfb05eaa099feeb8cfb1f8f1c05926 RANDOM SEED=462776831 node82.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.232 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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1836224 kB Buffers: 41108 kB Cached: 110396 kB SwapCached: 6596 kB Active: 70864 kB Inactive: 94188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1836224 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 2652 kB Writeback: 0 kB Mapped: 19132 kB Slab: 40568 kB Committed_AS: 94144 kB PageTables: 1400 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-1875341-1245199752.opb Free space on /tmp at the end= 66404 MiB End job on node82 at 2009-06-17 03:09:38