Trace number 4084553

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1797.45

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-112.opb
MD5SUM7a0b627cea8cce891554469525360150
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33692
Total number of constraints740354
Number of constraints which are clauses662955
Number of constraints which are cardinality constraints (but not clauses)2653
Number of constraints which are nor clauses,nor cardinality constraints74746
Minimum length of a constraint1
Maximum length of a constraint567
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 568
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084553-1465277527.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
6.11/4.91	c ... done. Wall clock time 4.796s.
6.11/4.91	c declared #vars     33692
7.51/6.03	c #constraints  741696
7.51/6.03	c constraints type 
7.51/6.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 511946
7.51/6.03	c org.sat4j.specs.Constr$1 => 4115
7.51/6.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 2643
7.51/6.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 147983
7.51/6.03	c org.sat4j.minisat.constraints.cnf.UnitClause => 263
7.51/6.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 74746
7.51/6.03	c 741696 constraints processed.
13.66/12.03	c cleaning 2498 clauses out of 4995 with flag 91387/5000
20.24/18.50	c cleaning 4222 clauses out of 8494 with flag 430039/11000
28.25/26.53	c cleaning 5610 clauses out of 11268 with flag 709474/18000
37.28/35.51	c cleaning 6821 clauses out of 13653 with flag 1151491/26000
48.59/46.81	c cleaning 7883 clauses out of 15828 with flag 1574132/35000
61.89/60.12	c cleaning 8969 clauses out of 17940 with flag 2077125/45000
74.68/72.98	c cleaning 9900 clauses out of 19968 with flag 2541473/56000
86.09/84.34	c cleaning 10984 clauses out of 22068 with flag 2997616/68001
96.30/94.60	c cleaning 11809 clauses out of 24081 with flag 3486774/81000
108.60/106.89	c cleaning 12965 clauses out of 26272 with flag 3955921/95000
119.17/117.49	c cleaning 14095 clauses out of 28306 with flag 4420558/110000
136.57/134.90	c cleaning 15072 clauses out of 30199 with flag 4745213/126000
147.86/146.18	c cleaning 15995 clauses out of 32122 with flag 5024014/143000
157.86/156.20	c cleaning 16918 clauses out of 34104 with flag 5341486/161000
170.36/168.64	c cleaning 17722 clauses out of 36180 with flag 5671967/180001
178.97/177.22	c cleaning 18628 clauses out of 38443 with flag 5917181/200001
189.05/187.39	c cleaning 20067 clauses out of 40812 with flag 6182278/221000
200.66/198.97	c cleaning 21129 clauses out of 42749 with flag 6517702/243005
210.66/208.98	c cleaning 22012 clauses out of 44604 with flag 6786120/266002
219.15/217.44	c cleaning 22862 clauses out of 46588 with flag 7018190/290001
230.46/228.73	c cleaning 24086 clauses out of 48725 with flag 7311123/315001
240.75/239.00	c cleaning 25261 clauses out of 50640 with flag 7571380/341002
255.76/254.09	c cleaning 26177 clauses out of 52379 with flag 7836415/368002
269.45/267.70	c cleaning 27087 clauses out of 54202 with flag 8146767/396002
280.55/278.88	c cleaning 27959 clauses out of 56114 with flag 8580577/425002
294.76/293.03	c cleaning 29046 clauses out of 58154 with flag 9047984/455001
307.96/306.27	c cleaning 30040 clauses out of 60108 with flag 9269730/486001
321.46/319.76	c cleaning 31004 clauses out of 62067 with flag 9600384/518000
332.76/331.02	c cleaning 31868 clauses out of 64060 with flag 9960526/551000
348.28/346.51	c cleaning 33047 clauses out of 66193 with flag 10400500/585001
366.07/364.33	c cleaning 33990 clauses out of 68141 with flag 10968296/620001
381.28/379.58	c cleaning 34962 clauses out of 70147 with flag 11430969/656000
394.48/392.73	c cleaning 36087 clauses out of 72186 with flag 11789303/693002
412.08/410.38	c cleaning 36964 clauses out of 74097 with flag 12095051/731000
426.07/424.30	c cleaning 38064 clauses out of 76136 with flag 12473964/770003
443.66/441.67	c cleaning 38995 clauses out of 78063 with flag 12872448/810001
461.16/459.18	c cleaning 40017 clauses out of 80065 with flag 13386109/851000
480.46/478.49	c cleaning 40626 clauses out of 82041 with flag 14023836/893000
505.47/503.41	c cleaning 42189 clauses out of 84416 with flag 14324361/936001
527.67/525.61	c cleaning 43087 clauses out of 86227 with flag 14627761/980001
542.67/540.70	c cleaning 43954 clauses out of 88137 with flag 15216108/1025000
555.57/553.54	c cleaning 45010 clauses out of 90184 with flag 15619091/1071001
573.37/571.35	c cleaning 46052 clauses out of 92177 with flag 16149597/1118004
603.98/601.99	c cleaning 47055 clauses out of 94121 with flag 16643062/1166000
623.19/621.17	c cleaning 47905 clauses out of 96067 with flag 17099718/1215001
647.48/645.49	c cleaning 48725 clauses out of 98159 with flag 17787776/1265001
666.99/664.93	c cleaning 49569 clauses out of 100429 with flag 18414963/1316000
685.89/683.85	c cleaning 50933 clauses out of 102859 with flag 18953196/1368000
698.29/696.24	c cleaning 51914 clauses out of 104926 with flag 19354354/1421001
715.19/713.18	c cleaning 53134 clauses out of 107011 with flag 19906640/1475000
737.30/735.22	c cleaning 53371 clauses out of 108871 with flag 20698949/1530000
754.90/752.81	c cleaning 55110 clauses out of 111499 with flag 21206152/1586000
782.50/780.41	c cleaning 55774 clauses out of 113388 with flag 21966863/1643000
807.10/805.01	c cleaning 54289 clauses out of 115611 with flag 22835332/1701000
826.31/824.26	c cleaning 57684 clauses out of 120322 with flag 23366910/1760000
855.82/853.71	c cleaning 58425 clauses out of 122637 with flag 24370444/1820000
880.72/878.60	c cleaning 59514 clauses out of 125211 with flag 25304961/1881000
902.31/900.26	c cleaning 60270 clauses out of 127697 with flag 26017356/1943000
929.91/927.84	c cleaning 62447 clauses out of 130427 with flag 27012765/2006000
959.83/957.76	c cleaning 61347 clauses out of 131971 with flag 27747901/2070000
982.64/980.50	c cleaning 63496 clauses out of 135623 with flag 28614944/2135000
1006.34/1004.28	c cleaning 64390 clauses out of 138128 with flag 29391534/2201001
1039.76/1037.64	c cleaning 65291 clauses out of 140733 with flag 30116057/2268000
1067.06/1064.90	c cleaning 65051 clauses out of 143438 with flag 30943875/2336000
1088.76/1086.66	c cleaning 67639 clauses out of 147388 with flag 31713476/2405001
1113.56/1111.46	c cleaning 68722 clauses out of 149748 with flag 32427810/2475000
1140.36/1138.26	c cleaning 68545 clauses out of 152025 with flag 33301651/2546000
1176.66/1174.57	c cleaning 68717 clauses out of 155480 with flag 34398425/2618000
1201.57/1199.43	c cleaning 71191 clauses out of 159763 with flag 35132019/2691000
1235.47/1233.37	c cleaning 72642 clauses out of 162575 with flag 36174943/2765003
1265.27/1263.17	c cleaning 73357 clauses out of 164931 with flag 37322959/2840001
1297.88/1295.77	c cleaning 75138 clauses out of 167572 with flag 38346670/2916000
1325.48/1323.30	c cleaning 75840 clauses out of 169434 with flag 38937010/2993000
1351.29/1349.13	c cleaning 77056 clauses out of 171594 with flag 39630559/3071000
1380.69/1378.57	c cleaning 77477 clauses out of 173539 with flag 40465688/3150001
1412.29/1410.17	c cleaning 78853 clauses out of 176061 with flag 41580386/3230000
1449.20/1447.02	c cleaning 79042 clauses out of 178208 with flag 42798430/3311000
1482.61/1480.50	c cleaning 79559 clauses out of 181165 with flag 44002087/3393000
1531.22/1529.03	c cleaning 80024 clauses out of 184605 with flag 45735889/3476000
1587.02/1584.82	c cleaning 79076 clauses out of 188581 with flag 47291369/3560000
1631.33/1629.16	c cleaning 82506 clauses out of 194505 with flag 48294838/3645000
1679.64/1677.04	c cleaning 83449 clauses out of 197999 with flag 49592737/3731000
1715.25/1712.64	c cleaning 85883 clauses out of 201543 with flag 50935294/3818001
1759.76/1757.15	c cleaning 82646 clauses out of 203657 with flag 52247345/3906000
1793.67/1791.05	c cleaning 88105 clauses out of 210011 with flag 53132902/3995000
1800.07/1797.41	c starts		: 14629
1800.07/1797.41	c conflicts		: 4009345
1800.07/1797.41	c decisions		: 97410483
1800.07/1797.41	c propagations		: 2598577756
1800.07/1797.41	c inspects		: 20626967962
1800.07/1797.41	c shortcuts		: 0
1800.07/1797.41	c learnt literals	: 200
1800.07/1797.41	c learnt binary clauses	: 2766
1800.07/1797.41	c learnt ternary clauses	: 13988
1800.07/1797.41	c learnt constraints	: 4009145
1800.07/1797.41	c ignored constraints	: 0
1800.07/1797.41	c root simplifications	: 0
1800.07/1797.41	c removed literals (reason simplification)	: 0
1800.07/1797.41	c reason swapping (by a shorter reason)	: 0
1800.07/1797.41	c Calls to reduceDB	: 85
1800.07/1797.41	c Number of update (reduction) of LBD	: 2389500
1800.07/1797.41	c Imported unit clauses	: 0
1800.07/1797.41	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.41	c number of learned constraints concerned by reduction	: 0
1800.07/1797.41	c number of learning phase by resolution	: 0
1800.07/1797.41	c number of learning phase by cutting planes	: 0
1800.07/1797.41	c speed (assignments/second)	: 1449710.878782469
1800.07/1797.41	c non guided choices	10258918
1800.07/1797.41	c timeout
1800.07/1797.44	c learnt constraints type 
1800.07/1797.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2766
1800.07/1797.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133486
1800.07/1797.44	s UNKNOWN
1800.07/1797.44	c Total wall clock time (in seconds): 1797.328

Verifier Data 

ERROR: no interpretation found !

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-4084553-1465277527/watcher-4084553-1465277527 -o /tmp/evaluation-result-4084553-1465277527/solver-4084553-1465277527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11090 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084553-1465277527.opb 

pid=11106
running on 4 cores: 0,2,4,6

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: 1.42 2.00 2.15 3/172 11109
/proc/meminfo: memFree=30111152/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/11109/stat : 11109 (java) R 11106 11109 11074 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 109686332 278528 33 33554432000 1073741824 1073778376 140737128401920 140736369773336 217401355445 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 68 33 25 9 0 25 0

[startup+0.100163 s]
/proc/loadavg: 1.42 2.00 2.15 3/172 11109
/proc/meminfo: memFree=30111152/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 109686332 9787879424 6037 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200229 s]
/proc/loadavg: 1.42 2.00 2.15 3/172 11109
/proc/meminfo: memFree=30111152/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 4739 0 1 0 23 1 0 0 20 0 18 0 109686332 9787879424 7348 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 7348 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300226 s]
/proc/loadavg: 1.42 2.00 2.15 3/172 11109
/proc/meminfo: memFree=30111152/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 6373 0 1 0 43 2 0 0 20 0 18 0 109686332 9787879424 9889 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 9889 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700285 s]
/proc/loadavg: 1.42 2.00 2.15 3/172 11109
/proc/meminfo: memFree=30111152/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=1.14 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 7695 0 1 0 109 5 0 0 20 0 18 0 109686332 9787879424 40361 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 40361 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 1.39 1.99 2.14 3/211 11155
/proc/meminfo: memFree=29771364/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=2.19 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 9277 0 1 0 210 9 0 0 20 0 18 0 109686332 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 54577 2262 9 0 2380296 0
[pid=11109/tid=11111] ppid=11106 vsize=9558476 CPUtime=1.4 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 2478 0 1 0 137 3 0 0 20 0 18 0 109686333 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092819898336 217413903629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 109686334 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 109686335 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109686336 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 109686336 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2772 0 0 0 25 0 0 0 20 0 18 0 109686338 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 2614 0 0 0 31 0 0 0 20 0 18 0 109686338 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 54577 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9558476

[startup+3.10081 s]
/proc/loadavg: 1.39 1.99 2.14 4/211 11155
/proc/meminfo: memFree=29432208/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9558476 CPUtime=4.15 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 10213 0 1 0 391 24 0 0 20 0 18 0 109686332 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2389619 150938 2262 9 0 2380296 0
[pid=11109/tid=11111] ppid=11106 vsize=9558476 CPUtime=2.87 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 2626 0 1 0 278 9 0 0 20 0 18 0 109686333 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092819905992 140092656472660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 53 0 0 0 9 3 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 42 0 0 0 6 1 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 94 0 0 0 6 2 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 61 0 0 0 4 0 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 92 0 0 0 6 2 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 75 0 0 0 4 2 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 18 0 109686334 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 18 0 109686335 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109686336 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 109686336 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2772 0 0 0 25 0 0 0 20 0 18 0 109686338 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9558476 CPUtime=0.33 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 2633 0 0 0 33 0 0 0 20 0 18 0 109686338 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109686338 9787879424 150938 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9558476

[startup+6.30083 s]
/proc/loadavg: 1.39 1.99 2.14 3/212 11156
/proc/meminfo: memFree=28161708/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9625040 CPUtime=7.81 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 11448 0 1 0 749 32 0 0 20 0 19 0 109686332 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2406260 199287 2277 9 0 2396937 0
[pid=11109/tid=11111] ppid=11106 vsize=9625040 CPUtime=6 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 3023 0 1 0 588 12 0 0 20 0 19 0 109686333 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092819904736 140092656831721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 146 0 0 0 11 4 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 222 0 0 0 10 4 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 73 0 0 0 4 1 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 119 0 0 0 7 3 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 101 0 0 0 7 2 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 153 0 0 0 5 2 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 19 0 109686334 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 468 0 0 0 0 0 0 0 20 0 19 0 109686335 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2773 0 0 0 38 0 0 0 20 0 19 0 109686338 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 2953 0 0 0 51 0 0 0 20 0 19 0 109686338 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11156] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11156/stat : 11156 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686826 9856040960 199287 33554432000 1073741824 1073778376 140737128401920 140091896865832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 1.78 2.05 2.16 3/213 11157
/proc/meminfo: memFree=28084940/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9625040 CPUtime=14.42 cores=0,2,4,6

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

/proc/11109/task/11156/stat : 11156 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686826 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091896865832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.93
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/214 11200
/proc/meminfo: memFree=26898668/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9625040 CPUtime=1724.95 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 14851 0 1 0 172406 89 0 0 20 0 19 0 109686332 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2406260 340751 2285 9 0 2396937 0
[pid=11109/tid=11111] ppid=11106 vsize=9625040 CPUtime=1717.27 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 3176 0 1 0 171683 44 0 0 20 0 19 0 109686333 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092819898048 140092656643478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 296 0 0 0 23 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 211 0 0 0 12 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 269 0 0 0 17 6 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 267 0 0 0 17 7 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 332 0 0 0 18 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 290 0 0 0 11 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 390 0 0 0 12 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 97 0 0 0 11 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 837 0 0 0 1 0 0 0 20 0 19 0 109686335 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2783 0 0 0 45 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 4543 0 0 0 71 2 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 99 0 0 0 38 29 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11156] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11156/stat : 11156 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686826 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091896865832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.95
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/214 11224
/proc/meminfo: memFree=26865168/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9625040 CPUtime=1784.97 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 14856 0 1 0 178407 90 0 0 20 0 19 0 109686332 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2406260 340751 2285 9 0 2396937 0
[pid=11109/tid=11111] ppid=11106 vsize=9625040 CPUtime=1777.11 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 3176 0 1 0 177666 45 0 0 20 0 19 0 109686333 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092819898048 140092656832047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 296 0 0 0 23 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 211 0 0 0 12 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 269 0 0 0 17 6 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 267 0 0 0 17 7 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 332 0 0 0 18 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 290 0 0 0 11 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 390 0 0 0 12 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 97 0 0 0 11 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 837 0 0 0 1 1 0 0 20 0 19 0 109686335 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2783 0 0 0 45 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 4544 0 0 0 71 2 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11156] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11156/stat : 11156 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686826 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091896865832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.13 2.17 2.17 3/213 11224
/proc/meminfo: memFree=26857116/32872528 swapFree=16080/1655368
[pid=11109] ppid=11106 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/11109/stat : 11109 (java) S 11106 11109 11074 0 -1 4202496 14856 0 1 0 179917 90 0 0 20 0 19 0 109686332 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140737128393056 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11109/statm: 2406260 340751 2285 9 0 2396937 0
[pid=11109/tid=11111] ppid=11106 vsize=9625040 CPUtime=1792.18 cores=0,2,4,6
/proc/11109/task/11111/stat : 11111 (java) R 11106 11109 11074 0 -1 4202560 3176 0 1 0 179173 45 0 0 20 0 19 0 109686333 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092819898048 140092656790206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11112] ppid=11106 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/11109/task/11112/stat : 11112 (java) S 11106 11109 11074 0 -1 4202560 296 0 0 0 23 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092781398440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11113] ppid=11106 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/11109/task/11113/stat : 11113 (java) S 11106 11109 11074 0 -1 4202560 211 0 0 0 12 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092780345896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11114] ppid=11106 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/11109/task/11114/stat : 11114 (java) S 11106 11109 11074 0 -1 4202560 269 0 0 0 17 6 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092779292840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11115] ppid=11106 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/11109/task/11115/stat : 11115 (java) S 11106 11109 11074 0 -1 4202560 267 0 0 0 17 7 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092778240296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11116] ppid=11106 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/11109/task/11116/stat : 11116 (java) S 11106 11109 11074 0 -1 4202560 332 0 0 0 18 8 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092777188264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11117] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11117/stat : 11117 (java) S 11106 11109 11074 0 -1 4202560 290 0 0 0 11 5 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092776135720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11118] ppid=11106 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11109/task/11118/stat : 11118 (java) S 11106 11109 11074 0 -1 4202560 390 0 0 0 12 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092775082664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11119] ppid=11106 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/11109/task/11119/stat : 11119 (java) S 11106 11109 11074 0 -1 4202560 97 0 0 0 11 4 0 0 20 0 19 0 109686334 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092656053032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11120] ppid=11106 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/11109/task/11120/stat : 11120 (java) S 11106 11109 11074 0 -1 4202560 837 0 0 0 1 1 0 0 20 0 19 0 109686335 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092643854696 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11109/tid=11121] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11121/stat : 11121 (java) S 11106 11109 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092642801016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11122] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11122/stat : 11122 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686336 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092641747848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11123] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11123/stat : 11123 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140092640696592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11124] ppid=11106 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/11109/task/11124/stat : 11124 (java) S 11106 11109 11074 0 -1 4202560 2783 0 0 0 45 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091901078328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11109/tid=11125] ppid=11106 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/11109/task/11125/stat : 11125 (java) S 11106 11109 11074 0 -1 4202560 4544 0 0 0 71 2 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091900025784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11126] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11126/stat : 11126 (java) S 11106 11109 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091898972920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11109/tid=11127] ppid=11106 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/11109/task/11127/stat : 11127 (java) S 11106 11109 11074 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 109686338 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091897920584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11109/tid=11156] ppid=11106 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11109/task/11156/stat : 11156 (java) S 11106 11109 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109686826 9856040960 340751 33554432000 1073741824 1073778376 140737128401920 140091896865832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 11109 sig 9
??? kill -11109 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 11109 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=689165
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=401786
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.45
CPU time (s): 1800.07
CPU user time (s): 1799.17
CPU system time (s): 0.9
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 1.40179
maximum resident set size= 1363140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14896
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38415
involuntary context switches= 6918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2324 second user time and 13.9119 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 07:32:08
IDJOB=4084553
IDBENCH=89805
IDSOLVER=2546
FILE ID=node122/4084553-1465277527
RUNJOBID= node122-1465277527-11090
PBS_JOBID= 19843311
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-112.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084553-1465277527/watcher-4084553-1465277527 -o /tmp/evaluation-result-4084553-1465277527/solver-4084553-1465277527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11090 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084553-1465277527.opb

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

MD5SUM BENCH= 7a0b627cea8cce891554469525360150
RANDOM SEED=997598258

node122.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		: 2666.898
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	: 5333.79
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		: 2666.898
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	: 5332.55
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		: 2666.898
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.54
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		: 2666.898
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		: 2666.898
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		: 2666.898
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.55
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		: 2666.898
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		: 2666.898
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:        30113184 kB
Buffers:          129860 kB
Cached:           231184 kB
SwapCached:          860 kB
Active:           124416 kB
Inactive:         242448 kB
Active(anon):       6848 kB
Inactive(anon):     1632 kB
Active(file):     117568 kB
Inactive(file):   240816 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:             72792 kB
Writeback:             0 kB
AnonPages:       1661616 kB
Mapped:             6960 kB
Shmem:                 0 kB
Slab:             603560 kB
SReclaimable:      47432 kB
SUnreclaim:       556128 kB
KernelStack:        1392 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1756640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 71660 MiB
End job on node122 at 2016-06-07 08:02:05