Trace number 3726008

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)158 1800.51 900.438

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark10.9333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
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 3098
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 3098
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-3726008-1338655476.opb.
0.00/0.00	c Instance file HOME/instance-3726008-1338655476.opb
0.00/0.00	c File size is 2387751 bytes.
0.09/0.17	c Cost Offset: 0
0.09/0.17	c Highest Coefficient sum: 387
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.17         s                                      |
0.09/0.17	c |  Number Variables:      3098                                                |
0.09/0.17	c |  Number Clauses:        6012                                                |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 0                                                   |
0.09/0.17	c |                                                                             |
0.09/0.18	c |  Problem Type:          Optimization                                        |
0.09/0.18	c |  Objective Function:    Cardinality Constraint                              |
0.09/0.18	c |                                                                             |
0.09/0.18	c ===============================================================================
1800.13/900.41	o 181
1800.13/900.41	o 169
1800.13/900.41	o 168
1800.13/900.41	o 166
1800.13/900.41	o 162
1800.13/900.41	o 161
1800.13/900.41	o 160
1800.13/900.41	o 159
1800.13/900.41	o 158
1800.13/900.41	c ===============================================================================
1800.13/900.41	c Wall Clock Time: 900.41 s
1800.13/900.41	c Best Solution: 158
1800.13/900.41	s SATISFIABLE
1800.13/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 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 x2860 x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 x2991 x2992 -x2993 -x2994 x2995 -x2996 x2997 x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 x3014 x3015 -x3016 -x3017 -x3018 -x3019 x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 x3066 x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 x3079 -x3080 -x3081 -x3082 x3083 -x3084 x3085 -x3086 x3087 -x3088 -x3089 x3090 x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098

Verifier Data 

OK	158

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-3726008-1338655476/watcher-3726008-1338655476 -o /tmp/evaluation-result-3726008-1338655476/solver-3726008-1338655476 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726008-1338655476.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.88 3.97 3.91 4/178 30595
/proc/meminfo: memFree=29711160/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=7432 CPUtime=0 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) R 30593 30595 27825 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 331673018 7610368 560 33554432000 4194304 5964478 140736691926528 140736670254920 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 1858 560 167 433 0 839 0

[startup+0.0868729 s]
/proc/loadavg: 3.88 3.97 3.91 4/178 30595
/proc/meminfo: memFree=29711160/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=8776 CPUtime=0.08 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) R 30593 30595 27825 0 -1 4202496 1202 0 0 0 8 0 0 0 20 0 1 0 331673018 8986624 1154 33554432000 4194304 5964478 140736691926528 140736670254920 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 2194 1154 436 433 0 1175 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8776

[startup+0.100223 s]
/proc/loadavg: 3.88 3.97 3.91 4/178 30595
/proc/meminfo: memFree=29711160/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=9040 CPUtime=0.09 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) R 30593 30595 27825 0 -1 4202496 1299 0 0 0 9 0 0 0 20 0 1 0 331673018 9256960 1251 33554432000 4194304 5964478 140736691926528 140736670254920 5302911 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 2260 1251 480 433 0 1241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9040

[startup+0.300273 s]
/proc/loadavg: 3.88 3.97 3.91 4/178 30595
/proc/meminfo: memFree=29711160/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=194476 CPUtime=0.4 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 15908 0 0 0 28 12 0 0 20 0 3 0 331673018 199143424 15598 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 48619 15603 202 433 0 48183 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 194476

[startup+0.700274 s]
/proc/loadavg: 3.88 3.97 3.91 4/178 30595
/proc/meminfo: memFree=29711160/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=199428 CPUtime=1.2 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 16940 0 0 0 107 13 0 0 20 0 3 0 331673018 204214272 16390 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 49857 16391 203 433 0 49421 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 199428

[startup+1.50034 s]
/proc/loadavg: 3.88 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29645832/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=200096 CPUtime=2.8 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 18259 0 0 0 267 13 0 0 20 0 3 0 331673018 204898304 17085 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 50024 17085 204 433 0 49588 0
[pid=30595/tid=30597] ppid=30593 vsize=200096 CPUtime=1.31 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 2796 0 0 0 129 2 0 0 20 0 3 0 331673036 204898304 17085 33554432000 4194304 5964478 140736691926528 139795534912024 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=200096 CPUtime=1.31 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 13089 0 0 0 119 12 0 0 20 0 3 0 331673036 204898304 17085 33554432000 4194304 5964478 140736691926528 139795524421944 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 200096

[startup+3.10024 s]
/proc/loadavg: 3.88 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29641740/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=200096 CPUtime=6 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 18992 0 0 0 586 14 0 0 20 0 3 0 331673018 204898304 17818 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 50024 17818 204 433 0 49588 0
[pid=30595/tid=30597] ppid=30593 vsize=200096 CPUtime=2.91 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 3304 0 0 0 289 2 0 0 20 0 3 0 331673036 204898304 17818 33554432000 4194304 5964478 140736691926528 139795534911880 4403548 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=200096 CPUtime=2.91 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 13314 0 0 0 279 12 0 0 20 0 3 0 331673036 204898304 17818 33554432000 4194304 5964478 140736691926528 139795524421752 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 200096

[startup+6.30023 s]
/proc/loadavg: 3.89 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29632068/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=200096 CPUtime=12.4 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 21612 0 0 0 1225 15 0 0 20 0 3 0 331673018 204898304 20438 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 50024 20438 204 433 0 49588 0
[pid=30595/tid=30597] ppid=30593 vsize=200096 CPUtime=6.11 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 5693 0 0 0 607 4 0 0 20 0 3 0 331673036 204898304 20438 33554432000 4194304 5964478 140736691926528 139795534911480 4389147 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=200096 CPUtime=6.11 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 13545 0 0 0 598 13 0 0 20 0 3 0 331673036 204898304 20438 33554432000 4194304 5964478 140736691926528 139795524421992 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 200096

[startup+12.7004 s]
/proc/loadavg: 3.90 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29615012/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=200096 CPUtime=25.19 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 25366 0 0 0 2502 17 0 0 20 0 3 0 331673018 204898304 24035 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 50024 24035 204 433 0 49588 0
[pid=30595/tid=30597] ppid=30593 vsize=200096 CPUtime=12.51 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 8791 0 0 0 1246 5 0 0 20 0 3 0 331673036 204898304 24035 33554432000 4194304 5964478 140736691926528 139795534912440 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=200096 CPUtime=12.51 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 14201 0 0 0 1238 13 0 0 20 0 3 0 331673036 204898304 24035 33554432000 4194304 5964478 140736691926528 139795524421992 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 200096

[startup+25.5003 s]
/proc/loadavg: 3.92 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29601752/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=200096 CPUtime=50.79 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 28665 0 0 0 5059 20 0 0 20 0 3 0 331673018 204898304 27334 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 50024 27334 204 433 0 49588 0
[pid=30595/tid=30597] ppid=30593 vsize=200096 CPUtime=25.31 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 10277 0 0 0 2525 6 0 0 20 0 3 0 331673036 204898304 27334 33554432000 4194304 5964478 140736691926528 139795534911288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=200096 CPUtime=25.31 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 16014 0 0 0 2516 15 0 0 20 0 3 0 331673036 204898304 27334 33554432000 4194304 5964478 140736691926528 139795524421464 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 200096

[startup+51.1003 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29523616/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=265956 CPUtime=101.98 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 44156 0 0 0 10170 28 0 0 20 0 3 0 331673018 272338944 42751 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 66489 42751 204 433 0 66053 0
[pid=30595/tid=30597] ppid=30593 vsize=265956 CPUtime=50.91 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 22319 0 0 0 5080 11 0 0 20 0 3 0 331673036 272338944 42751 33554432000 4194304 5964478 140736691926528 139795534912440 4389170 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=265956 CPUtime=50.91 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 19463 0 0 0 5073 18 0 0 20 0 3 0 331673036 272338944 42751 33554432000 4194304 5964478 140736691926528 139795524421944 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 265956

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29482204/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=331892 CPUtime=204.36 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 54036 0 0 0 20397 39 0 0 20 0 3 0 331673018 339857408 53048 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 82973 53048 204 433 0 82537 0
[pid=30595/tid=30597] ppid=30593 vsize=331892 CPUtime=102.1 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 26386 0 0 0 10196 14 0 0 20 0 3 0 331673036 339857408 53048 33554432000 4194304 5964478 140736691926528 139795534911288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=331892 CPUtime=102.11 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 25276 0 0 0 10183 28 0 0 20 0 3 0 331673036 339857408 53048 33554432000 4194304 5964478 140736691926528 139795524421944 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.36
Current children cumulated vsize (KiB) 331892

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30598
/proc/meminfo: memFree=29388304/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=398512 CPUtime=324.29 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 77463 0 0 0 32375 54 0 0 20 0 3 0 331673018 408076288 76434 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 99628 76434 204 433 0 99192 0
[pid=30595/tid=30597] ppid=30593 vsize=398512 CPUtime=162.08 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 42697 0 0 0 16185 23 0 0 20 0 3 0 331673036 408076288 76434 33554432000 4194304 5964478 140736691926528 139795534911288 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=398512 CPUtime=162.09 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 32392 0 0 0 16173 36 0 0 20 0 3 0 331673036 408076288 76434 33554432000 4194304 5964478 140736691926528 139795524421944 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.29
Current children cumulated vsize (KiB) 398512

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30599
/proc/meminfo: memFree=29306428/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=529584 CPUtime=444.26 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 95874 0 0 0 44359 67 0 0 20 0 3 0 331673018 542294016 96070 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 132396 96070 204 433 0 131960 0
[pid=30595/tid=30597] ppid=30593 vsize=529584 CPUtime=222.08 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 49888 0 0 0 22180 28 0 0 20 0 3 0 331673036 542294016 96070 33554432000 4194304 5964478 140736691926528 139795534911176 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=529584 CPUtime=222.08 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 43612 0 0 0 22162 46 0 0 20 0 3 0 331673036 542294016 96070 33554432000 4194304 5964478 140736691926528 139795524421944 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.26
Current children cumulated vsize (KiB) 529584

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30599
/proc/meminfo: memFree=29213416/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=530876 CPUtime=564.24 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 119204 0 0 0 56336 88 0 0 20 0 3 0 331673018 543617024 119351 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 132719 119351 204 433 0 132283 0
[pid=30595/tid=30597] ppid=30593 vsize=530876 CPUtime=282.08 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 62253 0 0 0 28172 36 0 0 20 0 3 0 331673036 543617024 119351 33554432000 4194304 5964478 140736691926528 139795534911288 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=530876 CPUtime=282.08 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 54577 0 0 0 28147 61 0 0 20 0 3 0 331673036 543617024 119351 33554432000 4194304 5964478 140736691926528 139795524421944 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.24
Current children cumulated vsize (KiB) 530876

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 30602
/proc/meminfo: memFree=29221276/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=529668 CPUtime=684.21 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 121592 0 0 0 68331 90 0 0 20 0 3 0 331673018 542380032 115899 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 132417 115899 204 433 0 131981 0
[pid=30595/tid=30597] ppid=30593 vsize=529668 CPUtime=342.08 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 64014 0 0 0 34170 38 0 0 20 0 3 0 331673036 542380032 115899 33554432000 4194304 5964478 140736691926528 139795534912328 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=529668 CPUtime=342.06 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 55204 0 0 0 34143 63 0 0 20 0 3 0 331673036 542380032 115899 33554432000 4194304 5964478 140736691926528 139795524422088 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.21
Current children cumulated vsize (KiB) 529668

[startup+402.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/181 30602
/proc/meminfo: memFree=29211848/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=529808 CPUtime=804.17 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 121646 0 0 0 80327 90 0 0 20 0 3 0 331673018 542523392 116354 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 132452 116354 204 433 0 132016 0
[pid=30595/tid=30597] ppid=30593 vsize=529808 CPUtime=402.08 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 64042 0 0 0 40169 39 0 0 20 0 3 0 331673036 542523392 116354 33554432000 4194304 5964478 140736691926528 139795534912328 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=529808 CPUtime=402.05 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 55230 0 0 0 40141 64 0 0 20 0 3 0 331673036 542523392 116354 33554432000 4194304 5964478 140736691926528 139795524421704 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.17
Current children cumulated vsize (KiB) 529808

[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 30602
/proc/meminfo: memFree=29191244/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=529948 CPUtime=924.12 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 121953 0 0 0 92322 90 0 0 20 0 3 0 331673018 542666752 116711 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 132487 116711 204 433 0 132051 0
[pid=30595/tid=30597] ppid=30593 vsize=529948 CPUtime=462.06 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 64310 0 0 0 46165 41 0 0 20 0 3 0 331673036 542666752 116711 33554432000 4194304 5964478 140736691926528 139795534912328 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=529948 CPUtime=462.05 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 55269 0 0 0 46140 65 0 0 20 0 3 0 331673036 542666752 116711 33554432000 4194304 5964478 140736691926528 139795524421704 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.12
Current children cumulated vsize (KiB) 529948

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30603
/proc/meminfo: memFree=29134240/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=595632 CPUtime=1044.09 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 136497 0 0 0 104299 110 0 0 20 0 3 0 331673018 609927168 131244 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 148908 131244 204 433 0 148472 0
[pid=30595/tid=30597] ppid=30593 vsize=595632 CPUtime=522.05 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 65039 0 0 0 52164 41 0 0 20 0 3 0 331673036 609927168 131244 33554432000 4194304 5964478 140736691926528 139795534911352 4400038 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=595632 CPUtime=522.04 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 69084 0 0 0 52120 84 0 0 20 0 3 0 331673036 609927168 131244 33554432000 4194304 5964478 140736691926528 139795524421992 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.09
Current children cumulated vsize (KiB) 595632

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30603
/proc/meminfo: memFree=29051780/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=728596 CPUtime=1164.08 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 156963 0 0 0 116283 125 0 0 20 0 3 0 331673018 746082304 151709 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 182149 151709 204 433 0 181713 0
[pid=30595/tid=30597] ppid=30593 vsize=728596 CPUtime=582.06 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 74492 0 0 0 58160 46 0 0 20 0 3 0 331673036 746082304 151709 33554432000 4194304 5964478 140736691926528 139795534911288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=728596 CPUtime=582.04 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 80097 0 0 0 58108 96 0 0 20 0 3 0 331673036 746082304 151709 33554432000 4194304 5964478 140736691926528 139795524421752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.08
Current children cumulated vsize (KiB) 728596

[startup+642.3 s]
/proc/loadavg: 3.91 3.96 3.91 5/181 30644
/proc/meminfo: memFree=29060480/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=794268 CPUtime=1284.05 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 177592 0 0 0 128265 140 0 0 20 0 3 0 331673018 813330432 172622 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 198567 172622 204 433 0 198131 0
[pid=30595/tid=30597] ppid=30593 vsize=794268 CPUtime=642.05 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 80355 0 0 0 64156 49 0 0 20 0 3 0 331673036 813330432 172622 33554432000 4194304 5964478 140736691926528 139795534911288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=794268 CPUtime=642.04 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 94863 0 0 0 64094 110 0 0 20 0 3 0 331673036 813330432 172622 33554432000 4194304 5964478 140736691926528 139795524421992 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.05
Current children cumulated vsize (KiB) 794268

[startup+702.3 s]
/proc/loadavg: 3.96 3.96 3.91 5/181 30644
/proc/meminfo: memFree=28903028/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=925340 CPUtime=1404 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 206294 0 0 0 140240 160 0 0 20 0 3 0 331673018 947548160 201297 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 231335 201297 204 433 0 230899 0
[pid=30595/tid=30597] ppid=30593 vsize=925340 CPUtime=702.05 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 97240 0 0 0 70144 61 0 0 20 0 3 0 331673036 947548160 201297 33554432000 4194304 5964478 140736691926528 139795534911480 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=925340 CPUtime=702.02 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 106680 0 0 0 70082 120 0 0 20 0 3 0 331673036 947548160 201297 33554432000 4194304 5964478 140736691926528 139795524421944 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 925340

[startup+762.306 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 30644
/proc/meminfo: memFree=28796208/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=991280 CPUtime=1523.98 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 224489 0 0 0 152224 174 0 0 20 0 3 0 331673018 1015070720 219478 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 247820 219478 204 433 0 247384 0
[pid=30595/tid=30597] ppid=30593 vsize=991280 CPUtime=762.06 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 99632 0 0 0 76143 63 0 0 20 0 3 0 331673036 1015070720 219478 33554432000 4194304 5964478 140736691926528 139795534911480 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=991280 CPUtime=762.01 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 122483 0 0 0 76067 134 0 0 20 0 3 0 331673036 1015070720 219478 33554432000 4194304 5964478 140736691926528 139795524421944 4403280 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 991280

[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 30645
/proc/meminfo: memFree=28697596/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=1058032 CPUtime=1643.94 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 241543 0 0 0 164205 189 0 0 20 0 3 0 331673018 1083424768 236632 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 264508 236632 204 433 0 264072 0
[pid=30595/tid=30597] ppid=30593 vsize=1058032 CPUtime=822.04 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 104318 0 0 0 82137 67 0 0 20 0 3 0 331673036 1083424768 236632 33554432000 4194304 5964478 140736691926528 139795534911288 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=1058032 CPUtime=822.01 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 134851 0 0 0 82054 147 0 0 20 0 3 0 331673036 1083424768 236632 33554432000 4194304 5964478 140736691926528 139795524421944 4387948 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.94
Current children cumulated vsize (KiB) 1058032

[startup+882.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/181 30645
/proc/meminfo: memFree=28615628/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=1123568 CPUtime=1763.92 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 256273 0 0 0 176189 203 0 0 20 0 3 0 331673018 1150533632 251353 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 280892 251353 204 433 0 280456 0
[pid=30595/tid=30597] ppid=30593 vsize=1123568 CPUtime=882.05 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 105261 0 0 0 88136 69 0 0 20 0 3 0 331673036 1150533632 251353 33554432000 4194304 5964478 140736691926528 139795534911288 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=1123568 CPUtime=882 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 148638 0 0 0 88039 161 0 0 20 0 3 0 331673036 1150533632 251353 33554432000 4194304 5964478 140736691926528 139795524421944 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.92
Current children cumulated vsize (KiB) 1123568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 30645
/proc/meminfo: memFree=28602732/32873648 swapFree=7116/7116
[pid=30595] ppid=30593 vsize=1123700 CPUtime=1800.13 cores=0,2,4,6
/proc/30595/stat : 30595 (pwbo2.02) S 30593 30595 27825 0 -1 4202496 259549 0 0 0 179807 206 0 0 20 0 3 0 331673018 1150668800 254627 33554432000 4194304 5964478 140736691926528 140736691926048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30595/statm: 280925 254627 204 433 0 280489 0
[pid=30595/tid=30597] ppid=30593 vsize=1123700 CPUtime=900.15 cores=0,2,4,6
/proc/30595/task/30597/stat : 30597 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 105444 0 0 0 89946 69 0 0 20 0 3 0 331673036 1150668800 254627 33554432000 4194304 5964478 140736691926528 139795534911288 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30595/tid=30598] ppid=30593 vsize=1123700 CPUtime=900.11 cores=0,2,4,6
/proc/30595/task/30598/stat : 30598 (pwbo2.02) R 30593 30595 27825 0 -1 4202560 151731 0 0 0 89847 164 0 0 20 0 3 0 331673036 1150668800 254627 33554432000 4194304 5964478 140736691926528 139795524421752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1123700

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

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

Child status: 0
Real time (s): 900.438
CPU time (s): 1800.51
CPU user time (s): 1798.13
CPU system time (s): 2.37864
CPU usage (%): 199.959
Max. virtual memory (cumulated for all children) (KiB): 1123700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.37864
maximum resident set size= 1018512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259550
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= 933
involuntary context switches= 1971

runsolver used 1.75173 second user time and 5.06423 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-02 18:44:36
IDJOB=3726008
IDBENCH=2848
IDSOLVER=2309
FILE ID=node127/3726008-1338655476
RUNJOBID= node127-1338651468-29219
PBS_JOBID= 14636453
Free space on /tmp= 70476 MiB

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

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=1398116604

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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.348
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:       32873648 kB
MemFree:        29711044 kB
Buffers:          373416 kB
Cached:          1788532 kB
SwapCached:         1500 kB
Active:          1094500 kB
Inactive:        1188920 kB
Active(anon):     115372 kB
Inactive(anon):     7932 kB
Active(file):     979128 kB
Inactive(file):  1180988 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:              7740 kB
Writeback:             4 kB
AnonPages:        126828 kB
Mapped:            11460 kB
Shmem:                92 kB
Slab:             744236 kB
SReclaimable:     188312 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:         4456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     179548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node127 at 2012-06-02 18:59:38