Trace number 3704474

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 NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)-7 1800.2 900.316

General information on the benchmark

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

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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704474-1338094659.opb.
0.00/0.00	c Instance file HOME/instance-3704474-1338094659.opb
0.00/0.00	c File size is 118615 bytes.
0.00/0.01	c Cost Offset: -50
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1576                                                |
0.00/0.01	c |  Number Clauses:        1526                                                |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 1476                                                |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.20/900.31	o -1
1800.20/900.31	o -5
1800.20/900.31	o -6
1800.20/900.31	o -7
1800.20/900.31	c ===============================================================================
1800.20/900.31	c Wall Clock Time: 900.31 s
1800.20/900.31	c Best Solution: -7
1800.20/900.31	s SATISFIABLE
1800.20/900.31	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 -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 -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

Verifier Data 

OK	-7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3704474-1338094659/watcher-3704474-1338094659 -o /tmp/evaluation-result-3704474-1338094659/solver-3704474-1338094659 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704474-1338094659.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.04 3.99 3.95 4/178 23840
/proc/meminfo: memFree=30094828/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=5036 CPUtime=0 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) R 23838 23840 22912 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 275590810 5156864 537 33554432000 4194304 5965102 140737022098176 140736956198584 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 1292 537 172 433 0 827 0

[startup+0.0629189 s]
/proc/loadavg: 4.04 3.99 3.95 4/178 23840
/proc/meminfo: memFree=30094828/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164472 CPUtime=0.1 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 2172 0 0 0 10 0 0 0 20 0 3 0 275590810 168419328 2095 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41118 2095 207 433 0 40682 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 164472

[startup+0.100213 s]
/proc/loadavg: 4.04 3.99 3.95 4/178 23840
/proc/meminfo: memFree=30094828/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164472 CPUtime=0.17 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 2218 0 0 0 17 0 0 0 20 0 3 0 275590810 168419328 2141 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41118 2141 207 433 0 40682 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164472

[startup+0.300121 s]
/proc/loadavg: 4.04 3.99 3.95 4/178 23840
/proc/meminfo: memFree=30094828/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164472 CPUtime=0.57 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 2722 0 0 0 57 0 0 0 20 0 3 0 275590810 168419328 2645 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41118 2645 207 433 0 40682 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164472

[startup+0.70014 s]
/proc/loadavg: 4.04 3.99 3.95 4/178 23840
/proc/meminfo: memFree=30094828/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164472 CPUtime=1.38 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 3498 0 0 0 137 1 0 0 20 0 3 0 275590810 168419328 3421 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41118 3421 207 433 0 40682 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164472

[startup+1.50032 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23843
/proc/meminfo: memFree=30078568/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164616 CPUtime=2.98 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 4007 0 0 0 297 1 0 0 20 0 3 0 275590810 168566784 3930 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41154 3930 207 433 0 40718 0
[pid=23840/tid=23842] ppid=23838 vsize=164616 CPUtime=1.46 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 1344 0 0 0 146 0 0 0 20 0 3 0 275590812 168566784 3930 33554432000 4194304 5965102 140737022098176 139705781504040 4401472 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=164616 CPUtime=1.47 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 1405 0 0 0 147 0 0 0 20 0 3 0 275590812 168566784 3930 33554432000 4194304 5965102 140737022098176 139705771014504 4393736 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164616

[startup+3.10035 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23843
/proc/meminfo: memFree=30072972/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=164964 CPUtime=6.18 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 5008 0 0 0 616 2 0 0 20 0 3 0 275590810 168923136 4931 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41241 4931 207 433 0 40805 0
[pid=23840/tid=23842] ppid=23838 vsize=164964 CPUtime=3.06 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 1854 0 0 0 305 1 0 0 20 0 3 0 275590812 168923136 4931 33554432000 4194304 5965102 140737022098176 139705781503992 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=164964 CPUtime=3.06 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 1896 0 0 0 306 0 0 0 20 0 3 0 275590812 168923136 4931 33554432000 4194304 5965102 140737022098176 139705771014456 4380449 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164964

[startup+6.30035 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23843
/proc/meminfo: memFree=30057224/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=165064 CPUtime=12.57 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 6819 0 0 0 1254 3 0 0 20 0 3 0 275590810 169025536 6714 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41266 6714 207 433 0 40830 0
[pid=23840/tid=23842] ppid=23838 vsize=165064 CPUtime=6.25 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 2596 0 0 0 624 1 0 0 20 0 3 0 275590812 169025536 6714 33554432000 4194304 5965102 140737022098176 139705781503904 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=165064 CPUtime=6.25 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 2965 0 0 0 624 1 0 0 20 0 3 0 275590812 169025536 6714 33554432000 4194304 5965102 140737022098176 139705771014560 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165064

[startup+12.7004 s]
/proc/loadavg: 4.04 3.99 3.95 5/181 23843
/proc/meminfo: memFree=30035408/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=165524 CPUtime=25.37 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 8893 0 0 0 2532 5 0 0 20 0 3 0 275590810 169496576 8788 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41381 8788 207 433 0 40945 0
[pid=23840/tid=23842] ppid=23838 vsize=165524 CPUtime=12.63 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 3602 0 0 0 1261 2 0 0 20 0 3 0 275590812 169496576 8788 33554432000 4194304 5965102 140737022098176 139705781503800 4410314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=165524 CPUtime=12.64 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 4033 0 0 0 1262 2 0 0 20 0 3 0 275590812 169496576 8788 33554432000 4194304 5965102 140737022098176 139705771014216 4389823 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165524

[startup+25.5004 s]
/proc/loadavg: 4.03 3.99 3.95 5/181 23844
/proc/meminfo: memFree=29990752/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=166468 CPUtime=50.97 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 13002 0 0 0 5088 9 0 0 20 0 3 0 275590810 170463232 12897 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41617 12897 207 433 0 41181 0
[pid=23840/tid=23842] ppid=23838 vsize=166468 CPUtime=25.4 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 5626 0 0 0 2535 5 0 0 20 0 3 0 275590812 170463232 12897 33554432000 4194304 5965102 140737022098176 139705781503992 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=166468 CPUtime=25.41 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 6118 0 0 0 2537 4 0 0 20 0 3 0 275590812 170463232 12897 33554432000 4194304 5965102 140737022098176 139705771014504 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166468

[startup+51.1004 s]
/proc/loadavg: 4.02 3.99 3.95 5/181 23844
/proc/meminfo: memFree=29920272/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=167184 CPUtime=102.16 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 17541 0 0 0 10200 16 0 0 20 0 3 0 275590810 171196416 17347 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 41796 17347 207 433 0 41360 0
[pid=23840/tid=23842] ppid=23838 vsize=167184 CPUtime=50.93 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 8079 0 0 0 5083 10 0 0 20 0 3 0 275590812 171196416 17347 33554432000 4194304 5965102 140737022098176 139705781504952 4401078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=167184 CPUtime=50.94 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 8204 0 0 0 5089 5 0 0 20 0 3 0 275590812 171196416 17347 33554432000 4194304 5965102 140737022098176 139705771014264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 167184

[startup+102.307 s]
/proc/loadavg: 4.01 3.99 3.95 5/181 23844
/proc/meminfo: memFree=29795448/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=168976 CPUtime=204.55 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 23773 0 0 0 20433 22 0 0 20 0 3 0 275590810 173031424 23575 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 42244 23575 207 433 0 41808 0
[pid=23840/tid=23842] ppid=23838 vsize=168976 CPUtime=102 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 11458 0 0 0 10186 14 0 0 20 0 3 0 275590812 173031424 23575 33554432000 4194304 5965102 140737022098176 139705781504040 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=168976 CPUtime=102.02 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 11057 0 0 0 10193 9 0 0 20 0 3 0 275590812 173031424 23575 33554432000 4194304 5965102 140737022098176 139705771014264 4401578 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 168976

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/182 23847
/proc/meminfo: memFree=29651256/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=170252 CPUtime=324.51 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 31134 0 0 0 32420 31 0 0 20 0 3 0 275590810 174338048 30935 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 42563 30935 207 433 0 42127 0
[pid=23840/tid=23842] ppid=23838 vsize=170252 CPUtime=161.84 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 15370 0 0 0 16163 21 0 0 20 0 3 0 275590812 174338048 30935 33554432000 4194304 5965102 140737022098176 139705781503800 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=170252 CPUtime=161.85 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 14506 0 0 0 16171 14 0 0 20 0 3 0 275590812 174338048 30935 33554432000 4194304 5965102 140737022098176 139705771014264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 170252

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/182 23870
/proc/meminfo: memFree=29509056/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=301868 CPUtime=444.49 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 36859 0 0 0 44410 39 0 0 20 0 3 0 275590810 309112832 36656 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 75467 36656 207 433 0 75031 0
[pid=23840/tid=23842] ppid=23838 vsize=301868 CPUtime=221.68 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 17819 0 0 0 22144 24 0 0 20 0 3 0 275590812 309112832 36656 33554432000 4194304 5965102 140737022098176 139705781504040 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=301868 CPUtime=221.7 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 17782 0 0 0 22149 21 0 0 20 0 3 0 275590812 309112832 36656 33554432000 4194304 5965102 140737022098176 139705771014264 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 301868

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23870
/proc/meminfo: memFree=29385720/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=302428 CPUtime=564.48 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 41576 0 0 0 56401 47 0 0 20 0 3 0 275590810 309686272 41369 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 75607 41369 207 433 0 75171 0
[pid=23840/tid=23842] ppid=23838 vsize=302428 CPUtime=281.52 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 20118 0 0 0 28124 28 0 0 20 0 3 0 275590812 309686272 41369 33554432000 4194304 5965102 140737022098176 139705781503992 4400972 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=302428 CPUtime=281.55 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 20200 0 0 0 28129 26 0 0 20 0 3 0 275590812 309686272 41369 33554432000 4194304 5965102 140737022098176 139705771014216 4401009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 302428

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23871
/proc/meminfo: memFree=29273064/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=302772 CPUtime=684.46 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 44135 0 0 0 68396 50 0 0 20 0 3 0 275590810 310038528 43925 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 75693 43925 207 433 0 75257 0

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

[pid=23840/tid=23843] ppid=23838 vsize=302772 CPUtime=341.39 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 20794 0 0 0 34112 27 0 0 20 0 3 0 275590812 310038528 43925 33554432000 4194304 5965102 140737022098176 139705771014216 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 302772

[startup+402.3 s]
/proc/loadavg: 3.96 3.97 3.94 5/181 23924
/proc/meminfo: memFree=30932728/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=303996 CPUtime=804.41 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 47164 0 0 0 80386 55 0 0 20 0 3 0 275590810 311291904 47681 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 75999 47681 207 433 0 75563 0
[pid=23840/tid=23842] ppid=23838 vsize=303996 CPUtime=401.18 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 23515 0 0 0 40082 36 0 0 20 0 3 0 275590812 311291904 47681 33554432000 4194304 5965102 140737022098176 139705781503800 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=303996 CPUtime=401.23 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 22391 0 0 0 40092 31 0 0 20 0 3 0 275590812 311291904 47681 33554432000 4194304 5965102 140737022098176 139705771014328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 303996

[startup+462.3 s]
/proc/loadavg: 3.98 3.97 3.94 5/181 23924
/proc/meminfo: memFree=30874228/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=304480 CPUtime=924.36 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 49156 0 0 0 92378 58 0 0 20 0 3 0 275590810 311787520 50135 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 76120 50135 207 433 0 75684 0
[pid=23840/tid=23842] ppid=23838 vsize=304480 CPUtime=461.01 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 24246 0 0 0 46063 38 0 0 20 0 3 0 275590812 311787520 50135 33554432000 4194304 5965102 140737022098176 139705781504040 4401462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=304480 CPUtime=461.05 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 23652 0 0 0 46072 33 0 0 20 0 3 0 275590812 311787520 50135 33554432000 4194304 5965102 140737022098176 139705771014560 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 304480

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23924
/proc/meminfo: memFree=30807560/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=306164 CPUtime=1044.33 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 53365 0 0 0 104370 63 0 0 20 0 3 0 275590810 313511936 55965 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 76541 55965 207 433 0 76105 0
[pid=23840/tid=23842] ppid=23838 vsize=306164 CPUtime=520.85 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 28313 0 0 0 52042 43 0 0 20 0 3 0 275590812 313511936 55965 33554432000 4194304 5965102 140737022098176 139705781503992 4400978 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=306164 CPUtime=520.89 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 23794 0 0 0 52056 33 0 0 20 0 3 0 275590812 313511936 55965 33554432000 4194304 5965102 140737022098176 139705771014216 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 306164

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23924
/proc/meminfo: memFree=30764436/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=307248 CPUtime=1164.32 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 55970 0 0 0 116365 67 0 0 20 0 3 0 275590810 314621952 58566 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 76812 58566 207 433 0 76376 0
[pid=23840/tid=23842] ppid=23838 vsize=307248 CPUtime=580.69 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 30846 0 0 0 58021 48 0 0 20 0 3 0 275590812 314621952 58566 33554432000 4194304 5965102 140737022098176 139705781503992 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=307248 CPUtime=580.74 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 23866 0 0 0 58040 34 0 0 20 0 3 0 275590812 314621952 58566 33554432000 4194304 5965102 140737022098176 139705771014560 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.32
Current children cumulated vsize (KiB) 307248

[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 23925
/proc/meminfo: memFree=30711756/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=310016 CPUtime=1284.31 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 60021 0 0 0 128357 74 0 0 20 0 3 0 275590810 317456384 62786 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 77504 62786 207 433 0 77068 0
[pid=23840/tid=23842] ppid=23838 vsize=310016 CPUtime=640.54 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 32382 0 0 0 64003 51 0 0 20 0 3 0 275590812 317456384 62787 33554432000 4194304 5965102 140737022098176 139705781504040 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=310016 CPUtime=640.59 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 26382 0 0 0 64020 39 0 0 20 0 3 0 275590812 317456384 62787 33554432000 4194304 5965102 140737022098176 139705771014456 4389036 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.31
Current children cumulated vsize (KiB) 310016

[startup+702.3 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 23925
/proc/meminfo: memFree=30657244/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=310740 CPUtime=1404.27 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 61668 0 0 0 140351 76 0 0 20 0 3 0 275590810 318197760 64567 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 77685 64567 207 433 0 77249 0
[pid=23840/tid=23842] ppid=23838 vsize=310740 CPUtime=700.38 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 33558 0 0 0 69983 55 0 0 20 0 3 0 275590812 318197760 64567 33554432000 4194304 5965102 140737022098176 139705781503992 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=310740 CPUtime=700.42 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 26852 0 0 0 70001 41 0 0 20 0 3 0 275590812 318197760 64567 33554432000 4194304 5965102 140737022098176 139705771014328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 310740

[startup+762.307 s]
/proc/loadavg: 4.02 3.99 3.95 5/182 23928
/proc/meminfo: memFree=30628184/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=376656 CPUtime=1524.24 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 63388 0 0 0 152346 78 0 0 20 0 3 0 275590810 385695744 66456 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 94164 66456 207 433 0 93728 0
[pid=23840/tid=23842] ppid=23838 vsize=376656 CPUtime=760.21 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 34860 0 0 0 75964 57 0 0 20 0 3 0 275590812 385695744 66456 33554432000 4194304 5965102 140737022098176 139705781503992 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=376656 CPUtime=760.27 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 27270 0 0 0 75985 42 0 0 20 0 3 0 275590812 385695744 66456 33554432000 4194304 5965102 140737022098176 139705771014216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 376656

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23928
/proc/meminfo: memFree=30599572/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=377900 CPUtime=1644.22 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 64692 0 0 0 164340 82 0 0 20 0 3 0 275590810 386969600 67760 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 94475 67760 207 433 0 94039 0
[pid=23840/tid=23842] ppid=23838 vsize=377900 CPUtime=820.04 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 36078 0 0 0 81942 62 0 0 20 0 3 0 275590812 386969600 67760 33554432000 4194304 5965102 140737022098176 139705781504040 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=377900 CPUtime=820.11 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 27356 0 0 0 81968 43 0 0 20 0 3 0 275590812 386969600 67760 33554432000 4194304 5965102 140737022098176 139705771014216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.22
Current children cumulated vsize (KiB) 377900

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23928
/proc/meminfo: memFree=30584188/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=378888 CPUtime=1764.19 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 65554 0 0 0 176337 82 0 0 20 0 3 0 275590810 387981312 68621 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 94722 68621 207 433 0 94286 0
[pid=23840/tid=23842] ppid=23838 vsize=378888 CPUtime=879.89 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 36576 0 0 0 87926 63 0 0 20 0 3 0 275590812 387981312 68621 33554432000 4194304 5965102 140737022098176 139705781503800 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=378888 CPUtime=879.96 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 27720 0 0 0 87952 44 0 0 20 0 3 0 275590812 387981312 68621 33554432000 4194304 5965102 140737022098176 139705771014368 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 378888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23928
/proc/meminfo: memFree=30572408/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=379248 CPUtime=1800.2 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 65939 0 0 0 179938 82 0 0 20 0 3 0 275590810 388349952 69006 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 94812 69006 207 433 0 94376 0
[pid=23840/tid=23842] ppid=23838 vsize=379248 CPUtime=897.85 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 36664 0 0 0 89722 63 0 0 20 0 3 0 275590812 388349952 69006 33554432000 4194304 5965102 140737022098176 139705781503800 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=379248 CPUtime=897.92 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 28017 0 0 0 89748 44 0 0 20 0 3 0 275590812 388349952 69006 33554432000 4194304 5965102 140737022098176 139705771014264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 379248

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

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

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 23928
/proc/meminfo: memFree=30572408/32873844 swapFree=6600/6600
[pid=23840] ppid=23838 vsize=379248 CPUtime=1800.2 cores=1,3,5,7
/proc/23840/stat : 23840 (pwbo2.0) S 23838 23840 22912 0 -1 4202496 65939 0 0 0 179938 82 0 0 20 0 3 0 275590810 388349952 69006 33554432000 4194304 5965102 140737022098176 140737022097696 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 94812 69006 207 433 0 94376 0
[pid=23840/tid=23842] ppid=23838 vsize=379248 CPUtime=897.85 cores=1,3,5,7
/proc/23840/task/23842/stat : 23842 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 36664 0 0 0 89722 63 0 0 20 0 3 0 275590812 388349952 69006 33554432000 4194304 5965102 140737022098176 139705781503800 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=379248 CPUtime=897.92 cores=1,3,5,7
/proc/23840/task/23843/stat : 23843 (pwbo2.0) R 23838 23840 22912 0 -1 4202560 28017 0 0 0 89748 44 0 0 20 0 3 0 275590812 388349952 69006 33554432000 4194304 5965102 140737022098176 139705771014264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 379248

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23840 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=718161
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=102832
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.316
CPU time (s): 1800.2
CPU user time (s): 1799.38
CPU system time (s): 0.82
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 379248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.10283
maximum resident set size= 276032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65941
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= 260
involuntary context switches= 2586

runsolver used 1.9497 second user time and 5.69613 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-27 06:57:40
IDJOB=3704474
IDBENCH=48231
IDSOLVER=2281
FILE ID=node140/3704474-1338094659
RUNJOBID= node140-1338088683-22929
PBS_JOBID= 14624467
Free space on /tmp= 71352 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704474-1338094659/watcher-3704474-1338094659 -o /tmp/evaluation-result-3704474-1338094659/solver-3704474-1338094659 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704474-1338094659.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2
RANDOM SEED=2103414352

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30095356 kB
Buffers:          312592 kB
Cached:           500108 kB
SwapCached:         1500 kB
Active:          1885872 kB
Inactive:          59292 kB
Active(anon):    1124660 kB
Inactive(anon):     8612 kB
Active(file):     761212 kB
Inactive(file):    50680 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105292 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:       1203832 kB
Mapped:            12552 kB
Shmem:                 8 kB
Slab:             690688 kB
SReclaimable:     132940 kB
SUnreclaim:       557748 kB
KernelStack:        1504 kB
PageTables:         6040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     272480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3704474-1338094659.opb

Free space on /tmp at the end= 71352 MiB
End job on node140 at 2012-05-27 07:12:42