Trace number 351409

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
sat4jPseudoCPClause 2007-03-23OPT5 41.8476 39.4866

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-sample2.opb
MD5SUM98cb9153c0a6885786e060f27dbb5c7a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark10.2424
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 variables1296
Total number of constraints46
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints43
Minimum length of a constraint4
Maximum length of a constraint150
Number of terms in the objective function 729
Biggest coefficient in the objective function 23832
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524793
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262138
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524793
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.13	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c Simplify asserted PB constraints to clauses
0.20/0.20	c solving /tmp/evaluation/351409-1176598613/instance-351409-1176598613.opb
0.20/0.20	c reading problem ... 
0.64/0.59	c ... done. Wall clock time 0.392s.
0.64/0.59	c CPU time (experimental) 0.43s.
0.64/0.59	c #vars     1296
0.64/0.59	c #constraints  67
2.83/1.66	c SATISFIABLE
2.83/1.66	c OPTIMIZING...
2.83/1.66	c Got one! Elapsed wall clock time (in seconds):1.466
2.83/1.68	o 20
3.86/2.31	c Got one! Elapsed wall clock time (in seconds):2.117
3.86/2.32	o 16
4.31/2.79	c Got one! Elapsed wall clock time (in seconds):2.593
4.31/2.79	o 15
4.91/3.39	c Got one! Elapsed wall clock time (in seconds):3.19
4.91/3.39	o 7
5.02/3.48	c Got one! Elapsed wall clock time (in seconds):3.277
5.02/3.48	o 6
8.22/6.48	c Got one! Elapsed wall clock time (in seconds):6.284
8.22/6.48	o 5
41.77/39.41	c starts		: 8
41.77/39.41	c conflicts		: 814
41.77/39.41	c decisions		: 67251
41.77/39.41	c propagations		: 201530
41.77/39.41	c inspects		: 2645721
41.77/39.41	c learnt literals	: 0
41.77/39.41	c learnt binary clauses	: 0
41.77/39.41	c learnt ternary clauses	: 0
41.77/39.41	c learnt clauses	: 813
41.77/39.41	c root simplifications	: 0
41.77/39.41	c removed literals (reason simplification)	: 0
41.77/39.41	c reason swapping (by a shorter reason)	: 0
41.77/39.41	c Calls to reduceDB	: 0
41.77/39.41	c speed (decisions/second)	: 2043.9790894170567
41.77/39.41	c non guided choices	170
41.77/39.41	s OPTIMUM FOUND
41.77/39.42	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
41.77/39.42	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
41.77/39.42	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
41.77/39.42	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
41.77/39.42	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
41.77/39.42	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
41.77/39.42	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
41.77/39.42	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
41.77/39.42	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
41.77/39.42	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230
41.77/39.42	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
41.77/39.42	v -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
41.77/39.42	v -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
41.77/39.42	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 x304 -x305 -x306 x307 x308 -x309 x310 -x311 x312 -x313 -x314 -x315
41.77/39.42	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
41.77/39.42	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
41.77/39.42	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
41.77/39.42	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
41.77/39.42	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
41.77/39.42	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
41.77/39.42	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
41.77/39.42	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
41.77/39.42	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
41.77/39.42	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
41.77/39.42	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
41.77/39.42	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
41.77/39.42	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
41.77/39.42	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
41.77/39.42	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
41.77/39.42	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
41.77/39.42	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
41.77/39.42	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
41.77/39.42	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
41.77/39.42	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
41.77/39.42	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
41.77/39.42	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777
41.77/39.42	v -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
41.77/39.42	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
41.77/39.42	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
41.77/39.42	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
41.77/39.42	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
41.77/39.42	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
41.77/39.42	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
41.77/39.42	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
41.77/39.42	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
41.77/39.42	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
41.77/39.42	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
41.77/39.42	v -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024
41.77/39.42	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
41.77/39.42	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
41.77/39.42	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
41.77/39.42	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
41.77/39.42	v -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 -x1100 x1101 x1102 -x1103 -x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110
41.77/39.42	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
41.77/39.42	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
41.77/39.42	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
41.77/39.42	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
41.77/39.42	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
41.77/39.42	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
41.77/39.42	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
41.77/39.42	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
41.77/39.42	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
41.77/39.42	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280
41.77/39.42	v -x1281 -x1282 x1283 x1284 x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296
41.77/39.42	c objective function=5
41.77/39.42	c Total wall clock time (ms): 39.225

Verifier Data (download as text)

OK	5

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node66/watcher-351409-1176598613 -o ROOT/results/node66/solver-351409-1176598613 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351409-1176598613/sat4jPseudoCPClause.jar /tmp/evaluation/351409-1176598613/instance-351409-1176598613.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: 0.98 1.04 1.00 3/64 28757
/proc/meminfo: memFree=1724280/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=308 CPUtime=0
/proc/28757/stat : 28757 (java) R 28755 28757 28333 0 -1 0 56 0 0 0 0 0 0 0 18 0 1 0 135850901 315392 39 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 9839396 0 0 4096 0 0 0 0 17 1 0 0
/proc/28757/statm: 77 39 29 9 0 6 0

[startup+0.0111291 s]
/proc/loadavg: 0.98 1.04 1.00 3/64 28757
/proc/meminfo: memFree=1724280/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=12056 CPUtime=0
/proc/28757/stat : 28757 (java) R 28755 28757 28333 0 -1 0 449 0 0 0 0 0 0 0 18 0 1 0 135850901 12345344 256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 9810730 0 0 4096 0 0 0 0 17 1 0 0
/proc/28757/statm: 3014 261 136 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.101162 s]
/proc/loadavg: 0.98 1.04 1.00 3/64 28757
/proc/meminfo: memFree=1724280/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1780112 CPUtime=0.08
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 3980 0 1 0 6 2 0 0 18 0 12 0 135850901 1822834688 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 445028 3721 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301191 s]
/proc/loadavg: 0.98 1.04 1.00 3/64 28757
/proc/meminfo: memFree=1724280/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1782484 CPUtime=0.32
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 5143 0 1 0 29 3 0 0 18 0 12 0 135850901 1825263616 4881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 445621 4881 1264 9 0 443232 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782484

[startup+0.702274 s]
/proc/loadavg: 0.98 1.04 1.00 3/64 28757
/proc/meminfo: memFree=1724280/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1792376 CPUtime=1.04
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 9236 0 1 0 99 5 0 0 18 0 12 0 135850901 1835393024 8046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448094 8047 1308 9 0 445705 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 1792376

[startup+1.50144 s]
/proc/loadavg: 1.06 1.05 1.01 4/77 28770
/proc/meminfo: memFree=1691664/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1796784 CPUtime=2.62
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 21838 0 1 0 252 10 0 0 18 0 13 0 135850901 1839906816 16032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 449196 16034 1318 9 0 446807 0
[pid=28757/tid=28759] ppid=28755 vsize=1796784 CPUtime=0.8
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 11692 0 1 0 74 6 0 0 18 0 13 0 135850902 1839906816 16037 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109597229 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 135850904 1839906816 16038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 135850904 1839906816 16041 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 135850906 1839906816 16043 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135850906 1839906816 16044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 135850906 1839906816 16047 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1839906816 16049 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1796784 CPUtime=0.86
/proc/28757/task/28766/stat : 28766 (java) R 28755 28757 28333 0 -1 64 4007 0 0 0 85 1 0 0 18 0 13 0 135850910 1839906816 16051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105432378 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1796784 CPUtime=0.94
/proc/28757/task/28767/stat : 28767 (java) R 28755 28757 28333 0 -1 64 5418 0 0 0 92 2 0 0 21 0 13 0 135850910 1839906816 16051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105847440 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1839906816 16051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1839906816 16051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28770] ppid=28755 vsize=1796784 CPUtime=0
/proc/28757/task/28770/stat : 28770 (java) S 28755 28757 28333 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 135850978 1839906816 16051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 1796784

[startup+3.10175 s]
/proc/loadavg: 1.06 1.05 1.01 4/77 28771
/proc/meminfo: memFree=1590088/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1796032 CPUtime=4.71
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 50169 0 1 0 451 20 0 0 18 0 13 0 135850901 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 449008 43384 1331 9 0 446619 0
[pid=28757/tid=28759] ppid=28755 vsize=1796032 CPUtime=2.19
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 37760 0 1 0 204 15 0 0 23 0 13 0 135850902 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109597083 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1796032 CPUtime=0.01
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 702 0 0 0 1 0 0 0 16 0 13 0 135850904 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1796032 CPUtime=0.01
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 575 0 0 0 1 0 0 0 16 0 13 0 135850904 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 135850906 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135850906 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1796032 CPUtime=1.29
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4954 0 0 0 127 2 0 0 16 0 13 0 135850910 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1796032 CPUtime=1.17
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5444 0 0 0 115 2 0 0 16 0 13 0 135850910 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1796032 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1839136768 43384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 1796032

[startup+6.30238 s]
/proc/loadavg: 1.06 1.05 1.01 2/77 28775
/proc/meminfo: memFree=1550968/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=8.12
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 55520 0 1 0 789 23 0 0 18 0 13 0 135850901 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 47355 1331 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=5.25
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 39404 0 1 0 510 15 0 0 25 0 13 0 135850902 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109607559 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.1
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 2675 0 0 0 9 1 0 0 16 0 13 0 135850904 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.1
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 2281 0 0 0 9 1 0 0 17 0 13 0 135850904 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.4
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4963 0 0 0 138 2 0 0 16 0 13 0 135850910 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.22
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5445 0 0 0 120 2 0 0 16 0 13 0 135850910 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28775] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28775/stat : 28775 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 135851251 1838645248 47355 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 1795552

[startup+12.7017 s]
/proc/loadavg: 1.05 1.05 1.00 2/77 28776
/proc/meminfo: memFree=1510640/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=14.75
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 63584 0 1 0 1449 26 0 0 18 0 13 0 135850901 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 54991 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=11.48
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43138 0 1 0 1131 17 0 0 25 0 13 0 135850902 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576675 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.21
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 5036 0 0 0 19 2 0 0 16 0 13 0 135850904 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.21
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 4234 0 0 0 20 1 0 0 16 0 13 0 135850904 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.47
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 145 2 0 0 16 0 13 0 135850910 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.33
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 131 2 0 0 16 0 13 0 135850910 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 54991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 1795552

[startup+25.5022 s]
/proc/loadavg: 1.12 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1493360/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=27.73
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 68277 0 1 0 2745 28 0 0 18 0 13 0 135850901 1838645248 58787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 58787 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=24.09
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43147 0 1 0 2392 17 0 0 25 0 13 0 135850902 1838645248 58787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109573667 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.38
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 7839 0 0 0 35 3 0 0 16 0 13 0 135850904 1838645248 58787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.38
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 6115 0 0 0 36 2 0 0 16 0 13 0 135850904 1838645248 58787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 135850906 1838645248 58787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57752 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57752 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.42
Current children cumulated vsize (KiB) 1795552

[startup+36.7017 s]
/proc/loadavg: 1.09 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1497136/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=39.03
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 70504 0 1 0 3873 30 0 0 18 0 13 0 135850901 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 57828 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=35.17
/proc/28757/task/28759/stat : 28759 (java) S 28755 28757 28333 0 -1 64 43161 0 1 0 3500 17 0 0 25 0 13 0 135850902 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.49
/proc/28757/task/28760/stat : 28760 (java) R 28755 28757 28333 0 -1 64 9096 0 0 0 45 4 0 0 16 0 13 0 135850904 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.48
/proc/28757/task/28761/stat : 28761 (java) R 28755 28757 28333 0 -1 64 7064 0 0 0 46 2 0 0 16 0 13 0 135850904 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0.01
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 135850906 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.49
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 147 2 0 0 16 0 13 0 135850910 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.34
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 132 2 0 0 17 0 13 0 135850910 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57828 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.03
Current children cumulated vsize (KiB) 1795552

[startup+38.303 s]
/proc/loadavg: 1.09 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1499952/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=40.64
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 70594 0 1 0 4034 30 0 0 18 0 13 0 135850901 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 57057 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=36.76
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43162 0 1 0 3659 17 0 0 25 0 13 0 135850902 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576675 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.49
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 9145 0 0 0 45 4 0 0 16 0 13 0 135850904 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.49
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 7104 0 0 0 47 2 0 0 17 0 13 0 135850904 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0.01
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 135850906 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.49
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 147 2 0 0 16 0 13 0 135850910 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.34
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 132 2 0 0 17 0 13 0 135850910 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.64
Current children cumulated vsize (KiB) 1795552

[startup+39.1021 s]
/proc/loadavg: 1.09 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1499952/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=41.47
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 71384 0 1 0 4116 31 0 0 18 0 13 0 135850901 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 57678 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=37.53
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43163 0 1 0 3736 17 0 0 25 0 13 0 135850902 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576675 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 9569 0 0 0 48 4 0 0 16 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 7460 0 0 0 50 2 0 0 17 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0.01
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 44 0 0 0 1 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.49
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 147 2 0 0 16 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.34
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 132 2 0 0 17 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 1795552

[startup+39.3022 s]
/proc/loadavg: 1.09 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1499952/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=41.67
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 71384 0 1 0 4136 31 0 0 18 0 13 0 135850901 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 57678 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=37.73
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43163 0 1 0 3756 17 0 0 25 0 13 0 135850902 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109841630 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 9569 0 0 0 48 4 0 0 16 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 7460 0 0 0 50 2 0 0 17 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0.01
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 44 0 0 0 1 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.49
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 147 2 0 0 16 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.34
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 132 2 0 0 17 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.67
Current children cumulated vsize (KiB) 1795552

[startup+39.4022 s]
/proc/loadavg: 1.09 1.06 1.01 2/77 28776
/proc/meminfo: memFree=1499952/2055920 swapFree=4184728/4192956
[pid=28757] ppid=28755 vsize=1795552 CPUtime=41.77
/proc/28757/stat : 28757 (java) S 28755 28757 28333 0 -1 0 71384 0 1 0 4146 31 0 0 18 0 13 0 135850901 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28757/statm: 448888 57678 1334 9 0 446499 0
[pid=28757/tid=28759] ppid=28755 vsize=1795552 CPUtime=37.83
/proc/28757/task/28759/stat : 28759 (java) R 28755 28757 28333 0 -1 64 43163 0 1 0 3766 17 0 0 25 0 13 0 135850902 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109687780 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28760] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28760/stat : 28760 (java) S 28755 28757 28333 0 -1 64 9569 0 0 0 48 4 0 0 16 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28761] ppid=28755 vsize=1795552 CPUtime=0.52
/proc/28757/task/28761/stat : 28761 (java) S 28755 28757 28333 0 -1 64 7460 0 0 0 50 2 0 0 17 0 13 0 135850904 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28762] ppid=28755 vsize=1795552 CPUtime=0.01
/proc/28757/task/28762/stat : 28762 (java) S 28755 28757 28333 0 -1 64 44 0 0 0 1 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28763] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28763/stat : 28763 (java) S 28755 28757 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28764] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28764/stat : 28764 (java) S 28755 28757 28333 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 135850906 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28765] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28765/stat : 28765 (java) S 28755 28757 28333 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28766] ppid=28755 vsize=1795552 CPUtime=1.49
/proc/28757/task/28766/stat : 28766 (java) S 28755 28757 28333 0 -1 64 4966 0 0 0 147 2 0 0 16 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28767] ppid=28755 vsize=1795552 CPUtime=1.34
/proc/28757/task/28767/stat : 28767 (java) S 28755 28757 28333 0 -1 64 5457 0 0 0 132 2 0 0 17 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28757/tid=28768] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28768/stat : 28768 (java) S 28755 28757 28333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28769] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28769/stat : 28769 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135850910 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28757/tid=28776] ppid=28755 vsize=1795552 CPUtime=0
/proc/28757/task/28776/stat : 28776 (java) S 28755 28757 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135851553 1838645248 57678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.77
Current children cumulated vsize (KiB) 1795552

Child status: 30
Real time (s): 39.4866
CPU time (s): 41.8476
CPU user time (s): 41.4987
CPU system time (s): 0.348946
CPU usage (%): 105.979
Max. virtual memory (cumulated for all children) (KiB): 1796800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4987
system time used= 0.348946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71394
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1848
involuntary context switches= 1573

runsolver used 0.044993 second user time and 0.123981 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sun Apr 15 00:56:53 UTC 2007

IDJOB= 351409
IDBENCH= 1747
IDSOLVER= 164
FILE ID= node66/351409-1176598613

PBS_JOBID= 4557005

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351409-1176598613/sat4jPseudoCPClause.jar /tmp/evaluation/351409-1176598613/instance-351409-1176598613.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-351409-1176598613 -o ROOT/results/node66/solver-351409-1176598613 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351409-1176598613/sat4jPseudoCPClause.jar /tmp/evaluation/351409-1176598613/instance-351409-1176598613.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  98cb9153c0a6885786e060f27dbb5c7a

RANDOM SEED= 309109239

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1724752 kB
Buffers:         23312 kB
Cached:         174128 kB
SwapCached:       2208 kB
Active:          67940 kB
Inactive:       179824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724752 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:            3612 kB
Writeback:           0 kB
Mapped:          47016 kB
Slab:            69400 kB
Committed_AS:   310416 kB
PageTables:       1460 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= 66561 MiB

End job on node66 on Sun Apr 15 00:57:33 UTC 2007