Trace number 3703642

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)-50 1800.45 900.565

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	-50

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-3703642-1338091515/watcher-3703642-1338091515 -o /tmp/evaluation-result-3703642-1338091515/solver-3703642-1338091515 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703642-1338091515.opb 

running on 4 cores: 0,2,4,6

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.02 4.00 3.92 4/180 17338
/proc/meminfo: memFree=29779732/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=7104 CPUtime=0 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) R 17336 17338 15889 0 -1 4202496 452 0 0 0 0 0 0 0 20 0 1 0 275276310 7274496 404 33554432000 4194304 5965102 140733982971040 140737037293464 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 1776 404 166 433 0 682 0

[startup+0.01972 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17338
/proc/meminfo: memFree=29779732/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=8244 CPUtime=0.01 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) R 17336 17338 15889 0 -1 4202496 757 0 0 0 1 0 0 0 20 0 1 0 275276310 8441856 709 33554432000 4194304 5965102 140733982971040 140737037293464 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 2061 709 204 433 0 967 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8244

[startup+0.100193 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17338
/proc/meminfo: memFree=29779732/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=15352 CPUtime=0.09 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) R 17336 17338 15889 0 -1 4202496 2817 0 0 0 9 0 0 0 20 0 1 0 275276310 15720448 2703 33554432000 4194304 5965102 140733982971040 140737037293464 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 3838 2704 462 433 0 2744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15352

[startup+0.300164 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17338
/proc/meminfo: memFree=29779732/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=190436 CPUtime=0.33 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 18368 0 0 0 28 5 0 0 20 0 3 0 275276310 195006464 17466 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 47609 17466 197 433 0 47173 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 190436

[startup+0.700172 s]
/proc/loadavg: 4.02 4.00 3.92 4/180 17338
/proc/meminfo: memFree=29779732/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=1.11 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 21996 0 0 0 105 6 0 0 20 0 3 0 275276310 197894144 20661 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 20661 204 433 0 47878 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 193256

[startup+1.50033 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29695604/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=2.72 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 22105 0 0 0 265 7 0 0 20 0 3 0 275276310 197894144 20770 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 20770 205 433 0 47878 0
[pid=17338/tid=17340] ppid=17336 vsize=193256 CPUtime=1.27 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 7001 0 0 0 125 2 0 0 20 0 3 0 275276331 197894144 20770 33554432000 4194304 5965102 140733982971040 140470550493720 5134539 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=193256 CPUtime=1.27 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 9052 0 0 0 122 5 0 0 20 0 3 0 275276331 197894144 20770 33554432000 4194304 5965102 140733982971040 140470540003576 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 193256

[startup+3.10034 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29691636/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=5.91 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 26653 0 0 0 583 8 0 0 20 0 3 0 275276310 197894144 21040 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 21040 205 433 0 47878 0
[pid=17338/tid=17340] ppid=17336 vsize=193256 CPUtime=2.87 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 11506 0 0 0 283 4 0 0 20 0 3 0 275276331 197894144 21040 33554432000 4194304 5965102 140733982971040 140470550493720 5134852 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=193256 CPUtime=2.87 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 9095 0 0 0 282 5 0 0 20 0 3 0 275276331 197894144 21040 33554432000 4194304 5965102 140733982971040 140470540003640 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 193256

[startup+6.30034 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29683576/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=12.31 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 34928 0 0 0 1221 10 0 0 20 0 3 0 275276310 197894144 21224 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 21224 205 433 0 47878 0
[pid=17338/tid=17340] ppid=17336 vsize=193256 CPUtime=6.07 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 19677 0 0 0 601 6 0 0 20 0 3 0 275276331 197894144 21224 33554432000 4194304 5965102 140733982971040 140470550493592 5139855 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=193256 CPUtime=6.07 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 9199 0 0 0 602 5 0 0 20 0 3 0 275276331 197894144 21224 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 193256

[startup+12.7003 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29666348/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=25.1 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 36059 0 0 0 2500 10 0 0 20 0 3 0 275276310 197894144 22355 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 22355 205 433 0 47878 0
[pid=17338/tid=17340] ppid=17336 vsize=193256 CPUtime=12.47 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 20354 0 0 0 1241 6 0 0 20 0 3 0 275276331 197894144 22355 33554432000 4194304 5965102 140733982971040 140470550493640 5139791 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=193256 CPUtime=12.47 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 9653 0 0 0 1242 5 0 0 20 0 3 0 275276331 197894144 22355 33554432000 4194304 5965102 140733982971040 140470540003640 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 193256

[startup+25.5003 s]
/proc/loadavg: 4.01 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29612888/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=193256 CPUtime=50.7 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 49172 0 0 0 5054 16 0 0 20 0 3 0 275276310 197894144 30748 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 48314 30748 205 433 0 47878 0
[pid=17338/tid=17340] ppid=17336 vsize=193256 CPUtime=25.27 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 27094 0 0 0 2519 8 0 0 20 0 3 0 275276331 197894144 30748 33554432000 4194304 5965102 140733982971040 140470550493496 4420624 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=193256 CPUtime=25.27 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 16026 0 0 0 2518 9 0 0 20 0 3 0 275276331 197894144 30748 33554432000 4194304 5965102 140733982971040 140470540003640 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 193256

[startup+51.1003 s]
/proc/loadavg: 4.01 4.00 3.92 5/183 17341
/proc/meminfo: memFree=29497024/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=258792 CPUtime=101.9 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 90991 0 0 0 10157 33 0 0 20 0 3 0 275276310 265003008 48153 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 64698 48153 206 433 0 64262 0
[pid=17338/tid=17340] ppid=17336 vsize=258792 CPUtime=50.87 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 54585 0 0 0 5072 15 0 0 20 0 3 0 275276331 265003008 48153 33554432000 4194304 5965102 140733982971040 140470550493592 5143165 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=258792 CPUtime=50.87 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 30354 0 0 0 5068 19 0 0 20 0 3 0 275276331 265003008 48153 33554432000 4194304 5965102 140733982971040 140470540003640 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 258792

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 17342
/proc/meminfo: memFree=29289492/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=391488 CPUtime=204.29 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 125296 0 0 0 20380 49 0 0 20 0 3 0 275276310 400883712 78496 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 97872 78496 206 433 0 97436 0
[pid=17338/tid=17340] ppid=17336 vsize=391488 CPUtime=102.07 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 68827 0 0 0 10187 20 0 0 20 0 3 0 275276331 400883712 78496 33554432000 4194304 5965102 140733982971040 140470550493720 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=391488 CPUtime=102.08 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 50417 0 0 0 10176 32 0 0 20 0 3 0 275276331 400883712 78496 33554432000 4194304 5965102 140733982971040 140470540003784 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.29
Current children cumulated vsize (KiB) 391488

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 17342
/proc/meminfo: memFree=29183376/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=457024 CPUtime=324.26 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 140474 0 0 0 32365 61 0 0 20 0 3 0 275276310 467992576 93674 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 114256 93674 206 433 0 113820 0
[pid=17338/tid=17340] ppid=17336 vsize=457024 CPUtime=162.06 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 75171 0 0 0 16180 26 0 0 20 0 3 0 275276331 467992576 93674 33554432000 4194304 5965102 140733982971040 140470550493224 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=457024 CPUtime=162.07 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 59251 0 0 0 16168 39 0 0 20 0 3 0 275276331 467992576 93674 33554432000 4194304 5965102 140733982971040 140470540003640 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.26
Current children cumulated vsize (KiB) 457024

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 17342
/proc/meminfo: memFree=29019600/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=589720 CPUtime=444.24 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 171957 0 0 0 44341 83 0 0 20 0 3 0 275276310 603873280 125155 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 147430 125155 206 433 0 146994 0
[pid=17338/tid=17340] ppid=17336 vsize=589720 CPUtime=222.06 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 81653 0 0 0 22174 32 0 0 20 0 3 0 275276331 603873280 125155 33554432000 4194304 5965102 140733982971040 140470550492984 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=589720 CPUtime=222.07 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 84252 0 0 0 22149 58 0 0 20 0 3 0 275276331 603873280 125155 33554432000 4194304 5965102 140733982971040 140470540003640 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.24
Current children cumulated vsize (KiB) 589720

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 17342
/proc/meminfo: memFree=28859684/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=720792 CPUtime=564.2 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 197392 0 0 0 56320 100 0 0 20 0 3 0 275276310 738091008 151507 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 180198 151507 206 433 0 179762 0
[pid=17338/tid=17340] ppid=17336 vsize=720792 CPUtime=282.05 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 86735 0 0 0 28168 37 0 0 20 0 3 0 275276331 738091008 151507 33554432000 4194304 5965102 140733982971040 140470550492984 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=720792 CPUtime=282.07 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 104605 0 0 0 28135 72 0 0 20 0 3 0 275276331 738091008 151507 33554432000 4194304 5965102 140733982971040 140470540003640 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.2
Current children cumulated vsize (KiB) 720792

[startup+342.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/184 17345
/proc/meminfo: memFree=28692924/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=785776 CPUtime=684.14 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 220415 0 0 0 68297 117 0 0 20 0 3 0 275276310 804634624 174487 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 196444 174487 206 433 0 196008 0
[pid=17338/tid=17340] ppid=17336 vsize=785776 CPUtime=342.04 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 87264 0 0 0 34166 38 0 0 20 0 3 0 275276331 804634624 174487 33554432000 4194304 5965102 140733982971040 140470550494136 5136466 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=785776 CPUtime=342.02 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 127099 0 0 0 34113 89 0 0 20 0 3 0 275276331 804634624 174487 33554432000 4194304 5965102 140733982971040 140470540003640 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.14
Current children cumulated vsize (KiB) 785776

[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/183 17346
/proc/meminfo: memFree=28593768/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=851596 CPUtime=804.06 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 242821 0 0 0 80274 132 0 0 20 0 3 0 275276310 872034304 193329 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 212899 193329 206 433 0 212463 0
[pid=17338/tid=17340] ppid=17336 vsize=851596 CPUtime=402.04 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 87668 0 0 0 40165 39 0 0 20 0 3 0 275276331 872034304 193329 33554432000 4194304 5965102 140733982971040 140470550493720 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=851596 CPUtime=401.97 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 149101 0 0 0 40092 105 0 0 20 0 3 0 275276331 872034304 193329 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.06
Current children cumulated vsize (KiB) 851596

[startup+462.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/183 17346
/proc/meminfo: memFree=28476608/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=983072 CPUtime=923.98 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 263437 0 0 0 92250 148 0 0 20 0 3 0 275276310 1006665728 215944 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 245768 215944 206 433 0 245332 0
[pid=17338/tid=17340] ppid=17336 vsize=983072 CPUtime=462.02 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 88429 0 0 0 46161 41 0 0 20 0 3 0 275276331 1006665728 215944 33554432000 4194304 5965102 140733982971040 140470550493720 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=983072 CPUtime=461.93 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 168956 0 0 0 46072 121 0 0 20 0 3 0 275276331 1006665728 215944 33554432000 4194304 5965102 140733982971040 140470540003640 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 923.98
Current children cumulated vsize (KiB) 983072

[startup+522.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/183 17346
/proc/meminfo: memFree=28385372/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1048908 CPUtime=1043.9 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 282153 0 0 0 104225 165 0 0 20 0 3 0 275276310 1074081792 234613 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 262227 234613 206 433 0 261791 0
[pid=17338/tid=17340] ppid=17336 vsize=1048908 CPUtime=522 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 89504 0 0 0 52158 42 0 0 20 0 3 0 275276331 1074081792 234613 33554432000 4194304 5965102 140733982971040 140470550492984 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1048908 CPUtime=521.89 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 186597 0 0 0 52051 138 0 0 20 0 3 0 275276331 1074081792 234613 33554432000 4194304 5965102 140733982971040 140470540003640 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1043.9
Current children cumulated vsize (KiB) 1048908

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17346
/proc/meminfo: memFree=28278264/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1181612 CPUtime=1163.84 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 306337 0 0 0 116198 186 0 0 20 0 3 0 275276310 1209970688 258908 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 295403 258908 206 433 0 294967 0
[pid=17338/tid=17340] ppid=17336 vsize=1181612 CPUtime=581.99 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 97786 0 0 0 58148 51 0 0 20 0 3 0 275276331 1209970688 258908 33554432000 4194304 5965102 140733982971040 140470550493224 4401824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1181612 CPUtime=581.86 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 202499 0 0 0 58035 151 0 0 20 0 3 0 275276331 1209970688 258908 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1163.84
Current children cumulated vsize (KiB) 1181612

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17346
/proc/meminfo: memFree=28164628/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1249712 CPUtime=1283.8 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 333215 0 0 0 128175 205 0 0 20 0 3 0 275276310 1279705088 286266 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 312428 286266 206 433 0 311992 0
[pid=17338/tid=17340] ppid=17336 vsize=1249712 CPUtime=641.97 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 103101 0 0 0 64140 57 0 0 20 0 3 0 275276331 1279705088 286266 33554432000 4194304 5965102 140733982971040 140470550492984 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1249712 CPUtime=641.86 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 224062 0 0 0 64019 167 0 0 20 0 3 0 275276331 1279705088 286266 33554432000 4194304 5965102 140733982971040 140470540003640 4401109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1283.8
Current children cumulated vsize (KiB) 1249712

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17347
/proc/meminfo: memFree=28085544/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1315520 CPUtime=1403.77 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 352483 0 0 0 140158 219 0 0 20 0 3 0 275276310 1347092480 305521 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 328880 305521 206 433 0 328444 0
[pid=17338/tid=17340] ppid=17336 vsize=1315520 CPUtime=701.96 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 105044 0 0 0 70138 58 0 0 20 0 3 0 275276331 1347092480 305521 33554432000 4194304 5965102 140733982971040 140470550492984 4401046 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1315520 CPUtime=701.86 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 241387 0 0 0 70005 181 0 0 20 0 3 0 275276331 1347092480 305521 33554432000 4194304 5965102 140733982971040 140470540003640 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.77
Current children cumulated vsize (KiB) 1315520

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17347
/proc/meminfo: memFree=28010124/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1381192 CPUtime=1523.77 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 370929 0 0 0 152142 235 0 0 20 0 3 0 275276310 1414340608 323964 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 345298 323964 206 433 0 344862 0
[pid=17338/tid=17340] ppid=17336 vsize=1381192 CPUtime=761.97 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 106647 0 0 0 76137 60 0 0 20 0 3 0 275276331 1414340608 323964 33554432000 4194304 5965102 140733982971040 140470550493048 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1381192 CPUtime=761.87 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 258230 0 0 0 75990 197 0 0 20 0 3 0 275276331 1414340608 323964 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.77
Current children cumulated vsize (KiB) 1381192

[startup+822.3 s]
/proc/loadavg: 3.93 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28579524/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1447204 CPUtime=1643.72 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 386004 0 0 0 164125 247 0 0 20 0 3 0 275276310 1481936896 339054 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 361801 339054 206 433 0 361365 0
[pid=17338/tid=17340] ppid=17336 vsize=1447204 CPUtime=821.96 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 107269 0 0 0 82135 61 0 0 20 0 3 0 275276331 1481936896 339054 33554432000 4194304 5965102 140733982971040 140470550492984 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1447204 CPUtime=821.84 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 272683 0 0 0 81974 210 0 0 20 0 3 0 275276331 1481936896 339054 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.72
Current children cumulated vsize (KiB) 1447204

[startup+882.3 s]
/proc/loadavg: 3.97 3.98 3.93 5/183 17388
/proc/meminfo: memFree=28345440/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1512740 CPUtime=1763.64 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 405087 0 0 0 176101 263 0 0 20 0 3 0 275276310 1549045760 358170 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 378185 358170 206 433 0 377749 0
[pid=17338/tid=17340] ppid=17336 vsize=1512740 CPUtime=881.96 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 109267 0 0 0 88132 64 0 0 20 0 3 0 275276331 1549045760 358170 33554432000 4194304 5965102 140733982971040 140470550493176 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1512740 CPUtime=881.79 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 289768 0 0 0 87953 226 0 0 20 0 3 0 275276331 1549045760 358170 33554432000 4194304 5965102 140733982971040 140470540003640 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.64
Current children cumulated vsize (KiB) 1512740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 3.98 3.98 3.93 5/184 17391
/proc/meminfo: memFree=28268768/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1512872 CPUtime=1800.04 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 411438 0 0 0 179735 269 0 0 20 0 3 0 275276310 1549180928 364506 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 378218 364506 206 433 0 377782 0
[pid=17338/tid=17340] ppid=17336 vsize=1512872 CPUtime=900.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 111044 0 0 0 89951 65 0 0 20 0 3 0 275276331 1549180928 364506 33554432000 4194304 5965102 140733982971040 140470550493176 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1512872 CPUtime=899.99 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 294342 0 0 0 89769 230 0 0 20 0 3 0 275276331 1549180928 364506 33554432000 4194304 5965102 140733982971040 140470540003640 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1512872

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

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

[startup+900.5 s]
/proc/loadavg: 3.98 3.98 3.93 5/184 17391
/proc/meminfo: memFree=28268768/32873844 swapFree=7372/7372
[pid=17338] ppid=17336 vsize=1512872 CPUtime=1800.04 cores=0,2,4,6
/proc/17338/stat : 17338 (pwbo2.0) S 17336 17338 15889 0 -1 4202496 411438 0 0 0 179735 269 0 0 20 0 3 0 275276310 1549180928 364506 33554432000 4194304 5965102 140733982971040 140733982970560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 378218 364506 206 433 0 377782 0
[pid=17338/tid=17340] ppid=17336 vsize=1512872 CPUtime=900.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 111044 0 0 0 89951 65 0 0 20 0 3 0 275276331 1549180928 364506 33554432000 4194304 5965102 140733982971040 140470550493176 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17338/tid=17341] ppid=17336 vsize=1512872 CPUtime=899.99 cores=0,2,4,6
/proc/17338/task/17341/stat : 17341 (pwbo2.0) R 17336 17338 15889 0 -1 4202560 294342 0 0 0 89769 230 0 0 20 0 3 0 275276331 1549180928 364506 33554432000 4194304 5965102 140733982971040 140470540003640 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1512872

Child status: 0
Real time (s): 900.565
CPU time (s): 1800.45
CPU user time (s): 1797.42
CPU system time (s): 3.02854
CPU usage (%): 199.925
Max. virtual memory (cumulated for all children) (KiB): 1512872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.42
system time used= 3.02854
maximum resident set size= 1458040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411442
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= 2127
involuntary context switches= 1868

runsolver used 1.9917 second user time and 4.94425 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-27 06:05:15
IDJOB=3703642
IDBENCH=2247
IDSOLVER=2279
FILE ID=node133/3703642-1338091515
RUNJOBID= node133-1338084137-15905
PBS_JOBID= 14624424
Free space on /tmp= 71720 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703642-1338091515/watcher-3703642-1338091515 -o /tmp/evaluation-result-3703642-1338091515/solver-3703642-1338091515 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703642-1338091515.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=1537024270

node133.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.540
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	: 5333.08
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.540
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.92
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.540
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.92
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.540
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.540
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.540
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.90
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.540
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.540
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:        29779708 kB
Buffers:          317292 kB
Cached:          1671308 kB
SwapCached:          104 kB
Active:           830624 kB
Inactive:        1438420 kB
Active(anon):     271628 kB
Inactive(anon):    11368 kB
Active(file):     558996 kB
Inactive(file):  1427052 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              8256 kB
Writeback:             0 kB
AnonPages:        287636 kB
Mapped:            14804 kB
Shmem:               212 kB
Slab:             684400 kB
SReclaimable:     126660 kB
SUnreclaim:       557740 kB
KernelStack:        1496 kB
PageTables:         4264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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

Free space on /tmp at the end= 71712 MiB
End job on node133 at 2012-05-27 06:20:18