Trace number 453622

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, and are wall clock time (not CPU 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
absconPseudo 102SAT (TO)5 1800.14 1800.45

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark40.2319
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


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

Solver Data (download as text)

1.24/1.17	o 7
14.84/14.78	o 6
97.02/96.94	o 5
1800.08/1800.41	s SATISFIABLE
1800.08/1800.41	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29
1800.08/1800.41	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.08/1800.41	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.08/1800.41	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.08/1800.41	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.08/1800.41	v x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.08/1800.41	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.08/1800.41	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.08/1800.41	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.08/1800.41	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.08/1800.41	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.08/1800.41	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.08/1800.41	v -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.08/1800.41	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.08/1800.41	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.08/1800.41	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.08/1800.41	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378
1800.08/1800.41	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.08/1800.41	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.08/1800.41	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441
1800.08/1800.41	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462
1800.08/1800.41	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.08/1800.41	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 x499 -x500 -x501 -x502 -x503 -x504
1800.08/1800.41	v -x505 -x506 -x507 -x508 x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525
1800.08/1800.41	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546
1800.08/1800.41	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567
1800.08/1800.41	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.08/1800.41	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.08/1800.41	v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630
1800.08/1800.41	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.08/1800.41	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.08/1800.41	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.08/1800.41	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.08/1800.41	v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.08/1800.41	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756
1800.08/1800.41	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.08/1800.41	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.08/1800.41	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.08/1800.41	v -x820 x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.08/1800.41	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.08/1800.41	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.08/1800.41	v -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.08/1800.41	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924
1800.08/1800.41	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.08/1800.41	v -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.08/1800.41	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987
1800.08/1800.41	v -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1800.08/1800.41	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1800.08/1800.41	v -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.08/1800.41	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.08/1800.41	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.08/1800.41	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.08/1800.41	v -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.08/1800.41	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.08/1800.41	v -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.08/1800.41	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162
1800.08/1800.41	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.08/1800.41	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1800.08/1800.41	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.08/1800.41	v x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.08/1800.41	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249
1800.08/1800.41	v -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1800.08/1800.41	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1800.08/1800.41	v -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301
1800.08/1800.41	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.08/1800.41	v -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.08/1800.41	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.08/1800.41	v -x1353 -x1354 x1355 -x1356 -x1357 -x1358 x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1800.08/1800.41	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
1800.08/1800.41	v -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1800.08/1800.41	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1800.08/1800.41	v -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439
1800.08/1800.41	v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456
1800.08/1800.41	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1800.08/1800.41	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491
1800.08/1800.41	v -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
1800.08/1800.41	v -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526
1800.08/1800.41	v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1800.08/1800.41	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561
1800.08/1800.41	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
1800.08/1800.41	v -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595
1800.08/1800.41	v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
1800.08/1800.41	v -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
1800.08/1800.41	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1800.08/1800.41	v -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1800.08/1800.41	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 x1680 -x1681 -x1682
1800.08/1800.41	v -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
1800.08/1800.41	v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716
1800.08/1800.41	v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733
1800.08/1800.41	v -x1734 -x1735 -x1736 x1737 -x1738 -x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1800.08/1800.41	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768
1800.08/1800.41	v x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.08/1800.41	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803
1800.08/1800.41	v -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1800.08/1800.41	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.08/1800.41	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.08/1800.41	v -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.08/1800.41	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1800.08/1800.41	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1800.08/1800.41	v -x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.08/1800.41	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943
1800.08/1800.41	v -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1800.08/1800.41	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1800.08/1800.41	v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.08/1800.41	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012
1800.08/1800.41	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1800.08/1800.41	v -x2030 x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.08/1800.41	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1800.08/1800.41	v -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1800.08/1800.41	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 x2091 -x2092 x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099
1800.08/1800.41	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.08/1800.41	v -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.08/1800.41	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150
1800.08/1800.41	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.08/1800.41	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185
1800.08/1800.41	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202
1800.08/1800.41	v -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1800.08/1800.41	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236
1800.08/1800.41	v x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.08/1800.41	v -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1800.08/1800.41	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
1800.08/1800.41	v x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307
1800.08/1800.41	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325
1800.08/1800.41	v -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342
1800.08/1800.41	v -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359
1800.08/1800.41	v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376
1800.08/1800.41	v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
1800.08/1800.41	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1800.08/1800.41	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.08/1800.41	v x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
1800.08/1800.41	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463
1800.08/1800.41	v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
1800.08/1800.41	v -x2481 x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498
1800.08/1800.41	v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516
1800.08/1800.41	v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.08/1800.41	v x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
1800.08/1800.41	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567
1800.08/1800.41	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
1800.08/1800.41	v -x2585 -x2586 -x2587 x2588 -x2589 -x2590 x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602
1800.08/1800.41	v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
1800.08/1800.41	v -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1800.08/1800.41	v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 x2654
1800.08/1800.41	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1800.08/1800.41	v -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1800.08/1800.41	v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1800.08/1800.41	v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723
1800.08/1800.41	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.08/1800.41	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758
1800.08/1800.41	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.08/1800.41	v -x2776 -x2777 -x2778 -x2779 x2780 -x2781 x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.08/1800.41	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.08/1800.41	v -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.08/1800.41	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845
1800.08/1800.41	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862
1800.08/1800.41	v -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1800.08/1800.41	v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 x2895 -x2896 -x2897
1800.08/1800.41	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914
1800.08/1800.41	v -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931
1800.08/1800.41	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1800.08/1800.41	v -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1800.08/1800.41	v -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
1800.08/1800.41	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999
1800.08/1800.41	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016
1800.08/1800.41	v -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034
1800.08/1800.41	v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 x3049 -x3050 -x3051 -x3052
1800.08/1800.41	v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069
1800.08/1800.41	v -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086
1800.08/1800.41	v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103
1800.08/1800.41	v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
1800.08/1800.41	v -x3121 -x3122 x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.08/1800.41	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1800.08/1800.41	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170

Verifier Data (download as text)

OK	5

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-453622-1178144393 -o ROOT/results/node2/solver-453622-1178144393 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 0.98 0.97 2/77 4008
/proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=0 CPUtime=0
/proc/4008/stat : 4008 (runsolver) R 4006 4008 3031 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 290477115 0 0 18446744073709551615 0 0 0 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4008/statm: 0 0 0 0 0 0 0

[startup+0.0672339 s]
/proc/loadavg: 1.01 0.98 0.97 2/77 4008
/proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1787440 CPUtime=0.05
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 3353 0 1 0 4 1 0 0 18 0 9 0 290477115 1830338560 2876 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 446860 2877 1127 9 0 441830 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1787440

[startup+0.102777 s]
/proc/loadavg: 1.01 0.98 0.97 2/77 4008
/proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790300 CPUtime=0.1
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 4347 0 1 0 8 2 0 0 18 0 9 0 290477115 1833267200 3787 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447575 3788 1715 9 0 442167 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790300

[startup+0.301801 s]
/proc/loadavg: 1.01 0.98 0.97 2/77 4008
/proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=0.35
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 7314 0 1 0 31 4 0 0 18 0 9 0 290477115 1833295872 6728 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 6730 1847 9 0 442167 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790328

[startup+0.701837 s]
/proc/loadavg: 1.01 0.98 0.97 2/77 4008
/proc/meminfo: memFree=1466672/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=0.82
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13239 0 2 0 75 7 0 0 18 0 9 0 290477115 1833295872 12637 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12637 1871 9 0 442167 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1790328

[startup+1.50192 s]
/proc/loadavg: 1.01 0.98 0.97 3/86 4017
/proc/meminfo: memFree=1422824/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1.64
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13277 0 2 0 157 7 0 0 18 0 9 0 290477115 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12674 1871 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1.47
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12157 0 2 0 141 6 0 0 25 0 9 0 290477117 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797686 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 290477118 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 399 0 0 0 16 0 0 0 15 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 1790328

[startup+3.10209 s]
/proc/loadavg: 1.01 0.98 0.97 2/86 4017
/proc/meminfo: memFree=1422568/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=3.24
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13277 0 2 0 317 7 0 0 18 0 9 0 290477115 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12674 1871 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=3.07
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12157 0 2 0 301 6 0 0 25 0 9 0 290477117 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775455 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 399 0 0 0 16 0 0 0 15 0 9 0 290477120 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12674 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 1790328

[startup+6.30142 s]
/proc/loadavg: 1.01 0.98 0.97 2/86 4017
/proc/meminfo: memFree=1422376/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=6.44
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13282 0 2 0 637 7 0 0 18 0 9 0 290477115 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12676 1872 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=6.27
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12159 0 2 0 621 6 0 0 25 0 9 0 290477117 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126095811 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 401 0 0 0 16 0 0 0 16 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 1790328

[startup+12.7021 s]
/proc/loadavg: 1.01 0.98 0.97 2/86 4017
/proc/meminfo: memFree=1422184/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=12.84
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13283 0 2 0 1277 7 0 0 18 0 9 0 290477115 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12676 1872 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=12.66
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 1260 6 0 0 25 0 9 0 290477117 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.16
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 401 0 0 0 16 0 0 0 16 0 9 0 290477120 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12676 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 1790328

[startup+25.5014 s]
/proc/loadavg: 1.01 0.98 0.97 2/86 4017
/proc/meminfo: memFree=1422120/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=25.65
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13287 0 2 0 2558 7 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=25.46
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 2540 6 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775255 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) R 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.65
Current children cumulated vsize (KiB) 1790328

[startup+51.1011 s]
/proc/loadavg: 1.07 1.00 0.98 2/86 4017
/proc/meminfo: memFree=1422184/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=51.23
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13287 0 2 0 5116 7 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=51.05
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12160 0 2 0 5099 6 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797683 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0

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

/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) R 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1790328

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1542.04
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 154194 10 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1541.85
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 154176 9 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775258 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1790328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1602.03
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 160192 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1601.85
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 160175 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126849906 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1790328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1662.01
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 166190 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1661.83
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 166173 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126793866 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1790328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421992/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1722
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 172189 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1721.81
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 172171 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126797680 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1790328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421928/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1781.98
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 178187 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1781.8
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 178170 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126839685 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1790328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 4019
/proc/meminfo: memFree=1421928/2055920 swapFree=4148856/4192956
[pid=4008] ppid=4006 vsize=1790328 CPUtime=1800.08
/proc/4008/stat : 4008 (java) S 4006 4008 3031 0 -1 0 13288 0 2 0 179997 11 0 0 18 0 9 0 290477115 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4008/statm: 447582 12680 1873 9 0 442167 0
[pid=4008/tid=4010] ppid=4006 vsize=1790328 CPUtime=1799.9
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3031 0 -1 64 12161 0 2 0 179980 10 0 0 25 0 9 0 290477117 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126839694 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 290477118 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4012] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3031 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3031 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 290477119 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=1790328 CPUtime=0.17
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3031 0 -1 64 405 0 0 0 17 0 0 0 16 0 9 0 290477120 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4008/tid=4016] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3031 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=1790328 CPUtime=0
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3031 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290477121 1833295872 12680 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1790328

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

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

Child status: 143
Real time (s): 1800.45
CPU time (s): 1800.14
CPU user time (s): 1800.01
CPU system time (s): 0.124981
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1790328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13320
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36694
involuntary context switches= 8217

runsolver used 1.63175 second user time and 4.93125 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed May  2 22:19:53 UTC 2007

IDJOB= 453622
IDBENCH= 48143
IDSOLVER= 155
FILE ID= node2/453622-1178144393

PBS_JOBID= 4751056

Free space on /tmp= 66563 MiB

SOLVER NAME= absconPseudo 102
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453622-1178144393 -o ROOT/results/node2/conversion-453622-1178144393 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-453622-1178144393 -o ROOT/results/node2/solver-453622-1178144393 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453622-1178144393/instance-453622-1178144393.opb            

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  4c6ab7a9b1b11dc4bf8c6231156cc585

RANDOM SEED= 599200055

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1467016 kB
Buffers:        211876 kB
Cached:         230856 kB
SwapCached:      12392 kB
Active:         180492 kB
Inactive:       288724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467016 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            2300 kB
Writeback:           0 kB
Mapped:          32784 kB
Slab:           105112 kB
Committed_AS: 11447760 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node2 on Wed May  2 22:49:56 UTC 2007