Trace number 3703729

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)324 1800.02 900.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark278
Best CPU time to get the best result obtained on this benchmark0.664898
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
Number of terms in the objective function 2611
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 2611
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2611
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703729-1338093257.opb.
0.00/0.00	c Instance file HOME/instance-3703729-1338093257.opb
0.00/0.00	c File size is 167972 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 31
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:      2611                                                |
0.00/0.01	c |  Number Clauses:        1924                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
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.02/900.31	o 439
1800.02/900.31	o 429
1800.02/900.31	o 426
1800.02/900.31	o 414
1800.02/900.31	o 375
1800.02/900.31	o 364
1800.02/900.31	o 363
1800.02/900.31	o 358
1800.02/900.31	o 357
1800.02/900.31	o 332
1800.02/900.31	o 324
1800.02/900.31	c ===============================================================================
1800.02/900.31	c Wall Clock Time: 900.31 s
1800.02/900.31	c Best Solution: 324
1800.02/900.31	s SATISFIABLE
1800.02/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

Verifier Data 

OK	324

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.85 3.96 3.90 3/178 12399
/proc/meminfo: memFree=30287368/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=5016 CPUtime=0 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) R 12397 12399 11438 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 275454303 5136384 476 33554432000 4194304 5965102 140734279707664 140733738354104 5373452 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 1254 476 164 433 0 776 0

[startup+0.0961549 s]
/proc/loadavg: 3.85 3.96 3.90 3/178 12399
/proc/meminfo: memFree=30287368/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=181544 CPUtime=0.15 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 9062 0 0 0 14 1 0 0 20 0 3 0 275454303 185901056 8913 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 45386 8913 202 433 0 44950 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 181544

[startup+0.100214 s]
/proc/loadavg: 3.85 3.96 3.90 3/178 12399
/proc/meminfo: memFree=30287368/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=181544 CPUtime=0.16 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 9446 0 0 0 15 1 0 0 20 0 3 0 275454303 185901056 9297 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 45386 9297 202 433 0 44950 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181544

[startup+0.300175 s]
/proc/loadavg: 3.85 3.96 3.90 3/178 12399
/proc/meminfo: memFree=30287368/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=191320 CPUtime=0.56 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 12919 0 0 0 53 3 0 0 20 0 3 0 275454303 195911680 13087 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 47830 13087 203 433 0 47394 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 191320

[startup+0.700171 s]
/proc/loadavg: 3.85 3.96 3.90 3/178 12399
/proc/meminfo: memFree=30287368/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=191320 CPUtime=1.35 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 14731 0 0 0 132 3 0 0 20 0 3 0 275454303 195911680 13601 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 47830 13601 206 433 0 47394 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 191320

[startup+1.50029 s]
/proc/loadavg: 3.85 3.96 3.90 5/181 12402
/proc/meminfo: memFree=30229612/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=191320 CPUtime=2.94 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 15605 0 0 0 290 4 0 0 20 0 3 0 275454303 195911680 14353 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 47830 14353 206 433 0 47394 0
[pid=12399/tid=12401] ppid=12397 vsize=191320 CPUtime=1.46 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 3504 0 0 0 144 2 0 0 20 0 3 0 275454305 195911680 14353 33554432000 4194304 5965102 140734279707664 139823242648088 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=191320 CPUtime=1.46 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 10963 0 0 0 142 4 0 0 20 0 3 0 275454305 195911680 14353 33554432000 4194304 5965102 140734279707664 139823232158056 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 191320

[startup+3.1003 s]
/proc/loadavg: 3.85 3.96 3.90 5/181 12402
/proc/meminfo: memFree=30216964/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=191544 CPUtime=6.14 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 16676 0 0 0 608 6 0 0 20 0 3 0 275454303 196141056 15424 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 47886 15424 206 433 0 47450 0
[pid=12399/tid=12401] ppid=12397 vsize=191544 CPUtime=3.06 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 4440 0 0 0 302 4 0 0 20 0 3 0 275454305 196141056 15424 33554432000 4194304 5965102 140734279707664 139823242647352 5134447 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=191544 CPUtime=3.06 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 11098 0 0 0 302 4 0 0 20 0 3 0 275454305 196141056 15424 33554432000 4194304 5965102 140734279707664 139823232158152 4393958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 191544

[startup+6.30029 s]
/proc/loadavg: 3.94 3.98 3.91 5/181 12402
/proc/meminfo: memFree=30195016/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=192120 CPUtime=12.55 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 18255 0 0 0 1245 10 0 0 20 0 3 0 275454303 196730880 16932 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 48030 16932 206 433 0 47594 0
[pid=12399/tid=12401] ppid=12397 vsize=192120 CPUtime=6.25 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 5907 0 0 0 619 6 0 0 20 0 3 0 275454305 196730880 16932 33554432000 4194304 5965102 140734279707664 139823242647352 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=192120 CPUtime=6.25 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 11210 0 0 0 621 4 0 0 20 0 3 0 275454305 196730880 16932 33554432000 4194304 5965102 140734279707664 139823232158056 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 192120

[startup+12.7003 s]
/proc/loadavg: 3.94 3.98 3.91 5/181 12402
/proc/meminfo: memFree=30143944/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=192120 CPUtime=25.35 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 20591 0 0 0 2520 15 0 0 20 0 3 0 275454303 196730880 19058 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 48030 19058 206 433 0 47594 0
[pid=12399/tid=12401] ppid=12397 vsize=192120 CPUtime=12.63 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 7908 0 0 0 1252 11 0 0 20 0 3 0 275454305 196730880 19058 33554432000 4194304 5965102 140734279707664 139823242647544 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=192120 CPUtime=12.63 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 11545 0 0 0 1259 4 0 0 20 0 3 0 275454305 196730880 19058 33554432000 4194304 5965102 140734279707664 139823232157816 4401827 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 192120

[startup+25.5003 s]
/proc/loadavg: 3.96 3.98 3.91 5/181 12402
/proc/meminfo: memFree=30052028/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=191544 CPUtime=50.94 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 29366 0 0 0 5059 35 0 0 20 0 3 0 275454303 196141056 27654 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 47886 27654 206 433 0 47450 0
[pid=12399/tid=12401] ppid=12397 vsize=191544 CPUtime=25.4 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 16099 0 0 0 2510 30 0 0 20 0 3 0 275454305 196141056 27654 33554432000 4194304 5965102 140734279707664 139823242648504 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=191544 CPUtime=25.39 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 12129 0 0 0 2535 4 0 0 20 0 3 0 275454305 196141056 27654 33554432000 4194304 5965102 140734279707664 139823232158056 4401041 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 191544

[startup+51.1004 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 12403
/proc/meminfo: memFree=30000280/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=192028 CPUtime=102.13 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 31090 0 0 0 10175 38 0 0 20 0 3 0 275454303 196636672 29378 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 48007 29378 206 433 0 47571 0
[pid=12399/tid=12401] ppid=12397 vsize=192028 CPUtime=50.93 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 16573 0 0 0 5062 31 0 0 20 0 3 0 275454305 196636672 29378 33554432000 4194304 5965102 140734279707664 139823242648088 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=192028 CPUtime=50.92 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 13379 0 0 0 5086 6 0 0 20 0 3 0 275454305 196636672 29378 33554432000 4194304 5965102 140734279707664 139823232158008 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 192028

[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.91 5/182 12403
/proc/meminfo: memFree=29782456/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=324464 CPUtime=204.52 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 58901 0 0 0 20332 120 0 0 20 0 3 0 275454303 332251136 57189 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 81116 57189 206 433 0 80680 0
[pid=12399/tid=12401] ppid=12397 vsize=324464 CPUtime=102 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 41636 0 0 0 10091 109 0 0 20 0 3 0 275454305 332251136 57189 33554432000 4194304 5965102 140734279707664 139823242647544 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=324464 CPUtime=101.99 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 16127 0 0 0 10186 13 0 0 20 0 3 0 275454305 332251136 57189 33554432000 4194304 5965102 140734279707664 139823232158008 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 324464

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 12403
/proc/meminfo: memFree=29495184/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=390756 CPUtime=324.49 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 82114 0 0 0 32271 178 0 0 20 0 3 0 275454303 400134144 80402 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 97689 80402 206 433 0 97253 0
[pid=12399/tid=12401] ppid=12397 vsize=390756 CPUtime=161.84 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 61485 0 0 0 16019 165 0 0 20 0 3 0 275454305 400134144 80402 33554432000 4194304 5965102 140734279707664 139823242647544 4411776 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=390756 CPUtime=161.82 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 19491 0 0 0 16165 17 0 0 20 0 3 0 275454305 400134144 80402 33554432000 4194304 5965102 140734279707664 139823232158008 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 390756

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 12403
/proc/meminfo: memFree=29279576/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=522992 CPUtime=444.47 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 96984 0 0 0 44230 217 0 0 20 0 3 0 275454303 535543808 95272 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 130748 95272 206 433 0 130312 0
[pid=12399/tid=12401] ppid=12397 vsize=522992 CPUtime=221.68 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 72114 0 0 0 21969 199 0 0 20 0 3 0 275454305 535543808 95272 33554432000 4194304 5965102 140734279707664 139823242647352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=522992 CPUtime=221.66 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 23732 0 0 0 22143 23 0 0 20 0 3 0 275454305 535543808 95272 33554432000 4194304 5965102 140734279707664 139823232158056 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 522992

[startup+282.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/181 12403
/proc/meminfo: memFree=29098316/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=523260 CPUtime=564.46 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 111037 0 0 0 56219 227 0 0 20 0 3 0 275454303 535818240 109325 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 130815 109325 206 433 0 130379 0
[pid=12399/tid=12401] ppid=12397 vsize=523260 CPUtime=281.52 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 81848 0 0 0 27947 205 0 0 20 0 3 0 275454305 535818240 109325 33554432000 4194304 5965102 140734279707664 139823242647352 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=523260 CPUtime=281.49 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 28051 0 0 0 28120 29 0 0 20 0 3 0 275454305 535818240 109325 33554432000 4194304 5965102 140734279707664 139823232158008 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 523260

[startup+342.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/181 12404
/proc/meminfo: memFree=28859652/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=655404 CPUtime=684.43 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 138712 0 0 0 68188 255 0 0 20 0 3 0 275454303 671133696 137000 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 163851 137000 206 433 0 163415 0

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

[pid=12399/tid=12402] ppid=12397 vsize=655404 CPUtime=341.33 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 32860 0 0 0 34100 33 0 0 20 0 3 0 275454305 671133696 137000 33554432000 4194304 5965102 140734279707664 139823232158056 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 655404

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12407
/proc/meminfo: memFree=28676152/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=721204 CPUtime=804.42 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 146227 0 0 0 80176 266 0 0 20 0 3 0 275454303 738512896 144515 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 180301 144515 206 433 0 179865 0
[pid=12399/tid=12401] ppid=12397 vsize=721204 CPUtime=401.21 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 105833 0 0 0 39885 236 0 0 20 0 3 0 275454305 738512896 144515 33554432000 4194304 5965102 140734279707664 139823242647544 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=721204 CPUtime=401.17 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 39256 0 0 0 40076 41 0 0 20 0 3 0 275454305 738512896 144515 33554432000 4194304 5965102 140734279707664 139823232158008 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 721204

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12407
/proc/meminfo: memFree=28531480/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=722144 CPUtime=924.4 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 158707 0 0 0 92164 276 0 0 20 0 3 0 275454303 739475456 156995 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 180536 156995 206 433 0 180100 0
[pid=12399/tid=12401] ppid=12397 vsize=722144 CPUtime=461.05 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 112313 0 0 0 45866 239 0 0 20 0 3 0 275454305 739475456 156995 33554432000 4194304 5965102 140734279707664 139823242647352 4401865 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=722144 CPUtime=461.01 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 45256 0 0 0 46051 50 0 0 20 0 3 0 275454305 739475456 156995 33554432000 4194304 5965102 140734279707664 139823232158008 4400868 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.4
Current children cumulated vsize (KiB) 722144

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12407
/proc/meminfo: memFree=28346624/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=787816 CPUtime=1044.37 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 178282 0 0 0 104138 299 0 0 20 0 3 0 275454303 806723584 176570 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 196954 176570 206 433 0 196518 0
[pid=12399/tid=12401] ppid=12397 vsize=787816 CPUtime=520.9 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 126711 0 0 0 51832 258 0 0 20 0 3 0 275454305 806723584 176570 33554432000 4194304 5965102 140734279707664 139823242647544 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=787816 CPUtime=520.85 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 50433 0 0 0 52031 54 0 0 20 0 3 0 275454305 806723584 176570 33554432000 4194304 5965102 140734279707664 139823232158056 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 787816

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12407
/proc/meminfo: memFree=28170572/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=854708 CPUtime=1164.34 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 188845 0 0 0 116119 315 0 0 20 0 3 0 275454303 875220992 187132 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 213677 187132 206 433 0 213241 0
[pid=12399/tid=12401] ppid=12397 vsize=854708 CPUtime=580.74 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 131085 0 0 0 57809 265 0 0 20 0 3 0 275454305 875220992 187132 33554432000 4194304 5965102 140734279707664 139823242647352 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=854708 CPUtime=580.69 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 56622 0 0 0 58003 66 0 0 20 0 3 0 275454305 875220992 187132 33554432000 4194304 5965102 140734279707664 139823232158008 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.34
Current children cumulated vsize (KiB) 854708

[startup+642.3 s]
/proc/loadavg: 4.08 4.01 3.92 5/181 12408
/proc/meminfo: memFree=27992660/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=854708 CPUtime=1284.34 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 196406 0 0 0 128104 330 0 0 20 0 3 0 275454303 875220992 194693 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 213677 194693 206 433 0 213241 0
[pid=12399/tid=12401] ppid=12397 vsize=854708 CPUtime=640.59 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 131794 0 0 0 63793 266 0 0 20 0 3 0 275454305 875220992 194693 33554432000 4194304 5965102 140734279707664 139823242647352 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=854708 CPUtime=640.54 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 63474 0 0 0 63973 81 0 0 20 0 3 0 275454305 875220992 194693 33554432000 4194304 5965102 140734279707664 139823232158008 4404344 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 854708

[startup+702.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30346920/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=920788 CPUtime=1404.26 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 202729 0 0 0 140086 340 0 0 20 0 3 0 275454303 942886912 201505 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 230197 201505 206 433 0 229761 0
[pid=12399/tid=12401] ppid=12397 vsize=920788 CPUtime=700.39 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 133341 0 0 0 69770 269 0 0 20 0 3 0 275454305 942886912 201505 33554432000 4194304 5965102 140734279707664 139823242647352 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=920788 CPUtime=700.36 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 68250 0 0 0 69945 91 0 0 20 0 3 0 275454305 942886912 201505 33554432000 4194304 5965102 140734279707664 139823232158008 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 920788

[startup+762.307 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30262008/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=986456 CPUtime=1524.2 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 209915 0 0 0 152069 351 0 0 20 0 3 0 275454303 1010130944 209277 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 246614 209277 206 433 0 246178 0
[pid=12399/tid=12401] ppid=12397 vsize=986456 CPUtime=760.2 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 134683 0 0 0 75749 271 0 0 20 0 3 0 275454305 1010130944 209277 33554432000 4194304 5965102 140734279707664 139823242647416 4404687 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=986456 CPUtime=760.2 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 74094 0 0 0 75918 102 0 0 20 0 3 0 275454305 1010130944 209277 33554432000 4194304 5965102 140734279707664 139823232158056 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 986456

[startup+822.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30171764/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=986728 CPUtime=1644.11 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 225381 0 0 0 164040 371 0 0 20 0 3 0 275454303 1010409472 224689 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 246682 224689 206 433 0 246246 0
[pid=12399/tid=12401] ppid=12397 vsize=986728 CPUtime=820.03 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 145388 0 0 0 81716 287 0 0 20 0 3 0 275454305 1010409472 224689 33554432000 4194304 5965102 140734279707664 139823242647592 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=986728 CPUtime=819.99 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 78855 0 0 0 81891 108 0 0 20 0 3 0 275454305 1010409472 224689 33554432000 4194304 5965102 140734279707664 139823232158008 4410290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 986728

[startup+882.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30086232/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=1052528 CPUtime=1764.03 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 239940 0 0 0 176011 392 0 0 20 0 3 0 275454303 1077788672 239379 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 263132 239379 206 433 0 262696 0
[pid=12399/tid=12401] ppid=12397 vsize=1052528 CPUtime=879.82 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 152715 0 0 0 87683 299 0 0 20 0 3 0 275454305 1077788672 239379 33554432000 4194304 5965102 140734279707664 139823242647352 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=1052528 CPUtime=879.82 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 86087 0 0 0 87863 119 0 0 20 0 3 0 275454305 1077788672 239379 33554432000 4194304 5965102 140734279707664 139823232158056 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.03
Current children cumulated vsize (KiB) 1052528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30068716/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=1052528 CPUtime=1800.02 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 241467 0 0 0 179607 395 0 0 20 0 3 0 275454303 1077788672 240911 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 263132 240911 206 433 0 262696 0
[pid=12399/tid=12401] ppid=12397 vsize=1052528 CPUtime=897.76 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 152813 0 0 0 89477 299 0 0 20 0 3 0 275454305 1077788672 240911 33554432000 4194304 5965102 140734279707664 139823242647352 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=1052528 CPUtime=897.78 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 87516 0 0 0 89657 121 0 0 20 0 3 0 275454305 1077788672 240911 33554432000 4194304 5965102 140734279707664 139823232158008 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1052528

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: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30068716/32873844 swapFree=7364/7364
[pid=12399] ppid=12397 vsize=1052528 CPUtime=1800.02 cores=0,2,4,6
/proc/12399/stat : 12399 (pwbo2.0) S 12397 12399 11438 0 -1 4202496 241467 0 0 0 179607 395 0 0 20 0 3 0 275454303 1077788672 240911 33554432000 4194304 5965102 140734279707664 140734279707184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12399/statm: 263132 240911 206 433 0 262696 0
[pid=12399/tid=12401] ppid=12397 vsize=1052528 CPUtime=897.76 cores=0,2,4,6
/proc/12399/task/12401/stat : 12401 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 152813 0 0 0 89477 299 0 0 20 0 3 0 275454305 1077788672 240911 33554432000 4194304 5965102 140734279707664 139823242647352 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12399/tid=12402] ppid=12397 vsize=1052528 CPUtime=897.78 cores=0,2,4,6
/proc/12399/task/12402/stat : 12402 (pwbo2.0) R 12397 12399 11438 0 -1 4202560 87516 0 0 0 89657 121 0 0 20 0 3 0 275454305 1077788672 240911 33554432000 4194304 5965102 140734279707664 139823232158008 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1052528

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12399 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=385667
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=260352
# CPU time returned by wait4() is 1795.65
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.35
CPU time (s): 1800.02
CPU user time (s): 1796.07
CPU system time (s): 3.95
CPU usage (%): 199.924
Max. virtual memory (cumulated for all children) (KiB): 1052528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.39
system time used= 4.26035
maximum resident set size= 963652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241469
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= 598
involuntary context switches= 2305

runsolver used 1.82272 second user time and 5.01324 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 06:34:17
IDJOB=3703729
IDBENCH=2872
IDSOLVER=2279
FILE ID=node109/3703729-1338093257
RUNJOBID= node109-1338088487-11454
PBS_JOBID= 14624462
Free space on /tmp= 71340 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703729-1338093257/watcher-3703729-1338093257 -o /tmp/evaluation-result-3703729-1338093257/solver-3703729-1338093257 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703729-1338093257.opb

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=1606159137

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:        30287260 kB
Buffers:          250112 kB
Cached:           547800 kB
SwapCached:            0 kB
Active:          1672996 kB
Inactive:         122704 kB
Active(anon):     989144 kB
Inactive(anon):    10916 kB
Active(file):     683852 kB
Inactive(file):   111788 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5476 kB
Writeback:             8 kB
AnonPages:       1004672 kB
Mapped:            15088 kB
Shmem:               200 kB
Slab:             650568 kB
SReclaimable:      92960 kB
SUnreclaim:       557608 kB
KernelStack:        1464 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168816 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= 71340 MiB
End job on node109 at 2012-05-27 06:49:20