Trace number 4083842

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
Open-WBO-LSU PB16SAT (TO)-55 1800.03 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
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 constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016 -- LSU
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4083842-1465341272.opb
0.00/0.00	c File size is 3133648 bytes.
1800.01/1800.30	c Sum of soft weights:         1534
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:           Unweighted                                                                   |
1800.01/1800.30	c |  Number of variables:          1534                                                                   |
1800.01/1800.30	c |  Number of hard clauses:     127011                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       1534                                                                   |
1800.01/1800.30	c |  Number of cardinality:           0                                                                   |
1800.01/1800.30	c |  Number of PB :                   0                                                                   |
1800.01/1800.30	c |  Parse time:                   0.30 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ==========================================[ Solver Settings ]============================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Algorithm:                LinearSU                                                                   |
1800.01/1800.30	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o -41
1800.01/1800.30	o -42
1800.01/1800.30	o -43
1800.01/1800.30	o -45
1800.01/1800.30	o -46
1800.01/1800.30	o -47
1800.01/1800.30	o -48
1800.01/1800.30	o -49
1800.01/1800.30	o -50
1800.01/1800.30	o -51
1800.01/1800.30	o -52
1800.01/1800.30	o -53
1800.01/1800.30	o -54
1800.01/1800.30	o -55
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-55

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4083842-1465341272/watcher-4083842-1465341272 -o /tmp/evaluation-result-4083842-1465341272/solver-4083842-1465341272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465314711-15537 --watchdog 1960 open-wbo-lsu HOME/instance-4083842-1465341272.opb 

pid=20448
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.10 2.19 2.17 3/176 20451
/proc/meminfo: memFree=30000696/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=5532 CPUtime=0 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 1125 0 0 0 0 0 0 0 20 0 1 0 116060757 5664768 1001 33554432000 4194304 6058637 140734693985280 140735525643512 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 1383 1001 901 456 0 153 0

[startup+0.100164 s]
/proc/loadavg: 2.10 2.19 2.17 3/176 20451
/proc/meminfo: memFree=30000696/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=7672 CPUtime=0.09 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 1591 0 0 0 9 0 0 0 20 0 1 0 116060757 7856128 1467 33554432000 4194304 6058637 140734693985280 140735525643512 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 1918 1468 901 456 0 688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7672

[startup+0.200333 s]
/proc/loadavg: 2.10 2.19 2.17 3/176 20451
/proc/meminfo: memFree=30000696/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=10060 CPUtime=0.19 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 2094 0 0 0 19 0 0 0 20 0 1 0 116060757 10301440 1970 33554432000 4194304 6058637 140734693985280 140734693983080 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 2515 1970 901 456 0 1285 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10060

[startup+0.300324 s]
/proc/loadavg: 2.10 2.19 2.17 3/176 20451
/proc/meminfo: memFree=30000696/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=14052 CPUtime=0.29 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 2717 0 0 0 29 0 0 0 20 0 1 0 116060757 14389248 1827 33554432000 4194304 6058637 140734693985280 140734693983080 5130283 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 3513 1835 151 456 0 3049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14052

[startup+0.700354 s]
/proc/loadavg: 2.10 2.19 2.17 3/176 20451
/proc/meminfo: memFree=30000696/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=26404 CPUtime=0.69 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 5815 0 0 0 69 0 0 0 20 0 1 0 116060757 27037696 5315 33554432000 4194304 6058637 140734693985280 140734693983080 4277676 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 6601 5315 177 456 0 6137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26404

[startup+1.50034 s]
/proc/loadavg: 2.10 2.19 2.17 3/177 20452
/proc/meminfo: memFree=29979280/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=26760 CPUtime=1.49 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 6042 0 0 0 149 0 0 0 20 0 1 0 116060757 27402240 5535 33554432000 4194304 6058637 140734693985280 140734693984104 4254269 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 6690 5535 177 456 0 6226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26760

[startup+3.10036 s]
/proc/loadavg: 2.10 2.19 2.17 4/177 20452
/proc/meminfo: memFree=29977668/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=27308 CPUtime=3.09 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 6822 0 0 0 309 0 0 0 20 0 1 0 116060757 27963392 5655 33554432000 4194304 6058637 140734693985280 140734693984616 4277676 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 6827 5655 178 456 0 6363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27308

[startup+6.30031 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 20452
/proc/meminfo: memFree=29969540/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=34940 CPUtime=6.28 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 8242 0 0 0 628 0 0 0 20 0 1 0 116060757 35778560 7933 33554432000 4194304 6058637 140734693985280 140734693984040 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 8735 7933 178 456 0 8271 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34940

[startup+12.7004 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 20452
/proc/meminfo: memFree=29957100/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=46436 CPUtime=12.69 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 8794 0 0 0 1268 1 0 0 20 0 1 0 116060757 47550464 10828 33554432000 4194304 6058637 140734693985280 140734693984616 4260964 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 11609 10828 178 456 0 11145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46436

[startup+25.5004 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 20452
/proc/meminfo: memFree=29950432/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=53616 CPUtime=25.49 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 9604 0 0 0 2548 1 0 0 20 0 1 0 116060757 54902784 12597 33554432000 4194304 6058637 140734693985280 140734693984040 4246122 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 13404 12597 178 456 0 12940 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53616

[startup+51.1004 s]
/proc/loadavg: 2.28 2.22 2.18 4/177 20452
/proc/meminfo: memFree=29935164/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=53616 CPUtime=51.08 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 9604 0 0 0 5107 1 0 0 20 0 1 0 116060757 54902784 12597 33554432000 4194304 6058637 140734693985280 140734693984616 4278290 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 13404 12597 178 456 0 12940 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53616

[startup+102.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 20453
/proc/meminfo: memFree=29910084/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=76896 CPUtime=102.28 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 12224 0 0 0 10225 3 0 0 20 0 1 0 116060757 78741504 17458 33554432000 4194304 6058637 140734693985280 140734693984008 4277471 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 19224 17458 178 456 0 18760 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 76896

[startup+162.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 20455
/proc/meminfo: memFree=29894392/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=162.27 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 13164 0 0 0 16224 3 0 0 20 0 1 0 116060757 90951680 20429 33554432000 4194304 6058637 140734693985280 140734693984008 4254977 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 20429 178 456 0 21741 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 88820

[startup+222.307 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 20456
/proc/meminfo: memFree=29893272/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=222.26 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 15001 0 0 0 22221 5 0 0 20 0 1 0 116060757 90951680 20440 33554432000 4194304 6058637 140734693985280 140734693984344 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 20440 178 456 0 21741 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 88820

[startup+282.3 s]
/proc/loadavg: 2.31 2.21 2.18 4/177 20457
/proc/meminfo: memFree=29893264/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=282.24 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 16836 0 0 0 28217 7 0 0 20 0 1 0 116060757 90951680 20440 33554432000 4194304 6058637 140734693985280 140734693984344 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 20440 178 456 0 21741 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 88820

[startup+342.3 s]
/proc/loadavg: 2.37 2.25 2.19 3/178 20461
/proc/meminfo: memFree=29852888/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=342.24 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 18674 0 0 0 34214 10 0 0 20 0 1 0 116060757 141455360 30609 33554432000 4194304 6058637 140734693985280 140734693984056 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 30609 178 456 0 34071 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 138140

[startup+402.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 20462
/proc/meminfo: memFree=29850808/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=402.23 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 20126 0 0 0 40211 12 0 0 20 0 1 0 116060757 141455360 31700 33554432000 4194304 6058637 140734693985280 140734693984056 4261536 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 31700 178 456 0 34071 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 138140

[startup+462.3 s]
/proc/loadavg: 2.32 2.26 2.20 3/177 20464
/proc/meminfo: memFree=29811456/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=462.22 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 21891 0 0 0 46207 15 0 0 20 0 1 0 116060757 141455360 31056 33554432000 4194304 6058637 140734693985280 140734693984056 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 31056 178 456 0 34071 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 138140

[startup+522.3 s]
/proc/loadavg: 2.52 2.32 2.22 3/177 20465
/proc/meminfo: memFree=29889112/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=522.21 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 22895 0 0 0 52205 16 0 0 20 0 1 0 116060757 90951680 21401 33554432000 4194304 6058637 140734693985280 140734693984344 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 21401 178 456 0 21741 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 88820

[startup+582.3 s]
/proc/loadavg: 2.23 2.27 2.20 3/177 20466
/proc/meminfo: memFree=29821280/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=582.2 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 25364 0 0 0 58200 20 0 0 20 0 1 0 116060757 141455360 31059 33554432000 4194304 6058637 140734693985280 140734693984056 4262573 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 31059 178 456 0 34071 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 138140


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/178 20476
/proc/meminfo: memFree=29795924/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=942.14 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 37105 0 0 0 94174 40 0 0 20 0 1 0 116060757 173015040 33778 33554432000 4194304 6058637 140734693985280 140734693984056 4280035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 33778 178 456 0 41776 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 168960

[startup+1002.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 20477
/proc/meminfo: memFree=29885744/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=1002.14 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 38642 0 0 0 100171 43 0 0 20 0 1 0 116060757 90951680 21446 33554432000 4194304 6058637 140734693985280 140734693984344 4278160 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 21446 178 456 0 21741 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 88820

[startup+1062.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 20479
/proc/meminfo: memFree=29759236/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1062.12 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 40676 0 0 0 106166 46 0 0 20 0 1 0 116060757 173015040 34173 33554432000 4194304 6058637 140734693985280 140734693984312 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 34173 178 456 0 41776 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 168960

[startup+1122.3 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 20480
/proc/meminfo: memFree=29712292/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1122.11 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 41817 0 0 0 112163 48 0 0 20 0 1 0 116060757 173015040 39874 33554432000 4194304 6058637 140734693985280 140734693984312 4300695 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 39874 178 456 0 41776 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 168960

[startup+1182.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/177 20481
/proc/meminfo: memFree=29782476/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=1182.11 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 43340 0 0 0 118159 52 0 0 20 0 1 0 116060757 141455360 31103 33554432000 4194304 6058637 140734693985280 140734693984056 4277779 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 31103 178 456 0 34071 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 138140

[startup+1242.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 20482
/proc/meminfo: memFree=29750608/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1242.1 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 44606 0 0 0 124156 54 0 0 20 0 1 0 116060757 173015040 33856 33554432000 4194304 6058637 140734693985280 140734693984312 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 33856 178 456 0 41776 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 168960

[startup+1302.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 20483
/proc/meminfo: memFree=29719856/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1302.09 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 46063 0 0 0 130152 57 0 0 20 0 1 0 116060757 173015040 37314 33554432000 4194304 6058637 140734693985280 140734693984312 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 37314 178 456 0 41776 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 168960

[startup+1362.3 s]
/proc/loadavg: 2.33 2.25 2.19 4/177 20485
/proc/meminfo: memFree=29780220/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1362.08 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 47131 0 0 0 136149 59 0 0 20 0 1 0 116060757 173015040 40386 33554432000 4194304 6058637 140734693985280 140734693984312 4277643 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 40386 178 456 0 41776 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 168960

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 20486
/proc/meminfo: memFree=29810232/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=88820 CPUtime=1422.08 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 48199 0 0 0 142147 61 0 0 20 0 1 0 116060757 90951680 21446 33554432000 4194304 6058637 140734693985280 140734693984344 4278331 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 22205 21446 178 456 0 21741 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 88820

[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/177 20487
/proc/meminfo: memFree=29767576/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=1482.06 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 50024 0 0 0 148143 63 0 0 20 0 1 0 116060757 141455360 30079 33554432000 4194304 6058637 140734693985280 140734693984056 4255137 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 30079 178 456 0 34071 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 138140

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.19 4/178 20491
/proc/meminfo: memFree=29749200/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=1542.06 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 51195 0 0 0 154140 66 0 0 20 0 1 0 116060757 141455360 32127 33554432000 4194304 6058637 140734693985280 140734693984056 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 32127 178 456 0 34071 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 138140

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.18 3/177 20492
/proc/meminfo: memFree=29736768/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=138140 CPUtime=1602.04 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 52540 0 0 0 160136 68 0 0 20 0 1 0 116060757 141455360 33151 33554432000 4194304 6058637 140734693985280 140734693984056 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 34535 33151 178 456 0 34071 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 138140

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/177 20494
/proc/meminfo: memFree=29729480/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=168960 CPUtime=1662.03 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 54260 0 0 0 166132 71 0 0 20 0 1 0 116060757 173015040 34012 33554432000 4194304 6058637 140734693985280 140734693984312 4278160 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42240 34012 178 456 0 41776 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 168960

[startup+1722.3 s]
/proc/loadavg: 2.25 2.24 2.18 4/177 20495
/proc/meminfo: memFree=29725984/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=140560 CPUtime=1722.02 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 55458 0 0 0 172129 73 0 0 20 0 1 0 116060757 143933440 34347 33554432000 4194304 6058637 140734693985280 140734693984056 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 35140 34347 178 456 0 34676 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 140560

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 20588
/proc/meminfo: memFree=29909288/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=171380 CPUtime=1782.02 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 56963 0 0 0 178125 77 0 0 20 0 1 0 116060757 175493120 34477 33554432000 4194304 6058637 140734693985280 140734693984312 4255486 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42845 34477 178 456 0 42381 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 171380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 20588
/proc/meminfo: memFree=29863872/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=171380 CPUtime=1800.01 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 57344 0 0 0 179924 77 0 0 20 0 1 0 116060757 175493120 39455 33554432000 4194304 6058637 140734693985280 140734693984312 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42845 39455 178 456 0 42381 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 171380

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20451 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 20588
/proc/meminfo: memFree=29863872/32872528 swapFree=16080/1655368
[pid=20451] ppid=20448 vsize=171380 CPUtime=1800.01 cores=1,3,5,7
/proc/20451/stat : 20451 (open-wbo-lsu) R 20448 20451 15520 0 -1 4202496 57344 0 0 0 179924 77 0 0 20 0 1 0 116060757 175493120 39455 33554432000 4194304 6058637 140734693985280 140734693984312 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20451/statm: 42845 39455 178 456 0 42381 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 171380

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.24
CPU system time (s): 0.780881
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 221468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.780881
maximum resident set size= 175408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57347
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= 12
involuntary context switches= 1889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01993 second user time and 8.33273 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-08 01:14:32
IDJOB=4083842
IDBENCH=2266
IDSOLVER=2545
FILE ID=node122/4083842-1465341272
RUNJOBID= node122-1465314711-15537
PBS_JOBID= 19850115
Free space on /tmp= 71732 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4083842-1465341272/watcher-4083842-1465341272 -o /tmp/evaluation-result-4083842-1465341272/solver-4083842-1465341272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465314711-15537 --watchdog 1960  open-wbo-lsu HOME/instance-4083842-1465341272.opb

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

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=2138646275

node122.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.898
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.79
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.898
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	: 5332.55
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.898
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	: 5332.54
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.898
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	: 5332.55
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.898
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	: 5332.55
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.898
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	: 5332.55
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.898
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	: 5332.55
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.898
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30000960 kB
Buffers:          155364 kB
Cached:           268164 kB
SwapCached:          848 kB
Active:           187636 kB
Inactive:         291268 kB
Active(anon):      55820 kB
Inactive(anon):     2156 kB
Active(file):     131816 kB
Inactive(file):   289112 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:             15600 kB
Writeback:             0 kB
AnonPages:       1886700 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             603956 kB
SReclaimable:      47964 kB
SUnreclaim:       555992 kB
KernelStack:        1472 kB
PageTables:         7604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1828104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1843200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node122 at 2016-06-08 01:44:32