Trace number 351404

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
SAT4JPseudoResolution 2007-03-23OPT5 68.8135 66.7899

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

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-351404-1176598545 -o ROOT/results/node66/solver-351404-1176598545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.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.95 1.05 1.00 3/64 28688
/proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=272 CPUtime=0
/proc/28688/stat : 28688 (java) D 28686 28688 28333 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 135844042 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 9839396 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28688/statm: 77 39 29 9 0 6 0

[startup+0.0259999 s]
/proc/loadavg: 0.95 1.05 1.00 3/64 28688
/proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=12652 CPUtime=0.01
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 879 0 1 0 0 1 0 0 18 0 2 0 135844042 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 3163 635 311 9 0 1243 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12652

[startup+0.102022 s]
/proc/loadavg: 0.95 1.05 1.00 3/64 28688
/proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1777708 CPUtime=0.06
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 3755 0 1 0 4 2 0 0 18 0 7 0 135844042 1820372992 3497 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 444427 3497 1084 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.301059 s]
/proc/loadavg: 0.95 1.05 1.00 3/64 28688
/proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1781428 CPUtime=0.28
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 5031 0 1 0 25 3 0 0 18 0 12 0 135844042 1824182272 4769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 445357 4770 1264 9 0 442969 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1781428

[startup+0.701141 s]
/proc/loadavg: 0.95 1.05 1.00 3/64 28688
/proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1790660 CPUtime=0.99
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 8775 0 1 0 95 4 0 0 18 0 12 0 135844042 1833635840 7685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 447665 7685 1302 9 0 445277 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1790660

[startup+1.5023 s]
/proc/loadavg: 0.95 1.05 1.00 4/77 28701
/proc/meminfo: memFree=1693136/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793772 CPUtime=2.43
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 16256 0 1 0 235 8 0 0 18 0 13 0 135844042 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448443 11246 1314 9 0 446055 0
[pid=28688/tid=28690] ppid=28686 vsize=1793772 CPUtime=0.88
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 7477 0 1 0 84 4 0 0 19 0 13 0 135844044 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576690 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 135844048 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 135844048 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 135844050 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135844051 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 135844051 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793772 CPUtime=0.64
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3023 0 0 0 64 0 0 0 16 0 13 0 135844054 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793772 CPUtime=0.88
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5032 0 0 0 86 2 0 0 16 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28701] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28701/stat : 28701 (java) S 28686 28688 28333 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 135844126 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 1793772

[startup+3.10262 s]
/proc/loadavg: 0.95 1.05 1.00 2/77 28702
/proc/meminfo: memFree=1659784/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793772 CPUtime=4.13
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 34986 0 1 0 396 17 0 0 18 0 13 0 135844042 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448443 29760 1317 9 0 446055 0
[pid=28688/tid=28690] ppid=28686 vsize=1793772 CPUtime=2.46
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 25976 0 1 0 233 13 0 0 25 0 13 0 135844044 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109554319 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 135844048 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 135844048 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 135844050 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135844051 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 135844051 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793772 CPUtime=0.71
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3242 0 0 0 71 0 0 0 16 0 13 0 135844054 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793772 CPUtime=0.94
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5043 0 0 0 92 2 0 0 16 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28702] ppid=28686 vsize=1793772 CPUtime=0
/proc/28688/task/28702/stat : 28702 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 135844210 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 1793772

[startup+6.30225 s]
/proc/loadavg: 0.96 1.05 1.00 2/77 28704
/proc/meminfo: memFree=1557504/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793644 CPUtime=7.41
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 48015 0 1 0 718 23 0 0 18 0 13 0 135844042 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448411 42726 1326 9 0 446023 0
[pid=28688/tid=28690] ppid=28686 vsize=1793644 CPUtime=5.6
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37721 0 1 0 541 19 0 0 25 0 13 0 135844044 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109769224 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793644 CPUtime=0.01
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 693 0 0 0 1 0 0 0 16 0 13 0 135844048 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793644 CPUtime=0.01
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 576 0 0 0 1 0 0 0 16 0 13 0 135844048 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844050 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135844051 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793644 CPUtime=0.76
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3248 0 0 0 76 0 0 0 16 0 13 0 135844054 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793644 CPUtime=0.99
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5047 0 0 0 97 2 0 0 16 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28704] ppid=28686 vsize=1793644 CPUtime=0
/proc/28688/task/28704/stat : 28704 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 135844471 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1793644

[startup+12.7025 s]
/proc/loadavg: 0.96 1.05 1.00 2/77 28705
/proc/meminfo: memFree=1542776/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=13.87
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 51879 0 1 0 1362 25 0 0 18 0 13 0 135844042 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 46428 1327 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=11.93
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37724 0 1 0 1174 19 0 0 25 0 13 0 135844044 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109577227 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.06
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2583 0 0 0 5 1 0 0 17 0 13 0 135844048 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.05
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 2541 0 0 0 5 0 0 0 16 0 13 0 135844048 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.77
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3248 0 0 0 77 0 0 0 17 0 13 0 135844054 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5047 0 0 0 98 2 0 0 16 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28705] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28705/stat : 28705 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844968 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.87
Current children cumulated vsize (KiB) 1793160

[startup+25.5011 s]
/proc/loadavg: 0.97 1.04 1.00 4/77 28707
/proc/meminfo: memFree=1502440/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=27.07
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 62841 0 1 0 2675 32 0 0 18 0 13 0 135844042 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 56546 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=24.46
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37731 0 1 0 2427 19 0 0 18 0 13 0 135844044 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109605059 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.29
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 7306 0 0 0 25 4 0 0 16 0 13 0 135844048 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.28
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 8744 0 0 0 24 4 0 0 17 0 13 0 135844048 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28708] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28708/stat : 28708 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135848961 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.45
Current children cumulated vsize (KiB) 1793160

[startup+60.7011 s]
/proc/loadavg: 0.98 1.04 1.00 2/77 28708
/proc/meminfo: memFree=1459296/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=62.65
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 76968 0 1 0 6226 39 0 0 18 0 13 0 135844042 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 67287 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=59.33
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37739 0 1 0 5914 19 0 0 25 0 13 0 135844044 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109574676 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.59
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15178 0 0 0 52 7 0 0 16 0 13 0 135844048 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.59
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 14985 0 0 0 52 7 0 0 16 0 13 0 135844048 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.92
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3260 0 0 0 92 0 0 0 17 0 13 0 135844054 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.16
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5056 0 0 0 114 2 0 0 17 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28708] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28708/stat : 28708 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135848961 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.65
Current children cumulated vsize (KiB) 1793160

[startup+63.9028 s]
/proc/loadavg: 0.98 1.04 1.00 2/77 28709
/proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=65.93
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6554 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 67408 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=62.47
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6228 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761531 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.93
Current children cumulated vsize (KiB) 1793160

[startup+65.5011 s]
/proc/loadavg: 0.98 1.04 1.00 2/77 28709
/proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=67.52
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6713 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 67408 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=64.06
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6387 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576675 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 67.52
Current children cumulated vsize (KiB) 1793160

[startup+66.3012 s]
/proc/loadavg: 0.98 1.04 1.00 2/77 28709
/proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=68.32
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6793 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 67408 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=64.86
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6467 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109618440 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 68.32
Current children cumulated vsize (KiB) 1793160

[startup+66.7013 s]
/proc/loadavg: 0.98 1.04 1.00 2/77 28709
/proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956
[pid=28688] ppid=28686 vsize=1793160 CPUtime=68.72
/proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6833 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28688/statm: 448290 67408 1334 9 0 445902 0
[pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=65.26
/proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6507 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109605876 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63
/proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62
/proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96
/proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18
/proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0
/proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 68.72
Current children cumulated vsize (KiB) 1793160

Child status: 30
Real time (s): 66.7899
CPU time (s): 68.8135
CPU user time (s): 68.3746
CPU system time (s): 0.438933
CPU usage (%): 103.03
Max. virtual memory (cumulated for all children) (KiB): 1795868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.3746
system time used= 0.438933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78113
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= 2150
involuntary context switches= 1938

runsolver used 0.075988 second user time and 0.177972 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sun Apr 15 00:55:45 UTC 2007

IDJOB= 351404
IDBENCH= 1747
IDSOLVER= 159
FILE ID= node66/351404-1176598545

PBS_JOBID= 4557005

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 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/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-351404-1176598545 -o ROOT/results/node66/solver-351404-1176598545 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  98cb9153c0a6885786e060f27dbb5c7a

RANDOM SEED= 325512599

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:       1724880 kB
Buffers:         23264 kB
Cached:         174108 kB
SwapCached:       2208 kB
Active:          67656 kB
Inactive:       180036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724880 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:            3624 kB
Writeback:           0 kB
Mapped:          47016 kB
Slab:            69340 kB
Committed_AS:   309992 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:56:52 UTC 2007