Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 3144 | 1800.04 | 1800.7 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
| MD5SUM | 4e682317a6045f4869b1783c80734344 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 813 |
| Best CPU time to get the best result obtained on this benchmark | 17.9583 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 813 |
| Optimality of the best value was proved | YES |
| Number of variables | 2289 |
| Total number of constraints | 764 |
| Number of constraints which are clauses | 360 |
| Number of constraints which are cardinality constraints (but not clauses) | 404 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 1798 |
| Biggest coefficient in the objective function | 349 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 104116 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 349 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 104116 |
| Number of bits of the biggest sum of numbers | 17 |
| 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 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.07 c Initial problem consists of 2289 variables and 1141 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.06 0.07 c After prepocess the problem consists of 2280 variables and 1137 constraints. 0.07 c Initial Lower Bound: -418 0.09 c Restart #1 #Var: 2280 LB: -418 @ 0.079 0.14 c Restart #2 #Var: 2280 LB: -418 @ 0.127 0.32 c Restart #3 #Var: 2280 LB: -418 @ 0.313 0.33 c Sol. found (all assignments made)... 0.33 o 16920 0.33 c NEW SOLUTION FOUND: 16920 @ 0.319 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 o 16919 0.33 c NEW SOLUTION FOUND: 16919 @ 0.322 0.33 c Sol. found (all assignments made)... 0.33 o 16818 0.33 c NEW SOLUTION FOUND: 16818 @ 0.322 0.33 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 o 16817 0.34 c NEW SOLUTION FOUND: 16817 @ 0.326 0.34 c Sol. found (all assignments made)... 0.34 o 16717 0.34 c NEW SOLUTION FOUND: 16717 @ 0.327 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 o 16716 0.36 c NEW SOLUTION FOUND: 16716 @ 0.347 0.36 c Sol. found (all assignments made)... 0.36 o 16616 0.36 c NEW SOLUTION FOUND: 16616 @ 0.352 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 o 16615 0.37 c NEW SOLUTION FOUND: 16615 @ 0.36 0.38 c Sol. found (all assignments made)... 0.38 o 16520 0.38 c NEW SOLUTION FOUND: 16520 @ 0.37 0.38 c Sol. found (all assignments made)... 0.38 o 16519 0.38 c NEW SOLUTION FOUND: 16519 @ 0.371 0.38 c Sol. found (all assignments made)... 0.38 o 16518 0.38 c NEW SOLUTION FOUND: 16518 @ 0.372 0.38 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 o 16517 0.39 c NEW SOLUTION FOUND: 16517 @ 0.377 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 o 16516 0.39 c NEW SOLUTION FOUND: 16516 @ 0.381 0.39 c Sol. found (all assignments made)... 0.39 o 16515 0.39 c NEW SOLUTION FOUND: 16515 @ 0.384 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 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.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 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 o 16514 0.50 c NEW SOLUTION FOUND: 16514 @ 0.486 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 o 16418 0.50 c NEW SOLUTION FOUND: 16418 @ 0.491 0.50 c Sol. found (all assignments made)... 0.50 o 16417 0.50 c NEW SOLUTION FOUND: 16417 @ 0.492 0.50 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 o 16416 0.59 c NEW SOLUTION FOUND: 16416 @ 0.577 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 o 16415 0.62 c NEW SOLUTION FOUND: 16415 @ 0.605 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 o 16414 0.66 c NEW SOLUTION FOUND: 16414 @ 0.647 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 o 16413 0.71 c NEW SOLUTION FOUND: 16413 @ 0.696 0.72 c Sol. found (all assignments made)... 0.72 o 16412 0.72 c NEW SOLUTION FOUND: 16412 @ 0.71 0.73 c Sol. found (all assignments made)... 0.73 o 16313 0.73 c NEW SOLUTION FOUND: 16313 @ 0.716 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 o 16312 0.73 c NEW SOLUTION FOUND: 16312 @ 0.719 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 o 16311 0.78 c NEW SOLUTION FOUND: 16311 @ 0.769 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 o 16310 0.96 c NEW SOLUTION FOUND: 16310 @ 0.952 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 o 16213 1.14 c NEW SOLUTION FOUND: 16213 @ 1.13 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 o 16212 1.14 c NEW SOLUTION FOUND: 16212 @ 1.131 1.14 c Sol. found (all assignments made)... 1.14 o 16211 1.14 c NEW SOLUTION FOUND: 16211 @ 1.132 1.14 c Sol. found (all assignments made)... 1.14 c Sol. found (all assignments made)... 1.14 o 16210 1.14 c NEW SOLUTION FOUND: 16210 @ 1.134 1.16 c Sol. found (all assignments made)... 1.16 o 16209 1.16 c NEW SOLUTION FOUND: 16209 @ 1.145 1.33 c Sol. found (all assignments made)... 1.33 o 16208 1.33 c NEW SOLUTION FOUND: 16208 @ 1.318 1.33 c Sol. found (all assignments made)... 1.33 o 16108 1.33 c NEW SOLUTION FOUND: 16108 @ 1.323 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 o 16107 1.51 c NEW SOLUTION FOUND: 16107 @ 1.495 1.51 c Sol. found (all assignments made)... 1.51 o 16007 1.51 c NEW SOLUTION FOUND: 16007 @ 1.496 1.68 c Sol. found (all assignments made)... 1.68 o 16006 1.68 c NEW SOLUTION FOUND: 16006 @ 1.664 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 o 15906 1.84 c NEW SOLUTION FOUND: 15906 @ 1.83 2.10 c Restart #4 #Var: 2280 LB: -418 @ 2.091 2.11 c Sol. found (all assignments made)... 2.11 o 5249 2.11 c NEW SOLUTION FOUND: 5249 @ 2.098 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.11 o 5149 2.11 c NEW SOLUTION FOUND: 5149 @ 2.1 2.11 c Sol. found (all assignments made)... 2.11 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.12 o 5049 2.12 c NEW SOLUTION FOUND: 5049 @ 2.108 2.12 c Sol. found (all assignments made)... 2.13 c Sol. found (all assignments made)... 2.13 o 4949 2.13 c NEW SOLUTION FOUND: 4949 @ 2.115 2.13 c Sol. found (all assignments made)... 2.13 o 4849 2.13 c NEW SOLUTION FOUND: 4849 @ 2.123 2.16 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.18 o 4848 2.18 c NEW SOLUTION FOUND: 4848 @ 2.171 2.19 c Sol. found (all assignments made)... 2.20 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.23 o 4749 2.23 c NEW SOLUTION FOUND: 4749 @ 2.22 2.24 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.28 o 4748 2.28 c NEW SOLUTION FOUND: 4748 @ 2.27 2.30 c Sol. found (all assignments made)... 2.30 o 4648 2.30 c NEW SOLUTION FOUND: 4648 @ 2.286 2.58 c Restart #5 #Var: 2280 LB: -418 @ 2.572 2.87 c Restart #6 #Var: 2280 LB: -418 @ 2.855 3.01 c Restart #7 #Var: 2280 LB: -418 @ 3.001 3.41 c Restart #8 #Var: 2280 LB: -418 @ 3.398 3.89 c CHANGE to LPR mode... UB: 4648 MIS: 470 LPR: 809 (0.0462) Diff: 0.58096 3.89 c Restart #0 #Var: 2280 LB: -418 @ 3.881 47.99 c Restart #1 #Var: 2280 LB: 809 @ 47.957 73.28 c Restart #2 #Var: 2280 LB: 809 @ 73.246 98.30 c Restart #3 #Var: 2280 LB: 809 @ 98.251 128.57 c Restart #4 #Var: 2280 LB: 809 @ 128.51 158.63 c Restart #5 #Var: 2280 LB: 809 @ 158.56 194.65 c Restart #6 #Var: 2280 LB: 809 @ 194.57 246.66 c Restart #7 #Var: 2280 LB: 809 @ 246.56 297.60 c Restart #8 #Var: 2280 LB: 809 @ 297.49 350.35 c Restart #9 #Var: 2280 LB: 809 @ 350.22 398.93 c Restart #10 #Var: 2280 LB: 809 @ 398.78 442.29 c Restart #11 #Var: 2280 LB: 809 @ 442.13 463.36 o 4567 463.36 c NEW SOLUTION FOUND: 4567 @ 463.19 464.04 o 4565 464.04 c NEW SOLUTION FOUND: 4565 @ 463.87 464.90 o 4564 464.90 c NEW SOLUTION FOUND: 4564 @ 464.73 465.70 o 4465 465.70 c NEW SOLUTION FOUND: 4465 @ 465.52 466.42 o 4464 466.42 c NEW SOLUTION FOUND: 4464 @ 466.25 467.31 o 4463 467.31 c NEW SOLUTION FOUND: 4463 @ 467.14 468.11 o 4364 468.11 c NEW SOLUTION FOUND: 4364 @ 467.94 468.79 o 4363 468.79 c NEW SOLUTION FOUND: 4363 @ 468.61 469.33 o 4362 469.33 c NEW SOLUTION FOUND: 4362 @ 469.16 470.09 o 4263 470.09 c NEW SOLUTION FOUND: 4263 @ 469.91 470.78 o 4262 470.78 c NEW SOLUTION FOUND: 4262 @ 470.61 471.68 o 4261 471.68 c NEW SOLUTION FOUND: 4261 @ 471.51 472.59 o 4161 472.59 c NEW SOLUTION FOUND: 4161 @ 472.42 473.42 o 4160 473.42 c NEW SOLUTION FOUND: 4160 @ 473.24 474.24 o 4060 474.24 c NEW SOLUTION FOUND: 4060 @ 474.07 474.98 o 4059 474.98 c NEW SOLUTION FOUND: 4059 @ 474.8 475.85 o 3959 475.85 c NEW SOLUTION FOUND: 3959 @ 475.67 476.67 o 3859 476.67 c NEW SOLUTION FOUND: 3859 @ 476.5 479.53 o 3858 479.53 c NEW SOLUTION FOUND: 3858 @ 479.36 482.12 o 3857 482.12 c NEW SOLUTION FOUND: 3857 @ 481.95 484.47 o 3758 484.47 c NEW SOLUTION FOUND: 3758 @ 484.29 484.63 o 3757 484.63 c NEW SOLUTION FOUND: 3757 @ 484.45 567.90 c Restart #12 #Var: 2280 LB: 809 @ 567.7 688.26 c Restart #13 #Var: 2280 LB: 809 @ 688.02 707.56 o 3245 707.56 c NEW SOLUTION FOUND: 3245 @ 707.3 707.83 o 3244 707.83 c NEW SOLUTION FOUND: 3244 @ 707.57 708.04 o 3144 708.04 c NEW SOLUTION FOUND: 3144 @ 707.79 782.99 c Restart #14 #Var: 2280 LB: 809 @ 782.71 909.56 c Restart #15 #Var: 2280 LB: 809 @ 909.24 1032.45 c Restart #16 #Var: 2280 LB: 809 @ 1032.1 1148.89 c Restart #17 #Var: 2280 LB: 809 @ 1148.5 1316.75 c Restart #18 #Var: 2280 LB: 809 @ 1316.3 1460.32 c Restart #19 #Var: 2280 LB: 809 @ 1459.8 1595.21 c Restart #20 #Var: 2280 LB: 809 @ 1594.7 1781.84 c Restart #21 #Var: 2280 LB: 809 @ 1781.2 1800.69 s SATISFIABLE 1800.69 c Cost: 3144 1800.69 v -x2 -x366 -x730 -x925 x1120 -x1705 -x1900 x3 -x367 -x1121 x1511 -x2096 -x4 -x368 x1122 -x1707 -x5 -x187 x369 -x1123 -x1318 1800.69 v -x1513 x1708 -x1903 -x6 x188 -x370 x1124 -x1319 -x1514 -x1709 -x1904 -x7 x189 -x371 -x735 -x930 x1125 -x1320 -x1515 -x1710 1800.69 v -x1905 x1516 -x2101 x555 x1712 -x11 x193 -x375 -x739 -x934 x1129 -x1324 x194 -x1325 -x1520 x1715 -x2105 x560 -x2107 x15 -x379 1800.69 v -x561 x743 -x938 -x1133 -x2108 -x16 x380 -x1134 x2109 -x17 x381 -x1135 x2110 x564 -x1331 x1526 -x2111 x567 -x1724 -x1919 1800.69 v x2114 x568 x1335 -x2115 x205 -x1726 x1921 -x24 -x206 x388 -x752 -x947 -x1142 x1727 -x1922 -x2117 x571 -x1533 -x1728 x2118 1800.69 v x572 -x2119 x573 -x1340 x1535 -x2120 x2121 x574 -x757 x952 x29 -x393 -x1148 x1928 x30 -x394 -x1149 x1344 x577 -x1345 x1540 1800.69 v -x2125 x1346 x1347 x33 -x397 -x1153 x34 -x398 -x1154 x2129 -x35 x399 -x960 -x1155 x2130 x36 -x400 -x1156 -x2131 -x37 x401 1800.69 v -x1157 x2132 -x38 -x402 x1158 -x2133 -x39 x403 -x964 -x1159 x2134 x965 -x2135 -x223 -x1551 x2136 -x42 -x406 -x772 -x967 x1162 1800.69 v -x2137 x589 x1943 x590 -x774 -x969 -x1359 x1749 x227 -x775 x970 x228 -x1556 -x1751 x2141 -x47 -x411 x1167 -x1752 -x1558 x1753 1800.69 v -x49 x231 -x413 -x779 -x974 -x1169 x1364 x596 x1755 -x51 -x415 -x781 -x976 -x1171 x1951 -x2146 x234 -x977 x1757 -x2147 -x1758 1800.69 v x2148 -x53 x417 -x1174 x1954 x418 -x600 -x785 -x980 x1370 -x55 x419 -x1176 -x2151 -x56 -x420 x1177 -x2152 -x57 -x421 x1178 1800.69 v -x1763 x422 -x604 x1764 x59 -x423 -x1180 -x2155 -x242 x606 -x1766 x2156 -x61 x243 -x425 x1182 -x1767 x62 -x244 -x426 x793 1800.69 v -x988 -x1183 x609 x1769 -x64 -x428 x610 -x1185 -x65 -x429 x1186 -x2161 -x66 -x430 -x797 -x992 x1187 x249 x1383 -x2163 x614 1800.69 v x1384 -x2164 -x2165 x252 -x2166 x253 -x617 x1387 x254 -x2168 -x2169 x255 x1585 -x2170 x74 -x438 -x1196 x1586 -x2171 x76 -x440 1800.69 v -x622 -x1198 -x2173 x623 x1394 -x1589 -x78 x442 -x1200 x261 x1396 x812 -x1007 -x1787 x444 -x626 x1788 x627 -x814 -x1009 -x1789 1800.69 v x1984 -x2179 x1790 -x2180 x628 x816 -x1011 x629 -x1597 -x1792 x2182 -x266 x630 x1403 -x2183 -x85 x449 -x631 -x819 x1014 -x1209 1800.69 v -x2184 -x632 -x2185 x821 -x1016 -x2186 x1797 x634 x2188 x2189 x636 -x825 -x1020 x1800 x637 x1801 -x2191 x92 -x456 x827 -x1022 1800.69 v -x1217 -x93 x457 x828 -x1023 -x1218 x829 -x1024 x95 -x459 x830 -x1025 -x1220 -x96 -x460 x1221 -x2196 x279 -x1417 x2197 -x2198 1800.69 v x462 -x644 -x1029 x2199 -x1225 -x463 x645 -x836 -x1031 -x1421 x1616 x646 x1032 -x2202 -x101 x465 x838 -x1033 -x1228 -x1423 1800.69 v -x2203 x102 -x466 -x1229 -x2204 x103 -x467 -x840 -x1035 -x1230 x1620 -x104 x468 -x1231 -x1621 x1816 -x2011 -x105 -x287 x469 1800.69 v x842 -x1037 -x1232 -x1427 x106 -x470 -x1233 -x1428 x1623 -x1818 x107 -x471 -x844 x1039 -x1234 x290 -x109 x473 -x846 x1041 1800.69 v -x1236 x110 -x474 -x847 x1042 -x1237 x293 -x112 x294 -x476 -x849 -x1044 x1239 -x2019 -x113 x477 -x1240 x1435 x660 x115 -x479 1800.69 v -x661 -x1242 x1827 x298 -x117 -x481 x1244 -x1439 -x300 x664 x301 x1636 x120 -x484 -x1247 x1832 -x2027 x121 -x485 -x1248 x1833 1800.69 v x304 x2224 x123 -x487 -x1250 -x2225 x306 -x126 x308 -x490 x1253 -x1838 -x2228 x673 x864 -x1059 x128 -x492 -x674 -x1255 x1840 1800.69 v x675 x130 -x494 -x866 -x1256 x2231 x313 x2232 x132 -x314 -x868 -x1453 x1648 x315 x1454 x134 -x316 -x498 -x1260 -x1650 -x1845 1800.69 v x2040 x681 x871 -x1066 -x136 x500 -x872 -x1067 -x1262 x1457 -x137 x319 -x501 -x873 -x1068 x1263 -x1848 -x2043 -x2238 x684 1800.69 v x2239 x321 x875 -x1070 x140 -x504 -x1266 x1461 -x2241 x141 -x323 -x1852 x2242 x878 -x1073 -x2243 x688 -x879 x1074 -x1659 1800.69 v -x1854 -x143 -x507 x689 -x880 -x1075 x1270 -x1465 -x1660 -x1855 -x2050 -x2245 -x144 x326 -x508 -x690 x1271 -x1466 -x2246 1800.69 v x509 -x691 x1857 -x146 x510 -x692 -x1273 x2248 x1469 -x1859 -x1470 x1860 x1471 -x147 -x511 -x1277 x1862 x330 x1863 x695 x1669 1800.69 v -x2254 x696 x1475 -x1670 -x151 x515 -x891 x1086 -x1281 x152 -x516 x892 -x1087 -x1282 -x1477 -x1672 -x2062 -x893 -x1088 x1478 1800.69 v -x1673 -x336 x700 -x894 -x1089 -x1479 x1674 -x2259 x155 -x519 -x895 -x1090 -x1285 -x1480 x1675 -x1870 x156 -x520 -x896 -x1091 1800.69 v -x1286 x1676 -x1677 x158 -x340 -x522 -x898 -x1093 -x1288 -x1678 x1873 x160 -x342 -x524 -x706 -x900 -x1095 -x1290 -x1680 1800.69 v x2070 x343 x2266 -x162 x526 -x1292 -x2267 x345 -x2268 -x164 -x346 x528 x1099 -x1294 -x1684 -x1879 x529 -x711 -x905 x1100 1800.69 v -x1295 -x1685 -x1880 -x2075 -x2270 x348 x1686 -x2271 -x168 -x532 x1298 -x1883 -x169 x351 -x533 x1299 -x2274 -x170 x352 -x534 1800.69 v -x716 -x910 -x1105 -x1300 x1495 -x2275 -x1301 x1496 -x1691 x1107 -x2277 -x172 x354 -x536 x1303 -x1693 -x2083 -x173 -x537 1800.69 v x719 x1304 -x2084 -x2279 -x175 x539 -x916 -x1111 -x1306 x1696 x540 -x917 x1502 -x359 x723 -x1503 x1698 -x1893 -x2088 x360 1800.69 v x1699 -x2284 -x179 x361 -x543 -x920 -x1115 x1310 -x2285 x180 -x544 -x1311 x1701 -x2286 -x181 x545 -x1312 -x1702 x2287 -x182 1800.69 v x546 -x728 -x1313 -x1898 x2093 -x365 x729 -x1509 x1704 -x2094 -x1315 -x1510 -x185 -x549 -x731 -x926 -x1316 -x1706 -x1901 1800.69 v -x550 -x732 -x927 -x1317 -x1512 -x2097 -x733 -x928 -x2098 -x734 -x929 -x2099 -x2100 -x554 -x736 -x931 -x1321 -x1711 -x9 1800.69 v -x373 -x737 -x932 -x1127 -x1517 -x1907 x10 -x192 -x374 -x556 x738 -x933 -x1128 -x1323 -x1713 -x1908 -x557 -x1519 -x1714 1800.69 v -x1909 -x2104 -x12 -x376 -x740 -x935 -x1130 -x195 -x14 -x196 -x378 x742 -x937 -x1132 -x1327 -x1522 -x1717 -x1912 -x198 -x562 1800.69 v -x744 -x939 -x1329 -x1524 -x1719 -x1914 -x199 -x563 -x745 -x940 -x1330 -x1525 -x1720 -x1915 -x18 -x200 -x382 -x746 -x941 1800.69 v -x1136 -x1721 -x1916 -x19 -x383 -x1137 -x1527 -x1722 -x1917 -x748 -x943 -x1528 -x1723 -x1918 -x2113 -x21 -x203 -x385 -x749 1800.69 v -x944 -x1139 -x1334 -x1529 -x22 -x386 -x1140 -x23 -x387 -x569 -x751 -x946 -x1141 -x1336 -x1531 -x2116 -x1337 -x1532 -x25 1800.69 v -x207 -x389 -x1143 -x1338 -x1923 -x26 -x208 -x390 -x754 -x949 -x1144 -x1339 -x1729 -x1924 -x27 -x209 -x391 -x755 -x950 -x1145 1800.69 v -x1730 -x1925 -x756 -x951 -x1146 -x1341 -x1536 -x1731 -x1926 -x28 -x210 -x392 -x1147 -x1342 -x1537 -x1732 -x1927 -x2122 1800.69 v -x211 -x575 -x758 -x953 -x1343 -x1538 -x1733 -x2123 -x1929 -x31 -x213 -x395 -x760 -x955 -x1150 -x1735 -x1930 -x1541 -x2126 1800.69 v -x1542 -x579 -x763 -x958 -x1543 -x1738 -x216 -x764 -x959 -x1349 -x1544 -x1739 -x1934 -x217 -x1350 -x1545 -x1740 -x1935 1800.69 v -x218 -x582 x766 -x961 -x1351 -x1546 -x1741 -x1936 -x219 -x583 -x767 -x962 -x1352 -x1547 -x1742 -x1937 -x220 x584 -x768 1800.69 v -x963 -x1353 -x1548 -x221 -x1354 -x1549 -x1744 -x1939 -x224 x588 -x1357 -x1552 -x1942 -x43 -x407 -x773 -x968 -x1163 -x1358 1800.69 v -x1553 -x44 -x408 -x1164 -x45 -x409 -x591 -x1165 -x1360 -x1555 -x46 -x410 -x1166 -x1946 -x229 x593 -x777 -x972 -x1362 -x1557 1800.69 v -x1947 -x2142 -x230 -x1363 -x595 -x50 -x232 -x414 -x780 -x975 -x1170 -x1365 -x1560 -x2145 x233 -x597 -x1366 -x1561 -x1756 1800.69 v -x52 -x416 -x598 -x1172 -x1367 -x1562 -x1952 -x236 -x1565 -x1760 -x2150 -x237 x786 -x981 -x1371 -x1566 -x1761 -x1956 -x239 1800.69 v x603 -x788 -x983 -x1373 -x1568 -x1958 -x2153 -x240 -x1374 -x1569 -x241 -x605 -x790 -x985 -x1375 -x1570 -x60 -x424 -x791 1800.69 v -x986 -x1181 -x607 -x792 -x987 -x1377 -x1572 -x1962 -x2157 -x63 -x245 -x427 -x794 -x989 -x1184 -x1964 -x1575 -x2160 -x611 1800.69 v -x1381 -x1576 -x248 x612 -x1382 -x1577 -x1772 -x1967 -x2162 -x67 -x431 -x613 -x798 -x993 -x1188 -x1578 -x1773 -x1968 -x68 1800.69 v -x250 -x432 -x799 -x994 -x1189 -x1579 -x1774 -x1969 -x69 x433 -x800 -x995 -x1190 -x1385 -x1775 -x1970 -x70 -x434 -x616 -x801 1800.69 v x996 -x1191 -x1386 -x1581 -x1776 -x1971 -x71 -x435 -x802 -x997 -x1192 -x1972 -x72 -x436 -x618 x803 -x998 -x1193 -x1388 -x1583 1800.69 v -x1778 -x1973 -x804 -x999 -x1194 -x1389 -x1584 -x1779 -x73 -x437 -x619 -x805 -x1000 -x1195 -x1390 -x1780 -x1975 -x256 -x620 1800.69 v -x806 -x1001 -x1391 -x1781 -x1976 -x75 -x257 x439 -x621 x807 -x1002 -x1197 -x1392 -x1587 -x1782 -x1977 -x2172 -x258 -x808 1800.69 v -x1003 -x1393 -x1588 -x77 -x441 -x809 -x1004 -x1199 -x1979 -x260 -x1395 -x1590 x1980 -x79 -x443 -x625 -x811 -x1006 -x1201 1800.69 v -x1591 -x1786 -x1981 -x2176 -x1202 -x1397 -x1592 -x1982 -x2177 -x813 -x1008 -x1593 -x81 -x263 -x445 -x1204 -x1399 -x1594 1800.69 v -x815 -x1010 -x1205 -x1400 -x1595 -x1985 -x82 -x264 -x446 -x1206 -x1401 -x1596 -x1791 -x1986 -x2181 -x265 -x84 -x448 -x818 1800.69 v -x1013 -x1208 -x1598 -x1793 -x1988 -x267 -x1404 -x1599 -x1794 -x1989 x86 -x450 -x820 -x1015 -x1210 -x1795 -x1990 -x1211 1800.69 v -x1406 -x1601 -x1796 -x1991 -x87 -x451 -x633 -x822 -x1017 -x1212 -x1407 -x1602 -x2187 -x88 -x270 -x452 -x823 -x1018 -x1213 1800.69 v -x1408 -x1603 -x1798 -x1993 x89 -x271 -x453 -x635 -x824 -x1019 -x1214 -x1409 -x1604 -x1799 -x1994 -x90 -x272 -x454 -x1215 1800.69 v -x1410 -x1605 -x2190 -x91 -x273 -x455 -x826 -x1021 -x1216 -x1411 -x1606 -x1996 -x274 -x638 -x1412 -x1607 -x1802 -x1997 1800.69 v -x2192 -x275 -x639 -x1413 -x1608 -x1803 -x1998 -x2193 -x277 -x641 -x1415 -x1610 -x1805 -x2000 -x2195 -x278 x642 -x831 -x1026 1800.69 v -x1416 -x1611 -x97 -x461 -x643 -x832 -x1027 -x1222 -x1807 -x2002 x833 -x1028 -x1223 -x1418 -x1613 -x1808 -x2003 -x1614 1800.69 v -x2004 x835 -x1030 -x1420 -x1615 -x1810 -x2005 -x2200 -x1811 -x2201 -x100 -x282 -x464 -x1227 -x2007 -x283 -x647 -x1813 1800.69 v -x2008 -x284 -x1619 -x1814 -x2009 -x285 -x649 -x1425 -x2205 -x286 -x1426 -x651 -x1817 -x2012 -x2207 -x288 -x652 -x843 -x1038 1800.69 v -x2013 -x2208 -x289 -x653 -x1429 -x1624 -x1819 -x2014 -x2209 -x108 -x472 -x654 -x845 -x1040 -x1235 -x1430 -x1625 x2015 1800.69 v -x2210 -x291 -x655 -x1431 -x1626 -x1821 -x2016 -x2211 -x292 -x656 -x1432 -x1627 -x1822 -x2017 -x2212 -x111 -x475 -x657 1800.69 v -x848 -x1043 -x1238 x1433 -x1628 -x1823 -x2018 -x2213 -x658 -x1434 -x1629 -x2214 -x295 -x659 -x850 -x1045 -x1630 -x1825 1800.69 v -x2020 -x2215 -x114 -x296 -x478 -x851 x1046 -x1241 -x1436 -x1631 -x1826 -x2021 -x2216 -x297 -x1632 -x116 -x480 -x662 -x853 1800.69 v x1048 -x1243 -x1438 -x1633 -x1828 -x2023 -x2218 x299 -x663 -x854 -x1049 -x1634 -x1829 -x2024 -x2219 -x118 -x482 -x855 x1050 1800.69 v -x1245 -x1440 -x1635 -x1830 -x2025 -x2220 -x119 -x483 -x665 -x856 -x1051 -x1246 -x1441 -x1831 -x2026 -x2221 -x302 -x666 1800.69 v -x857 -x1052 -x1442 -x1637 -x2222 -x667 -x858 -x1053 -x1638 -x2223 -x122 -x486 -x668 -x859 -x1054 -x1249 -x1444 -x1639 1800.69 v -x1834 -x2029 -x305 -x669 -x1445 -x1640 -x1835 x2030 -x672 -x863 -x1058 -x1448 -x1643 -x2033 -x309 -x1449 -x1644 -x1839 1800.69 v -x2034 -x1645 -x129 -x493 -x312 -x676 -x1451 -x1646 -x131 -x495 -x677 -x867 -x1062 -x1257 -x1452 -x1647 -x1842 -x2037 -x133 1800.69 v -x497 -x679 -x869 -x1064 -x1259 -x1649 -x1844 -x2039 -x2234 -x135 -x317 -x499 -x1261 -x1456 -x1651 -x2236 -x318 -x682 -x1652 1800.69 v -x1847 -x2042 -x2237 -x138 -x320 -x502 -x874 -x1069 -x1264 -x1459 -x1654 -x1849 -x2044 -x139 -x503 -x685 -x1265 -x1460 1800.69 v -x1655 -x1850 -x2240 -x322 -x686 -x876 -x1071 -x1656 -x2046 -x1268 -x2048 -x2049 -x325 -x881 -x1076 -x1661 -x1856 -x2051 1800.69 v -x1662 -x2249 -x2250 -x1666 -x2251 -x693 -x887 -x1082 -x694 -x149 -x331 -x513 -x889 -x1084 -x1279 -x1864 -x2059 -x150 -x332 1800.69 v -x514 -x890 -x1085 -x1280 -x1865 -x2060 -x2255 -x333 -x697 -x1476 -x1671 -x1866 -x2061 -x2256 -x698 -x1867 -x2257 x153 1800.69 v -x517 -x699 -x1283 -x1868 -x2063 -x2258 -x154 -x518 -x1284 -x1869 -x2064 -x701 -x2065 -x2260 -x338 -x702 -x1481 -x1871 1800.69 v -x2066 -x2261 -x703 -x1872 -x2262 -x704 -x1483 -x2068 -x2263 -x159 -x523 -x705 -x899 -x1094 -x1289 -x1679 -x2264 -x1485 1800.69 v -x1875 -x2265 -x161 -x525 -x707 -x901 -x1096 -x1291 -x1486 -x1681 -x1876 -x2071 -x344 -x708 -x902 -x1097 -x1487 -x1877 1800.69 v -x2072 -x163 -x527 -x709 -x903 -x1098 -x1293 -x1488 -x1878 -x2073 -x710 -x1489 -x2074 -x2269 -x1882 x350 -x714 -x908 -x1103 1800.69 v -x1493 -x2078 -x2273 -x715 -x909 -x1104 -x1494 -x1884 -x2079 -x1885 -x2080 -x717 -x718 -x913 -x1108 -x1498 -x2278 -x1694 1800.69 v -x720 -x1890 -x2085 -x2280 -x721 -x1891 -x2086 -x2281 -x722 -x177 -x541 -x918 -x1113 -x1308 -x2283 -x178 -x542 -x724 -x919 1800.69 v -x1114 -x1309 -x1894 -x2089 -x725 -x1505 -x1895 -x362 -x726 -x921 -x1116 -x1506 -x363 -x727 -x922 -x1117 -x1507 -x1897 1800.69 v -x2092 -x364 -x1508 -x1703 -x183 -x547 -x924 -x1119 -x1314 -x1899 -x2289 x1 x8 -x13 -x20 x32 x40 x41 x48 -x54 -x58 -x80 -x83 1800.69 v x94 -x98 -x99 -x124 x125 -x127 -x142 -x145 -x148 x157 -x165 -x166 x167 x171 -x174 -x176 -x184 x186 -x190 -x191 -x197 x201 -x202 1800.69 v -x204 -x212 -x214 -x215 -x222 -x225 -x226 -x235 -x238 -x246 x247 -x251 -x259 -x262 -x268 x269 -x276 -x280 -x281 -x303 -x307 1800.69 v -x310 -x311 -x324 -x327 -x328 x329 -x334 -x335 -x337 -x339 x341 -x347 -x349 -x353 -x355 x356 -x357 -x358 -x372 x377 x384 -x396 1800.69 v -x404 -x405 -x412 -x447 -x458 -x488 -x489 -x491 -x496 -x505 -x506 -x512 -x521 -x530 -x531 -x535 -x538 x548 -x551 -x552 -x553 1800.69 v -x558 -x559 -x565 -x566 -x570 -x576 -x578 -x580 -x581 -x585 -x586 -x587 -x592 -x594 -x599 -x601 x602 -x608 -x615 -x624 -x640 1800.69 v -x648 -x650 -x670 -x671 -x678 -x680 -x683 -x687 -x712 -x713 -x741 x747 -x750 -x753 -x759 -x761 -x762 -x765 -x769 -x770 -x771 1800.69 v -x776 -x778 -x782 -x783 -x784 -x787 -x789 -x795 -x796 -x810 -x817 -x834 -x837 x839 -x841 -x852 -x860 -x861 -x862 -x865 -x870 1800.69 v -x877 -x882 -x883 -x884 -x885 -x886 -x888 -x897 -x904 -x906 -x907 -x911 -x912 -x914 -x915 -x923 -x936 -x942 -x945 -x948 -x954 1800.69 v -x956 -x957 -x966 -x971 -x973 -x978 -x979 -x982 -x984 -x990 -x991 -x1005 -x1012 -x1034 -x1036 -x1047 -x1055 x1056 -x1057 1800.69 v -x1060 -x1061 -x1063 -x1065 -x1072 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 x1092 -x1101 x1102 -x1106 -x1109 -x1110 -x1112 1800.69 v -x1118 -x1126 -x1131 -x1138 -x1151 -x1152 -x1160 -x1161 -x1168 -x1173 -x1175 -x1179 -x1203 -x1207 -x1219 -x1224 -x1226 1800.69 v -x1251 -x1252 -x1254 -x1258 -x1267 -x1269 -x1272 -x1274 -x1275 -x1276 -x1278 -x1287 -x1296 -x1297 -x1302 x1305 -x1307 1800.69 v -x1322 -x1326 -x1328 -x1332 x1333 -x1348 -x1355 -x1356 -x1361 -x1368 -x1369 -x1372 -x1376 -x1378 -x1379 -x1380 -x1398 1800.69 v -x1402 x1405 -x1414 -x1419 -x1422 -x1424 -x1437 -x1443 -x1446 -x1447 -x1450 -x1455 -x1458 -x1462 -x1463 -x1464 -x1467 1800.69 v -x1468 -x1472 -x1473 -x1474 -x1482 -x1484 -x1490 -x1491 -x1492 -x1497 -x1499 -x1500 -x1501 -x1504 -x1518 -x1521 -x1523 1800.69 v -x1530 x1534 -x1539 -x1550 -x1554 -x1559 -x1563 -x1564 -x1567 -x1571 -x1573 -x1574 x1580 -x1582 -x1600 -x1609 -x1612 -x1617 1800.69 v -x1618 -x1622 -x1641 -x1642 -x1653 -x1657 -x1658 -x1663 -x1664 -x1665 -x1667 -x1668 x1682 x1683 -x1687 -x1688 -x1689 -x1690 1800.69 v -x1692 -x1695 -x1697 -x1700 -x1716 -x1718 -x1725 -x1734 -x1736 -x1737 -x1743 -x1745 -x1746 -x1747 -x1748 -x1750 -x1754 1800.69 v -x1759 -x1762 -x1765 -x1768 -x1770 -x1771 -x1777 -x1783 -x1784 -x1785 -x1804 -x1806 -x1809 -x1812 -x1815 -x1820 -x1824 1800.69 v -x1836 -x1837 -x1841 -x1843 -x1846 -x1851 -x1853 -x1858 -x1861 x1874 -x1881 -x1886 -x1887 -x1888 -x1889 -x1892 -x1896 1800.69 v -x1902 -x1906 -x1910 x1911 -x1913 -x1920 -x1931 -x1932 x1933 -x1938 -x1940 -x1941 -x1944 -x1945 -x1948 -x1949 -x1950 -x1953 1800.69 v -x1955 -x1957 -x1959 x1960 -x1961 -x1963 x1965 -x1966 x1974 x1978 -x1983 -x1987 -x1992 -x1995 -x1999 -x2001 -x2006 -x2010 1800.69 v -x2022 -x2028 -x2031 x2032 -x2035 -x2036 -x2038 -x2041 -x2045 -x2047 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1800.69 v -x2067 -x2069 -x2076 -x2077 -x2081 -x2082 -x2087 -x2090 -x2091 -x2095 -x2102 -x2103 -x2106 -x2112 -x2124 -x2127 -x2128 1800.69 v -x2138 -x2139 -x2140 -x2143 -x2144 -x2149 -x2154 -x2158 -x2159 -x2167 -x2174 -x2175 -x2178 -x2194 -x2206 -x2217 -x2226 1800.69 v -x2227 -x2229 -x2230 -x2233 -x2235 -x2244 -x2247 -x2252 -x2253 -x2272 -x2276 -x2282 -x2288 1800.69 c Exit Code: 10 1800.69 c Total time: 1800 s
OK 3144
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/node17/watcher-40482-1149291159 -o ROOT/results/node17/solver-40482-1149291159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40482-1149291159/instance-40482-1149291159.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1435104/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=3436 CPUtime=0 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 68 0 0 0 0 0 0 0 18 0 1 0 194779247 3518464 50 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2861709 0 0 4096 0 0 0 0 17 1 0 0 /proc/27693/statm: 1156 55 41 55 0 44 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428672/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10620 CPUtime=9.97 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 6808 0 0 0 992 5 0 0 25 0 1 0 194779247 10874880 1981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2655 1981 436 55 0 1547 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 10620 [startup+20.0076 s] /proc/loadavg: 0.94 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428800/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10620 CPUtime=19.98 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 13073 0 0 0 1988 10 0 0 25 0 1 0 194779247 10874880 1981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158525280 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2655 1981 436 55 0 1547 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10620 [startup+30.0135 s] /proc/loadavg: 0.95 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428800/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10620 CPUtime=29.98 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 19245 0 0 0 2985 13 0 0 25 0 1 0 194779247 10874880 1981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2655 1981 436 55 0 1547 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 10620 [startup+40.0203 s] /proc/loadavg: 0.96 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428864/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10620 CPUtime=39.99 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 26164 0 0 0 3982 17 0 0 25 0 1 0 194779247 10874880 1981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2655 1981 436 55 0 1547 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10620 [startup+50.0271 s] /proc/loadavg: 0.96 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428672/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10816 CPUtime=49.98 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 39584 0 0 0 4975 23 0 0 25 0 1 0 194779247 11075584 2031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2704 2031 437 55 0 1596 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 10816 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1428736/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=10816 CPUtime=59.99 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 46055 0 0 0 5972 27 0 0 25 0 1 0 194779247 11075584 2031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 2704 2031 437 55 0 1596 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 10816 [startup+70.0408 s] /proc/loadavg: 0.97 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=69.99 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 82180 0 0 0 6954 45 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 13380 [startup+80.0477 s] /proc/loadavg: 0.98 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=79.99 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 89608 0 0 0 7951 48 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 13380 [startup+90.0535 s] /proc/loadavg: 0.98 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=90 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 89608 0 0 0 8951 49 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134518432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 13380 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=100 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 93032 0 0 0 9949 51 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 13380 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13592 CPUtime=110.01 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 97069 0 0 0 10947 54 0 0 25 0 1 0 194779247 13918208 2682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159496485 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3398 2682 437 55 0 2290 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 13592 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=120.01 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 97910 0 0 0 11946 55 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 13380 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27693 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=130.01 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 98566 0 0 0 12945 56 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 13380 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27694 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13592 CPUtime=140.01 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 101912 0 0 0 13944 57 0 0 25 0 1 0 194779247 13918208 2682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3398 2682 437 55 0 2290 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 13592 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27695 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=150.02 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 102311 0 0 0 14944 58 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 13380 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27695 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=160.01 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 103535 0 0 0 15942 59 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 13380 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27695 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=170.03 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 107502 0 0 0 16941 62 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 13380 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.91 2/64 27695 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=180.03 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 111443 0 0 0 17939 64 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 13380 [startup+190.114 s] /proc/loadavg: 1.06 1.00 0.92 2/64 27695 /proc/meminfo: memFree=1426176/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=13380 CPUtime=190.03 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 129519 0 0 0 18931 72 0 0 25 0 1 0 194779247 13701120 2672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3345 2672 437 55 0 2237 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 13380 [startup+200.12 s] /proc/loadavg: 1.05 1.00 0.92 2/64 27695 /proc/meminfo: memFree=1424896/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14608 CPUtime=200.03 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 143720 0 0 0 19925 78 0 0 25 0 1 0 194779247 14958592 2979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3652 2979 437 55 0 2544 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 14608 [startup+210.126 s] /proc/loadavg: 1.04 1.00 0.92 2/64 27695 /proc/meminfo: memFree=1424896/2055920 swapFree=4180996/4192956 ################ # More data... # ################ /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 14612 [startup+1771.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1770.58 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 298444 0 0 0 176835 223 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 14612 [startup+1781.24 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1780.58 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 298444 0 0 0 177835 223 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 14612 [startup+1782.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1781.59 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 300331 0 0 0 177935 224 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 14612 [startup+1783.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424064/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=15476 CPUtime=1782.59 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 302983 0 0 0 178034 225 0 0 25 0 1 0 194779247 15847424 3169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3869 3169 442 55 0 2761 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 15476 [startup+1784.26 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424128/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14644 CPUtime=1783.59 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 305540 0 0 0 178133 226 0 0 25 0 1 0 194779247 14995456 2993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520530 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3661 2993 442 55 0 2553 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 14644 [startup+1785.26 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424064/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=15464 CPUtime=1784.6 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 308012 0 0 0 178233 227 0 0 25 0 1 0 194779247 15835136 3153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160242038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3866 3153 442 55 0 2758 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 15464 [startup+1786.27 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1785.61 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 310037 0 0 0 178332 229 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 14612 [startup+1787.27 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=15068 CPUtime=1786.6 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 311735 0 0 0 178431 229 0 0 25 0 1 0 194779247 15429632 3038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3767 3041 442 55 0 2659 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 15068 [startup+1788.28 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14644 CPUtime=1787.61 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 313165 0 0 0 178531 230 0 0 25 0 1 0 194779247 14995456 2986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3661 2986 442 55 0 2553 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 14644 [startup+1789.28 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1788.62 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 314619 0 0 0 178631 231 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 14612 [startup+1790.29 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14812 CPUtime=1789.63 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 315756 0 0 0 178731 232 0 0 25 0 1 0 194779247 15167488 3023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3703 3024 442 55 0 2595 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 14812 [startup+1791.29 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1790.62 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 316877 0 0 0 178830 232 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 14612 [startup+1792.3 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424512/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14856 CPUtime=1791.63 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 317997 0 0 0 178931 232 0 0 25 0 1 0 194779247 15212544 3023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159002328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3714 3023 442 55 0 2606 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 14856 [startup+1793.3 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424448/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=15172 CPUtime=1792.64 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 318885 0 0 0 179031 233 0 0 25 0 1 0 194779247 15536128 3061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159243185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3793 3061 442 55 0 2685 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 15172 [startup+1794.31 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1793.64 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 319726 0 0 0 179131 233 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 14612 [startup+1795.31 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1794.64 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 320552 0 0 0 179231 233 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 14612 [startup+1796.32 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1795.65 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 321243 0 0 0 179332 233 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 14612 [startup+1797.32 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1796.66 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 321868 0 0 0 179432 234 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 14612 [startup+1798.33 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1797.66 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 322476 0 0 0 179532 234 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 14612 [startup+1799.33 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1798.66 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 323012 0 0 0 179632 234 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158521249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 14612 [startup+1800.34 s] /proc/loadavg: 1.00 1.00 0.92 2/64 27890 /proc/meminfo: memFree=1424576/2055920 swapFree=4180996/4192956 [pid=27693] ppid=27691 vsize=14612 CPUtime=1799.67 /proc/27693/stat : 27693 (bsolo) R 27691 27693 27647 0 -1 0 323476 0 0 0 179733 234 0 0 25 0 1 0 194779247 14962688 2985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27693/statm: 3653 2985 442 55 0 2545 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 14612 Child status: 10 Real time (s): 1800.7 CPU time (s): 1800.04 CPU user time (s): 1797.69 CPU system time (s): 2.35064 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (Kb): 15476
Begin job on node17 on Fri Jun 2 23:32:39 UTC 2006 FILE ID= 40482-1149291159 PBS_JOBID= 306876 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40482-1149291159/instance-40482-1149291159.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-40482-1149291159 -o ROOT/results/node17/solver-40482-1149291159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40482-1149291159/instance-40482-1149291159.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED= 996106292 /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.278 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.278 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: 1435376 kB Buffers: 35548 kB Cached: 520544 kB SwapCached: 3752 kB Active: 351228 kB Inactive: 213592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1435376 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14716 kB Slab: 41776 kB Committed_AS: 283148 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 00:02:40 UTC 2006