Trace number 3726792

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.02SAT (TO)24 1800.08 900.324

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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 opb file format. File HOME/instance-3726792-1338654670.opb.
0.00/0.00	c Instance file HOME/instance-3726792-1338654670.opb
0.00/0.00	c File size is 188288 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 24
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      2728                                                |
0.00/0.01	c |  Number Clauses:        2728                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 2528                                                |
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.08/900.31	o 199
1800.08/900.31	o 34
1800.08/900.31	o 33
1800.08/900.31	o 32
1800.08/900.31	o 31
1800.08/900.31	o 30
1800.08/900.31	o 27
1800.08/900.31	o 26
1800.08/900.31	o 25
1800.08/900.31	o 24
1800.08/900.31	c ===============================================================================
1800.08/900.31	c Wall Clock Time: 900.31 s
1800.08/900.31	c Best Solution: 24
1800.08/900.31	s SATISFIABLE
1800.08/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

Verifier Data 

OK	24

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 4.00 3.83 4/178 24637
/proc/meminfo: memFree=29203772/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=5580 CPUtime=0 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) R 24635 24637 21194 0 -1 4202496 648 0 0 0 0 0 0 0 20 0 1 0 331595578 5713920 600 33554432000 4194304 5964478 140736149631472 140736720939992 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 1395 601 172 433 0 913 0

[startup+0.0450249 s]
/proc/loadavg: 4.00 4.00 3.83 4/178 24637
/proc/meminfo: memFree=29203772/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=0.05 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 3037 0 0 0 5 0 0 0 20 0 3 0 331595578 170049536 2943 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 2943 203 433 0 41080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 166064

[startup+0.100252 s]
/proc/loadavg: 4.00 4.00 3.83 4/178 24637
/proc/meminfo: memFree=29203772/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=0.16 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 3187 0 0 0 16 0 0 0 20 0 3 0 331595578 170049536 3093 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 3093 205 433 0 41080 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 166064

[startup+0.300171 s]
/proc/loadavg: 4.00 4.00 3.83 4/178 24637
/proc/meminfo: memFree=29203772/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=0.56 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 3497 0 0 0 56 0 0 0 20 0 3 0 331595578 170049536 3403 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 3403 205 433 0 41080 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 166064

[startup+0.700166 s]
/proc/loadavg: 4.00 4.00 3.83 4/178 24637
/proc/meminfo: memFree=29203772/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=1.37 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 4046 0 0 0 136 1 0 0 20 0 3 0 331595578 170049536 3952 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 3952 205 433 0 41080 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 166064

[startup+1.50036 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29186396/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=2.97 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 5402 0 0 0 294 3 0 0 20 0 3 0 331595578 170049536 5308 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 5308 205 433 0 41080 0
[pid=24637/tid=24639] ppid=24635 vsize=166064 CPUtime=1.46 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 2178 0 0 0 144 2 0 0 20 0 3 0 331595579 170049536 5308 33554432000 4194304 5964478 140736149631472 140723800254456 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=166064 CPUtime=1.46 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 1706 0 0 0 146 0 0 0 20 0 3 0 331595579 170049536 5308 33554432000 4194304 5964478 140736149631472 140723789764968 4400542 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) 166064

[startup+3.10036 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29178956/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166064 CPUtime=6.16 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 7015 0 0 0 612 4 0 0 20 0 3 0 331595578 170049536 6921 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41516 6921 205 433 0 41080 0
[pid=24637/tid=24639] ppid=24635 vsize=166064 CPUtime=3.05 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 3342 0 0 0 302 3 0 0 20 0 3 0 331595579 170049536 6921 33554432000 4194304 5964478 140736149631472 140723800254456 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=166064 CPUtime=3.06 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 2155 0 0 0 305 1 0 0 20 0 3 0 331595579 170049536 6921 33554432000 4194304 5964478 140736149631472 140723789764968 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 166064

[startup+6.30038 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29164464/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166424 CPUtime=12.56 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 9461 0 0 0 1251 5 0 0 20 0 3 0 331595578 170418176 9367 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41606 9367 205 433 0 41170 0
[pid=24637/tid=24639] ppid=24635 vsize=166424 CPUtime=6.24 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 4505 0 0 0 621 3 0 0 20 0 3 0 331595579 170418176 9367 33554432000 4194304 5964478 140736149631472 140723800254264 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=166424 CPUtime=6.25 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 3438 0 0 0 624 1 0 0 20 0 3 0 331595579 170418176 9367 33554432000 4194304 5964478 140736149631472 140723789764920 4222320 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) 166424

[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29144460/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166496 CPUtime=25.36 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 12886 0 0 0 2529 7 0 0 20 0 3 0 331595578 170491904 12792 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41624 12792 205 433 0 41188 0
[pid=24637/tid=24639] ppid=24635 vsize=166496 CPUtime=12.62 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 6324 0 0 0 1258 4 0 0 20 0 3 0 331595579 170491904 12792 33554432000 4194304 5964478 140736149631472 140723800254504 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=166496 CPUtime=12.63 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 5044 0 0 0 1260 3 0 0 20 0 3 0 331595579 170491904 12792 33554432000 4194304 5964478 140736149631472 140723789764920 4400519 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) 166496

[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29103780/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=166520 CPUtime=50.95 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 19990 0 0 0 5083 12 0 0 20 0 3 0 331595578 170516480 19791 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41630 19791 205 433 0 41194 0
[pid=24637/tid=24639] ppid=24635 vsize=166520 CPUtime=25.39 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 10785 0 0 0 2533 6 0 0 20 0 3 0 331595579 170516480 19791 33554432000 4194304 5964478 140736149631472 140723800255416 4403540 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=166520 CPUtime=25.4 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 7687 0 0 0 2534 6 0 0 20 0 3 0 331595579 170516480 19791 33554432000 4194304 5964478 140736149631472 140723789764920 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 166520

[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 24640
/proc/meminfo: memFree=29053884/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=167080 CPUtime=102.15 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 26891 0 0 0 10196 19 0 0 20 0 3 0 331595578 171089920 26692 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 41770 26692 205 433 0 41334 0
[pid=24637/tid=24639] ppid=24635 vsize=167080 CPUtime=50.93 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 12075 0 0 0 5086 7 0 0 20 0 3 0 331595579 171089920 26692 33554432000 4194304 5964478 140736149631472 140723800254264 4392851 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=167080 CPUtime=50.93 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 13298 0 0 0 5082 11 0 0 20 0 3 0 331595579 171089920 26692 33554432000 4194304 5964478 140736149631472 140723789764920 5244295 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 167080

[startup+102.307 s]
/proc/loadavg: 4.11 4.03 3.85 5/181 24693
/proc/meminfo: memFree=29824528/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=299408 CPUtime=204.52 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 41351 0 0 0 20416 36 0 0 20 0 3 0 331595578 306593792 41299 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 74852 41299 205 433 0 74416 0
[pid=24637/tid=24639] ppid=24635 vsize=299408 CPUtime=102 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 21068 0 0 0 10179 21 0 0 20 0 3 0 331595579 306593792 41299 33554432000 4194304 5964478 140736149631472 140723800254264 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=299408 CPUtime=101.99 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 18765 0 0 0 10182 17 0 0 20 0 3 0 331595579 306593792 41299 33554432000 4194304 5964478 140736149631472 140723789764680 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 299408

[startup+162.3 s]
/proc/loadavg: 4.04 4.02 3.86 5/181 24693
/proc/meminfo: memFree=29648300/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=300068 CPUtime=324.44 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 52796 0 0 0 32397 47 0 0 20 0 3 0 331595578 307269632 52798 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 75017 52798 205 433 0 74581 0
[pid=24637/tid=24639] ppid=24635 vsize=300068 CPUtime=161.8 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 29901 0 0 0 16151 29 0 0 20 0 3 0 331595579 307269632 52798 33554432000 4194304 5964478 140736149631472 140723800254264 5143584 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=300068 CPUtime=161.81 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 21377 0 0 0 16159 22 0 0 20 0 3 0 331595579 307269632 52798 33554432000 4194304 5964478 140736149631472 140723789764680 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 300068

[startup+222.3 s]
/proc/loadavg: 4.01 4.02 3.86 5/181 24693
/proc/meminfo: memFree=29484716/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=366008 CPUtime=444.42 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 62264 0 0 0 44376 66 0 0 20 0 3 0 331595578 374792192 63462 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 91502 63462 205 433 0 91066 0
[pid=24637/tid=24639] ppid=24635 vsize=366008 CPUtime=221.65 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 38182 0 0 0 22118 47 0 0 20 0 3 0 331595579 374792192 63462 33554432000 4194304 5964478 140736149631472 140723800254456 4389085 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=366008 CPUtime=221.66 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 22564 0 0 0 22142 24 0 0 20 0 3 0 331595579 374792192 63462 33554432000 4194304 5964478 140736149631472 140723789764680 4399854 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) 366008

[startup+282.3 s]
/proc/loadavg: 4.00 4.01 3.87 5/182 24694
/proc/meminfo: memFree=29339904/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=366668 CPUtime=564.4 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 75428 0 0 0 56358 82 0 0 20 0 3 0 331595578 375468032 76626 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 91667 76626 205 433 0 91231 0
[pid=24637/tid=24639] ppid=24635 vsize=366668 CPUtime=281.49 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 40771 0 0 0 28099 50 0 0 20 0 3 0 331595579 375468032 76626 33554432000 4194304 5964478 140736149631472 140723800254264 4388592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=366668 CPUtime=281.51 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 33139 0 0 0 28112 39 0 0 20 0 3 0 331595579 375468032 76626 33554432000 4194304 5964478 140736149631472 140723789764968 4379311 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 366668

[startup+342.3 s]
/proc/loadavg: 4.00 4.01 3.87 5/181 24695
/proc/meminfo: memFree=29187792/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=366952 CPUtime=684.38 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 82395 0 0 0 68341 97 0 0 20 0 3 0 331595578 375758848 83591 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 91738 83591 205 433 0 91302 0

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

[pid=24637/tid=24640] ppid=24635 vsize=366952 CPUtime=341.35 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 33220 0 0 0 34095 40 0 0 20 0 3 0 331595579 375758848 83591 33554432000 4194304 5964478 140736149631472 140723789764680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 366952

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 24695
/proc/meminfo: memFree=29150620/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=432620 CPUtime=804.36 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 86450 0 0 0 80334 102 0 0 20 0 3 0 331595578 443002880 87641 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 108155 87641 205 433 0 107719 0
[pid=24637/tid=24639] ppid=24635 vsize=432620 CPUtime=401.19 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 51668 0 0 0 40047 72 0 0 20 0 3 0 331595579 443002880 87641 33554432000 4194304 5964478 140736149631472 140723800254456 4388228 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=432620 CPUtime=401.2 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 33264 0 0 0 40079 41 0 0 20 0 3 0 331595579 443002880 87641 33554432000 4194304 5964478 140736149631472 140723789764680 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 432620

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 24695
/proc/meminfo: memFree=29078128/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=499940 CPUtime=924.33 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 94392 0 0 0 92322 111 0 0 20 0 3 0 331595578 511938560 95863 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 124985 95863 205 433 0 124549 0
[pid=24637/tid=24639] ppid=24635 vsize=499940 CPUtime=461.02 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 58247 0 0 0 46023 79 0 0 20 0 3 0 331595579 511938560 95863 33554432000 4194304 5964478 140736149631472 140723800254264 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=499940 CPUtime=461.04 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 34627 0 0 0 46060 44 0 0 20 0 3 0 331595579 511938560 95863 33554432000 4194304 5964478 140736149631472 140723789764680 4400044 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 499940

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 24695
/proc/meminfo: memFree=29013432/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=500104 CPUtime=1044.26 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 99657 0 0 0 104309 117 0 0 20 0 3 0 331595578 512106496 101742 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 125026 101742 205 433 0 124590 0
[pid=24637/tid=24639] ppid=24635 vsize=500104 CPUtime=520.82 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 58837 0 0 0 52002 80 0 0 20 0 3 0 331595579 512106496 101742 33554432000 4194304 5964478 140736149631472 140723800254264 4222324 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=500104 CPUtime=520.89 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 39302 0 0 0 52038 51 0 0 20 0 3 0 331595579 512106496 101742 33554432000 4194304 5964478 140736149631472 140723789764920 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 500104

[startup+582.3 s]
/proc/loadavg: 4.08 4.02 3.90 5/182 24698
/proc/meminfo: memFree=28927296/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=500368 CPUtime=1164.2 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 104251 0 0 0 116295 125 0 0 20 0 3 0 331595578 512376832 106362 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 125092 106362 205 433 0 124656 0
[pid=24637/tid=24639] ppid=24635 vsize=500368 CPUtime=580.66 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 60975 0 0 0 57982 84 0 0 20 0 3 0 331595579 512376832 106362 33554432000 4194304 5964478 140736149631472 140723800254264 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=500368 CPUtime=580.7 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 41758 0 0 0 58013 57 0 0 20 0 3 0 331595579 512376832 106362 33554432000 4194304 5964478 140736149631472 140723789764680 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 500368

[startup+642.3 s]
/proc/loadavg: 4.03 4.01 3.91 5/181 24699
/proc/meminfo: memFree=28786012/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=566036 CPUtime=1284.16 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 110507 0 0 0 128277 139 0 0 20 0 3 0 331595578 579620864 113274 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 141509 113274 205 433 0 141073 0
[pid=24637/tid=24639] ppid=24635 vsize=566036 CPUtime=640.48 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 67184 0 0 0 63949 99 0 0 20 0 3 0 331595579 579620864 113274 33554432000 4194304 5964478 140736149631472 140723800254456 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=566036 CPUtime=640.55 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 41805 0 0 0 63997 58 0 0 20 0 3 0 331595579 579620864 113274 33554432000 4194304 5964478 140736149631472 140723789764680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.16
Current children cumulated vsize (KiB) 566036

[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/181 24699
/proc/meminfo: memFree=28725244/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=566316 CPUtime=1404.13 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 117204 0 0 0 140254 159 0 0 20 0 3 0 331595578 579907584 120000 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 141579 120000 205 433 0 141143 0
[pid=24637/tid=24639] ppid=24635 vsize=566316 CPUtime=700.31 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 71331 0 0 0 69918 113 0 0 20 0 3 0 331595579 579907584 120000 33554432000 4194304 5964478 140736149631472 140723800254328 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=566316 CPUtime=700.39 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 44355 0 0 0 69974 65 0 0 20 0 3 0 331595579 579907584 120000 33554432000 4194304 5964478 140736149631472 140723789764968 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 566316

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 24699
/proc/meminfo: memFree=28660572/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=567340 CPUtime=1524.12 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 123568 0 0 0 152244 168 0 0 20 0 3 0 331595578 580956160 126362 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 141835 126362 205 433 0 141399 0
[pid=24637/tid=24639] ppid=24635 vsize=567340 CPUtime=760.17 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 74066 0 0 0 75900 117 0 0 20 0 3 0 331595579 580956160 126362 33554432000 4194304 5964478 140736149631472 140723800254456 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=567340 CPUtime=760.25 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 47984 0 0 0 75952 73 0 0 20 0 3 0 331595579 580956160 126362 33554432000 4194304 5964478 140736149631472 140723789764920 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.12
Current children cumulated vsize (KiB) 567340

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 24699
/proc/meminfo: memFree=28639768/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=567476 CPUtime=1644.1 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 128618 0 0 0 164235 175 0 0 20 0 3 0 331595578 581095424 131412 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 141869 131412 205 433 0 141433 0
[pid=24637/tid=24639] ppid=24635 vsize=567476 CPUtime=820.01 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 79104 0 0 0 81877 124 0 0 20 0 3 0 331595579 581095424 131412 33554432000 4194304 5964478 140736149631472 140723800254264 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=567476 CPUtime=820.09 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 47996 0 0 0 81935 74 0 0 20 0 3 0 331595579 581095424 131412 33554432000 4194304 5964478 140736149631472 140723789764680 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 567476

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 24699
/proc/meminfo: memFree=28502032/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=571728 CPUtime=1764.07 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 130074 0 0 0 176232 175 0 0 20 0 3 0 331595578 585449472 132796 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 142932 132796 205 433 0 142496 0
[pid=24637/tid=24639] ppid=24635 vsize=571728 CPUtime=879.85 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 80508 0 0 0 87859 126 0 0 20 0 3 0 331595579 585449472 132796 33554432000 4194304 5964478 140736149631472 140723800254264 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=571728 CPUtime=879.93 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 48048 0 0 0 87918 75 0 0 20 0 3 0 331595579 585449472 132796 33554432000 4194304 5964478 140736149631472 140723789764680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.07
Current children cumulated vsize (KiB) 571728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 24699
/proc/meminfo: memFree=28436528/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=571868 CPUtime=1800.08 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 130294 0 0 0 179833 175 0 0 20 0 3 0 331595578 585592832 133016 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 142967 133016 205 433 0 142531 0
[pid=24637/tid=24639] ppid=24635 vsize=571868 CPUtime=897.81 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 80702 0 0 0 89655 126 0 0 20 0 3 0 331595579 585592832 133016 33554432000 4194304 5964478 140736149631472 140723800254264 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=571868 CPUtime=897.89 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 48074 0 0 0 89714 75 0 0 20 0 3 0 331595579 585592832 133016 33554432000 4194304 5964478 140736149631472 140723789764680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 571868

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.91 5/181 24699
/proc/meminfo: memFree=28436528/32873844 swapFree=7372/7372
[pid=24637] ppid=24635 vsize=571868 CPUtime=1800.08 cores=1,3,5,7
/proc/24637/stat : 24637 (pwbo2.02) S 24635 24637 21194 0 -1 4202496 130294 0 0 0 179833 175 0 0 20 0 3 0 331595578 585592832 133016 33554432000 4194304 5964478 140736149631472 140736149630992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24637/statm: 142967 133016 205 433 0 142531 0
[pid=24637/tid=24639] ppid=24635 vsize=571868 CPUtime=897.81 cores=1,3,5,7
/proc/24637/task/24639/stat : 24639 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 80702 0 0 0 89655 126 0 0 20 0 3 0 331595579 585592832 133016 33554432000 4194304 5964478 140736149631472 140723800254264 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24637/tid=24640] ppid=24635 vsize=571868 CPUtime=897.89 cores=1,3,5,7
/proc/24637/task/24640/stat : 24640 (pwbo2.02) R 24635 24637 21194 0 -1 4202560 48074 0 0 0 89714 75 0 0 20 0 3 0 331595579 585592832 133016 33554432000 4194304 5964478 140736149631472 140723789764680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 571868

Child status: 0

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

Real time (s): 900.324
CPU time (s): 1800.08
CPU user time (s): 1798.33
CPU system time (s): 1.75
CPU usage (%): 199.937
Max. virtual memory (cumulated for all children) (KiB): 571868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 2.04169
maximum resident set size= 532068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130295
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= 493
involuntary context switches= 1882

runsolver used 1.90971 second user time and 5.83611 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-02 18:31:10
IDJOB=3726792
IDBENCH=48122
IDSOLVER=2311
FILE ID=node109/3726792-1338654670
RUNJOBID= node109-1338651782-22664
PBS_JOBID= 14636471
Free space on /tmp= 70708 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726792-1338654670/watcher-3726792-1338654670 -o /tmp/evaluation-result-3726792-1338654670/solver-3726792-1338654670 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726792-1338654670.opb

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=1703551901

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29204788 kB
Buffers:          317776 kB
Cached:          1520992 kB
SwapCached:          944 kB
Active:          1836040 kB
Inactive:         957056 kB
Active(anon):     949148 kB
Inactive(anon):     7796 kB
Active(file):     886892 kB
Inactive(file):   949260 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              5828 kB
Writeback:             0 kB
AnonPages:        960820 kB
Mapped:            10888 kB
Shmem:                 4 kB
Slab:             735864 kB
SReclaimable:     177744 kB
SUnreclaim:       558120 kB
KernelStack:        1504 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     181556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3726792-1338654670.opb

Free space on /tmp at the end= 70700 MiB
End job on node109 at 2012-06-02 18:46:12