Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 421 | 1800.16 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
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 | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
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.01 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.01 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.062 0.12 c Restart #3 #Var: 198 LB: 0 @ 0.113 0.18 c Restart #4 #Var: 198 LB: 0 @ 0.168 0.25 c Restart #5 #Var: 198 LB: 0 @ 0.24 0.31 c Restart #6 #Var: 198 LB: 0 @ 0.296 0.38 c Restart #7 #Var: 198 LB: 0 @ 0.369 0.46 c Restart #8 #Var: 198 LB: 0 @ 0.447 0.55 c Restart #9 #Var: 198 LB: 0 @ 0.539 0.66 c Restart #10 #Var: 198 LB: 0 @ 0.646 0.79 c Restart #11 #Var: 198 LB: 0 @ 0.782 0.93 c Restart #12 #Var: 198 LB: 0 @ 0.918 1.05 c Sol. found (all assignments made)... 1.05 o 2257 1.05 c NEW SOLUTION FOUND: 2257 @ 1.036 1.05 c Sol. found (all assignments made)... 1.05 o 2001 1.05 c NEW SOLUTION FOUND: 2001 @ 1.036 1.05 c Sol. found (all assignments made)... 1.05 o 1873 1.05 c NEW SOLUTION FOUND: 1873 @ 1.037 1.05 c Sol. found (all assignments made)... 1.05 o 1865 1.05 c NEW SOLUTION FOUND: 1865 @ 1.037 1.05 c Sol. found (all assignments made)... 1.05 o 1849 1.05 c NEW SOLUTION FOUND: 1849 @ 1.037 1.05 c Sol. found (all assignments made)... 1.05 o 1847 1.05 c NEW SOLUTION FOUND: 1847 @ 1.037 1.05 c Sol. found (all assignments made)... 1.05 o 1843 1.05 c NEW SOLUTION FOUND: 1843 @ 1.041 1.05 c Sol. found (all assignments made)... 1.05 o 1835 1.05 c NEW SOLUTION FOUND: 1835 @ 1.042 1.05 c Sol. found (all assignments made)... 1.05 o 1827 1.05 c NEW SOLUTION FOUND: 1827 @ 1.042 1.05 c Sol. found (all assignments made)... 1.05 o 1821 1.05 c NEW SOLUTION FOUND: 1821 @ 1.043 1.05 c Sol. found (all assignments made)... 1.05 o 1819 1.05 c NEW SOLUTION FOUND: 1819 @ 1.043 1.06 c Sol. found (all assignments made)... 1.06 o 1815 1.06 c NEW SOLUTION FOUND: 1815 @ 1.045 1.06 c Sol. found (all assignments made)... 1.06 o 1803 1.06 c NEW SOLUTION FOUND: 1803 @ 1.046 1.06 c Sol. found (all assignments made)... 1.06 o 1799 1.06 c NEW SOLUTION FOUND: 1799 @ 1.046 1.06 c Sol. found (all assignments made)... 1.06 o 1795 1.06 c NEW SOLUTION FOUND: 1795 @ 1.047 1.06 c Sol. found (all assignments made)... 1.06 o 1787 1.06 c NEW SOLUTION FOUND: 1787 @ 1.047 1.06 c Sol. found (all assignments made)... 1.06 o 1785 1.06 c NEW SOLUTION FOUND: 1785 @ 1.048 1.06 c Sol. found (all assignments made)... 1.06 o 1783 1.06 c NEW SOLUTION FOUND: 1783 @ 1.048 1.06 c Sol. found (all assignments made)... 1.06 o 1745 1.06 c NEW SOLUTION FOUND: 1745 @ 1.049 1.06 c Sol. found (all assignments made)... 1.06 o 1737 1.06 c NEW SOLUTION FOUND: 1737 @ 1.049 1.06 c Sol. found (all assignments made)... 1.06 o 1735 1.06 c NEW SOLUTION FOUND: 1735 @ 1.049 1.06 c Sol. found (all assignments made)... 1.06 o 1719 1.06 c NEW SOLUTION FOUND: 1719 @ 1.05 1.06 c Sol. found (all assignments made)... 1.06 o 1715 1.06 c NEW SOLUTION FOUND: 1715 @ 1.054 1.07 c Sol. found (all assignments made)... 1.07 o 1713 1.07 c NEW SOLUTION FOUND: 1713 @ 1.057 1.09 c Sol. found (all assignments made)... 1.09 o 1711 1.09 c NEW SOLUTION FOUND: 1711 @ 1.077 1.12 c Sol. found (all assignments made)... 1.12 o 1561 1.12 c NEW SOLUTION FOUND: 1561 @ 1.112 1.12 c Sol. found (all assignments made)... 1.12 o 1557 1.12 c NEW SOLUTION FOUND: 1557 @ 1.114 1.13 c Sol. found (all assignments made)... 1.13 o 1553 1.13 c NEW SOLUTION FOUND: 1553 @ 1.115 1.13 c Sol. found (all assignments made)... 1.13 o 1551 1.13 c NEW SOLUTION FOUND: 1551 @ 1.119 1.13 c Sol. found (all assignments made)... 1.13 o 1543 1.13 c NEW SOLUTION FOUND: 1543 @ 1.122 1.14 c Sol. found (all assignments made)... 1.14 o 1539 1.14 c NEW SOLUTION FOUND: 1539 @ 1.126 1.15 c Sol. found (all assignments made)... 1.15 o 1515 1.15 c NEW SOLUTION FOUND: 1515 @ 1.135 1.15 c Sol. found (all assignments made)... 1.15 o 1483 1.15 c NEW SOLUTION FOUND: 1483 @ 1.138 1.15 c Sol. found (all assignments made)... 1.15 o 1477 1.15 c NEW SOLUTION FOUND: 1477 @ 1.144 1.16 c Sol. found (all assignments made)... 1.16 o 1475 1.16 c NEW SOLUTION FOUND: 1475 @ 1.145 1.17 c Sol. found (all assignments made)... 1.17 o 1459 1.17 c NEW SOLUTION FOUND: 1459 @ 1.156 1.18 c Sol. found (all assignments made)... 1.18 o 1457 1.18 c NEW SOLUTION FOUND: 1457 @ 1.166 1.18 c Sol. found (all assignments made)... 1.18 o 1455 1.18 c NEW SOLUTION FOUND: 1455 @ 1.167 1.19 c Sol. found (all assignments made)... 1.19 o 1453 1.19 c NEW SOLUTION FOUND: 1453 @ 1.175 1.20 c Sol. found (all assignments made)... 1.20 o 1451 1.20 c NEW SOLUTION FOUND: 1451 @ 1.194 1.21 c Sol. found (all assignments made)... 1.21 o 1449 1.21 c NEW SOLUTION FOUND: 1449 @ 1.196 1.21 c Sol. found (all assignments made)... 1.21 o 1443 1.21 c NEW SOLUTION FOUND: 1443 @ 1.198 1.21 c Sol. found (all assignments made)... 1.21 o 1441 1.21 c NEW SOLUTION FOUND: 1441 @ 1.199 1.21 c Sol. found (all assignments made)... 1.21 o 1439 1.21 c NEW SOLUTION FOUND: 1439 @ 1.204 1.22 c Sol. found (all assignments made)... 1.22 o 1437 1.22 c NEW SOLUTION FOUND: 1437 @ 1.205 1.25 c Sol. found (all assignments made)... 1.25 o 1435 1.25 c NEW SOLUTION FOUND: 1435 @ 1.241 1.25 c Sol. found (all assignments made)... 1.25 o 1433 1.25 c NEW SOLUTION FOUND: 1433 @ 1.241 1.27 c Sol. found (all assignments made)... 1.27 o 1431 1.27 c NEW SOLUTION FOUND: 1431 @ 1.264 1.28 c Sol. found (all assignments made)... 1.28 o 1429 1.28 c NEW SOLUTION FOUND: 1429 @ 1.266 1.28 c Sol. found (all assignments made)... 1.28 o 1425 1.28 c NEW SOLUTION FOUND: 1425 @ 1.266 1.28 c Sol. found (all assignments made)... 1.28 o 1423 1.28 c NEW SOLUTION FOUND: 1423 @ 1.274 1.28 c Sol. found (all assignments made)... 1.28 o 1421 1.28 c NEW SOLUTION FOUND: 1421 @ 1.274 1.29 c Sol. found (all assignments made)... 1.29 o 1419 1.29 c NEW SOLUTION FOUND: 1419 @ 1.275 1.29 c Sol. found (all assignments made)... 1.29 o 1417 1.29 c NEW SOLUTION FOUND: 1417 @ 1.275 1.29 c Sol. found (all assignments made)... 1.29 o 1359 1.29 c NEW SOLUTION FOUND: 1359 @ 1.277 1.29 c Sol. found (all assignments made)... 1.29 o 1357 1.29 c NEW SOLUTION FOUND: 1357 @ 1.277 1.29 c Sol. found (all assignments made)... 1.29 o 1355 1.29 c NEW SOLUTION FOUND: 1355 @ 1.278 1.29 c Sol. found (all assignments made)... 1.29 o 1353 1.29 c NEW SOLUTION FOUND: 1353 @ 1.278 1.30 c Sol. found (all assignments made)... 1.30 o 1351 1.30 c NEW SOLUTION FOUND: 1351 @ 1.289 1.30 c Sol. found (all assignments made)... 1.30 o 1349 1.30 c NEW SOLUTION FOUND: 1349 @ 1.29 1.34 c Sol. found (all assignments made)... 1.34 o 1347 1.34 c NEW SOLUTION FOUND: 1347 @ 1.329 1.34 c Sol. found (all assignments made)... 1.34 o 1345 1.34 c NEW SOLUTION FOUND: 1345 @ 1.33 1.34 c Sol. found (all assignments made)... 1.34 o 1337 1.34 c NEW SOLUTION FOUND: 1337 @ 1.331 1.35 c Sol. found (all assignments made)... 1.35 o 1333 1.35 c NEW SOLUTION FOUND: 1333 @ 1.338 1.38 c Sol. found (all assignments made)... 1.38 o 1329 1.38 c NEW SOLUTION FOUND: 1329 @ 1.373 1.39 c Sol. found (all assignments made)... 1.39 o 1325 1.39 c NEW SOLUTION FOUND: 1325 @ 1.378 1.40 c Sol. found (all assignments made)... 1.40 o 1321 1.40 c NEW SOLUTION FOUND: 1321 @ 1.388 1.42 c Sol. found (all assignments made)... 1.42 o 1313 1.42 c NEW SOLUTION FOUND: 1313 @ 1.411 1.43 c Sol. found (all assignments made)... 1.43 o 1309 1.43 c NEW SOLUTION FOUND: 1309 @ 1.415 1.44 c Sol. found (all assignments made)... 1.44 o 1305 1.44 c NEW SOLUTION FOUND: 1305 @ 1.425 1.45 c Sol. found (all assignments made)... 1.45 o 1265 1.45 c NEW SOLUTION FOUND: 1265 @ 1.437 1.45 c Sol. found (all assignments made)... 1.45 o 1261 1.45 c NEW SOLUTION FOUND: 1261 @ 1.438 1.48 c Sol. found (all assignments made)... 1.48 o 1257 1.48 c NEW SOLUTION FOUND: 1257 @ 1.469 1.49 c Sol. found (all assignments made)... 1.49 o 1249 1.49 c NEW SOLUTION FOUND: 1249 @ 1.477 1.49 c Sol. found (all assignments made)... 1.49 o 1245 1.49 c NEW SOLUTION FOUND: 1245 @ 1.484 1.51 c Sol. found (all assignments made)... 1.51 o 1241 1.51 c NEW SOLUTION FOUND: 1241 @ 1.498 1.53 c Sol. found (all assignments made)... 1.53 o 1233 1.53 c NEW SOLUTION FOUND: 1233 @ 1.52 1.53 c Sol. found (all assignments made)... 1.53 o 1229 1.53 c NEW SOLUTION FOUND: 1229 @ 1.521 1.54 c Sol. found (all assignments made)... 1.54 o 1227 1.54 c NEW SOLUTION FOUND: 1227 @ 1.525 1.54 c Sol. found (all assignments made)... 1.54 o 1225 1.54 c NEW SOLUTION FOUND: 1225 @ 1.527 1.56 c Sol. found (all assignments made)... 1.56 o 1223 1.56 c NEW SOLUTION FOUND: 1223 @ 1.547 1.56 c Sol. found (all assignments made)... 1.56 o 1221 1.56 c NEW SOLUTION FOUND: 1221 @ 1.548 1.58 c Sol. found (all assignments made)... 1.58 o 1217 1.58 c NEW SOLUTION FOUND: 1217 @ 1.568 1.58 c Sol. found (all assignments made)... 1.58 o 1215 1.58 c NEW SOLUTION FOUND: 1215 @ 1.573 1.58 c Sol. found (all assignments made)... 1.58 o 1213 1.58 c NEW SOLUTION FOUND: 1213 @ 1.574 1.60 c Sol. found (all assignments made)... 1.60 o 1211 1.60 c NEW SOLUTION FOUND: 1211 @ 1.589 1.60 c Sol. found (all assignments made)... 1.60 o 1209 1.60 c NEW SOLUTION FOUND: 1209 @ 1.59 1.62 c Sol. found (all assignments made)... 1.62 o 1203 1.62 c NEW SOLUTION FOUND: 1203 @ 1.607 1.62 c Sol. found (all assignments made)... 1.62 o 1201 1.62 c NEW SOLUTION FOUND: 1201 @ 1.609 1.62 c Sol. found (all assignments made)... 1.62 o 1199 1.62 c NEW SOLUTION FOUND: 1199 @ 1.614 1.63 c Sol. found (all assignments made)... 1.63 o 1197 1.63 c NEW SOLUTION FOUND: 1197 @ 1.614 1.64 c Sol. found (all assignments made)... 1.64 o 1195 1.64 c NEW SOLUTION FOUND: 1195 @ 1.627 1.64 c Sol. found (all assignments made)... 1.64 o 1193 1.64 c NEW SOLUTION FOUND: 1193 @ 1.628 1.93 c Sol. found (all assignments made)... 1.93 o 1189 1.93 c NEW SOLUTION FOUND: 1189 @ 1.918 1.97 c Sol. found (all assignments made)... 1.97 o 1185 1.97 c NEW SOLUTION FOUND: 1185 @ 1.961 2.27 c Sol. found (all assignments made)... 2.27 o 1183 2.27 c NEW SOLUTION FOUND: 1183 @ 2.257 2.34 c Sol. found (all assignments made)... 2.34 o 1181 2.34 c NEW SOLUTION FOUND: 1181 @ 2.33 2.34 c Sol. found (all assignments made)... 2.34 o 1177 2.34 c NEW SOLUTION FOUND: 1177 @ 2.331 2.35 c Sol. found (all assignments made)... 2.35 o 1175 2.35 c NEW SOLUTION FOUND: 1175 @ 2.334 2.36 c Sol. found (all assignments made)... 2.36 o 1173 2.36 c NEW SOLUTION FOUND: 1173 @ 2.348 2.36 c Sol. found (all assignments made)... 2.36 o 1171 2.36 c NEW SOLUTION FOUND: 1171 @ 2.351 2.42 c Sol. found (all assignments made)... 2.42 o 1169 2.42 c NEW SOLUTION FOUND: 1169 @ 2.41 2.43 c Sol. found (all assignments made)... 2.43 o 1167 2.43 c NEW SOLUTION FOUND: 1167 @ 2.415 2.44 c Sol. found (all assignments made)... 2.44 o 1141 2.44 c NEW SOLUTION FOUND: 1141 @ 2.433 2.44 c Sol. found (all assignments made)... 2.44 o 1133 2.44 c NEW SOLUTION FOUND: 1133 @ 2.433 2.44 c Sol. found (all assignments made)... 2.44 o 1125 2.44 c NEW SOLUTION FOUND: 1125 @ 2.434 2.48 c Sol. found (all assignments made)... 2.48 o 1121 2.48 c NEW SOLUTION FOUND: 1121 @ 2.467 2.62 c Sol. found (all assignments made)... 2.62 o 1109 2.62 c NEW SOLUTION FOUND: 1109 @ 2.61 2.63 c Sol. found (all assignments made)... 2.63 o 1105 2.63 c NEW SOLUTION FOUND: 1105 @ 2.619 2.68 c Sol. found (all assignments made)... 2.68 o 1101 2.68 c NEW SOLUTION FOUND: 1101 @ 2.672 2.75 c Sol. found (all assignments made)... 2.75 o 1099 2.75 c NEW SOLUTION FOUND: 1099 @ 2.74 2.76 c Sol. found (all assignments made)... 2.76 o 1097 2.76 c NEW SOLUTION FOUND: 1097 @ 2.747 2.76 c Sol. found (all assignments made)... 2.76 o 1093 2.76 c NEW SOLUTION FOUND: 1093 @ 2.754 2.80 c Sol. found (all assignments made)... 2.80 o 1089 2.80 c NEW SOLUTION FOUND: 1089 @ 2.787 2.92 c Sol. found (all assignments made)... 2.92 o 1085 2.92 c NEW SOLUTION FOUND: 1085 @ 2.909 3.20 c Sol. found (all assignments made)... 3.20 o 1083 3.20 c NEW SOLUTION FOUND: 1083 @ 3.189 3.21 c Sol. found (all assignments made)... 3.21 o 1081 3.21 c NEW SOLUTION FOUND: 1081 @ 3.198 3.28 c Sol. found (all assignments made)... 3.28 o 1079 3.28 c NEW SOLUTION FOUND: 1079 @ 3.268 3.28 c Sol. found (all assignments made)... 3.28 o 1077 3.28 c NEW SOLUTION FOUND: 1077 @ 3.268 3.42 c Sol. found (all assignments made)... 3.42 o 1075 3.42 c NEW SOLUTION FOUND: 1075 @ 3.414 3.43 c Sol. found (all assignments made)... 3.43 o 1073 3.43 c NEW SOLUTION FOUND: 1073 @ 3.415 3.47 c Sol. found (all assignments made)... 3.47 o 1071 3.47 c NEW SOLUTION FOUND: 1071 @ 3.456 3.47 c Sol. found (all assignments made)... 3.47 o 1069 3.47 c NEW SOLUTION FOUND: 1069 @ 3.457 3.48 c Sol. found (all assignments made)... 3.48 o 1067 3.48 c NEW SOLUTION FOUND: 1067 @ 3.471 3.48 c Sol. found (all assignments made)... 3.48 o 1065 3.48 c NEW SOLUTION FOUND: 1065 @ 3.472 3.52 c Sol. found (all assignments made)... 3.52 o 1063 3.52 c NEW SOLUTION FOUND: 1063 @ 3.506 3.52 c Sol. found (all assignments made)... 3.52 o 1061 3.52 c NEW SOLUTION FOUND: 1061 @ 3.507 3.56 c Sol. found (all assignments made)... 3.56 o 1059 3.56 c NEW SOLUTION FOUND: 1059 @ 3.55 3.56 c Sol. found (all assignments made)... 3.56 o 1057 3.56 c NEW SOLUTION FOUND: 1057 @ 3.551 4.12 c Sol. found (all assignments made)... 4.12 o 1051 4.12 c NEW SOLUTION FOUND: 1051 @ 4.111 4.12 c Sol. found (all assignments made)... 4.12 o 1049 4.12 c NEW SOLUTION FOUND: 1049 @ 4.113 4.23 c Sol. found (all assignments made)... 4.23 o 1045 4.23 c NEW SOLUTION FOUND: 1045 @ 4.223 4.38 c Sol. found (all assignments made)... 4.38 o 1041 4.38 c NEW SOLUTION FOUND: 1041 @ 4.372 5.31 c Restart #13 #Var: 198 LB: 0 @ 5.295 5.89 c Restart #14 #Var: 198 LB: 0 @ 5.883 6.30 c Sol. found (all assignments made)... 6.30 o 1035 6.30 c NEW SOLUTION FOUND: 1035 @ 6.289 6.30 c Sol. found (all assignments made)... 6.30 o 1031 6.30 c NEW SOLUTION FOUND: 1031 @ 6.289 6.31 c Sol. found (all assignments made)... 6.31 o 1015 6.31 c NEW SOLUTION FOUND: 1015 @ 6.3 6.34 c Sol. found (all assignments made)... 6.34 o 1011 6.34 c NEW SOLUTION FOUND: 1011 @ 6.328 6.87 c Sol. found (all assignments made)... 6.87 o 1007 6.87 c NEW SOLUTION FOUND: 1007 @ 6.855 6.87 c Sol. found (all assignments made)... 6.87 o 999 6.87 c NEW SOLUTION FOUND: 999 @ 6.857 6.89 c Sol. found (all assignments made)... 6.89 o 995 6.89 c NEW SOLUTION FOUND: 995 @ 6.877 7.43 c Sol. found (all assignments made)... 7.43 o 993 7.43 c NEW SOLUTION FOUND: 993 @ 7.419 7.57 c Sol. found (all assignments made)... 7.57 o 991 7.57 c NEW SOLUTION FOUND: 991 @ 7.562 7.73 c Sol. found (all assignments made)... 7.73 o 989 7.73 c NEW SOLUTION FOUND: 989 @ 7.715 8.62 c Restart #15 #Var: 198 LB: 0 @ 8.612 9.32 c Restart #16 #Var: 198 LB: 0 @ 9.306 10.42 c Restart #17 #Var: 198 LB: 0 @ 10.403 11.89 c Restart #18 #Var: 198 LB: 0 @ 11.877 13.99 c CHANGE to MIS mode... UB: 989 MIS: 0 LPR: 0 (0.011) Diff: nan 13.99 c Restart #0 #Var: 198 LB: 0 @ 13.975 14.18 c Restart #1 #Var: 198 LB: 0 @ 14.16 14.42 c Restart #2 #Var: 198 LB: 0 @ 14.405 15.15 c Restart #3 #Var: 198 LB: 0 @ 15.133 15.79 c Restart #4 #Var: 198 LB: 0 @ 15.769 16.84 c Restart #5 #Var: 198 LB: 0 @ 16.824 17.59 c Restart #6 #Var: 198 LB: 0 @ 17.571 18.30 c Restart #7 #Var: 198 LB: 0 @ 18.282 19.11 c Restart #8 #Var: 198 LB: 0 @ 19.089 19.78 c Restart #9 #Var: 198 LB: 0 @ 19.758 20.67 c Restart #10 #Var: 198 LB: 0 @ 20.654 22.67 c Restart #11 #Var: 198 LB: 0 @ 22.651 24.03 c Restart #12 #Var: 198 LB: 0 @ 24.005 25.39 c Restart #13 #Var: 198 LB: 0 @ 25.374 26.56 c Restart #14 #Var: 198 LB: 0 @ 26.542 28.58 c Restart #15 #Var: 198 LB: 0 @ 28.554 30.41 c Restart #16 #Var: 198 LB: 0 @ 30.387 33.37 c Restart #17 #Var: 198 LB: 0 @ 33.346 36.23 c Restart #18 #Var: 198 LB: 0 @ 36.205 40.08 c Sol. found (all assignments made)... 40.08 c Sol. found (all assignments made)... 40.08 o 988 40.08 c NEW SOLUTION FOUND: 988 @ 40.058 40.09 c Sol. found (all assignments made)... 40.09 o 986 40.09 c NEW SOLUTION FOUND: 986 @ 40.06 40.66 c Sol. found (all assignments made)... 40.66 o 982 40.66 c NEW SOLUTION FOUND: 982 @ 40.636 40.97 c Sol. found (all assignments made)... 40.97 o 978 40.97 c NEW SOLUTION FOUND: 978 @ 40.945 40.99 c Sol. found (all assignments made)... 40.99 o 976 40.99 c NEW SOLUTION FOUND: 976 @ 40.964 41.00 c Sol. found (all assignments made)... 41.00 o 974 41.00 c NEW SOLUTION FOUND: 974 @ 40.97 41.11 c Sol. found (all assignments made)... 41.11 o 970 41.11 c NEW SOLUTION FOUND: 970 @ 41.081 41.28 c Sol. found (all assignments made)... 41.28 o 966 41.28 c NEW SOLUTION FOUND: 966 @ 41.252 41.50 c Sol. found (all assignments made)... 41.50 o 964 41.50 c NEW SOLUTION FOUND: 964 @ 41.47 41.50 c Sol. found (all assignments made)... 41.50 o 962 41.50 c NEW SOLUTION FOUND: 962 @ 41.471 41.85 c Sol. found (all assignments made)... 41.85 o 960 41.85 c NEW SOLUTION FOUND: 960 @ 41.827 41.86 c Sol. found (all assignments made)... 41.86 o 958 41.86 c NEW SOLUTION FOUND: 958 @ 41.836 41.92 c Sol. found (all assignments made)... 41.92 o 956 41.92 c NEW SOLUTION FOUND: 956 @ 41.895 41.94 c Sol. found (all assignments made)... 41.94 o 954 41.94 c NEW SOLUTION FOUND: 954 @ 41.911 41.95 c Sol. found (all assignments made)... 41.95 o 950 41.95 c NEW SOLUTION FOUND: 950 @ 41.928 42.01 c Sol. found (all assignments made)... 42.01 o 934 42.01 c NEW SOLUTION FOUND: 934 @ 41.985 42.04 c Sol. found (all assignments made)... 42.04 o 922 42.04 c NEW SOLUTION FOUND: 922 @ 42.011 42.05 c Sol. found (all assignments made)... 42.05 o 918 42.05 c NEW SOLUTION FOUND: 918 @ 42.026 42.10 c Sol. found (all assignments made)... 42.10 o 914 42.10 c NEW SOLUTION FOUND: 914 @ 42.075 42.28 c Sol. found (all assignments made)... 42.28 o 910 42.28 c NEW SOLUTION FOUND: 910 @ 42.255 42.38 c Sol. found (all assignments made)... 42.38 o 898 42.38 c NEW SOLUTION FOUND: 898 @ 42.357 42.39 c Sol. found (all assignments made)... 42.39 o 894 42.39 c NEW SOLUTION FOUND: 894 @ 42.362 42.41 c Sol. found (all assignments made)... 42.41 o 890 42.41 c NEW SOLUTION FOUND: 890 @ 42.385 42.84 c Sol. found (all assignments made)... 42.84 o 882 42.84 c NEW SOLUTION FOUND: 882 @ 42.815 43.22 c Sol. found (all assignments made)... 43.22 o 874 43.22 c NEW SOLUTION FOUND: 874 @ 43.19 43.23 c Sol. found (all assignments made)... 43.23 o 870 43.23 c NEW SOLUTION FOUND: 870 @ 43.206 43.36 c Sol. found (all assignments made)... 43.36 o 850 43.36 c NEW SOLUTION FOUND: 850 @ 43.337 47.05 c Restart #19 #Var: 198 LB: 0 @ 47.023 51.74 c Restart #20 #Var: 198 LB: 0 @ 51.713 56.77 c Sol. found (all assignments made)... 56.77 o 846 56.77 c NEW SOLUTION FOUND: 846 @ 56.742 56.81 c Sol. found (all assignments made)... 56.81 o 844 56.81 c NEW SOLUTION FOUND: 844 @ 56.78 56.95 c Sol. found (all assignments made)... 56.95 o 842 56.95 c NEW SOLUTION FOUND: 842 @ 56.922 57.02 c Sol. found (all assignments made)... 57.02 o 834 57.02 c NEW SOLUTION FOUND: 834 @ 56.986 57.08 c Sol. found (all assignments made)... 57.08 o 830 57.08 c NEW SOLUTION FOUND: 830 @ 57.051 57.11 c Sol. found (all assignments made)... 57.11 o 828 57.11 c NEW SOLUTION FOUND: 828 @ 57.079 57.46 c Sol. found (all assignments made)... 57.46 o 824 57.46 c NEW SOLUTION FOUND: 824 @ 57.427 57.50 c Sol. found (all assignments made)... 57.50 o 820 57.50 c NEW SOLUTION FOUND: 820 @ 57.474 58.17 c Sol. found (all assignments made)... 58.17 o 816 58.17 c NEW SOLUTION FOUND: 816 @ 58.138 58.22 c Sol. found (all assignments made)... 58.22 o 812 58.22 c NEW SOLUTION FOUND: 812 @ 58.186 58.34 c Sol. found (all assignments made)... 58.34 o 808 58.34 c NEW SOLUTION FOUND: 808 @ 58.315 58.37 c Sol. found (all assignments made)... 58.37 o 804 58.37 c NEW SOLUTION FOUND: 804 @ 58.343 60.86 c Sol. found (all assignments made)... 60.86 o 796 60.86 c NEW SOLUTION FOUND: 796 @ 60.831 63.78 c Sol. found (all assignments made)... 63.78 o 790 63.78 c NEW SOLUTION FOUND: 790 @ 63.75 64.36 c Sol. found (all assignments made)... 64.36 o 788 64.36 c NEW SOLUTION FOUND: 788 @ 64.328 65.30 c Sol. found (all assignments made)... 65.30 o 782 65.30 c NEW SOLUTION FOUND: 782 @ 65.267 65.62 c Sol. found (all assignments made)... 65.62 o 780 65.62 c NEW SOLUTION FOUND: 780 @ 65.587 71.81 c Restart #21 #Var: 198 LB: 0 @ 71.775 74.86 c Restart #22 #Var: 198 LB: 0 @ 74.83 78.24 c Sol. found (all assignments made)... 78.24 o 776 78.24 c NEW SOLUTION FOUND: 776 @ 78.206 85.47 c Restart #23 #Var: 198 LB: 0 @ 85.437 94.97 c Restart #24 #Var: 198 LB: 0 @ 94.926 99.99 c Restart #25 #Var: 198 LB: 0 @ 99.952 104.27 c Restart #26 #Var: 198 LB: 0 @ 104.23 109.02 c Restart #27 #Var: 198 LB: 0 @ 108.98 115.49 c Restart #28 #Var: 198 LB: 0 @ 115.44 122.19 c Restart #29 #Var: 198 LB: 0 @ 122.14 133.74 c Restart #30 #Var: 198 LB: 0 @ 133.68 143.97 c Restart #31 #Var: 198 LB: 0 @ 143.92 160.62 c Sol. found (all assignments made)... 160.62 o 774 160.62 c NEW SOLUTION FOUND: 774 @ 160.56 160.63 c Sol. found (all assignments made)... 160.63 o 772 160.63 c NEW SOLUTION FOUND: 772 @ 160.57 176.89 c Restart #32 #Var: 198 LB: 0 @ 176.83 183.62 c Sol. found (all assignments made)... 183.62 c Sol. found (all assignments made)... 183.62 o 761 183.62 c NEW SOLUTION FOUND: 761 @ 183.55 183.63 c Sol. found (all assignments made)... 183.63 o 759 183.63 c NEW SOLUTION FOUND: 759 @ 183.56 183.75 c Sol. found (all assignments made)... 183.75 o 757 183.75 c NEW SOLUTION FOUND: 757 @ 183.68 183.77 c Sol. found (all assignments made)... 183.77 o 755 183.77 c NEW SOLUTION FOUND: 755 @ 183.71 191.04 c Restart #33 #Var: 198 LB: 0 @ 190.98 207.20 c Sol. found (all assignments made)... 207.20 o 752 207.20 c NEW SOLUTION FOUND: 752 @ 207.13 208.00 c Sol. found (all assignments made)... 208.00 o 750 208.00 c NEW SOLUTION FOUND: 750 @ 207.93 213.36 c Sol. found (all assignments made)... 213.36 o 744 213.36 c NEW SOLUTION FOUND: 744 @ 213.28 213.36 c Sol. found (all assignments made)... 213.36 o 740 213.36 c NEW SOLUTION FOUND: 740 @ 213.28 213.46 c Sol. found (all assignments made)... 213.46 o 738 213.46 c NEW SOLUTION FOUND: 738 @ 213.38 213.51 c Sol. found (all assignments made)... 213.51 o 736 213.51 c NEW SOLUTION FOUND: 736 @ 213.43 214.05 c Sol. found (all assignments made)... 214.05 o 734 214.05 c NEW SOLUTION FOUND: 734 @ 213.97 215.20 c Sol. found (all assignments made)... 215.20 o 732 215.20 c NEW SOLUTION FOUND: 732 @ 215.13 220.01 c Sol. found (all assignments made)... 220.01 o 728 220.01 c NEW SOLUTION FOUND: 728 @ 219.93 220.08 c Sol. found (all assignments made)... 220.08 o 726 220.08 c NEW SOLUTION FOUND: 726 @ 220 220.16 c Sol. found (all assignments made)... 220.16 o 718 220.16 c NEW SOLUTION FOUND: 718 @ 220.08 224.04 c Sol. found (all assignments made)... 224.04 o 704 224.04 c NEW SOLUTION FOUND: 704 @ 223.96 224.10 c Sol. found (all assignments made)... 224.10 o 702 224.10 c NEW SOLUTION FOUND: 702 @ 224.02 226.31 c Sol. found (all assignments made)... 226.31 o 700 226.31 c NEW SOLUTION FOUND: 700 @ 226.23 236.07 c Sol. found (all assignments made)... 236.07 o 696 236.07 c NEW SOLUTION FOUND: 696 @ 235.99 237.34 c Sol. found (all assignments made)... 237.34 o 694 237.34 c NEW SOLUTION FOUND: 694 @ 237.25 256.04 c Sol. found (all assignments made)... 256.04 o 692 256.04 c NEW SOLUTION FOUND: 692 @ 255.95 259.00 c Sol. found (all assignments made)... 259.00 o 690 259.00 c NEW SOLUTION FOUND: 690 @ 258.91 268.15 c Restart #34 #Var: 198 LB: 0 @ 268.06 285.57 c Restart #35 #Var: 198 LB: 0 @ 285.48 307.78 c Sol. found (all assignments made)... 307.78 o 688 307.78 c NEW SOLUTION FOUND: 688 @ 307.68 331.62 c Restart #36 #Var: 198 LB: 0 @ 331.51 345.30 c Restart #37 #Var: 198 LB: 0 @ 345.19 384.30 c Restart #38 #Var: 198 LB: 0 @ 384.17 415.89 c Restart #39 #Var: 198 LB: 0 @ 415.76 433.97 c Restart #40 #Var: 198 LB: 0 @ 433.83 458.50 c Restart #41 #Var: 198 LB: 0 @ 458.36 493.59 c Restart #42 #Var: 198 LB: 0 @ 493.44 508.72 c Restart #43 #Var: 198 LB: 0 @ 508.56 531.09 c Restart #44 #Var: 198 LB: 0 @ 530.93 568.79 c Restart #45 #Var: 198 LB: 0 @ 568.61 577.81 c Restart #46 #Var: 198 LB: 0 @ 577.63 595.72 c Restart #47 #Var: 198 LB: 0 @ 595.54 627.06 c Restart #48 #Var: 198 LB: 0 @ 626.87 645.94 c Sol. found (all assignments made)... 645.94 o 629 645.94 c NEW SOLUTION FOUND: 629 @ 645.74 645.95 c Sol. found (all assignments made)... 645.95 o 627 645.95 c NEW SOLUTION FOUND: 627 @ 645.75 645.97 c Sol. found (all assignments made)... 645.97 o 623 645.97 c NEW SOLUTION FOUND: 623 @ 645.77 645.99 c Sol. found (all assignments made)... 645.99 o 615 645.99 c NEW SOLUTION FOUND: 615 @ 645.79 646.00 c Sol. found (all assignments made)... 646.00 o 607 646.00 c NEW SOLUTION FOUND: 607 @ 645.8 652.81 c Sol. found (all assignments made)... 652.81 o 599 652.81 c NEW SOLUTION FOUND: 599 @ 652.61 653.03 c Sol. found (all assignments made)... 653.03 o 591 653.03 c NEW SOLUTION FOUND: 591 @ 652.83 663.09 c Sol. found (all assignments made)... 663.09 o 587 663.09 c NEW SOLUTION FOUND: 587 @ 662.88 663.32 c Sol. found (all assignments made)... 663.32 o 583 663.32 c NEW SOLUTION FOUND: 583 @ 663.12 665.52 c Sol. found (all assignments made)... 665.52 o 579 665.52 c NEW SOLUTION FOUND: 579 @ 665.32 670.40 c Sol. found (all assignments made)... 670.40 o 575 670.40 c NEW SOLUTION FOUND: 575 @ 670.19 670.46 c Sol. found (all assignments made)... 670.46 o 567 670.46 c NEW SOLUTION FOUND: 567 @ 670.25 673.17 c Sol. found (all assignments made)... 673.17 o 563 673.17 c NEW SOLUTION FOUND: 563 @ 672.97 694.67 c Sol. found (all assignments made)... 694.67 o 560 694.67 c NEW SOLUTION FOUND: 560 @ 694.46 694.71 c Sol. found (all assignments made)... 694.71 o 556 694.71 c NEW SOLUTION FOUND: 556 @ 694.5 702.38 c Sol. found (all assignments made)... 702.38 o 554 702.38 c NEW SOLUTION FOUND: 554 @ 702.17 703.41 c Sol. found (all assignments made)... 703.41 o 550 703.41 c NEW SOLUTION FOUND: 550 @ 703.2 704.27 c Sol. found (all assignments made)... 704.27 o 546 704.27 c NEW SOLUTION FOUND: 546 @ 704.05 706.57 c Sol. found (all assignments made)... 706.57 o 542 706.57 c NEW SOLUTION FOUND: 542 @ 706.36 728.45 c Restart #49 #Var: 198 LB: 0 @ 728.23 785.72 c Restart #50 #Var: 198 LB: 0 @ 785.48 853.86 c Restart #51 #Var: 198 LB: 0 @ 853.6 907.30 c Restart #52 #Var: 198 LB: 0 @ 907.03 939.75 c Restart #53 #Var: 198 LB: 0 @ 939.47 958.22 c Sol. found (all assignments made)... 958.22 o 535 958.22 c NEW SOLUTION FOUND: 535 @ 957.93 958.24 c Sol. found (all assignments made)... 958.24 o 531 958.24 c NEW SOLUTION FOUND: 531 @ 957.95 958.54 c Sol. found (all assignments made)... 958.54 o 499 958.54 c NEW SOLUTION FOUND: 499 @ 958.25 959.13 c Sol. found (all assignments made)... 959.13 o 495 959.13 c NEW SOLUTION FOUND: 495 @ 958.84 1012.77 c Restart #54 #Var: 198 LB: 0 @ 1012.5 1037.64 c Restart #55 #Var: 198 LB: 0 @ 1037.3 1066.70 c Restart #56 #Var: 198 LB: 0 @ 1066.4 1249.30 c Restart #57 #Var: 198 LB: 0 @ 1248.9 1276.80 c Restart #58 #Var: 198 LB: 0 @ 1276.4 1307.94 c Restart #59 #Var: 198 LB: 0 @ 1307.6 1338.83 c Restart #60 #Var: 198 LB: 0 @ 1338.4 1357.24 c Sol. found (all assignments made)... 1357.24 o 479 1357.24 c NEW SOLUTION FOUND: 479 @ 1356.8 1357.51 c Sol. found (all assignments made)... 1357.51 c Sol. found (all assignments made)... 1357.51 o 477 1357.51 c NEW SOLUTION FOUND: 477 @ 1357.1 1357.80 c Sol. found (all assignments made)... 1357.80 o 475 1357.80 c NEW SOLUTION FOUND: 475 @ 1357.4 1357.97 c Sol. found (all assignments made)... 1357.97 o 473 1357.97 c NEW SOLUTION FOUND: 473 @ 1357.6 1361.46 c Sol. found (all assignments made)... 1361.46 o 471 1361.46 c NEW SOLUTION FOUND: 471 @ 1361.1 1367.37 c Sol. found (all assignments made)... 1367.37 o 463 1367.37 c NEW SOLUTION FOUND: 463 @ 1367 1367.51 c Sol. found (all assignments made)... 1367.51 o 455 1367.51 c NEW SOLUTION FOUND: 455 @ 1367.1 1367.69 c Sol. found (all assignments made)... 1367.69 o 453 1367.69 c NEW SOLUTION FOUND: 453 @ 1367.3 1368.11 c Sol. found (all assignments made)... 1368.11 o 451 1368.11 c NEW SOLUTION FOUND: 451 @ 1367.7 1368.62 c Sol. found (all assignments made)... 1368.62 o 443 1368.62 c NEW SOLUTION FOUND: 443 @ 1368.2 1370.69 c Sol. found (all assignments made)... 1370.69 o 441 1370.69 c NEW SOLUTION FOUND: 441 @ 1370.3 1371.73 c Sol. found (all assignments made)... 1371.73 o 439 1371.73 c NEW SOLUTION FOUND: 439 @ 1371.3 1464.13 c Sol. found (all assignments made)... 1464.13 o 423 1464.13 c NEW SOLUTION FOUND: 423 @ 1463.7 1473.61 c Sol. found (all assignments made)... 1473.61 o 421 1473.61 c NEW SOLUTION FOUND: 421 @ 1473.2 1521.97 c Restart #61 #Var: 198 LB: 0 @ 1521.5 1565.74 c Restart #62 #Var: 198 LB: 0 @ 1565.3 1609.55 c Restart #63 #Var: 198 LB: 0 @ 1609.1 1692.41 c Restart #64 #Var: 198 LB: 0 @ 1691.9 1742.73 c Restart #65 #Var: 198 LB: 0 @ 1742.2 1792.90 c Restart #66 #Var: 198 LB: 0 @ 1792.3 1800.63 s SATISFIABLE 1800.63 c Cost: 421 1800.63 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 1800.63 v -x30 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 1800.63 v -x56 -x57 -x58 x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.63 v -x83 -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 1800.63 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 x129 1800.63 v x130 -x131 -x132 x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 x142 -x143 x144 x145 -x146 x147 x148 -x149 x150 -x151 x152 1800.63 v x153 x154 x155 -x156 x157 x158 -x159 x160 x161 x162 x163 -x164 x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 x174 x175 1800.63 v -x176 -x177 x178 x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 1800.63 v -x198 1800.63 c Exit Code: 10 1800.63 c Total time: 1800 s
OK 421
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/node19/watcher-50300-1154097119 -o ROOT/results/node19/solver-50300-1154097119 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/50300-1154097119/instance-50300-1154097119.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 27201 /proc/meminfo: memFree=1504392/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=4664 CPUtime=0 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 156572337 4775936 145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7453985 0 0 4096 0 0 0 0 17 1 0 0 /proc/27201/statm: 1166 147 109 55 0 46 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1434632/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=74364 CPUtime=9.98 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 17853 0 0 0 985 13 0 0 25 0 1 0 156572337 76148736 17767 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 18591 17767 297 55 0 17483 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 74364 [startup+20.0081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1410312/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=99024 CPUtime=19.98 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 24056 0 0 0 1979 19 0 0 25 0 1 0 156572337 101400576 23966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 24756 23966 420 55 0 23648 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 99024 [startup+30.0142 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1397128/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=112232 CPUtime=29.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 27343 0 0 0 2975 24 0 0 25 0 1 0 156572337 114925568 27253 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 28058 27253 420 55 0 26950 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 112232 [startup+40.0203 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1390088/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=119232 CPUtime=39.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 29098 0 0 0 3972 27 0 0 25 0 1 0 156572337 122093568 29008 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 29808 29008 420 55 0 28700 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 119232 [startup+50.0264 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1377992/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=131396 CPUtime=49.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 32112 0 0 0 4968 31 0 0 25 0 1 0 156572337 134549504 32022 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 32849 32022 420 55 0 31741 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 131396 [startup+60.0325 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1367688/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=141712 CPUtime=59.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 34683 0 0 0 5964 35 0 0 25 0 1 0 156572337 145113088 34593 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 35428 34593 420 55 0 34320 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 141712 [startup+70.0386 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1361352/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=148048 CPUtime=69.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 36265 0 0 0 6962 37 0 0 25 0 1 0 156572337 151601152 36175 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 37012 36175 420 55 0 35904 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 148048 [startup+80.0447 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1342280/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=167232 CPUtime=79.99 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 41427 0 0 0 7958 41 0 0 25 0 1 0 156572337 171245568 40934 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 41808 40934 420 55 0 40700 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 167232 [startup+90.0508 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1333192/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=176412 CPUtime=90.01 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 43692 0 0 0 8956 45 0 0 25 0 1 0 156572337 180645888 43198 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 44103 43198 420 55 0 42995 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 176412 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1321864/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=187788 CPUtime=100.01 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 46521 0 0 0 9953 48 0 0 25 0 1 0 156572337 192294912 46027 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 46947 46027 420 55 0 45839 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 187788 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1305736/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=203912 CPUtime=110.01 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 50539 0 0 0 10949 52 0 0 25 0 1 0 156572337 208805888 50044 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 50978 50044 420 55 0 49870 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 203912 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1293960/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=215716 CPUtime=120.01 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 53483 0 0 0 11946 55 0 0 25 0 1 0 156572337 220893184 52986 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 53929 52986 420 55 0 52821 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 215716 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1284744/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=224828 CPUtime=130.02 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 55777 0 0 0 12943 59 0 0 25 0 1 0 156572337 230223872 55280 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 56207 55280 420 55 0 55099 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 224828 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1275080/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=234468 CPUtime=140.02 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 58193 0 0 0 13940 62 0 0 25 0 1 0 156572337 240095232 57696 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 58617 57696 420 55 0 57509 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 234468 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1266824/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=242820 CPUtime=150.02 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 60256 0 0 0 14937 65 0 0 25 0 1 0 156572337 248647680 59759 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 60705 59759 420 55 0 59597 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 242820 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1261704/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=247984 CPUtime=160.03 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 61528 0 0 0 15936 67 0 0 25 0 1 0 156572337 253935616 61029 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 61996 61029 420 55 0 60888 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 247984 [startup+170.101 s] /proc/loadavg: 1.00 1.00 1.00 3/64 27201 /proc/meminfo: memFree=1254472/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=255276 CPUtime=170.03 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 63331 0 0 0 16934 69 0 0 25 0 1 0 156572337 261402624 62831 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 63819 62831 420 55 0 62711 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 255276 [startup+180.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1249992/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=259800 CPUtime=180.04 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 64457 0 0 0 17932 72 0 0 25 0 1 0 156572337 266035200 63956 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 64950 63956 420 55 0 63842 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 259800 [startup+190.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1241160/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=268660 CPUtime=190.04 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 66656 0 0 0 18929 75 0 0 25 0 1 0 156572337 275107840 66154 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 67165 66154 420 55 0 66057 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 268660 [startup+200.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 /proc/meminfo: memFree=1232008/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=277848 CPUtime=200.03 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 68942 0 0 0 19926 77 0 0 25 0 1 0 156572337 284516352 68435 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 69462 68435 420 55 0 68354 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 277848 [startup+210.125 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27201 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 873892 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=633472/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=878376 CPUtime=1770.47 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 220722 0 0 0 176750 297 0 0 25 0 1 0 156572337 899457024 217619 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 219594 217619 420 55 0 218486 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 878376 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=627592/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=884444 CPUtime=1780.47 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222249 0 0 0 177748 299 0 0 25 0 1 0 156572337 905670656 219146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221111 219146 420 55 0 220003 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 884444 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=627400/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=884708 CPUtime=1781.48 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222295 0 0 0 177849 299 0 0 25 0 1 0 156572337 905940992 219192 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221177 219192 420 55 0 220069 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 884708 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=627080/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=884972 CPUtime=1782.48 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222377 0 0 0 177949 299 0 0 25 0 1 0 156572337 906211328 219274 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221243 219274 420 55 0 220135 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 884972 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=626760/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=885368 CPUtime=1783.49 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222455 0 0 0 178049 300 0 0 25 0 1 0 156572337 906616832 219352 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221342 219352 420 55 0 220234 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 885368 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=626248/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=885764 CPUtime=1784.5 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222571 0 0 0 178150 300 0 0 25 0 1 0 156572337 907022336 219468 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221441 219468 420 55 0 220333 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 885764 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=625992/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=886028 CPUtime=1785.5 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222634 0 0 0 178250 300 0 0 25 0 1 0 156572337 907292672 219531 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221507 219531 420 55 0 220399 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 886028 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=625672/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=886424 CPUtime=1786.5 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222719 0 0 0 178350 300 0 0 25 0 1 0 156572337 907698176 219616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221606 219616 420 55 0 220498 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 886424 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=625416/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=886688 CPUtime=1787.51 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 222789 0 0 0 178451 300 0 0 25 0 1 0 156572337 907968512 219686 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221672 219686 420 55 0 220564 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 886688 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=624328/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=887744 CPUtime=1788.51 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223061 0 0 0 178551 300 0 0 25 0 1 0 156572337 909049856 219958 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 221936 219958 420 55 0 220828 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 887744 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=623432/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=888668 CPUtime=1789.51 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223277 0 0 0 178651 300 0 0 25 0 1 0 156572337 909996032 220174 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222167 220174 420 55 0 221059 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 888668 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=622920/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=889196 CPUtime=1790.51 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223410 0 0 0 178751 300 0 0 25 0 1 0 156572337 910536704 220307 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222299 220307 420 55 0 221191 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 889196 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=622088/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=889988 CPUtime=1791.52 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223610 0 0 0 178851 301 0 0 25 0 1 0 156572337 911347712 220507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222497 220507 420 55 0 221389 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 889988 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=621512/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=890384 CPUtime=1792.53 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223757 0 0 0 178952 301 0 0 25 0 1 0 156572337 911753216 220654 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222596 220654 420 55 0 221488 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 890384 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=621320/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=890648 CPUtime=1793.53 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223801 0 0 0 179052 301 0 0 25 0 1 0 156572337 912023552 220698 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222662 220698 420 55 0 221554 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 890648 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=621128/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=890980 CPUtime=1794.54 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223859 0 0 0 179153 301 0 0 25 0 1 0 156572337 912363520 220756 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222745 220756 420 55 0 221637 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 890980 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=621064/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=890980 CPUtime=1795.54 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223864 0 0 0 179253 301 0 0 25 0 1 0 156572337 912363520 220761 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222745 220761 420 55 0 221637 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 890980 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=621064/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=890980 CPUtime=1796.55 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223879 0 0 0 179354 301 0 0 25 0 1 0 156572337 912363520 220776 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222745 220776 420 55 0 221637 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 890980 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=620936/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=891112 CPUtime=1797.55 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223895 0 0 0 179454 301 0 0 25 0 1 0 156572337 912498688 220792 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222778 220792 420 55 0 221670 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 891112 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=620744/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=891244 CPUtime=1798.55 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223948 0 0 0 179554 301 0 0 25 0 1 0 156572337 912633856 220845 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222811 220845 420 55 0 221703 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 891244 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27401 /proc/meminfo: memFree=620680/2055920 swapFree=4183080/4192956 [pid=27201] ppid=27199 vsize=891376 CPUtime=1799.56 /proc/27201/stat : 27201 (bsolo) R 27199 27201 27152 0 -1 0 223972 0 0 0 179655 301 0 0 25 0 1 0 156572337 912769024 220869 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27201/statm: 222844 220869 420 55 0 221736 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 891376 Child status: 10 Real time (s): 1800.77 CPU time (s): 1800.16 CPU user time (s): 1797.01 CPU system time (s): 3.15552 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 891376 The end
Begin job on node19 on Fri Jul 28 14:31:59 UTC 2006 FILE ID= 50300-1154097119 PBS_JOBID= 885955 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/50300-1154097119/instance-50300-1154097119.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-50300-1154097119 -o ROOT/results/node19/solver-50300-1154097119 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/50300-1154097119/instance-50300-1154097119.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 256974349 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.233 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.233 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: 1504600 kB Buffers: 25452 kB Cached: 467800 kB SwapCached: 3556 kB Active: 51684 kB Inactive: 450072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1504600 kB SwapTotal: 4192956 kB SwapFree: 4183080 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14508 kB Slab: 35512 kB Committed_AS: 763640 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Fri Jul 28 15:01:59 UTC 2006