Trace number 3728535

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.02MSAT (TO) 1800.44 900.352

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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728535-1338669974.wbo.
0.00/0.00	c Instance file HOME/instance-3728535-1338669974.wbo
0.00/0.00	c File size is 64690 bytes.
0.00/0.00	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.01/900.31	o 228
1800.01/900.31	o 198
1800.01/900.31	o 76
1800.01/900.31	o 73
1800.01/900.31	o 54
1800.01/900.31	o 31
1800.01/900.31	o 25
1800.01/900.31	o 23
1800.01/900.31	o 20
1800.01/900.31	o 16
1800.01/900.31	o 14
1800.01/900.31	o 13
1800.01/900.31	o 12
1800.01/900.31	o 11
1800.01/900.31	o 10
1800.01/900.31	o 9
1800.01/900.31	o 7
1800.01/900.31	o 6
1800.01/900.31	o 5
1800.01/900.31	c ===============================================================================
1800.01/900.31	c Wall Clock Time: 900.31 s
1800.01/900.31	c Best Solution: 5
1800.01/900.31	s SATISFIABLE
1800.01/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-3728535-1338669974/watcher-3728535-1338669974 -o /tmp/evaluation-result-3728535-1338669974/solver-3728535-1338669974 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728535-1338669974.wbo 

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: 1.87 1.98 1.99 4/177 6174
/proc/meminfo: memFree=28921692/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=5476 CPUtime=0 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) R 6172 6174 5745 0 -1 4202496 666 0 0 0 0 0 0 0 20 0 1 0 333122214 5607424 618 33554432000 4194304 5964478 140735155811968 140735517509256 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 1369 619 168 433 0 917 0

[startup+0.0527811 s]
/proc/loadavg: 1.87 1.98 1.99 4/177 6174
/proc/meminfo: memFree=28921692/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164324 CPUtime=0.08 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 2183 0 0 0 8 0 0 0 20 0 3 0 333122214 168267776 2117 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41081 2117 198 433 0 40645 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 164324

[startup+0.100188 s]
/proc/loadavg: 1.87 1.98 1.99 4/177 6174
/proc/meminfo: memFree=28921692/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164324 CPUtime=0.17 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 2416 0 0 0 17 0 0 0 20 0 3 0 333122214 168267776 2350 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41081 2350 198 433 0 40645 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164324

[startup+0.300119 s]
/proc/loadavg: 1.87 1.98 1.99 4/177 6174
/proc/meminfo: memFree=28921692/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164324 CPUtime=0.58 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 3276 0 0 0 56 2 0 0 20 0 3 0 333122214 168267776 3210 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41081 3210 198 433 0 40645 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164324

[startup+0.70013 s]
/proc/loadavg: 1.87 1.98 1.99 4/177 6174
/proc/meminfo: memFree=28921692/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164324 CPUtime=1.37 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 4946 0 0 0 133 4 0 0 20 0 3 0 333122214 168267776 4880 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41081 4880 198 433 0 40645 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164324

[startup+1.50028 s]
/proc/loadavg: 1.87 1.98 1.99 6/183 6180
/proc/meminfo: memFree=28884576/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164324 CPUtime=2.97 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 7953 0 0 0 287 10 0 0 20 0 3 0 333122214 168267776 7887 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41081 7887 198 433 0 40645 0
[pid=6174/tid=6179] ppid=6172 vsize=164324 CPUtime=1.47 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 3525 0 0 0 145 2 0 0 20 0 3 0 333122215 168267776 7887 33554432000 4194304 5964478 140735155811968 140294390642680 4392863 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=164324 CPUtime=1.47 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 3167 0 0 0 139 8 0 0 20 0 3 0 333122215 168267776 7887 33554432000 4194304 5964478 140735155811968 140294380152952 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164324

[startup+3.10024 s]
/proc/loadavg: 1.87 1.98 1.99 6/183 6180
/proc/meminfo: memFree=28860644/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164612 CPUtime=6.17 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 10223 0 0 0 604 13 0 0 20 0 3 0 333122214 168562688 10157 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41153 10157 198 433 0 40717 0
[pid=6174/tid=6179] ppid=6172 vsize=164612 CPUtime=3.08 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 4744 0 0 0 305 3 0 0 20 0 3 0 333122215 168562688 10157 33554432000 4194304 5964478 140735155811968 140294390642680 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=164612 CPUtime=3.07 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 4218 0 0 0 296 11 0 0 20 0 3 0 333122215 168562688 10157 33554432000 4194304 5964478 140735155811968 140294380153192 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164612

[startup+6.3003 s]
/proc/loadavg: 2.04 2.01 2.00 6/183 6180
/proc/meminfo: memFree=28836092/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164684 CPUtime=12.56 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 14964 0 0 0 1238 18 0 0 20 0 3 0 333122214 168636416 14898 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41171 14898 198 433 0 40735 0
[pid=6174/tid=6179] ppid=6172 vsize=164684 CPUtime=6.27 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 6879 0 0 0 624 3 0 0 20 0 3 0 333122215 168636416 14898 33554432000 4194304 5964478 140735155811968 140294390642680 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=164684 CPUtime=6.27 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 6824 0 0 0 611 16 0 0 20 0 3 0 333122215 168636416 14898 33554432000 4194304 5964478 140735155811968 140294380153192 4382045 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164684

[startup+12.7003 s]
/proc/loadavg: 2.20 2.04 2.01 6/183 6180
/proc/meminfo: memFree=28777116/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=164756 CPUtime=25.36 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 22346 0 0 0 2515 21 0 0 20 0 3 0 333122214 168710144 22280 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 41189 22280 198 433 0 40753 0
[pid=6174/tid=6179] ppid=6172 vsize=164756 CPUtime=12.68 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 11198 0 0 0 1263 5 0 0 20 0 3 0 333122215 168710144 22280 33554432000 4194304 5964478 140735155811968 140294390642680 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=164756 CPUtime=12.67 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 9887 0 0 0 1249 18 0 0 20 0 3 0 333122215 168710144 22280 33554432000 4194304 5964478 140735155811968 140294380152952 4382019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164756

[startup+25.5003 s]
/proc/loadavg: 2.60 2.14 2.04 6/183 6180
/proc/meminfo: memFree=28703460/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=230508 CPUtime=50.96 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 32841 0 0 0 5070 26 0 0 20 0 3 0 333122214 236040192 32775 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 57627 32776 198 433 0 57191 0
[pid=6174/tid=6179] ppid=6172 vsize=230508 CPUtime=25.47 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 16466 0 0 0 2540 7 0 0 20 0 3 0 333122215 236040192 32776 33554432000 4194304 5964478 140735155811968 140294390642632 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=230508 CPUtime=25.47 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 15115 0 0 0 2527 20 0 0 20 0 3 0 333122215 236040192 32776 33554432000 4194304 5964478 140735155811968 140294380153144 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 230508

[startup+51.1003 s]
/proc/loadavg: 3.07 2.29 2.09 6/183 6180
/proc/meminfo: memFree=28578048/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=296632 CPUtime=102.14 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 55762 0 0 0 10180 34 0 0 20 0 3 0 333122214 303751168 55696 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 74158 55697 198 433 0 73722 0
[pid=6174/tid=6179] ppid=6172 vsize=296632 CPUtime=51.06 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 22617 0 0 0 5096 10 0 0 20 0 3 0 333122215 303751168 55697 33554432000 4194304 5964478 140735155811968 140294390642680 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=296632 CPUtime=51.08 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 31885 0 0 0 5083 25 0 0 20 0 3 0 333122215 303751168 55697 33554432000 4194304 5964478 140735155811968 140294380153144 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 296632

[startup+102.307 s]
/proc/loadavg: 3.66 2.57 2.20 6/183 6180
/proc/meminfo: memFree=28439728/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=429480 CPUtime=204.54 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 75539 0 0 0 20408 46 0 0 20 0 3 0 333122214 439787520 75649 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 107370 75649 198 433 0 106934 0
[pid=6174/tid=6179] ppid=6172 vsize=429480 CPUtime=102.27 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 38695 0 0 0 10207 20 0 0 20 0 3 0 333122215 439787520 75649 33554432000 4194304 5964478 140735155811968 140294390642680 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=429480 CPUtime=102.28 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 35583 0 0 0 10199 29 0 0 20 0 3 0 333122215 439787520 75649 33554432000 4194304 5964478 140735155811968 140294380153176 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 429480

[startup+162.3 s]
/proc/loadavg: 3.87 2.82 2.31 6/183 6181
/proc/meminfo: memFree=28335540/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=430240 CPUtime=324.48 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 93954 0 0 0 32386 62 0 0 20 0 3 0 333122214 440565760 94192 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 107560 94192 198 433 0 107124 0
[pid=6174/tid=6179] ppid=6172 vsize=430240 CPUtime=162.24 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 47219 0 0 0 16198 26 0 0 20 0 3 0 333122215 440565760 94192 33554432000 4194304 5964478 140735155811968 140294390642488 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=430240 CPUtime=162.28 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 45474 0 0 0 16186 42 0 0 20 0 3 0 333122215 440565760 94192 33554432000 4194304 5964478 140735155811968 140294380153144 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 430240

[startup+222.3 s]
/proc/loadavg: 3.95 3.04 2.41 6/183 6181
/proc/meminfo: memFree=28172136/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=629032 CPUtime=444.42 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 122020 0 0 0 44359 83 0 0 20 0 3 0 333122214 644128768 122235 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 157258 122235 198 433 0 156822 0
[pid=6174/tid=6179] ppid=6172 vsize=629032 CPUtime=222.23 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 66318 0 0 0 22187 36 0 0 20 0 3 0 333122215 644128768 122235 33554432000 4194304 5964478 140735155811968 140294390642680 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=629032 CPUtime=222.25 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 54441 0 0 0 22170 55 0 0 20 0 3 0 333122215 644128768 122235 33554432000 4194304 5964478 140735155811968 140294380153144 4382029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 629032

[startup+282.3 s]
/proc/loadavg: 3.98 3.21 2.50 6/184 6184
/proc/meminfo: memFree=28071468/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=695428 CPUtime=564.35 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 146600 0 0 0 56335 100 0 0 20 0 3 0 333122214 712118272 146789 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 173857 146789 198 433 0 173421 0
[pid=6174/tid=6179] ppid=6172 vsize=695428 CPUtime=282.2 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 89442 0 0 0 28168 52 0 0 20 0 3 0 333122215 712118272 146789 33554432000 4194304 5964478 140735155811968 140294390642680 4382029 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=695428 CPUtime=282.23 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 55897 0 0 0 28166 57 0 0 20 0 3 0 333122215 712118272 146789 33554432000 4194304 5964478 140735155811968 140294380153144 4391357 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.35
Current children cumulated vsize (KiB) 695428

[startup+342.3 s]
/proc/loadavg: 3.99 3.35 2.60 6/183 6184
/proc/meminfo: memFree=28044808/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=696208 CPUtime=684.32 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 151991 0 0 0 68324 108 0 0 20 0 3 0 333122214 712916992 152920 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 174052 152920 198 433 0 173616 0
[pid=6174/tid=6179] ppid=6172 vsize=696208 CPUtime=342.19 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 89470 0 0 0 34166 53 0 0 20 0 3 0 333122215 712916992 152920 33554432000 4194304 5964478 140735155811968 140294390642712 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=696208 CPUtime=342.23 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 61260 0 0 0 34157 66 0 0 20 0 3 0 333122215 712916992 152920 33554432000 4194304 5964478 140735155811968 140294380153144 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 696208

[startup+402.3 s]
/proc/loadavg: 3.99 3.47 2.68 6/183 6184
/proc/meminfo: memFree=28014392/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=697508 CPUtime=804.3 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 156428 0 0 0 80318 112 0 0 20 0 3 0 333122214 714248192 157357 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 174377 157357 198 433 0 173941 0
[pid=6174/tid=6179] ppid=6172 vsize=697508 CPUtime=402.19 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 89511 0 0 0 40165 54 0 0 20 0 3 0 333122215 714248192 157357 33554432000 4194304 5964478 140735155811968 140294390642856 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=697508 CPUtime=402.23 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 65656 0 0 0 40152 71 0 0 20 0 3 0 333122215 714248192 157357 33554432000 4194304 5964478 140735155811968 140294380152904 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 697508

[startup+462.3 s]
/proc/loadavg: 3.99 3.56 2.76 6/183 6185
/proc/meminfo: memFree=27976224/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=697644 CPUtime=924.28 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 156457 0 0 0 92316 112 0 0 20 0 3 0 333122214 714387456 157358 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 174411 157358 198 433 0 173975 0
[pid=6174/tid=6179] ppid=6172 vsize=697644 CPUtime=462.2 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 89512 0 0 0 46165 55 0 0 20 0 3 0 333122215 714387456 157358 33554432000 4194304 5964478 140735155811968 140294390642856 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=697644 CPUtime=462.24 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 65684 0 0 0 46152 72 0 0 20 0 3 0 333122215 714387456 157358 33554432000 4194304 5964478 140735155811968 140294380153176 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 697644

[startup+522.3 s]
/proc/loadavg: 3.99 3.64 2.84 6/183 6185
/proc/meminfo: memFree=27866108/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=829012 CPUtime=1044.24 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 183232 0 0 0 104290 134 0 0 20 0 3 0 333122214 848908288 184325 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 207253 184325 198 433 0 206817 0
[pid=6174/tid=6179] ppid=6172 vsize=829012 CPUtime=522.18 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 89537 0 0 0 52163 55 0 0 20 0 3 0 333122215 848908288 184325 33554432000 4194304 5964478 140735155811968 140294390642856 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=829012 CPUtime=522.23 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 92434 0 0 0 52129 94 0 0 20 0 3 0 333122215 848908288 184325 33554432000 4194304 5964478 140735155811968 140294380152952 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 829012

[startup+582.3 s]
/proc/loadavg: 3.99 3.70 2.91 6/183 6185
/proc/meminfo: memFree=27728128/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=960804 CPUtime=1164.17 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 209511 0 0 0 116261 156 0 0 20 0 3 0 333122214 983863296 210872 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 240201 210872 198 433 0 239765 0
[pid=6174/tid=6179] ppid=6172 vsize=960804 CPUtime=582.15 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 90221 0 0 0 58158 57 0 0 20 0 3 0 333122215 983863296 210872 33554432000 4194304 5964478 140735155811968 140294390642680 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=960804 CPUtime=582.22 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 118029 0 0 0 58106 116 0 0 20 0 3 0 333122215 983863296 210872 33554432000 4194304 5964478 140735155811968 140294380153144 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.17
Current children cumulated vsize (KiB) 960804

[startup+642.3 s]
/proc/loadavg: 4.06 3.77 2.98 6/183 6185
/proc/meminfo: memFree=27584820/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1093208 CPUtime=1284.11 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 244295 0 0 0 128230 181 0 0 20 0 3 0 333122214 1119444992 245698 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 273302 245698 198 433 0 272866 0
[pid=6174/tid=6179] ppid=6172 vsize=1093208 CPUtime=642.15 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 124003 0 0 0 64132 83 0 0 20 0 3 0 333122215 1119444992 245698 33554432000 4194304 5964478 140735155811968 140294390642680 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1093208 CPUtime=642.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119031 0 0 0 64101 118 0 0 20 0 3 0 333122215 1119444992 245698 33554432000 4194304 5964478 140735155811968 140294380153144 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.11
Current children cumulated vsize (KiB) 1093208

[startup+702.3 s]
/proc/loadavg: 4.02 3.81 3.04 6/183 6185
/proc/meminfo: memFree=27498912/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1159788 CPUtime=1404.06 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 263397 0 0 0 140204 202 0 0 20 0 3 0 333122214 1187622912 264833 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 289947 264833 198 433 0 289511 0
[pid=6174/tid=6179] ppid=6172 vsize=1159788 CPUtime=702.13 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 143092 0 0 0 70109 104 0 0 20 0 3 0 333122215 1187622912 264833 33554432000 4194304 5964478 140735155811968 140294390642680 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1159788 CPUtime=702.18 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119044 0 0 0 70099 119 0 0 20 0 3 0 333122215 1187622912 264833 33554432000 4194304 5964478 140735155811968 140294380153144 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.06
Current children cumulated vsize (KiB) 1159788

[startup+762.307 s]
/proc/loadavg: 4.01 3.84 3.10 6/183 6186
/proc/meminfo: memFree=27454084/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1226052 CPUtime=1524.05 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 274481 0 0 0 152192 213 0 0 20 0 3 0 333122214 1255477248 274944 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 306513 274944 198 433 0 306077 0
[pid=6174/tid=6179] ppid=6172 vsize=1226052 CPUtime=762.14 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 154150 0 0 0 76097 117 0 0 20 0 3 0 333122215 1255477248 274944 33554432000 4194304 5964478 140735155811968 140294390642680 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1226052 CPUtime=762.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119070 0 0 0 76099 120 0 0 20 0 3 0 333122215 1255477248 274944 33554432000 4194304 5964478 140735155811968 140294380152904 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.05
Current children cumulated vsize (KiB) 1226052

[startup+822.3 s]
/proc/loadavg: 4.00 3.87 3.15 6/183 6186
/proc/meminfo: memFree=27462144/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1226324 CPUtime=1644.02 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 274527 0 0 0 164189 213 0 0 20 0 3 0 333122214 1255755776 272683 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 306581 272683 198 433 0 306145 0
[pid=6174/tid=6179] ppid=6172 vsize=1226324 CPUtime=822.14 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 154150 0 0 0 82096 118 0 0 20 0 3 0 333122215 1255755776 272683 33554432000 4194304 5964478 140735155811968 140294390642712 4382029 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1226324 CPUtime=822.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119116 0 0 0 82098 121 0 0 20 0 3 0 333122215 1255755776 272683 33554432000 4194304 5964478 140735155811968 140294380153176 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 1226324

[startup+882.3 s]
/proc/loadavg: 4.00 3.89 3.20 6/184 6189
/proc/meminfo: memFree=27461072/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1226324 CPUtime=1764 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 274548 0 0 0 176187 213 0 0 20 0 3 0 333122214 1255755776 272704 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 306581 272704 198 433 0 306145 0
[pid=6174/tid=6179] ppid=6172 vsize=1226324 CPUtime=882.14 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 154150 0 0 0 88095 119 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294390642712 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1226324 CPUtime=882.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119137 0 0 0 88097 122 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294380153176 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 1226324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.21 6/184 6212
/proc/meminfo: memFree=27454928/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1226324 CPUtime=1800.01 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 274548 0 0 0 179788 213 0 0 20 0 3 0 333122214 1255755776 272704 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 306581 272704 198 433 0 306145 0
[pid=6174/tid=6179] ppid=6172 vsize=1226324 CPUtime=900.15 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 154150 0 0 0 89896 119 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294390642712 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1226324 CPUtime=900.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119137 0 0 0 89897 122 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294380153176 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.21 6/184 6212
/proc/meminfo: memFree=27454928/32873844 swapFree=7380/7380
[pid=6174] ppid=6172 vsize=1226324 CPUtime=1800.01 cores=1,3,5,7
/proc/6174/stat : 6174 (pwbo2.02) S 6172 6174 5745 0 -1 4202496 274548 0 0 0 179788 213 0 0 20 0 3 0 333122214 1255755776 272704 33554432000 4194304 5964478 140735155811968 140735155811488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6174/statm: 306581 272704 198 433 0 306145 0
[pid=6174/tid=6179] ppid=6172 vsize=1226324 CPUtime=900.15 cores=1,3,5,7
/proc/6174/task/6179/stat : 6179 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 154150 0 0 0 89896 119 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294390642712 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6174/tid=6180] ppid=6172 vsize=1226324 CPUtime=900.19 cores=1,3,5,7
/proc/6174/task/6180/stat : 6180 (pwbo2.02) R 6172 6174 5745 0 -1 4202560 119137 0 0 0 89897 122 0 0 20 0 3 0 333122215 1255755776 272704 33554432000 4194304 5964478 140735155811968 140294380153176 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1226324

Child status: 0
Real time (s): 900.352
CPU time (s): 1800.44
CPU user time (s): 1797.96
CPU system time (s): 2.47162
CPU usage (%): 199.97
Max. virtual memory (cumulated for all children) (KiB): 1226324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.96
system time used= 2.47162
maximum resident set size= 1099956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274550
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= 659
involuntary context switches= 2278

runsolver used 1.87172 second user time and 5.44317 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-02 22:46:14
IDJOB=3728535
IDBENCH=78675
IDSOLVER=2316
FILE ID=node133/3728535-1338669974
RUNJOBID= node133-1338669974-6148
PBS_JOBID= 14636490
Free space on /tmp= 70480 MiB

SOLVER NAME= pwbo 2.02
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.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728535-1338669974/watcher-3728535-1338669974 -o /tmp/evaluation-result-3728535-1338669974/solver-3728535-1338669974 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728535-1338669974.wbo

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

MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=1374928167

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28926300 kB
Buffers:          365568 kB
Cached:          2699052 kB
SwapCached:          676 kB
Active:          1338864 kB
Inactive:        1736604 kB
Active(anon):       2184 kB
Inactive(anon):    10240 kB
Active(file):    1336680 kB
Inactive(file):  1726364 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             10880 kB
Writeback:             0 kB
AnonPages:         16680 kB
Mapped:             9592 kB
Shmem:                 0 kB
Slab:             732968 kB
SReclaimable:     174608 kB
SUnreclaim:       558360 kB
KernelStack:        1392 kB
PageTables:         4296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     106192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node133 at 2012-06-02 23:01:17