Trace number 40120

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05OPT904 1514.38 1514.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM6db31fd4066996ff4f309d723fc2c237
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark904
Best CPU time to get the best result obtained on this benchmark1514.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 904
Optimality of the best value was proved YES
Number of variables1800
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)215
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint72
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.04	c INFO: OSL Context initialized.
0.10	c Initial problem consists of 1800 variables and 335 constraints.
0.11	c Switching on LPR.
0.11	c No problem reductions applied in OPT. instance.
0.11	c	preprocess terminated. Elapsed time: 0.083
0.11	c After prepocess the problem consists of 1600 variables and 330 constraints.
0.88	c Initial Lower Bound: 904
205.14	c Restart #1 #Var: 1600 LB: 904 @ 205.06
205.74	c Restart #2 #Var: 1600 LB: 0 @ 205.66
206.35	c Restart #3 #Var: 1600 LB: 0 @ 206.26
207.25	c Restart #4 #Var: 1600 LB: 0 @ 207.16
208.49	c Restart #5 #Var: 1600 LB: 0 @ 208.4
209.91	c Restart #6 #Var: 1600 LB: 0 @ 209.83
210.54	c Restart #7 #Var: 1600 LB: 0 @ 210.46
211.39	c Restart #8 #Var: 1600 LB: 0 @ 211.3
213.31	c Restart #9 #Var: 1600 LB: 0 @ 213.23
215.36	c Restart #10 #Var: 1600 LB: 0 @ 215.27
216.96	c Restart #11 #Var: 1600 LB: 0 @ 216.87
218.78	c Restart #12 #Var: 1600 LB: 0 @ 218.69
220.67	c Restart #13 #Var: 1600 LB: 0 @ 220.58
222.48	c Restart #14 #Var: 1600 LB: 0 @ 222.39
224.43	c Restart #15 #Var: 1600 LB: 0 @ 224.34
226.52	c Restart #16 #Var: 1600 LB: 0 @ 226.43
230.79	c Restart #17 #Var: 1600 LB: 0 @ 230.7
234.62	c Restart #18 #Var: 1600 LB: 0 @ 234.53
238.16	c Restart #19 #Var: 1600 LB: 0 @ 238.06
242.63	c Restart #20 #Var: 1600 LB: 0 @ 242.53
247.03	c Restart #21 #Var: 1600 LB: 0 @ 246.94
252.51	c Restart #22 #Var: 1600 LB: 0 @ 252.41
259.29	c Restart #23 #Var: 1600 LB: 0 @ 259.19
264.15	c Restart #24 #Var: 1600 LB: 0 @ 264.05
269.18	c Restart #25 #Var: 1600 LB: 0 @ 269.08
276.07	c Restart #26 #Var: 1600 LB: 0 @ 275.97
284.21	c Restart #27 #Var: 1600 LB: 0 @ 284.1
291.96	c Restart #28 #Var: 1600 LB: 0 @ 291.86
301.76	c Restart #29 #Var: 1600 LB: 0 @ 301.65
313.01	c Restart #30 #Var: 1600 LB: 0 @ 312.9
323.95	c Restart #31 #Var: 1600 LB: 0 @ 323.83
338.88	c Restart #32 #Var: 1600 LB: 0 @ 338.76
350.86	c Restart #33 #Var: 1600 LB: 0 @ 350.73
361.40	c Restart #34 #Var: 1600 LB: 0 @ 361.28
373.82	c Restart #35 #Var: 1600 LB: 0 @ 373.69
386.85	c Restart #36 #Var: 1600 LB: 0 @ 386.72
399.15	c Restart #37 #Var: 1600 LB: 0 @ 399.02
415.65	c Restart #38 #Var: 1600 LB: 0 @ 415.51
438.34	c Restart #39 #Var: 1600 LB: 0 @ 438.19
453.13	c Restart #40 #Var: 1600 LB: 0 @ 452.98
474.29	c Restart #41 #Var: 1600 LB: 0 @ 474.13
495.41	c Restart #42 #Var: 1600 LB: 0 @ 495.25
507.98	c Restart #43 #Var: 1600 LB: 0 @ 507.82
527.30	c Restart #44 #Var: 1600 LB: 0 @ 527.13
550.39	c Restart #45 #Var: 1600 LB: 0 @ 550.22
570.87	c Restart #46 #Var: 1600 LB: 0 @ 570.69
594.66	c Restart #47 #Var: 1600 LB: 0 @ 594.47
625.08	c Restart #48 #Var: 1600 LB: 0 @ 624.88
648.67	c Restart #49 #Var: 1600 LB: 0 @ 648.47
678.70	c Restart #50 #Var: 1600 LB: 0 @ 678.49
705.69	c Restart #51 #Var: 1600 LB: 0 @ 705.48
729.04	c Restart #52 #Var: 1600 LB: 0 @ 728.82
757.47	c Restart #53 #Var: 1600 LB: 0 @ 757.24
785.26	c Restart #54 #Var: 1600 LB: 0 @ 785.03
823.47	c Restart #55 #Var: 1600 LB: 0 @ 823.23
859.87	c Restart #56 #Var: 1600 LB: 0 @ 859.61
898.64	c Restart #57 #Var: 1600 LB: 0 @ 898.37
929.72	c CHANGE Heuristic... 
929.72	c Restart #0 #Var: 1600 LB: 0 @ 929.45
930.00	c Restart #1 #Var: 1600 LB: 0 @ 929.73
930.55	c Restart #2 #Var: 1600 LB: 0 @ 930.27
931.07	c Restart #3 #Var: 1600 LB: 0 @ 930.79
931.84	c Restart #4 #Var: 1600 LB: 0 @ 931.57
933.11	c Restart #5 #Var: 1600 LB: 0 @ 932.83
934.39	c Restart #6 #Var: 1600 LB: 0 @ 934.12
935.63	c Restart #7 #Var: 1600 LB: 0 @ 935.36
937.07	c Restart #8 #Var: 1600 LB: 0 @ 936.79
939.43	c Restart #9 #Var: 1600 LB: 0 @ 939.15
941.76	c Restart #10 #Var: 1600 LB: 0 @ 941.48
943.92	c Restart #11 #Var: 1600 LB: 0 @ 943.65
947.23	c Restart #12 #Var: 1600 LB: 0 @ 946.96
950.90	c Restart #13 #Var: 1600 LB: 0 @ 950.62
955.03	c Restart #14 #Var: 1600 LB: 0 @ 954.75
960.15	c Restart #15 #Var: 1600 LB: 0 @ 959.87
965.50	c Restart #16 #Var: 1600 LB: 0 @ 965.22
969.59	c Restart #17 #Var: 1600 LB: 0 @ 969.31
975.62	c Restart #18 #Var: 1600 LB: 0 @ 975.34
980.25	c Sol. found (all assignments made)...
980.25	o 1036
980.25	c NEW SOLUTION FOUND: 1036 @ 979.96
984.22	c Sol. found (all assignments made)...
986.83	c Restart #19 #Var: 1600 LB: 0 @ 986.54
993.93	c Restart #20 #Var: 1600 LB: 0 @ 993.64
1001.69	c Restart #21 #Var: 1600 LB: 0 @ 1001.4
1006.34	c Sol. found (all assignments made)...
1006.34	o 1002
1006.34	c NEW SOLUTION FOUND: 1002 @ 1006
1006.35	c Sol. found (all assignments made)...
1006.35	o 998
1006.35	c NEW SOLUTION FOUND: 998 @ 1006.1
1014.47	c Restart #22 #Var: 1600 LB: 0 @ 1014.2
1021.96	c Restart #23 #Var: 1600 LB: 0 @ 1021.7
1028.57	c Restart #24 #Var: 1600 LB: 0 @ 1028.3
1034.74	c Sol. found (all assignments made)...
1035.66	c Sol. found (all assignments made)...
1035.66	o 970
1035.66	c NEW SOLUTION FOUND: 970 @ 1035.4
1035.74	c Sol. found (all assignments made)...
1035.84	c Sol. found (all assignments made)...
1037.26	c Sol. found (all assignments made)...
1037.26	c Sol. found (all assignments made)...
1037.54	c Sol. found (all assignments made)...
1037.60	c Sol. found (all assignments made)...
1037.60	c Sol. found (all assignments made)...
1038.00	c Sol. found (all assignments made)...
1038.36	c Sol. found (all assignments made)...
1038.46	c Sol. found (all assignments made)...
1038.46	o 960
1038.46	c NEW SOLUTION FOUND: 960 @ 1038.2
1038.54	c Sol. found (all assignments made)...
1039.17	c Sol. found (all assignments made)...
1040.25	c Sol. found (all assignments made)...
1040.26	c Sol. found (all assignments made)...
1047.59	c Sol. found (all assignments made)...
1047.62	c Sol. found (all assignments made)...
1047.65	c Sol. found (all assignments made)...
1047.65	c Sol. found (all assignments made)...
1048.66	c Restart #25 #Var: 1600 LB: 0 @ 1048.3
1056.38	c Restart #26 #Var: 1600 LB: 0 @ 1056.1
1057.29	c Sol. found (all assignments made)...
1057.30	c Sol. found (all assignments made)...
1057.57	c Sol. found (all assignments made)...
1057.59	c Sol. found (all assignments made)...
1057.61	c Sol. found (all assignments made)...
1057.65	c Sol. found (all assignments made)...
1064.54	c Sol. found (all assignments made)...
1064.54	c Sol. found (all assignments made)...
1065.29	c Sol. found (all assignments made)...
1065.32	c Sol. found (all assignments made)...
1066.22	c Restart #27 #Var: 1600 LB: 0 @ 1065.9
1073.52	c Sol. found (all assignments made)...
1073.52	c Sol. found (all assignments made)...
1074.56	c Restart #28 #Var: 1600 LB: 0 @ 1074.2
1084.74	c CHANGE to LPR mode... 	UB: 960	MIS: 211	LPR: 904 (0.366)	Diff: 0.23341
1084.74	c Restart #0 #Var: 1600 LB: 0 @ 1084.4
1255.54	c Restart #1 #Var: 1600 LB: 904 @ 1255.2
1263.52	o 948
1263.52	c NEW SOLUTION FOUND: 948 @ 1263.2
1270.33	o 936
1270.33	c NEW SOLUTION FOUND: 936 @ 1270
1289.41	c Restart #2 #Var: 1600 LB: 904 @ 1289
1310.17	o 934
1310.17	c NEW SOLUTION FOUND: 934 @ 1309.8
1326.27	o 926
1326.27	c NEW SOLUTION FOUND: 926 @ 1325.9
1346.66	o 920
1346.66	c NEW SOLUTION FOUND: 920 @ 1346.3
1352.02	o 918
1352.02	c NEW SOLUTION FOUND: 918 @ 1351.6
1371.61	o 910
1371.61	c NEW SOLUTION FOUND: 910 @ 1371.2
1395.69	c Restart #3 #Var: 1600 LB: 904 @ 1395.3
1419.56	o 906
1419.56	c NEW SOLUTION FOUND: 906 @ 1419.2
1477.18	c Restart #4 #Var: 1600 LB: 904 @ 1476.8
1512.88	o 904
1512.88	c NEW SOLUTION FOUND: 904 @ 1512.5
1514.80	s OPTIMUM FOUND
1514.80	c Cost: 904
1514.80	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043
1514.80	v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1514.80	v -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1514.80	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1514.80	v -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1514.80	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1514.80	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145
1514.80	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1514.80	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1514.80	v -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1514.80	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1514.80	v -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1514.80	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1514.80	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1514.80	v -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1514.80	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1514.80	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1514.80	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1514.80	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1514.80	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1514.80	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
1514.80	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1514.80	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1514.80	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1514.80	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1514.80	v -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1514.80	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1514.80	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502
1514.80	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1514.80	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1514.80	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1514.80	v -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1514.80	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587
1514.80	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
1514.80	v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1514.80	v -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1514.80	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1514.80	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
1514.80	v x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
1514.80	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1514.80	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1514.80	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1514.80	v -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758
1514.80	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1514.80	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1514.80	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
1514.80	v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42
1514.80	v -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68
1514.80	v -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94
1514.80	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116
1514.80	v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137
1514.80	v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158
1514.80	v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179
1514.80	v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
1514.80	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221
1514.80	v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242
1514.80	v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
1514.80	v -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284
1514.80	v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305
1514.80	v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326
1514.80	v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
1514.80	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1514.80	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1514.80	v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
1514.80	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431
1514.80	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452
1514.80	v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473
1514.80	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494
1514.80	v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515
1514.80	v -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536
1514.80	v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557
1514.80	v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578
1514.80	v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599
1514.80	v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
1514.80	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641
1514.80	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662
1514.80	v -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683
1514.80	v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704
1514.80	v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725
1514.80	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746
1514.80	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767
1514.80	v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
1514.80	v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809
1514.80	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1514.80	v -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851
1514.80	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872
1514.80	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893
1514.80	v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914
1514.80	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935
1514.80	v -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956
1514.80	v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977
1514.80	v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998
1514.80	v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1514.80	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026
1514.80	c Exit Code: 30
1514.80	c Total time: 1514.4 s

Verifier Data (download as text)

OK	904

Watcher Data (download as text)

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/node63/watcher-40120-1149370426 -o ROOT/results/node63/solver-40120-1149370426 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1737048/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=4928 CPUtime=0
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 290 0 0 0 0 0 0 0 18 0 1 0 202609788 5046272 259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 1232 259 169 55 0 124 0

[startup+10.0017 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732392/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9384 CPUtime=9.96
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 15234 0 0 0 990 6 0 0 25 0 1 0 202609788 9609216 1628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2346 1628 428 55 0 1238 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 9384

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732904/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=8580 CPUtime=19.96
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 27690 0 0 0 1985 11 0 0 25 0 1 0 202609788 8785920 1461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2145 1461 428 55 0 1037 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 8580

[startup+30.0139 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9340 CPUtime=29.96
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 39301 0 0 0 2978 18 0 0 25 0 1 0 202609788 9564160 1612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2335 1612 428 55 0 1227 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 9340

[startup+40.0199 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9320 CPUtime=39.97
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 49407 0 0 0 3974 23 0 0 25 0 1 0 202609788 9543680 1610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2330 1610 428 55 0 1222 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 9320

[startup+50.026 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732904/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=8924 CPUtime=49.98
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 58951 0 0 0 4971 27 0 0 25 0 1 0 202609788 9138176 1510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2231 1510 429 55 0 1123 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 8924

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9304 CPUtime=59.98
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 66874 0 0 0 5969 29 0 0 25 0 1 0 202609788 9527296 1606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2326 1606 429 55 0 1218 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 9304

[startup+70.0471 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9372 CPUtime=69.99
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 74405 0 0 0 6966 33 0 0 25 0 1 0 202609788 9596928 1602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159267940 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2343 1602 429 55 0 1235 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 9372

[startup+80.0532 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9356 CPUtime=79.99
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 82772 0 0 0 7962 37 0 0 25 0 1 0 202609788 9580544 1598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2339 1598 429 55 0 1231 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 9356

[startup+90.0593 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9340 CPUtime=89.99
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 91225 0 0 0 8959 40 0 0 25 0 1 0 202609788 9564160 1586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2335 1586 429 55 0 1227 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 9340

[startup+100.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9248 CPUtime=100
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 99309 0 0 0 9957 43 0 0 25 0 1 0 202609788 9469952 1592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255075 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2312 1592 429 55 0 1204 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 9248

[startup+110.071 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9308 CPUtime=110
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 107200 0 0 0 10955 45 0 0 25 0 1 0 202609788 9531392 1585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497238 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2327 1585 429 55 0 1219 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 9308

[startup+120.078 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9376 CPUtime=120.01
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 115565 0 0 0 11952 49 0 0 25 0 1 0 202609788 9601024 1587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159253111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2344 1587 429 55 0 1236 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 9376

[startup+130.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9360 CPUtime=130.01
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 123854 0 0 0 12949 52 0 0 25 0 1 0 202609788 9584640 1578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2340 1578 429 55 0 1232 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 9360

[startup+140.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9340 CPUtime=140.02
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 131857 0 0 0 13946 56 0 0 25 0 1 0 202609788 9564160 1579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159494758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2335 1579 429 55 0 1227 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 9340

[startup+150.096 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732648/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9236 CPUtime=150.02
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 139630 0 0 0 14943 59 0 0 25 0 1 0 202609788 9457664 1572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2309 1572 429 55 0 1201 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 9236

[startup+160.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732648/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9212 CPUtime=160.02
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 147005 0 0 0 15940 62 0 0 25 0 1 0 202609788 9433088 1566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159250706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2303 1566 429 55 0 1195 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 9212

[startup+170.108 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732712/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9204 CPUtime=170.02
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 154119 0 0 0 16937 65 0 0 25 0 1 0 202609788 9424896 1552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2301 1552 429 55 0 1193 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 9204

[startup+180.114 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732584/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9364 CPUtime=180.02
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 161874 0 0 0 17934 68 0 0 25 0 1 0 202609788 9588736 1579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2341 1579 432 55 0 1233 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 9364

[startup+190.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=9396 CPUtime=190.03
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 169924 0 0 0 18932 71 0 0 25 0 1 0 202609788 9621504 1594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2349 1594 432 55 0 1241 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 9396

[startup+200.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732712/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=8788 CPUtime=200.04
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 178085 0 0 0 19929 75 0 0 25 0 1 0 202609788 8998912 1511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 2197 1511 432 55 0 1089 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 8788

[startup+210.131 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 25992
/proc/meminfo: memFree=1732264/2055920 swapFree=4182320/4192956

################
# More data... #
################

/proc/25992/statm: 22564 21759 435 55 0 21456 0
Current children cumulated CPU time (s) 1300.42
Current children cumulated vsize (Kb) 90256

[startup+1310.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1651312/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90256 CPUtime=1310.42
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 309088 0 0 0 130843 199 0 0 25 0 1 0 202609788 92422144 21757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159475268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22564 21757 435 55 0 21456 0
Current children cumulated CPU time (s) 1310.42
Current children cumulated vsize (Kb) 90256

[startup+1320.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1650800/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90260 CPUtime=1320.43
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 318755 0 2 0 131838 205 0 0 25 0 1 0 202609788 92426240 21771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22565 21771 437 55 0 21457 0
Current children cumulated CPU time (s) 1320.43
Current children cumulated vsize (Kb) 90260

[startup+1330.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1650800/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90460 CPUtime=1330.43
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 333374 0 2 0 132832 211 0 0 25 0 1 0 202609788 92631040 21795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255698 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22615 21795 437 55 0 21507 0
Current children cumulated CPU time (s) 1330.43
Current children cumulated vsize (Kb) 90460

[startup+1340.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1650672/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90612 CPUtime=1340.43
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 348753 0 2 0 133824 219 0 0 25 0 1 0 202609788 92786688 21845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22653 21845 437 55 0 21545 0
Current children cumulated CPU time (s) 1340.43
Current children cumulated vsize (Kb) 90612

[startup+1350.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1650416/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90560 CPUtime=1350.44
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 366162 0 2 0 134816 228 0 0 25 0 1 0 202609788 92733440 21873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22674 21877 437 55 0 21566 0
Current children cumulated CPU time (s) 1350.44
Current children cumulated vsize (Kb) 90560

[startup+1360.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1650224/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=90672 CPUtime=1360.44
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 379885 0 2 0 135810 234 0 0 25 0 1 0 202609788 92848128 21919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22668 21919 437 55 0 21560 0
Current children cumulated CPU time (s) 1360.44
Current children cumulated vsize (Kb) 90672

[startup+1370.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649648/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91512 CPUtime=1370.44
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 394284 0 2 0 136802 242 0 0 25 0 1 0 202609788 93708288 22076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22878 22076 437 55 0 21770 0
Current children cumulated CPU time (s) 1370.44
Current children cumulated vsize (Kb) 91512

[startup+1380.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91148 CPUtime=1380.44
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 399701 0 3 0 137798 246 0 0 25 0 1 0 202609788 93335552 22060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22787 22060 445 55 0 21679 0
Current children cumulated CPU time (s) 1380.44
Current children cumulated vsize (Kb) 91148

[startup+1390.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649520/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91148 CPUtime=1390.45
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 408922 0 3 0 138794 251 0 0 25 0 1 0 202609788 93335552 22060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22787 22060 445 55 0 21679 0
Current children cumulated CPU time (s) 1390.45
Current children cumulated vsize (Kb) 91148

[startup+1400.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649328/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91744 CPUtime=1400.46
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 417043 0 3 0 139790 256 0 0 25 0 1 0 202609788 93945856 22140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22936 22140 445 55 0 21828 0
Current children cumulated CPU time (s) 1400.46
Current children cumulated vsize (Kb) 91744

[startup+1410.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649264/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91716 CPUtime=1410.45
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 422749 0 3 0 140785 260 0 0 25 0 1 0 202609788 93917184 22149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22929 22149 445 55 0 21821 0
Current children cumulated CPU time (s) 1410.45
Current children cumulated vsize (Kb) 91716

[startup+1420.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91992 CPUtime=1420.46
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 430140 0 3 0 141782 264 0 0 25 0 1 0 202609788 94199808 22186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159263619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22998 22186 445 55 0 21890 0
Current children cumulated CPU time (s) 1420.46
Current children cumulated vsize (Kb) 91992

[startup+1430.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91860 CPUtime=1430.46
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 436120 0 3 0 142778 268 0 0 25 0 1 0 202609788 94064640 22179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159500436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22965 22179 445 55 0 21857 0
Current children cumulated CPU time (s) 1430.46
Current children cumulated vsize (Kb) 91860

[startup+1440.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91820 CPUtime=1440.47
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 441339 0 3 0 143776 271 0 0 25 0 1 0 202609788 94023680 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3436157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22955 22150 445 55 0 21847 0
Current children cumulated CPU time (s) 1440.47
Current children cumulated vsize (Kb) 91820

[startup+1450.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91820 CPUtime=1450.48
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 446300 0 3 0 144774 274 0 0 25 0 1 0 202609788 94023680 22157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22955 22157 445 55 0 21847 0
Current children cumulated CPU time (s) 1450.48
Current children cumulated vsize (Kb) 91820

[startup+1460.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649200/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91820 CPUtime=1460.48
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 451349 0 3 0 145771 277 0 0 25 0 1 0 202609788 94023680 22161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22955 22161 445 55 0 21847 0
Current children cumulated CPU time (s) 1460.48
Current children cumulated vsize (Kb) 91820

[startup+1470.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91908 CPUtime=1470.48
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 456972 0 3 0 146769 279 0 0 25 0 1 0 202609788 94113792 22185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22977 22185 445 55 0 21869 0
Current children cumulated CPU time (s) 1470.48
Current children cumulated vsize (Kb) 91908

[startup+1480.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91508 CPUtime=1480.48
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 462440 0 3 0 147766 282 0 0 25 0 1 0 202609788 93704192 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22877 22150 445 55 0 21769 0
Current children cumulated CPU time (s) 1480.48
Current children cumulated vsize (Kb) 91508

[startup+1490.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91816 CPUtime=1490.49
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 467368 0 3 0 148764 285 0 0 25 0 1 0 202609788 94019584 22180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159251073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22954 22181 445 55 0 21846 0
Current children cumulated CPU time (s) 1490.49
Current children cumulated vsize (Kb) 91816

[startup+1500.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91508 CPUtime=1500.49
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 474199 0 3 0 149760 289 0 0 25 0 1 0 202609788 93704192 22150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22877 22150 445 55 0 21769 0
Current children cumulated CPU time (s) 1500.49
Current children cumulated vsize (Kb) 91508

[startup+1510.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25994
/proc/meminfo: memFree=1649136/2055920 swapFree=4182320/4192956
[pid=25992] ppid=25990 vsize=91832 CPUtime=1510.49
/proc/25992/stat : 25992 (bsolo) R 25990 25992 25946 0 -1 0 482269 0 3 0 150755 294 0 0 25 0 1 0 202609788 94035968 22181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497284 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25992/statm: 22958 22181 445 55 0 21850 0
Current children cumulated CPU time (s) 1510.49
Current children cumulated vsize (Kb) 91832

Child status: 30
Real time (s): 1514.82
CPU time (s): 1514.38
CPU user time (s): 1511.4
CPU system time (s): 2.98255
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (Kb): 91992

Launcher Data (download as text)

Begin job on node63 on Sat Jun  3 21:33:46 UTC 2006


FILE ID= 40120-1149370426

PBS_JOBID= 312169

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-40120-1149370426 -o ROOT/results/node63/solver-40120-1149370426 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40120-1149370426/instance-40120-1149370426.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6db31fd4066996ff4f309d723fc2c237

RANDOM SEED= 239100743


/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.228
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.228
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:       1737256 kB
Buffers:         22260 kB
Cached:         230676 kB
SwapCached:       2336 kB
Active:          82868 kB
Inactive:       178760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1737256 kB
SwapTotal:     4192956 kB
SwapFree:      4182320 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          15864 kB
Slab:            43016 kB
Committed_AS:   359360 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 node63 on Sat Jun  3 21:59:01 UTC 2006