Trace number 2699039

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-41-40--soft-33-100-0.wbo
MD5SUM821b84a7358221fefacfb8b50c463b59
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.040993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints54
Number of constraints which are clauses41
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 constraint41
Top cost 3128
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3127
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
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 14/26 clauses 13/28 units 0
0.00/0.00	c vars 1640
0.00/0.05	c 0.051992 14.7578 25 2783
0.00/0.05	o 1502
0.00/0.06	c 0.051992 14.9023 27 2992
0.00/0.06	o 106
0.00/0.06	c 0.052991 14.9023 27 3166
0.00/0.06	o 101
0.06/0.06	c 0.052991 14.9023 27 3308
0.06/0.06	o 75
0.06/0.07	c 0.052991 14.9023 27 3488
0.06/0.07	o 65
0.06/0.07	c 0.052991 14.9023 27 3633
0.06/0.07	o 60
0.06/0.07	c 0.052991 14.9023 27 3759
0.06/0.07	o 51
0.06/0.07	c 0.052991 14.9023 27 3850
0.06/0.07	o 42
0.06/0.08	c 0.052991 14.9023 27 3942
0.06/0.08	o 41
0.06/0.08	c 0.053991 14.9023 27 4030
0.06/0.08	o 37
0.06/0.08	c 0.054991 14.9023 27 4129
0.06/0.08	o 10
0.09/0.16	c 0.076988 15.6719 960 7604
0.09/0.16	o 9
0.09/0.18	c 0.088986 15.8008 1160 10085
0.09/0.18	o 1
1800.02/1800.00	s SATISFIABLE
1800.02/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

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699039-1278459257/watcher-2699039-1278459257 -o /tmp/evaluation-result-2699039-1278459257/solver-2699039-1278459257 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699039-1278459257.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.78 1.95 1.67 4/178 12611
/proc/meminfo: memFree=30129100/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=3048 CPUtime=0
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 383 0 0 0 0 0 0 0 23 0 1 0 14139534 3121152 303 4089446400 134512640 136422188 4292213904 18446744073709551615 134640840 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12611/statm: 762 313 172 467 0 293 0

[startup+0.065144 s]
/proc/loadavg: 1.78 1.95 1.67 4/178 12611
/proc/meminfo: memFree=30129100/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=15256 CPUtime=0.06
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 3487 0 0 0 5 1 0 0 23 0 1 0 14139534 15622144 3404 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 3814 3404 236 467 0 3345 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15256

[startup+0.101114 s]
/proc/loadavg: 1.78 1.95 1.67 4/178 12611
/proc/meminfo: memFree=30129100/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=15388 CPUtime=0.09
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 3504 0 0 0 5 4 0 0 23 0 1 0 14139534 15757312 3413 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 3847 3413 236 467 0 3378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15388

[startup+0.301081 s]
/proc/loadavg: 1.78 1.95 1.67 4/178 12611
/proc/meminfo: memFree=30129100/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=16308 CPUtime=0.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 3751 0 0 0 14 15 0 0 23 0 1 0 14139534 16699392 3658 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 4077 3658 237 467 0 3608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16308

[startup+0.700959 s]
/proc/loadavg: 1.78 1.95 1.67 4/178 12611
/proc/meminfo: memFree=30129100/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=18816 CPUtime=0.69
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 4381 0 0 0 41 28 0 0 25 0 1 0 14139534 19267584 4288 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 4704 4288 237 467 0 4235 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18816

[startup+1.50082 s]
/proc/loadavg: 1.78 1.95 1.67 3/179 12612
/proc/meminfo: memFree=30111112/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=19868 CPUtime=1.49
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 4629 0 0 0 101 48 0 0 25 0 1 0 14139534 20344832 4536 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 4967 4536 237 467 0 4498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19868

[startup+3.10064 s]
/proc/loadavg: 1.78 1.95 1.67 3/179 12612
/proc/meminfo: memFree=30109748/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=19868 CPUtime=3.09
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 4629 0 0 0 196 113 0 0 25 0 1 0 14139534 20344832 4536 4089446400 134512640 136422188 4292213904 18446744073709551615 134902728 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 4967 4536 237 467 0 4498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19868

[startup+6.30108 s]
/proc/loadavg: 1.80 1.95 1.67 3/179 12612
/proc/meminfo: memFree=30107516/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=22512 CPUtime=6.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 5293 0 0 0 394 235 0 0 25 0 1 0 14139534 23052288 5200 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 5628 5200 237 467 0 5159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22512

[startup+12.701 s]
/proc/loadavg: 1.81 1.95 1.67 3/179 12612
/proc/meminfo: memFree=30094672/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=23452 CPUtime=12.69
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 5533 0 0 0 840 429 0 0 25 0 1 0 14139534 24014848 5440 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 5863 5440 237 467 0 5394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23452

[startup+25.5007 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 12612
/proc/meminfo: memFree=30086128/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=27428 CPUtime=25.49
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 6557 0 0 0 1762 787 0 0 25 0 1 0 14139534 28086272 6454 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 6857 6454 237 467 0 6388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27428

[startup+51.1012 s]
/proc/loadavg: 1.95 1.97 1.69 3/179 12614
/proc/meminfo: memFree=30031656/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=33736 CPUtime=51.09
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 8116 0 0 0 3635 1474 0 0 25 0 1 0 14139534 34545664 8013 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 8434 8013 237 467 0 7965 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33736

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 12614
/proc/meminfo: memFree=30030968/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=33724 CPUtime=102.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 8215 0 0 0 7359 2870 0 0 25 0 1 0 14139534 34533376 8012 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12611/statm: 8431 8012 237 467 0 7962 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 33724

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 12616
/proc/meminfo: memFree=30025332/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=38620 CPUtime=162.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 9451 0 0 0 11765 4464 0 0 25 0 1 0 14139534 39546880 9248 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 9655 9248 237 467 0 9186 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38620

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 12618
/proc/meminfo: memFree=30022276/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=41360 CPUtime=222.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 10209 0 0 0 16199 6030 0 0 25 0 1 0 14139534 42352640 9932 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 10340 9932 237 467 0 9871 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41360

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 12620
/proc/meminfo: memFree=30008072/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=45740 CPUtime=282.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 11317 0 0 0 20829 7400 0 0 25 0 1 0 14139534 46837760 11023 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 11435 11023 237 467 0 10966 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 45740

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 12622
/proc/meminfo: memFree=29998072/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=45740 CPUtime=342.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 11317 0 0 0 25353 8877 0 0 25 0 1 0 14139534 46837760 11023 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 11435 11023 237 467 0 10966 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 45740

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 12622
/proc/meminfo: memFree=29989204/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=47048 CPUtime=402.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 11749 0 0 0 29786 10444 0 0 25 0 1 0 14139534 48177152 11349 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 11762 11349 237 467 0 11293 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 47048

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 12624
/proc/meminfo: memFree=29978112/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=50032 CPUtime=462.29
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 12519 0 0 0 34399 11830 0 0 25 0 1 0 14139534 51232768 12095 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 12508 12095 237 467 0 12039 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 50032

[startup+522.301 s]
/proc/loadavg: 2.05 1.99 1.80 3/179 12626
/proc/meminfo: memFree=29976304/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=51608 CPUtime=522.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 13062 0 0 0 38889 13341 0 0 25 0 1 0 14139534 52846592 12490 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 12902 12490 237 467 0 12433 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 51608

[startup+582.3 s]
/proc/loadavg: 2.02 1.99 1.81 3/179 12628
/proc/meminfo: memFree=29969908/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=52652 CPUtime=582.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 13396 0 0 0 43319 14911 0 0 25 0 1 0 14139534 53915648 12749 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 13163 12749 237 467 0 12694 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 52652

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 12630
/proc/meminfo: memFree=29965224/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=54912 CPUtime=642.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 13949 0 0 0 48090 16141 0 0 25 0 1 0 14139534 56229888 13302 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 13728 13302 237 467 0 13259 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 54912

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 12634
/proc/meminfo: memFree=29950780/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=57916 CPUtime=822.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 14792 0 0 0 62102 20128 0 0 25 0 1 0 14139534 59305984 14062 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 14479 14062 237 467 0 14010 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 57916

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 12636
/proc/meminfo: memFree=29929480/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=57916 CPUtime=882.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 14793 0 0 0 66746 21485 0 0 25 0 1 0 14139534 59305984 14063 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 14479 14063 237 467 0 14010 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 57916

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 12638
/proc/meminfo: memFree=29929300/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=57916 CPUtime=942.3
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 14793 0 0 0 71221 23009 0 0 25 0 1 0 14139534 59305984 14063 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 14479 14063 237 467 0 14010 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 57916

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 12638
/proc/meminfo: memFree=29929220/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=57916 CPUtime=1002.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 14793 0 0 0 75753 24478 0 0 25 0 1 0 14139534 59305984 14063 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 14479 14063 237 467 0 14010 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 57916

[startup+1062.3 s]
/proc/loadavg: 2.07 2.00 1.87 3/179 12640
/proc/meminfo: memFree=29923080/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1062.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16357 0 0 0 80636 25595 0 0 25 0 1 0 14139534 65572864 15589 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15589 237 467 0 15540 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 64036

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.87 3/179 12642
/proc/meminfo: memFree=29923136/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1122.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16357 0 0 0 85135 27096 0 0 25 0 1 0 14139534 65572864 15589 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15589 237 467 0 15540 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 64036

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/179 12644
/proc/meminfo: memFree=29923176/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1182.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16357 0 0 0 89658 28573 0 0 25 0 1 0 14139534 65572864 15589 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15589 237 467 0 15540 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 64036

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 12646
/proc/meminfo: memFree=29922472/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1242.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16357 0 0 0 94359 29872 0 0 25 0 1 0 14139534 65572864 15589 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15589 237 467 0 15540 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 64036

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 12646
/proc/meminfo: memFree=29897200/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1302.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16358 0 0 0 98855 31377 0 0 25 0 1 0 14139534 65572864 15590 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15590 237 467 0 15540 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 64036

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 12648
/proc/meminfo: memFree=29885008/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=64036 CPUtime=1362.31
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 16358 0 0 0 103490 32741 0 0 25 0 1 0 14139534 65572864 15590 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16009 15590 237 467 0 15540 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 64036

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 12650
/proc/meminfo: memFree=29881204/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=67480 CPUtime=1422.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 17250 0 0 0 108142 34090 0 0 25 0 1 0 14139534 69099520 16449 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16870 16449 237 467 0 16401 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 67480

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12652
/proc/meminfo: memFree=29882268/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=65392 CPUtime=1482.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 17250 0 0 0 112134 36098 0 0 25 0 1 0 14139534 66961408 15929 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16348 15929 237 467 0 15879 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 65392

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12654
/proc/meminfo: memFree=29882668/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=65392 CPUtime=1542.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 17252 0 0 0 116809 37423 0 0 25 0 1 0 14139534 66961408 15931 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16348 15931 237 467 0 15879 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 65392

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12654
/proc/meminfo: memFree=29881620/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=66140 CPUtime=1602.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 17856 0 0 0 121852 38380 0 0 25 0 1 0 14139534 67727360 16119 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 16535 16119 237 467 0 16066 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 66140

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 12665
/proc/meminfo: memFree=29873436/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=73708 CPUtime=1662.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 19803 0 0 0 127022 39210 0 0 25 0 1 0 14139534 75476992 18011 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 18427 18011 237 467 0 17958 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 73708

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 12667
/proc/meminfo: memFree=29873260/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=73708 CPUtime=1722.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 19803 0 0 0 131951 40281 0 0 25 0 1 0 14139534 75476992 18011 4089446400 134512640 136422188 4292213904 18446744073709551615 135685872 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 18427 18011 237 467 0 17958 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 73708

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12669
/proc/meminfo: memFree=29873052/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=73708 CPUtime=1782.32
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 19804 0 0 0 136511 41721 0 0 25 0 1 0 14139534 75476992 18012 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 18427 18012 237 467 0 17958 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 73708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 12697
/proc/meminfo: memFree=30117568/32950928 swapFree=67111528/67111528
[pid=12611] ppid=12609 vsize=73708 CPUtime=1800.02
/proc/12611/stat : 12611 (pbct) R 12609 12611 12450 0 -1 4202496 19804 0 0 0 137868 42134 0 0 25 0 1 0 14139534 75476992 18012 4089446400 134512640 136422188 4292213904 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12611/statm: 18427 18012 237 467 0 17958 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 73708

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): 1378.69
CPU system time (s): 421.351
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 73928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1378.69
system time used= 421.351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19805
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= 19834

runsolver used 2.6346 second user time and 5.55516 second system time

The end

Launcher Data 

Begin job on node125 at 2010-07-07 01:34:17
IDJOB=2699039
IDBENCH=78738
IDSOLVER=1212
FILE ID=node125/2699039-1278459257
PBS_JOBID= 11233742
Free space on /tmp= 73628 MiB

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

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

MD5SUM BENCH= 821b84a7358221fefacfb8b50c463b59
RANDOM SEED=1578258531

node125.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.823
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.64
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.823
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	: 5332.83
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.823
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.823
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.74
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.823
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.82
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.823
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.74
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.823
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.82
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.823
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30129620 kB
Buffers:        105208 kB
Cached:        2438132 kB
SwapCached:          0 kB
Active:         768876 kB
Inactive:      1911140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30129620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4176 kB
Writeback:           0 kB
AnonPages:      136308 kB
Mapped:          15452 kB
Slab:            78008 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   281056 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= 73628 MiB
End job on node125 at 2010-07-07 02:04:19