Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 777 | 1800.12 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 198 variables and 16 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.013 0.02 c After prepocess the problem consists of 198 variables and 16 constraints. 0.02 c Initial Lower Bound: 0 0.04 c Restart #1 #Var: 198 LB: 0 @ 0.027 0.07 c Restart #2 #Var: 198 LB: 0 @ 0.058 0.12 c Restart #3 #Var: 198 LB: 0 @ 0.106 0.18 c Restart #4 #Var: 198 LB: 0 @ 0.171 0.27 c Restart #5 #Var: 198 LB: 0 @ 0.257 0.35 c Restart #6 #Var: 198 LB: 0 @ 0.337 0.42 c Restart #7 #Var: 198 LB: 0 @ 0.406 0.50 c Restart #8 #Var: 198 LB: 0 @ 0.486 0.59 c Restart #9 #Var: 198 LB: 0 @ 0.58 0.74 c Restart #10 #Var: 198 LB: 0 @ 0.729 0.84 c Restart #11 #Var: 198 LB: 0 @ 0.833 0.96 c Restart #12 #Var: 198 LB: 0 @ 0.955 1.09 c Restart #13 #Var: 198 LB: 0 @ 1.08 1.24 c Restart #14 #Var: 198 LB: 0 @ 1.227 1.35 c Sol. found (all assignments made)... 1.35 o 1966 1.35 c NEW SOLUTION FOUND: 1966 @ 1.335 1.35 c Sol. found (all assignments made)... 1.35 o 1838 1.35 c NEW SOLUTION FOUND: 1838 @ 1.336 1.35 c Sol. found (all assignments made)... 1.35 o 1710 1.35 c NEW SOLUTION FOUND: 1710 @ 1.336 1.35 c Sol. found (all assignments made)... 1.35 o 1646 1.35 c NEW SOLUTION FOUND: 1646 @ 1.336 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 o 1638 1.35 c NEW SOLUTION FOUND: 1638 @ 1.341 1.35 c Sol. found (all assignments made)... 1.35 o 1630 1.35 c NEW SOLUTION FOUND: 1630 @ 1.343 1.36 c Sol. found (all assignments made)... 1.36 o 1628 1.36 c NEW SOLUTION FOUND: 1628 @ 1.351 1.36 c Sol. found (all assignments made)... 1.36 o 1600 1.36 c NEW SOLUTION FOUND: 1600 @ 1.355 1.37 c Sol. found (all assignments made)... 1.37 o 1596 1.37 c NEW SOLUTION FOUND: 1596 @ 1.359 1.37 c Sol. found (all assignments made)... 1.37 o 1584 1.37 c NEW SOLUTION FOUND: 1584 @ 1.362 1.38 c Sol. found (all assignments made)... 1.38 o 1580 1.38 c NEW SOLUTION FOUND: 1580 @ 1.375 1.40 c Sol. found (all assignments made)... 1.40 o 1578 1.40 c NEW SOLUTION FOUND: 1578 @ 1.386 1.40 c Sol. found (all assignments made)... 1.40 o 1566 1.40 c NEW SOLUTION FOUND: 1566 @ 1.395 1.41 c Sol. found (all assignments made)... 1.41 o 1562 1.41 c NEW SOLUTION FOUND: 1562 @ 1.4 1.54 c Sol. found (all assignments made)... 1.54 o 1492 1.54 c NEW SOLUTION FOUND: 1492 @ 1.528 1.54 c Sol. found (all assignments made)... 1.54 o 1460 1.54 c NEW SOLUTION FOUND: 1460 @ 1.529 1.54 c Sol. found (all assignments made)... 1.54 o 1458 1.54 c NEW SOLUTION FOUND: 1458 @ 1.53 1.55 c Sol. found (all assignments made)... 1.55 o 1444 1.55 c NEW SOLUTION FOUND: 1444 @ 1.545 1.55 c Sol. found (all assignments made)... 1.55 o 1440 1.55 c NEW SOLUTION FOUND: 1440 @ 1.545 1.56 c Sol. found (all assignments made)... 1.56 o 1438 1.56 c NEW SOLUTION FOUND: 1438 @ 1.546 1.56 c Sol. found (all assignments made)... 1.56 o 1434 1.56 c NEW SOLUTION FOUND: 1434 @ 1.551 1.57 c Sol. found (all assignments made)... 1.57 o 1430 1.57 c NEW SOLUTION FOUND: 1430 @ 1.556 1.61 c Sol. found (all assignments made)... 1.61 o 1428 1.61 c NEW SOLUTION FOUND: 1428 @ 1.602 1.61 c Sol. found (all assignments made)... 1.61 o 1426 1.61 c NEW SOLUTION FOUND: 1426 @ 1.604 1.77 c Restart #15 #Var: 198 LB: 0 @ 1.759 1.93 c Restart #16 #Var: 198 LB: 0 @ 1.92 2.08 c Sol. found (all assignments made)... 2.08 o 1369 2.08 c NEW SOLUTION FOUND: 1369 @ 2.071 2.08 c Sol. found (all assignments made)... 2.08 o 1361 2.08 c NEW SOLUTION FOUND: 1361 @ 2.072 2.08 c Sol. found (all assignments made)... 2.08 o 1351 2.08 c NEW SOLUTION FOUND: 1351 @ 2.075 2.08 c Sol. found (all assignments made)... 2.08 o 1349 2.08 c NEW SOLUTION FOUND: 1349 @ 2.075 2.09 c Sol. found (all assignments made)... 2.09 o 1347 2.09 c NEW SOLUTION FOUND: 1347 @ 2.076 2.09 c Sol. found (all assignments made)... 2.09 o 1345 2.09 c NEW SOLUTION FOUND: 1345 @ 2.078 2.09 c Sol. found (all assignments made)... 2.09 o 1343 2.09 c NEW SOLUTION FOUND: 1343 @ 2.085 2.10 c Sol. found (all assignments made)... 2.10 o 1341 2.10 c NEW SOLUTION FOUND: 1341 @ 2.086 2.10 c Sol. found (all assignments made)... 2.10 o 1339 2.10 c NEW SOLUTION FOUND: 1339 @ 2.086 2.10 c Sol. found (all assignments made)... 2.10 o 1337 2.10 c NEW SOLUTION FOUND: 1337 @ 2.087 2.10 c Sol. found (all assignments made)... 2.10 o 1335 2.10 c NEW SOLUTION FOUND: 1335 @ 2.088 2.10 c Sol. found (all assignments made)... 2.10 o 1323 2.10 c NEW SOLUTION FOUND: 1323 @ 2.092 2.11 c Sol. found (all assignments made)... 2.11 o 1319 2.11 c NEW SOLUTION FOUND: 1319 @ 2.096 2.11 c Sol. found (all assignments made)... 2.11 o 1307 2.11 c NEW SOLUTION FOUND: 1307 @ 2.098 2.12 c Sol. found (all assignments made)... 2.12 o 1303 2.12 c NEW SOLUTION FOUND: 1303 @ 2.109 2.12 c Sol. found (all assignments made)... 2.12 o 1291 2.12 c NEW SOLUTION FOUND: 1291 @ 2.114 2.12 c Sol. found (all assignments made)... 2.12 o 1283 2.12 c NEW SOLUTION FOUND: 1283 @ 2.115 2.13 c Sol. found (all assignments made)... 2.13 o 1281 2.13 c NEW SOLUTION FOUND: 1281 @ 2.117 2.13 c Sol. found (all assignments made)... 2.13 o 1273 2.13 c NEW SOLUTION FOUND: 1273 @ 2.117 2.13 c Sol. found (all assignments made)... 2.13 o 1269 2.13 c NEW SOLUTION FOUND: 1269 @ 2.121 2.13 c Sol. found (all assignments made)... 2.13 o 1267 2.13 c NEW SOLUTION FOUND: 1267 @ 2.121 2.13 c Sol. found (all assignments made)... 2.13 o 1265 2.13 c NEW SOLUTION FOUND: 1265 @ 2.122 2.13 c Sol. found (all assignments made)... 2.13 o 1263 2.13 c NEW SOLUTION FOUND: 1263 @ 2.124 2.13 c Sol. found (all assignments made)... 2.13 o 1261 2.13 c NEW SOLUTION FOUND: 1261 @ 2.125 2.14 c Sol. found (all assignments made)... 2.14 o 1259 2.14 c NEW SOLUTION FOUND: 1259 @ 2.129 2.14 c Sol. found (all assignments made)... 2.14 o 1251 2.14 c NEW SOLUTION FOUND: 1251 @ 2.134 2.14 c Sol. found (all assignments made)... 2.14 o 1247 2.15 c NEW SOLUTION FOUND: 1247 @ 2.135 2.16 c Sol. found (all assignments made)... 2.16 o 1243 2.16 c NEW SOLUTION FOUND: 1243 @ 2.146 2.22 c Sol. found (all assignments made)... 2.22 o 1241 2.22 c NEW SOLUTION FOUND: 1241 @ 2.206 2.22 c Sol. found (all assignments made)... 2.22 o 1239 2.22 c NEW SOLUTION FOUND: 1239 @ 2.214 2.22 c Sol. found (all assignments made)... 2.22 o 1237 2.22 c NEW SOLUTION FOUND: 1237 @ 2.215 2.30 c Sol. found (all assignments made)... 2.30 o 1235 2.30 c NEW SOLUTION FOUND: 1235 @ 2.294 2.30 c Sol. found (all assignments made)... 2.30 o 1211 2.30 c NEW SOLUTION FOUND: 1211 @ 2.295 2.30 c Sol. found (all assignments made)... 2.30 o 1209 2.31 c NEW SOLUTION FOUND: 1209 @ 2.295 2.31 c Sol. found (all assignments made)... 2.31 o 1203 2.31 c NEW SOLUTION FOUND: 1203 @ 2.296 2.31 c Sol. found (all assignments made)... 2.31 o 1201 2.31 c NEW SOLUTION FOUND: 1201 @ 2.297 2.31 c Sol. found (all assignments made)... 2.31 o 1199 2.31 c NEW SOLUTION FOUND: 1199 @ 2.298 2.34 c Sol. found (all assignments made)... 2.34 o 1191 2.34 c NEW SOLUTION FOUND: 1191 @ 2.331 2.35 c Sol. found (all assignments made)... 2.35 o 1187 2.35 c NEW SOLUTION FOUND: 1187 @ 2.341 2.43 c Sol. found (all assignments made)... 2.43 o 1183 2.43 c NEW SOLUTION FOUND: 1183 @ 2.416 2.47 c Sol. found (all assignments made)... 2.47 o 1175 2.47 c NEW SOLUTION FOUND: 1175 @ 2.46 2.48 c Sol. found (all assignments made)... 2.48 o 1171 2.48 c NEW SOLUTION FOUND: 1171 @ 2.466 2.50 c Sol. found (all assignments made)... 2.50 o 1169 2.50 c NEW SOLUTION FOUND: 1169 @ 2.49 2.58 c Sol. found (all assignments made)... 2.58 o 1153 2.58 c NEW SOLUTION FOUND: 1153 @ 2.567 2.58 c Sol. found (all assignments made)... 2.58 o 1149 2.58 c NEW SOLUTION FOUND: 1149 @ 2.568 2.58 c Sol. found (all assignments made)... 2.58 o 1147 2.58 c NEW SOLUTION FOUND: 1147 @ 2.569 2.58 c Sol. found (all assignments made)... 2.58 o 1141 2.58 c NEW SOLUTION FOUND: 1141 @ 2.57 2.58 c Sol. found (all assignments made)... 2.58 o 1139 2.58 c NEW SOLUTION FOUND: 1139 @ 2.571 2.59 c Sol. found (all assignments made)... 2.59 o 1137 2.59 c NEW SOLUTION FOUND: 1137 @ 2.577 2.59 c Sol. found (all assignments made)... 2.59 o 1135 2.59 c NEW SOLUTION FOUND: 1135 @ 2.579 2.61 c Sol. found (all assignments made)... 2.61 o 1133 2.61 c NEW SOLUTION FOUND: 1133 @ 2.596 2.61 c Sol. found (all assignments made)... 2.61 o 1131 2.61 c NEW SOLUTION FOUND: 1131 @ 2.597 2.61 c Sol. found (all assignments made)... 2.61 o 1125 2.61 c NEW SOLUTION FOUND: 1125 @ 2.599 2.61 c Sol. found (all assignments made)... 2.61 o 1123 2.61 c NEW SOLUTION FOUND: 1123 @ 2.599 2.66 c Sol. found (all assignments made)... 2.66 o 1121 2.66 c NEW SOLUTION FOUND: 1121 @ 2.648 2.69 c Sol. found (all assignments made)... 2.69 o 1113 2.69 c NEW SOLUTION FOUND: 1113 @ 2.677 2.69 c Sol. found (all assignments made)... 2.69 o 1109 2.69 c NEW SOLUTION FOUND: 1109 @ 2.682 3.33 c Restart #17 #Var: 198 LB: 0 @ 3.322 3.42 c Sol. found (all assignments made)... 3.42 o 1054 3.42 c NEW SOLUTION FOUND: 1054 @ 3.407 3.42 c Sol. found (all assignments made)... 3.42 o 1038 3.42 c NEW SOLUTION FOUND: 1038 @ 3.408 3.47 c Sol. found (all assignments made)... 3.47 o 1028 3.47 c NEW SOLUTION FOUND: 1028 @ 3.459 3.48 c Sol. found (all assignments made)... 3.48 o 1026 3.48 c NEW SOLUTION FOUND: 1026 @ 3.474 4.30 c Restart #18 #Var: 198 LB: 0 @ 4.295 4.90 c Sol. found (all assignments made)... 4.90 o 1013 4.90 c NEW SOLUTION FOUND: 1013 @ 4.893 4.90 c Sol. found (all assignments made)... 4.90 o 1011 4.90 c NEW SOLUTION FOUND: 1011 @ 4.895 4.92 c Sol. found (all assignments made)... 4.92 o 1009 4.92 c NEW SOLUTION FOUND: 1009 @ 4.907 4.92 c Sol. found (all assignments made)... 4.92 o 1007 4.92 c NEW SOLUTION FOUND: 1007 @ 4.91 4.93 c Sol. found (all assignments made)... 4.93 o 1005 4.93 c NEW SOLUTION FOUND: 1005 @ 4.916 4.93 c Sol. found (all assignments made)... 4.93 o 999 4.93 c NEW SOLUTION FOUND: 999 @ 4.918 4.93 c Sol. found (all assignments made)... 4.93 o 989 4.93 c NEW SOLUTION FOUND: 989 @ 4.919 5.81 c Restart #19 #Var: 198 LB: 0 @ 5.801 6.20 c Sol. found (all assignments made)... 6.20 o 988 6.20 c NEW SOLUTION FOUND: 988 @ 6.194 6.29 c Sol. found (all assignments made)... 6.29 o 986 6.29 c NEW SOLUTION FOUND: 986 @ 6.276 6.29 c Sol. found (all assignments made)... 6.29 o 984 6.29 c NEW SOLUTION FOUND: 984 @ 6.281 6.52 c Sol. found (all assignments made)... 6.52 o 982 6.52 c NEW SOLUTION FOUND: 982 @ 6.508 6.52 c Sol. found (all assignments made)... 6.52 o 980 6.52 c NEW SOLUTION FOUND: 980 @ 6.513 7.37 c Sol. found (all assignments made)... 7.37 o 976 7.37 c NEW SOLUTION FOUND: 976 @ 7.356 7.39 c Sol. found (all assignments made)... 7.39 o 970 7.39 c NEW SOLUTION FOUND: 970 @ 7.384 7.41 c Sol. found (all assignments made)... 7.41 o 962 7.41 c NEW SOLUTION FOUND: 962 @ 7.395 7.41 c Sol. found (all assignments made)... 7.41 o 960 7.41 c NEW SOLUTION FOUND: 960 @ 7.401 7.44 c Sol. found (all assignments made)... 7.44 o 956 7.44 c NEW SOLUTION FOUND: 956 @ 7.433 7.44 c Sol. found (all assignments made)... 7.44 o 954 7.44 c NEW SOLUTION FOUND: 954 @ 7.434 7.45 c Sol. found (all assignments made)... 7.45 o 952 7.45 c NEW SOLUTION FOUND: 952 @ 7.436 7.55 c Sol. found (all assignments made)... 7.55 o 948 7.55 c NEW SOLUTION FOUND: 948 @ 7.543 9.31 c Restart #20 #Var: 198 LB: 0 @ 9.299 11.07 c Restart #21 #Var: 198 LB: 0 @ 11.053 12.77 c Sol. found (all assignments made)... 12.77 o 946 12.77 c NEW SOLUTION FOUND: 946 @ 12.761 14.10 c Sol. found (all assignments made)... 14.10 o 944 14.10 c NEW SOLUTION FOUND: 944 @ 14.082 14.19 c Sol. found (all assignments made)... 14.19 o 938 14.19 c NEW SOLUTION FOUND: 938 @ 14.174 17.34 c Restart #22 #Var: 198 LB: 0 @ 17.325 20.25 c Restart #23 #Var: 198 LB: 0 @ 20.235 21.57 c Restart #24 #Var: 198 LB: 0 @ 21.553 22.26 c Restart #25 #Var: 198 LB: 0 @ 22.245 23.19 c Sol. found (all assignments made)... 23.19 o 914 23.19 c NEW SOLUTION FOUND: 914 @ 23.174 23.19 c Sol. found (all assignments made)... 23.19 o 912 23.19 c NEW SOLUTION FOUND: 912 @ 23.178 24.98 c Restart #26 #Var: 198 LB: 0 @ 24.964 25.60 c Sol. found (all assignments made)... 25.60 o 911 25.60 c NEW SOLUTION FOUND: 911 @ 25.579 26.46 c Sol. found (all assignments made)... 26.47 c Sol. found (all assignments made)... 26.47 o 907 26.47 c NEW SOLUTION FOUND: 907 @ 26.453 26.48 c Sol. found (all assignments made)... 26.48 o 903 26.48 c NEW SOLUTION FOUND: 903 @ 26.459 26.49 c Sol. found (all assignments made)... 26.49 o 899 26.49 c NEW SOLUTION FOUND: 899 @ 26.473 26.51 c Sol. found (all assignments made)... 26.51 o 891 26.51 c NEW SOLUTION FOUND: 891 @ 26.493 26.53 c Sol. found (all assignments made)... 26.53 o 889 26.53 c NEW SOLUTION FOUND: 889 @ 26.509 26.54 c Sol. found (all assignments made)... 26.54 o 885 26.54 c NEW SOLUTION FOUND: 885 @ 26.519 26.79 c Sol. found (all assignments made)... 26.79 o 877 26.79 c NEW SOLUTION FOUND: 877 @ 26.769 26.80 c Sol. found (all assignments made)... 26.80 o 873 26.80 c NEW SOLUTION FOUND: 873 @ 26.778 26.89 c Sol. found (all assignments made)... 26.89 o 869 26.89 c NEW SOLUTION FOUND: 869 @ 26.876 27.08 c Sol. found (all assignments made)... 27.08 o 867 27.08 c NEW SOLUTION FOUND: 867 @ 27.065 27.16 c Sol. found (all assignments made)... 27.16 o 863 27.16 c NEW SOLUTION FOUND: 863 @ 27.139 29.07 c Restart #27 #Var: 198 LB: 0 @ 29.049 34.64 c Restart #28 #Var: 198 LB: 0 @ 34.618 35.22 c Sol. found (all assignments made)... 35.22 o 861 35.22 c NEW SOLUTION FOUND: 861 @ 35.196 35.29 c Sol. found (all assignments made)... 35.29 o 857 35.29 c NEW SOLUTION FOUND: 857 @ 35.268 35.30 c Sol. found (all assignments made)... 35.30 o 853 35.30 c NEW SOLUTION FOUND: 853 @ 35.276 37.10 c Sol. found (all assignments made)... 37.10 o 839 37.10 c NEW SOLUTION FOUND: 839 @ 37.08 37.11 c Sol. found (all assignments made)... 37.11 o 807 37.11 c NEW SOLUTION FOUND: 807 @ 37.093 37.72 c Sol. found (all assignments made)... 37.72 o 805 37.72 c NEW SOLUTION FOUND: 805 @ 37.699 37.75 c Sol. found (all assignments made)... 37.75 o 803 37.75 c NEW SOLUTION FOUND: 803 @ 37.732 38.29 c Sol. found (all assignments made)... 38.29 o 801 38.29 c NEW SOLUTION FOUND: 801 @ 38.27 38.45 c Sol. found (all assignments made)... 38.45 o 793 38.45 c NEW SOLUTION FOUND: 793 @ 38.428 40.72 c Sol. found (all assignments made)... 40.72 o 791 40.72 c NEW SOLUTION FOUND: 791 @ 40.695 40.73 c Sol. found (all assignments made)... 40.73 o 787 40.73 c NEW SOLUTION FOUND: 787 @ 40.703 40.75 c Sol. found (all assignments made)... 40.75 o 785 40.75 c NEW SOLUTION FOUND: 785 @ 40.724 40.98 c Sol. found (all assignments made)... 40.98 o 781 40.98 c NEW SOLUTION FOUND: 781 @ 40.958 47.22 c Sol. found (all assignments made)... 47.22 o 777 47.22 c NEW SOLUTION FOUND: 777 @ 47.191 60.45 c Restart #29 #Var: 198 LB: 0 @ 60.421 66.56 c Restart #30 #Var: 198 LB: 0 @ 66.53 79.83 c Restart #31 #Var: 198 LB: 0 @ 79.793 92.50 c Restart #32 #Var: 198 LB: 0 @ 92.464 99.93 c CHANGE to MIS mode... UB: 777 MIS: 0 LPR: 0 (0.024) Diff: nan 99.93 c Restart #0 #Var: 198 LB: 0 @ 99.893 100.27 c Restart #1 #Var: 198 LB: 0 @ 100.23 101.44 c Restart #2 #Var: 198 LB: 0 @ 101.4 103.56 c Restart #3 #Var: 198 LB: 0 @ 103.52 105.61 c Restart #4 #Var: 198 LB: 0 @ 105.57 107.35 c Restart #5 #Var: 198 LB: 0 @ 107.31 108.76 c Restart #6 #Var: 198 LB: 0 @ 108.72 110.26 c Restart #7 #Var: 198 LB: 0 @ 110.22 112.71 c Restart #8 #Var: 198 LB: 0 @ 112.67 115.44 c Restart #9 #Var: 198 LB: 0 @ 115.39 118.08 c Restart #10 #Var: 198 LB: 0 @ 118.04 120.47 c Restart #11 #Var: 198 LB: 0 @ 120.43 129.21 c Restart #12 #Var: 198 LB: 0 @ 129.16 133.56 c Restart #13 #Var: 198 LB: 0 @ 133.51 143.94 c Restart #14 #Var: 198 LB: 0 @ 143.89 150.59 c Restart #15 #Var: 198 LB: 0 @ 150.54 162.68 c Restart #16 #Var: 198 LB: 0 @ 162.62 166.62 c Restart #17 #Var: 198 LB: 0 @ 166.56 171.44 c Restart #18 #Var: 198 LB: 0 @ 171.39 178.34 c Restart #19 #Var: 198 LB: 0 @ 178.28 187.89 c Restart #20 #Var: 198 LB: 0 @ 187.83 196.23 c Restart #21 #Var: 198 LB: 0 @ 196.17 205.21 c Restart #22 #Var: 198 LB: 0 @ 205.14 216.85 c Restart #23 #Var: 198 LB: 0 @ 216.78 228.36 c Restart #24 #Var: 198 LB: 0 @ 228.29 250.44 c Restart #25 #Var: 198 LB: 0 @ 250.36 263.24 c Restart #26 #Var: 198 LB: 0 @ 263.15 274.59 c Restart #27 #Var: 198 LB: 0 @ 274.46 293.18 c Restart #28 #Var: 198 LB: 0 @ 293.01 320.80 c Restart #29 #Var: 198 LB: 0 @ 320.62 336.11 c Restart #30 #Var: 198 LB: 0 @ 335.93 354.26 c Restart #31 #Var: 198 LB: 0 @ 354.07 369.48 c Restart #32 #Var: 198 LB: 0 @ 369.29 382.71 c Restart #33 #Var: 198 LB: 0 @ 382.52 410.26 c Restart #34 #Var: 198 LB: 0 @ 410.06 434.30 c Restart #35 #Var: 198 LB: 0 @ 434.09 458.12 c Restart #36 #Var: 198 LB: 0 @ 457.91 478.97 c Restart #37 #Var: 198 LB: 0 @ 478.75 500.26 c Restart #38 #Var: 198 LB: 0 @ 500.03 523.86 c Restart #39 #Var: 198 LB: 0 @ 523.63 549.01 c Restart #40 #Var: 198 LB: 0 @ 548.77 576.61 c Restart #41 #Var: 198 LB: 0 @ 576.37 597.60 c Restart #42 #Var: 198 LB: 0 @ 597.35 634.73 c Restart #43 #Var: 198 LB: 0 @ 634.47 666.67 c Restart #44 #Var: 198 LB: 0 @ 666.4 702.31 c Restart #45 #Var: 198 LB: 0 @ 702.02 742.39 c Restart #46 #Var: 198 LB: 0 @ 742.1 781.36 c Restart #47 #Var: 198 LB: 0 @ 781.05 828.04 c Restart #48 #Var: 198 LB: 0 @ 827.73 882.54 c Restart #49 #Var: 198 LB: 0 @ 882.2 928.31 c Restart #50 #Var: 198 LB: 0 @ 927.96 995.76 c Restart #51 #Var: 198 LB: 0 @ 995.39 1047.35 c Restart #52 #Var: 198 LB: 0 @ 1047 1116.40 c Restart #53 #Var: 198 LB: 0 @ 1116 1202.51 c Restart #54 #Var: 198 LB: 0 @ 1202.1 1264.42 c Restart #55 #Var: 198 LB: 0 @ 1264 1356.77 c Restart #56 #Var: 198 LB: 0 @ 1356.3 1467.40 c Restart #57 #Var: 198 LB: 0 @ 1466.9 1539.40 c Restart #58 #Var: 198 LB: 0 @ 1538.9 1641.26 c Restart #59 #Var: 198 LB: 0 @ 1640.7 1744.56 c Restart #60 #Var: 198 LB: 0 @ 1744 1800.59 s SATISFIABLE 1800.59 c Cost: 777 1800.59 v x1 -x2 -x3 x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.59 v -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.59 v x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1800.59 v -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 x94 x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 -x105 x106 x107 -x108 -x109 1800.59 v x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 -x129 -x130 1800.59 v -x131 x132 -x133 x134 x135 -x136 -x137 x138 x139 x140 -x141 -x142 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 1800.59 v x154 x155 x156 x157 x158 x159 x160 -x161 x162 -x163 x164 x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1800.59 v x177 x178 -x179 x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 -x189 -x190 x191 x192 -x193 -x194 -x195 x196 x197 -x198 -x143 1800.59 c Exit Code: 10 1800.59 c Total time: 1800 s
OK 777
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node60/watcher-50325-1154105797 -o ROOT/results/node60/solver-50325-1154105797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50325-1154105797/instance-50325-1154105797.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1493904/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=2900 CPUtime=0 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 44 0 0 0 0 0 0 0 19 0 1 0 157449552 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 1 0 0 /proc/1114/statm: 725 27 19 55 0 38 0 [startup+10.0019 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1410456/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=87816 CPUtime=9.98 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 21212 0 0 0 986 12 0 0 25 0 1 0 157449552 89923584 21125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 21954 21125 297 55 0 20846 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 87816 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1391384/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=106948 CPUtime=19.98 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 25977 0 0 0 1981 17 0 0 25 0 1 0 157449552 109514752 25890 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 26737 25890 297 55 0 25629 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 106948 [startup+30.0149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1361368/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=136940 CPUtime=29.99 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 33460 0 0 0 2975 24 0 0 25 0 1 0 157449552 140226560 33371 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 34235 33371 297 55 0 33127 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 136940 [startup+40.0209 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1345752/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=152652 CPUtime=39.98 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 37364 0 0 0 3969 29 0 0 25 0 1 0 157449552 156315648 37275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 38163 37275 297 55 0 37055 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 152652 [startup+50.0269 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1335768/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=162556 CPUtime=50 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 39847 0 0 0 4967 33 0 0 25 0 1 0 157449552 166457344 39758 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 40639 39758 297 55 0 39531 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 162556 [startup+60.0329 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1329048/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=169292 CPUtime=59.99 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 41527 0 0 0 5965 34 0 0 25 0 1 0 157449552 173355008 41438 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 42323 41438 297 55 0 41215 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 169292 [startup+70.0389 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1317784/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=180532 CPUtime=69.99 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 44335 0 0 0 6962 37 0 0 25 0 1 0 157449552 184864768 44245 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 45133 44245 297 55 0 44025 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 180532 [startup+80.0449 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1308824/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=189512 CPUtime=80 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 46570 0 0 0 7959 41 0 0 25 0 1 0 157449552 194060288 46480 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 47378 46480 297 55 0 46270 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 189512 [startup+90.0509 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1300376/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=197984 CPUtime=90.01 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 48677 0 0 0 8956 45 0 0 25 0 1 0 157449552 202735616 48587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 49496 48587 297 55 0 48388 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 197984 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1282264/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=216812 CPUtime=100.01 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 53320 0 0 0 9951 50 0 0 25 0 1 0 157449552 222015488 53227 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 54203 53227 420 55 0 53095 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 216812 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1114 /proc/meminfo: memFree=1273944/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=225084 CPUtime=110.01 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 55385 0 0 0 10948 53 0 0 25 0 1 0 157449552 230486016 55286 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 56271 55286 420 55 0 55163 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 225084 [startup+120.07 s] /proc/loadavg: 1.07 1.02 1.00 2/64 1114 /proc/meminfo: memFree=1262360/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=236700 CPUtime=120.02 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 58289 0 0 0 11945 57 0 0 25 0 1 0 157449552 242380800 58190 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 59175 58190 420 55 0 58067 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 236700 [startup+130.075 s] /proc/loadavg: 1.06 1.02 1.00 2/64 1114 /proc/meminfo: memFree=1257944/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=241196 CPUtime=130.02 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 59397 0 0 0 12944 58 0 0 25 0 1 0 157449552 246984704 59298 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 60299 59298 420 55 0 59191 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 241196 [startup+140.081 s] /proc/loadavg: 1.05 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1251544/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=247680 CPUtime=140.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 60990 0 0 0 13942 61 0 0 25 0 1 0 157449552 253624320 60891 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 61920 60891 420 55 0 60812 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 247680 [startup+150.087 s] /proc/loadavg: 1.04 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1245272/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=254016 CPUtime=150.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 62558 0 0 0 14940 63 0 0 25 0 1 0 157449552 260112384 62459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 63504 62459 420 55 0 62396 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 254016 [startup+160.093 s] /proc/loadavg: 1.04 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1240600/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=258504 CPUtime=160.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 63713 0 0 0 15939 64 0 0 25 0 1 0 157449552 264708096 63614 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 64626 63614 420 55 0 63518 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 258504 [startup+170.099 s] /proc/loadavg: 1.03 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1229464/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=269724 CPUtime=170.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 66501 0 0 0 16935 68 0 0 25 0 1 0 157449552 276197376 66402 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 67431 66402 420 55 0 66323 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 269724 [startup+180.106 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1220376/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=278760 CPUtime=180.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 68759 0 0 0 17933 70 0 0 25 0 1 0 157449552 285450240 68659 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 69690 68659 420 55 0 68582 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 278760 [startup+190.112 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1213592/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=285656 CPUtime=190.03 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 70457 0 0 0 18931 72 0 0 25 0 1 0 157449552 292511744 70357 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 71414 70357 420 55 0 70306 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 285656 [startup+200.118 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1114 /proc/meminfo: memFree=1205656/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=293548 CPUtime=200.04 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 72431 0 0 0 19929 75 0 0 25 0 1 0 157449552 300593152 72328 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 73387 72328 420 55 0 72279 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 293548 [startup+210.124 s] /proc/loadavg: 1.01 1.01 1.00 2/64 1114 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 754464 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=744728/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=755908 CPUtime=1770.49 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188493 0 0 0 176778 271 0 0 25 0 1 0 157449552 774049792 187230 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 188977 187230 420 55 0 187869 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 755908 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=743448/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757232 CPUtime=1780.49 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188816 0 0 0 177777 272 0 0 25 0 1 0 157449552 775405568 187553 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189308 187553 420 55 0 188200 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 757232 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=743384/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757232 CPUtime=1781.49 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188835 0 0 0 177877 272 0 0 25 0 1 0 157449552 775405568 187572 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189308 187572 420 55 0 188200 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 757232 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=743192/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757364 CPUtime=1782.5 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188881 0 0 0 177978 272 0 0 25 0 1 0 157449552 775540736 187618 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189341 187618 420 55 0 188233 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 757364 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=743000/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757628 CPUtime=1783.5 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188926 0 0 0 178078 272 0 0 25 0 1 0 157449552 775811072 187663 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189407 187663 420 55 0 188299 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 757628 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742808/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757760 CPUtime=1784.51 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 188963 0 0 0 178179 272 0 0 25 0 1 0 157449552 775946240 187700 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189440 187700 420 55 0 188332 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 757760 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742680/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=757892 CPUtime=1785.51 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189000 0 0 0 178279 272 0 0 25 0 1 0 157449552 776081408 187737 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189473 187737 420 55 0 188365 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 757892 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742552/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758024 CPUtime=1786.51 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189030 0 0 0 178379 272 0 0 25 0 1 0 157449552 776216576 187767 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189506 187767 420 55 0 188398 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 758024 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742424/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758156 CPUtime=1787.52 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189059 0 0 0 178480 272 0 0 25 0 1 0 157449552 776351744 187796 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189539 187796 420 55 0 188431 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 758156 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742360/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758288 CPUtime=1788.52 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189081 0 0 0 178580 272 0 0 25 0 1 0 157449552 776486912 187818 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189572 187818 420 55 0 188464 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 758288 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=742104/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758420 CPUtime=1789.52 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189142 0 0 0 178680 272 0 0 25 0 1 0 157449552 776622080 187879 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189605 187879 420 55 0 188497 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 758420 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741976/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758684 CPUtime=1790.54 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189182 0 0 0 178781 273 0 0 25 0 1 0 157449552 776892416 187919 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189671 187919 420 55 0 188563 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 758684 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741848/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758684 CPUtime=1791.54 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189205 0 0 0 178881 273 0 0 25 0 1 0 157449552 776892416 187942 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189671 187942 420 55 0 188563 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 758684 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741784/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758816 CPUtime=1792.54 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189222 0 0 0 178981 273 0 0 25 0 1 0 157449552 777027584 187959 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189704 187959 420 55 0 188596 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 758816 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741720/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=758948 CPUtime=1793.55 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189248 0 0 0 179082 273 0 0 25 0 1 0 157449552 777162752 187985 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189737 187985 420 55 0 188629 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 758948 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741464/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=759080 CPUtime=1794.55 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189306 0 0 0 179182 273 0 0 25 0 1 0 157449552 777297920 188043 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189770 188043 420 55 0 188662 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 759080 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=741080/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=759476 CPUtime=1795.55 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189400 0 0 0 179282 273 0 0 25 0 1 0 157449552 777703424 188137 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189869 188137 420 55 0 188761 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 759476 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=740760/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=759872 CPUtime=1796.57 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189476 0 0 0 179383 274 0 0 25 0 1 0 157449552 778108928 188213 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 189968 188213 420 55 0 188860 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 759872 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=740504/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=760004 CPUtime=1797.57 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189541 0 0 0 179483 274 0 0 25 0 1 0 157449552 778244096 188278 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 190001 188278 420 55 0 188893 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 760004 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=740248/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=760268 CPUtime=1798.57 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189597 0 0 0 179583 274 0 0 25 0 1 0 157449552 778514432 188334 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 190067 188334 420 55 0 188959 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 760268 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1315 /proc/meminfo: memFree=740056/2055920 swapFree=4184148/4192956 [pid=1114] ppid=1112 vsize=760532 CPUtime=1799.57 /proc/1114/stat : 1114 (bsolo) R 1112 1114 1064 0 -1 0 189646 0 0 0 179683 274 0 0 25 0 1 0 157449552 778784768 188383 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1114/statm: 190133 188383 420 55 0 189025 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 760532 Child status: 10 Real time (s): 1800.71 CPU time (s): 1800.12 CPU user time (s): 1797.26 CPU system time (s): 2.86156 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (Kb): 760532 The end
Begin job on node60 on Fri Jul 28 16:56:37 UTC 2006 FILE ID= 50325-1154105797 PBS_JOBID= 886280 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50325-1154105797/instance-50325-1154105797.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-50325-1154105797 -o ROOT/results/node60/solver-50325-1154105797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50325-1154105797/instance-50325-1154105797.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED= 571512321 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1494112 kB Buffers: 31832 kB Cached: 455668 kB SwapCached: 2576 kB Active: 50296 kB Inactive: 445772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1494112 kB SwapTotal: 4192956 kB SwapFree: 4184148 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14584 kB Slab: 51740 kB Committed_AS: 1124576 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jul 28 17:26:38 UTC 2006