Trace number 2699003

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.04 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MD5SUMa455ffab78a89665145255f789204852
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark0.087986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints24
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 1255
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1254
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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 

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

Verifier Data 

OK	23

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699003-1278459249/watcher-2699003-1278459249 -o /tmp/evaluation-result-2699003-1278459249/solver-2699003-1278459249 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699003-1278459249.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.68 2/176 13982
/proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=2268 CPUtime=0
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 279 0 0 0 0 0 0 0 24 0 1 0 14138376 2322432 198 4089446400 134512640 136422188 4289857776 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13982/statm: 567 198 144 467 0 98 0

[startup+0.095429 s]
/proc/loadavg: 1.93 1.98 1.68 2/176 13982
/proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=16304 CPUtime=0.08
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 3759 0 0 0 6 2 0 0 24 0 1 0 14138376 16695296 3673 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13982/statm: 4076 3673 236 467 0 3607 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16304

[startup+0.100428 s]
/proc/loadavg: 1.93 1.98 1.68 2/176 13982
/proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=16436 CPUtime=0.09
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 3769 0 0 0 6 3 0 0 24 0 1 0 14138376 16830464 3683 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13982/statm: 4109 3683 236 467 0 3640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16436

[startup+0.300394 s]
/proc/loadavg: 1.93 1.98 1.68 2/176 13982
/proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=18008 CPUtime=0.29
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4163 0 0 0 18 11 0 0 25 0 1 0 14138376 18440192 4077 4089446400 134512640 136422188 4289857776 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13982/statm: 4502 4077 237 467 0 4033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18008

[startup+0.700328 s]
/proc/loadavg: 1.93 1.98 1.68 2/176 13982
/proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=19592 CPUtime=0.69
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4564 0 0 0 43 26 0 0 25 0 1 0 14138376 20062208 4478 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13982/statm: 4898 4478 237 467 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19592

[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.68 2/177 13983
/proc/meminfo: memFree=29632632/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=20252 CPUtime=1.49
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4734 0 0 0 99 50 0 0 25 0 1 0 14138376 20738048 4648 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13982/statm: 5063 4648 237 467 0 4594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20252

[startup+3.10106 s]
/proc/loadavg: 1.93 1.98 1.68 2/174 13986
/proc/meminfo: memFree=29630300/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=21440 CPUtime=3.09
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 5039 0 0 0 233 76 0 0 25 0 1 0 14138376 21954560 4953 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13982/statm: 5360 4953 237 467 0 4891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21440

[startup+6.30052 s]
/proc/loadavg: 1.86 1.97 1.67 2/174 13987
/proc/meminfo: memFree=29627892/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=25284 CPUtime=6.29
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 5991 0 0 0 514 115 0 0 25 0 1 0 14138376 25890816 5905 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13982/statm: 6321 5905 237 467 0 5852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25284

[startup+12.7004 s]
/proc/loadavg: 1.79 1.95 1.67 2/174 14001
/proc/meminfo: memFree=29628640/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=28628 CPUtime=12.69
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 6886 0 0 0 1025 244 0 0 25 0 1 0 14138376 29315072 6757 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 7157 6757 237 467 0 6688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28628

[startup+25.5003 s]
/proc/loadavg: 1.84 1.95 1.67 3/179 14011
/proc/meminfo: memFree=29617548/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=33220 CPUtime=25.49
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 8037 0 0 0 1952 597 0 0 25 0 1 0 14138376 34017280 7900 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 8305 7900 237 467 0 7836 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33220

[startup+51.1009 s]
/proc/loadavg: 1.95 1.97 1.69 3/179 14011
/proc/meminfo: memFree=29614972/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=36312 CPUtime=51.09
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 8841 0 0 0 3784 1325 0 0 25 0 1 0 14138376 37183488 8673 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 9078 8673 237 467 0 8609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36312

[startup+102.306 s]
/proc/loadavg: 2.04 1.99 1.71 3/179 14013
/proc/meminfo: memFree=29611204/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=38716 CPUtime=102.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 9630 0 0 0 7499 2731 0 0 25 0 1 0 14138376 39645184 9275 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 9679 9275 237 467 0 9210 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38716

[startup+162.301 s]
/proc/loadavg: 2.01 1.99 1.72 3/179 14042
/proc/meminfo: memFree=29605504/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=44932 CPUtime=162.29
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 11172 0 0 0 12235 3994 0 0 25 0 1 0 14138376 46010368 10817 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 11233 10817 237 467 0 10764 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44932

[startup+222.301 s]
/proc/loadavg: 2.04 2.00 1.74 3/179 14070
/proc/meminfo: memFree=29603800/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=46796 CPUtime=222.29
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 11676 0 0 0 16987 5242 0 0 25 0 1 0 14138376 47919104 11293 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 11699 11293 237 467 0 11230 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 46796

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.75 3/179 14098
/proc/meminfo: memFree=29601256/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=48796 CPUtime=282.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 12385 0 0 0 21702 6528 0 0 25 0 1 0 14138376 49967104 11779 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 12199 11779 237 467 0 11730 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48796

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 14100
/proc/meminfo: memFree=29595092/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=54896 CPUtime=342.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 13969 0 0 0 26601 7629 0 0 25 0 1 0 14138376 56213504 13316 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 13724 13316 237 467 0 13255 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54896

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 14129
/proc/meminfo: memFree=29585324/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=57968 CPUtime=402.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 14897 0 0 0 31364 8866 0 0 25 0 1 0 14138376 59359232 14082 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 14492 14082 237 467 0 14023 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 57968

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 14131
/proc/meminfo: memFree=29583128/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=59876 CPUtime=462.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 15614 0 0 0 36140 10090 0 0 25 0 1 0 14138376 61313024 14558 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 14969 14558 237 467 0 14500 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 59876

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 14132
/proc/meminfo: memFree=29583060/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=59876 CPUtime=522.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 15616 0 0 0 41067 11163 0 0 25 0 1 0 14138376 61313024 14560 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 14969 14560 237 467 0 14500 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 59876

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 14133
/proc/meminfo: memFree=29580884/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=62776 CPUtime=582.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 16321 0 0 0 45774 12456 0 0 25 0 1 0 14138376 64282624 15265 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 15694 15265 237 467 0 15225 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 62776

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 14135
/proc/meminfo: memFree=29579940/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=62812 CPUtime=642.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 16510 0 0 0 50546 13685 0 0 25 0 1 0 14138376 64319488 15294 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 15703 15294 237 467 0 15234 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 62812

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 14140
/proc/meminfo: memFree=29570776/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=71864 CPUtime=822.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19160 0 0 0 65851 16379 0 0 25 0 1 0 14138376 73588736 17550 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 17966 17550 237 467 0 17497 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 71864

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 14141
/proc/meminfo: memFree=29569208/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=73540 CPUtime=882.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 70795 17436 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 18385 17945 237 467 0 17916 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 73540

[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.86 3/179 14143
/proc/meminfo: memFree=29569128/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=73540 CPUtime=942.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 75682 18549 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 18385 17945 237 467 0 17916 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 73540

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 1.87 3/179 14145
/proc/meminfo: memFree=29569296/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=73540 CPUtime=1002.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 80464 19767 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 18385 17945 237 467 0 17916 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 73540

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/179 14147
/proc/meminfo: memFree=29569340/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=73540 CPUtime=1062.3
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 85483 20747 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 18385 17945 237 467 0 17916 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 73540

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/179 14148
/proc/meminfo: memFree=29568756/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=74036 CPUtime=1122.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19782 0 0 0 90378 21853 0 0 25 0 1 0 14138376 75812864 18066 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 18509 18066 237 467 0 18040 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 74036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 14149
/proc/meminfo: memFree=29561880/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80308 CPUtime=1182.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21801 0 0 0 95170 23061 0 0 25 0 1 0 14138376 82235392 19657 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20077 19657 237 467 0 19608 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 80308

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.90 3/179 14151
/proc/meminfo: memFree=29561540/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1242.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 100367 23864 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19686 237 467 0 19641 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 80440

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 14153
/proc/meminfo: memFree=29561456/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1302.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 105382 24849 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19686 237 467 0 19641 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 80440

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14155
/proc/meminfo: memFree=29561516/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1362.31
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 110267 25964 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19686 237 467 0 19641 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 80440

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14156
/proc/meminfo: memFree=29561196/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1422.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 115052 27180 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19686 237 467 0 19641 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 80440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14157
/proc/meminfo: memFree=29560888/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1482.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 119956 28276 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19686 237 467 0 19641 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 80440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14159
/proc/meminfo: memFree=29560940/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1542.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21832 0 0 0 124765 29467 0 0 25 0 1 0 14138376 82370560 19688 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19688 237 467 0 19641 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 80440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14161
/proc/meminfo: memFree=29560880/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=80440 CPUtime=1602.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21832 0 0 0 129580 30652 0 0 25 0 1 0 14138376 82370560 19688 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20110 19688 237 467 0 19641 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 80440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14172
/proc/meminfo: memFree=29558232/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=82116 CPUtime=1662.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 22290 0 0 0 134371 31861 0 0 25 0 1 0 14138376 84086784 20107 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 20529 20107 237 467 0 20060 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 82116

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14173
/proc/meminfo: memFree=29552948/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=87396 CPUtime=1722.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 23592 0 0 0 139097 33135 0 0 25 0 1 0 14138376 89493504 21409 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 21849 21409 237 467 0 21380 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 87396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14174
/proc/meminfo: memFree=29549404/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=90924 CPUtime=1782.32
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 24540 0 0 0 144354 33878 0 0 25 0 1 0 14138376 93106176 22296 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 22731 22296 237 467 0 22262 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 90924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 14175
/proc/meminfo: memFree=29549008/32950928 swapFree=67111528/67111528
[pid=13982] ppid=13980 vsize=91320 CPUtime=1800.03
/proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 24630 0 0 0 145920 34083 0 0 25 0 1 0 14138376 93511680 22386 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13982/statm: 22830 22386 237 467 0 22361 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 91320

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.01
CPU time (s): 1800.04
CPU user time (s): 1459.2
CPU system time (s): 340.836
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 91320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1459.2
system time used= 340.836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24631
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= 1
involuntary context switches= 2719

runsolver used 2.75058 second user time and 5.44017 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 01:34:09
IDJOB=2699003
IDBENCH=78715
IDSOLVER=1212
FILE ID=node126/2699003-1278459249
PBS_JOBID= 11233740
Free space on /tmp= 73676 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699003-1278459249/watcher-2699003-1278459249 -o /tmp/evaluation-result-2699003-1278459249/solver-2699003-1278459249 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699003-1278459249.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a455ffab78a89665145255f789204852
RANDOM SEED=1578258531

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.861
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29650644 kB
Buffers:        107652 kB
Cached:        2985700 kB
SwapCached:          0 kB
Active:         847036 kB
Inactive:      2310832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29650644 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2148 kB
Writeback:           0 kB
AnonPages:       64648 kB
Mapped:          14656 kB
Slab:            78104 kB
PageTables:       5248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   216112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node126 at 2010-07-07 02:04:11