Trace number 3728618

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.01 900.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MD5SUM7dae57beceb3170ed40c9307fdc88b85
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.791879
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints69
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 3856
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3855
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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-3728618-1338671410.wbo.
0.00/0.00	c Instance file HOME/instance-3728618-1338671410.wbo
0.00/0.00	c File size is 48678 bytes.
0.00/0.00	c Highest Coefficient sum: 56
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      2819                                                |
0.00/0.00	c |  Number Clauses:        55                                                  |
0.00/0.00	c |  Number Cardinality:    17                                                  |
0.00/0.00	c |  Number PB Constraints: 33                                                  |
0.00/0.00	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 258
1800.01/900.31	o 247
1800.01/900.31	o 238
1800.01/900.31	o 217
1800.01/900.31	o 73
1800.01/900.31	o 56
1800.01/900.31	o 37
1800.01/900.31	o 36
1800.01/900.31	o 35
1800.01/900.31	o 21
1800.01/900.31	o 10
1800.01/900.31	o 2
1800.01/900.31	o 1
1800.01/900.31	c ===============================================================================
1800.01/900.31	c Wall Clock Time: 900.31 s
1800.01/900.31	c Best Solution: 1
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

Verifier Data 

OK	1

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-3728618-1338671410/watcher-3728618-1338671410 -o /tmp/evaluation-result-3728618-1338671410/solver-3728618-1338671410 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728618-1338671410.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: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=5284 CPUtime=0 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) R 32093 32095 31325 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 333265898 5410816 568 33554432000 4194304 5964478 140733716545536 140736182872280 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 1321 568 168 433 0 873 0

[startup+0.040419 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.06 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 1903 0 0 0 6 0 0 0 20 0 3 0 333265898 167845888 1842 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 1842 198 433 0 40542 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 163912

[startup+0.100166 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.17 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 2171 0 0 0 17 0 0 0 20 0 3 0 333265898 167845888 2110 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 2110 198 433 0 40542 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163912

[startup+0.300109 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.58 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 3046 0 0 0 56 2 0 0 20 0 3 0 333265898 167845888 2985 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 2985 198 433 0 40542 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163912

[startup+0.700109 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=1.38 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 4605 0 0 0 134 4 0 0 20 0 3 0 333265898 167845888 4544 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 4544 198 433 0 40542 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163912

[startup+1.50028 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27363612/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=2.98 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 7431 0 0 0 289 9 0 0 20 0 3 0 333265898 167845888 7370 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 7370 198 433 0 40542 0
[pid=32095/tid=32097] ppid=32093 vsize=163912 CPUtime=1.47 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 3321 0 0 0 141 6 0 0 20 0 3 0 333265899 167845888 7370 33554432000 4194304 5964478 140733716545536 140305114109944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=163912 CPUtime=1.47 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 2969 0 0 0 145 2 0 0 20 0 3 0 333265899 167845888 7370 33554432000 4194304 5964478 140733716545536 140305103620456 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163912

[startup+3.10031 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27332488/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164200 CPUtime=6.17 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 11358 0 0 0 607 10 0 0 20 0 3 0 333265898 168140800 11297 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41050 11297 198 433 0 40614 0
[pid=32095/tid=32097] ppid=32093 vsize=164200 CPUtime=3.07 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5195 0 0 0 300 7 0 0 20 0 3 0 333265899 168140800 11297 33554432000 4194304 5964478 140733716545536 140305114109944 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164200 CPUtime=3.07 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5022 0 0 0 304 3 0 0 20 0 3 0 333265899 168140800 11297 33554432000 4194304 5964478 140733716545536 140305103620408 4381802 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164200

[startup+6.30024 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27305952/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164200 CPUtime=12.56 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 13244 0 0 0 1246 10 0 0 20 0 3 0 333265898 168140800 13183 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41050 13183 198 433 0 40614 0
[pid=32095/tid=32097] ppid=32093 vsize=164200 CPUtime=6.26 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 6358 0 0 0 619 7 0 0 20 0 3 0 333265899 168140800 13183 33554432000 4194304 5964478 140733716545536 140305114109944 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164200 CPUtime=6.26 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5745 0 0 0 623 3 0 0 20 0 3 0 333265899 168140800 13183 33554432000 4194304 5964478 140733716545536 140305103620408 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164200

[startup+12.7003 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27234584/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164344 CPUtime=25.36 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 21547 0 0 0 2523 13 0 0 20 0 3 0 333265898 168288256 21486 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41086 21486 198 433 0 40650 0
[pid=32095/tid=32097] ppid=32093 vsize=164344 CPUtime=12.64 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 10770 0 0 0 1256 8 0 0 20 0 3 0 333265899 168288256 21486 33554432000 4194304 5964478 140733716545536 140305114109944 4381692 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164344 CPUtime=12.64 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 9636 0 0 0 1260 4 0 0 20 0 3 0 333265899 168288256 21486 33554432000 4194304 5964478 140733716545536 140305103620408 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164344

[startup+25.5003 s]
/proc/loadavg: 4.00 3.97 3.68 5/182 32112
/proc/meminfo: memFree=27119444/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=230096 CPUtime=50.94 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 37199 0 0 0 5074 20 0 0 20 0 3 0 333265898 235618304 37484 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 57524 37484 198 433 0 57088 0
[pid=32095/tid=32097] ppid=32093 vsize=230096 CPUtime=25.39 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 19736 0 0 0 2527 12 0 0 20 0 3 0 333265899 235618304 37484 33554432000 4194304 5964478 140733716545536 140305114109944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=230096 CPUtime=25.4 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 16322 0 0 0 2533 7 0 0 20 0 3 0 333265899 235618304 37484 33554432000 4194304 5964478 140733716545536 140305103620408 4400446 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 230096

[startup+51.1003 s]
/proc/loadavg: 4.00 3.97 3.68 5/181 32112
/proc/meminfo: memFree=26990204/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=296220 CPUtime=102.11 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 54072 0 0 0 10183 28 0 0 20 0 3 0 333265898 303329280 54355 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 74055 54355 198 433 0 73619 0
[pid=32095/tid=32097] ppid=32093 vsize=296220 CPUtime=50.91 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 27280 0 0 0 5075 16 0 0 20 0 3 0 333265899 303329280 54355 33554432000 4194304 5964478 140733716545536 140305114109752 4382008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=296220 CPUtime=50.93 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 25651 0 0 0 5082 11 0 0 20 0 3 0 333265899 303329280 54355 33554432000 4194304 5964478 140733716545536 140305103620168 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 296220

[startup+102.306 s]
/proc/loadavg: 4.00 3.97 3.70 5/181 32112
/proc/meminfo: memFree=26831488/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=362368 CPUtime=204.47 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 70725 0 0 0 20411 36 0 0 20 0 3 0 333265898 371064832 70991 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 90592 70991 198 433 0 90156 0
[pid=32095/tid=32097] ppid=32093 vsize=362368 CPUtime=101.98 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 37037 0 0 0 10176 22 0 0 20 0 3 0 333265899 371064832 70991 33554432000 4194304 5964478 140733716545536 140305114109944 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=362368 CPUtime=101.98 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 32547 0 0 0 10183 15 0 0 20 0 3 0 333265899 371064832 70991 33554432000 4194304 5964478 140733716545536 140305103620168 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 362368

[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.72 5/181 32112
/proc/meminfo: memFree=26576280/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=494144 CPUtime=324.44 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 102788 0 0 0 32391 53 0 0 20 0 3 0 333265898 506003456 104739 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 123536 104739 198 433 0 123100 0
[pid=32095/tid=32097] ppid=32093 vsize=494144 CPUtime=161.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 59987 0 0 0 16147 35 0 0 20 0 3 0 333265899 506003456 104739 33554432000 4194304 5964478 140733716545536 140305114109944 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=494144 CPUtime=161.82 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 41660 0 0 0 16160 22 0 0 20 0 3 0 333265899 506003456 104739 33554432000 4194304 5964478 140733716545536 140305103620408 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 494144

[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.73 5/181 32112
/proc/meminfo: memFree=26449952/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=559680 CPUtime=444.42 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 116522 0 0 0 44382 60 0 0 20 0 3 0 333265898 573112320 118473 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 139920 118473 198 433 0 139484 0
[pid=32095/tid=32097] ppid=32093 vsize=559680 CPUtime=221.66 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 64481 0 0 0 22128 38 0 0 20 0 3 0 333265899 573112320 118473 33554432000 4194304 5964478 140733716545536 140305114109944 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=559680 CPUtime=221.66 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 50900 0 0 0 22138 28 0 0 20 0 3 0 333265899 573112320 118473 33554432000 4194304 5964478 140733716545536 140305103620408 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 559680

[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.74 5/181 32113
/proc/meminfo: memFree=26312960/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=626588 CPUtime=564.4 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 135580 0 0 0 56357 83 0 0 20 0 3 0 333265898 641626112 137531 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 156647 137531 198 433 0 156211 0
[pid=32095/tid=32097] ppid=32093 vsize=626588 CPUtime=281.51 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 81768 0 0 0 28091 60 0 0 20 0 3 0 333265899 641626112 137531 33554432000 4194304 5964478 140733716545536 140305114109944 4221232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=626588 CPUtime=281.51 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 52671 0 0 0 28121 30 0 0 20 0 3 0 333265899 641626112 137531 33554432000 4194304 5964478 140733716545536 140305103620168 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 626588

[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.76 5/181 32113
/proc/meminfo: memFree=26280252/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=626884 CPUtime=684.39 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 142286 0 0 0 68344 95 0 0 20 0 3 0 333265898 641929216 144237 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 156721 144237 198 433 0 156285 0

################
# More data... #
################

[pid=32095/tid=32098] ppid=32093 vsize=626884 CPUtime=341.36 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 59364 0 0 0 34094 42 0 0 20 0 3 0 333265899 641929216 144237 33554432000 4194304 5964478 140733716545536 140305103620408 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 626884

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.77 5/181 32113
/proc/meminfo: memFree=25952396/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=824500 CPUtime=804.35 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 177280 0 0 0 80296 139 0 0 20 0 3 0 333265898 844288000 179038 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 206125 179038 198 433 0 205689 0
[pid=32095/tid=32097] ppid=32093 vsize=824500 CPUtime=401.2 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 87297 0 0 0 40049 71 0 0 20 0 3 0 333265899 844288000 179038 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=824500 CPUtime=401.19 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88842 0 0 0 40040 79 0 0 20 0 3 0 333265899 844288000 179038 33554432000 4194304 5964478 140733716545536 140305103620408 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 824500

[startup+462.3 s]
/proc/loadavg: 4.03 3.99 3.78 5/181 32113
/proc/meminfo: memFree=25817328/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891068 CPUtime=924.29 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196244 0 0 0 92265 164 0 0 20 0 3 0 333265898 912453632 198008 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222767 198008 198 433 0 222331 0
[pid=32095/tid=32097] ppid=32093 vsize=891068 CPUtime=461.02 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106179 0 0 0 46006 96 0 0 20 0 3 0 333265899 912453632 198008 33554432000 4194304 5964478 140733716545536 140305114109944 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891068 CPUtime=461.02 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88924 0 0 0 46023 79 0 0 20 0 3 0 333265899 912453632 198008 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 891068

[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.80 5/181 32113
/proc/meminfo: memFree=25817420/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891228 CPUtime=1044.24 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196324 0 0 0 104260 164 0 0 20 0 3 0 333265898 912617472 197877 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222807 197877 198 433 0 222371 0
[pid=32095/tid=32097] ppid=32093 vsize=891228 CPUtime=520.84 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106209 0 0 0 51987 97 0 0 20 0 3 0 333265899 912617472 197877 33554432000 4194304 5964478 140733716545536 140305114109976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891228 CPUtime=520.86 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88974 0 0 0 52006 80 0 0 20 0 3 0 333265899 912617472 197877 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 891228

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/181 32114
/proc/meminfo: memFree=25819124/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891228 CPUtime=1164.2 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196384 0 0 0 116256 164 0 0 20 0 3 0 333265898 912617472 197412 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222807 197412 198 433 0 222371 0
[pid=32095/tid=32097] ppid=32093 vsize=891228 CPUtime=580.67 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106236 0 0 0 57969 98 0 0 20 0 3 0 333265899 912617472 197412 33554432000 4194304 5964478 140733716545536 140305114109976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891228 CPUtime=580.7 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 89007 0 0 0 57989 81 0 0 20 0 3 0 333265899 912617472 197412 33554432000 4194304 5964478 140733716545536 140305103620168 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 891228

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/182 32117
/proc/meminfo: memFree=25705188/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=892364 CPUtime=1284.14 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 203594 0 0 0 128242 172 0 0 20 0 3 0 333265898 913780736 204681 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 223091 204681 198 433 0 222655 0
[pid=32095/tid=32097] ppid=32093 vsize=892364 CPUtime=640.49 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106279 0 0 0 63950 99 0 0 20 0 3 0 333265899 913780736 204681 33554432000 4194304 5964478 140733716545536 140305114109976 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=892364 CPUtime=640.54 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 96174 0 0 0 63963 91 0 0 20 0 3 0 333265899 913780736 204681 33554432000 4194304 5964478 140733716545536 140305103620408 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.14
Current children cumulated vsize (KiB) 892364

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 32117
/proc/meminfo: memFree=25520024/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1404.09 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221393 0 0 0 140216 193 0 0 20 0 3 0 333265898 981848064 222492 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222492 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=700.33 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 69924 109 0 0 20 0 3 0 333265899 981848064 222492 33554432000 4194304 5964478 140733716545536 140305114109944 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=700.37 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106141 0 0 0 69934 103 0 0 20 0 3 0 333265899 981848064 222492 33554432000 4194304 5964478 140733716545536 140305103620456 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 958836

[startup+762.306 s]
/proc/loadavg: 4.06 4.00 3.84 5/181 32117
/proc/meminfo: memFree=25519280/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1524.05 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221426 0 0 0 152212 193 0 0 20 0 3 0 333265898 981848064 222559 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222559 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=760.18 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 75908 110 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305114109944 4400528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=760.2 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106174 0 0 0 75916 104 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305103620456 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.05
Current children cumulated vsize (KiB) 958836

[startup+822.3 s]
/proc/loadavg: 4.02 4.00 3.84 5/181 32117
/proc/meminfo: memFree=25519576/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1644.02 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221426 0 0 0 164209 193 0 0 20 0 3 0 333265898 981848064 222559 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222559 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=820.02 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 81891 111 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305114109944 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=820.04 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106174 0 0 0 81899 105 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305103620456 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 958836

[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519728/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958972 CPUtime=1764 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221471 0 0 0 176207 193 0 0 20 0 3 0 333265898 981987328 222349 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239743 222349 198 433 0 239307 0
[pid=32095/tid=32097] ppid=32093 vsize=958972 CPUtime=879.86 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 87874 112 0 0 20 0 3 0 333265899 981987328 222349 33554432000 4194304 5964478 140733716545536 140305114109944 4381993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958972 CPUtime=879.88 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106213 0 0 0 87882 106 0 0 20 0 3 0 333265899 981987328 222349 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 958972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519448/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=959436 CPUtime=1800.01 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221583 0 0 0 179808 193 0 0 20 0 3 0 333265898 982462464 222461 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239859 222461 198 433 0 239423 0
[pid=32095/tid=32097] ppid=32093 vsize=959436 CPUtime=897.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 89670 112 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=959436 CPUtime=897.84 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106325 0 0 0 89678 106 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305103620168 4381702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 959436

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 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519448/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=959436 CPUtime=1800.01 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221583 0 0 0 179808 193 0 0 20 0 3 0 333265898 982462464 222461 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239859 222461 198 433 0 239423 0
[pid=32095/tid=32097] ppid=32093 vsize=959436 CPUtime=897.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 89670 112 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=959436 CPUtime=897.84 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106325 0 0 0 89678 106 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305103620168 4381702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 959436

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32095 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=511344
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=222662
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.33
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 959436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.51
system time used= 2.22266
maximum resident set size= 890320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221584
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= 1012
involuntary context switches= 1846

runsolver used 1.70974 second user time and 4.84726 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-02 23:10:10
IDJOB=3728618
IDBENCH=78719
IDSOLVER=2316
FILE ID=node140/3728618-1338671410
RUNJOBID= node140-1338669605-31877
PBS_JOBID= 14636482
Free space on /tmp= 70624 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--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-3728618-1338671410/watcher-3728618-1338671410 -o /tmp/evaluation-result-3728618-1338671410/solver-3728618-1338671410 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728618-1338671410.wbo

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

MD5SUM BENCH= 7dae57beceb3170ed40c9307fdc88b85
RANDOM SEED=592516753

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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.91
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		: 2667.094
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		: 2667.094
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		: 2667.094
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.88
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		: 2667.094
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		: 2667.094
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:        27413044 kB
Buffers:          396196 kB
Cached:          4166672 kB
SwapCached:         1664 kB
Active:          1226600 kB
Inactive:        3346272 kB
Active(anon):       2648 kB
Inactive(anon):     9416 kB
Active(file):    1223952 kB
Inactive(file):  3336856 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              5544 kB
Writeback:             0 kB
AnonPages:         14368 kB
Mapped:            10060 kB
Shmem:                 8 kB
Slab:             747720 kB
SReclaimable:     189724 kB
SUnreclaim:       557996 kB
KernelStack:        1464 kB
PageTables:         3744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 70616 MiB
End job on node140 at 2012-06-02 23:25:13