Trace number 3703639

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.55 900.529

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUMb8b0df75c0f0dbb89ae9601b9070a445
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.01
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 constraints109676
Number of constraints which are clauses109676
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-3703639-1338091591.opb.
0.00/0.00	c Instance file HOME/instance-3703639-1338091591.opb
0.00/0.00	c File size is 2689847 bytes.
0.09/0.19	c Cost Offset: -1400
0.09/0.19	c Highest Coefficient sum: 3
0.09/0.19	c ============================[ Problem Statistics ]=============================
0.09/0.19	c |                                                                             |
0.09/0.19	c |  Parsing time:          0.19         s                                      |
0.09/0.19	c |  Number Variables:      1400                                                |
0.09/0.19	c |  Number Clauses:        109676                                              |
0.09/0.19	c |  Number Cardinality:    0                                                   |
0.09/0.19	c |  Number PB Constraints: 0                                                   |
0.09/0.19	c |                                                                             |
0.19/0.24	c |  Problem Type:          Optimization                                        |
0.19/0.24	c |  Objective Function:    Cardinality Constraint                              |
0.19/0.24	c |                                                                             |
0.19/0.24	c ===============================================================================
1800.15/900.51	o -39
1800.15/900.51	o -40
1800.15/900.51	o -41
1800.15/900.51	o -42
1800.15/900.51	o -43
1800.15/900.51	o -44
1800.15/900.51	o -45
1800.15/900.51	o -46
1800.15/900.51	o -47
1800.15/900.51	o -48
1800.15/900.51	o -49
1800.15/900.51	o -50
1800.15/900.51	c ===============================================================================
1800.15/900.51	c Wall Clock Time: 900.51 s
1800.15/900.51	c Best Solution: -50
1800.15/900.51	s SATISFIABLE
1800.15/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-3703639-1338091591/watcher-3703639-1338091591 -o /tmp/evaluation-result-3703639-1338091591/solver-3703639-1338091591 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703639-1338091591.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.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=7240 CPUtime=0 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 275284560 7413760 423 33554432000 4194304 5965102 140734390655504 140734390653256 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 1810 423 168 433 0 717 0

[startup+0.00764201 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=7388 CPUtime=0 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 275284560 7565312 472 33554432000 4194304 5965102 140734390655504 140734390653256 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 1847 472 174 433 0 754 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7388

[startup+0.100235 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=15880 CPUtime=0.09 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) R 20639 20641 20135 0 -1 4202496 2996 0 0 0 9 0 0 0 20 0 1 0 275284560 16261120 2882 33554432000 4194304 5965102 140734390655504 140734390653592 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 3970 2885 486 433 0 2877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15880

[startup+0.300161 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=194344 CPUtime=0.36 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 19455 0 0 0 31 5 0 0 20 0 3 0 275284560 199008256 18339 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48586 18343 201 433 0 48150 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 194344

[startup+0.700188 s]
/proc/loadavg: 3.76 3.95 3.91 3/173 20641
/proc/meminfo: memFree=28406536/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=1.17 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 22054 0 0 0 111 6 0 0 20 0 3 0 275284560 197898240 20720 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 20720 204 433 0 47879 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 193260

[startup+1.50025 s]
/proc/loadavg: 3.76 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28279248/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=2.77 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 22111 0 0 0 271 6 0 0 20 0 3 0 275284560 197898240 20777 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 20777 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=1.28 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 6998 0 0 0 125 3 0 0 20 0 3 0 275284580 197898240 20777 33554432000 4194304 5965102 140734390655504 140115842816536 4396510 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=1.29 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9061 0 0 0 126 3 0 0 20 0 3 0 275284580 197898240 20777 33554432000 4194304 5965102 140734390655504 140115832325976 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 193260

[startup+3.10026 s]
/proc/loadavg: 3.76 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28276960/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=5.96 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 25007 0 0 0 590 6 0 0 20 0 3 0 275284560 197898240 21069 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 21069 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=2.88 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9852 0 0 0 284 4 0 0 20 0 3 0 275284580 197898240 21069 33554432000 4194304 5965102 140734390655504 140115842816536 5139774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=2.89 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9103 0 0 0 286 3 0 0 20 0 3 0 275284580 197898240 21069 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 193260

[startup+6.3003 s]
/proc/loadavg: 3.78 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28270672/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=12.36 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 33977 0 0 0 1228 8 0 0 20 0 3 0 275284560 197898240 21215 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 21215 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=6.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 18728 0 0 0 602 6 0 0 20 0 3 0 275284580 197898240 21215 33554432000 4194304 5965102 140734390655504 140115842816536 4446080 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=6.09 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9197 0 0 0 606 3 0 0 20 0 3 0 275284580 197898240 21215 33554432000 4194304 5965102 140734390655504 140115832326392 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 193260

[startup+12.7002 s]
/proc/loadavg: 3.80 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28239720/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=25.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 35284 0 0 0 2506 9 0 0 20 0 3 0 275284560 197898240 22522 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 22522 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=12.48 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 19451 0 0 0 1242 6 0 0 20 0 3 0 275284580 197898240 22522 33554432000 4194304 5965102 140734390655504 140115842816456 5131557 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=12.49 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 9781 0 0 0 1245 4 0 0 20 0 3 0 275284580 197898240 22522 33554432000 4194304 5965102 140734390655504 140115832326264 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 193260

[startup+25.5003 s]
/proc/loadavg: 3.84 3.95 3.91 5/181 20677
/proc/meminfo: memFree=28151424/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=193260 CPUtime=50.74 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 51831 0 0 0 5057 17 0 0 20 0 3 0 275284560 197898240 31119 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 48315 31119 205 433 0 47879 0
[pid=20641/tid=20664] ppid=20639 vsize=193260 CPUtime=25.28 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 29710 0 0 0 2519 9 0 0 20 0 3 0 275284580 197898240 31119 33554432000 4194304 5965102 140734390655504 140115842816536 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=193260 CPUtime=25.27 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 16069 0 0 0 2518 9 0 0 20 0 3 0 275284580 197898240 31119 33554432000 4194304 5965102 140734390655504 140115832326456 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 193260

[startup+51.1004 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 20677
/proc/meminfo: memFree=28040768/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=258796 CPUtime=101.9 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 74304 0 0 0 10159 31 0 0 20 0 3 0 275284560 265007104 48099 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 64699 48099 206 433 0 64263 0
[pid=20641/tid=20664] ppid=20639 vsize=258796 CPUtime=50.86 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 38397 0 0 0 5075 11 0 0 20 0 3 0 275284580 265007104 48099 33554432000 4194304 5965102 140734390655504 140115842816408 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=258796 CPUtime=50.86 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 29855 0 0 0 5065 21 0 0 20 0 3 0 275284580 265007104 48099 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 258796

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 20677
/proc/meminfo: memFree=27764180/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=457028 CPUtime=204.27 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 115055 0 0 0 20365 62 0 0 20 0 3 0 275284560 467996672 84831 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 114257 84831 206 433 0 113821 0
[pid=20641/tid=20664] ppid=20639 vsize=457028 CPUtime=102.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 54142 0 0 0 10188 19 0 0 20 0 3 0 275284580 467996672 84831 33554432000 4194304 5965102 140734390655504 140115842816040 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=457028 CPUtime=102.04 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 54861 0 0 0 10159 45 0 0 20 0 3 0 275284580 467996672 84831 33554432000 4194304 5965102 140734390655504 140115832326456 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 457028

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 20678
/proc/meminfo: memFree=27537212/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=588100 CPUtime=324.2 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 148992 0 0 0 32319 101 0 0 20 0 3 0 275284560 602214400 119421 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 147025 119421 206 433 0 146589 0
[pid=20641/tid=20664] ppid=20639 vsize=588100 CPUtime=162.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 62763 0 0 0 16180 26 0 0 20 0 3 0 275284580 602214400 119421 33554432000 4194304 5965102 140734390655504 140115842816040 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=588100 CPUtime=162.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 80177 0 0 0 16121 80 0 0 20 0 3 0 275284580 602214400 119421 33554432000 4194304 5965102 140734390655504 140115832326456 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.2
Current children cumulated vsize (KiB) 588100

[startup+222.3 s]
/proc/loadavg: 4.07 3.99 3.92 5/182 20681
/proc/meminfo: memFree=27382000/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=719980 CPUtime=444.19 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 179317 0 0 0 44287 132 0 0 20 0 3 0 275284560 737259520 149464 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 179995 149464 206 433 0 179559 0
[pid=20641/tid=20664] ppid=20639 vsize=719980 CPUtime=222.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 69215 0 0 0 22177 30 0 0 20 0 3 0 275284580 737259520 149464 33554432000 4194304 5965102 140734390655504 140115842816952 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=719980 CPUtime=222.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 104050 0 0 0 22092 109 0 0 20 0 3 0 275284580 737259520 149464 33554432000 4194304 5965102 140734390655504 140115832326456 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.19
Current children cumulated vsize (KiB) 719980

[startup+282.3 s]
/proc/loadavg: 4.03 3.99 3.92 5/181 20681
/proc/meminfo: memFree=27188232/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=785912 CPUtime=564.17 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 203531 0 0 0 56259 158 0 0 20 0 3 0 275284560 804773888 173678 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 196478 173678 206 433 0 196042 0
[pid=20641/tid=20664] ppid=20639 vsize=785912 CPUtime=282.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 75204 0 0 0 28170 37 0 0 20 0 3 0 275284580 804773888 173678 33554432000 4194304 5965102 140734390655504 140115842815800 4401486 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=785912 CPUtime=282.01 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 122275 0 0 0 28071 130 0 0 20 0 3 0 275284580 804773888 173678 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.17
Current children cumulated vsize (KiB) 785912

[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 20681
/proc/meminfo: memFree=26974360/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=851716 CPUtime=684.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 223209 0 0 0 68236 179 0 0 20 0 3 0 275284560 872157184 193356 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 212929 193356 206 433 0 212493 0
[pid=20641/tid=20664] ppid=20639 vsize=851716 CPUtime=342.07 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 76813 0 0 0 34169 38 0 0 20 0 3 0 275284580 872157184 193356 33554432000 4194304 5965102 140734390655504 140115842815800 4401118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=851716 CPUtime=342.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140344 0 0 0 34050 152 0 0 20 0 3 0 275284580 872157184 193356 33554432000 4194304 5965102 140734390655504 140115832326216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.15
Current children cumulated vsize (KiB) 851716

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20681
/proc/meminfo: memFree=26832784/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917384 CPUtime=804.13 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 226659 0 0 0 80231 182 0 0 20 0 3 0 275284560 939401216 196801 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229346 196801 206 433 0 228910 0
[pid=20641/tid=20664] ppid=20639 vsize=917384 CPUtime=402.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 80235 0 0 0 40166 42 0 0 20 0 3 0 275284580 939401216 196801 33554432000 4194304 5965102 140734390655504 140115842815800 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917384 CPUtime=402.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140372 0 0 0 40049 153 0 0 20 0 3 0 275284580 939401216 196801 33554432000 4194304 5965102 140734390655504 140115832326216 4401129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.13
Current children cumulated vsize (KiB) 917384

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/180 20681
/proc/meminfo: memFree=26708188/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917520 CPUtime=924.11 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 232027 0 0 0 92220 191 0 0 20 0 3 0 275284560 939540480 202170 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229380 202170 206 433 0 228944 0
[pid=20641/tid=20664] ppid=20639 vsize=917520 CPUtime=462.08 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 85550 0 0 0 46157 51 0 0 20 0 3 0 275284580 939540480 202170 33554432000 4194304 5965102 140734390655504 140115842815992 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917520 CPUtime=462.02 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140425 0 0 0 46048 154 0 0 20 0 3 0 275284580 939540480 202170 33554432000 4194304 5965102 140734390655504 140115832326216 4401591 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 917520

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26594392/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=917672 CPUtime=1044.05 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 237193 0 0 0 104209 196 0 0 20 0 3 0 275284560 939696128 207874 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 229418 207875 206 433 0 228982 0
[pid=20641/tid=20664] ppid=20639 vsize=917672 CPUtime=522.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 90631 0 0 0 52149 57 0 0 20 0 3 0 275284580 939696128 207875 33554432000 4194304 5965102 140734390655504 140115842815992 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=917672 CPUtime=522 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140511 0 0 0 52046 154 0 0 20 0 3 0 275284580 939696128 207875 33554432000 4194304 5965102 140734390655504 140115832326216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.05
Current children cumulated vsize (KiB) 917672

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26530228/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=985772 CPUtime=1164.01 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 246244 0 0 0 116198 203 0 0 20 0 3 0 275284560 1009430528 216844 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 246443 216844 206 433 0 246007 0
[pid=20641/tid=20664] ppid=20639 vsize=985772 CPUtime=582.06 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 99470 0 0 0 58142 64 0 0 20 0 3 0 275284580 1009430528 216844 33554432000 4194304 5965102 140734390655504 140115842815992 4380160 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=985772 CPUtime=581.97 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140722 0 0 0 58041 156 0 0 20 0 3 0 275284580 1009430528 216844 33554432000 4194304 5965102 140734390655504 140115832326456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.01
Current children cumulated vsize (KiB) 985772

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26523660/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983476 CPUtime=1283.96 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247100 0 0 0 128193 203 0 0 20 0 3 0 275284560 1007079424 212932 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245869 212932 206 433 0 245433 0
[pid=20641/tid=20664] ppid=20639 vsize=983476 CPUtime=642.05 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100277 0 0 0 64140 65 0 0 20 0 3 0 275284580 1007079424 212932 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983476 CPUtime=641.96 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140771 0 0 0 64039 157 0 0 20 0 3 0 275284580 1007079424 212932 33554432000 4194304 5965102 140734390655504 140115832326216 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.96
Current children cumulated vsize (KiB) 983476

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20682
/proc/meminfo: memFree=26519764/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983616 CPUtime=1403.88 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247238 0 0 0 140185 203 0 0 20 0 3 0 275284560 1007222784 213024 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245904 213024 206 433 0 245468 0
[pid=20641/tid=20664] ppid=20639 vsize=983616 CPUtime=702.04 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100333 0 0 0 70138 66 0 0 20 0 3 0 275284580 1007222784 213024 33554432000 4194304 5965102 140734390655504 140115842816840 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983616 CPUtime=701.91 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140853 0 0 0 70033 158 0 0 20 0 3 0 275284580 1007222784 213024 33554432000 4194304 5965102 140734390655504 140115832326216 4389285 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.88
Current children cumulated vsize (KiB) 983616

[startup+762.307 s]
/proc/loadavg: 4.03 4.00 3.93 5/181 20682
/proc/meminfo: memFree=26506544/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=983752 CPUtime=1523.83 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 247398 0 0 0 152180 203 0 0 20 0 3 0 275284560 1007362048 213137 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 245938 213137 206 433 0 245502 0
[pid=20641/tid=20664] ppid=20639 vsize=983752 CPUtime=762.05 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100394 0 0 0 76138 67 0 0 20 0 3 0 275284580 1007362048 213137 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=983752 CPUtime=761.88 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 140952 0 0 0 76029 159 0 0 20 0 3 0 275284580 1007362048 213137 33554432000 4194304 5965102 140734390655504 140115832326216 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.83
Current children cumulated vsize (KiB) 983752

[startup+822.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/182 20686
/proc/meminfo: memFree=26429296/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1049584 CPUtime=1643.77 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 260670 0 0 0 164158 219 0 0 20 0 3 0 275284560 1074774016 226371 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 262396 226371 206 433 0 261960 0
[pid=20641/tid=20664] ppid=20639 vsize=1049584 CPUtime=822.02 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100456 0 0 0 82134 68 0 0 20 0 3 0 275284580 1074774016 226371 33554432000 4194304 5965102 140734390655504 140115842816840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1049584 CPUtime=821.86 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 154162 0 0 0 82010 176 0 0 20 0 3 0 275284580 1074774016 226371 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.77
Current children cumulated vsize (KiB) 1049584

[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26314132/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115120 CPUtime=1763.74 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 282579 0 0 0 176120 254 0 0 20 0 3 0 275284560 1141882880 248274 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278780 248274 206 433 0 278344 0
[pid=20641/tid=20664] ppid=20639 vsize=1115120 CPUtime=882.02 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100486 0 0 0 88133 69 0 0 20 0 3 0 275284580 1141882880 248274 33554432000 4194304 5965102 140734390655504 140115842816840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115120 CPUtime=881.87 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 176041 0 0 0 87975 212 0 0 20 0 3 0 275284580 1141882880 248274 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.74
Current children cumulated vsize (KiB) 1115120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26285116/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115268 CPUtime=1800.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 287941 0 0 0 179755 260 0 0 20 0 3 0 275284560 1142034432 253636 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278817 253636 206 433 0 278381 0
[pid=20641/tid=20664] ppid=20639 vsize=1115268 CPUtime=900.23 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100499 0 0 0 89954 69 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115842816840 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115268 CPUtime=900.07 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 181390 0 0 0 89789 218 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1115268

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: 4.02 4.01 3.93 5/181 20686
/proc/meminfo: memFree=26285116/32873648 swapFree=7104/7104
[pid=20641] ppid=20639 vsize=1115268 CPUtime=1800.15 cores=1,3,5,7
/proc/20641/stat : 20641 (pwbo2.0) S 20639 20641 20135 0 -1 4202496 287941 0 0 0 179755 260 0 0 20 0 3 0 275284560 1142034432 253636 33554432000 4194304 5965102 140734390655504 140734390655024 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20641/statm: 278817 253636 206 433 0 278381 0
[pid=20641/tid=20664] ppid=20639 vsize=1115268 CPUtime=900.23 cores=1,3,5,7
/proc/20641/task/20664/stat : 20664 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 100499 0 0 0 89954 69 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115842816840 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20641/tid=20665] ppid=20639 vsize=1115268 CPUtime=900.07 cores=1,3,5,7
/proc/20641/task/20665/stat : 20665 (pwbo2.0) R 20639 20641 20135 0 -1 4202560 181390 0 0 0 89789 218 0 0 20 0 3 0 275284580 1142034432 253636 33554432000 4194304 5965102 140734390655504 140115832326456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1115268

Child status: 0
Real time (s): 900.529
CPU time (s): 1800.55
CPU user time (s): 1797.63
CPU system time (s): 2.91556
CPU usage (%): 199.944
Max. virtual memory (cumulated for all children) (KiB): 1115268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.91556
maximum resident set size= 1014560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287945
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= 2144
involuntary context switches= 1866

runsolver used 1.89971 second user time and 5.06523 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-27 06:06:31
IDJOB=3703639
IDBENCH=2249
IDSOLVER=2279
FILE ID=node127/3703639-1338091591
RUNJOBID= node127-1338087073-20152
PBS_JOBID= 14624433
Free space on /tmp= 71168 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-1.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703639-1338091591/watcher-3703639-1338091591 -o /tmp/evaluation-result-3703639-1338091591/solver-3703639-1338091591 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703639-1338091591.opb

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

MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445
RANDOM SEED=1133251614

node127.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.348
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.69
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.348
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.348
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.94
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.348
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.348
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.348
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.348
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.348
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:       32873648 kB
MemFree:        28406544 kB
Buffers:          363224 kB
Cached:          3262140 kB
SwapCached:            0 kB
Active:          1093016 kB
Inactive:        2544224 kB
Active(anon):      14164 kB
Inactive(anon):        0 kB
Active(file):    1078852 kB
Inactive(file):  2544224 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8264 kB
Writeback:             0 kB
AnonPages:         18192 kB
Mapped:            14444 kB
Shmem:               200 kB
Slab:             689676 kB
SReclaimable:     134024 kB
SUnreclaim:       555652 kB
KernelStack:        1448 kB
PageTables:         4048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71164 MiB
End job on node127 at 2012-05-27 06:21:34