Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-lin.rom.r.opb |
MD5SUM | 3183c84355c854880486b3d148840656 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 120 |
Best CPU time to get the best result obtained on this benchmark | 0.629903 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 120 |
Optimality of the best value was proved | YES |
Number of variables | 1076 |
Total number of constraints | 1030 |
Number of constraints which are clauses | 1030 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1076 |
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 | 1076 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1076 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876316-1245172549.opb. 0.00/0.00 c Instance file HOME/instance-1876316-1245172549.opb 0.00/0.00 c File size is 95666 bytes. 0.00/0.01 c Highest Coefficient sum: 41 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: 1076 | 0.00/0.01 c | Number Clauses: 2106 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 5 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #5 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 5 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #6 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 6 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #8 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: 8 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #9 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 9 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #10 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #11 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 11 0.00/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #12 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 12 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #13 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 13 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #14 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #15 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 15 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #16 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 16 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #17 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 17 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #18 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #19 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 19 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #20 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 20 0.00/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #21 0.00/0.06 c Core size: 12 Core Weight: 1 Total Weight: 21 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.09/0.11 c core #22 0.09/0.11 c Core size: 8 Core Weight: 1 Total Weight: 22 0.09/0.11 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.09/0.11 c core #23 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 23 0.09/0.11 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.09/0.11 c core #24 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 24 0.09/0.11 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.09/0.11 c core #25 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: 25 0.09/0.11 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.09/0.11 c core #26 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 26 0.09/0.11 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.09/0.11 c core #27 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 27 0.09/0.11 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.09/0.11 c core #28 0.09/0.11 c Core size: 20 Core Weight: 1 Total Weight: 28 0.09/0.11 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.09/0.11 c core #29 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 29 0.09/0.11 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.09/0.11 c core #30 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 30 0.09/0.11 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.09/0.11 c core #31 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 31 0.09/0.11 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.09/0.11 c core #32 0.09/0.11 c Core size: 11 Core Weight: 1 Total Weight: 32 0.09/0.11 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.09/0.11 c core #33 0.09/0.11 c Core size: 8 Core Weight: 1 Total Weight: 33 0.09/0.11 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #34 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 34 0.09/0.11 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #35 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.11 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #36 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 36 0.09/0.11 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #37 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 37 0.09/0.11 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #38 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 38 0.09/0.11 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #39 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 39 0.09/0.11 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #40 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 40 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #41 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 41 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #42 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 42 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #43 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 43 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #44 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 44 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #45 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 45 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #46 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 46 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #47 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 47 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #48 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 48 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #49 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 49 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #50 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 50 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #51 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 51 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #52 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 52 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #53 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 53 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #54 0.09/0.14 c Core size: 6 Core Weight: 1 Total Weight: 54 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #55 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 55 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #56 0.09/0.15 c Core size: 6 Core Weight: 1 Total Weight: 56 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #57 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #58 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: 58 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #59 0.09/0.15 c Core size: 10 Core Weight: 1 Total Weight: 59 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #60 0.09/0.16 c Core size: 10 Core Weight: 1 Total Weight: 60 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #61 0.09/0.16 c Core size: 5 Core Weight: 1 Total Weight: 61 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #62 0.09/0.16 c Core size: 5 Core Weight: 1 Total Weight: 62 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #63 0.09/0.17 c Core size: 11 Core Weight: 1 Total Weight: 63 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #64 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 64 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #65 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 65 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #66 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 66 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #67 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #68 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 68 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #69 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 69 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #70 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 70 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #71 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #72 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 72 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #73 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 73 0.09/0.19 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #74 0.09/0.20 c Core size: 7 Core Weight: 1 Total Weight: 74 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #75 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 75 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #76 0.19/0.20 c Core size: 8 Core Weight: 1 Total Weight: 76 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #77 0.19/0.20 c Core size: 7 Core Weight: 1 Total Weight: 77 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #78 0.19/0.21 c Core size: 5 Core Weight: 1 Total Weight: 78 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #79 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #80 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 80 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #81 0.19/0.22 c Core size: 7 Core Weight: 1 Total Weight: 81 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #82 0.19/0.22 c Core size: 5 Core Weight: 1 Total Weight: 82 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #83 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 83 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #84 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 84 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #85 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 85 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #86 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 86 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #87 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 87 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #88 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 88 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #89 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 89 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #90 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 90 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #91 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 91 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #92 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 92 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #93 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 93 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #94 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 94 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #95 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 95 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #96 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 96 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #97 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 97 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #98 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 98 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #99 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 99 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #100 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 100 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #101 0.19/0.27 c Core size: 8 Core Weight: 1 Total Weight: 101 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #102 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 102 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #103 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 103 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #104 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 104 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #105 0.19/0.29 c Core size: 10 Core Weight: 1 Total Weight: 105 0.19/0.29 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #106 0.19/0.29 c Core size: 14 Core Weight: 1 Total Weight: 106 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #107 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 107 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #108 0.19/0.30 c Core size: 8 Core Weight: 1 Total Weight: 108 0.19/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #109 0.29/0.30 c Core size: 22 Core Weight: 1 Total Weight: 109 0.29/0.30 c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #110 0.29/0.30 c Core size: 20 Core Weight: 1 Total Weight: 110 0.29/0.30 c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #111 0.29/0.31 c Core size: 59 Core Weight: 1 Total Weight: 111 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #112 0.29/0.31 c Core size: 10 Core Weight: 1 Total Weight: 112 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #113 0.29/0.31 c Core size: 34 Core Weight: 1 Total Weight: 113 0.29/0.31 c Elapsed CPU time: 0.311952 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 | 1137 2219 10453 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #114 0.29/0.32 c Core size: 80 Core Weight: 1 Total Weight: 114 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 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 | 1232 2220 10855 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 100 | 1203 2220 10855 | 5500 100 9 | 40.629 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #115 0.29/0.33 c Core size: 98 Core Weight: 1 Total Weight: 115 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 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 | 1347 2221 11274 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #116 0.29/0.33 c Core size: 76 Core Weight: 1 Total Weight: 116 0.29/0.33 c Elapsed CPU time: 0.330949 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 | 1429 2222 11489 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 100 | 1419 2222 11489 | 5500 100 8 | 27.034 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #117 0.29/0.35 c Core size: 163 Core Weight: 1 Total Weight: 117 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 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 | 1567 2223 11740 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 104 | 1558 2223 11740 | 5500 104 13 | 23.142 % | 0.29/0.37 c | 255 | 1544 2223 11740 | 6050 251 20 | 23.489 % | 0.29/0.39 c | 480 | 1542 2223 11740 | 6655 475 22 | 23.588 % | 0.39/0.41 c | 817 | 1540 2223 11740 | 7320 812 25 | 23.687 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #118 0.39/0.42 c Core size: 506 Core Weight: 1 Total Weight: 118 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2037 2224 12974 | 5000 0 nan | 0.000 % | 0.39/0.44 c | 100 | 2037 2224 12974 | 5500 100 30 | 14.232 % | 0.39/0.46 c | 251 | 2037 2224 12974 | 6050 251 31 | 14.232 % | 0.49/0.51 c | 478 | 2037 2224 12974 | 6655 478 39 | 14.232 % | 0.49/0.54 c | 815 | 2037 2224 12974 | 7320 815 41 | 14.232 % | 0.59/0.64 c | 1322 | 2037 2224 12974 | 8052 1322 45 | 14.232 % | 0.79/0.80 c | 2082 | 2037 2224 12974 | 8857 2082 45 | 14.232 % | 1.09/1.12 c | 3221 | 2037 2224 12974 | 9743 3221 67 | 14.232 % | 1.69/1.74 c | 4930 | 2037 2224 12974 | 10717 4930 77 | 14.232 % | 2.79/2.87 c | 7492 | 2037 2224 12974 | 11789 7492 88 | 14.232 % | 4.49/4.59 c | 11336 | 2037 2224 12974 | 12968 11336 100 | 14.232 % | 7.19/7.24 c | 17102 | 2037 2224 12974 | 14265 10364 117 | 14.232 % | 12.09/12.14 c | 25751 | 2037 2224 12974 | 15692 11615 126 | 14.232 % | 15.98/16.01 c =============================================================================== 16.28/16.39 c core #119 16.28/16.39 c Core size: 1020 Core Weight: 1 Total Weight: 119 16.28/16.39 c Elapsed CPU time: 16.1995 s Remaining CPU time: 1783.8 s 16.39/16.43 c ============================[ Search Statistics ]============================== 16.39/16.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.39/16.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.39/16.43 c =============================================================================== 16.39/16.43 c | 0 | 2854 2225 14689 | 5000 0 nan | 0.000 % | 16.39/16.44 c | 105 | 2854 2225 14689 | 5500 105 24 | 6.797 % | 16.39/16.48 c | 255 | 2854 2225 14689 | 6050 255 24 | 6.793 % | 16.50/16.53 c | 480 | 2854 2225 14689 | 6655 480 37 | 6.793 % | 16.59/16.62 c | 817 | 2854 2225 14689 | 7320 817 52 | 6.793 % | 16.69/16.78 c | 1323 | 2854 2225 14689 | 8052 1323 73 | 6.793 % | 16.79/16.88 c | 2082 | 2854 2225 14689 | 8857 2082 91 | 6.793 % | 17.09/17.18 c | 3221 | 2852 2225 14689 | 9743 3220 104 | 6.858 % | 17.69/17.79 c | 4929 | 2852 2225 14689 | 10717 4928 117 | 6.858 % | 18.78/18.87 c | 7499 | 2852 2225 14689 | 11789 7498 135 | 6.858 % | 21.68/21.71 c | 11343 | 2850 2225 14689 | 12968 11341 132 | 6.924 % | 25.68/25.79 c | 17109 | 2850 2225 14689 | 14265 10342 157 | 6.924 % | 31.39/31.49 c | 25762 | 2850 2225 14689 | 15692 11601 209 | 6.924 % | 41.78/41.86 c | 38739 | 2850 2225 14689 | 17261 8416 200 | 6.924 % | 59.17/59.28 c | 58200 | 2850 2225 14689 | 18987 10017 197 | 6.924 % | 81.57/81.68 c | 87393 | 2850 2225 14689 | 20886 19717 198 | 6.924 % | 120.86/120.94 c | 131190 | 2850 2225 14689 | 22974 20599 225 | 6.924 % | 185.74/185.84 c | 196874 | 2850 2225 14689 | 25272 15649 267 | 6.924 % | 327.61/327.74 c | 295401 | 2850 2225 14689 | 27799 22888 314 | 6.924 % | 549.65/549.83 c | 443195 | 2850 2225 14689 | 30579 24909 327 | 6.924 % | 887.87/888.16 c | 664879 | 2850 2225 14689 | 33637 31292 317 | 6.924 % | 1503.31/1503.77 c | 997409 | 2850 2225 14689 | 37001 23022 280 | 6.924 % | 1543.80/1544.28 c =============================================================================== 1574.99/1575.44 c core #120 1574.99/1575.44 c Core size: 1469 Core Weight: 1 Total Weight: 120 1574.99/1575.44 c Elapsed CPU time: 1568.01 s Remaining CPU time: 231.99 s 1576.09/1576.56 c ============================[ Search Statistics ]============================== 1576.09/1576.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1576.09/1576.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1576.09/1576.56 c =============================================================================== 1576.09/1576.56 c | 0 | 3859 2226 16708 | 5000 0 nan | 0.000 % | 1576.19/1576.64 c | 100 | 3859 2226 16708 | 5500 100 78 | 2.796 % | 1576.39/1576.81 c | 251 | 3859 2226 16708 | 6050 251 59 | 2.796 % | 1576.50/1576.98 c | 482 | 3859 2226 16708 | 6655 482 67 | 2.796 % | 1577.00/1577.46 c | 820 | 3859 2226 16708 | 7320 820 102 | 2.796 % | 1577.19/1577.68 c | 1326 | 3859 2226 16708 | 8052 1326 123 | 2.796 % | 1577.39/1577.89 c | 2085 | 3859 2226 16708 | 8857 2085 141 | 2.796 % | 1577.79/1578.27 c | 3227 | 3859 2226 16708 | 9743 3227 151 | 2.796 % | 1578.49/1578.94 c | 4936 | 3859 2226 16708 | 10717 4936 158 | 2.796 % | 1579.99/1580.44 c | 7498 | 3859 2226 16708 | 11789 7498 186 | 2.796 % | 1582.40/1582.83 c | 11342 | 3859 2226 16708 | 12968 11342 205 | 2.796 % | 1586.69/1587.15 c | 17109 | 3859 2226 16708 | 14265 10331 240 | 2.796 % | 1597.69/1598.13 c | 25759 | 3859 2226 16708 | 15692 11626 269 | 2.796 % | 1608.89/1609.39 c | 38733 | 3859 2226 16708 | 17261 15760 400 | 2.796 % | 1634.38/1634.83 c | 58195 | 3859 2226 16708 | 18987 17159 482 | 2.796 % | 1662.57/1663.06 c | 87387 | 3859 2226 16708 | 20886 16635 415 | 2.796 % | 1724.66/1725.17 c | 131177 | 3859 2226 16708 | 22974 17555 319 | 2.796 % |
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-1876316-1245172549/watcher-1876316-1245172549 -o /tmp/evaluation-result-1876316-1245172549/solver-1876316-1245172549 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876316-1245172549.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: 0.95 0.98 0.99 3/64 32043 /proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=2764 CPUtime=0 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 232 0 0 0 0 0 0 0 18 0 1 0 184850360 2830336 216 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 691 216 127 292 0 372 0 [startup+0.069155 s] /proc/loadavg: 0.95 0.98 0.99 3/64 32043 /proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=3180 CPUtime=0.06 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 381 0 0 0 6 0 0 0 18 0 1 0 184850360 3256320 341 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 795 341 133 292 0 500 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3180 [startup+0.101154 s] /proc/loadavg: 0.95 0.98 0.99 3/64 32043 /proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=3100 CPUtime=0.09 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 392 0 0 0 9 0 0 0 18 0 1 0 184850360 3174400 352 1992294400 134512640 135709839 4294956240 18446744073709551615 135166317 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 775 352 133 292 0 480 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.30117 s] /proc/loadavg: 0.95 0.98 0.99 3/64 32043 /proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=3364 CPUtime=0.29 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 461 0 0 0 29 0 0 0 19 0 1 0 184850360 3444736 421 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 841 421 134 292 0 546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3364 [startup+0.701209 s] /proc/loadavg: 0.95 0.98 0.99 3/64 32043 /proc/meminfo: memFree=1428464/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=4092 CPUtime=0.69 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 624 0 0 0 67 2 0 0 22 0 1 0 184850360 4190208 584 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 1023 584 136 292 0 728 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4092 [startup+1.50129 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1425768/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=5940 CPUtime=1.49 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 1106 0 0 0 146 3 0 0 25 0 1 0 184850360 6082560 1066 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 1485 1066 136 292 0 1190 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5940 [startup+3.10144 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1423272/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=9108 CPUtime=3.09 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 1878 0 0 0 305 4 0 0 25 0 1 0 184850360 9326592 1838 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 2277 1838 136 292 0 1982 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9108 [startup+6.30176 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1416808/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=15364 CPUtime=6.29 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 3431 0 0 0 621 8 0 0 25 0 1 0 184850360 15732736 3391 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 3841 3391 136 292 0 3546 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15364 [startup+12.7014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1405040/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=26720 CPUtime=12.69 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 6285 0 0 0 1253 16 0 0 25 0 1 0 184850360 27361280 6245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 6680 6245 136 292 0 6385 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26720 [startup+25.5027 s] /proc/loadavg: 0.97 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1394352/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=36336 CPUtime=25.49 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 8689 0 0 0 2522 27 0 0 25 0 1 0 184850360 37208064 8649 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 9084 8649 136 292 0 8789 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36336 [startup+51.1022 s] /proc/loadavg: 0.98 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1354672/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=76732 CPUtime=51.08 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 18776 0 0 0 5060 48 0 0 25 0 1 0 184850360 78573568 18736 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 19183 18736 136 292 0 18888 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76732 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1277488/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=153068 CPUtime=102.27 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 37845 0 0 0 10143 84 0 0 25 0 1 0 184850360 156741632 37805 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 38267 37805 136 292 0 37972 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 153068 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1186096/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=244856 CPUtime=162.25 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 60802 0 0 0 16102 123 0 0 25 0 1 0 184850360 250732544 60762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 61214 60762 136 292 0 60919 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 244856 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1111792/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=318456 CPUtime=222.23 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 79183 0 0 0 22071 152 0 0 25 0 1 0 184850360 326098944 79143 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 79614 79143 136 292 0 79319 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 318456 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=1039664/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=391376 CPUtime=282.22 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 97399 0 0 0 28039 183 0 0 25 0 1 0 184850360 400769024 97359 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 97844 97359 136 292 0 97549 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 391376 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=965360/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=464920 CPUtime=342.2 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 115769 0 0 0 34009 211 0 0 25 0 1 0 184850360 476078080 115729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 116230 115729 136 292 0 115935 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 464920 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=885808/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=545196 CPUtime=402.19 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 135848 0 0 0 39981 238 0 0 25 0 1 0 184850360 558280704 135808 1992294400 134512640 135709839 4294956240 18446744073709551615 134579141 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 136299 135808 136 292 0 136004 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 545196 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=802032/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=628308 CPUtime=462.18 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 156589 0 0 0 45950 268 0 0 25 0 1 0 184850360 643387392 156549 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 157077 156549 136 292 0 156782 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 628308 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=732080/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=698728 CPUtime=522.16 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 174164 0 0 0 51922 294 0 0 25 0 1 0 184850360 715497472 174124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 174682 174124 136 292 0 174387 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 698728 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=657264/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=772960 CPUtime=582.14 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 192694 0 0 0 57889 325 0 0 25 0 1 0 184850360 791511040 192654 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 193240 192654 136 292 0 192945 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 772960 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=586352/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=842948 CPUtime=642.13 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 210216 0 0 0 63864 349 0 0 25 0 1 0 184850360 863178752 210176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 210737 210176 136 292 0 210442 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 842948 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=255088/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=1174748 CPUtime=942.05 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 293067 0 0 0 93734 471 0 0 25 0 1 0 184850360 1202941952 293027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 293687 293027 136 292 0 293392 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1174748 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=197424/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=1231856 CPUtime=1002.04 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 307283 0 0 0 99712 492 0 0 25 0 1 0 184850360 1261420544 307243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 307964 307243 136 292 0 307669 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1231856 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=134704/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=1295476 CPUtime=1062.02 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 323181 0 0 0 105688 514 0 0 25 0 1 0 184850360 1326567424 323141 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 323869 323141 136 292 0 323574 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1295476 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=67184/2055920 swapFree=4182324/4192956 [pid=32043] ppid=32041 vsize=1362084 CPUtime=1122.01 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 339832 0 0 0 111667 534 0 0 25 0 1 0 184850360 1394774016 339792 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 340521 339792 136 292 0 340226 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1362084 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=14896/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1435688 CPUtime=1181.99 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 358225 0 0 0 117641 558 0 0 25 0 1 0 184850360 1470144512 358185 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 358922 358185 136 292 0 358627 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1435688 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=16304/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1497304 CPUtime=1241.97 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 373610 0 0 0 123620 577 0 0 25 0 1 0 184850360 1533239296 373570 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 374326 373570 136 292 0 374031 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1497304 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15728/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1557180 CPUtime=1301.97 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 388575 0 0 0 129595 602 0 0 25 0 1 0 184850360 1594552320 388535 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 389295 388535 136 292 0 389000 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1557180 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15472/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1618964 CPUtime=1361.95 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 404030 0 0 0 135567 628 0 0 25 0 1 0 184850360 1657819136 403990 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 404741 403990 136 292 0 404446 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1618964 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1681780 CPUtime=1421.94 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 419731 0 0 0 141539 655 0 0 25 0 1 0 184850360 1722142720 419691 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 420445 419691 136 292 0 420150 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1681780 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=16176/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1749364 CPUtime=1481.92 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 436601 0 0 0 147513 679 0 0 25 0 1 0 184850360 1791348736 436561 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 437341 436561 136 292 0 437046 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1749364 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=14960/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1801796 CPUtime=1541.9 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 449699 0 0 0 153491 699 0 0 25 0 1 0 184850360 1845039104 449659 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 450449 449659 136 292 0 450154 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1801796 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1827004 CPUtime=1601.89 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456060 0 0 0 159464 725 0 0 25 0 1 0 184850360 1870852096 455984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 456751 455984 136 292 0 456456 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1827004 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1827004 CPUtime=1661.88 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456061 0 0 0 165438 750 0 0 25 0 1 0 184850360 1870852096 455985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 456751 455985 136 292 0 456456 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1827004 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15536/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1827004 CPUtime=1721.85 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456063 0 0 0 171416 769 0 0 25 0 1 0 184850360 1870852096 455987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 456751 455987 136 292 0 456456 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1827004 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15792/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1827004 CPUtime=1781.85 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456389 0 0 0 177396 789 0 0 25 0 1 0 184850360 1870852096 456313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 456751 456313 136 292 0 456456 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1827004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32044 /proc/meminfo: memFree=15792/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=1827004 CPUtime=1800.04 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4194304 456390 0 0 0 179210 794 0 0 25 0 1 0 184850360 1870852096 456314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 456751 456314 136 292 0 456456 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1827004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/66 32045 /proc/meminfo: memFree=684660/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=0 CPUtime=1800.14 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4195332 456390 0 0 0 179210 804 0 0 25 0 1 0 184850360 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/66 32045 /proc/meminfo: memFree=684660/2055920 swapFree=4182328/4192956 [pid=32043] ppid=32041 vsize=0 CPUtime=1800.24 /proc/32043/stat : 32043 (wbo) R 32041 32043 31469 0 -1 4195332 456390 0 0 0 179210 814 0 0 25 0 1 0 184850360 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32043/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.33 CPU user time (s): 1792.11 CPU system time (s): 8.22175 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1827168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.11 system time used= 8.22175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456390 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1760 runsolver used 1.51477 second user time and 3.9394 second system time The end
Begin job on node60 at 2009-06-16 19:15:49 IDJOB=1876316 IDBENCH=2871 IDSOLVER=698 FILE ID=node60/1876316-1245172549 PBS_JOBID= 9363873 Free space on /tmp= 66436 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.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-1876316-1245172549/watcher-1876316-1245172549 -o /tmp/evaluation-result-1876316-1245172549/solver-1876316-1245172549 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876316-1245172549.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3183c84355c854880486b3d148840656 RANDOM SEED=2032693342 node60.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.231 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.231 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: 1428880 kB Buffers: 59524 kB Cached: 484740 kB SwapCached: 5992 kB Active: 319492 kB Inactive: 234264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1428880 kB SwapTotal: 4192956 kB SwapFree: 4182324 kB Dirty: 2640 kB Writeback: 0 kB Mapped: 14012 kB Slab: 59268 kB Committed_AS: 77952 kB PageTables: 1452 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-1876316-1245172549.opb Free space on /tmp at the end= 66432 MiB End job on node60 at 2009-06-16 19:45:52