Trace number 3704452

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)-20 1800.42 900.319

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

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-3704452-1338096202.opb.
0.00/0.00	c Instance file HOME/instance-3704452-1338096202.opb
0.00/0.00	c File size is 106648 bytes.
0.00/0.01	c Cost Offset: -100
0.00/0.01	c Highest Coefficient sum: 200
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:      1448                                                |
0.00/0.01	c |  Number Clauses:        1348                                                |
0.00/0.01	c |  Number Cardinality:    202                                                 |
0.00/0.01	c |  Number PB Constraints: 1248                                                |
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.07/900.31	o -1
1800.07/900.31	o -15
1800.07/900.31	o -16
1800.07/900.31	o -18
1800.07/900.31	o -19
1800.07/900.31	o -20
1800.07/900.31	c ===============================================================================
1800.07/900.31	c Wall Clock Time: 900.31 s
1800.07/900.31	c Best Solution: -20
1800.07/900.31	s SATISFIABLE
1800.07/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 -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 -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 -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

Verifier Data 

OK	-20

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-3704452-1338096202/watcher-3704452-1338096202 -o /tmp/evaluation-result-3704452-1338096202/solver-3704452-1338096202 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704452-1338096202.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: 3.88 3.95 3.92 4/176 26811
/proc/meminfo: memFree=28205924/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=4992 CPUtime=0 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) R 26809 26811 23596 0 -1 4202496 567 0 0 0 0 0 0 0 20 0 1 0 275746165 5111808 519 33554432000 4194304 5965102 140737477209968 140735684362120 4381972 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 1248 520 171 433 0 785 0

[startup+0.0965789 s]
/proc/loadavg: 3.88 3.95 3.92 4/176 26811
/proc/meminfo: memFree=28205924/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164512 CPUtime=0.17 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 2109 0 0 0 17 0 0 0 20 0 3 0 275746165 168460288 2032 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41128 2032 207 433 0 40692 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164512

[startup+0.100209 s]
/proc/loadavg: 3.88 3.95 3.92 4/176 26811
/proc/meminfo: memFree=28205924/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164512 CPUtime=0.18 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 2112 0 0 0 18 0 0 0 20 0 3 0 275746165 168460288 2035 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41128 2035 207 433 0 40692 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164512

[startup+0.300082 s]
/proc/loadavg: 3.88 3.95 3.92 4/176 26811
/proc/meminfo: memFree=28205924/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164512 CPUtime=0.57 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 2805 0 0 0 57 0 0 0 20 0 3 0 275746165 168460288 2728 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41128 2728 207 433 0 40692 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164512

[startup+0.700083 s]
/proc/loadavg: 3.88 3.95 3.92 4/176 26811
/proc/meminfo: memFree=28205924/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164512 CPUtime=1.38 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 3266 0 0 0 137 1 0 0 20 0 3 0 275746165 168460288 3189 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41128 3189 207 433 0 40692 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164512

[startup+1.50029 s]
/proc/loadavg: 3.88 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28191440/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164512 CPUtime=2.98 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 5191 0 0 0 296 2 0 0 20 0 3 0 275746165 168460288 5114 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41128 5115 207 433 0 40692 0
[pid=26811/tid=26813] ppid=26809 vsize=164512 CPUtime=1.47 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 2474 0 0 0 146 1 0 0 20 0 3 0 275746166 168460288 5115 33554432000 4194304 5965102 140737477209968 139956493113336 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=164512 CPUtime=1.47 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 1508 0 0 0 147 0 0 0 20 0 3 0 275746166 168460288 5115 33554432000 4194304 5965102 140737477209968 139956482623608 4404748 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) 164512

[startup+3.1003 s]
/proc/loadavg: 3.88 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28184852/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=164800 CPUtime=6.17 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 6668 0 0 0 615 2 0 0 20 0 3 0 275746165 168755200 6591 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41200 6593 207 433 0 40764 0
[pid=26811/tid=26813] ppid=26809 vsize=164800 CPUtime=3.08 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 3282 0 0 0 306 2 0 0 20 0 3 0 275746166 168755200 6593 33554432000 4194304 5965102 140737477209968 139956493113144 5179915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=164800 CPUtime=3.07 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 2178 0 0 0 307 0 0 0 20 0 3 0 275746166 168755200 6593 33554432000 4194304 5965102 140737477209968 139956482623320 4401462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164800

[startup+6.3003 s]
/proc/loadavg: 3.89 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28168120/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=165180 CPUtime=12.58 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 9357 0 0 0 1255 3 0 0 20 0 3 0 275746165 169144320 9280 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41295 9280 207 433 0 40859 0
[pid=26811/tid=26813] ppid=26809 vsize=165180 CPUtime=6.27 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 5541 0 0 0 625 2 0 0 20 0 3 0 275746166 169144320 9280 33554432000 4194304 5965102 140737477209968 139956493113336 4401586 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=165180 CPUtime=6.27 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 2606 0 0 0 626 1 0 0 20 0 3 0 275746166 169144320 9280 33554432000 4194304 5965102 140737477209968 139956482623560 4404757 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 165180

[startup+12.7003 s]
/proc/loadavg: 3.89 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28144420/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=165484 CPUtime=25.37 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 12068 0 0 0 2533 4 0 0 20 0 3 0 275746165 169455616 11939 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41371 11939 207 433 0 40935 0
[pid=26811/tid=26813] ppid=26809 vsize=165484 CPUtime=12.67 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 7002 0 0 0 1264 3 0 0 20 0 3 0 275746166 169455616 11939 33554432000 4194304 5965102 140737477209968 139956493114296 4222320 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=165484 CPUtime=12.67 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 3856 0 0 0 1265 2 0 0 20 0 3 0 275746166 169455616 11939 33554432000 4194304 5965102 140737477209968 139956482623560 4221120 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) 165484

[startup+25.5003 s]
/proc/loadavg: 3.92 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28090232/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=166564 CPUtime=50.97 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 20425 0 0 0 5088 9 0 0 20 0 3 0 275746165 170561536 20296 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 41641 20296 207 433 0 41205 0
[pid=26811/tid=26813] ppid=26809 vsize=166564 CPUtime=25.47 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 11813 0 0 0 2542 5 0 0 20 0 3 0 275746166 170561536 20296 33554432000 4194304 5965102 140737477209968 139956493113336 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=166564 CPUtime=25.48 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 7402 0 0 0 2543 5 0 0 20 0 3 0 275746166 170561536 20296 33554432000 4194304 5965102 140737477209968 139956482623800 4404717 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) 166564

[startup+51.1003 s]
/proc/loadavg: 3.94 3.95 3.92 5/179 26814
/proc/meminfo: memFree=28038244/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=233268 CPUtime=102.15 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 30135 0 0 0 10200 15 0 0 20 0 3 0 275746165 238866432 30006 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 58317 30006 207 433 0 57881 0
[pid=26811/tid=26813] ppid=26809 vsize=233268 CPUtime=51.07 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 19153 0 0 0 5096 11 0 0 20 0 3 0 275746166 238866432 30006 33554432000 4194304 5965102 140737477209968 139956493112936 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=233268 CPUtime=51.07 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 9772 0 0 0 5101 6 0 0 20 0 3 0 275746166 238866432 30006 33554432000 4194304 5965102 140737477209968 139956482623800 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 233268

[startup+102.307 s]
/proc/loadavg: 4.02 3.97 3.93 5/179 26814
/proc/meminfo: memFree=27974816/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=234844 CPUtime=204.52 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 41638 0 0 0 20423 29 0 0 20 0 3 0 275746165 240480256 41960 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 58711 41960 207 433 0 58275 0
[pid=26811/tid=26813] ppid=26809 vsize=234844 CPUtime=102.24 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 28161 0 0 0 10201 23 0 0 20 0 3 0 275746166 240480256 41960 33554432000 4194304 5965102 140737477209968 139956493113336 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=234844 CPUtime=102.28 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 12267 0 0 0 10219 9 0 0 20 0 3 0 275746166 240480256 41960 33554432000 4194304 5965102 140737477209968 139956482623560 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 234844

[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.93 5/178 26814
/proc/meminfo: memFree=27892268/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=302760 CPUtime=324.45 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 55050 0 0 0 32397 48 0 0 20 0 3 0 275746165 310026240 55433 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 75690 55433 207 433 0 75254 0
[pid=26811/tid=26813] ppid=26809 vsize=302760 CPUtime=162.22 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 37496 0 0 0 16183 39 0 0 20 0 3 0 275746166 310026240 55433 33554432000 4194304 5965102 140737477209968 139956493113144 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=302760 CPUtime=162.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 16344 0 0 0 16210 15 0 0 20 0 3 0 275746166 310026240 55433 33554432000 4194304 5965102 140737477209968 139956482623560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 302760

[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.93 5/179 26815
/proc/meminfo: memFree=27819616/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=369652 CPUtime=444.43 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 63265 0 0 0 44384 59 0 0 20 0 3 0 275746165 378523648 64847 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 92413 64847 207 433 0 91977 0
[pid=26811/tid=26813] ppid=26809 vsize=369652 CPUtime=222.22 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 41864 0 0 0 22176 46 0 0 20 0 3 0 275746166 378523648 64847 33554432000 4194304 5965102 140737477209968 139956493113144 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=369652 CPUtime=222.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 20191 0 0 0 22204 21 0 0 20 0 3 0 275746166 378523648 64847 33554432000 4194304 5965102 140737477209968 139956482623800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 369652

[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.93 5/179 26815
/proc/meminfo: memFree=27780588/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=370988 CPUtime=564.41 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 70452 0 0 0 56368 73 0 0 20 0 3 0 275746165 379891712 72034 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 92747 72034 207 433 0 92311 0
[pid=26811/tid=26813] ppid=26809 vsize=370988 CPUtime=282.22 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 48445 0 0 0 28161 61 0 0 20 0 3 0 275746166 379891712 72034 33554432000 4194304 5965102 140737477209968 139956493113144 4401559 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=370988 CPUtime=282.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 20797 0 0 0 28203 22 0 0 20 0 3 0 275746166 379891712 72034 33554432000 4194304 5965102 140737477209968 139956482623608 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 370988

[startup+342.3 s]
/proc/loadavg: 4.08 3.99 3.93 5/179 26815
/proc/meminfo: memFree=27717304/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=440568 CPUtime=684.38 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 79041 0 0 0 68351 87 0 0 20 0 3 0 275746165 451141632 80728 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 110142 80728 207 433 0 109706 0
[pid=26811/tid=26813] ppid=26809 vsize=440568 CPUtime=342.22 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 53524 0 0 0 34151 71 0 0 20 0 3 0 275746166 451141632 80728 33554432000 4194304 5965102 140737477209968 139956493113336 4401559 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=440568 CPUtime=342.24 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 24307 0 0 0 34196 28 0 0 20 0 3 0 275746166 451141632 80728 33554432000 4194304 5965102 140737477209968 139956482623800 4380351 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 440568

[startup+402.3 s]
/proc/loadavg: 4.03 3.99 3.93 5/180 26818
/proc/meminfo: memFree=27694376/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=442608 CPUtime=804.33 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 81345 0 0 0 80342 91 0 0 20 0 3 0 275746165 453230592 83131 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 110652 83131 207 433 0 110216 0
[pid=26811/tid=26813] ppid=26809 vsize=442608 CPUtime=402.19 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 55514 0 0 0 40144 75 0 0 20 0 3 0 275746166 453230592 83131 33554432000 4194304 5965102 140737477209968 139956493113144 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=442608 CPUtime=402.24 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 24621 0 0 0 40195 29 0 0 20 0 3 0 275746166 453230592 83131 33554432000 4194304 5965102 140737477209968 139956482623560 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 442608

[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.93 5/179 26818
/proc/meminfo: memFree=27624696/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=444116 CPUtime=924.28 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 95687 0 0 0 92318 110 0 0 20 0 3 0 275746165 454774784 97541 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 111029 97541 207 433 0 110593 0
[pid=26811/tid=26813] ppid=26809 vsize=444116 CPUtime=462.18 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 62486 0 0 0 46133 85 0 0 20 0 3 0 275746166 454774784 97541 33554432000 4194304 5965102 140737477209968 139956493113144 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=444116 CPUtime=462.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 31991 0 0 0 46184 41 0 0 20 0 3 0 275746166 454774784 97541 33554432000 4194304 5965102 140737477209968 139956482623800 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 444116

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.93 5/179 26819
/proc/meminfo: memFree=27579568/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=513148 CPUtime=1044.25 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 103786 0 0 0 104302 123 0 0 20 0 3 0 275746165 525463552 105905 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 128287 105905 207 433 0 127851 0
[pid=26811/tid=26813] ppid=26809 vsize=513148 CPUtime=522.15 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 70249 0 0 0 52118 97 0 0 20 0 3 0 275746166 525463552 105905 33554432000 4194304 5965102 140737477209968 139956493112856 4222304 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=513148 CPUtime=522.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 32327 0 0 0 52183 42 0 0 20 0 3 0 275746166 525463552 105905 33554432000 4194304 5965102 140737477209968 139956482623608 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 513148

[startup+582.3 s]
/proc/loadavg: 4.04 4.00 3.94 5/179 26819
/proc/meminfo: memFree=27565412/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=514196 CPUtime=1164.22 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 104601 0 0 0 116298 124 0 0 20 0 3 0 275746165 526536704 106584 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 128549 106584 207 433 0 128113 0
[pid=26811/tid=26813] ppid=26809 vsize=514196 CPUtime=582.15 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 70875 0 0 0 58116 99 0 0 20 0 3 0 275746166 526536704 106584 33554432000 4194304 5965102 140737477209968 139956493112856 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=514196 CPUtime=582.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 32516 0 0 0 58182 43 0 0 20 0 3 0 275746166 526536704 106584 33554432000 4194304 5965102 140737477209968 139956482623848 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 514196

[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.94 5/179 26819
/proc/meminfo: memFree=27522808/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=514380 CPUtime=1284.21 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 113962 0 0 0 128279 142 0 0 20 0 3 0 275746165 526725120 115858 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 128595 115858 207 433 0 128159 0
[pid=26811/tid=26813] ppid=26809 vsize=514380 CPUtime=642.16 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 76385 0 0 0 64107 109 0 0 20 0 3 0 275746166 526725120 115858 33554432000 4194304 5965102 140737477209968 139956493113336 4401107 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=514380 CPUtime=642.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 36367 0 0 0 64172 53 0 0 20 0 3 0 275746166 526725120 115858 33554432000 4194304 5965102 140737477209968 139956482623560 4380336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.21
Current children cumulated vsize (KiB) 514380

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/179 26819
/proc/meminfo: memFree=27494412/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=516032 CPUtime=1404.18 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 118050 0 0 0 140270 148 0 0 20 0 3 0 275746165 528416768 119946 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 129008 119946 207 433 0 128572 0
[pid=26811/tid=26813] ppid=26809 vsize=516032 CPUtime=702.16 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 80249 0 0 0 70100 116 0 0 20 0 3 0 275746166 528416768 119946 33554432000 4194304 5965102 140737477209968 139956493113144 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=516032 CPUtime=702.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 36591 0 0 0 70171 54 0 0 20 0 3 0 275746166 528416768 119946 33554432000 4194304 5965102 140737477209968 139956482623560 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 516032

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.94 5/179 26819
/proc/meminfo: memFree=27438964/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=582340 CPUtime=1524.17 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 125141 0 0 0 152255 162 0 0 20 0 3 0 275746165 596316160 127169 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 145585 127169 207 433 0 145149 0
[pid=26811/tid=26813] ppid=26809 vsize=582340 CPUtime=762.16 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 87222 0 0 0 76085 131 0 0 20 0 3 0 275746166 596316160 127169 33554432000 4194304 5965102 140737477209968 139956493113336 4400972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=582340 CPUtime=762.26 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 36709 0 0 0 76171 55 0 0 20 0 3 0 275746166 596316160 127169 33554432000 4194304 5965102 140737477209968 139956482623560 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 582340

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/179 26820
/proc/meminfo: memFree=27424380/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=583156 CPUtime=1644.1 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 126702 0 0 0 164246 164 0 0 20 0 3 0 275746165 597151744 128904 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 145789 128904 207 433 0 145353 0
[pid=26811/tid=26813] ppid=26809 vsize=583156 CPUtime=822.12 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 88666 0 0 0 82078 134 0 0 20 0 3 0 275746166 597151744 128904 33554432000 4194304 5965102 140737477209968 139956493113144 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=583156 CPUtime=822.25 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 36826 0 0 0 82169 56 0 0 20 0 3 0 275746166 597151744 128904 33554432000 4194304 5965102 140737477209968 139956482623560 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 583156

[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27684052/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=649824 CPUtime=1764.07 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 135566 0 0 0 176226 181 0 0 20 0 3 0 275746165 665419776 137734 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 162456 137734 207 433 0 162020 0
[pid=26811/tid=26813] ppid=26809 vsize=649824 CPUtime=882.12 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 95539 0 0 0 88064 148 0 0 20 0 3 0 275746166 665419776 137734 33554432000 4194304 5965102 140737477209968 139956493113336 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=649824 CPUtime=882.23 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 38817 0 0 0 88163 60 0 0 20 0 3 0 275746166 665419776 137734 33554432000 4194304 5965102 140737477209968 139956482623800 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.07
Current children cumulated vsize (KiB) 649824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.02 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27651456/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=649824 CPUtime=1800.07 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 136106 0 0 0 179826 181 0 0 20 0 3 0 275746165 665419776 138274 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 162456 138274 207 433 0 162020 0
[pid=26811/tid=26813] ppid=26809 vsize=649824 CPUtime=900.12 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 96079 0 0 0 89863 149 0 0 20 0 3 0 275746166 665419776 138274 33554432000 4194304 5965102 140737477209968 139956493113144 4401536 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=649824 CPUtime=900.24 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 38817 0 0 0 89964 60 0 0 20 0 3 0 275746166 665419776 138274 33554432000 4194304 5965102 140737477209968 139956482623800 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 649824

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.02 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27651456/32873852 swapFree=6848/6848
[pid=26811] ppid=26809 vsize=649824 CPUtime=1800.07 cores=1,3,5,7
/proc/26811/stat : 26811 (pwbo2.0) S 26809 26811 23596 0 -1 4202496 136106 0 0 0 179826 181 0 0 20 0 3 0 275746165 665419776 138274 33554432000 4194304 5965102 140737477209968 140737477209488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26811/statm: 162456 138274 207 433 0 162020 0
[pid=26811/tid=26813] ppid=26809 vsize=649824 CPUtime=900.12 cores=1,3,5,7
/proc/26811/task/26813/stat : 26813 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 96079 0 0 0 89863 149 0 0 20 0 3 0 275746166 665419776 138274 33554432000 4194304 5965102 140737477209968 139956493113144 4401536 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=649824 CPUtime=900.24 cores=1,3,5,7
/proc/26811/task/26814/stat : 26814 (pwbo2.0) R 26809 26811 23596 0 -1 4202560 38817 0 0 0 89964 60 0 0 20 0 3 0 275746166 665419776 138274 33554432000 4194304 5965102 140737477209968 139956482623800 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 649824

Child status: 0
Real time (s): 900.319
CPU time (s): 1800.42
CPU user time (s): 1798.3
CPU system time (s): 2.11968
CPU usage (%): 199.976
Max. virtual memory (cumulated for all children) (KiB): 649824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 2.11968
maximum resident set size= 553104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136108
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= 484
involuntary context switches= 1889

runsolver used 2.09168 second user time and 5.2742 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-27 07:23:22
IDJOB=3704452
IDBENCH=48251
IDSOLVER=2281
FILE ID=node128/3704452-1338096202
RUNJOBID= node128-1338087754-23613
PBS_JOBID= 14624447
Free space on /tmp= 71356 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.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-3704452-1338096202/watcher-3704452-1338096202 -o /tmp/evaluation-result-3704452-1338096202/solver-3704452-1338096202 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704452-1338096202.opb

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=2030170302

node128.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		: 2666.389
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	: 5332.77
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		: 2666.389
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		: 2666.389
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	: 5438.56
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		: 2666.389
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		: 2666.389
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.91
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		: 2666.389
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.91
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		: 2666.389
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.91
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		: 2666.389
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:       32873852 kB
MemFree:        28206600 kB
Buffers:          356396 kB
Cached:          3418492 kB
SwapCached:            0 kB
Active:          1009116 kB
Inactive:        2839528 kB
Active(anon):      76148 kB
Inactive(anon):        0 kB
Active(file):     932968 kB
Inactive(file):  2839528 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11284 kB
Writeback:             0 kB
AnonPages:         64536 kB
Mapped:            15196 kB
Shmem:               204 kB
Slab:             679828 kB
SReclaimable:     122296 kB
SUnreclaim:       557532 kB
KernelStack:        1464 kB
PageTables:         3804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     160384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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-3704452-1338096202.opb

Free space on /tmp at the end= 71348 MiB
End job on node128 at 2012-05-27 07:38:25