Trace number 459798

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
PBS4_v2 2007-03-23SAT (TO)-7 1800.09 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark81.8136
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

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/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb ......
0.09/0.13	c done parsing opb.
0.09/0.13	o 47
0.09/0.18	o 46
0.19/0.22	o 45
0.39/0.41	o 44
52.98/53.02	o 43
1800.05/1800.60	s SATISFIABLE
1800.05/1800.60	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013
1800.05/1800.60	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.05/1800.60	v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.05/1800.60	v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061
1800.05/1800.60	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.05/1800.60	v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093
1800.05/1800.60	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.05/1800.60	v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.05/1800.60	v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141
1800.05/1800.60	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1800.05/1800.60	v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173
1800.05/1800.60	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1800.05/1800.60	v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204
1800.05/1800.60	v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220
1800.05/1800.60	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.05/1800.60	v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252
1800.05/1800.60	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.05/1800.60	v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.05/1800.60	v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.05/1800.60	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.05/1800.60	v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331
1800.05/1800.60	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.05/1800.60	v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363
1800.05/1800.60	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.05/1800.60	v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.05/1800.60	v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410
1800.05/1800.60	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.05/1800.60	v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442
1800.05/1800.60	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.05/1800.60	v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474
1800.05/1800.60	v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490
1800.05/1800.60	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.05/1800.60	v -x1507 -x1508 x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522
1800.05/1800.60	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1800.05/1800.60	v -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
1800.05/1800.60	v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x157 -x158 -x159 -x16 -x160 -x161 -x162
1800.05/1800.60	v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181
1800.05/1800.60	v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20
1800.05/1800.60	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219
1800.05/1800.60	v -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
1800.05/1800.60	v -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.05/1800.60	v -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.05/1800.60	v -x277 -x278 -x279 x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295
1800.05/1800.60	v -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313
1800.05/1800.60	v -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x33 -x330 -x331 -x332
1800.05/1800.60	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351
1800.05/1800.60	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x37 -x370
1800.05/1800.60	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39
1800.05/1800.60	v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
1800.05/1800.60	v -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427
1800.05/1800.60	v -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1800.05/1800.60	v -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465
1800.05/1800.60	v -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 -x484
1800.05/1800.60	v -x485 -x486 -x487 -x488 -x489 x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x5 -x50 -x500 -x501 -x502 -x503
1800.05/1800.60	v -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522
1800.05/1800.60	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541
1800.05/1800.60	v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560
1800.05/1800.60	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58
1800.05/1800.60	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599
1800.05/1800.60	v -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
1800.05/1800.60	v -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636
1800.05/1800.60	v -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655
1800.05/1800.60	v -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674
1800.05/1800.60	v -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693
1800.05/1800.60	v -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711
1800.05/1800.60	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730
1800.05/1800.60	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75
1800.05/1800.60	v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769
1800.05/1800.60	v -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
1800.05/1800.60	v -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
1800.05/1800.60	v -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826
1800.05/1800.60	v -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845
1800.05/1800.60	v -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864
1800.05/1800.60	v -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883
1800.05/1800.60	v -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901
1800.05/1800.60	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920
1800.05/1800.60	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94
1800.05/1800.60	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959
1800.05/1800.60	v -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978
1800.05/1800.60	v -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1800.05/1800.60	v -x998 -x999

Verifier Data (download as text)

OK	-7

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-459798-1178660467 -o ROOT/results/node15/solver-459798-1178660467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 1.01 0.99 3/77 22457
/proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=1604 CPUtime=0
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 313964319 1642496 169 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 401 169 86 219 0 178 0

[startup+0.0107359 s]
/proc/loadavg: 0.94 1.01 0.99 3/77 22457
/proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=1604 CPUtime=0
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 210 0 0 0 0 0 0 0 18 0 1 0 313964319 1642496 192 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134798152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 401 192 86 219 0 178 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1604

[startup+0.101744 s]
/proc/loadavg: 0.94 1.01 0.99 3/77 22457
/proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=2012 CPUtime=0.09
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 316 0 0 0 9 0 0 0 18 0 1 0 313964319 2060288 298 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 503 298 90 219 0 280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2012

[startup+0.301763 s]
/proc/loadavg: 0.94 1.01 0.99 3/77 22457
/proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=2492 CPUtime=0.29
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 408 0 0 0 29 0 0 0 19 0 1 0 313964319 2551808 390 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 623 390 102 219 0 400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2492

[startup+0.701799 s]
/proc/loadavg: 0.94 1.01 0.99 3/77 22457
/proc/meminfo: memFree=1459104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=4356 CPUtime=0.69
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 713 0 0 0 69 0 0 0 22 0 1 0 313964319 4460544 695 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 1089 695 102 219 0 866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4356

[startup+1.50187 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 22458
/proc/meminfo: memFree=1455640/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=6988 CPUtime=1.49
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 1405 0 0 0 148 1 0 0 25 0 1 0 313964319 7155712 1338 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 1747 1338 102 219 0 1524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6988

[startup+3.10202 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 22458
/proc/meminfo: memFree=1452696/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=11924 CPUtime=3.09
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 2117 0 0 0 307 2 0 0 25 0 1 0 313964319 12210176 2050 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 2981 2050 102 219 0 2758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11924

[startup+6.30131 s]
/proc/loadavg: 0.95 1.01 0.99 2/78 22458
/proc/meminfo: memFree=1448216/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=21240 CPUtime=6.29
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 3180 0 0 0 624 5 0 0 25 0 1 0 313964319 21749760 3016 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 5310 3016 102 219 0 5087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21240

[startup+12.7019 s]
/proc/loadavg: 0.95 1.01 0.99 2/78 22458
/proc/meminfo: memFree=1444632/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=22960 CPUtime=12.69
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 3968 0 0 0 1262 7 0 0 25 0 1 0 313964319 23511040 3611 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 5740 3611 102 219 0 5517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22960

[startup+25.5011 s]
/proc/loadavg: 0.96 1.01 0.99 2/78 22460
/proc/meminfo: memFree=1440536/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=24236 CPUtime=25.48
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 5027 0 0 0 2537 11 0 0 25 0 1 0 313964319 24817664 4670 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 6059 4670 102 219 0 5836 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24236

[startup+51.1014 s]
/proc/loadavg: 0.97 1.01 0.99 2/78 22460
/proc/meminfo: memFree=1427352/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=46248 CPUtime=51.08
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 8811 0 0 0 5089 19 0 0 25 0 1 0 313964319 47357952 8069 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 11562 8069 102 219 0 11339 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46248

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1418328/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=52996 CPUtime=102.27
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 11714 0 0 0 10198 29 0 0 25 0 1 0 313964319 54267904 10203 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 13249 10203 102 219 0 13026 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52996

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1406104/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=89488 CPUtime=162.25
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 14959 0 0 0 16186 39 0 0 25 0 1 0 313964319 91635712 13283 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 22372 13283 102 219 0 22149 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89488

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1389144/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=95512 CPUtime=222.24
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 19765 0 0 0 22174 50 0 0 25 0 1 0 313964319 97804288 17495 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 23878 17495 102 219 0 23655 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 95512

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1386072/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=97576 CPUtime=282.22
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 20927 0 0 0 28166 56 0 0 25 0 1 0 313964319 99917824 18294 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 24394 18294 102 219 0 24171 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 97576

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1379928/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=105976 CPUtime=342.2
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 24045 0 0 0 34157 63 0 0 25 0 1 0 313964319 108519424 19743 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 26494 19743 102 219 0 26271 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 105976

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1377752/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=107272 CPUtime=402.19
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 24785 0 0 0 40149 70 0 0 25 0 1 0 313964319 109846528 20384 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550423 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 26818 20384 102 219 0 26595 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 107272

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1368088/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=109808 CPUtime=462.17
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 27416 0 0 0 46138 79 0 0 25 0 1 0 313964319 112443392 22753 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 27452 22753 102 219 0 27229 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 109808

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1366232/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=111360 CPUtime=522.16
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 27993 0 0 0 52132 84 0 0 25 0 1 0 313964319 114032640 23199 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 27840 23199 102 219 0 27617 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 111360

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1361880/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=113564 CPUtime=582.14
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 29478 0 0 0 58123 91 0 0 25 0 1 0 313964319 116289536 24325 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 28391 24325 102 219 0 28168 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 113564

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1350680/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=182300 CPUtime=642.13
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 32980 0 0 0 64113 100 0 0 25 0 1 0 313964319 186675200 27079 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 45575 27079 102 219 0 45352 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 182300


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

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1343384/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=185884 CPUtime=822.09
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 35029 0 0 0 82091 118 0 0 25 0 1 0 313964319 190345216 28899 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 46471 28899 102 219 0 46248 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 185884

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 22460
/proc/meminfo: memFree=1340312/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=188852 CPUtime=882.08
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 36188 0 0 0 88085 123 0 0 25 0 1 0 313964319 193384448 29668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 47213 29668 102 219 0 46990 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 188852

[startup+942.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 22460
/proc/meminfo: memFree=1333784/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=189656 CPUtime=942.06
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 37905 0 0 0 94077 129 0 0 25 0 1 0 313964319 194207744 31287 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 47414 31287 102 219 0 47191 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 189656

[startup+1002.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 22460
/proc/meminfo: memFree=1332952/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=190168 CPUtime=1002.05
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 38262 0 0 0 100070 135 0 0 25 0 1 0 313964319 194732032 31514 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 47542 31514 102 219 0 47319 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 190168

[startup+1062.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/78 22460
/proc/meminfo: memFree=1328792/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=192152 CPUtime=1062.03
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 39618 0 0 0 106062 141 0 0 25 0 1 0 313964319 196763648 32610 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 48038 32610 102 219 0 47815 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 192152

[startup+1122.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/78 22460
/proc/meminfo: memFree=1319128/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=206964 CPUtime=1122.02
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 45433 0 0 0 112053 149 0 0 25 0 1 0 313964319 211931136 34962 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 51741 34962 102 219 0 51518 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 206964

[startup+1182.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 22460
/proc/meminfo: memFree=1318168/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=206956 CPUtime=1182
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 45764 0 0 0 118046 154 0 0 25 0 1 0 313964319 211922944 35162 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 51739 35162 102 219 0 51516 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 206956

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/84 22632
/proc/meminfo: memFree=1315752/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=208228 CPUtime=1241.9
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 46215 0 0 0 124031 159 0 0 25 0 1 0 313964319 213225472 35483 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 52057 35483 102 219 0 51834 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 208228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 22658
/proc/meminfo: memFree=1310040/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=209000 CPUtime=1301.87
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 47990 0 0 0 130022 165 0 0 25 0 1 0 313964319 214016000 37193 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 52250 37193 102 219 0 52027 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 209000

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 22658
/proc/meminfo: memFree=1303960/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=209912 CPUtime=1361.85
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 49679 0 0 0 136015 170 0 0 25 0 1 0 313964319 214949888 38719 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 52478 38719 102 219 0 52255 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 209912

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 22658
/proc/meminfo: memFree=1299032/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=210424 CPUtime=1421.84
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 51030 0 0 0 142008 176 0 0 25 0 1 0 313964319 215474176 39939 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 52606 39939 102 219 0 52383 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 210424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1297240/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=212012 CPUtime=1481.82
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 51727 0 0 0 147999 183 0 0 25 0 1 0 313964319 217100288 40376 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 53003 40376 102 219 0 52780 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 212012

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 22658
/proc/meminfo: memFree=1289880/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=214328 CPUtime=1541.8
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 53791 0 0 0 153992 188 0 0 25 0 1 0 313964319 219471872 42245 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 53582 42245 102 219 0 53359 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 214328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1280984/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=215952 CPUtime=1601.79
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 56256 0 0 0 159983 196 0 0 25 0 1 0 313964319 221134848 44451 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134584034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 53988 44451 102 219 0 53765 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 215952

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1274520/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=217360 CPUtime=1661.78
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 58243 0 0 0 165975 203 0 0 25 0 1 0 313964319 222576640 46081 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 54340 46081 102 219 0 54117 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 217360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1269208/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=221072 CPUtime=1721.76
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 60339 0 0 0 171967 209 0 0 25 0 1 0 313964319 226377728 47401 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 55268 47401 102 219 0 55045 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 221072

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1263384/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=221972 CPUtime=1781.75
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 62005 0 0 0 177960 215 0 0 25 0 1 0 313964319 227299328 48873 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 55493 48873 102 219 0 55270 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 221972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22658
/proc/meminfo: memFree=1261528/2055920 swapFree=4169132/4192956
[pid=22457] ppid=22455 vsize=222740 CPUtime=1800.05
/proc/22457/stat : 22457 (PBS4_SAT07v2) R 22455 22457 21386 0 -1 4194304 62614 0 0 0 179789 216 0 0 25 0 1 0 313964319 228085760 49288 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22457/statm: 55685 49288 102 219 0 55462 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 222740

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.09
CPU user time (s): 1797.89
CPU system time (s): 2.20267
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 222740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.20267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2702

runsolver used 1.40579 second user time and 3.99039 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue May  8 21:41:07 UTC 2007

IDJOB= 459798
IDBENCH= 48259
IDSOLVER= 200
FILE ID= node15/459798-1178660467

PBS_JOBID= 5217839

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-459798-1178660467 -o ROOT/results/node15/conversion-459798-1178660467 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-459798-1178660467 -o ROOT/results/node15/solver-459798-1178660467 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459798-1178660467/instance-459798-1178660467.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  0c3fb28b3ecb8f1eba2bffa356ef5364

RANDOM SEED= 859032616

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.227
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.227
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:       1459512 kB
Buffers:         64080 kB
Cached:         408820 kB
SwapCached:       2692 kB
Active:         212936 kB
Inactive:       306556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459512 kB
SwapTotal:     4192956 kB
SwapFree:      4169132 kB
Dirty:            2392 kB
Writeback:           0 kB
Mapped:          53972 kB
Slab:            62300 kB
Committed_AS: 10793344 kB
PageTables:       1936 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node15 on Tue May  8 22:11:10 UTC 2007