Trace number 3712451

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pwbo 2.01MSAT (TO) 1800.5 900.342

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM8648a4908eeb88d76ecf84cd5dcb68ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.9897
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints116
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 5929
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5928
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712451-1338186906.wbo.
0.00/0.00	c Instance file HOME/instance-3712451-1338186906.wbo
0.00/0.00	c File size is 64690 bytes.
0.00/0.01	c Highest Coefficient sum: 46
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      3716                                                |
0.00/0.01	c |  Number Clauses:        90                                                  |
0.00/0.01	c |  Number Cardinality:    25                                                  |
0.00/0.01	c |  Number PB Constraints: 55                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.11/900.31	o 228
1800.11/900.31	o 198
1800.11/900.31	o 76
1800.11/900.31	o 73
1800.11/900.31	o 54
1800.11/900.31	o 31
1800.11/900.31	o 25
1800.11/900.31	o 23
1800.11/900.31	o 20
1800.11/900.31	o 16
1800.11/900.31	o 14
1800.11/900.31	o 13
1800.11/900.31	o 12
1800.11/900.31	o 11
1800.11/900.31	o 10
1800.11/900.31	o 9
1800.11/900.31	o 7
1800.11/900.31	o 6
1800.11/900.31	o 5
1800.11/900.31	c ===============================================================================
1800.11/900.31	c Wall Clock Time: 900.30 s
1800.11/900.31	c Best Solution: 5
1800.11/900.31	s SATISFIABLE
1800.11/900.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600

Verifier Data 

OK	5

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

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: 3.68 3.93 3.89 2/171 26885
/proc/meminfo: memFree=31035592/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26885/stat : 26885 (runsolver) D 26883 26885 26380 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 284816541 12095488 52 33554432000 4194304 5436572 140737444901648 140737444897944 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/26885/statm: 2953 52 31 304 0 2645 0

[startup+0.077349 s]
/proc/loadavg: 3.68 3.93 3.89 2/171 26885
/proc/meminfo: memFree=31035592/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164324 CPUtime=0.12 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 2344 0 0 0 12 0 0 0 20 0 3 0 284816541 168267776 2281 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41081 2281 198 433 0 40645 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 164324

[startup+0.100197 s]
/proc/loadavg: 3.68 3.93 3.89 2/171 26885
/proc/meminfo: memFree=31035592/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164324 CPUtime=0.17 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 2459 0 0 0 17 0 0 0 20 0 3 0 284816541 168267776 2396 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41081 2396 198 433 0 40645 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164324

[startup+0.300116 s]
/proc/loadavg: 3.68 3.93 3.89 2/171 26885
/proc/meminfo: memFree=31035592/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164324 CPUtime=0.56 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 3406 0 0 0 56 0 0 0 20 0 3 0 284816541 168267776 3343 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41081 3343 198 433 0 40645 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 164324

[startup+0.700122 s]
/proc/loadavg: 3.68 3.93 3.89 2/171 26885
/proc/meminfo: memFree=31035592/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164324 CPUtime=1.37 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 5102 0 0 0 136 1 0 0 20 0 3 0 284816541 168267776 5039 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41081 5039 198 433 0 40645 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164324

[startup+1.50019 s]
/proc/loadavg: 3.68 3.93 3.89 5/181 26904
/proc/meminfo: memFree=30988680/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164324 CPUtime=2.97 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 8205 0 0 0 295 2 0 0 20 0 3 0 284816541 168267776 8142 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41081 8142 198 433 0 40645 0
[pid=26885/tid=26887] ppid=26883 vsize=164324 CPUtime=1.47 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 3641 0 0 0 147 0 0 0 20 0 3 0 284816542 168267776 8142 33554432000 4194304 5964478 140733823251488 139845349292024 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=164324 CPUtime=1.47 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 3303 0 0 0 146 1 0 0 20 0 3 0 284816542 168267776 8142 33554432000 4194304 5964478 140733823251488 139845338802488 4388834 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164324

[startup+3.10015 s]
/proc/loadavg: 3.68 3.93 3.89 5/181 26904
/proc/meminfo: memFree=30964236/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164612 CPUtime=6.16 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 10358 0 0 0 613 3 0 0 20 0 3 0 284816541 168562688 10295 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41153 10295 198 433 0 40717 0
[pid=26885/tid=26887] ppid=26883 vsize=164612 CPUtime=3.07 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 4746 0 0 0 305 2 0 0 20 0 3 0 284816542 168562688 10295 33554432000 4194304 5964478 140733823251488 139845349292024 4382043 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=164612 CPUtime=3.07 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 4351 0 0 0 305 2 0 0 20 0 3 0 284816542 168562688 10295 33554432000 4194304 5964478 140733823251488 139845338802536 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164612

[startup+6.30027 s]
/proc/loadavg: 3.70 3.93 3.89 5/181 26904
/proc/meminfo: memFree=30937252/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164684 CPUtime=12.55 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 15161 0 0 0 1250 5 0 0 20 0 3 0 284816541 168636416 15171 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41171 15171 198 433 0 40735 0
[pid=26885/tid=26887] ppid=26883 vsize=164684 CPUtime=6.26 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 7072 0 0 0 624 2 0 0 20 0 3 0 284816542 168636416 15171 33554432000 4194304 5964478 140733823251488 139845349292072 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=164684 CPUtime=6.27 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 6828 0 0 0 623 4 0 0 20 0 3 0 284816542 168636416 15171 33554432000 4194304 5964478 140733823251488 139845338802488 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 164684

[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.89 5/181 26904
/proc/meminfo: memFree=30879576/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=164756 CPUtime=25.35 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 22525 0 0 0 2526 9 0 0 20 0 3 0 284816541 168710144 22535 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 41189 22535 198 433 0 40753 0
[pid=26885/tid=26887] ppid=26883 vsize=164756 CPUtime=12.66 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 11378 0 0 0 1262 4 0 0 20 0 3 0 284816542 168710144 22535 33554432000 4194304 5964478 140733823251488 139845349292024 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=164756 CPUtime=12.66 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 9886 0 0 0 1261 5 0 0 20 0 3 0 284816542 168710144 22535 33554432000 4194304 5964478 140733823251488 139845338802296 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 164756

[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.90 5/181 26904
/proc/meminfo: memFree=30806884/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=230508 CPUtime=50.93 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 33521 0 0 0 5081 12 0 0 20 0 3 0 284816541 236040192 33530 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 57627 33530 198 433 0 57191 0
[pid=26885/tid=26887] ppid=26883 vsize=230508 CPUtime=25.46 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 16469 0 0 0 2540 6 0 0 20 0 3 0 284816542 236040192 33530 33554432000 4194304 5964478 140733823251488 139845349291976 4382005 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=230508 CPUtime=25.45 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 15791 0 0 0 2538 7 0 0 20 0 3 0 284816542 236040192 33530 33554432000 4194304 5964478 140733823251488 139845338802488 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 230508

[startup+51.1003 s]
/proc/loadavg: 3.86 3.94 3.90 5/181 26904
/proc/meminfo: memFree=30674796/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=362168 CPUtime=102.12 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 58051 0 0 0 10191 21 0 0 20 0 3 0 284816541 370860032 58082 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 90542 58082 198 433 0 90106 0
[pid=26885/tid=26887] ppid=26883 vsize=362168 CPUtime=51.06 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 23013 0 0 0 5097 9 0 0 20 0 3 0 284816542 370860032 58082 33554432000 4194304 5964478 140733823251488 139845349292024 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=362168 CPUtime=51.05 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 33777 0 0 0 5092 13 0 0 20 0 3 0 284816542 370860032 58082 33554432000 4194304 5964478 140733823251488 139845338802488 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 362168

[startup+102.3 s]
/proc/loadavg: 3.94 3.95 3.90 5/181 26904
/proc/meminfo: memFree=30545076/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=429480 CPUtime=204.49 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 77002 0 0 0 20418 31 0 0 20 0 3 0 284816541 439787520 77011 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 107370 77011 198 433 0 106934 0
[pid=26885/tid=26887] ppid=26883 vsize=429480 CPUtime=102.24 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 40138 0 0 0 10205 19 0 0 20 0 3 0 284816542 439787520 77011 33554432000 4194304 5964478 140733823251488 139845349292024 4381977 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=429480 CPUtime=102.25 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 35603 0 0 0 10210 15 0 0 20 0 3 0 284816542 439787520 77011 33554432000 4194304 5964478 140733823251488 139845338802520 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 429480

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.91 5/181 26904
/proc/meminfo: memFree=30441244/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=430676 CPUtime=324.46 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 94053 0 0 0 32408 38 0 0 20 0 3 0 284816541 441012224 95773 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 107669 95773 198 433 0 107233 0
[pid=26885/tid=26887] ppid=26883 vsize=430676 CPUtime=162.24 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 47220 0 0 0 16200 24 0 0 20 0 3 0 284816542 441012224 95773 33554432000 4194304 5964478 140733823251488 139845349291832 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=430676 CPUtime=162.25 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 45572 0 0 0 16206 19 0 0 20 0 3 0 284816542 441012224 95773 33554432000 4194304 5964478 140733823251488 139845338802312 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 430676

[startup+222.307 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 26904
/proc/meminfo: memFree=30250812/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=629032 CPUtime=444.45 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 127640 0 0 0 44390 55 0 0 20 0 3 0 284816541 644128768 129360 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 157258 129360 198 433 0 156822 0
[pid=26885/tid=26887] ppid=26883 vsize=629032 CPUtime=222.25 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 71943 0 0 0 22187 38 0 0 20 0 3 0 284816542 644128768 129360 33554432000 4194304 5964478 140733823251488 139845349292024 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=629032 CPUtime=222.26 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 54436 0 0 0 22202 24 0 0 20 0 3 0 284816542 644128768 129360 33554432000 4194304 5964478 140733823251488 139845338802488 4388218 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 629032

[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 26905
/proc/meminfo: memFree=30167736/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=695428 CPUtime=564.42 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 146518 0 0 0 56357 85 0 0 20 0 3 0 284816541 712118272 148563 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 173857 148563 198 433 0 173421 0
[pid=26885/tid=26887] ppid=26883 vsize=695428 CPUtime=282.24 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 89416 0 0 0 28156 68 0 0 20 0 3 0 284816542 712118272 148563 33554432000 4194304 5964478 140733823251488 139845349292024 4382003 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=695428 CPUtime=282.26 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 55841 0 0 0 28200 26 0 0 20 0 3 0 284816542 712118272 148563 33554432000 4194304 5964478 140733823251488 139845338802488 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 695428

[startup+342.3 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 26908
/proc/meminfo: memFree=30129184/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=697000 CPUtime=684.38 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 156303 0 0 0 68346 92 0 0 20 0 3 0 284816541 713728000 157983 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 174250 157983 198 433 0 173814 0
[pid=26885/tid=26887] ppid=26883 vsize=697000 CPUtime=342.22 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 89460 0 0 0 34153 69 0 0 20 0 3 0 284816542 713728000 157983 33554432000 4194304 5964478 140733823251488 139845349292056 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=697000 CPUtime=342.25 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 65582 0 0 0 34191 34 0 0 20 0 3 0 284816542 713728000 157983 33554432000 4194304 5964478 140733823251488 139845338802488 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 697000

[startup+402.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 26908
/proc/meminfo: memFree=30122276/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=697644 CPUtime=804.33 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 156438 0 0 0 80341 92 0 0 20 0 3 0 284816541 714387456 158110 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 174411 158110 198 433 0 173975 0
[pid=26885/tid=26887] ppid=26883 vsize=697644 CPUtime=402.21 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 89524 0 0 0 40151 70 0 0 20 0 3 0 284816542 714387456 158110 33554432000 4194304 5964478 140733823251488 139845349292200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=697644 CPUtime=402.24 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 65653 0 0 0 40189 35 0 0 20 0 3 0 284816542 714387456 158110 33554432000 4194304 5964478 140733823251488 139845338802248 4400793 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 697644

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26908
/proc/meminfo: memFree=30072212/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=763332 CPUtime=924.27 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 159471 0 0 0 92334 93 0 0 20 0 3 0 284816541 781651968 161102 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 190833 161102 198 433 0 190397 0
[pid=26885/tid=26887] ppid=26883 vsize=763332 CPUtime=462.21 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 89528 0 0 0 46150 71 0 0 20 0 3 0 284816542 781651968 161102 33554432000 4194304 5964478 140733823251488 139845349292200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=763332 CPUtime=462.21 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 68682 0 0 0 46184 37 0 0 20 0 3 0 284816542 781651968 161102 33554432000 4194304 5964478 140733823251488 139845338802488 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 763332

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26908
/proc/meminfo: memFree=29911948/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=894908 CPUtime=1044.23 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 197629 0 0 0 104306 117 0 0 20 0 3 0 284816541 916385792 199293 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 223727 199293 198 433 0 223291 0
[pid=26885/tid=26887] ppid=26883 vsize=894908 CPUtime=522.2 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 89562 0 0 0 52149 71 0 0 20 0 3 0 284816542 916385792 199293 33554432000 4194304 5964478 140733823251488 139845349292200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=894908 CPUtime=522.2 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 106806 0 0 0 52158 62 0 0 20 0 3 0 284816542 916385792 199293 33554432000 4194304 5964478 140733823251488 139845338802488 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 894908

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26909
/proc/meminfo: memFree=29744760/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1027132 CPUtime=1164.21 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 231030 0 0 0 116263 158 0 0 20 0 3 0 284816541 1051783168 232710 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 256783 232710 198 433 0 256347 0
[pid=26885/tid=26887] ppid=26883 vsize=1027132 CPUtime=582.19 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 110767 0 0 0 58116 103 0 0 20 0 3 0 284816542 1051783168 232710 33554432000 4194304 5964478 140733823251488 139845349292024 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1027132 CPUtime=582.21 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119002 0 0 0 58150 71 0 0 20 0 3 0 284816542 1051783168 232710 33554432000 4194304 5964478 140733823251488 139845338802488 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 1027132

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26909
/proc/meminfo: memFree=29634024/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1159788 CPUtime=1284.19 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 258290 0 0 0 128234 185 0 0 20 0 3 0 284816541 1187622912 259970 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 289947 259970 198 433 0 289511 0
[pid=26885/tid=26887] ppid=26883 vsize=1159788 CPUtime=642.19 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 138027 0 0 0 64088 131 0 0 20 0 3 0 284816542 1187622912 259970 33554432000 4194304 5964478 140733823251488 139845349292024 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1159788 CPUtime=642.21 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119002 0 0 0 64149 72 0 0 20 0 3 0 284816542 1187622912 259970 33554432000 4194304 5964478 140733823251488 139845338802488 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 1159788

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26909
/proc/meminfo: memFree=29560044/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1226052 CPUtime=1404.17 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 274668 0 0 0 140214 203 0 0 20 0 3 0 284816541 1255477248 275375 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 306513 275375 198 433 0 306077 0
[pid=26885/tid=26887] ppid=26883 vsize=1226052 CPUtime=702.19 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 154399 0 0 0 70069 150 0 0 20 0 3 0 284816542 1255477248 275375 33554432000 4194304 5964478 140733823251488 139845349292024 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1226052 CPUtime=702.21 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119008 0 0 0 70147 74 0 0 20 0 3 0 284816542 1255477248 275375 33554432000 4194304 5964478 140733823251488 139845338802248 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 1226052

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26909
/proc/meminfo: memFree=29563452/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1226324 CPUtime=1524.16 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 274736 0 0 0 152213 203 0 0 20 0 3 0 284816541 1255755776 274092 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 306581 274092 198 433 0 306145 0
[pid=26885/tid=26887] ppid=26883 vsize=1226324 CPUtime=762.2 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 154401 0 0 0 76069 151 0 0 20 0 3 0 284816542 1255755776 274092 33554432000 4194304 5964478 140733823251488 139845349292024 4399936 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1226324 CPUtime=762.22 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119074 0 0 0 76147 75 0 0 20 0 3 0 284816542 1255755776 274092 33554432000 4194304 5964478 140733823251488 139845338802520 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 1226324

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 26909
/proc/meminfo: memFree=29565192/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1226324 CPUtime=1644.13 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 274757 0 0 0 164210 203 0 0 20 0 3 0 284816541 1255755776 273157 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 306581 273157 198 433 0 306145 0
[pid=26885/tid=26887] ppid=26883 vsize=1226324 CPUtime=822.2 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 154401 0 0 0 82068 152 0 0 20 0 3 0 284816542 1255755776 273157 33554432000 4194304 5964478 140733823251488 139845349292056 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1226324 CPUtime=822.22 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119095 0 0 0 82146 76 0 0 20 0 3 0 284816542 1255755776 273157 33554432000 4194304 5964478 140733823251488 139845338802520 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 1226324

[startup+882.306 s]
/proc/loadavg: 4.00 3.99 3.91 6/181 26910
/proc/meminfo: memFree=29562608/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1226324 CPUtime=1764.12 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 274784 0 0 0 176209 203 0 0 20 0 3 0 284816541 1255755776 273657 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 306581 273657 198 433 0 306145 0
[pid=26885/tid=26887] ppid=26883 vsize=1226324 CPUtime=882.2 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 154413 0 0 0 88067 153 0 0 20 0 3 0 284816542 1255755776 273657 33554432000 4194304 5964478 140733823251488 139845349292056 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1226324 CPUtime=882.22 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119110 0 0 0 88145 77 0 0 20 0 3 0 284816542 1255755776 273657 33554432000 4194304 5964478 140733823251488 139845338802520 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 1226324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 26913
/proc/meminfo: memFree=29562296/32873648 swapFree=7112/7112
[pid=26885] ppid=26883 vsize=1226324 CPUtime=1800.11 cores=0,2,4,6
/proc/26885/stat : 26885 (pwbo2.01) S 26883 26885 26380 0 -1 4202496 274809 0 0 0 179808 203 0 0 20 0 3 0 284816541 1255755776 273675 33554432000 4194304 5964478 140733823251488 140733823251008 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26885/statm: 306581 273675 198 433 0 306145 0
[pid=26885/tid=26887] ppid=26883 vsize=1226324 CPUtime=900.19 cores=0,2,4,6
/proc/26885/task/26887/stat : 26887 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 154424 0 0 0 89865 154 0 0 20 0 3 0 284816542 1255755776 273675 33554432000 4194304 5964478 140733823251488 139845349292056 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=26885/tid=26888] ppid=26883 vsize=1226324 CPUtime=900.22 cores=0,2,4,6
/proc/26885/task/26888/stat : 26888 (pwbo2.01) R 26883 26885 26380 0 -1 4202560 119124 0 0 0 89945 77 0 0 20 0 3 0 284816542 1255755776 273675 33554432000 4194304 5964478 140733823251488 139845338802520 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1226324

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

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

Child status: 0
Real time (s): 900.342
CPU time (s): 1800.5
CPU user time (s): 1798.13
CPU system time (s): 2.36164
CPU usage (%): 199.979
Max. virtual memory (cumulated for all children) (KiB): 1226324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.36164
maximum resident set size= 1101764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274810
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= 535
involuntary context switches= 1908

runsolver used 1.81272 second user time and 4.91325 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-28 08:35:06
IDJOB=3712451
IDBENCH=78675
IDSOLVER=2292
FILE ID=node126/3712451-1338186906
RUNJOBID= node126-1338182394-26396
PBS_JOBID= 14624566
Free space on /tmp= 71360 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712451-1338186906/watcher-3712451-1338186906 -o /tmp/evaluation-result-3712451-1338186906/solver-3712451-1338186906 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712451-1338186906.wbo

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

MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=575023480

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31036220 kB
Buffers:          332936 kB
Cached:           674988 kB
SwapCached:        17756 kB
Active:           758944 kB
Inactive:         270480 kB
Active(anon):       2812 kB
Inactive(anon):    20452 kB
Active(file):     756132 kB
Inactive(file):   250028 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5536 kB
Writeback:             0 kB
AnonPages:         10500 kB
Mapped:             8896 kB
Shmem:                 0 kB
Slab:             669416 kB
SReclaimable:     113752 kB
SUnreclaim:       555664 kB
KernelStack:        1448 kB
PageTables:         3656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104120 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= 71348 MiB
End job on node126 at 2012-05-28 08:50:09