Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 1566 | 1800.03 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 770 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 29693 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525250 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261970 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525250 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Time Limit set via PBTIMEOUT to 1800 0.06 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 1704 variables and 118 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.035 0.09 c After prepocess the problem consists of 1335 variables and 104 constraints. 0.09 c Initial Lower Bound: 0 0.10 c Sol. found (all assignments made)... 0.10 o 3956 0.10 c NEW SOLUTION FOUND: 3956 @ 0.039 0.10 c Sol. found (all assignments made)... 0.10 o 3927 0.10 c NEW SOLUTION FOUND: 3927 @ 0.039 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3899 0.10 c NEW SOLUTION FOUND: 3899 @ 0.04 0.10 c Sol. found (all assignments made)... 0.10 o 3801 0.10 c NEW SOLUTION FOUND: 3801 @ 0.04 0.10 c Sol. found (all assignments made)... 0.10 o 3772 0.10 c NEW SOLUTION FOUND: 3772 @ 0.04 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3744 0.10 c NEW SOLUTION FOUND: 3744 @ 0.041 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3646 0.10 c NEW SOLUTION FOUND: 3646 @ 0.042 0.10 c Sol. found (all assignments made)... 0.10 o 3617 0.10 c NEW SOLUTION FOUND: 3617 @ 0.042 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3589 0.10 c NEW SOLUTION FOUND: 3589 @ 0.043 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3491 0.10 c NEW SOLUTION FOUND: 3491 @ 0.046 0.10 c Sol. found (all assignments made)... 0.10 o 3462 0.10 c NEW SOLUTION FOUND: 3462 @ 0.046 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3434 0.10 c NEW SOLUTION FOUND: 3434 @ 0.046 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 3433 0.10 c NEW SOLUTION FOUND: 3433 @ 0.048 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 3405 0.11 c NEW SOLUTION FOUND: 3405 @ 0.049 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 3404 0.11 c NEW SOLUTION FOUND: 3404 @ 0.053 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 3376 0.11 c NEW SOLUTION FOUND: 3376 @ 0.053 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3375 0.12 c NEW SOLUTION FOUND: 3375 @ 0.059 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3347 0.12 c NEW SOLUTION FOUND: 3347 @ 0.06 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3346 0.12 c NEW SOLUTION FOUND: 3346 @ 0.062 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3318 0.12 c NEW SOLUTION FOUND: 3318 @ 0.063 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3220 0.12 c NEW SOLUTION FOUND: 3220 @ 0.067 0.12 c Sol. found (all assignments made)... 0.12 o 3191 0.12 c NEW SOLUTION FOUND: 3191 @ 0.067 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 3163 0.12 c NEW SOLUTION FOUND: 3163 @ 0.068 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 o 3065 0.13 c NEW SOLUTION FOUND: 3065 @ 0.074 0.13 c Sol. found (all assignments made)... 0.13 o 3036 0.13 c NEW SOLUTION FOUND: 3036 @ 0.074 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 o 3008 0.13 c NEW SOLUTION FOUND: 3008 @ 0.074 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 o 2994 0.13 c NEW SOLUTION FOUND: 2994 @ 0.078 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2980 0.14 c NEW SOLUTION FOUND: 2980 @ 0.082 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2958 0.14 c NEW SOLUTION FOUND: 2958 @ 0.085 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2930 0.14 c NEW SOLUTION FOUND: 2930 @ 0.086 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2916 0.14 c NEW SOLUTION FOUND: 2916 @ 0.088 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 o 2902 0.14 c NEW SOLUTION FOUND: 2902 @ 0.088 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 2880 0.15 c NEW SOLUTION FOUND: 2880 @ 0.094 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 2852 0.15 c NEW SOLUTION FOUND: 2852 @ 0.095 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 2838 0.15 c NEW SOLUTION FOUND: 2838 @ 0.096 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 2824 0.15 c NEW SOLUTION FOUND: 2824 @ 0.097 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 o 2802 0.16 c NEW SOLUTION FOUND: 2802 @ 0.104 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 o 2774 0.16 c NEW SOLUTION FOUND: 2774 @ 0.105 0.16 c Sol. found (all assignments made)... 0.16 o 2760 0.16 c NEW SOLUTION FOUND: 2760 @ 0.106 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 o 2746 0.16 c NEW SOLUTION FOUND: 2746 @ 0.107 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o 2724 0.17 c NEW SOLUTION FOUND: 2724 @ 0.111 0.17 c Sol. found (all assignments made)... 0.17 o 2696 0.17 c NEW SOLUTION FOUND: 2696 @ 0.112 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o 2682 0.17 c NEW SOLUTION FOUND: 2682 @ 0.112 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o 2668 0.17 c NEW SOLUTION FOUND: 2668 @ 0.113 0.17 c Sol. found (all assignments made)... 0.17 o 2646 0.17 c NEW SOLUTION FOUND: 2646 @ 0.117 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o 2618 0.17 c NEW SOLUTION FOUND: 2618 @ 0.118 0.17 c Sol. found (all assignments made)... 0.17 o 2604 0.18 c NEW SOLUTION FOUND: 2604 @ 0.119 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 o 2590 0.18 c NEW SOLUTION FOUND: 2590 @ 0.12 0.20 c Restart #1 #Var: 1335 LB: 0 @ 0.139 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 o 2582 0.20 c NEW SOLUTION FOUND: 2582 @ 0.145 0.20 c Sol. found (all assignments made)... 0.20 o 2553 0.20 c NEW SOLUTION FOUND: 2553 @ 0.145 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 o 2505 0.20 c NEW SOLUTION FOUND: 2505 @ 0.146 0.20 c Sol. found (all assignments made)... 0.20 o 2476 0.20 c NEW SOLUTION FOUND: 2476 @ 0.147 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 o 2350 0.20 c NEW SOLUTION FOUND: 2350 @ 0.147 0.20 c Sol. found (all assignments made)... 0.20 o 2321 0.20 c NEW SOLUTION FOUND: 2321 @ 0.148 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 o 2273 0.21 c NEW SOLUTION FOUND: 2273 @ 0.15 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 o 2244 0.21 c NEW SOLUTION FOUND: 2244 @ 0.15 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 o 2196 0.21 c NEW SOLUTION FOUND: 2196 @ 0.154 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 o 2167 0.21 c NEW SOLUTION FOUND: 2167 @ 0.155 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 o 2163 0.23 c NEW SOLUTION FOUND: 2163 @ 0.175 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 o 2149 0.23 c NEW SOLUTION FOUND: 2149 @ 0.176 0.23 c Sol. found (all assignments made)... 0.23 o 2142 0.23 c NEW SOLUTION FOUND: 2142 @ 0.178 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.27 c Restart #2 #Var: 1335 LB: 0 @ 0.213 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 2136 0.31 c NEW SOLUTION FOUND: 2136 @ 0.253 0.31 c Sol. found (all assignments made)... 0.31 o 2132 0.31 c NEW SOLUTION FOUND: 2132 @ 0.253 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 2128 0.31 c NEW SOLUTION FOUND: 2128 @ 0.258 0.31 c Sol. found (all assignments made)... 0.31 o 2114 0.31 c NEW SOLUTION FOUND: 2114 @ 0.258 0.31 c Sol. found (all assignments made)... 0.31 o 2107 0.31 c NEW SOLUTION FOUND: 2107 @ 0.258 0.32 c Sol. found (all assignments made)... 0.32 o 2103 0.32 c NEW SOLUTION FOUND: 2103 @ 0.259 0.32 c Sol. found (all assignments made)... 0.32 o 2095 0.32 c NEW SOLUTION FOUND: 2095 @ 0.265 0.32 c Sol. found (all assignments made)... 0.32 o 2088 0.32 c NEW SOLUTION FOUND: 2088 @ 0.265 0.32 c Sol. found (all assignments made)... 0.32 o 2084 0.32 c NEW SOLUTION FOUND: 2084 @ 0.265 0.32 c Sol. found (all assignments made)... 0.32 o 2080 0.32 c NEW SOLUTION FOUND: 2080 @ 0.267 0.32 c Sol. found (all assignments made)... 0.32 o 2066 0.32 c NEW SOLUTION FOUND: 2066 @ 0.267 0.32 c Sol. found (all assignments made)... 0.32 o 2059 0.32 c NEW SOLUTION FOUND: 2059 @ 0.268 0.32 c Sol. found (all assignments made)... 0.32 o 2055 0.32 c NEW SOLUTION FOUND: 2055 @ 0.269 0.33 c Sol. found (all assignments made)... 0.33 o 2051 0.33 c NEW SOLUTION FOUND: 2051 @ 0.273 0.33 c Sol. found (all assignments made)... 0.33 o 2037 0.33 c NEW SOLUTION FOUND: 2037 @ 0.273 0.33 c Sol. found (all assignments made)... 0.33 o 2030 0.33 c NEW SOLUTION FOUND: 2030 @ 0.273 0.33 c Sol. found (all assignments made)... 0.33 o 2026 0.33 c NEW SOLUTION FOUND: 2026 @ 0.273 0.34 c Sol. found (all assignments made)... 0.34 o 2023 0.34 c NEW SOLUTION FOUND: 2023 @ 0.283 0.34 c Sol. found (all assignments made)... 0.34 o 2016 0.34 c NEW SOLUTION FOUND: 2016 @ 0.283 0.34 c Sol. found (all assignments made)... 0.34 o 2012 0.34 c NEW SOLUTION FOUND: 2012 @ 0.283 0.35 c Sol. found (all assignments made)... 0.35 o 2009 0.35 c NEW SOLUTION FOUND: 2009 @ 0.296 0.35 c Sol. found (all assignments made)... 0.35 o 2002 0.35 c NEW SOLUTION FOUND: 2002 @ 0.297 0.35 c Sol. found (all assignments made)... 0.35 o 1998 0.35 c NEW SOLUTION FOUND: 1998 @ 0.297 0.36 c Sol. found (all assignments made)... 0.36 o 1995 0.36 c NEW SOLUTION FOUND: 1995 @ 0.309 0.37 c Sol. found (all assignments made)... 0.37 o 1988 0.37 c NEW SOLUTION FOUND: 1988 @ 0.309 0.37 c Sol. found (all assignments made)... 0.37 o 1984 0.37 c NEW SOLUTION FOUND: 1984 @ 0.309 0.38 c Sol. found (all assignments made)... 0.38 o 1982 0.38 c NEW SOLUTION FOUND: 1982 @ 0.329 0.39 c Sol. found (all assignments made)... 0.39 o 1978 0.39 c NEW SOLUTION FOUND: 1978 @ 0.329 0.39 c Sol. found (all assignments made)... 0.39 o 1975 0.39 c NEW SOLUTION FOUND: 1975 @ 0.331 0.39 c Sol. found (all assignments made)... 0.39 o 1968 0.39 c NEW SOLUTION FOUND: 1968 @ 0.331 0.39 c Sol. found (all assignments made)... 0.39 o 1964 0.39 c NEW SOLUTION FOUND: 1964 @ 0.331 0.44 c Restart #3 #Var: 1335 LB: 0 @ 0.383 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 o 1936 0.45 c NEW SOLUTION FOUND: 1936 @ 0.389 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 o 1924 0.45 c NEW SOLUTION FOUND: 1924 @ 0.389 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 o 1879 0.45 c NEW SOLUTION FOUND: 1879 @ 0.39 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 o 1875 0.45 c NEW SOLUTION FOUND: 1875 @ 0.393 0.45 c Sol. found (all assignments made)... 0.45 o 1850 0.45 c NEW SOLUTION FOUND: 1850 @ 0.394 0.45 c Sol. found (all assignments made)... 0.45 o 1836 0.45 c NEW SOLUTION FOUND: 1836 @ 0.395 0.45 c Sol. found (all assignments made)... 0.45 o 1828 0.45 c NEW SOLUTION FOUND: 1828 @ 0.396 0.45 c Sol. found (all assignments made)... 0.45 o 1822 0.45 c NEW SOLUTION FOUND: 1822 @ 0.397 0.46 c Sol. found (all assignments made)... 0.46 o 1821 0.46 c NEW SOLUTION FOUND: 1821 @ 0.399 0.46 c Sol. found (all assignments made)... 0.46 o 1815 0.46 c NEW SOLUTION FOUND: 1815 @ 0.399 0.46 c Sol. found (all assignments made)... 0.46 o 1814 0.46 c NEW SOLUTION FOUND: 1814 @ 0.402 0.46 c Sol. found (all assignments made)... 0.46 o 1808 0.46 c NEW SOLUTION FOUND: 1808 @ 0.402 0.46 c Sol. found (all assignments made)... 0.46 o 1804 0.46 c NEW SOLUTION FOUND: 1804 @ 0.405 0.47 c Sol. found (all assignments made)... 0.47 o 1792 0.47 c NEW SOLUTION FOUND: 1792 @ 0.412 0.47 c Sol. found (all assignments made)... 0.47 o 1786 0.47 c NEW SOLUTION FOUND: 1786 @ 0.412 0.47 c Sol. found (all assignments made)... 0.47 o 1783 0.47 c NEW SOLUTION FOUND: 1783 @ 0.414 0.47 c Sol. found (all assignments made)... 0.47 o 1778 0.47 c NEW SOLUTION FOUND: 1778 @ 0.414 0.47 c Sol. found (all assignments made)... 0.47 o 1772 0.47 c NEW SOLUTION FOUND: 1772 @ 0.415 0.47 c Sol. found (all assignments made)... 0.47 o 1765 0.47 c NEW SOLUTION FOUND: 1765 @ 0.417 0.48 c Sol. found (all assignments made)... 0.48 o 1752 0.48 c NEW SOLUTION FOUND: 1752 @ 0.423 0.48 c Sol. found (all assignments made)... 0.48 o 1751 0.48 c NEW SOLUTION FOUND: 1751 @ 0.423 0.48 c Sol. found (all assignments made)... 0.48 o 1746 0.48 c NEW SOLUTION FOUND: 1746 @ 0.428 0.48 c Sol. found (all assignments made)... 0.48 o 1745 0.48 c NEW SOLUTION FOUND: 1745 @ 0.429 0.49 c Sol. found (all assignments made)... 0.49 o 1740 0.49 c NEW SOLUTION FOUND: 1740 @ 0.432 0.49 c Sol. found (all assignments made)... 0.49 o 1739 0.49 c NEW SOLUTION FOUND: 1739 @ 0.432 0.49 c Sol. found (all assignments made)... 0.49 o 1734 0.49 c NEW SOLUTION FOUND: 1734 @ 0.432 0.49 c Sol. found (all assignments made)... 0.49 o 1733 0.49 c NEW SOLUTION FOUND: 1733 @ 0.432 0.50 c Sol. found (all assignments made)... 0.50 o 1732 0.50 c NEW SOLUTION FOUND: 1732 @ 0.439 0.50 c Sol. found (all assignments made)... 0.50 o 1672 0.50 c NEW SOLUTION FOUND: 1672 @ 0.439 0.50 c Sol. found (all assignments made)... 0.50 o 1644 0.50 c NEW SOLUTION FOUND: 1644 @ 0.44 0.50 c Sol. found (all assignments made)... 0.50 o 1640 0.50 c NEW SOLUTION FOUND: 1640 @ 0.442 0.50 c Sol. found (all assignments made)... 0.50 o 1636 0.50 c NEW SOLUTION FOUND: 1636 @ 0.448 0.51 c Sol. found (all assignments made)... 0.51 o 1608 0.51 c NEW SOLUTION FOUND: 1608 @ 0.449 0.51 c Sol. found (all assignments made)... 0.51 o 1605 0.51 c NEW SOLUTION FOUND: 1605 @ 0.456 0.53 c Sol. found (all assignments made)... 0.53 o 1601 0.53 c NEW SOLUTION FOUND: 1601 @ 0.471 0.54 c Sol. found (all assignments made)... 0.54 o 1600 0.54 c NEW SOLUTION FOUND: 1600 @ 0.481 0.54 c Sol. found (all assignments made)... 0.54 o 1599 0.54 c NEW SOLUTION FOUND: 1599 @ 0.483 0.54 c Sol. found (all assignments made)... 0.54 o 1596 0.54 c NEW SOLUTION FOUND: 1596 @ 0.484 0.54 c Sol. found (all assignments made)... 0.54 o 1593 0.54 c NEW SOLUTION FOUND: 1593 @ 0.488 0.55 c Sol. found (all assignments made)... 0.55 o 1591 0.55 c NEW SOLUTION FOUND: 1591 @ 0.493 0.55 c Sol. found (all assignments made)... 0.55 o 1588 0.55 c NEW SOLUTION FOUND: 1588 @ 0.493 0.55 c Sol. found (all assignments made)... 0.55 o 1585 0.55 c NEW SOLUTION FOUND: 1585 @ 0.495 0.55 c Sol. found (all assignments made)... 0.55 o 1584 0.55 c NEW SOLUTION FOUND: 1584 @ 0.497 0.55 c Sol. found (all assignments made)... 0.55 o 1581 0.55 c NEW SOLUTION FOUND: 1581 @ 0.497 0.55 c Sol. found (all assignments made)... 0.55 o 1578 0.55 c NEW SOLUTION FOUND: 1578 @ 0.498 0.56 c Sol. found (all assignments made)... 0.56 o 1576 0.56 c NEW SOLUTION FOUND: 1576 @ 0.501 0.56 c Sol. found (all assignments made)... 0.56 o 1573 0.56 c NEW SOLUTION FOUND: 1573 @ 0.503 0.56 c Sol. found (all assignments made)... 0.56 o 1572 0.56 c NEW SOLUTION FOUND: 1572 @ 0.506 0.56 c Sol. found (all assignments made)... 0.56 o 1569 0.56 c NEW SOLUTION FOUND: 1569 @ 0.507 0.57 c Sol. found (all assignments made)... 0.57 o 1566 0.57 c NEW SOLUTION FOUND: 1566 @ 0.513 0.70 c Restart #4 #Var: 1335 LB: 0 @ 0.644 0.83 c Restart #5 #Var: 1335 LB: 0 @ 0.773 0.96 c Restart #6 #Var: 1335 LB: 0 @ 0.899 1.05 c Restart #7 #Var: 1335 LB: 0 @ 0.994 1.38 c CHANGE to LPR mode... UB: 1566 MIS: 1 LPR: 476 (0.016833) Diff: 0.0021008 1.38 c Restart #0 #Var: 1335 LB: 0 @ 1.319 4.56 c Restart #1 #Var: 1335 LB: 476 @ 4.506 12.14 c Restart #2 #Var: 1335 LB: 476 @ 12.075 20.38 c Restart #3 #Var: 1335 LB: 476 @ 20.293 31.90 c Restart #4 #Var: 1335 LB: 476 @ 31.818 43.39 c Restart #5 #Var: 1335 LB: 476 @ 43.304 65.06 c Restart #6 #Var: 1335 LB: 476 @ 64.969 84.84 c Restart #7 #Var: 1335 LB: 476 @ 84.745 108.43 c Restart #8 #Var: 1335 LB: 476 @ 108.33 126.00 c Restart #9 #Var: 1335 LB: 476 @ 125.89 142.13 c Restart #10 #Var: 1335 LB: 476 @ 142.01 206.24 c Restart #11 #Var: 1335 LB: 476 @ 206.11 232.34 c Restart #12 #Var: 1335 LB: 476 @ 232.2 264.13 c Restart #13 #Var: 1335 LB: 476 @ 263.98 294.66 c Restart #14 #Var: 1335 LB: 476 @ 294.51 325.68 c Restart #15 #Var: 1335 LB: 476 @ 325.52 364.14 c Restart #16 #Var: 1335 LB: 476 @ 363.96 429.15 c Restart #17 #Var: 1335 LB: 476 @ 428.96 466.94 c Restart #18 #Var: 1335 LB: 476 @ 466.73 507.16 c Restart #19 #Var: 1335 LB: 476 @ 506.95 550.40 c Restart #20 #Var: 1335 LB: 476 @ 550.18 604.59 c Restart #21 #Var: 1335 LB: 476 @ 604.35 658.84 c Restart #22 #Var: 1335 LB: 476 @ 658.58 716.41 c Restart #23 #Var: 1335 LB: 476 @ 716.14 776.71 c Restart #24 #Var: 1335 LB: 476 @ 776.42 839.23 c Restart #25 #Var: 1335 LB: 476 @ 838.93 931.54 c Restart #26 #Var: 1335 LB: 476 @ 931.22 1002.97 c Restart #27 #Var: 1335 LB: 476 @ 1002.6 1082.66 c Restart #28 #Var: 1335 LB: 476 @ 1082.3 1161.29 c Restart #29 #Var: 1335 LB: 476 @ 1160.9 1235.66 c Restart #30 #Var: 1335 LB: 476 @ 1235.3 1326.87 c Restart #31 #Var: 1335 LB: 476 @ 1326.4 1382.48 c Restart #32 #Var: 1335 LB: 476 @ 1382 1499.74 c Restart #33 #Var: 1335 LB: 476 @ 1499.3 1764.66 c Restart #34 #Var: 1335 LB: 476 @ 1764.1 1800.58 s SATISFIABLE 1800.58 c Cost: 1566 1800.58 v -x977 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x978 x979 -x980 x981 -x982 -x983 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 1800.58 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.58 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.58 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.58 v -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1800.58 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 1800.58 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1800.58 v -x1701 -x1702 -x1703 -x1704 x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 x1558 -x1559 -x1560 1800.58 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 1800.58 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.58 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1411 -x1412 -x1413 -x1414 x1415 1800.58 v x1416 x1417 -x1418 -x1419 -x1420 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 -x1471 x1472 -x1473 -x1474 -x1475 1800.58 v -x1476 x1477 x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 1800.58 v -x1494 -x1495 -x1496 x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 1800.58 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 1800.58 v x1530 -x1531 -x1532 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 1800.58 v -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.58 v -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 1800.58 v x14 x15 -x16 -x17 -x18 -x19 x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 1800.58 v -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 1800.58 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 1800.58 v x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1800.58 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 1800.58 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 1800.58 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 1800.58 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 1800.58 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1800.58 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.58 v -x438 -x439 -x440 x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1800.58 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1800.58 v -x480 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.58 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.58 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.58 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.58 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 1800.58 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.58 v -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.58 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.58 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.58 v x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 1800.58 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x721 -x722 1800.58 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.58 v x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.58 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.58 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 1800.58 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.58 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.58 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.58 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.58 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.58 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.58 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 1800.58 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.58 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.58 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 1800.58 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.58 v -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.58 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.58 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.58 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.58 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.58 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.58 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x961 x969 x962 x963 -x964 x965 x966 -x967 -x968 x970 x971 x972 -x973 x974 -x975 -x976 1800.58 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.58 v x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.58 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 1800.58 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.58 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.58 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.58 v -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.58 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.58 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.58 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 1800.58 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.58 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.58 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 1800.58 v x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.58 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 x1250 1800.58 v x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.58 v -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.58 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.58 v x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1800.58 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1800.58 v -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.58 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.58 v x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.58 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 1800.58 v -x1409 -x1410 1800.58 c Exit Code: 10 1800.58 c Total time: 1800 s
OK 1566
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-40000-1149350468 -o ROOT/results/node51/solver-40000-1149350468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40000-1149350468/instance-40000-1149350468.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.97 2/70 15198 /proc/meminfo: memFree=1807616/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=2900 CPUtime=0 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 200714078 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2582255 0 0 4096 0 0 0 0 17 1 0 0 /proc/15198/statm: 725 27 19 55 0 38 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.98 0.97 2/70 15248 /proc/meminfo: memFree=1791744/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=18268 CPUtime=9.93 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 8883 0 10 0 981 12 0 0 25 0 1 0 200714078 18706432 3843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159352694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4567 3843 428 55 0 3459 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 18268 [startup+20.0085 s] /proc/loadavg: 0.94 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1792624/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=18444 CPUtime=19.92 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 28306 0 10 0 1967 25 0 0 25 0 1 0 200714078 18886656 3909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159389424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4611 3909 430 55 0 3503 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 18444 [startup+30.0154 s] /proc/loadavg: 0.95 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1792496/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=18500 CPUtime=29.92 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 36091 0 10 0 2961 31 0 0 25 0 1 0 200714078 18944000 3942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4701 3945 430 55 0 3593 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 18500 [startup+40.0213 s] /proc/loadavg: 0.95 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1792240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=18708 CPUtime=39.93 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 66837 0 10 0 3948 45 0 0 25 0 1 0 200714078 19156992 3994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158433026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4677 3994 430 55 0 3569 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 18708 [startup+50.0272 s] /proc/loadavg: 0.96 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19112 CPUtime=49.93 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 74454 0 10 0 4943 50 0 0 25 0 1 0 200714078 19570688 4095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4778 4095 430 55 0 3670 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 19112 [startup+60.0332 s] /proc/loadavg: 0.97 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19112 CPUtime=59.93 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 75720 0 10 0 5941 52 0 0 25 0 1 0 200714078 19570688 4095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4778 4095 430 55 0 3670 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 19112 [startup+70.0391 s] /proc/loadavg: 0.97 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19112 CPUtime=69.94 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 76074 0 10 0 6940 54 0 0 25 0 1 0 200714078 19570688 4095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4778 4095 430 55 0 3670 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 19112 [startup+80.045 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19112 CPUtime=79.94 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 76075 0 10 0 7939 55 0 0 25 0 1 0 200714078 19570688 4095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4778 4095 430 55 0 3670 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 19112 [startup+90.0509 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19112 CPUtime=89.94 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 76228 0 10 0 8938 56 0 0 25 0 1 0 200714078 19570688 4095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4778 4095 430 55 0 3670 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 19112 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19144 CPUtime=99.94 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 86746 0 10 0 9931 63 0 0 25 0 1 0 200714078 19603456 4103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3052099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4786 4103 430 55 0 3678 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 19144 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791920/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19184 CPUtime=109.95 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 106748 0 10 0 10918 77 0 0 25 0 1 0 200714078 19644416 4113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158521061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4796 4113 430 55 0 3688 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 19184 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791984/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19164 CPUtime=119.95 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 126063 0 10 0 11903 92 0 0 25 0 1 0 200714078 19623936 4108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4791 4108 430 55 0 3683 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 19164 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=129.96 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140358 0 10 0 12896 100 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 19812 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=139.96 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140358 0 10 0 13895 101 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 19812 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=149.96 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 14894 102 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 19812 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=159.97 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 15894 103 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 19812 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=169.97 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 16893 104 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3083859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 19812 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=179.97 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 17892 105 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3059463 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 19812 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=189.97 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 18891 106 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 19812 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=19812 CPUtime=199.98 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 140360 0 10 0 19891 107 0 0 25 0 1 0 200714078 20287488 4270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 4953 4270 430 55 0 3845 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 19812 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1791344/2055920 swapFree=4181388/4192956 ################ # More data... # ################ /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 26616 [startup+1771.03 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1770.47 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1328269 0 10 0 176115 932 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 26616 [startup+1781.04 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1780.47 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1328500 0 10 0 177113 934 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 26616 [startup+1782.04 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1781.48 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1328500 0 10 0 177214 934 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 26616 [startup+1783.05 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1782.48 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1328578 0 10 0 177314 934 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 26616 [startup+1784.05 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1783.49 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1328824 0 10 0 177414 935 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 26616 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26616 CPUtime=1784.49 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1329032 0 10 0 177514 935 0 0 25 0 1 0 200714078 27254784 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6654 5974 433 55 0 5546 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 26616 [startup+1786.06 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784240/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=26652 CPUtime=1785.5 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1330206 0 10 0 177614 936 0 0 25 0 1 0 200714078 27291648 5983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6663 5983 433 55 0 5555 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 26652 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1784048/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=27088 CPUtime=1786.5 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1334140 0 10 0 177712 938 0 0 25 0 1 0 200714078 27738112 6034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6772 6034 433 55 0 5664 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 27088 [startup+1788.07 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1783856/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=27112 CPUtime=1787.51 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1338647 0 10 0 177810 941 0 0 25 0 1 0 200714078 27762688 6084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6778 6084 433 55 0 5670 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 27112 [startup+1789.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1783536/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=27396 CPUtime=1788.52 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1344384 0 10 0 177908 944 0 0 25 0 1 0 200714078 28053504 6163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6849 6163 433 55 0 5741 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 27396 [startup+1790.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1783152/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=28016 CPUtime=1789.52 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1347552 0 10 0 178007 945 0 0 25 0 1 0 200714078 28688384 6257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160352093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7004 6257 433 55 0 5896 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 28016 [startup+1791.09 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1782960/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=27992 CPUtime=1790.53 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1352832 0 10 0 178106 947 0 0 25 0 1 0 200714078 28663808 6319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 6998 6319 433 55 0 5890 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 27992 [startup+1792.09 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1782704/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=28352 CPUtime=1791.53 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1356131 0 10 0 178205 948 0 0 25 0 1 0 200714078 29032448 6400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7088 6400 433 55 0 5980 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 28352 [startup+1793.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1782448/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=28796 CPUtime=1792.53 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1360204 0 10 0 178303 950 0 0 25 0 1 0 200714078 29487104 6450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3083901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7199 6450 433 55 0 6091 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 28796 [startup+1794.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1782256/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=28712 CPUtime=1793.53 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1364328 0 10 0 178401 952 0 0 25 0 1 0 200714078 29401088 6501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7178 6501 433 55 0 6070 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 28712 [startup+1795.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1782000/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=28920 CPUtime=1794.54 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1368541 0 10 0 178499 955 0 0 25 0 1 0 200714078 29614080 6547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7230 6547 433 55 0 6122 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 28920 [startup+1796.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1781744/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=29080 CPUtime=1795.54 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1372323 0 10 0 178597 957 0 0 25 0 1 0 200714078 29777920 6596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3083991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7270 6596 433 55 0 6162 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 29080 [startup+1797.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1781552/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=29548 CPUtime=1796.54 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1376661 0 10 0 178696 958 0 0 25 0 1 0 200714078 30257152 6669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160205664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7387 6671 433 55 0 6279 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 29548 [startup+1798.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1781296/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=29408 CPUtime=1797.56 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1382095 0 10 0 178795 961 0 0 25 0 1 0 200714078 30113792 6678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7387 6685 433 55 0 6279 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 29408 [startup+1799.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1781104/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=29824 CPUtime=1798.56 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1386212 0 10 0 178893 963 0 0 25 0 1 0 200714078 30539776 6777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159842377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7456 6777 433 55 0 6348 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 29824 [startup+1800.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15330 /proc/meminfo: memFree=1780848/2055920 swapFree=4181388/4192956 [pid=15198] ppid=15196 vsize=30052 CPUtime=1799.57 /proc/15198/stat : 15198 (bsolo) R 15196 15198 15152 0 -1 0 1389312 0 10 0 178992 965 0 0 25 0 1 0 200714078 30773248 6839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15198/statm: 7513 6839 433 55 0 6405 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 30052 Child status: 10 Real time (s): 1800.6 CPU time (s): 1800.03 CPU user time (s): 1790.37 CPU system time (s): 9.66353 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 30052
Begin job on node51 on Sat Jun 3 16:01:08 UTC 2006 FILE ID= 40000-1149350468 PBS_JOBID= 310947 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40000-1149350468/instance-40000-1149350468.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-40000-1149350468 -o ROOT/results/node51/solver-40000-1149350468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40000-1149350468/instance-40000-1149350468.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED= 762162475 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1807824 kB Buffers: 19928 kB Cached: 168444 kB SwapCached: 3252 kB Active: 41896 kB Inactive: 155940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807824 kB SwapTotal: 4192956 kB SwapFree: 4181388 kB Dirty: 228 kB Writeback: 0 kB Mapped: 16176 kB Slab: 35868 kB Committed_AS: 354444 kB PageTables: 1656 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sat Jun 3 16:31:09 UTC 2006