Trace number 43239

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
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)0 1800.42 1786.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc105.opb
MD5SUM8d90be9657104ee8258c7546119c4988
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.47232
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables3090
Total number of constraints104
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 constraints104
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node73/watcher-43239-1149310866 -o ROOT/results/node73/solver-43239-1149310866 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/43239-1149310866/instance-43239-1149310866.opb 467299414 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.98 0.97 3/70 22505
/proc/meminfo: memFree=1841328/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1784 CPUtime=0
/proc/22505/stat : 22505 (java) D 22503 22505 22459 0 -1 0 170 0 0 0 0 0 0 0 19 0 1 0 196751358 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22505/statm: 446 141 106 14 0 91 0

[startup+10.0023 s]
/proc/loadavg: 0.94 0.98 0.97 2/82 22576
/proc/meminfo: memFree=1688408/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1712000 CPUtime=11.24
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 43647 0 1 0 1104 20 0 0 18 0 13 0 196751358 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 428000 40056 1908 14 0 414747 0
[pid=22505/tid=22506] ppid=22503 vsize=1712000 CPUtime=0.08
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 1926 0 0 0 7 1 0 0 16 0 13 0 196751362 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1712000 CPUtime=0.08
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 1829 0 0 0 8 0 0 0 16 0 13 0 196751362 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1712000 CPUtime=0.71
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 538 0 0 0 71 0 0 0 17 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1712000 CPUtime=0.91
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 91 0 0 0 17 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1712000 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 196752076 1753088000 40056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (Kb) 1712000

[startup+20.0112 s]
/proc/loadavg: 0.95 0.98 0.97 2/76 22658
/proc/meminfo: memFree=1656016/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=21.33
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 52265 0 1 0 2108 25 0 0 25 0 13 0 196751358 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 427992 48435 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=0.14
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 4368 0 0 0 13 1 0 0 16 0 13 0 196751362 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=0.14
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 3956 0 0 0 13 1 0 0 16 0 13 0 196751362 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.74
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 74 0 0 0 17 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 196752076 1753055232 48435 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.33
Current children cumulated vsize (Kb) 1711968

[startup+30.0182 s]
/proc/loadavg: 0.95 0.98 0.97 2/76 22658
/proc/meminfo: memFree=1654264/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=31.36
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 53539 0 1 0 3110 26 0 0 25 0 13 0 196751358 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071537207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 427992 48852 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=0.18
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 4996 0 0 0 16 2 0 0 16 0 13 0 196751362 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=0.17
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 4597 0 0 0 16 1 0 0 16 0 13 0 196751362 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.74
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 74 0 0 0 17 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 196752076 1753055232 48852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.36
Current children cumulated vsize (Kb) 1711968

[startup+40.0252 s]
/proc/loadavg: 0.96 0.98 0.97 2/76 22658
/proc/meminfo: memFree=1655160/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=41.39
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 54279 0 1 0 4112 27 0 0 25 0 13 0 196751358 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071474290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 427992 48635 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=0.2
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 5266 0 0 0 18 2 0 0 16 0 13 0 196751362 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=0.19
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 5061 0 0 0 18 1 0 0 16 0 13 0 196751362 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.74
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 74 0 0 0 17 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 48635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.39
Current children cumulated vsize (Kb) 1711968

[startup+50.0321 s]
/proc/loadavg: 0.97 0.98 0.97 2/76 22658
/proc/meminfo: memFree=1658296/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=51.42
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 54956 0 1 0 5115 27 0 0 25 0 13 0 196751358 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 427992 47856 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=0.23
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 5529 0 0 0 21 2 0 0 16 0 13 0 196751362 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=0.23
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 5470 0 0 0 21 2 0 0 16 0 13 0 196751362 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.74
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 74 0 0 0 17 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 47856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.42
Current children cumulated vsize (Kb) 1711968

[startup+60.0391 s]
/proc/loadavg: 0.97 0.98 0.97 2/76 22658
/proc/meminfo: memFree=1661112/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=61.45
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 55604 0 1 0 6117 28 0 0 25 0 13 0 196751358 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22505/statm: 427992 47158 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=0.24
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 5768 0 0 0 22 2 0 0 16 0 13 0 196751362 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=0.25
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 5874 0 0 0 23 2 0 0 16 0 13 0 196751362 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196751364 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 47158 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (Kb) 1711968

[startup+1783.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 22658
/proc/meminfo: memFree=1530624/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=1797.14
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 151859 0 1 0 179620 94 0 0 25 0 13 0 196751358 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071380308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22505/statm: 427992 79509 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=13.54
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 33545 0 0 0 1335 19 0 0 16 0 13 0 196751362 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=13.55
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 38206 0 0 0 1336 19 0 0 16 0 13 0 196751362 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0.3
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 147 0 0 0 15 15 0 0 16 0 13 0 196751364 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (Kb) 1711968

[startup+1784.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 22658
/proc/meminfo: memFree=1530560/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=1798.17
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 151877 0 1 0 179723 94 0 0 25 0 13 0 196751358 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071473425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22505/statm: 427992 79526 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=13.56
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 33548 0 0 0 1337 19 0 0 16 0 13 0 196751362 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=13.57
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 38220 0 0 0 1338 19 0 0 16 0 13 0 196751362 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0.3
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 147 0 0 0 15 15 0 0 16 0 13 0 196751364 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (Kb) 1711968

[startup+1785.43 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 22658
/proc/meminfo: memFree=1530560/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=1799.18
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 151877 0 1 0 179824 94 0 0 25 0 13 0 196751358 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071605493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22505/statm: 427992 79526 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=13.56
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 33548 0 0 0 1337 19 0 0 16 0 13 0 196751362 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=13.57
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 38220 0 0 0 1338 19 0 0 16 0 13 0 196751362 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0.3
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 147 0 0 0 15 15 0 0 16 0 13 0 196751364 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (Kb) 1711968

[startup+1786.44 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 22658
/proc/meminfo: memFree=1528896/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=1800.2
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 152299 0 1 0 179926 94 0 0 25 0 13 0 196751358 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071470850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22505/statm: 427992 79947 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=13.58
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 33744 0 0 0 1339 19 0 0 16 0 13 0 196751362 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=13.59
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 38445 0 0 0 1340 19 0 0 16 0 13 0 196751362 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0.3
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 147 0 0 0 15 15 0 0 16 0 13 0 196751364 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (Kb) 1711968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.44 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 22658
/proc/meminfo: memFree=1528896/2055920 swapFree=4182212/4192956
[pid=22505] ppid=22503 vsize=1711968 CPUtime=1800.21
/proc/22505/stat : 22505 (java) R 22503 22505 22459 0 -1 0 152299 0 1 0 179927 94 0 0 25 0 13 0 196751358 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071473425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22505/statm: 427992 79947 1910 14 0 414739 0
[pid=22505/tid=22506] ppid=22503 vsize=1711968 CPUtime=13.58
/proc/22505/task/22506/stat : 22506 (java) S 22503 22505 22459 0 -1 64 33744 0 0 0 1339 19 0 0 16 0 13 0 196751362 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22507] ppid=22503 vsize=1711968 CPUtime=13.59
/proc/22505/task/22507/stat : 22507 (java) S 22503 22505 22459 0 -1 64 38445 0 0 0 1340 19 0 0 16 0 13 0 196751362 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22508] ppid=22503 vsize=1711968 CPUtime=0.3
/proc/22505/task/22508/stat : 22508 (java) S 22503 22505 22459 0 -1 64 147 0 0 0 15 15 0 0 16 0 13 0 196751364 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22509] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22509/stat : 22509 (java) S 22503 22505 22459 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22510] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22510/stat : 22510 (java) S 22503 22505 22459 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196751365 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22511] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22511/stat : 22511 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22512] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22512/stat : 22512 (java) S 22503 22505 22459 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22513] ppid=22503 vsize=1711968 CPUtime=0.75
/proc/22505/task/22513/stat : 22513 (java) S 22503 22505 22459 0 -1 64 543 0 0 0 75 0 0 0 16 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22505/tid=22514] ppid=22503 vsize=1711968 CPUtime=0.93
/proc/22505/task/22514/stat : 22514 (java) S 22503 22505 22459 0 -1 64 2778 0 0 0 93 0 0 0 17 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22515] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22515/stat : 22515 (java) S 22503 22505 22459 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22516] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22516/stat : 22516 (java) S 22503 22505 22459 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196751368 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22505/tid=22576] ppid=22503 vsize=1711968 CPUtime=0
/proc/22505/task/22576/stat : 22576 (java) S 22503 22505 22459 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196752076 1753055232 79947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (Kb) 1711968

Sending SIGTERM to -22505
Sleeping 2 seconds

Child status: 143
Real time (s): 1786.6
CPU time (s): 1800.42
CPU user time (s): 1799.43
CPU system time (s): 0.996848
CPU usage (%): 100.774
Max. virtual memory (cumulated for all children) (Kb): 1712000

Launcher Data (download as text)

Begin job on node73 on Sat Jun  3 05:01:06 UTC 2006


FILE ID= 43239-1149310866

PBS_JOBID= 307949

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/43239-1149310866/instance-43239-1149310866.opb 467299414
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-43239-1149310866 -o ROOT/results/node73/solver-43239-1149310866 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/43239-1149310866/instance-43239-1149310866.opb 467299414

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  8d90be9657104ee8258c7546119c4988

RANDOM SEED= 467299414


/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.261
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.261
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:       1841536 kB
Buffers:         22988 kB
Cached:         126712 kB
SwapCached:       2348 kB
Active:          24324 kB
Inactive:       134732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841536 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             336 kB
Writeback:           0 kB
Mapped:          16288 kB
Slab:            40936 kB
Committed_AS:   334100 kB
PageTables:       1644 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Sat Jun  3 05:30:53 UTC 2006