Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1239.96 | 1240.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb |
MD5SUM | 009ec87aa7f9a2a2aeb136cc6734ca0d |
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 | 4.42533 |
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 | 43 |
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) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 1519 |
Sum of products size | 3038 |
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-1875346-1245200579.opb. 0.00/0.00 c Instance file HOME/instance-1875346-1245200579.opb 0.00/0.00 c File size is 120370 bytes. 0.00/0.01 c Highest Coefficient sum: 43 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: 1619 | 0.00/0.01 c | Number Clauses: 1619 | 0.00/0.01 c | Number Cardinality: 200 | 0.00/0.01 c | Number PB Constraints: 1519 | 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.016997 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #2 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: -98 0.01/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #3 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: -97 0.01/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #4 0.01/0.03 c Core size: 4 Core Weight: 1 Total Weight: -96 0.01/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #5 0.01/0.03 c Core size: 4 Core Weight: 1 Total Weight: -95 0.01/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #6 0.01/0.04 c Core size: 4 Core Weight: 1 Total Weight: -94 0.01/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #7 0.01/0.04 c Core size: 4 Core Weight: 1 Total Weight: -93 0.01/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #8 0.01/0.04 c Core size: 4 Core Weight: 1 Total Weight: -92 0.01/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #9 0.01/0.05 c Core size: 4 Core Weight: 1 Total Weight: -91 0.01/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #10 0.01/0.05 c Core size: 4 Core Weight: 1 Total Weight: -90 0.01/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #11 0.01/0.06 c Core size: 4 Core Weight: 1 Total Weight: -89 0.01/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #12 0.01/0.06 c Core size: 4 Core Weight: 1 Total Weight: -88 0.01/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #13 0.01/0.07 c Core size: 4 Core Weight: 1 Total Weight: -87 0.01/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #14 0.01/0.07 c Core size: 4 Core Weight: 1 Total Weight: -86 0.01/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #15 0.01/0.08 c Core size: 4 Core Weight: 1 Total Weight: -85 0.01/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #16 0.01/0.08 c Core size: 4 Core Weight: 1 Total Weight: -84 0.01/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #17 0.01/0.09 c Core size: 4 Core Weight: 1 Total Weight: -83 0.01/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #18 0.01/0.09 c Core size: 4 Core Weight: 1 Total Weight: -82 0.01/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.01/0.10 c core #19 0.01/0.10 c Core size: 4 Core Weight: 1 Total Weight: -81 0.01/0.10 c Elapsed CPU time: 0.097985 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.102984 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.124981 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.12998 s Remaining CPU time: 1799.87 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.134979 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.138978 s Remaining CPU time: 1799.86 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.143978 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.148977 s Remaining CPU time: 1799.85 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.152976 s Remaining CPU time: 1799.85 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.157975 s Remaining CPU time: 1799.84 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.162975 s Remaining CPU time: 1799.84 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.167974 s Remaining CPU time: 1799.83 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.172973 s Remaining CPU time: 1799.83 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.177972 s Remaining CPU time: 1799.82 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.182972 s Remaining CPU time: 1799.82 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.187971 s Remaining CPU time: 1799.81 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.19297 s Remaining CPU time: 1799.81 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.19697 s Remaining CPU time: 1799.8 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.201969 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.206968 s Remaining CPU time: 1799.79 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.211967 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.216967 s Remaining CPU time: 1799.78 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.221966 s Remaining CPU time: 1799.78 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.226965 s Remaining CPU time: 1799.77 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.231964 s Remaining CPU time: 1799.77 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.235964 s Remaining CPU time: 1799.76 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.240963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #50 0.19/0.25 c Core size: 14 Core Weight: 1 Total Weight: -50 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #51 0.19/0.25 c Core size: 18 Core Weight: 1 Total Weight: -49 0.19/0.25 c Elapsed CPU time: 0.251961 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 | 212 3389 7769 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #52 0.19/0.26 c Core size: 15 Core Weight: 1 Total Weight: -48 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 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 3390 7781 | 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.26196 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 | 224 3391 7793 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #54 0.19/0.27 c Core size: 22 Core Weight: 1 Total Weight: -46 0.19/0.27 c Elapsed CPU time: 0.266959 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 3392 7809 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #55 0.19/0.28 c Core size: 15 Core Weight: 1 Total Weight: -45 0.19/0.28 c Elapsed CPU time: 0.272958 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 | 238 3393 7821 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #56 0.19/0.28 c Core size: 15 Core Weight: 1 Total Weight: -44 0.19/0.28 c Elapsed CPU time: 0.276957 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 3394 7833 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #57 0.19/0.29 c Core size: 16 Core Weight: 1 Total Weight: -43 0.19/0.29 c Elapsed CPU time: 0.281957 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 | 250 3395 7845 | 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.287956 s Remaining CPU time: 1799.71 s 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 256 3396 7857 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #59 0.29/0.30 c Core size: 17 Core Weight: 1 Total Weight: -41 0.29/0.30 c Elapsed CPU time: 0.292955 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 | 262 3397 7869 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #60 0.29/0.30 c Core size: 21 Core Weight: 1 Total Weight: -40 0.29/0.30 c Elapsed CPU time: 0.298954 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 | 270 3398 7885 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #61 0.29/0.31 c Core size: 20 Core Weight: 1 Total Weight: -39 0.29/0.31 c Elapsed CPU time: 0.303953 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 | 278 3399 7901 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #62 0.29/0.31 c Core size: 15 Core Weight: 1 Total Weight: -38 0.29/0.31 c Elapsed CPU time: 0.307953 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 | 284 3400 7913 | 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.313952 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 | 291 3401 7927 | 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.317951 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 | 300 3402 7945 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #65 0.29/0.33 c Core size: 48 Core Weight: 1 Total Weight: -35 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 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 | 314 3403 7973 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 103 | 311 3403 7973 | 5500 103 24 | 85.706 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #66 0.29/0.34 c Core size: 134 Core Weight: 1 Total Weight: -34 0.29/0.34 c Elapsed CPU time: 0.332949 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 | 345 3404 8035 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 101 | 344 3404 8035 | 5500 101 32 | 81.545 % | 0.29/0.35 c | 251 | 344 3404 8035 | 6050 251 35 | 81.545 % | 0.29/0.36 c | 476 | 344 3404 8035 | 6655 475 36 | 81.545 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #67 0.29/0.38 c Core size: 161 Core Weight: 1 Total Weight: -33 0.29/0.38 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 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 | 372 3405 8089 | 5000 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #68 0.29/0.39 c Core size: 85 Core Weight: 1 Total Weight: -32 0.29/0.39 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 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 | 393 3406 8131 | 5000 0 nan | 0.000 % | 0.29/0.40 c | 102 | 393 3406 8131 | 5500 102 22 | 79.446 % | 0.39/0.40 c | 252 | 393 3406 8131 | 6050 252 24 | 79.446 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #69 0.39/0.41 c Core size: 188 Core Weight: 1 Total Weight: -31 0.39/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 433 3407 8211 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 100 | 432 3407 8211 | 5500 100 30 | 77.869 % | 0.39/0.42 c | 250 | 432 3407 8211 | 6050 250 48 | 77.869 % | 0.39/0.43 c | 475 | 431 3407 8211 | 6655 471 42 | 77.920 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #70 0.39/0.43 c Core size: 131 Core Weight: 1 Total Weight: -30 0.39/0.43 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 463 3408 8271 | 5000 0 nan | 0.000 % | 0.39/0.44 c | 102 | 463 3408 8271 | 5500 102 25 | 76.640 % | 0.39/0.45 c | 252 | 463 3408 8271 | 6050 252 33 | 76.640 % | 0.39/0.46 c | 479 | 463 3408 8271 | 6655 479 42 | 76.640 % | 0.39/0.48 c | 816 | 463 3408 8271 | 7320 816 46 | 76.640 % | 0.49/0.51 c | 1323 | 463 3408 8271 | 8052 1323 54 | 76.640 % | 0.49/0.56 c | 2085 | 463 3408 8271 | 8857 2085 53 | 76.640 % | 0.59/0.64 c =============================================================================== 0.59/0.66 c core #71 0.59/0.66 c Core size: 453 Core Weight: 1 Total Weight: -29 0.59/0.66 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 515 3409 8375 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 101 | 515 3409 8375 | 5500 101 35 | 74.680 % | 0.59/0.67 c | 252 | 515 3409 8375 | 6050 252 32 | 74.680 % | 0.59/0.68 c | 477 | 515 3409 8375 | 6655 477 28 | 74.680 % | 0.69/0.70 c | 814 | 514 3409 8375 | 7320 813 42 | 74.730 % | 0.69/0.73 c | 1320 | 514 3409 8375 | 8052 1319 57 | 74.730 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #72 0.69/0.78 c Core size: 483 Core Weight: 1 Total Weight: -28 0.69/0.78 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 568 3410 8481 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 100 | 568 3410 8481 | 5500 100 29 | 72.784 % | 0.69/0.80 c | 252 | 568 3410 8481 | 6050 252 39 | 72.784 % | 0.79/0.81 c | 477 | 568 3410 8481 | 6655 477 44 | 72.784 % | 0.79/0.83 c | 814 | 568 3410 8481 | 7320 814 49 | 72.784 % | 0.79/0.86 c | 1322 | 568 3410 8481 | 8052 1322 59 | 72.784 % | 0.89/0.95 c | 2081 | 568 3410 8481 | 8857 2081 89 | 72.784 % | 1.10/1.12 c | 3224 | 568 3410 8481 | 9743 3224 120 | 72.784 % | 1.29/1.33 c | 4932 | 568 3410 8481 | 10717 4932 110 | 72.784 % | 1.69/1.72 c | 7495 | 568 3410 8481 | 11789 7495 112 | 72.784 % | 2.69/2.78 c =============================================================================== 2.79/2.86 c core #73 2.79/2.86 c Core size: 790 Core Weight: 1 Total Weight: -27 2.79/2.86 c Elapsed CPU time: 2.80857 s Remaining CPU time: 1797.19 s 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 642 3411 8629 | 5000 0 nan | 0.000 % | 2.79/2.89 c | 101 | 642 3411 8629 | 5500 101 58 | 70.292 % | 2.79/2.89 c | 251 | 642 3411 8629 | 6050 251 44 | 70.292 % | 2.89/2.90 c | 476 | 642 3411 8629 | 6655 476 45 | 70.292 % | 2.89/2.92 c | 815 | 642 3411 8629 | 7320 815 50 | 70.292 % | 2.89/2.95 c | 1321 | 642 3411 8629 | 8052 1321 49 | 70.292 % | 2.99/3.00 c | 2082 | 642 3411 8629 | 8857 2082 48 | 70.292 % | 3.09/3.14 c | 3221 | 642 3411 8629 | 9743 3221 73 | 70.292 % | 3.29/3.38 c | 4930 | 642 3411 8629 | 10717 4930 89 | 70.292 % | 3.79/3.82 c | 7492 | 642 3411 8629 | 11789 7492 88 | 70.292 % | 4.48/4.58 c | 11337 | 642 3411 8629 | 12968 11337 98 | 70.292 % | 6.88/6.91 c | 17104 | 642 3411 8629 | 14265 9731 170 | 70.292 % | 10.59/10.64 c | 25754 | 642 3411 8629 | 15692 10434 207 | 70.292 % | 15.18/15.27 c =============================================================================== 15.58/15.63 c core #74 15.58/15.63 c Core size: 716 Core Weight: 1 Total Weight: -26 15.58/15.63 c Elapsed CPU time: 15.4816 s Remaining CPU time: 1784.52 s 15.58/15.68 c ============================[ Search Statistics ]============================== 15.58/15.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.58/15.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.58/15.68 c =============================================================================== 15.58/15.68 c | 0 | 707 3412 8759 | 5000 0 nan | 0.000 % | 15.58/15.69 c | 101 | 707 3412 8759 | 5500 101 53 | 68.239 % | 15.58/15.69 c | 251 | 707 3412 8759 | 6050 251 41 | 68.239 % | 15.69/15.70 c | 477 | 707 3412 8759 | 6655 477 44 | 68.239 % | 15.69/15.72 c | 814 | 707 3412 8759 | 7320 814 49 | 68.239 % | 15.69/15.77 c | 1321 | 707 3412 8759 | 8052 1321 71 | 68.239 % | 15.79/15.83 c | 2081 | 707 3412 8759 | 8857 2081 73 | 68.239 % | 15.89/15.98 c | 3220 | 707 3412 8759 | 9743 3220 86 | 68.239 % | 16.18/16.22 c | 4931 | 707 3412 8759 | 10717 4931 96 | 68.239 % | 16.39/16.49 c | 7496 | 707 3412 8759 | 11789 7496 86 | 68.239 % | 17.09/17.15 c | 11342 | 707 3412 8759 | 12968 11342 93 | 68.239 % | 18.89/18.94 c | 17109 | 707 3412 8759 | 14265 9770 125 | 68.239 % | 22.49/22.59 c | 25759 | 707 3412 8759 | 15692 10460 179 | 68.239 % | 27.28/27.33 c | 38734 | 707 3412 8759 | 17261 14771 203 | 68.239 % | 34.88/34.99 c | 58196 | 707 3412 8759 | 18987 15346 166 | 68.239 % | 60.97/61.06 c | 87390 | 707 3412 8759 | 20886 13550 371 | 68.239 % | 104.85/104.99 c | 131179 | 707 3412 8759 | 22974 12290 330 | 68.239 % | 159.43/159.50 c | 196867 | 707 3412 8759 | 25272 16487 441 | 68.239 % | 257.09/257.23 c | 295399 | 707 3412 8759 | 27799 20319 435 | 68.240 % | 307.07/307.22 c =============================================================================== 315.17/315.34 c core #75 315.17/315.34 c Core size: 1002 Core Weight: 1 Total Weight: -25 315.17/315.34 c Elapsed CPU time: 313.475 s Remaining CPU time: 1486.52 s 315.47/315.69 c ============================[ Search Statistics ]============================== 315.47/315.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 315.47/315.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 315.47/315.69 c =============================================================================== 315.47/315.69 c | 0 | 780 3413 8905 | 5000 0 nan | 0.000 % | 315.57/315.71 c | 100 | 780 3413 8905 | 5500 100 39 | 66.072 % | 315.57/315.72 c | 250 | 780 3413 8905 | 6050 250 41 | 66.072 % | 315.57/315.74 c | 476 | 780 3413 8905 | 6655 476 45 | 66.072 % | 315.57/315.80 c | 816 | 780 3413 8905 | 7320 816 53 | 66.072 % | 315.66/315.84 c | 1323 | 780 3413 8905 | 8052 1323 56 | 66.072 % | 315.77/315.95 c | 2082 | 780 3413 8905 | 8857 2082 89 | 66.072 % | 315.97/316.14 c | 3227 | 780 3413 8905 | 9743 3227 110 | 66.072 % | 316.46/316.67 c | 4937 | 780 3413 8905 | 10717 4937 139 | 66.072 % | 317.67/317.89 c | 7500 | 780 3413 8905 | 11789 7500 169 | 66.072 % | 319.47/319.68 c | 11344 | 780 3413 8905 | 12968 11344 179 | 66.072 % | 323.17/323.34 c | 17115 | 780 3413 8905 | 14265 9821 220 | 66.072 % | 329.55/329.76 c | 25764 | 780 3413 8905 | 15692 10525 225 | 66.072 % | 338.74/338.95 c | 38740 | 780 3413 8905 | 17261 14839 249 | 66.072 % | 350.63/350.89 c | 58201 | 780 3413 8905 | 18987 15323 185 | 66.072 % | 370.82/371.08 c | 87393 | 780 3413 8905 | 20886 13464 224 | 66.072 % | 416.31/416.50 c | 131186 | 780 3413 8905 | 22974 11991 247 | 66.072 % | 459.19/459.41 c | 196872 | 780 3413 8905 | 25272 15850 181 | 66.072 % | 540.25/540.53 c | 295399 | 780 3413 8905 | 27799 18840 160 | 66.072 % | 686.93/687.30 c | 443188 | 780 3413 8905 | 30579 27730 407 | 66.072 % | 913.72/914.27 c | 664872 | 780 3413 8905 | 33637 30622 515 | 66.072 % |
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-1875346-1245200579/watcher-1875346-1245200579 -o /tmp/evaluation-result-1875346-1245200579/solver-1875346-1245200579 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875346-1245200579.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.07 1.00 1.00 3/64 544 /proc/meminfo: memFree=1804216/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=2792 CPUtime=0 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 187655852 2859008 235 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 698 235 126 292 0 373 0 [startup+0.019912 s] /proc/loadavg: 1.07 1.00 1.00 3/64 544 /proc/meminfo: memFree=1804216/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=3368 CPUtime=0.01 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 442 0 0 0 1 0 0 0 18 0 1 0 187655852 3448832 396 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 842 398 134 292 0 547 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3368 [startup+0.101921 s] /proc/loadavg: 1.07 1.00 1.00 3/64 544 /proc/meminfo: memFree=1804216/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=5272 CPUtime=0.09 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 922 0 0 0 9 0 0 0 18 0 1 0 187655852 5398528 876 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 1318 877 134 292 0 1023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5272 [startup+0.301948 s] /proc/loadavg: 1.07 1.00 1.00 3/64 544 /proc/meminfo: memFree=1804216/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=9288 CPUtime=0.29 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 1946 0 0 0 29 0 0 0 19 0 1 0 187655852 9510912 1900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 2322 1900 135 292 0 2027 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9288 [startup+0.701991 s] /proc/loadavg: 1.07 1.00 1.00 3/64 544 /proc/meminfo: memFree=1804216/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=12168 CPUtime=0.69 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 2657 0 0 0 67 2 0 0 23 0 1 0 187655852 12460032 2611 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 3042 2611 136 292 0 2747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12168 [startup+1.50108 s] /proc/loadavg: 1.07 1.00 1.00 2/65 545 /proc/meminfo: memFree=1794224/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=14280 CPUtime=1.49 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 3191 0 0 0 145 4 0 0 23 0 1 0 187655852 14622720 3145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 3570 3145 136 292 0 3275 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14280 [startup+3.10127 s] /proc/loadavg: 1.07 1.00 1.00 2/65 545 /proc/meminfo: memFree=1789360/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=20644 CPUtime=3.09 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 4774 0 0 0 303 6 0 0 25 0 1 0 187655852 21139456 4728 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 5161 4728 136 292 0 4866 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20644 [startup+6.30165 s] /proc/loadavg: 1.06 1.00 1.00 2/65 545 /proc/meminfo: memFree=1783344/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=25408 CPUtime=6.29 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 5963 0 0 0 620 9 0 0 25 0 1 0 187655852 26017792 5917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 6352 5917 136 292 0 6057 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25408 [startup+12.7014 s] /proc/loadavg: 1.06 1.00 1.00 2/65 545 /proc/meminfo: memFree=1765496/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=42192 CPUtime=12.69 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 10139 0 0 0 1256 13 0 0 25 0 1 0 187655852 43204608 10093 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 10548 10093 136 292 0 10253 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42192 [startup+25.5019 s] /proc/loadavg: 1.04 1.00 1.00 2/65 545 /proc/meminfo: memFree=1738232/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=69148 CPUtime=25.48 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 16882 0 0 0 2523 25 0 0 25 0 1 0 187655852 70807552 16836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 17287 16836 136 292 0 16992 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 69148 [startup+51.1019 s] /proc/loadavg: 1.08 1.01 1.00 2/65 545 /proc/meminfo: memFree=1683000/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=124348 CPUtime=51.07 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 30676 0 0 0 5062 45 0 0 25 0 1 0 187655852 127332352 30630 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 31087 30630 136 292 0 30792 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124348 [startup+102.306 s] /proc/loadavg: 1.10 1.03 1.00 2/65 545 /proc/meminfo: memFree=1596600/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=209604 CPUtime=102.25 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 51992 0 0 0 10155 70 0 0 25 0 1 0 187655852 214634496 51946 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 52401 51946 136 292 0 52106 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 209604 [startup+162.302 s] /proc/loadavg: 1.09 1.04 1.00 2/65 545 /proc/meminfo: memFree=1463352/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=343064 CPUtime=162.23 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 85339 0 0 0 16118 105 0 0 25 0 1 0 187655852 351297536 85293 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 85766 85293 136 292 0 85471 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 343064 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/65 545 /proc/meminfo: memFree=1330808/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=475304 CPUtime=222.2 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 118376 0 0 0 22083 137 0 0 25 0 1 0 187655852 486711296 118330 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 118826 118330 136 292 0 118531 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 475304 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.00 2/65 545 /proc/meminfo: memFree=1212792/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=593628 CPUtime=282.18 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 147906 0 0 0 28057 161 0 0 25 0 1 0 187655852 607875072 147860 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 148407 147860 136 292 0 148112 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 593628 [startup+342.301 s] /proc/loadavg: 1.07 1.05 1.00 2/65 545 /proc/meminfo: memFree=1156920/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=648020 CPUtime=342.14 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 161646 0 0 0 34028 186 0 0 25 0 1 0 187655852 663572480 161571 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 162005 161571 136 292 0 161710 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 648020 [startup+402.301 s] /proc/loadavg: 1.07 1.05 1.00 2/65 545 /proc/meminfo: memFree=1125432/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=680180 CPUtime=402.12 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 169668 0 0 0 40005 207 0 0 25 0 1 0 187655852 696504320 169593 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 170045 169593 136 292 0 169750 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 680180 [startup+462.301 s] /proc/loadavg: 1.06 1.06 1.00 2/65 545 /proc/meminfo: memFree=1049336/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=756104 CPUtime=462.08 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 188644 0 0 0 45968 240 0 0 25 0 1 0 187655852 774250496 188569 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 189026 188569 136 292 0 188731 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 756104 [startup+522.301 s] /proc/loadavg: 1.06 1.06 1.00 2/65 545 /proc/meminfo: memFree=970616/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=835308 CPUtime=522.05 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 208418 0 0 0 51936 269 0 0 25 0 1 0 187655852 855355392 208343 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 208827 208343 136 292 0 208532 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 835308 [startup+582.301 s] /proc/loadavg: 1.13 1.07 1.01 2/65 545 /proc/meminfo: memFree=890424/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=914808 CPUtime=582.02 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 228256 0 0 0 57899 303 0 0 25 0 1 0 187655852 936763392 228181 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 228702 228181 136 292 0 228407 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 914808 [startup+642.301 s] /proc/loadavg: 1.12 1.07 1.00 2/65 545 /proc/meminfo: memFree=806328/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=998388 CPUtime=641.96 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 249118 0 0 0 63864 332 0 0 25 0 1 0 187655852 1022349312 249043 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/544/statm: 249597 249043 136 292 0 249302 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 998388 [startup+702.301 s] /proc/loadavg: 1.11 1.07 1.00 2/65 545 /proc/meminfo: memFree=725304/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1079484 CPUtime=701.93 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 269414 0 0 0 69834 359 0 0 25 0 1 0 187655852 1105391616 269339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 269871 269339 136 292 0 269576 0 Current children cumulated CPU time (s) 701.93 Current children cumulated vsize (KiB) 1079484 [startup+762.306 s] /proc/loadavg: 1.10 1.07 1.00 2/65 545 /proc/meminfo: memFree=657656/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1146880 CPUtime=761.91 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 286226 0 0 0 75803 388 0 0 25 0 1 0 187655852 1174405120 286151 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 286720 286151 136 292 0 286425 0 Current children cumulated CPU time (s) 761.91 Current children cumulated vsize (KiB) 1146880 [startup+822.302 s] /proc/loadavg: 1.09 1.07 1.00 2/65 545 /proc/meminfo: memFree=586104/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1219472 CPUtime=821.87 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 304374 0 0 0 81775 412 0 0 25 0 1 0 187655852 1248739328 304299 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 1 0 0 /proc/544/statm: 304868 304299 136 292 0 304573 0 Current children cumulated CPU time (s) 821.87 Current children cumulated vsize (KiB) 1219472 [startup+882.302 s] /proc/loadavg: 1.08 1.07 1.00 2/65 545 /proc/meminfo: memFree=495736/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1308628 CPUtime=881.83 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 326659 0 0 0 87738 445 0 0 25 0 1 0 187655852 1340035072 326584 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 327157 326584 136 292 0 326862 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 1308628 [startup+942.302 s] /proc/loadavg: 1.08 1.07 1.00 2/65 545 /proc/meminfo: memFree=400248/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1404556 CPUtime=941.81 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 350624 0 0 0 93707 474 0 0 25 0 1 0 187655852 1438265344 350549 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 351139 350549 136 292 0 350844 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 1404556 [startup+1002.3 s] /proc/loadavg: 1.07 1.07 1.00 2/65 545 /proc/meminfo: memFree=312376/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1492024 CPUtime=1001.77 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 372454 0 0 0 99678 499 0 0 25 0 1 0 187655852 1527832576 372379 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 373006 372379 136 292 0 372711 0 Current children cumulated CPU time (s) 1001.77 Current children cumulated vsize (KiB) 1492024 [startup+1062.3 s] /proc/loadavg: 1.07 1.07 1.00 2/65 545 /proc/meminfo: memFree=223032/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1581340 CPUtime=1061.75 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 394757 0 0 0 105652 523 0 0 25 0 1 0 187655852 1619292160 394682 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 395335 394682 136 292 0 395040 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 1581340 [startup+1122.3 s] /proc/loadavg: 1.06 1.06 1.00 2/65 545 /proc/meminfo: memFree=127352/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1677152 CPUtime=1121.73 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 418694 0 0 0 111625 548 0 0 25 0 1 0 187655852 1717403648 418619 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 419288 418619 136 292 0 418993 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 1677152 [startup+1182.3 s] /proc/loadavg: 1.06 1.06 1.00 2/65 545 /proc/meminfo: memFree=27640/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1778372 CPUtime=1181.7 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 443992 0 0 0 117595 575 0 0 25 0 1 0 187655852 1821052928 443917 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 444593 443917 136 292 0 444298 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 1778372 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1240.3 s] /proc/loadavg: 1.13 1.08 1.01 2/65 545 /proc/meminfo: memFree=15992/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=1843316 CPUtime=1239.69 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4194304 460218 0 0 0 123379 590 0 0 25 0 1 0 187655852 1887555584 460143 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 460829 460143 136 292 0 460534 0 Current children cumulated CPU time (s) 1239.69 Current children cumulated vsize (KiB) 1843316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1240.41 s] /proc/loadavg: 1.13 1.08 1.01 2/65 545 /proc/meminfo: memFree=15992/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=0 CPUtime=1239.79 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4195332 460218 0 0 0 123379 600 0 0 25 0 1 0 187655852 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1239.79 Current children cumulated vsize (KiB) 0 [startup+1240.5 s] /proc/loadavg: 1.13 1.08 1.01 2/65 545 /proc/meminfo: memFree=15992/2055920 swapFree=4182380/4192956 [pid=544] ppid=542 vsize=0 CPUtime=1239.88 /proc/544/stat : 544 (wbo) R 542 544 31677 0 -1 4195332 460218 0 0 0 123379 609 0 0 25 0 1 0 187655852 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/544/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1239.88 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1240.57 CPU time (s): 1239.96 CPU user time (s): 1233.79 CPU system time (s): 6.16506 CPU usage (%): 99.9507 Max. virtual memory (cumulated for all children) (KiB): 1843316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1233.79 system time used= 6.16506 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460218 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= 5152 runsolver used 1.18582 second user time and 2.31365 second system time The end
Begin job on node75 at 2009-06-17 03:02:59 IDJOB=1875346 IDBENCH=48186 IDSOLVER=698 FILE ID=node75/1875346-1245200579 PBS_JOBID= 9368304 Free space on /tmp= 66428 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_1.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-1875346-1245200579/watcher-1875346-1245200579 -o /tmp/evaluation-result-1875346-1245200579/solver-1875346-1245200579 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875346-1245200579.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 009ec87aa7f9a2a2aeb136cc6734ca0d RANDOM SEED=385663879 node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1804832 kB Buffers: 41620 kB Cached: 139356 kB SwapCached: 4596 kB Active: 71032 kB Inactive: 117772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804832 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 2528 kB Writeback: 0 kB Mapped: 13412 kB Slab: 48260 kB Committed_AS: 108604 kB PageTables: 1420 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-1875346-1245200579.opb Free space on /tmp at the end= 66424 MiB End job on node75 at 2009-06-17 03:23:42