Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1132.72 | 1133.27 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_3.opb |
MD5SUM | 7197f7f0f9b455050f9ff30066ca0a9a |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 4.71128 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
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) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 1545 |
Sum of products size | 3090 |
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-1875352-1245201120.opb. 0.00/0.00 c Instance file HOME/instance-1875352-1245201120.opb 0.00/0.00 c File size is 122444 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.01 s | 0.00/0.01 c | Number Variables: 1645 | 0.00/0.01 c | Number Clauses: 1645 | 0.00/0.01 c | Number Cardinality: 200 | 0.00/0.01 c | Number PB Constraints: 1545 | 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.012998 s Remaining CPU time: 1799.99 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.016997 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.020996 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.025996 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.029995 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.033994 s Remaining CPU time: 1799.97 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.037994 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.042993 s Remaining CPU time: 1799.96 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.046992 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.051992 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.055991 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.06099 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.065989 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.069989 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #15 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: -85 0.00/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #16 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: -84 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #17 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: -83 0.00/0.09 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #18 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: -82 0.00/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.10 c core #19 0.00/0.10 c Core size: 4 Core Weight: 1 Total Weight: -81 0.00/0.10 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 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.094985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #21 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -79 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 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.102984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #23 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -77 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 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.111982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #25 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -75 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 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.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #27 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -73 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 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.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #29 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -71 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 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.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #31 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -69 0.09/0.15 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 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.148977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #33 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -67 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 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.158975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #35 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -65 0.09/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 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.168974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #37 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -63 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 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.178972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #39 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -61 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.20 c core #40 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -60 0.09/0.20 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #41 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -59 0.19/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 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.197969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #43 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -57 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 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.207968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #45 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -55 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 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.216967 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #47 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -53 0.19/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 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.225965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #49 0.19/0.24 c Core size: 8 Core Weight: 1 Total Weight: -51 0.19/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 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.234964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #51 0.19/0.25 c Core size: 8 Core Weight: 1 Total Weight: -49 0.19/0.25 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 206 3441 7912 | 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.244962 s Remaining CPU time: 1799.76 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 212 3442 7924 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #53 0.19/0.26 c Core size: 16 Core Weight: 1 Total Weight: -47 0.19/0.26 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 218 3443 7936 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #54 0.19/0.27 c Core size: 15 Core Weight: 1 Total Weight: -46 0.19/0.27 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 224 3444 7948 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #55 0.19/0.27 c Core size: 17 Core Weight: 1 Total Weight: -45 0.19/0.27 c Elapsed CPU time: 0.25996 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 | 230 3445 7960 | 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.265959 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 | 236 3446 7972 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #57 0.19/0.28 c Core size: 17 Core Weight: 1 Total Weight: -43 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 242 3447 7984 | 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.273958 s Remaining CPU time: 1799.73 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 248 3448 7996 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #59 0.19/0.29 c Core size: 12 Core Weight: 1 Total Weight: -41 0.19/0.29 c Elapsed CPU time: 0.278957 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 | 252 3449 8004 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #60 0.29/0.30 c Core size: 16 Core Weight: 1 Total Weight: -40 0.29/0.30 c Elapsed CPU time: 0.283956 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 | 258 3450 8016 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #61 0.29/0.31 c Core size: 27 Core Weight: 1 Total Weight: -39 0.29/0.31 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 268 3451 8036 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #62 0.29/0.31 c Core size: 16 Core Weight: 1 Total Weight: -38 0.29/0.31 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 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 | 274 3452 8048 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #63 0.29/0.32 c Core size: 17 Core Weight: 1 Total Weight: -37 0.29/0.32 c Elapsed CPU time: 0.297954 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 | 280 3453 8060 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #64 0.29/0.32 c Core size: 26 Core Weight: 1 Total Weight: -36 0.29/0.32 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 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 | 290 3454 8080 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #65 0.29/0.33 c Core size: 52 Core Weight: 1 Total Weight: -35 0.29/0.33 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 307 3455 8114 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #66 0.29/0.33 c Core size: 48 Core Weight: 1 Total Weight: -34 0.29/0.33 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 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 | 321 3456 8142 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #67 0.29/0.34 c Core size: 99 Core Weight: 1 Total Weight: -33 0.29/0.34 c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 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 | 341 3457 8182 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #68 0.29/0.35 c Core size: 100 Core Weight: 1 Total Weight: -32 0.29/0.35 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 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 | 367 3458 8234 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 101 | 367 3458 8234 | 5500 101 26 | 80.805 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #69 0.29/0.36 c Core size: 133 Core Weight: 1 Total Weight: -31 0.29/0.36 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 393 3459 8286 | 5000 0 nan | 0.000 % | 0.29/0.37 c | 100 | 393 3459 8286 | 5500 100 13 | 79.721 % | 0.29/0.38 c | 251 | 393 3459 8286 | 6050 251 17 | 79.721 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #70 0.29/0.38 c Core size: 242 Core Weight: 1 Total Weight: -30 0.29/0.38 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 432 3460 8364 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 432 3460 8364 | 5500 100 31 | 78.149 % | 0.39/0.40 c | 250 | 432 3460 8364 | 6050 250 39 | 78.149 % | 0.39/0.41 c | 475 | 432 3460 8364 | 6655 475 44 | 78.149 % | 0.39/0.43 c | 816 | 432 3460 8364 | 7320 816 55 | 78.149 % | 0.39/0.46 c | 1323 | 432 3460 8364 | 8052 1323 53 | 78.149 % | 0.49/0.51 c | 2082 | 426 3460 8364 | 8857 2053 52 | 78.503 % | 0.49/0.51 c =============================================================================== 0.49/0.52 c core #71 0.49/0.52 c Core size: 274 Core Weight: 1 Total Weight: -29 0.49/0.52 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 472 3461 8444 | 5000 0 nan | 0.000 % | 0.49/0.53 c | 100 | 472 3461 8444 | 5500 100 47 | 76.599 % | 0.49/0.53 c | 250 | 472 3461 8444 | 6050 250 42 | 76.599 % | 0.49/0.54 c | 475 | 472 3461 8444 | 6655 475 35 | 76.599 % | 0.49/0.56 c | 812 | 472 3461 8444 | 7320 812 46 | 76.599 % | 0.59/0.60 c | 1319 | 472 3461 8444 | 8052 1319 64 | 76.599 % | 0.59/0.66 c =============================================================================== 0.59/0.67 c core #72 0.59/0.67 c Core size: 407 Core Weight: 1 Total Weight: -28 0.59/0.67 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 520 3462 8540 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 101 | 520 3462 8540 | 5500 101 34 | 74.818 % | 0.59/0.68 c | 252 | 520 3462 8540 | 6050 252 23 | 74.818 % | 0.59/0.69 c | 478 | 520 3462 8540 | 6655 478 27 | 74.818 % | 0.69/0.71 c | 815 | 520 3462 8540 | 7320 815 39 | 74.818 % | 0.69/0.74 c | 1325 | 520 3462 8540 | 8052 1325 54 | 74.818 % | 0.79/0.81 c | 2084 | 520 3462 8540 | 8857 2084 72 | 74.818 % | 0.79/0.86 c =============================================================================== 0.79/0.88 c core #73 0.79/0.88 c Core size: 387 Core Weight: 1 Total Weight: -27 0.79/0.88 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 564 3463 8628 | 5000 0 nan | 0.000 % | 0.79/0.89 c | 102 | 564 3463 8628 | 5500 102 37 | 73.257 % | 0.89/0.90 c | 253 | 564 3463 8628 | 6050 253 35 | 73.257 % | 0.89/0.91 c | 478 | 564 3463 8628 | 6655 478 50 | 73.257 % | 0.89/0.93 c | 816 | 564 3463 8628 | 7320 816 49 | 73.257 % | 0.89/0.96 c | 1322 | 564 3463 8628 | 8052 1322 57 | 73.257 % | 0.99/1.02 c | 2081 | 564 3463 8628 | 8857 2081 55 | 73.257 % | 1.09/1.13 c | 3225 | 564 3463 8628 | 9743 3225 63 | 73.257 % | 1.29/1.32 c | 4933 | 564 3463 8628 | 10717 4933 71 | 73.257 % | 1.79/1.87 c | 7496 | 564 3463 8628 | 11789 7496 97 | 73.257 % | 3.09/3.15 c | 11340 | 564 3463 8628 | 12968 11340 119 | 73.257 % | 4.99/5.06 c | 17106 | 564 3463 8628 | 14265 9813 135 | 73.257 % | 7.58/7.68 c =============================================================================== 7.88/7.95 c core #74 7.88/7.95 c Core size: 581 Core Weight: 1 Total Weight: -26 7.88/7.95 c Elapsed CPU time: 7.84681 s Remaining CPU time: 1792.15 s 7.88/7.98 c ============================[ Search Statistics ]============================== 7.88/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.98 c =============================================================================== 7.88/7.98 c | 0 | 618 3464 8736 | 5000 0 nan | 0.000 % | 7.88/7.99 c | 103 | 618 3464 8736 | 5500 103 40 | 71.429 % | 7.88/7.99 c | 254 | 618 3464 8736 | 6050 254 35 | 71.429 % | 7.99/8.00 c | 479 | 618 3464 8736 | 6655 479 37 | 71.429 % | 7.99/8.03 c | 817 | 618 3464 8736 | 7320 817 56 | 71.429 % | 7.99/8.07 c | 1324 | 618 3464 8736 | 8052 1324 67 | 71.429 % | 8.09/8.16 c | 2083 | 618 3464 8736 | 8857 2083 86 | 71.429 % | 8.28/8.36 c | 3222 | 618 3464 8736 | 9743 3222 118 | 71.429 % | 8.58/8.66 c | 4930 | 618 3464 8736 | 10717 4930 121 | 71.429 % | 8.89/9.00 c | 7496 | 618 3464 8736 | 11789 7496 109 | 71.429 % | 9.79/9.86 c | 11342 | 618 3464 8736 | 12968 11342 123 | 71.429 % | 11.29/11.38 c | 17108 | 618 3464 8736 | 14265 9791 119 | 71.429 % | 14.29/14.35 c | 25757 | 618 3464 8736 | 15692 10502 155 | 71.429 % | 19.49/19.50 c | 38731 | 618 3464 8736 | 17261 14812 157 | 71.429 % | 28.37/28.47 c | 58195 | 618 3464 8736 | 18987 15356 155 | 71.429 % | 37.28/37.31 c =============================================================================== 38.38/38.42 c core #75 38.38/38.42 c Core size: 866 Core Weight: 1 Total Weight: -25 38.38/38.42 c Elapsed CPU time: 38.0502 s Remaining CPU time: 1761.95 s 38.38/38.50 c ============================[ Search Statistics ]============================== 38.38/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.38/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.38/38.50 c =============================================================================== 38.38/38.50 c | 0 | 686 3465 8872 | 5000 0 nan | 0.000 % | 38.48/38.51 c | 103 | 686 3465 8872 | 5500 103 36 | 69.251 % | 38.48/38.52 c | 258 | 686 3465 8872 | 6050 258 36 | 69.251 % | 38.48/38.53 c | 484 | 686 3465 8872 | 6655 484 46 | 69.251 % | 38.48/38.55 c | 823 | 686 3465 8872 | 7320 823 54 | 69.251 % | 38.48/38.59 c | 1331 | 686 3465 8872 | 8052 1331 59 | 69.251 % | 38.57/38.65 c | 2091 | 686 3465 8872 | 8857 2091 66 | 69.251 % | 38.67/38.77 c | 3230 | 686 3465 8872 | 9743 3230 71 | 69.251 % | 38.98/39.00 c | 4938 | 686 3465 8872 | 10717 4938 86 | 69.251 % | 39.48/39.57 c | 7503 | 686 3465 8872 | 11789 7503 135 | 69.251 % | 40.98/41.09 c | 11348 | 686 3465 8872 | 12968 11348 156 | 69.251 % | 43.47/43.53 c | 17117 | 686 3465 8872 | 14265 9826 204 | 69.251 % | 46.47/46.51 c | 25767 | 686 3465 8872 | 15692 10487 194 | 69.251 % | 52.97/53.02 c | 38742 | 686 3465 8872 | 17261 14764 194 | 69.251 % | 62.56/62.69 c | 58205 | 686 3465 8872 | 18987 15290 309 | 69.251 % | 76.75/76.86 c | 87399 | 686 3465 8872 | 20886 13438 258 | 69.251 % | 109.24/109.37 c | 131188 | 686 3465 8872 | 22974 12072 176 | 69.251 % | 160.91/161.06 c | 196872 | 686 3465 8872 | 25272 16048 317 | 69.252 % | 202.60/202.73 c =============================================================================== 207.90/208.05 c core #76 207.90/208.05 c Core size: 1462 Core Weight: 1 Total Weight: -24 207.90/208.05 c Elapsed CPU time: 206.481 s Remaining CPU time: 1593.52 s 208.19/208.31 c ============================[ Search Statistics ]============================== 208.19/208.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.19/208.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.19/208.31 c =============================================================================== 208.19/208.31 c | 0 | 784 3466 9068 | 5000 0 nan | 0.000 % | 208.19/208.33 c | 100 | 784 3466 9068 | 5500 100 46 | 66.338 % | 208.19/208.34 c | 251 | 784 3466 9068 | 6050 251 43 | 66.338 % | 208.19/208.38 c | 477 | 784 3466 9068 | 6655 477 62 | 66.338 % | 208.19/208.40 c | 815 | 784 3466 9068 | 7320 815 54 | 66.338 % | 208.30/208.43 c | 1325 | 784 3466 9068 | 8052 1325 64 | 66.338 % | 208.30/208.49 c | 2085 | 784 3466 9068 | 8857 2085 64 | 66.338 % | 208.50/208.61 c | 3227 | 784 3466 9068 | 9743 3227 80 | 66.338 % | 208.90/209.00 c | 4935 | 784 3466 9068 | 10717 4935 113 | 66.338 % | 209.99/210.10 c | 7498 | 784 3466 9068 | 11789 7498 159 | 66.338 % | 213.09/213.21 c | 11343 | 784 3466 9068 | 12968 11343 212 | 66.338 % | 216.99/217.15 c | 17110 | 784 3466 9068 | 14265 9762 253 | 66.338 % | 220.79/220.97 c | 25761 | 784 3466 9068 | 15692 10396 253 | 66.338 % | 228.99/229.20 c | 38736 | 784 3466 9068 | 17261 14703 288 | 66.338 % | 254.17/254.39 c | 58198 | 784 3466 9068 | 18987 15253 401 | 66.338 % | 278.86/279.00 c | 87393 | 784 3466 9068 | 20886 13362 291 | 66.338 % | 324.65/324.90 c | 131182 | 784 3466 9068 | 22974 12002 174 | 66.338 % | 381.63/381.84 c | 196867 | 784 3466 9068 | 25272 15640 190 | 66.338 % | 542.75/543.05 c | 295393 | 784 3466 9068 | 27799 18856 843 | 66.338 % | 734.97/735.35 c | 443184 | 784 3466 9068 | 30579 15420 161 | 66.338 % | 1033.15/1033.61 c | 664867 | 784 3466 9068 | 33637 16299 430 | 66.338 % |
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-1875352-1245201120/watcher-1875352-1245201120 -o /tmp/evaluation-result-1875352-1245201120/solver-1875352-1245201120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875352-1245201120.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 13567 /proc/meminfo: memFree=1841808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=2796 CPUtime=0 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 187711752 2863104 238 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 699 238 126 292 0 374 0 [startup+0.104593 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13567 /proc/meminfo: memFree=1841808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=5416 CPUtime=0.09 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 951 0 0 0 9 0 0 0 18 0 1 0 187711752 5545984 905 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 1354 905 134 292 0 1059 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5416 [startup+0.201609 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13567 /proc/meminfo: memFree=1841808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=7516 CPUtime=0.19 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 1476 0 0 0 18 1 0 0 18 0 1 0 187711752 7696384 1430 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 1879 1430 134 292 0 1584 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7516 [startup+0.301625 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13567 /proc/meminfo: memFree=1841808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=9572 CPUtime=0.29 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 1989 0 0 0 28 1 0 0 19 0 1 0 187711752 9801728 1943 1992294400 134512640 135709839 4294956240 18446744073709551615 134605415 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 2393 1943 135 292 0 2098 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9572 [startup+0.701688 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13567 /proc/meminfo: memFree=1841808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=11976 CPUtime=0.69 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 2606 0 0 0 66 3 0 0 19 0 1 0 187711752 12263424 2560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 2994 2560 136 292 0 2699 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11976 [startup+1.50182 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1831560/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=13960 CPUtime=1.49 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 3098 0 0 0 144 5 0 0 25 0 1 0 187711752 14295040 3052 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 3490 3052 136 292 0 3195 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13960 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1827784/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=18324 CPUtime=3.09 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 4207 0 0 0 303 6 0 0 25 0 1 0 187711752 18763776 4161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 4581 4161 136 292 0 4286 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18324 [startup+6.30158 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1819208/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=26820 CPUtime=6.29 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 6308 0 0 0 620 9 0 0 25 0 1 0 187711752 27463680 6262 1992294400 134512640 135709839 4294956240 18446744073709551615 134573826 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 6705 6262 136 292 0 6410 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26820 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1808784/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=36360 CPUtime=12.68 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 8699 0 0 0 1254 14 0 0 25 0 1 0 187711752 37232640 8653 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 9090 8653 136 292 0 8795 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36360 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1781648/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=62428 CPUtime=25.48 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 15198 0 0 0 2522 26 0 0 25 0 1 0 187711752 63926272 15152 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 15607 15152 136 292 0 15312 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62428 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1753104/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=91568 CPUtime=51.07 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 22489 0 0 0 5063 44 0 0 25 0 1 0 187711752 93765632 22443 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 22892 22443 136 292 0 22597 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91568 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1628368/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=215052 CPUtime=102.25 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 53364 0 0 0 10140 85 0 0 25 0 1 0 187711752 220213248 53318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 53763 53318 136 292 0 53468 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 215052 [startup+162.301 s] /proc/loadavg: 1.08 1.02 1.01 2/65 13568 /proc/meminfo: memFree=1475536/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=368580 CPUtime=162.22 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 91738 0 0 0 16100 122 0 0 25 0 1 0 187711752 377425920 91692 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 92145 91692 136 292 0 91850 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 368580 [startup+222.305 s] /proc/loadavg: 1.10 1.03 1.00 2/65 13568 /proc/meminfo: memFree=1362832/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=479996 CPUtime=222.2 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 119608 0 0 0 22064 156 0 0 25 0 1 0 187711752 491515904 119562 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 119999 119562 136 292 0 119704 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 479996 [startup+282.302 s] /proc/loadavg: 1.04 1.02 1.00 2/65 13568 /proc/meminfo: memFree=1296720/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=546716 CPUtime=282.17 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 136302 0 0 0 28036 181 0 0 25 0 1 0 187711752 559837184 136256 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 136679 136256 136 292 0 136384 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 546716 [startup+342.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13568 /proc/meminfo: memFree=1202640/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=639904 CPUtime=342.14 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 159585 0 0 0 34004 210 0 0 25 0 1 0 187711752 655261696 159539 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 159976 159539 136 292 0 159681 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 639904 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13568 /proc/meminfo: memFree=1123216/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=720564 CPUtime=402.12 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 179722 0 0 0 39969 243 0 0 25 0 1 0 187711752 737857536 179676 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 180141 179676 136 292 0 179846 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 720564 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=1031760/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=811440 CPUtime=462.09 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 202400 0 0 0 45939 270 0 0 25 0 1 0 187711752 830914560 202354 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 202860 202354 136 292 0 202565 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 811440 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=960784/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=882764 CPUtime=522.07 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 220236 0 0 0 51920 287 0 0 25 0 1 0 187711752 903950336 220190 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 220691 220190 136 292 0 220396 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 882764 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=881296/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=961580 CPUtime=582.04 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 239913 0 0 0 57896 308 0 0 25 0 1 0 187711752 984657920 239867 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 240395 239867 136 292 0 240100 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 961580 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=765584/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1077716 CPUtime=642.02 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 268938 0 0 0 63862 340 0 0 25 0 1 0 187711752 1103581184 268892 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 269429 268892 136 292 0 269134 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 1077716 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=651984/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1190820 CPUtime=702 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 297188 0 0 0 69835 365 0 0 25 0 1 0 187711752 1219399680 297142 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 297705 297142 136 292 0 297410 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 1190820 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=553808/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1287824 CPUtime=761.97 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 321414 0 0 0 75799 398 0 0 25 0 1 0 187711752 1318731776 321368 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 321956 321368 136 292 0 321661 0 Current children cumulated CPU time (s) 761.97 Current children cumulated vsize (KiB) 1287824 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=471120/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1371124 CPUtime=821.94 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 342244 0 0 0 81769 425 0 0 25 0 1 0 187711752 1404030976 342198 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 342781 342198 136 292 0 342486 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 1371124 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=402576/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1438884 CPUtime=881.92 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 359174 0 0 0 87742 450 0 0 25 0 1 0 187711752 1473417216 359128 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 359721 359128 136 292 0 359426 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1438884 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=310992/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1531020 CPUtime=941.88 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 382174 0 0 0 93716 472 0 0 25 0 1 0 187711752 1567764480 382128 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 382755 382128 136 292 0 382460 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 1531020 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=218896/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1622740 CPUtime=1001.86 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 405108 0 0 0 99689 497 0 0 25 0 1 0 187711752 1661685760 405062 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 405685 405062 136 292 0 405390 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 1622740 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=101200/2055920 swapFree=4192812/4192956 [pid=13567] ppid=13565 vsize=1740624 CPUtime=1061.84 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 434555 0 0 0 105659 525 0 0 25 0 1 0 187711752 1782398976 434509 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 435156 434509 136 292 0 434861 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 1740624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=15888/2055920 swapFree=4191900/4192956 [pid=13567] ppid=13565 vsize=1828360 CPUtime=1121.8 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 456476 0 0 0 111631 549 0 0 25 0 1 0 187711752 1872240640 456430 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13567/statm: 457090 456430 136 292 0 456795 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 1828360 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=15824/2055920 swapFree=4191900/4192956 [pid=13567] ppid=13565 vsize=1843292 CPUtime=1132.45 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4194304 460227 0 0 0 112691 554 0 0 25 0 1 0 187711752 1887531008 460181 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 460823 460181 136 292 0 460528 0 Current children cumulated CPU time (s) 1132.45 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1133.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=15824/2055920 swapFree=4191900/4192956 [pid=13567] ppid=13565 vsize=0 CPUtime=1132.55 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4195332 460228 0 0 0 112691 564 0 0 25 0 1 0 187711752 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1132.55 Current children cumulated vsize (KiB) 0 [startup+1133.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13568 /proc/meminfo: memFree=15824/2055920 swapFree=4191900/4192956 [pid=13567] ppid=13565 vsize=0 CPUtime=1132.64 /proc/13567/stat : 13567 (wbo) R 13565 13567 13385 0 -1 4195332 460228 0 0 0 112691 573 0 0 25 0 1 0 187711752 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/13567/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1132.64 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1133.27 CPU time (s): 1132.72 CPU user time (s): 1126.92 CPU system time (s): 5.80512 CPU usage (%): 99.9516 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1126.92 system time used= 5.80512 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460228 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= 4 involuntary context switches= 3608 runsolver used 1.03484 second user time and 3.10753 second system time The end
Begin job on node26 at 2009-06-17 03:12:00 IDJOB=1875352 IDBENCH=48192 IDSOLVER=698 FILE ID=node26/1875352-1245201120 PBS_JOBID= 9368342 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_3.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-1875352-1245201120/watcher-1875352-1245201120 -o /tmp/evaluation-result-1875352-1245201120/solver-1875352-1245201120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875352-1245201120.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7197f7f0f9b455050f9ff30066ca0a9a RANDOM SEED=547051841 node26.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.263 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 : 5931.00 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.263 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: 1842352 kB Buffers: 47036 kB Cached: 101000 kB SwapCached: 0 kB Active: 91624 kB Inactive: 70376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842352 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2408 kB Writeback: 0 kB Mapped: 23756 kB Slab: 37584 kB Committed_AS: 172384 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875352-1245201120.opb Free space on /tmp at the end= 66156 MiB End job on node26 at 2009-06-17 03:30:56