Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 39 | 1800.01 | 1800.47 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | 09000b526c4cf3fc454b31cbb57a970b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 8.12676 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 906 |
Total number of constraints | 1039 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 187 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
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.04 c Initial problem consists of 906 variables and 1039 constraints. 0.05 c Switching on LPR. 0.05 c No problem reductions applied in OPT. instance. 0.05 c preprocess terminated. Elapsed time: 0.035 0.05 c After prepocess the problem consists of 904 variables and 1037 constraints. 0.39 c Initial Lower Bound: 0 9.53 o 1393 9.53 c NEW SOLUTION FOUND: 1393 @ 9.513 9.54 o 1392 9.54 c NEW SOLUTION FOUND: 1392 @ 9.518 9.54 c Sol. found (all assignments made)... 9.54 o 1391 9.54 c NEW SOLUTION FOUND: 1391 @ 9.523 9.55 o 1390 9.55 c NEW SOLUTION FOUND: 1390 @ 9.529 9.55 c Sol. found (all assignments made)... 9.55 o 1389 9.55 c NEW SOLUTION FOUND: 1389 @ 9.535 9.56 o 1388 9.56 c NEW SOLUTION FOUND: 1388 @ 9.543 9.57 o 1387 9.57 c NEW SOLUTION FOUND: 1387 @ 9.55 9.58 o 1386 9.58 c NEW SOLUTION FOUND: 1386 @ 9.56 9.58 c Sol. found (all assignments made)... 9.59 o 1385 9.59 c NEW SOLUTION FOUND: 1385 @ 9.569 9.60 o 1384 9.60 c NEW SOLUTION FOUND: 1384 @ 9.578 9.61 c Sol. found (all assignments made)... 9.61 o 1383 9.61 c NEW SOLUTION FOUND: 1383 @ 9.589 9.62 o 1382 9.62 c NEW SOLUTION FOUND: 1382 @ 9.6 9.63 o 1381 9.63 c NEW SOLUTION FOUND: 1381 @ 9.611 9.64 o 1380 9.64 c NEW SOLUTION FOUND: 1380 @ 9.626 9.64 c Sol. found (all assignments made)... 9.66 o 1379 9.66 c NEW SOLUTION FOUND: 1379 @ 9.638 9.67 o 1378 9.67 c NEW SOLUTION FOUND: 1378 @ 9.65 9.68 c Sol. found (all assignments made)... 9.68 o 1377 9.68 c NEW SOLUTION FOUND: 1377 @ 9.666 9.70 o 1376 9.70 c NEW SOLUTION FOUND: 1376 @ 9.681 9.71 o 1375 9.71 c NEW SOLUTION FOUND: 1375 @ 9.696 9.73 o 1373 9.73 c NEW SOLUTION FOUND: 1373 @ 9.716 9.75 o 1372 9.75 c NEW SOLUTION FOUND: 1372 @ 9.735 9.77 o 1370 9.77 c NEW SOLUTION FOUND: 1370 @ 9.754 9.80 o 1369 9.80 c NEW SOLUTION FOUND: 1369 @ 9.778 9.82 o 1367 9.82 c NEW SOLUTION FOUND: 1367 @ 9.8 9.84 o 1365 9.84 c NEW SOLUTION FOUND: 1365 @ 9.822 9.87 o 1363 9.87 c NEW SOLUTION FOUND: 1363 @ 9.85 9.87 c Sol. found (all assignments made)... 9.89 o 1362 9.89 c NEW SOLUTION FOUND: 1362 @ 9.873 9.91 o 1361 9.91 c NEW SOLUTION FOUND: 1361 @ 9.896 9.94 c Sol. found (all assignments made)... 9.94 o 1360 9.94 c NEW SOLUTION FOUND: 1360 @ 9.927 9.97 o 1358 9.97 c NEW SOLUTION FOUND: 1358 @ 9.956 10.01 o 1355 10.01 c NEW SOLUTION FOUND: 1355 @ 9.987 10.07 o 1354 10.07 c NEW SOLUTION FOUND: 1354 @ 10.045 10.07 c Sol. found (all assignments made)... 10.11 o 1353 10.11 c NEW SOLUTION FOUND: 1353 @ 10.093 10.15 o 1352 10.15 c NEW SOLUTION FOUND: 1352 @ 10.126 10.19 c Sol. found (all assignments made)... 10.19 o 1350 10.19 c NEW SOLUTION FOUND: 1350 @ 10.168 10.23 o 1348 10.23 c NEW SOLUTION FOUND: 1348 @ 10.208 10.31 o 1347 10.31 c NEW SOLUTION FOUND: 1347 @ 10.287 10.36 o 1344 10.36 c NEW SOLUTION FOUND: 1344 @ 10.336 10.36 c Sol. found (all assignments made)... 10.40 o 1343 10.40 c NEW SOLUTION FOUND: 1343 @ 10.381 10.45 o 1342 10.45 c NEW SOLUTION FOUND: 1342 @ 10.426 10.47 c Sol. found (all assignments made)... 10.47 o 1341 10.47 c NEW SOLUTION FOUND: 1341 @ 10.451 10.52 o 1340 10.52 c NEW SOLUTION FOUND: 1340 @ 10.502 10.57 o 1339 10.57 c NEW SOLUTION FOUND: 1339 @ 10.553 10.63 o 1338 10.63 c NEW SOLUTION FOUND: 1338 @ 10.606 10.63 c Sol. found (all assignments made)... 10.78 o 1337 10.78 c NEW SOLUTION FOUND: 1337 @ 10.756 10.85 o 1336 10.85 c NEW SOLUTION FOUND: 1336 @ 10.832 11.10 c Sol. found (all assignments made)... 11.10 o 1335 11.10 c NEW SOLUTION FOUND: 1335 @ 11.076 11.32 o 1334 11.32 c NEW SOLUTION FOUND: 1334 @ 11.294 11.45 o 1333 11.45 c NEW SOLUTION FOUND: 1333 @ 11.425 11.45 c Sol. found (all assignments made)... 11.68 o 1332 11.68 c NEW SOLUTION FOUND: 1332 @ 11.656 11.76 o 1331 11.76 c NEW SOLUTION FOUND: 1331 @ 11.733 11.99 c Sol. found (all assignments made)... 11.99 o 1330 11.99 c NEW SOLUTION FOUND: 1330 @ 11.964 12.10 o 1329 12.10 c NEW SOLUTION FOUND: 1329 @ 12.074 12.39 o 1328 12.39 c NEW SOLUTION FOUND: 1328 @ 12.372 12.69 o 1327 12.69 c NEW SOLUTION FOUND: 1327 @ 12.664 12.69 c Sol. found (all assignments made)... 12.96 o 1326 12.96 c NEW SOLUTION FOUND: 1326 @ 12.933 13.06 o 1325 13.06 c NEW SOLUTION FOUND: 1325 @ 13.034 13.35 c Sol. found (all assignments made)... 13.35 o 1324 13.35 c NEW SOLUTION FOUND: 1324 @ 13.328 13.64 o 1323 13.64 c NEW SOLUTION FOUND: 1323 @ 13.615 13.92 o 1322 13.92 c NEW SOLUTION FOUND: 1322 @ 13.898 14.22 o 1321 14.22 c NEW SOLUTION FOUND: 1321 @ 14.198 14.34 o 1320 14.34 c NEW SOLUTION FOUND: 1320 @ 14.313 14.63 o 1319 14.63 c NEW SOLUTION FOUND: 1319 @ 14.602 14.86 c Sol. found (all assignments made)... 14.87 o 1318 14.87 c NEW SOLUTION FOUND: 1318 @ 14.84 14.99 o 1317 14.99 c NEW SOLUTION FOUND: 1317 @ 14.963 15.21 o 1316 15.21 c NEW SOLUTION FOUND: 1316 @ 15.182 15.34 o 1315 15.34 c NEW SOLUTION FOUND: 1315 @ 15.311 15.55 o 1314 15.55 c NEW SOLUTION FOUND: 1314 @ 15.527 15.69 o 1313 15.69 c NEW SOLUTION FOUND: 1313 @ 15.668 15.94 c Sol. found (all assignments made)... 15.94 o 1312 15.94 c NEW SOLUTION FOUND: 1312 @ 15.911 16.06 o 1311 16.06 c NEW SOLUTION FOUND: 1311 @ 16.031 16.29 o 1310 16.29 c NEW SOLUTION FOUND: 1310 @ 16.263 16.42 o 1309 16.42 c NEW SOLUTION FOUND: 1309 @ 16.392 16.59 o 1308 16.59 c NEW SOLUTION FOUND: 1308 @ 16.568 16.93 o 1307 16.93 c NEW SOLUTION FOUND: 1307 @ 16.906 17.17 c Sol. found (all assignments made)... 17.17 o 1306 17.17 c NEW SOLUTION FOUND: 1306 @ 17.15 17.42 o 1305 17.42 c NEW SOLUTION FOUND: 1305 @ 17.396 17.47 o 1304 17.47 c NEW SOLUTION FOUND: 1304 @ 17.443 17.55 o 1303 17.55 c NEW SOLUTION FOUND: 1303 @ 17.523 17.61 o 1302 17.61 c NEW SOLUTION FOUND: 1302 @ 17.589 17.68 o 1301 17.68 c NEW SOLUTION FOUND: 1301 @ 17.651 17.76 c Sol. found (all assignments made)... 17.76 o 1300 17.76 c NEW SOLUTION FOUND: 1300 @ 17.733 17.82 o 1299 17.82 c NEW SOLUTION FOUND: 1299 @ 17.799 17.89 o 1298 17.89 c NEW SOLUTION FOUND: 1298 @ 17.867 17.94 o 1297 17.94 c NEW SOLUTION FOUND: 1297 @ 17.916 18.02 o 1296 18.02 c NEW SOLUTION FOUND: 1296 @ 17.997 18.11 o 1295 18.11 c NEW SOLUTION FOUND: 1295 @ 18.083 18.23 c Sol. found (all assignments made)... 18.23 o 1294 18.23 c NEW SOLUTION FOUND: 1294 @ 18.208 18.32 o 1293 18.32 c NEW SOLUTION FOUND: 1293 @ 18.294 18.44 o 1292 18.44 c NEW SOLUTION FOUND: 1292 @ 18.412 18.53 o 1291 18.53 c NEW SOLUTION FOUND: 1291 @ 18.503 18.59 o 1290 18.59 c NEW SOLUTION FOUND: 1290 @ 18.569 18.59 c Sol. found (all assignments made)... 18.69 o 1289 18.69 c NEW SOLUTION FOUND: 1289 @ 18.663 18.80 o 1288 18.80 c NEW SOLUTION FOUND: 1288 @ 18.77 18.93 o 1287 18.93 c NEW SOLUTION FOUND: 1287 @ 18.907 19.06 c Sol. found (all assignments made)... 19.06 o 1286 19.06 c NEW SOLUTION FOUND: 1286 @ 19.037 19.21 o 1285 19.21 c NEW SOLUTION FOUND: 1285 @ 19.184 19.32 o 1284 19.32 c NEW SOLUTION FOUND: 1284 @ 19.297 19.45 o 1283 19.45 c NEW SOLUTION FOUND: 1283 @ 19.428 19.55 o 1282 19.55 c NEW SOLUTION FOUND: 1282 @ 19.528 19.55 c Sol. found (all assignments made)... 19.57 o 1281 19.57 c NEW SOLUTION FOUND: 1281 @ 19.541 19.60 o 1280 19.60 c NEW SOLUTION FOUND: 1280 @ 19.574 19.61 o 1279 19.61 c NEW SOLUTION FOUND: 1279 @ 19.583 19.67 o 1278 19.67 c NEW SOLUTION FOUND: 1278 @ 19.642 19.76 c Sol. found (all assignments made)... 19.76 o 1277 19.76 c NEW SOLUTION FOUND: 1277 @ 19.733 19.86 o 1276 19.86 c NEW SOLUTION FOUND: 1276 @ 19.836 19.98 o 1275 19.98 c NEW SOLUTION FOUND: 1275 @ 19.955 20.08 o 1274 20.08 c NEW SOLUTION FOUND: 1274 @ 20.053 20.14 o 1273 20.14 c NEW SOLUTION FOUND: 1273 @ 20.116 20.16 o 1272 20.16 c NEW SOLUTION FOUND: 1272 @ 20.132 20.21 o 1271 20.21 c NEW SOLUTION FOUND: 1271 @ 20.185 20.28 o 1270 20.28 c NEW SOLUTION FOUND: 1270 @ 20.259 20.38 o 1269 20.38 c NEW SOLUTION FOUND: 1269 @ 20.357 20.51 o 1268 20.51 c NEW SOLUTION FOUND: 1268 @ 20.482 20.63 o 1267 20.63 c NEW SOLUTION FOUND: 1267 @ 20.608 20.74 o 1266 20.74 c NEW SOLUTION FOUND: 1266 @ 20.717 20.84 o 1265 20.84 c NEW SOLUTION FOUND: 1265 @ 20.816 20.97 o 1264 20.97 c NEW SOLUTION FOUND: 1264 @ 20.94 21.08 o 1262 21.08 c NEW SOLUTION FOUND: 1262 @ 21.058 21.11 o 1260 21.11 c NEW SOLUTION FOUND: 1260 @ 21.082 21.20 o 1259 21.20 c NEW SOLUTION FOUND: 1259 @ 21.173 21.31 o 1258 21.31 c NEW SOLUTION FOUND: 1258 @ 21.283 21.42 o 1257 21.42 c NEW SOLUTION FOUND: 1257 @ 21.393 21.59 o 1256 21.59 c NEW SOLUTION FOUND: 1256 @ 21.559 21.70 o 1255 21.70 c NEW SOLUTION FOUND: 1255 @ 21.679 21.85 o 1254 21.85 c NEW SOLUTION FOUND: 1254 @ 21.821 22.01 o 1253 22.01 c NEW SOLUTION FOUND: 1253 @ 21.987 22.15 o 1252 22.15 c NEW SOLUTION FOUND: 1252 @ 22.122 22.31 o 1251 22.31 c NEW SOLUTION FOUND: 1251 @ 22.281 22.47 o 1250 22.47 c NEW SOLUTION FOUND: 1250 @ 22.442 22.60 o 1249 22.60 c NEW SOLUTION FOUND: 1249 @ 22.57 22.75 o 1248 22.75 c NEW SOLUTION FOUND: 1248 @ 22.721 22.95 o 1247 22.95 c NEW SOLUTION FOUND: 1247 @ 22.928 23.15 o 1246 23.15 c NEW SOLUTION FOUND: 1246 @ 23.122 23.34 o 1245 23.34 c NEW SOLUTION FOUND: 1245 @ 23.318 23.53 o 1244 23.53 c NEW SOLUTION FOUND: 1244 @ 23.502 23.70 o 1243 23.70 c NEW SOLUTION FOUND: 1243 @ 23.671 23.88 o 1242 23.88 c NEW SOLUTION FOUND: 1242 @ 23.853 24.12 o 1241 24.12 c NEW SOLUTION FOUND: 1241 @ 24.096 24.35 o 1240 24.35 c NEW SOLUTION FOUND: 1240 @ 24.326 24.60 o 1239 24.60 c NEW SOLUTION FOUND: 1239 @ 24.572 24.82 o 1238 24.82 c NEW SOLUTION FOUND: 1238 @ 24.795 25.03 o 1237 25.03 c NEW SOLUTION FOUND: 1237 @ 25.001 25.31 o 1236 25.31 c NEW SOLUTION FOUND: 1236 @ 25.282 25.53 o 1235 25.53 c NEW SOLUTION FOUND: 1235 @ 25.506 25.78 o 1234 25.78 c NEW SOLUTION FOUND: 1234 @ 25.757 26.02 o 1233 26.02 c NEW SOLUTION FOUND: 1233 @ 25.997 26.33 o 1232 26.33 c NEW SOLUTION FOUND: 1232 @ 26.302 26.64 o 1231 26.64 c NEW SOLUTION FOUND: 1231 @ 26.614 26.97 o 1230 26.97 c NEW SOLUTION FOUND: 1230 @ 26.942 27.21 o 1229 27.21 c NEW SOLUTION FOUND: 1229 @ 27.184 27.54 o 1228 27.54 c NEW SOLUTION FOUND: 1228 @ 27.507 27.97 o 1227 27.97 c NEW SOLUTION FOUND: 1227 @ 27.947 28.27 o 1226 28.27 c NEW SOLUTION FOUND: 1226 @ 28.242 28.64 o 1225 28.64 c NEW SOLUTION FOUND: 1225 @ 28.617 29.01 o 1224 29.01 c NEW SOLUTION FOUND: 1224 @ 28.979 29.77 o 1223 29.77 c NEW SOLUTION FOUND: 1223 @ 29.739 30.04 o 1222 30.04 c NEW SOLUTION FOUND: 1222 @ 30.013 30.41 o 1221 30.41 c NEW SOLUTION FOUND: 1221 @ 30.379 30.70 o 1220 30.70 c NEW SOLUTION FOUND: 1220 @ 30.672 31.04 o 1219 31.04 c NEW SOLUTION FOUND: 1219 @ 31.011 31.36 o 1218 31.36 c NEW SOLUTION FOUND: 1218 @ 31.328 31.64 o 1217 31.64 c NEW SOLUTION FOUND: 1217 @ 31.613 31.93 o 1216 31.93 c NEW SOLUTION FOUND: 1216 @ 31.901 32.28 o 1215 32.28 c NEW SOLUTION FOUND: 1215 @ 32.248 32.65 o 1214 32.65 c NEW SOLUTION FOUND: 1214 @ 32.622 33.03 o 1213 33.03 c NEW SOLUTION FOUND: 1213 @ 32.997 33.36 o 1212 33.36 c NEW SOLUTION FOUND: 1212 @ 33.331 33.75 o 1211 33.75 c NEW SOLUTION FOUND: 1211 @ 33.718 34.08 o 1210 34.08 c NEW SOLUTION FOUND: 1210 @ 34.051 34.54 o 1209 34.54 c NEW SOLUTION FOUND: 1209 @ 34.508 34.99 o 1208 34.99 c NEW SOLUTION FOUND: 1208 @ 34.957 35.40 o 1207 35.40 c NEW SOLUTION FOUND: 1207 @ 35.374 35.89 o 1206 35.89 c NEW SOLUTION FOUND: 1206 @ 35.861 36.14 o 1205 36.14 c NEW SOLUTION FOUND: 1205 @ 36.106 36.41 o 1204 36.41 c NEW SOLUTION FOUND: 1204 @ 36.377 36.66 o 1203 36.66 c NEW SOLUTION FOUND: 1203 @ 36.628 37.01 o 1202 37.01 c NEW SOLUTION FOUND: 1202 @ 36.98 37.54 o 1201 37.54 c NEW SOLUTION FOUND: 1201 @ 37.508 37.86 o 1200 37.86 c NEW SOLUTION FOUND: 1200 @ 37.831 38.69 o 1199 38.69 c NEW SOLUTION FOUND: 1199 @ 38.658 39.09 o 1198 39.09 c NEW SOLUTION FOUND: 1198 @ 39.058 39.44 o 1197 39.44 c NEW SOLUTION FOUND: 1197 @ 39.415 39.81 o 1196 39.81 c NEW SOLUTION FOUND: 1196 @ 39.776 40.53 o 1195 40.53 c NEW SOLUTION FOUND: 1195 @ 40.498 41.74 c Restart #1 #Var: 904 LB: 0 @ 41.712 57.63 o 49 57.63 c NEW SOLUTION FOUND: 49 @ 57.599 57.76 o 48 57.76 c NEW SOLUTION FOUND: 48 @ 57.721 57.99 o 46 57.99 c NEW SOLUTION FOUND: 46 @ 57.951 58.16 o 45 58.16 c NEW SOLUTION FOUND: 45 @ 58.13 58.42 o 44 58.42 c NEW SOLUTION FOUND: 44 @ 58.39 58.59 o 43 58.59 c NEW SOLUTION FOUND: 43 @ 58.553 58.99 o 42 58.99 c NEW SOLUTION FOUND: 42 @ 58.956 59.04 o 41 59.04 c NEW SOLUTION FOUND: 41 @ 59.01 59.24 o 40 59.24 c NEW SOLUTION FOUND: 40 @ 59.203 60.87 c Restart #2 #Var: 904 LB: 0 @ 60.836 78.89 c Restart #3 #Var: 904 LB: 0 @ 78.848 90.93 c Restart #4 #Var: 904 LB: 0 @ 90.883 108.35 c Restart #5 #Var: 904 LB: 0 @ 108.3 133.80 c Restart #6 #Var: 904 LB: 0 @ 133.75 161.53 c Restart #7 #Var: 904 LB: 0 @ 161.47 186.06 c Restart #8 #Var: 904 LB: 0 @ 186 209.72 c Restart #9 #Var: 904 LB: 0 @ 209.65 234.90 c Restart #10 #Var: 904 LB: 0 @ 234.82 271.79 c Restart #11 #Var: 904 LB: 0 @ 271.7 308.78 c Restart #12 #Var: 904 LB: 0 @ 308.69 341.12 c Restart #13 #Var: 904 LB: 0 @ 341.02 380.46 c Restart #14 #Var: 904 LB: 0 @ 380.35 391.02 o 39 391.02 c NEW SOLUTION FOUND: 39 @ 390.9 420.83 c Restart #15 #Var: 904 LB: 0 @ 420.7 465.42 c Restart #16 #Var: 904 LB: 0 @ 465.29 516.59 c Restart #17 #Var: 904 LB: 0 @ 516.45 572.74 c Restart #18 #Var: 904 LB: 0 @ 572.58 619.69 c Restart #19 #Var: 904 LB: 0 @ 619.52 679.99 c Restart #20 #Var: 904 LB: 0 @ 679.8 737.76 c Restart #21 #Var: 904 LB: 0 @ 737.56 806.44 c Restart #22 #Var: 904 LB: 0 @ 806.23 875.29 c Restart #23 #Var: 904 LB: 0 @ 875.06 934.59 c Restart #24 #Var: 904 LB: 0 @ 934.34 990.68 c Restart #25 #Var: 904 LB: 0 @ 990.42 1055.23 c Restart #26 #Var: 904 LB: 0 @ 1055 1114.16 c Restart #27 #Var: 904 LB: 0 @ 1113.9 1184.85 c Restart #28 #Var: 904 LB: 0 @ 1184.5 1267.12 c Restart #29 #Var: 904 LB: 0 @ 1266.8 1343.64 c Restart #30 #Var: 904 LB: 0 @ 1343.3 1417.02 c Restart #31 #Var: 904 LB: 0 @ 1416.7 1503.83 c Restart #32 #Var: 904 LB: 0 @ 1503.5 1604.52 c Restart #33 #Var: 904 LB: 0 @ 1604.1 1694.27 c Restart #34 #Var: 904 LB: 0 @ 1693.8 1740.92 c Restart #35 #Var: 904 LB: 0 @ 1740.5 1800.46 s SATISFIABLE 1800.46 c Cost: 39 1800.46 v x786 x741 x421 -x83 x861 x745 -x419 x860 x785 -x502 x308 -x86 -x789 -x420 -x87 x64 x862 -x505 -x425 -x355 x307 x63 x864 -x790 1800.46 v -x574 -x506 x65 -x573 -x479 -x442 -x354 x313 x66 -x28 x865 -x575 -x478 x311 -x103 x67 -x867 -x811 -x576 -x480 -x441 -x360 -x263 1800.46 v x186 -x102 x74 x27 -x868 x815 -x577 -x483 -x358 x312 -x191 -x108 x68 -x31 x698 -x584 -x482 -x447 -x400 -x316 -x266 -x217 -x190 1800.46 v -x144 -x107 x69 x702 -x578 -x487 -x445 -x359 -x267 -x143 x109 x70 -x32 -x3 -x579 -x486 -x399 -x363 x193 -x167 -x145 x113 -x2 1800.46 v x661 -x580 -x484 -x446 x194 x148 -x112 -x8 x660 -x595 -x559 -x485 -x450 -x405 x197 -x166 x147 -x110 -x7 x662 -x599 -x558 -x403 1800.46 v -x195 x152 -x111 x9 x663 -x560 -x333 -x196 -x172 x151 x13 x664 x563 -x404 -x170 -x149 x12 x669 x562 -x408 -x336 -x150 x10 x665 1800.46 v x564 -x337 -x171 x11 x740 x422 -x82 -x856 x744 -x855 x787 x501 -x426 -x303 -x88 -x791 -x424 x863 -x507 -x350 x309 x866 x870 1800.46 v -x836 -x793 -x437 -x356 x314 -x91 -x77 x869 -x840 -x794 -x78 -x810 -x587 -x510 -x443 -x361 -x317 -x262 -x213 -x73 x29 x814 1800.46 v -x588 -x481 -x315 x185 -x104 -x33 x697 -x583 -x495 -x448 x395 -x364 -x268 -x216 x187 -x105 -x71 x701 -x491 -x362 -x192 x106 1800.46 v -x581 -x490 -x451 -x401 x189 -x162 -x117 -x35 -x449 x198 -x146 -x36 -x4 -x594 -x543 -x406 -x271 -x168 -x160 -x5 -x598 x156 1800.46 v x6 x672 x409 -x332 -x173 x155 -x17 x673 -x561 x407 x668 x572 -x467 -x338 -x174 x568 -x471 -x175 x782 x742 x497 x423 -x84 x746 1800.46 v -x427 x788 x503 -x89 -x857 -x792 x302 x858 -x796 -x748 x508 x304 -x92 -x76 x859 -x795 -x749 x349 x310 -x90 -x75 -x23 x874 -x835 1800.46 v -x762 -x586 -x511 x351 x306 -x258 -x22 -x839 -x766 -x585 -x509 -x436 -x357 -x318 -x812 -x492 -x438 x353 -x264 -x212 x30 x816 1800.46 v -x494 -x444 -x365 x34 x699 -x440 -x269 -x218 -x120 -x72 -x38 x703 -x452 x394 x188 -x121 -x37 -x818 -x582 -x539 -x488 x396 -x272 1800.46 v x206 -x157 -x116 -x819 -x402 -x270 x202 -x161 -x159 x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 x201 -x163 -x114 -x20 -x706 1800.46 v x670 -x600 x410 -x169 -x21 -x723 -x569 -x334 -x165 x153 -x16 -x727 -x571 -x176 x666 -x602 -x466 -x339 x154 x132 -x14 -x603 1800.46 v x567 -x470 x743 -x435 -x80 x781 x747 x496 -x431 -x85 x783 -x751 x498 -x430 x81 x784 -x750 x504 -x93 -x877 x800 x500 x878 -x806 1800.46 v -x512 x305 x873 -x837 -x805 -x761 x326 -x208 x841 -x765 -x693 -x493 x352 -x322 -x257 -x24 -x885 x871 -x813 -x692 -x373 -x321 1800.46 v -x259 -x214 -x119 -x25 -x889 x817 -x439 -x369 -x265 -x118 x26 -x843 x821 x700 -x460 -x368 -x261 -x219 x203 -x42 -x844 x820 1800.46 v x704 -x590 -x456 -x273 x205 -x158 x708 -x589 -x538 -x455 -x222 -x19 x707 x397 -x220 -x18 -x597 -x544 x418 x199 -x115 -x601 1800.46 v -x570 x414 -x327 -x164 -x722 -x605 x413 -x329 x200 -x184 -x128 -x726 -x604 -x335 -x180 x667 -x547 x468 -x331 -x179 x131 -x15 1800.46 v x565 -x472 -x340 x904 -x434 -x79 -x876 -x803 x755 -x428 x101 -x875 -x831 -x804 x499 x97 -x830 x799 -x520 -x429 x323 x96 -x516 1800.46 v x325 -x838 x797 -x763 -x515 -x370 x842 x807 -x767 -x372 -x207 -x884 x872 -x846 x808 -x457 -x319 -x292 -x209 x45 -x888 -x845 1800.46 v x809 -x694 -x459 -x260 -x215 x204 x46 -x825 -x769 x695 x534 -x384 -x366 -x320 -x281 -x211 -x41 -x770 x696 -x277 -x223 -x712 1800.46 v x620 -x540 -x453 x415 -x367 -x276 -x39 -x624 -x591 x417 -x592 -x545 -x454 -x181 -x593 x462 -x183 -x724 -x609 x548 x461 x411 1800.46 v -x127 -x728 x546 -x330 x469 x412 -x348 -x177 x133 x566 x473 -x344 -x802 -x432 x98 -x801 x100 x754 x655 -x517 -x757 -x519 x324 1800.46 v -x756 x752 -x522 x94 -x832 -x526 -x371 -x833 x798 -x764 -x513 -x288 -x250 x95 -x44 x834 -x768 -x458 x43 -x886 -x850 x828 -x772 1800.46 v -x514 x380 -x291 -x278 -x890 x829 -x771 -x280 -x210 -x824 -x715 x383 -x231 -x716 x533 -x416 -x227 -x892 -x822 -x711 -x642 1800.46 v x619 x535 -x274 -x226 -x40 -x893 x718 -x646 -x623 -x541 -x182 x717 -x709 -x680 -x612 x537 -x275 -x123 -x56 -x684 -x613 x549 1800.46 v -x725 -x608 -x345 -x129 -x729 x463 -x347 x730 -x606 x464 -x241 -x178 x134 x731 x465 -x343 x905 -x433 x99 -x518 x654 -x753 x521 1800.46 v -x246 -x880 -x758 -x525 -x879 x853 x827 -x759 -x287 -x249 x854 x826 -x760 -x279 x887 -x849 -x776 -x714 x379 -x293 -x228 -x891 1800.46 v -x713 -x230 -x895 -x847 x385 -x894 -x823 -x641 x621 -x611 -x296 -x224 -x52 -x645 x625 -x610 x536 -x710 -x679 x557 -x388 -x225 1800.46 v -x55 x719 -x683 -x553 -x346 x122 x720 -x627 -x552 -x237 x124 x721 -x628 -x130 x735 -x607 x476 -x240 x126 x477 -x341 x135 x656 1800.46 v -x852 x523 -x283 x245 x851 -x527 -x779 -x658 -x375 -x289 -x251 -x881 -x780 -x229 -x882 -x775 x529 x381 -x294 x883 -x615 -x530 1800.46 v x899 -x848 -x773 -x614 x386 -x297 -x254 -x295 -x643 x622 x554 x389 -x51 -x647 x626 x556 -x387 -x681 x630 -x57 -x685 x629 x738 1800.46 v -x649 -x550 x475 -x236 x739 -x650 x474 x125 x734 -x687 -x551 -x242 x142 -x60 -x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 1800.46 v x528 -x282 x532 -x284 -x252 x531 x374 -x290 x902 x376 -x286 -x255 x903 x637 x382 -x298 -x253 x898 -x774 x636 x378 -x49 -x675 1800.46 v -x616 x555 x390 x896 -x674 -x644 -x617 -x53 -x648 x618 x737 -x682 -x652 x633 -x234 -x58 x736 -x686 -x651 -x690 x238 x139 -x61 1800.46 v -x689 x141 -x59 x732 -x243 x136 x248 x901 x906 x900 -x285 -x256 -x301 x377 -x299 x393 -x300 x638 x391 -x48 x897 x639 -x635 x392 1800.46 v -x47 -x676 x640 -x634 -x54 -x677 x653 x631 -x50 -x678 -x233 x140 -x62 -x691 x632 -x232 x239 x733 x235 x244 -x137 x1 1800.46 c Exit Code: 10 1800.46 c Total time: 1800 s
OK 39
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-40477-1149289474 -o ROOT/results/node50/solver-40477-1149289474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40477-1149289474/instance-40477-1149289474.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1276376/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=2900 CPUtime=0 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 194614564 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7917867 0 0 4096 0 0 0 0 17 1 0 0 /proc/7193/statm: 725 27 19 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1273264/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=6936 CPUtime=9.97 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 20190 0 2 0 987 10 0 0 25 0 1 0 194614564 7102464 1061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1734 1061 435 55 0 626 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 6936 [startup+20.0084 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1273136/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=6924 CPUtime=19.98 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 78384 0 2 0 1940 58 0 0 25 0 1 0 194614564 7090176 1061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158438488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1731 1061 435 55 0 623 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 6924 [startup+30.0143 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272880/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7348 CPUtime=29.97 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 144191 0 2 0 2898 99 0 0 25 0 1 0 194614564 7524352 1164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1837 1164 435 55 0 729 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 7348 [startup+40.0201 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272816/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7712 CPUtime=39.98 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 201275 0 2 0 3863 135 0 0 25 0 1 0 194614564 7897088 1189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1928 1189 436 55 0 820 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 7712 [startup+50.026 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272880/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7688 CPUtime=49.98 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 214776 0 2 0 4856 142 0 0 25 0 1 0 194614564 7872512 1181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160349648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1922 1181 438 55 0 814 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 7688 [startup+60.0319 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272880/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7288 CPUtime=59.98 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 224858 0 2 0 5850 148 0 0 25 0 1 0 194614564 7462912 1157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1822 1157 440 55 0 714 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 7288 [startup+70.0378 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272816/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7288 CPUtime=69.99 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 231409 0 2 0 6848 151 0 0 25 0 1 0 194614564 7462912 1157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1822 1157 440 55 0 714 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 7288 [startup+80.0437 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272816/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7832 CPUtime=80 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 252087 0 2 0 7839 161 0 0 25 0 1 0 194614564 8019968 1202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1958 1202 440 55 0 850 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 7832 [startup+90.0496 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272240/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=8356 CPUtime=90 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 279691 0 2 0 8825 175 0 0 25 0 1 0 194614564 8556544 1345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2089 1345 440 55 0 981 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 8356 [startup+100.055 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=100.01 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 286845 0 2 0 9821 180 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8385500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 7944 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=110 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 292231 0 2 0 10815 185 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 7944 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=120.01 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 299555 0 2 0 11812 189 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 7944 [startup+130.073 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=8144 CPUtime=130.01 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 305829 0 2 0 12808 193 0 0 25 0 1 0 194614564 8339456 1325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160342499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2036 1325 440 55 0 928 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 8144 [startup+140.078 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=140.01 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 312019 0 2 0 13804 197 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160206535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 7944 [startup+150.084 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=8144 CPUtime=150.02 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 319128 0 2 0 14799 203 0 0 25 0 1 0 194614564 8339456 1325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2036 1325 440 55 0 928 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 8144 [startup+160.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272240/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=160.02 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 326092 0 2 0 15794 208 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 7944 [startup+170.096 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=170.02 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 331785 0 2 0 16791 211 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 7944 [startup+180.102 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=180.03 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 342958 0 2 0 17783 220 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 7944 [startup+190.108 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=8344 CPUtime=190.03 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 352089 0 2 0 18776 227 0 0 25 0 1 0 194614564 8544256 1345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170050 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2086 1345 440 55 0 978 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 8344 [startup+200.112 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=7944 CPUtime=200.03 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 359575 0 2 0 19771 232 0 0 25 0 1 0 194614564 8134656 1321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 1986 1321 440 55 0 878 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 7944 [startup+210.118 s] /proc/loadavg: 1.00 1.00 0.92 2/64 7193 /proc/meminfo: memFree=1272176/2055920 swapFree=4181340/4192956 ################ # More data... # ################ /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 9864 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1770.58 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1798440 0 2 0 175840 1218 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 9664 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1780.59 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1805954 0 2 0 176834 1225 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 9864 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1781.59 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1806728 0 2 0 176934 1225 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 9664 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1782.59 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1807547 0 2 0 177033 1226 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8384125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 9864 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1783.6 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1808354 0 2 0 177133 1227 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 9864 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1784.6 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1809119 0 2 0 177233 1227 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 9664 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1785.61 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1809899 0 2 0 177333 1228 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8384125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 9864 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1786.61 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1810721 0 2 0 177433 1228 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 9664 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1787.62 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1811475 0 2 0 177533 1229 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 9664 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1788.62 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1812333 0 2 0 177633 1229 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 9664 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1789.63 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1813203 0 2 0 177733 1230 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 9664 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1790.63 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1814064 0 2 0 177832 1231 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160466106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 9864 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1791.63 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1814863 0 2 0 177932 1231 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 9664 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1792.64 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1815769 0 2 0 178032 1232 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 9864 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1793.64 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1816666 0 2 0 178132 1232 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 9664 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1794.65 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1817563 0 2 0 178232 1233 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8384125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 9864 [startup+1796.12 s] /proc/loadavg: 1.08 1.02 0.94 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1795.66 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1818526 0 2 0 178332 1234 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 9664 [startup+1797.12 s] /proc/loadavg: 1.08 1.02 0.94 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1796.66 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1819318 0 2 0 178432 1234 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 9664 [startup+1798.13 s] /proc/loadavg: 1.08 1.02 0.94 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1797.66 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1820341 0 2 0 178531 1235 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 9664 [startup+1799.14 s] /proc/loadavg: 1.08 1.02 0.94 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9664 CPUtime=1798.66 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1821379 0 2 0 178631 1235 0 0 25 0 1 0 194614564 9895936 1758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2416 1758 447 55 0 1308 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 9664 [startup+1800.14 s] /proc/loadavg: 1.07 1.02 0.94 2/64 7195 /proc/meminfo: memFree=1270320/2055920 swapFree=4181340/4192956 [pid=7193] ppid=7191 vsize=9864 CPUtime=1799.68 /proc/7193/stat : 7193 (bsolo) R 7191 7193 7147 0 -1 0 1822402 0 2 0 178731 1237 0 0 25 0 1 0 194614564 10100736 1761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8384125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7193/statm: 2466 1761 447 55 0 1358 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 9864 Child status: 10 Real time (s): 1800.47 CPU time (s): 1800.01 CPU user time (s): 1787.63 CPU system time (s): 12.3721 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (Kb): 10176
Begin job on node50 on Fri Jun 2 23:04:34 UTC 2006 FILE ID= 40477-1149289474 PBS_JOBID= 306810 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40477-1149289474/instance-40477-1149289474.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-40477-1149289474 -o ROOT/results/node50/solver-40477-1149289474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40477-1149289474/instance-40477-1149289474.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b RANDOM SEED= 160444283 /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.238 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.238 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: 1276584 kB Buffers: 35472 kB Cached: 670812 kB SwapCached: 3432 kB Active: 65532 kB Inactive: 649692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1276584 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14940 kB Slab: 50120 kB Committed_AS: 264724 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 node50 on Fri Jun 2 23:34:35 UTC 2006