Trace number 4118658

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)170 1800.09 1800.4

General information on the benchmark

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

Verifier Data 

OK	170

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-4118658-1467241279/watcher-4118658-1467241279 -o /tmp/evaluation-result-4118658-1467241279/solver-4118658-1467241279 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467233435-8317 --watchdog 1960 open-wbo-lsu HOME/instance-4118658-1467241279.opb 

pid=9853
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: 1.93 2.00 1.99 3/175 9856
/proc/meminfo: memFree=29964600/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=2732 CPUtime=0 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 5231708 2797568 293 33554432000 4194304 6058637 140733242589024 140734483421512 5130283 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 683 293 200 456 0 154 0

[startup+0.100202 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 9856
/proc/meminfo: memFree=29964600/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=19732 CPUtime=0.09 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 4041 0 0 0 9 0 0 0 20 0 1 0 5231708 20205568 4308 33554432000 4194304 6058637 140733242589024 140734483421512 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 4933 4309 170 456 0 4469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19732

[startup+0.20035 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 9856
/proc/meminfo: memFree=29964600/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=43188 CPUtime=0.19 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 7512 0 0 0 18 1 0 0 20 0 1 0 5231708 44224512 9741 33554432000 4194304 6058637 140733242589024 140734483421512 5046461 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 10797 9743 170 456 0 10333 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43188

[startup+0.300292 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 9856
/proc/meminfo: memFree=29964600/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=65356 CPUtime=0.29 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 10788 0 0 0 27 2 0 0 20 0 1 0 5231708 66924544 14410 33554432000 4194304 6058637 140733242589024 140734483421512 4312986 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 16339 14410 170 456 0 15875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65356

[startup+0.700246 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 9856
/proc/meminfo: memFree=29964600/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=151728 CPUtime=0.68 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 20773 0 0 0 65 3 0 0 20 0 1 0 5231708 155369472 32894 33554432000 4194304 6058637 140733242589024 140733242587432 4300452 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 37932 32894 170 456 0 37468 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 151728

[startup+1.50026 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 9857
/proc/meminfo: memFree=29754676/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=259172 CPUtime=1.48 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 34751 0 0 0 143 5 0 0 20 0 1 0 5231708 265392128 55957 33554432000 4194304 6058637 140733242589024 140733242587432 4277655 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 64793 55957 179 456 0 64329 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 259172

[startup+3.10029 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 9857
/proc/meminfo: memFree=29738244/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=260756 CPUtime=3.08 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 35140 0 0 0 303 5 0 0 20 0 1 0 5231708 267014144 56346 33554432000 4194304 6058637 140733242589024 140733242587640 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 65189 56346 183 456 0 64725 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 260756

[startup+6.30025 s]
/proc/loadavg: 1.93 2.00 1.99 3/176 9857
/proc/meminfo: memFree=29775428/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=261284 CPUtime=6.28 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 35274 0 0 0 623 5 0 0 20 0 1 0 5231708 267554816 56480 33554432000 4194304 6058637 140733242589024 140733242587640 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 65321 56480 183 456 0 64857 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 261284

[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 9857
/proc/meminfo: memFree=29772960/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=261780 CPUtime=12.68 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 35384 0 0 0 1263 5 0 0 20 0 1 0 5231708 268062720 57099 33554432000 4194304 6058637 140733242589024 140733242587752 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 65445 57099 183 456 0 64981 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 261780

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.99 3/176 9857
/proc/meminfo: memFree=29789168/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=262496 CPUtime=25.48 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 36121 0 0 0 2541 7 0 0 20 0 1 0 5231708 268795904 52975 33554432000 4194304 6058637 140733242589024 140733242587576 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 65624 52975 184 456 0 65160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 262496

[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.99 3/175 9857
/proc/meminfo: memFree=29779952/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=263672 CPUtime=51.07 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 36456 0 0 0 5099 8 0 0 20 0 1 0 5231708 270000128 55349 33554432000 4194304 6058637 140733242589024 140733242587624 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 65918 55349 184 456 0 65454 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 263672

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/175 9858
/proc/meminfo: memFree=29742796/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=265808 CPUtime=102.24 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 37575 0 0 0 10215 9 0 0 20 0 1 0 5231708 272187392 55891 33554432000 4194304 6058637 140733242589024 140733242587640 4277655 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 66452 55891 184 456 0 65988 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 265808

[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/175 9859
/proc/meminfo: memFree=29779280/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=268832 CPUtime=162.24 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 38763 0 0 0 16212 12 0 0 20 0 1 0 5231708 275283968 55480 33554432000 4194304 6058637 140733242589024 140733242587640 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 67208 55480 184 456 0 66744 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 268832

[startup+222.307 s]
/proc/loadavg: 2.19 2.06 2.01 3/175 9860
/proc/meminfo: memFree=29708368/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=271756 CPUtime=222.23 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 39482 0 0 0 22210 13 0 0 20 0 1 0 5231708 278278144 61307 33554432000 4194304 6058637 140733242589024 140733242587640 4277495 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 67939 61307 184 456 0 67475 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 271756

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/175 9862
/proc/meminfo: memFree=29731220/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=273064 CPUtime=282.21 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 40357 0 0 0 28207 14 0 0 20 0 1 0 5231708 279617536 59685 33554432000 4194304 6058637 140733242589024 140733242587640 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 68266 59685 184 456 0 67802 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 273064

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 9863
/proc/meminfo: memFree=29703740/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=274016 CPUtime=342.21 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 41027 0 0 0 34205 16 0 0 20 0 1 0 5231708 280592384 58314 33554432000 4194304 6058637 140733242589024 140733242587640 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 68504 58314 184 456 0 68040 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 274016

[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 9864
/proc/meminfo: memFree=29702168/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=275840 CPUtime=402.2 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 41972 0 0 0 40202 18 0 0 20 0 1 0 5231708 282460160 57792 33554432000 4194304 6058637 140733242589024 140733242587640 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 68960 57792 184 456 0 68496 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 275840

[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/175 9865
/proc/meminfo: memFree=29680112/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=277512 CPUtime=462.18 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 42368 0 0 0 46200 18 0 0 20 0 1 0 5231708 284172288 62787 33554432000 4194304 6058637 140733242589024 140733242587640 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 69378 62787 184 456 0 68914 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 277512

[startup+522.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/176 9869
/proc/meminfo: memFree=29689292/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=279068 CPUtime=522.18 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 43019 0 0 0 52198 20 0 0 20 0 1 0 5231708 285765632 60892 33554432000 4194304 6058637 140733242589024 140733242587640 4246170 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 69767 60892 184 456 0 69303 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 279068

[startup+582.3 s]
/proc/loadavg: 2.23 2.12 2.03 3/175 9871
/proc/meminfo: memFree=29699128/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=280956 CPUtime=582.17 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 44000 0 0 0 58196 21 0 0 20 0 1 0 5231708 287698944 59528 33554432000 4194304 6058637 140733242589024 140733242587640 4278162 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 70239 59528 184 456 0 69775 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 280956


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.10 2.03 3/174 9876
/proc/meminfo: memFree=29661772/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=287860 CPUtime=882.13 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 46839 0 0 0 88186 27 0 0 20 0 1 0 5231708 294768640 63665 33554432000 4194304 6058637 140733242589024 140733242587640 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 71965 63665 184 456 0 71501 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 287860

[startup+942.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/175 9878
/proc/meminfo: memFree=29696304/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=289072 CPUtime=942.12 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 47194 0 0 0 94183 29 0 0 20 0 1 0 5231708 296009728 60116 33554432000 4194304 6058637 140733242589024 140733242587640 4277733 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 72268 60116 184 456 0 71804 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 289072

[startup+1002.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/175 9879
/proc/meminfo: memFree=29652200/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=292940 CPUtime=1002.1 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 48035 0 0 0 100181 29 0 0 20 0 1 0 5231708 299970560 65554 33554432000 4194304 6058637 140733242589024 140733242587640 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 73235 65554 184 456 0 72771 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 292940

[startup+1062.3 s]
/proc/loadavg: 2.14 2.10 2.04 3/175 9880
/proc/meminfo: memFree=29718516/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=293492 CPUtime=1062.1 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 48512 0 0 0 106179 31 0 0 20 0 1 0 5231708 300535808 62834 33554432000 4194304 6058637 140733242589024 140733242587640 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 73373 62834 184 456 0 72909 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 293492

[startup+1122.3 s]
/proc/loadavg: 2.14 2.11 2.04 4/176 9884
/proc/meminfo: memFree=29650236/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=294636 CPUtime=1122.08 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 48811 0 0 0 112177 31 0 0 20 0 1 0 5231708 301707264 68406 33554432000 4194304 6058637 140733242589024 140733242587640 4278181 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 73659 68406 184 456 0 73195 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 294636

[startup+1182.3 s]
/proc/loadavg: 2.18 2.12 2.04 3/175 9885
/proc/meminfo: memFree=29652672/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=295936 CPUtime=1182.07 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 49227 0 0 0 118174 33 0 0 20 0 1 0 5231708 303038464 65424 33554432000 4194304 6058637 140733242589024 140733242587640 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 73984 65424 184 456 0 73520 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 295936

[startup+1242.3 s]
/proc/loadavg: 2.25 2.14 2.06 3/175 9887
/proc/meminfo: memFree=29688644/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=296604 CPUtime=1242.07 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 49433 0 0 0 124173 34 0 0 20 0 1 0 5231708 303722496 70229 33554432000 4194304 6058637 140733242589024 140733242587640 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 74151 70229 184 456 0 73687 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 296604

[startup+1302.3 s]
/proc/loadavg: 2.15 2.13 2.05 3/175 9888
/proc/meminfo: memFree=29659068/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=298272 CPUtime=1302.05 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 50180 0 0 0 130170 35 0 0 20 0 1 0 5231708 305430528 66239 33554432000 4194304 6058637 140733242589024 140733242587640 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 74568 66239 184 456 0 74104 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 298272

[startup+1362.3 s]
/proc/loadavg: 2.10 2.12 2.05 3/175 9889
/proc/meminfo: memFree=29627808/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=298964 CPUtime=1362.04 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 50326 0 0 0 136169 35 0 0 20 0 1 0 5231708 306139136 71495 33554432000 4194304 6058637 140733242589024 140733242587640 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 74741 71495 184 456 0 74277 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 298964

[startup+1422.3 s]
/proc/loadavg: 2.25 2.15 2.07 3/175 9935
/proc/meminfo: memFree=29562992/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=299392 CPUtime=1422.04 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 50558 0 0 0 142167 37 0 0 20 0 1 0 5231708 306577408 66796 33554432000 4194304 6058637 140733242589024 140733242587640 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 74848 66796 184 456 0 74384 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 299392

[startup+1482.3 s]
/proc/loadavg: 2.15 2.14 2.07 3/175 9936
/proc/meminfo: memFree=29557576/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=300100 CPUtime=1482.03 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 50756 0 0 0 148166 37 0 0 20 0 1 0 5231708 307302400 71082 33554432000 4194304 6058637 140733242589024 140733242587640 4277682 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75025 71082 184 456 0 74561 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 300100

[startup+1542.31 s]
/proc/loadavg: 2.10 2.13 2.07 3/175 9938
/proc/meminfo: memFree=29564404/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=300648 CPUtime=1542.03 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 51234 0 0 0 154164 39 0 0 20 0 1 0 5231708 307863552 65878 33554432000 4194304 6058637 140733242589024 140733242587640 4277674 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75162 65878 184 456 0 74698 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 300648

[startup+1602.3 s]
/proc/loadavg: 2.14 2.13 2.07 3/175 9939
/proc/meminfo: memFree=29558048/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=301496 CPUtime=1602.01 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 51423 0 0 0 160162 39 0 0 20 0 1 0 5231708 308731904 71177 33554432000 4194304 6058637 140733242589024 140733242587640 4278255 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75374 71177 184 456 0 74910 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 301496

[startup+1662.3 s]
/proc/loadavg: 2.27 2.16 2.09 3/175 9940
/proc/meminfo: memFree=29567756/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=302260 CPUtime=1662 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 51716 0 0 0 166159 41 0 0 20 0 1 0 5231708 309514240 64494 33554432000 4194304 6058637 140733242589024 140733242588088 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75565 64494 184 456 0 75101 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 302260

[startup+1722.3 s]
/proc/loadavg: 2.14 2.15 2.09 5/178 9944
/proc/meminfo: memFree=29559612/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=302732 CPUtime=1721.99 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 51847 0 0 0 172158 41 0 0 20 0 1 0 5231708 309997568 68711 33554432000 4194304 6058637 140733242589024 140733242587640 4277843 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75683 68711 184 456 0 75219 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 302732

[startup+1782.3 s]
/proc/loadavg: 2.21 2.16 2.09 3/175 9945
/proc/meminfo: memFree=29553812/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=303652 CPUtime=1781.98 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 52390 0 0 0 178155 43 0 0 20 0 1 0 5231708 310939648 67085 33554432000 4194304 6058637 140733242589024 140733242587640 4277640 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75913 67085 184 456 0 75449 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 303652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.17 2.10 4/175 9946
/proc/meminfo: memFree=29546476/32872528 swapFree=447588/480292
[pid=9856] ppid=9853 vsize=303788 CPUtime=1800.07 cores=0,2,4,6
/proc/9856/stat : 9856 (open-wbo-lsu) R 9853 9856 3935 0 -1 4202496 52430 0 0 0 179964 43 0 0 20 0 1 0 5231708 311078912 68147 33554432000 4194304 6058637 140733242589024 140733242587640 4277655 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9856/statm: 75947 68147 184 456 0 75483 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 303788

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 9856 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.65
CPU system time (s): 0.439933
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 432960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.439933
maximum resident set size= 379864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52432
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= 63
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31534 second user time and 6.25005 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 01:01:19
IDJOB=4118658
IDBENCH=111518
IDSOLVER=2545
FILE ID=node104/4118658-1467241279
RUNJOBID= node104-1467233435-8317
PBS_JOBID= 19997589
Free space on /tmp= 71728 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.lin.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118658-1467241279/watcher-4118658-1467241279 -o /tmp/evaluation-result-4118658-1467241279/solver-4118658-1467241279 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467233435-8317 --watchdog 1960  open-wbo-lsu HOME/instance-4118658-1467241279.opb

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

MD5SUM BENCH= 6751aa1e72352adc2419b6d0d9052031
RANDOM SEED=1307260388

node104.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.334
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.66
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.334
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.334
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.55
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.334
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.334
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.334
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.334
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.54
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.334
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:        29965136 kB
Buffers:          138708 kB
Cached:          1415548 kB
SwapCached:            0 kB
Active:          1070812 kB
Inactive:         618844 kB
Active(anon):     137688 kB
Inactive(anon):        0 kB
Active(file):     933124 kB
Inactive(file):   618844 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:        619112 kB
Mapped:            13908 kB
Shmem:               204 kB
Slab:             605916 kB
SReclaimable:      50216 kB
SUnreclaim:       555700 kB
KernelStack:        1464 kB
PageTables:         4912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     742900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71720 MiB
End job on node104 at 2016-06-30 01:31:20