Trace number 4106789

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-23 1800.02 1792.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-36
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4106789-1466276863.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
2.32/0.97	c ... done. Wall clock time 0.871s.
2.32/0.97	c declared #vars     1000
2.32/0.97	c internal #vars     38488
2.32/0.97	c #constraints  76478
2.32/0.97	c constraints type 
2.32/0.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37488
2.32/0.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
2.32/0.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
2.32/0.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37488
2.32/0.97	c 76478 constraints processed.
2.32/0.97	c objective function length is 500 literals
10.64/8.21	c SATISFIABLE
10.64/8.21	c OPTIMIZING...
10.64/8.21	c Got one! Elapsed wall clock time (in seconds):8.109
10.64/8.21	o -22
12.67/10.29	c Got one! Elapsed wall clock time (in seconds):10.189
12.67/10.29	o -23
16.13/13.66	c cleaning 2783 clauses out of 5589 with flag 42910/5589
21.10/18.54	c cleaning 4430 clauses out of 8859 with flag 64973/11642
31.61/29.05	c cleaning 5709 clauses out of 11418 with flag 84543/18631
47.42/44.87	c cleaning 7000 clauses out of 13999 with flag 101123/26921
63.28/60.67	c cleaning 8018 clauses out of 16036 with flag 119199/35958
79.88/77.24	c cleaning 8958 clauses out of 17916 with flag 138996/45856
95.26/92.43	c cleaning 9863 clauses out of 19726 with flag 160532/56624
109.95/107.10	c cleaning 10940 clauses out of 21879 with flag 184566/68640
124.76/121.90	c cleaning 12000 clauses out of 23999 with flag 210690/81700
137.07/134.24	c cleaning 13012 clauses out of 26024 with flag 238740/95725
153.16/150.36	c cleaning 14130 clauses out of 28259 with flag 269324/110972
188.12/184.84	c cleaning 14950 clauses out of 29899 with flag 300903/126742
219.62/216.31	c cleaning 16005 clauses out of 32010 with flag 335073/143803
247.12/243.86	c cleaning 16921 clauses out of 33841 with flag 370801/161639
273.03/269.77	c cleaning 18005 clauses out of 36009 with flag 409055/180728
290.32/287.07	c cleaning 18938 clauses out of 37875 with flag 448919/200599
329.05/325.78	c cleaning 20100 clauses out of 40200 with flag 491586/221862
359.34/356.02	c cleaning 20972 clauses out of 41943 with flag 535338/243705
379.93/376.18	c cleaning 21937 clauses out of 43874 with flag 581276/266608
406.24/402.44	c cleaning 22996 clauses out of 45992 with flag 630036/290663
442.75/439.00	c cleaning 24003 clauses out of 48006 with flag 680269/315673
470.55/466.71	c cleaning 24965 clauses out of 49929 with flag 732269/341599
512.86/509.05	c cleaning 25983 clauses out of 51966 with flag 787421/368601
568.37/564.59	c cleaning 27019 clauses out of 54037 with flag 845467/396655
603.31/599.10	c cleaning 28004 clauses out of 56036 with flag 910530/425673
663.27/659.09	c cleaning 28971 clauses out of 57942 with flag 970690/455583
706.82/702.59	c cleaning 30017 clauses out of 60033 with flag 1032911/486645
746.33/742.02	c cleaning 31053 clauses out of 62107 with flag 1097429/518736
787.93/783.62	c cleaning 32029 clauses out of 64057 with flag 1163558/551739
849.63/845.07	c cleaning 32938 clauses out of 65875 with flag 1231673/585586
905.75/901.13	c cleaning 34067 clauses out of 68133 with flag 1304180/620782
959.57/954.99	c cleaning 34986 clauses out of 69973 with flag 1376436/656689
1029.37/1024.72	c cleaning 35963 clauses out of 71938 with flag 1452894/693640
1086.36/1081.07	c cleaning 36967 clauses out of 73970 with flag 1529348/731635
1134.67/1129.38	c cleaning 38056 clauses out of 76112 with flag 1608340/770744
1184.58/1179.30	c cleaning 39046 clauses out of 78096 with flag 1689582/810784
1259.39/1254.06	c cleaning 39958 clauses out of 79916 with flag 1778398/851650
1308.59/1303.29	c cleaning 40801 clauses out of 81895 with flag 1863259/893587
1377.21/1371.86	c cleaning 42068 clauses out of 84136 with flag 1956872/936629
1441.02/1434.37	c cleaning 43021 clauses out of 86041 with flag 2047295/980602
1489.43/1482.79	c cleaning 44063 clauses out of 88131 with flag 2139056/1025713
1542.84/1536.17	c cleaning 44978 clauses out of 89981 with flag 2237525/1071626
1606.04/1599.34	c cleaning 45907 clauses out of 91995 with flag 2347849/1118618
1663.26/1656.55	c cleaning 46996 clauses out of 94093 with flag 2446902/1166623
1720.46/1713.70	c cleaning 48027 clauses out of 96054 with flag 2556983/1215580
1782.52/1775.17	c cleaning 48931 clauses out of 98076 with flag 2668765/1265629
1800.02/1792.60	c starts		: 214
1800.02/1792.60	c conflicts		: 1287354
1800.02/1792.60	c decisions		: 1923793
1800.02/1792.60	c propagations		: 179295980
1800.02/1792.60	c inspects		: 22434654225
1800.02/1792.60	c shortcuts		: 0
1800.02/1792.60	c learnt literals	: 0
1800.02/1792.60	c learnt binary clauses	: 26
1800.02/1792.60	c learnt ternary clauses	: 1248
1800.02/1792.60	c learnt constraints	: 1287354
1800.02/1792.60	c ignored constraints	: 0
1800.02/1792.60	c root simplifications	: 0
1800.02/1792.60	c removed literals (reason simplification)	: 0
1800.02/1792.60	c reason swapping (by a shorter reason)	: 0
1800.02/1792.60	c Calls to reduceDB	: 46
1800.02/1792.60	c Number of update (reduction) of LBD	: 32773
1800.02/1792.60	c Imported unit clauses	: 0
1800.02/1792.60	c number of reductions to clauses (during analyze)	: 0
1800.02/1792.60	c number of learned constraints concerned by reduction	: 0
1800.02/1792.60	c number of learning phase by resolution	: 0
1800.02/1792.60	c number of learning phase by cutting planes	: 0
1800.02/1792.60	c speed (assignments/second)	: 100076.36281028269
1800.02/1792.60	c non guided choices	0
1800.02/1792.63	c learnt constraints type 
1800.02/1792.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 26
1800.02/1792.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70845
1800.02/1792.63	s SATISFIABLE
1800.02/1792.63	c Found 2 solution(s)
1800.02/1792.63	v x1 x2 -x3 x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 x34 x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.02/1792.63	c objective function=-23
1800.02/1792.63	c Total wall clock time (in seconds): 1792.532

Verifier Data 

OK	-23

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106789-1466276863/watcher-4106789-1466276863 -o /tmp/evaluation-result-4106789-1466276863/solver-4106789-1466276863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106789-1466276863.opb 

pid=16235
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.39 2.35 2.20 4/196 16238
/proc/meminfo: memFree=29894400/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 1299 0 0 0 0 0 0 0 20 0 2 0 29732726 96370688 931 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 23544 934 708 9 0 16769 0
[pid=16238/tid=16239] ppid=16235 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 2 0 29732727 98635776 961 33554432000 1073741824 1073778376 140735756585008 140653892496936 273896479997 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.39 2.35 2.20 4/196 16238
/proc/meminfo: memFree=29894400/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 29732726 9787879424 6124 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2389619 6124 2157 9 0 2380296 0
[pid=16238/tid=16239] ppid=16235 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2375 0 1 0 7 0 0 0 20 0 18 0 29732727 9787879424 6124 33554432000 1073741824 1073778376 140735756585008 140653892497160 273909081357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200367 s]
/proc/loadavg: 2.39 2.35 2.20 4/196 16238
/proc/meminfo: memFree=29894400/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 4714 0 1 0 24 1 0 0 20 0 18 0 29732726 9787879424 6795 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2389619 6795 2215 9 0 2380296 0
[pid=16238/tid=16239] ppid=16235 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2401 0 1 0 16 1 0 0 20 0 18 0 29732727 9787879424 6795 33554432000 1073741824 1073778376 140735756585008 140653892497160 140653753366055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300378 s]
/proc/loadavg: 2.39 2.35 2.20 4/196 16238
/proc/meminfo: memFree=29894400/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9558744 CPUtime=0.49 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 6107 0 1 0 47 2 0 0 20 0 18 0 29732726 9788153856 9290 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2389686 9306 2246 9 0 2380363 0
[pid=16238/tid=16239] ppid=16235 vsize=9558744 CPUtime=0.27 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 18 0 29732727 9788153856 9314 33554432000 1073741824 1073778376 140735756585008 140653892497160 140653753294339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558744

[startup+0.700337 s]
/proc/loadavg: 2.39 2.35 2.20 4/196 16238
/proc/meminfo: memFree=29894400/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9558476 CPUtime=1.69 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 26988 0 1 0 162 7 0 0 20 0 18 0 29732726 9787879424 43341 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2389619 43341 2257 9 0 2380296 0
[pid=16238/tid=16239] ppid=16235 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2450 0 1 0 65 2 0 0 20 0 18 0 29732727 9787879424 43341 33554432000 1073741824 1073778376 140735756585008 140653892493168 140653753905632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9558476

[startup+1.50088 s]
/proc/loadavg: 2.39 2.35 2.20 6/215 16257
/proc/meminfo: memFree=29649224/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 30912 0 1 0 365 13 0 0 20 0 19 0 29732726 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 66558 2283 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2476 0 1 0 136 3 0 0 20 0 19 0 29732727 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653892501768 140653754419955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 125 0 0 0 4 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10765 0 0 0 101 2 0 0 20 0 19 0 29732731 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/16238/task/16254/stat : 16254 (java) S 16235 16238 15910 0 -1 4202560 15862 0 0 0 101 3 0 0 20 0 19 0 29732731 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653711444536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16255] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16255/stat : 16255 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653710392440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16256] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16256/stat : 16256 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653709339848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 66558 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625040

[startup+3.10088 s]
/proc/loadavg: 2.44 2.36 2.21 4/215 16257
/proc/meminfo: memFree=29649092/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=5.49 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 30915 0 1 0 536 13 0 0 20 0 19 0 29732726 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 66559 2284 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2477 0 1 0 296 3 0 0 20 0 19 0 29732727 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653892501784 140653754473766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 125 0 0 0 4 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10765 0 0 0 102 2 0 0 20 0 19 0 29732731 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/16238/task/16254/stat : 16254 (java) S 16235 16238 15910 0 -1 4202560 15864 0 0 0 111 4 0 0 20 0 19 0 29732731 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653711444536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16255] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16255/stat : 16255 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653710392440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16256] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16256/stat : 16256 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653709339848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 66559 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.44 2.36 2.21 3/215 16257
/proc/meminfo: memFree=29646204/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=8.69 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 30917 0 1 0 856 13 0 0 20 0 19 0 29732726 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 66099 2284 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=6.18 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 2479 0 1 0 615 3 0 0 20 0 19 0 29732727 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653892499808 140653754420464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 125 0 0 0 4 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 29732728 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10765 0 0 0 102 2 0 0 20 0 19 0 29732731 9856040960 66099 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.15 cores=1,3,5,7

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

[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 689286 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1669.06
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.23 2.26 2.20 3/215 16300
/proc/meminfo: memFree=25504180/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=1729.71 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 102844 0 1 0 172675 296 0 0 20 0 19 0 29732726 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 770222 2299 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=1715.02 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 3479 0 1 0 171463 39 0 0 20 0 19 0 29732727 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653892500688 140653754420459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 7028 0 0 0 43 27 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 7344 0 0 0 51 26 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 8778 0 0 0 53 44 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 10414 0 0 0 43 29 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 4394 0 0 0 51 38 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 11328 0 0 0 35 21 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 9920 0 0 0 53 36 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 7181 0 0 0 35 25 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 4962 0 0 0 113 3 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10788 0 0 0 124 2 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/16238/task/16254/stat : 16254 (java) S 16235 16238 15910 0 -1 4202560 15871 0 0 0 128 4 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653711444536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16255] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16255/stat : 16255 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653710392440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16256] ppid=16235 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/16238/task/16256/stat : 16256 (java) S 16235 16238 15910 0 -1 4202560 99 0 0 0 27 37 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653709339848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1729.71
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.16 2.24 2.20 3/215 16301
/proc/meminfo: memFree=25543612/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=1789.72 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 102848 0 1 0 178675 297 0 0 20 0 19 0 29732726 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 770222 2299 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=1774.87 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 3479 0 1 0 177448 39 0 0 20 0 19 0 29732727 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653892492992 140653754442804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 7028 0 0 0 43 27 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 7344 0 0 0 51 26 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 8778 0 0 0 53 44 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 10414 0 0 0 43 29 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 4394 0 0 0 51 38 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 11328 0 0 0 35 21 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 9920 0 0 0 53 36 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 7181 0 0 0 35 25 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 4962 0 0 0 113 3 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10788 0 0 0 124 2 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/16238/task/16254/stat : 16254 (java) S 16235 16238 15910 0 -1 4202560 15871 0 0 0 128 4 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653711444536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16255] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16255/stat : 16255 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653710392440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16256] ppid=16235 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/16238/task/16256/stat : 16256 (java) S 16235 16238 15910 0 -1 4202560 103 0 0 0 29 38 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653709339848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.72
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.6 s]
/proc/loadavg: 2.30 2.26 2.20 3/215 16432
/proc/meminfo: memFree=26807152/32872528 swapFree=1482636/1662508
[pid=16238] ppid=16235 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/16238/stat : 16238 (java) S 16235 16238 15910 0 -1 4202496 102848 0 1 0 179704 298 0 0 20 0 19 0 29732726 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140735756576144 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16238/statm: 2406260 770222 2299 9 0 2396937 0
[pid=16238/tid=16239] ppid=16235 vsize=9625040 CPUtime=1785.14 cores=1,3,5,7
/proc/16238/task/16239/stat : 16239 (java) R 16235 16238 15910 0 -1 4202560 3479 0 1 0 178473 41 0 0 20 0 19 0 29732727 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653892492992 140653754420459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16241] ppid=16235 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16238/task/16241/stat : 16241 (java) S 16235 16238 15910 0 -1 4202560 7028 0 0 0 43 27 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653736487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16242] ppid=16235 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/16238/task/16242/stat : 16242 (java) S 16235 16238 15910 0 -1 4202560 7344 0 0 0 51 26 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653735434408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16243] ppid=16235 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/16238/task/16243/stat : 16243 (java) S 16235 16238 15910 0 -1 4202560 8778 0 0 0 53 44 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653734382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16244] ppid=16235 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/16238/task/16244/stat : 16244 (java) S 16235 16238 15910 0 -1 4202560 10414 0 0 0 43 29 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653733329320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16245] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16245/stat : 16245 (java) S 16235 16238 15910 0 -1 4202560 4394 0 0 0 51 38 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653732277032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16246] ppid=16235 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16238/task/16246/stat : 16246 (java) S 16235 16238 15910 0 -1 4202560 11328 0 0 0 35 21 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653731224232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16247] ppid=16235 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/16238/task/16247/stat : 16247 (java) S 16235 16238 15910 0 -1 4202560 9920 0 0 0 53 36 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653730171944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16248] ppid=16235 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16238/task/16248/stat : 16248 (java) S 16235 16238 15910 0 -1 4202560 7181 0 0 0 35 25 0 0 20 0 19 0 29732728 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653729119144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16249] ppid=16235 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/16238/task/16249/stat : 16249 (java) S 16235 16238 15910 0 -1 4202560 4962 0 0 0 113 3 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653716707560 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16250] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16250/stat : 16250 (java) S 16235 16238 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653715653624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16251] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16251/stat : 16251 (java) S 16235 16238 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29732729 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653714601224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16252] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16252/stat : 16252 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653713549712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16253] ppid=16235 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/16238/task/16253/stat : 16253 (java) S 16235 16238 15910 0 -1 4202560 10788 0 0 0 124 2 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653712497336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16238/tid=16254] ppid=16235 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/16238/task/16254/stat : 16254 (java) S 16235 16238 15910 0 -1 4202560 15871 0 0 0 128 4 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653711444536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16238/tid=16255] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16255/stat : 16255 (java) S 16235 16238 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653710392440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16238/tid=16256] ppid=16235 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/16238/task/16256/stat : 16256 (java) S 16235 16238 15910 0 -1 4202560 103 0 0 0 29 38 0 0 20 0 19 0 29732731 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653709339848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16238/tid=16257] ppid=16235 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16238/task/16257/stat : 16257 (java) S 16235 16238 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29732828 9856040960 770222 33554432000 1073741824 1073778376 140735756585008 140653708284840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16238 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16238 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=519495
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=491469
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.66
CPU time (s): 1800.02
CPU user time (s): 1797.04
CPU system time (s): 2.98
CPU usage (%): 100.41
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.52
system time used= 3.49147
maximum resident set size= 3081016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102887
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40790
involuntary context switches= 5344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7932 second user time and 12.3121 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 21:07:43
IDJOB=4106789
IDBENCH=48260
IDSOLVER=2546
FILE ID=node134/4106789-1466276863
RUNJOBID= node134-1466275076-15927
PBS_JOBID= 19918245
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106789-1466276863/watcher-4106789-1466276863 -o /tmp/evaluation-result-4106789-1466276863/solver-4106789-1466276863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106789-1466276863.opb

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

MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a
RANDOM SEED=1102453375

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29894664 kB
Buffers:          166756 kB
Cached:           188684 kB
SwapCached:         1008 kB
Active:           304344 kB
Inactive:         273652 kB
Active(anon):     223804 kB
Inactive(anon):     1616 kB
Active(file):      80540 kB
Inactive(file):   272036 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:              2864 kB
Writeback:             0 kB
AnonPages:       1884660 kB
Mapped:            15492 kB
Shmem:                 0 kB
Slab:             603720 kB
SReclaimable:      47052 kB
SUnreclaim:       556668 kB
KernelStack:        1616 kB
PageTables:         8104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2479476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node134 at 2016-06-18 21:37:36