Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1235.42 | 1235.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 2.80357 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
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 | 80 |
Number of terms in the objective function | 4676 |
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 | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680769-1277453509.opb. 0.00/0.00 c Instance file HOME/instance-2680769-1277453509.opb 0.00/0.00 c File size is 127509 bytes. 0.00/0.02 c Highest Coefficient sum: 81 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 4676 | 0.00/0.02 c | Number Clauses: 398 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.02/0.02 c ============================[ Search Statistics ]============================== 0.02/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 4676 398 9563 | 5000 0 nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 173 0.02/0.03 o 173 0.02/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 0 | 4676 399 14239 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 172 0.02/0.04 o 172 0.02/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 4676 400 18915 | 5000 0 nan | 0.000 % | 0.02/0.08 c | 100 | 4676 400 18915 | 5500 100 216 | 0.000 % | 0.09/0.18 c | 253 | 4676 400 18915 | 6050 253 206 | 0.000 % | 0.29/0.30 c | 478 | 4676 400 18915 | 6655 478 210 | 0.000 % | 0.39/0.43 c | 815 | 4676 400 18915 | 7320 815 210 | 0.000 % | 0.59/0.63 c | 1321 | 4676 400 18915 | 8052 1321 218 | 0.000 % | 0.89/0.96 c | 2081 | 4676 400 18915 | 8857 2081 219 | 0.000 % | 1.39/1.40 c | 3220 | 4676 400 18915 | 9743 3220 217 | 0.000 % | 2.20/2.28 c | 4929 | 4676 400 18915 | 10717 4929 221 | 0.000 % | 3.69/3.72 c | 7494 | 4676 400 18915 | 11789 7494 220 | 0.000 % | 5.89/5.90 c | 11338 | 4676 400 18915 | 12968 11338 218 | 0.000 % | 9.89/9.97 c | 17104 | 4676 400 18915 | 14265 9026 217 | 0.000 % | 15.89/15.91 c | 25755 | 4676 400 18915 | 15692 8939 216 | 0.000 % | 21.28/21.36 c | 38730 | 4676 400 18915 | 17261 11928 224 | 0.000 % | 31.98/32.03 c | 58191 | 4676 400 18915 | 18987 20473 215 | 0.000 % | 47.97/48.00 c | 87384 | 4676 400 18915 | 20886 14857 220 | 0.000 % | 71.67/71.72 c | 131173 | 4676 400 18915 | 22974 15445 226 | 0.000 % | 114.85/114.91 c | 196857 | 4676 400 18915 | 25272 15991 218 | 0.000 % | 166.24/166.37 c | 295384 | 4676 400 18915 | 27799 21409 225 | 0.000 % | 181.14/181.29 c There are 0 assigned variables. 0 in cost function. 182.14/182.24 c core #1 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 25 Core Weight: 1 Total Weight: 1 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #2 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 21 Core Weight: 1 Total Weight: 2 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #3 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 11 Core Weight: 1 Total Weight: 3 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #4 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 4 Core Weight: 1 Total Weight: 4 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #5 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 31 Core Weight: 1 Total Weight: 5 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #6 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 14 Core Weight: 1 Total Weight: 6 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #7 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 8 Core Weight: 1 Total Weight: 7 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #8 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 28 Core Weight: 1 Total Weight: 8 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #9 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 22 Core Weight: 1 Total Weight: 9 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #10 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 19 Core Weight: 1 Total Weight: 10 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #11 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 20 Core Weight: 1 Total Weight: 11 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #12 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 22 Core Weight: 1 Total Weight: 12 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #13 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 28 Core Weight: 1 Total Weight: 13 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #14 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 31 Core Weight: 1 Total Weight: 14 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #15 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 22 Core Weight: 1 Total Weight: 15 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #16 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 17 Core Weight: 1 Total Weight: 16 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #17 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 23 Core Weight: 1 Total Weight: 17 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #18 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 16 Core Weight: 1 Total Weight: 18 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #19 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 9 Core Weight: 1 Total Weight: 19 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #20 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 34 Core Weight: 1 Total Weight: 20 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #21 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 17 Core Weight: 1 Total Weight: 21 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #22 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 28 Core Weight: 1 Total Weight: 22 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #23 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 21 Core Weight: 1 Total Weight: 23 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #24 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 11 Core Weight: 1 Total Weight: 24 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #25 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 22 Core Weight: 1 Total Weight: 25 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #26 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 11 Core Weight: 1 Total Weight: 26 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #27 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 15 Core Weight: 1 Total Weight: 27 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #28 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 30 Core Weight: 1 Total Weight: 28 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #29 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 46 Core Weight: 1 Total Weight: 29 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #30 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 28 Core Weight: 1 Total Weight: 30 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #31 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 24 Core Weight: 1 Total Weight: 31 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #32 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 6 Core Weight: 1 Total Weight: 32 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #33 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 17 Core Weight: 1 Total Weight: 33 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #34 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 21 Core Weight: 1 Total Weight: 34 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #35 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 17 Core Weight: 1 Total Weight: 35 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #36 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 40 Core Weight: 1 Total Weight: 36 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #37 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 12 Core Weight: 1 Total Weight: 37 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #38 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 31 Core Weight: 1 Total Weight: 38 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #39 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 7 Core Weight: 1 Total Weight: 39 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #40 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 16 Core Weight: 1 Total Weight: 40 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #41 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 3 Core Weight: 1 Total Weight: 41 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #42 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 21 Core Weight: 1 Total Weight: 42 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #43 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 9 Core Weight: 1 Total Weight: 43 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #44 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 10 Core Weight: 1 Total Weight: 44 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c core #45 182.14/182.24 c 182.14/182.24 c 182.14/182.24 c Core size: 33 Core Weight: 1 Total Weight: 45 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #46 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 18 Core Weight: 1 Total Weight: 46 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #47 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 19 Core Weight: 1 Total Weight: 47 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #48 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 5 Core Weight: 1 Total Weight: 48 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #49 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 14 Core Weight: 1 Total Weight: 49 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #50 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 21 Core Weight: 1 Total Weight: 50 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #51 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 9 Core Weight: 1 Total Weight: 51 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #52 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 11 Core Weight: 1 Total Weight: 52 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #53 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 10 Core Weight: 1 Total Weight: 53 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #54 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 17 Core Weight: 1 Total Weight: 54 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #55 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 16 Core Weight: 1 Total Weight: 55 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #56 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 13 Core Weight: 1 Total Weight: 56 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #57 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 4 Core Weight: 1 Total Weight: 57 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #58 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 15 Core Weight: 1 Total Weight: 58 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #59 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 15 Core Weight: 1 Total Weight: 59 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c core #60 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 19 Core Weight: 1 Total Weight: 60 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #61 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 27 Core Weight: 1 Total Weight: 61 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #62 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 6 Core Weight: 1 Total Weight: 62 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #63 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 18 Core Weight: 1 Total Weight: 63 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #64 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 13 Core Weight: 1 Total Weight: 64 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #65 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 18 Core Weight: 1 Total Weight: 65 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #66 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 14 Core Weight: 1 Total Weight: 66 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #67 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 18 Core Weight: 1 Total Weight: 67 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #68 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 19 Core Weight: 1 Total Weight: 68 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #69 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 9 Core Weight: 1 Total Weight: 69 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #70 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 23 Core Weight: 1 Total Weight: 70 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #71 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 12 Core Weight: 1 Total Weight: 71 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #72 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 10 Core Weight: 1 Total Weight: 72 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #73 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 11 Core Weight: 1 Total Weight: 73 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #74 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 7 Core Weight: 1 Total Weight: 74 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #75 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 13 Core Weight: 1 Total Weight: 75 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #76 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 17 Core Weight: 1 Total Weight: 76 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #77 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 14 Core Weight: 1 Total Weight: 77 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #78 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 25 Core Weight: 1 Total Weight: 78 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #79 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 6 Core Weight: 1 Total Weight: 79 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #80 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 28 Core Weight: 1 Total Weight: 80 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #81 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 10 Core Weight: 1 Total Weight: 81 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #82 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 31 Core Weight: 1 Total Weight: 82 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #83 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 15 Core Weight: 1 Total Weight: 83 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #84 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 21 Core Weight: 1 Total Weight: 84 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #85 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 21 Core Weight: 1 Total Weight: 85 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #86 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 12 Core Weight: 1 Total Weight: 86 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #87 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 17 Core Weight: 1 Total Weight: 87 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #88 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 31 Core Weight: 1 Total Weight: 88 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #89 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 26 Core Weight: 1 Total Weight: 89 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #90 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 16 Core Weight: 1 Total Weight: 90 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #91 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 13 Core Weight: 1 Total Weight: 91 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #92 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 19 Core Weight: 1 Total Weight: 92 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #93 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 7 Core Weight: 1 Total Weight: 93 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #94 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 7 Core Weight: 1 Total Weight: 94 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #95 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 7 Core Weight: 1 Total Weight: 95 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #96 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 16 Core Weight: 1 Total Weight: 96 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #97 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 30 Core Weight: 1 Total Weight: 97 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #98 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 11 Core Weight: 1 Total Weight: 98 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #99 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 9 Core Weight: 1 Total Weight: 99 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #100 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 37 Core Weight: 1 Total Weight: 100 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #101 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 40 Core Weight: 1 Total Weight: 101 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #102 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 36 Core Weight: 1 Total Weight: 102 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #103 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 24 Core Weight: 1 Total Weight: 103 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c core #104 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c Core size: 95 Core Weight: 1 Total Weight: 104 182.63/182.79 c 182.63/182.79 c 182.63/182.79 c ============================[ Search Statistics ]============================== 182.63/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.79 c =============================================================================== 182.63/182.79 c | 0 | 3247 5180 24256 | 5000 0 nan | 0.000 % | 182.63/182.79 c =============================================================================== 182.73/182.81 c core #105 182.73/182.81 c 182.73/182.81 c 182.73/182.81 c Core size: 71 Core Weight: 1 Total Weight: 105 182.73/182.81 c 182.73/182.81 c 182.73/182.81 c ============================[ Search Statistics ]============================== 182.73/182.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.81 c =============================================================================== 182.73/182.81 c | 0 | 3461 5181 24463 | 5000 0 nan | 0.000 % | 182.73/182.81 c =============================================================================== 182.73/182.83 c core #106 182.73/182.83 c 182.73/182.83 c 182.73/182.83 c Core size: 56 Core Weight: 1 Total Weight: 106 182.73/182.83 c 182.73/182.83 c 182.73/182.83 c ============================[ Search Statistics ]============================== 182.73/182.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.83 c =============================================================================== 182.73/182.83 c | 0 | 3627 5182 24653 | 5000 0 nan | 0.000 % | 182.73/182.84 c | 100 | 3623 5182 24653 | 5500 100 15 | 45.445 % | 182.73/182.85 c =============================================================================== 182.73/182.87 c core #107 182.73/182.87 c 182.73/182.87 c 182.73/182.87 c Core size: 375 Core Weight: 1 Total Weight: 107 182.73/182.87 c 182.73/182.87 c 182.73/182.87 c ============================[ Search Statistics ]============================== 182.73/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.87 c =============================================================================== 182.73/182.87 c | 0 | 4265 5183 25572 | 5000 0 nan | 0.000 % | 182.83/182.90 c | 101 | 4257 5183 25572 | 5500 101 12 | 39.637 % | 182.83/182.93 c | 257 | 4222 5183 25572 | 6050 178 19 | 42.578 % | 182.83/182.93 c =============================================================================== 182.83/182.95 c core #108 182.83/182.95 c 182.83/182.95 c 182.83/182.95 c Core size: 237 Core Weight: 1 Total Weight: 108 182.83/182.95 c 182.83/182.95 c 182.83/182.95 c ============================[ Search Statistics ]============================== 182.83/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.95 c =============================================================================== 182.83/182.95 c | 0 | 4573 5184 26110 | 5000 0 nan | 0.000 % | 182.83/182.96 c | 100 | 4573 5184 26110 | 5500 100 33 | 36.802 % | 182.83/182.99 c | 250 | 4566 5184 26110 | 6050 250 41 | 36.899 % | 182.93/183.04 c | 475 | 4553 5184 26110 | 6655 468 44 | 37.078 % | 183.04/183.12 c | 812 | 4538 5184 26110 | 7320 762 49 | 37.341 % | 183.13/183.26 c | 1318 | 4523 5184 26110 | 8052 1246 99 | 37.493 % | 183.23/183.32 c =============================================================================== 183.23/183.35 c core #109 183.23/183.35 c 183.23/183.35 c 183.23/183.35 c Core size: 399 Core Weight: 1 Total Weight: 109 183.23/183.35 c 183.23/183.35 c 183.23/183.35 c ============================[ Search Statistics ]============================== 183.23/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.35 c =============================================================================== 183.23/183.35 c | 0 | 5044 5185 26978 | 5000 0 nan | 0.000 % | 183.23/183.37 c | 102 | 5044 5185 26978 | 5500 102 69 | 33.919 % | 183.34/183.40 c | 254 | 5042 5185 26978 | 6050 253 78 | 33.945 % | 183.34/183.44 c | 479 | 5042 5185 26978 | 6655 478 73 | 33.945 % | 183.43/183.55 c | 816 | 5040 5185 26978 | 7320 814 76 | 33.971 % | 183.54/183.67 c | 1322 | 5038 5185 26978 | 8052 1318 114 | 33.997 % | 184.04/184.14 c | 2081 | 5038 5185 26978 | 8857 2077 171 | 33.997 % | 184.34/184.44 c | 3222 | 5038 5185 26978 | 9743 3218 158 | 33.997 % | 185.23/185.38 c | 4930 | 5036 5185 26978 | 10717 4925 187 | 34.023 % | 186.24/186.31 c | 7494 | 5031 5185 26978 | 11789 7489 190 | 35.124 % | 186.43/186.50 c =============================================================================== 186.43/186.53 c core #110 186.43/186.53 c 186.43/186.53 c 186.43/186.53 c Core size: 73 Core Weight: 1 Total Weight: 110 186.43/186.53 c 186.43/186.53 c 186.43/186.53 c ============================[ Search Statistics ]============================== 186.43/186.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.43/186.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.43/186.53 c =============================================================================== 186.43/186.53 c | 0 | 5165 5186 27150 | 5000 0 nan | 0.000 % | 186.43/186.58 c | 100 | 5165 5186 27150 | 5500 100 77 | 32.931 % | 186.54/186.61 c | 252 | 5165 5186 27150 | 6050 252 55 | 32.931 % | 186.54/186.67 c | 478 | 5165 5186 27150 | 6655 478 66 | 32.931 % | 186.63/186.79 c | 815 | 5163 5186 27150 | 7320 814 82 | 32.957 % | 186.84/186.94 c | 1324 | 5161 5186 27150 | 8052 1322 147 | 33.009 % | 187.13/187.20 c | 2088 | 5160 5186 27150 | 8857 2086 171 | 33.009 % | 187.54/187.69 c | 3228 | 5159 5186 27150 | 9743 3225 213 | 33.009 % | 188.43/188.55 c | 4936 | 5159 5186 27150 | 10717 4933 258 | 33.009 % | 189.83/189.96 c | 7502 | 5159 5186 27150 | 11789 7499 305 | 33.009 % | 192.13/192.22 c | 11346 | 5159 5186 27150 | 12968 11343 314 | 33.009 % | 196.13/196.25 c | 17112 | 5159 5186 27150 | 14265 9172 329 | 33.009 % | 202.34/202.49 c | 25761 | 5159 5186 27150 | 15692 9064 352 | 33.009 % | 204.23/204.32 c =============================================================================== 204.63/204.70 c core #111 204.63/204.70 c 204.63/204.70 c 204.63/204.70 c Core size: 927 Core Weight: 1 Total Weight: 111 204.63/204.70 c 204.63/204.70 c 204.63/204.70 c ============================[ Search Statistics ]============================== 204.63/204.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.63/204.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.63/204.70 c =============================================================================== 204.63/204.70 c | 0 | 6471 5187 29344 | 5000 0 nan | 0.000 % | 204.63/204.72 c | 105 | 6471 5187 29344 | 5500 105 67 | 24.965 % | 204.63/204.74 c | 258 | 6471 5187 29344 | 6050 258 44 | 24.965 % | 204.63/204.80 c | 486 | 6471 5187 29344 | 6655 486 110 | 24.965 % | 204.73/204.84 c | 824 | 6471 5187 29344 | 7320 824 100 | 24.965 % | 204.83/204.96 c | 1330 | 6471 5187 29344 | 8052 1330 146 | 24.965 % | 205.02/205.11 c | 2092 | 6467 5187 29344 | 8857 2091 132 | 25.012 % | 205.64/205.75 c | 3231 | 6466 5187 29344 | 9743 3230 236 | 25.035 % | 206.74/206.84 c | 4940 | 6465 5187 29344 | 10717 4937 350 | 25.035 % | 208.43/208.55 c | 7502 | 6464 5187 29344 | 11789 7499 362 | 25.058 % | 210.72/210.88 c | 11346 | 6461 5187 29344 | 12968 11342 345 | 25.081 % | 215.83/215.94 c | 17112 | 6461 5187 29344 | 14265 9339 388 | 25.081 % | 222.13/222.27 c | 25761 | 6461 5187 29344 | 15692 9579 382 | 25.081 % | 238.42/238.51 c | 38735 | 6461 5187 29344 | 17261 13534 439 | 25.081 % | 268.51/268.69 c | 58202 | 6458 5187 29344 | 18987 12764 430 | 25.151 % | 301.60/301.76 c =============================================================================== 301.70/301.88 c core #112 301.70/301.88 c 301.70/301.88 c 301.70/301.88 c Core size: 29 Core Weight: 1 Total Weight: 112 301.70/301.88 c 301.70/301.88 c 301.70/301.88 c ============================[ Search Statistics ]============================== 301.70/301.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 301.70/301.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 301.70/301.88 c =============================================================================== 301.70/301.88 c | 0 | 6513 5188 29412 | 5000 0 nan | 0.000 % | 301.80/301.93 c | 100 | 6513 5188 29412 | 5500 100 108 | 24.705 % | 301.80/301.96 c | 250 | 6513 5188 29412 | 6050 250 76 | 24.705 % | 301.90/302.01 c | 477 | 6513 5188 29412 | 6655 477 98 | 24.705 % | 301.99/302.16 c | 814 | 6513 5188 29412 | 7320 814 98 | 24.705 % | 302.20/302.32 c | 1325 | 6513 5188 29412 | 8052 1325 172 | 24.705 % | 302.60/302.75 c | 2084 | 6513 5188 29412 | 8857 2084 289 | 24.705 % | 303.30/303.48 c | 3223 | 6513 5188 29412 | 9743 3223 369 | 24.705 % | 304.51/304.61 c | 4933 | 6513 5188 29412 | 10717 4933 339 | 24.705 % | 306.30/306.43 c | 7495 | 6513 5188 29412 | 11789 7495 378 | 24.705 % | 309.50/309.69 c | 11339 | 6513 5188 29412 | 12968 11339 422 | 24.705 % | 314.00/314.17 c | 17105 | 6513 5188 29412 | 14265 8767 501 | 24.705 % | 320.29/320.46 c | 25756 | 6511 5188 29412 | 15692 8850 409 | 24.728 % | 331.49/331.62 c | 38738 | 6511 5188 29412 | 17261 12721 417 | 24.728 % | 347.99/348.17 c | 58199 | 6511 5188 29412 | 18987 12461 496 | 24.728 % | 378.28/378.49 c | 87391 | 6509 5188 29412 | 20886 19517 348 | 24.751 % | 414.07/414.22 c | 131180 | 6504 5188 29412 | 22974 16463 316 | 24.821 % | 482.45/482.60 c | 196865 | 6501 5188 29412 | 25272 14838 208 | 24.844 % | 563.63/563.83 c | 295392 | 6501 5188 29412 | 27799 20742 361 | 24.844 % | 722.48/722.78 c | 443181 | 6493 5188 29412 | 30579 14224 243 | 24.936 % | 1054.38/1054.70 c | 664865 | 6491 5188 29412 | 33637 26376 507 | 24.960 % |
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-2680769-1277453509/watcher-2680769-1277453509 -o /tmp/evaluation-result-2680769-1277453509/solver-2680769-1277453509 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680769-1277453509.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.82 3/105 29626 /proc/meminfo: memFree=1141476/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=3572 CPUtime=0 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 86644416 3657728 377 1992294400 134512640 135752675 4294689584 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 893 379 135 303 0 556 0 [startup+0.025892 s] /proc/loadavg: 1.00 0.97 0.82 3/105 29626 /proc/meminfo: memFree=1141476/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=4008 CPUtime=0.02 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 658 0 0 0 2 0 0 0 25 0 1 0 86644416 4104192 544 1992294400 134512640 135752675 4294689584 18446744073709551615 134524792 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 1002 545 140 303 0 697 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4008 [startup+0.1019 s] /proc/loadavg: 1.00 0.97 0.82 3/105 29626 /proc/meminfo: memFree=1141476/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=4148 CPUtime=0.09 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 682 0 0 0 8 1 0 0 18 0 1 0 86644416 4247552 568 1992294400 134512640 135752675 4294689584 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 1037 568 145 303 0 732 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.301924 s] /proc/loadavg: 1.00 0.97 0.82 3/105 29626 /proc/meminfo: memFree=1141476/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=4276 CPUtime=0.29 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 723 0 0 0 28 1 0 0 18 0 1 0 86644416 4378624 609 1992294400 134512640 135752675 4294689584 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 1069 609 145 303 0 764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4276 [startup+0.701963 s] /proc/loadavg: 1.00 0.97 0.82 3/105 29626 /proc/meminfo: memFree=1141476/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=5180 CPUtime=0.7 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 972 0 0 0 68 2 0 0 18 0 1 0 86644416 5304320 858 1992294400 134512640 135752675 4294689584 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 1295 859 145 303 0 990 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 5180 [startup+1.50105 s] /proc/loadavg: 1.00 0.97 0.82 2/106 29627 /proc/meminfo: memFree=1137872/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=7120 CPUtime=1.49 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 1440 0 0 0 146 3 0 0 20 0 1 0 86644416 7290880 1326 1992294400 134512640 135752675 4294689584 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 1780 1326 145 303 0 1475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7120 [startup+3.10122 s] /proc/loadavg: 1.00 0.97 0.82 2/106 29627 /proc/meminfo: memFree=1135144/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=10212 CPUtime=3.09 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 2214 0 0 0 306 3 0 0 25 0 1 0 86644416 10457088 2100 1992294400 134512640 135752675 4294689584 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 2553 2100 145 303 0 2248 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10212 [startup+6.30156 s] /proc/loadavg: 1.00 0.97 0.82 2/106 29627 /proc/meminfo: memFree=1129192/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=15640 CPUtime=6.29 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 3560 0 0 0 624 5 0 0 25 0 1 0 86644416 16015360 3446 1992294400 134512640 135752675 4294689584 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 3910 3446 145 303 0 3605 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15640 [startup+12.7012 s] /proc/loadavg: 1.00 0.97 0.82 2/106 29627 /proc/meminfo: memFree=1119520/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=24804 CPUtime=12.69 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 5850 0 0 0 1258 11 0 0 25 0 1 0 86644416 25399296 5736 1992294400 134512640 135752675 4294689584 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 6201 5736 145 303 0 5896 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24804 [startup+25.5016 s] /proc/loadavg: 1.00 0.97 0.82 2/106 29627 /proc/meminfo: memFree=1093480/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=50236 CPUtime=25.48 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 12220 0 0 0 2528 20 0 0 25 0 1 0 86644416 51441664 12106 1992294400 134512640 135752675 4294689584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 12559 12106 145 303 0 12254 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50236 [startup+51.1013 s] /proc/loadavg: 1.00 0.97 0.83 2/106 29629 /proc/meminfo: memFree=1048344/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=96084 CPUtime=51.07 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 23666 0 0 0 5070 37 0 0 25 0 1 0 86644416 98390016 23552 1992294400 134512640 135752675 4294689584 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 24021 23552 145 303 0 23716 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96084 [startup+102.309 s] /proc/loadavg: 1.00 0.97 0.83 2/106 29629 /proc/meminfo: memFree=961916/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=181240 CPUtime=102.27 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 44937 0 0 0 10157 70 0 0 25 0 1 0 86644416 185589760 44823 1992294400 134512640 135752675 4294689584 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 45310 44823 145 303 0 45005 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 181240 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.84 2/106 29631 /proc/meminfo: memFree=855896/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=288272 CPUtime=162.25 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 71695 0 0 0 16113 112 0 0 25 0 1 0 86644416 295190528 71581 1992294400 134512640 135752675 4294689584 18446744073709551615 134638161 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 72068 71581 145 303 0 71763 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 288272 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.84 2/106 29633 /proc/meminfo: memFree=783976/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=359004 CPUtime=222.22 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 89548 0 0 0 22030 192 0 0 25 0 1 0 86644416 367620096 89318 1992294400 134512640 135752675 4294689584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 89751 89318 146 303 0 89446 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 359004 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.85 2/106 29635 /proc/meminfo: memFree=703624/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=439760 CPUtime=282.21 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 109710 0 0 0 27990 231 0 0 25 0 1 0 86644416 450314240 109480 1992294400 134512640 135752675 4294689584 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 109940 109480 146 303 0 109635 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 439760 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.85 2/106 29635 /proc/meminfo: memFree=604672/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=537912 CPUtime=342.19 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 134305 0 0 0 33908 311 0 0 25 0 1 0 86644416 550821888 134024 1992294400 134512640 135752675 4294689584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 134478 134024 146 303 0 134173 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 537912 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.86 2/106 29637 /proc/meminfo: memFree=492700/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=650848 CPUtime=402.17 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 162554 0 0 0 39833 384 0 0 25 0 1 0 86644416 666468352 162273 1992294400 134512640 135752675 4294689584 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 162712 162273 146 303 0 162407 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 650848 [startup+462.302 s] /proc/loadavg: 1.00 0.97 0.87 2/106 29639 /proc/meminfo: memFree=391516/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=750476 CPUtime=462.16 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 187461 0 0 0 45782 434 0 0 25 0 1 0 86644416 768487424 187180 1992294400 134512640 135752675 4294689584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 187619 187180 146 303 0 187314 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 750476 [startup+522.302 s] /proc/loadavg: 1.00 0.97 0.87 2/106 29641 /proc/meminfo: memFree=317736/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=825244 CPUtime=522.14 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 206137 0 0 0 51720 494 0 0 25 0 1 0 86644416 845049856 205856 1992294400 134512640 135752675 4294689584 18446744073709551615 134642641 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 206311 205856 146 303 0 206006 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 825244 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.88 2/106 29643 /proc/meminfo: memFree=221636/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=920488 CPUtime=582.12 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 229932 0 0 0 57655 557 0 0 25 0 1 0 86644416 942579712 229651 1992294400 134512640 135752675 4294689584 18446744073709551615 134611571 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 230122 229651 146 303 0 229817 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 920488 [startup+642.302 s] /proc/loadavg: 1.00 0.97 0.88 2/106 29643 /proc/meminfo: memFree=129380/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=1011924 CPUtime=642.11 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 252772 0 0 0 63604 607 0 0 25 0 1 0 86644416 1036210176 252491 1992294400 134512640 135752675 4294689584 18446744073709551615 134611771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 252981 252491 146 303 0 252676 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1011924 [startup+702.302 s] /proc/loadavg: 1.00 0.97 0.89 2/106 29645 /proc/meminfo: memFree=43820/2059040 swapFree=4139632/4192956 [pid=29626] ppid=29624 vsize=1098436 CPUtime=702.08 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 274402 0 0 0 69553 655 0 0 25 0 1 0 86644416 1124798464 274121 1992294400 134512640 135752675 4294689584 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 274609 274121 146 303 0 274304 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1098436 [startup+762.309 s] /proc/loadavg: 1.00 0.97 0.89 2/106 29647 /proc/meminfo: memFree=9208/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1185996 CPUtime=762.07 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 296292 0 0 0 75497 710 0 0 25 0 1 0 86644416 1214459904 296011 1992294400 134512640 135752675 4294689584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 296499 296011 146 303 0 296194 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1185996 [startup+822.301 s] /proc/loadavg: 1.00 0.97 0.90 2/106 29649 /proc/meminfo: memFree=10244/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1277132 CPUtime=822.05 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 319059 0 0 0 81448 757 0 0 25 0 1 0 86644416 1307783168 318778 1992294400 134512640 135752675 4294689584 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 319283 318778 146 303 0 318978 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1277132 [startup+882.302 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29651 /proc/meminfo: memFree=10264/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1354272 CPUtime=882.04 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 338342 0 0 0 87411 793 0 0 25 0 1 0 86644416 1386774528 338061 1992294400 134512640 135752675 4294689584 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 338568 338061 146 303 0 338263 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1354272 [startup+942.301 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29651 /proc/meminfo: memFree=9584/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1436660 CPUtime=942.02 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 358941 0 0 0 93368 834 0 0 25 0 1 0 86644416 1471139840 358660 1992294400 134512640 135752675 4294689584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 359165 358660 146 303 0 358860 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1436660 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29653 /proc/meminfo: memFree=9412/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1530816 CPUtime=1001.99 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 382449 0 0 0 99332 867 0 0 25 0 1 0 86644416 1567555584 382168 1992294400 134512640 135752675 4294689584 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 382704 382168 146 303 0 382399 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1530816 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29655 /proc/meminfo: memFree=9844/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1590904 CPUtime=1061.98 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 397472 0 0 0 105299 899 0 0 25 0 1 0 86644416 1629085696 397191 1992294400 134512640 135752675 4294689584 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 397726 397191 146 303 0 397421 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1590904 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29657 /proc/meminfo: memFree=9752/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1682852 CPUtime=1121.96 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 420472 0 0 0 111255 941 0 0 25 0 1 0 86644416 1723240448 420191 1992294400 134512640 135752675 4294689584 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 420713 420191 146 303 0 420408 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1682852 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.91 2/106 29659 /proc/meminfo: memFree=9848/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1772320 CPUtime=1181.94 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 442827 0 0 0 117213 981 0 0 25 0 1 0 86644416 1814855680 442546 1992294400 134512640 135752675 4294689584 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 443080 442546 146 303 0 442775 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1772320 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1235.6 s] /proc/loadavg: 1.20 1.02 0.93 2/106 29662 /proc/meminfo: memFree=41600/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=1843416 CPUtime=1235.23 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4202496 460596 0 0 0 122505 1018 0 0 25 0 1 0 86644416 1887657984 460315 1992294400 134512640 135752675 4294689584 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29626/statm: 460854 460315 146 303 0 460549 0 Current children cumulated CPU time (s) 1235.23 Current children cumulated vsize (KiB) 1843416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1235.71 s] /proc/loadavg: 1.20 1.02 0.93 2/106 29662 /proc/meminfo: memFree=41600/2059040 swapFree=4139628/4192956 [pid=29626] ppid=29624 vsize=0 CPUtime=1235.33 /proc/29626/stat : 29626 (wbo1.4b) R 29624 29626 29516 0 -1 4203524 460596 0 0 0 122505 1028 0 0 25 0 1 0 86644416 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29626/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1235.33 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1235.78 CPU time (s): 1235.42 CPU user time (s): 1225.06 CPU system time (s): 10.3604 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1843416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1225.06 system time used= 10.3604 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460596 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= 8 involuntary context switches= 1237 runsolver used 2.13167 second user time and 5.76712 second system time The end
Begin job on node082 at 2010-06-25 10:11:49 IDJOB=2680769 IDBENCH=2048 IDSOLVER=1190 FILE ID=node082/2680769-1277453509 PBS_JOBID= 11188108 Free space on /tmp= 62360 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680769-1277453509/watcher-2680769-1277453509 -o /tmp/evaluation-result-2680769-1277453509/solver-2680769-1277453509 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680769-1277453509.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=795713866 node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1141880 kB Buffers: 214848 kB Cached: 589024 kB SwapCached: 6364 kB Active: 391124 kB Inactive: 426536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1141880 kB SwapTotal: 4192956 kB SwapFree: 4139632 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 12272 kB Mapped: 11920 kB Slab: 77596 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182544 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62356 MiB End job on node082 at 2010-06-25 10:32:27