Trace number 3726030

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)324 1800.18 900.435

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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726030-1338655936.opb.
0.00/0.00	c Instance file HOME/instance-3726030-1338655936.opb
0.00/0.00	c File size is 167972 bytes.
0.00/0.02	c Cost Offset: 0
0.00/0.02	c Highest Coefficient sum: 31
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      2611                                                |
0.00/0.02	c |  Number Clauses:        1924                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	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.18/900.41	o 439
1800.18/900.41	o 429
1800.18/900.41	o 426
1800.18/900.41	o 414
1800.18/900.41	o 375
1800.18/900.41	o 364
1800.18/900.41	o 363
1800.18/900.41	o 358
1800.18/900.41	o 357
1800.18/900.41	o 332
1800.18/900.41	o 324
1800.18/900.41	c ===============================================================================
1800.18/900.41	c Wall Clock Time: 900.41 s
1800.18/900.41	c Best Solution: 324
1800.18/900.41	s SATISFIABLE
1800.18/900.41	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-3726030-1338655936/watcher-3726030-1338655936 -o /tmp/evaluation-result-3726030-1338655936/solver-3726030-1338655936 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726030-1338655936.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: 4.01 4.02 3.94 4/178 12586
/proc/meminfo: memFree=27927028/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=4508 CPUtime=0 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) R 12584 12586 10378 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 331718468 4616192 353 33554432000 4194304 5964478 140734517528496 140737196026888 5179243 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 1127 362 152 433 0 649 0

[startup+0.00954489 s]
/proc/loadavg: 4.01 4.02 3.94 4/178 12586
/proc/meminfo: memFree=27927028/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=5016 CPUtime=0 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) R 12584 12586 10378 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 331718468 5136384 482 33554432000 4194304 5964478 140734517528496 140737196026888 5142487 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 1254 482 165 433 0 776 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5016

[startup+0.100162 s]
/proc/loadavg: 4.01 4.02 3.94 4/178 12586
/proc/meminfo: memFree=27927028/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=181544 CPUtime=0.15 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 9311 0 0 0 14 1 0 0 20 0 3 0 331718468 185901056 9095 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 45386 9095 200 433 0 44950 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 181544

[startup+0.300175 s]
/proc/loadavg: 4.01 4.02 3.94 4/178 12586
/proc/meminfo: memFree=27927028/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=191320 CPUtime=0.55 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 13086 0 0 0 53 2 0 0 20 0 3 0 331718468 195911680 13119 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 47830 13119 201 433 0 47394 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 191320

[startup+0.700169 s]
/proc/loadavg: 4.01 4.02 3.94 4/178 12586
/proc/meminfo: memFree=27927028/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=191320 CPUtime=1.36 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 14881 0 0 0 133 3 0 0 20 0 3 0 331718468 195911680 13640 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 47830 13640 203 433 0 47394 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 191320

[startup+1.5003 s]
/proc/loadavg: 4.01 4.02 3.94 5/181 12589
/proc/meminfo: memFree=27871148/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=191320 CPUtime=2.95 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 15740 0 0 0 291 4 0 0 20 0 3 0 331718468 195911680 14394 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 47830 14394 203 433 0 47394 0
[pid=12586/tid=12588] ppid=12584 vsize=191320 CPUtime=1.46 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 3625 0 0 0 144 2 0 0 20 0 3 0 331718470 195911680 14394 33554432000 4194304 5964478 140734517528496 139933024557416 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=191320 CPUtime=1.46 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 10976 0 0 0 143 3 0 0 20 0 3 0 331718470 195911680 14394 33554432000 4194304 5964478 140734517528496 139933014067432 4373169 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 191320

[startup+3.1003 s]
/proc/loadavg: 4.01 4.02 3.94 5/181 12589
/proc/meminfo: memFree=27863824/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=191544 CPUtime=6.15 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 16812 0 0 0 609 6 0 0 20 0 3 0 331718468 196141056 15466 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 47886 15466 203 433 0 47450 0
[pid=12586/tid=12588] ppid=12584 vsize=191544 CPUtime=3.05 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 4561 0 0 0 301 4 0 0 20 0 3 0 331718470 196141056 15466 33554432000 4194304 5964478 140734517528496 139933024556856 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=191544 CPUtime=3.06 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 11112 0 0 0 303 3 0 0 20 0 3 0 331718470 196141056 15466 33554432000 4194304 5964478 140734517528496 139933014067560 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 191544

[startup+6.30029 s]
/proc/loadavg: 4.01 4.02 3.94 3/177 12590
/proc/meminfo: memFree=29070364/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=192120 CPUtime=12.55 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 18360 0 0 0 1246 9 0 0 20 0 3 0 331718468 196730880 16944 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 48030 16944 203 433 0 47594 0
[pid=12586/tid=12588] ppid=12584 vsize=192120 CPUtime=6.24 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 5998 0 0 0 618 6 0 0 20 0 3 0 331718470 196730880 16944 33554432000 4194304 5964478 140734517528496 139933024557048 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=192120 CPUtime=6.25 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 11223 0 0 0 622 3 0 0 20 0 3 0 331718470 196730880 16944 33554432000 4194304 5964478 140734517528496 139933014067512 4399915 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: 4.01 4.02 3.94 5/181 12630
/proc/meminfo: memFree=29041968/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=192120 CPUtime=25.35 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 20637 0 0 0 2522 13 0 0 20 0 3 0 331718468 196730880 19065 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 48030 19065 203 433 0 47594 0
[pid=12586/tid=12588] ppid=12584 vsize=192120 CPUtime=12.63 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 7942 0 0 0 1254 9 0 0 20 0 3 0 331718470 196730880 19065 33554432000 4194304 5964478 140734517528496 139933024557048 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=192120 CPUtime=12.62 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 11556 0 0 0 1259 3 0 0 20 0 3 0 331718470 196730880 19065 33554432000 4194304 5964478 140734517528496 139933014067512 4400010 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: 4.01 4.02 3.94 5/181 12630
/proc/meminfo: memFree=28972288/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=191544 CPUtime=50.94 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 29454 0 0 0 5077 17 0 0 20 0 3 0 331718468 196141056 27697 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 47886 27697 203 433 0 47450 0
[pid=12586/tid=12588] ppid=12584 vsize=191544 CPUtime=25.39 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 16173 0 0 0 2526 13 0 0 20 0 3 0 331718470 196141056 27697 33554432000 4194304 5964478 140734517528496 139933024558008 4400024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=191544 CPUtime=25.39 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 12142 0 0 0 2536 3 0 0 20 0 3 0 331718470 196141056 27697 33554432000 4194304 5964478 140734517528496 139933014067560 4399920 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.1003 s]
/proc/loadavg: 4.00 4.02 3.94 5/181 12630
/proc/meminfo: memFree=28947276/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=192028 CPUtime=102.11 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 31653 0 0 0 10192 19 0 0 20 0 3 0 331718468 196636672 29885 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 48007 29885 203 433 0 47571 0
[pid=12586/tid=12588] ppid=12584 vsize=192028 CPUtime=50.91 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 17132 0 0 0 5077 14 0 0 20 0 3 0 331718470 196636672 29885 33554432000 4194304 5964478 140734517528496 139933024556856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=192028 CPUtime=50.91 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 13382 0 0 0 5086 5 0 0 20 0 3 0 331718470 196636672 29885 33554432000 4194304 5964478 140734517528496 139933014067320 18446744073699066235 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 192028

[startup+102.307 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 12631
/proc/meminfo: memFree=28773428/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=324460 CPUtime=204.47 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 63716 0 0 0 20377 70 0 0 20 0 3 0 331718468 332247040 63464 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 81115 63464 203 433 0 80679 0
[pid=12586/tid=12588] ppid=12584 vsize=324460 CPUtime=101.96 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 46354 0 0 0 10133 63 0 0 20 0 3 0 331718470 332247040 63464 33554432000 4194304 5964478 140734517528496 139933024557048 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=324460 CPUtime=101.96 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 16223 0 0 0 10188 8 0 0 20 0 3 0 331718470 332247040 63464 33554432000 4194304 5964478 140734517528496 139933014067320 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 324460

[startup+162.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 12631
/proc/meminfo: memFree=28642204/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=390884 CPUtime=324.43 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 82577 0 0 0 32318 125 0 0 20 0 3 0 331718468 400265216 82709 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 97721 82709 203 433 0 97285 0
[pid=12586/tid=12588] ppid=12584 vsize=390884 CPUtime=161.8 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 61578 0 0 0 16071 109 0 0 20 0 3 0 331718470 400265216 82709 33554432000 4194304 5964478 140734517528496 139933024557048 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=390884 CPUtime=161.79 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 19860 0 0 0 16160 19 0 0 20 0 3 0 331718470 400265216 82709 33554432000 4194304 5964478 140734517528496 139933014067512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 390884

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12631
/proc/meminfo: memFree=28542376/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=523120 CPUtime=444.41 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 98804 0 0 0 44262 179 0 0 20 0 3 0 331718468 535674880 98936 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 130780 98936 203 433 0 130344 0
[pid=12586/tid=12588] ppid=12584 vsize=523120 CPUtime=221.64 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 72205 0 0 0 22022 142 0 0 20 0 3 0 331718470 535674880 98936 33554432000 4194304 5964478 140734517528496 139933024556856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=523120 CPUtime=221.63 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 25460 0 0 0 22121 42 0 0 20 0 3 0 331718470 535674880 98936 33554432000 4194304 5964478 140734517528496 139933014067512 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 523120

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12631
/proc/meminfo: memFree=28454744/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=523384 CPUtime=564.36 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 112702 0 0 0 56212 224 0 0 20 0 3 0 331718468 535945216 113187 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 130846 113187 203 433 0 130410 0
[pid=12586/tid=12588] ppid=12584 vsize=523384 CPUtime=281.45 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 81975 0 0 0 27975 170 0 0 20 0 3 0 331718470 535945216 113187 33554432000 4194304 5964478 140734517528496 139933024556856 4388192 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=523384 CPUtime=281.46 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 29588 0 0 0 28085 61 0 0 20 0 3 0 331718470 535945216 113187 33554432000 4194304 5964478 140734517528496 139933014067512 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 523384

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12631
/proc/meminfo: memFree=28309880/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=655532 CPUtime=684.33 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 143203 0 0 0 68111 322 0 0 20 0 3 0 331718468 671264768 143905 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 163883 143905 203 433 0 163447 0
[pid=12586/tid=12588] ppid=12584 vsize=655532 CPUtime=341.26 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 105961 0 0 0 33882 244 0 0 20 0 3 0 331718470 671264768 143905 33554432000 4194304 5964478 140734517528496 139933024557048 4379248 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=655532 CPUtime=341.3 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 36103 0 0 0 34043 87 0 0 20 0 3 0 331718470 671264768 143905 33554432000 4194304 5964478 140734517528496 139933014067512 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 655532

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 12631
/proc/meminfo: memFree=28254376/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=721476 CPUtime=804.27 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 149706 0 0 0 80083 344 0 0 20 0 3 0 331718468 738791424 150455 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 180369 150455 203 433 0 179933 0
[pid=12586/tid=12588] ppid=12584 vsize=721476 CPUtime=401.07 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 106005 0 0 0 39862 245 0 0 20 0 3 0 331718470 738791424 150455 33554432000 4194304 5964478 140734517528496 139933024557048 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=721476 CPUtime=401.14 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 42562 0 0 0 40003 111 0 0 20 0 3 0 331718470 738791424 150455 33554432000 4194304 5964478 140734517528496 139933014067512 4399808 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 721476

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12632
/proc/meminfo: memFree=28172764/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=722288 CPUtime=924.26 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 161765 0 0 0 92041 385 0 0 20 0 3 0 331718468 739622912 162515 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 180572 162515 203 433 0 180136 0
[pid=12586/tid=12588] ppid=12584 vsize=722288 CPUtime=460.91 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 112599 0 0 0 45829 262 0 0 20 0 3 0 331718470 739622912 162515 33554432000 4194304 5964478 140734517528496 139933024556856 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=722288 CPUtime=460.99 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 48027 0 0 0 45965 134 0 0 20 0 3 0 331718470 739622912 162515 33554432000 4194304 5964478 140734517528496 139933014067512 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 722288

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/182 12635
/proc/meminfo: memFree=28070952/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=789172 CPUtime=1044.23 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 184784 0 0 0 103979 444 0 0 20 0 3 0 331718468 808112128 185520 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 197293 185520 203 433 0 196857 0
[pid=12586/tid=12588] ppid=12584 vsize=789172 CPUtime=520.75 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 129338 0 0 0 51774 301 0 0 20 0 3 0 331718470 808112128 185520 33554432000 4194304 5964478 140734517528496 139933024556856 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=789172 CPUtime=520.82 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 54307 0 0 0 51926 156 0 0 20 0 3 0 331718470 808112128 185520 33554432000 4194304 5964478 140734517528496 139933014067512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 789172

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/182 12658
/proc/meminfo: memFree=28016484/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=854708 CPUtime=1164.21 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 194482 0 0 0 115943 478 0 0 20 0 3 0 331718468 875220992 195217 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 213677 195217 203 433 0 213241 0
[pid=12586/tid=12588] ppid=12584 vsize=854708 CPUtime=580.59 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 131294 0 0 0 57757 302 0 0 20 0 3 0 331718470 875220992 195217 33554432000 4194304 5964478 140734517528496 139933024556856 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=854708 CPUtime=580.67 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 62049 0 0 0 57876 191 0 0 20 0 3 0 331718470 875220992 195217 33554432000 4194304 5964478 140734517528496 139933014067512 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 854708

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12658
/proc/meminfo: memFree=27957096/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=855240 CPUtime=1284.2 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 201140 0 0 0 127919 501 0 0 20 0 3 0 331718468 875765760 201875 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 213810 201875 203 433 0 213374 0
[pid=12586/tid=12588] ppid=12584 vsize=855240 CPUtime=640.44 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 132284 0 0 0 63740 304 0 0 20 0 3 0 331718470 875765760 201875 33554432000 4194304 5964478 140734517528496 139933024556856 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=855240 CPUtime=640.52 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 67717 0 0 0 63837 215 0 0 20 0 3 0 331718470 875765760 201875 33554432000 4194304 5964478 140734517528496 139933014067512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 855240

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 12658
/proc/meminfo: memFree=27910136/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=986452 CPUtime=1404.18 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 207817 0 0 0 139903 515 0 0 20 0 3 0 331718468 1010126848 208552 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 246613 208552 203 433 0 246177 0
[pid=12586/tid=12588] ppid=12584 vsize=986452 CPUtime=700.28 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 133708 0 0 0 69723 305 0 0 20 0 3 0 331718470 1010126848 208552 33554432000 4194304 5964478 140734517528496 139933024556856 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=986452 CPUtime=700.36 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 72970 0 0 0 69807 229 0 0 20 0 3 0 331718470 1010126848 208552 33554432000 4194304 5964478 140734517528496 139933014067512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 986452

[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.94 5/181 12659
/proc/meminfo: memFree=27854332/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=986720 CPUtime=1524.14 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 215627 0 0 0 151881 533 0 0 20 0 3 0 331718468 1010401280 216533 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 246680 216533 203 433 0 246244 0
[pid=12586/tid=12588] ppid=12584 vsize=986720 CPUtime=760.13 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 135619 0 0 0 75706 307 0 0 20 0 3 0 331718470 1010401280 216533 33554432000 4194304 5964478 140734517528496 139933024556856 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=986720 CPUtime=760.19 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 78869 0 0 0 75772 247 0 0 20 0 3 0 331718470 1010401280 216533 33554432000 4194304 5964478 140734517528496 139933014067512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 986720

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/181 12659
/proc/meminfo: memFree=27752432/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=1052532 CPUtime=1644.05 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 239918 0 0 0 163827 578 0 0 20 0 3 0 331718468 1077792768 241263 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 263133 241263 203 433 0 262697 0
[pid=12586/tid=12588] ppid=12584 vsize=1052532 CPUtime=819.92 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 152431 0 0 0 81654 338 0 0 20 0 3 0 331718470 1077792768 241263 33554432000 4194304 5964478 140734517528496 139933024557048 4379311 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=1052532 CPUtime=820.01 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 86348 0 0 0 81737 264 0 0 20 0 3 0 331718470 1077792768 241263 33554432000 4194304 5964478 140734517528496 139933014067512 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.05
Current children cumulated vsize (KiB) 1052532

[startup+882.3 s]
/proc/loadavg: 4.08 4.02 3.95 5/181 12659
/proc/meminfo: memFree=27716252/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=1118068 CPUtime=1763.98 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 245415 0 0 0 175809 589 0 0 20 0 3 0 331718468 1144901632 246847 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 279517 246847 203 433 0 279081 0
[pid=12586/tid=12588] ppid=12584 vsize=1118068 CPUtime=879.73 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 153207 0 0 0 87634 339 0 0 20 0 3 0 331718470 1144901632 246847 33554432000 4194304 5964478 140734517528496 139933024556856 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=1118068 CPUtime=879.84 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 91069 0 0 0 87709 275 0 0 20 0 3 0 331718470 1144901632 246847 33554432000 4194304 5964478 140734517528496 139933014067560 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.98
Current children cumulated vsize (KiB) 1118068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.06 4.02 3.95 5/181 12659
/proc/meminfo: memFree=27709040/32873844 swapFree=7120/7120
[pid=12586] ppid=12584 vsize=1118068 CPUtime=1800.18 cores=0,2,4,6
/proc/12586/stat : 12586 (pwbo2.02) S 12584 12586 10378 0 -1 4202496 247145 0 0 0 179425 593 0 0 20 0 3 0 331718468 1144901632 248567 33554432000 4194304 5964478 140734517528496 140734517528016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12586/statm: 279517 248567 203 433 0 279081 0
[pid=12586/tid=12588] ppid=12584 vsize=1118068 CPUtime=897.79 cores=0,2,4,6
/proc/12586/task/12588/stat : 12588 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 153553 0 0 0 89439 340 0 0 20 0 3 0 331718470 1144901632 248567 33554432000 4194304 5964478 140734517528496 139933024556856 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12586/tid=12589] ppid=12584 vsize=1118068 CPUtime=897.89 cores=0,2,4,6
/proc/12586/task/12589/stat : 12589 (pwbo2.02) R 12584 12586 10378 0 -1 4202560 92453 0 0 0 89510 279 0 0 20 0 3 0 331718470 1144901632 248567 33554432000 4194304 5964478 140734517528496 139933014067512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1118068

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12586 and gives
#  childrusage.ru_utime.tv_sec=1789
#  childrusage.ru_utime.tv_usec=525950
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=230052
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.435
CPU time (s): 1800.18
CPU user time (s): 1794.25
CPU system time (s): 5.93
CPU usage (%): 199.923
Max. virtual memory (cumulated for all children) (KiB): 1118068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.53
system time used= 6.23005
maximum resident set size= 994280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247148
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= 723
involuntary context switches= 2039

runsolver used 2.12268 second user time and 4.79327 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-02 18:52:16
IDJOB=3726030
IDBENCH=2872
IDSOLVER=2309
FILE ID=node142/3726030-1338655936
RUNJOBID= node142-1338651410-11883
PBS_JOBID= 14636438
Free space on /tmp= 71196 MiB

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

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=1102786975

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27927176 kB
Buffers:          224916 kB
Cached:          2686484 kB
SwapCached:            0 kB
Active:          2286732 kB
Inactive:        1846092 kB
Active(anon):    1212764 kB
Inactive(anon):    11236 kB
Active(file):    1073968 kB
Inactive(file):  1834856 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5824 kB
Writeback:             0 kB
AnonPages:       1228356 kB
Mapped:            11140 kB
Shmem:               200 kB
Slab:             673472 kB
SReclaimable:     115344 kB
SUnreclaim:       558128 kB
KernelStack:        1504 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     189912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    528384 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= 71192 MiB
End job on node142 at 2012-06-02 19:07:18