Trace number 4116614

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 Res+CP PB16? (TO) 1800 894.266

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-5.opb
MD5SUMd1fabf35eff0707feff9b8cfd4299550
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 variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4116614-1466955936.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  no objective function found
0.76/0.48	c ... done. Wall clock time 0.37s.
0.76/0.48	c declared #vars     4128
0.76/0.48	c #constraints  9984
0.76/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.76/0.48	c constraints type 
0.76/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.76/0.48	c org.sat4j.specs.Constr$1 => 904
0.76/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.76/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
0.76/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.76/0.48	c 9984 constraints processed.
0.76/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.76/0.48	c constraints type 
0.76/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.76/0.48	c org.sat4j.specs.Constr$1 => 904
0.76/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.76/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.76/0.48	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
0.76/0.48	c 9984 constraints processed.
4.05/1.37	c cleaning 2491 clauses out of 4998 with flag 16020/5000
6.52/2.00	c cleaning 4254 clauses out of 8507 with flag 38935/11000
8.00/2.79	c cleaning 5619 clauses out of 11253 with flag 67189/18000
9.86/3.63	c cleaning 6805 clauses out of 13634 with flag 104032/26000
11.93/4.61	c cleaning 7877 clauses out of 15829 with flag 146547/35000
14.19/5.74	c cleaning 8968 clauses out of 17954 with flag 192925/45002
16.86/7.06	c cleaning 9983 clauses out of 19984 with flag 247961/56000
19.66/8.46	c cleaning 10982 clauses out of 22001 with flag 308991/68000
23.15/10.11	c cleaning 11995 clauses out of 24019 with flag 377163/81000
26.55/11.81	c cleaning 12981 clauses out of 26024 with flag 453371/95000
30.64/13.84	c cleaning 14014 clauses out of 28043 with flag 536770/110000
34.64/15.89	c cleaning 14978 clauses out of 30029 with flag 627295/126000
38.92/17.98	c cleaning 0 clauses out of 5000 with flag 0/5000
39.81/18.28	c cleaning 16017 clauses out of 32051 with flag 724704/143000
45.02/20.78	c cleaning 16994 clauses out of 34034 with flag 825873/161000
50.71/23.54	c cleaning 17974 clauses out of 36040 with flag 936770/180000
56.72/26.53	c cleaning 19003 clauses out of 38067 with flag 1052787/200001
63.12/29.76	c cleaning 20024 clauses out of 40063 with flag 1175404/221000
70.22/33.22	c cleaning 20974 clauses out of 42039 with flag 1305592/243000
77.42/36.86	c cleaning 21990 clauses out of 44065 with flag 1445053/266000
85.37/40.76	c cleaning 23018 clauses out of 46076 with flag 1590025/290001
93.95/45.04	c cleaning 23988 clauses out of 48057 with flag 1737188/315000
103.06/49.54	c cleaning 25025 clauses out of 50069 with flag 1892373/341000
112.24/54.10	c cleaning 25987 clauses out of 52044 with flag 2057732/368000
122.03/59.01	c cleaning 26992 clauses out of 54057 with flag 2226751/396000
131.96/63.96	c cleaning 27999 clauses out of 56065 with flag 2401525/425000
143.27/69.59	c cleaning 29017 clauses out of 58066 with flag 2585221/455000
154.87/75.38	c cleaning 29997 clauses out of 60049 with flag 2776086/486000
167.56/81.63	c cleaning 31008 clauses out of 62053 with flag 2972055/518001
180.44/88.04	c cleaning 31986 clauses out of 64044 with flag 3176847/551000
194.25/94.95	c cleaning 33009 clauses out of 66062 with flag 3386982/585004
208.73/102.13	c cleaning 34001 clauses out of 68049 with flag 3600575/620000
224.48/110.36	c cleaning 35017 clauses out of 70049 with flag 3823356/656001
240.13/118.16	c cleaning 35993 clauses out of 72032 with flag 4051069/693001
255.74/125.98	c cleaning 36992 clauses out of 74038 with flag 4285835/731000
272.45/134.26	c cleaning 37977 clauses out of 76046 with flag 4527580/770000
289.95/142.94	c cleaning 39025 clauses out of 78069 with flag 4779306/810000
308.48/152.16	c cleaning 40012 clauses out of 80046 with flag 5029599/851002
311.08/153.41	c cleaning 0 clauses out of 11000 with flag 0/11000
327.44/161.59	c cleaning 40992 clauses out of 82032 with flag 5293226/893000
347.39/171.47	c cleaning 42015 clauses out of 84040 with flag 5562056/936000
368.18/181.70	c cleaning 42999 clauses out of 86025 with flag 5834214/980000
390.76/192.93	c cleaning 44000 clauses out of 88026 with flag 6112846/1025000
413.26/204.14	c cleaning 45004 clauses out of 90027 with flag 6398802/1071001
437.68/216.81	c cleaning 45994 clauses out of 92022 with flag 6691257/1118000
461.81/228.86	c cleaning 46997 clauses out of 94030 with flag 6987475/1166002
486.87/241.39	c cleaning 47992 clauses out of 96032 with flag 7294160/1215001
512.87/254.29	c cleaning 48962 clauses out of 98039 with flag 7611661/1265000
540.17/267.82	c cleaning 50008 clauses out of 100077 with flag 7933256/1316000
568.41/281.87	c cleaning 51030 clauses out of 102070 with flag 8258248/1368001
598.30/296.60	c cleaning 51962 clauses out of 104039 with flag 8591833/1421000
628.95/311.83	c cleaning 53022 clauses out of 106078 with flag 8928442/1475001
659.74/327.11	c cleaning 53985 clauses out of 108057 with flag 9275534/1530002
691.39/342.89	c cleaning 55026 clauses out of 110070 with flag 9626993/1586000
725.06/359.52	c cleaning 55997 clauses out of 112044 with flag 9982711/1643000
759.12/376.42	c cleaning 56985 clauses out of 114047 with flag 10349433/1701000
794.35/393.97	c cleaning 58012 clauses out of 116062 with flag 10721295/1760000
830.88/412.08	c cleaning 59019 clauses out of 118051 with flag 11096993/1820001
867.85/430.37	c cleaning 59990 clauses out of 120031 with flag 11479773/1881000
906.96/449.78	c cleaning 60984 clauses out of 122041 with flag 11868827/1943000
947.41/469.81	c cleaning 62011 clauses out of 124058 with flag 12263572/2006001
987.18/489.68	c cleaning 63010 clauses out of 126047 with flag 12665865/2070001
1029.18/510.55	c cleaning 64005 clauses out of 128036 with flag 13069360/2135000
1074.09/532.87	c cleaning 64992 clauses out of 130031 with flag 13478419/2201000
1119.59/555.41	c cleaning 65992 clauses out of 132040 with flag 13896261/2268001
1123.39/557.34	c cleaning 0 clauses out of 18000 with flag 0/18000
1165.73/578.38	c cleaning 67011 clauses out of 134048 with flag 14317010/2336001
1213.67/602.08	c cleaning 68009 clauses out of 136036 with flag 14751360/2405000
1263.06/626.58	c cleaning 68981 clauses out of 138027 with flag 15186991/2475000
1314.80/653.20	c cleaning 69991 clauses out of 140046 with flag 15632144/2546000
1365.54/678.47	c cleaning 70983 clauses out of 142055 with flag 16077923/2618000
1419.41/705.24	c cleaning 72034 clauses out of 144073 with flag 16540099/2691001
1472.93/731.85	c cleaning 72993 clauses out of 146038 with flag 16994765/2765000
1528.34/759.33	c cleaning 73995 clauses out of 148046 with flag 17458775/2840001
1585.04/787.43	c cleaning 75010 clauses out of 150052 with flag 17928582/2916002
1644.66/816.96	c cleaning 75999 clauses out of 152042 with flag 18405872/2993002
1704.21/846.50	c cleaning 76983 clauses out of 154041 with flag 18898325/3071000
1765.74/877.12	c cleaning 78018 clauses out of 156058 with flag 19391908/3150000
1800.00/894.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/894.20	c starts		: 27508
1800.00/894.20	c conflicts		: 3199131
1800.00/894.20	c decisions		: 30556977
1800.00/894.20	c propagations		: 431846536
1800.00/894.20	c inspects		: 9105211356
1800.00/894.20	c shortcuts		: 0
1800.00/894.20	c learnt literals	: 2
1800.00/894.20	c learnt binary clauses	: 46
1800.00/894.20	c learnt ternary clauses	: 736
1800.00/894.20	c learnt constraints	: 3199129
1800.00/894.20	c ignored constraints	: 0
1800.00/894.20	c root simplifications	: 0
1800.00/894.20	c removed literals (reason simplification)	: 2349890
1800.00/894.20	c reason swapping (by a shorter reason)	: 0
1800.00/894.20	c Calls to reduceDB	: 75
1800.00/894.20	c Number of update (reduction) of LBD	: 680985
1800.00/894.20	c Imported unit clauses	: 0
1800.00/894.20	c number of reductions to clauses (during analyze)	: 0
1800.00/894.20	c number of learned constraints concerned by reduction	: 0
1800.00/894.20	c number of learning phase by resolution	: 0
1800.00/894.20	c number of learning phase by cutting planes	: 0
1800.00/894.20	c speed (assignments/second)	: 483206.56141253875
1800.00/894.20	c non guided choices	7194
1800.00/894.23	c learnt constraints type 
1800.00/894.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46
1800.00/894.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 127125
1800.00/894.23	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/894.23	c starts		: 45
1800.00/894.23	c conflicts		: 21173
1800.00/894.23	c decisions		: 76257
1800.00/894.23	c propagations		: 2582857
1800.00/894.23	c inspects		: 839008324
1800.00/894.23	c shortcuts		: 0
1800.00/894.23	c learnt literals	: 0
1800.00/894.23	c learnt binary clauses	: 0
1800.00/894.23	c learnt ternary clauses	: 0
1800.00/894.23	c learnt constraints	: 21173
1800.00/894.23	c ignored constraints	: 0
1800.00/894.23	c root simplifications	: 0
1800.00/894.23	c removed literals (reason simplification)	: 0
1800.00/894.23	c reason swapping (by a shorter reason)	: 0
1800.00/894.23	c Calls to reduceDB	: 3
1800.00/894.23	c Number of update (reduction) of LBD	: 0
1800.00/894.23	c Imported unit clauses	: 0
1800.00/894.23	c number of reductions to clauses (during analyze)	: 0
1800.00/894.23	c number of learned constraints concerned by reduction	: 0
1800.00/894.23	c number of learning phase by resolution	: 0
1800.00/894.23	c number of learning phase by cutting planes	: 0
1800.00/894.23	c speed (assignments/second)	: 2889.961666446616
1800.00/894.23	c non guided choices	260
1800.00/894.24	c learnt constraints type 
1800.00/894.24	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 14
1800.00/894.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21159
1800.00/894.24	s UNKNOWN
1800.00/894.24	c Total wall clock time (in seconds): 894.128

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-4116614-1466955936/watcher-4116614-1466955936 -o /tmp/evaluation-result-4116614-1466955936/solver-4116614-1466955936 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116614-1466955936.opb 

pid=22032
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: 4.01 4.18 4.23 4/197 22035
/proc/meminfo: memFree=30213268/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22035/stat : 22035 (java) R 22032 22035 19474 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 28632298 23793664 339 33554432000 1073741824 1073778376 140734283057088 140734283046152 270698330689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 5809 351 270 9 0 128 0

[startup+0.100112 s]
/proc/loadavg: 4.01 4.18 4.23 4/197 22035
/proc/meminfo: memFree=30213268/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 4460 0 1 0 10 1 0 0 20 0 18 0 28632298 9787879424 6094 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2389619 6094 2148 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 4.01 4.18 4.23 4/197 22035
/proc/meminfo: memFree=30213268/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 4723 0 1 0 26 1 0 0 20 0 18 0 28632298 9787879424 6807 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2389619 6807 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.30023 s]
/proc/loadavg: 4.01 4.18 4.23 4/197 22035
/proc/meminfo: memFree=30213268/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 5913 0 1 0 50 1 0 0 20 0 18 0 28632298 9787879424 9073 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2389619 9073 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700193 s]
/proc/loadavg: 4.01 4.18 4.23 4/197 22035
/proc/meminfo: memFree=30213268/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 14446 0 1 0 184 2 0 0 20 0 22 0 28632298 10060525568 23444 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 23444 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 4.01 4.18 4.23 8/219 22057
/proc/meminfo: memFree=30014164/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 27468 0 1 0 479 6 0 0 20 0 22 0 28632298 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 50069 2290 9 0 2446860 0
[pid=22035/tid=22037] ppid=22032 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/22035/task/22037/stat : 22037 (java) S 22032 22035 19474 0 -1 4202560 2468 0 1 0 45 1 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061573763960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22038] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22038/stat : 22038 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061417781928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22039] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22039/stat : 22039 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061416729384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22040] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28632299 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28632300 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/22035/task/22050/stat : 22050 (java) R 22032 22035 19474 0 -1 4202560 12999 0 0 0 112 1 0 0 20 0 22 0 28632303 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061393778176 140061576260517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22051] ppid=22032 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/22035/task/22051/stat : 22051 (java) R 22032 22035 19474 0 -1 4202560 10593 0 0 0 124 2 0 0 20 0 22 0 28632303 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061392726056 140061581519577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22052] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22052/stat : 22052 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061391686136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22053] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22053/stat : 22053 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061390633800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22054] ppid=22032 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/22035/task/22054/stat : 22054 (java) R 22032 22035 19474 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 22 0 28632347 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061389205664 140061446682095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22055] ppid=22032 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/22035/task/22055/stat : 22055 (java) R 22032 22035 19474 0 -1 4202560 76 0 0 0 90 2 0 0 20 0 22 0 28632347 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061388160728 140061447171264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22056] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22056/stat : 22056 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061387109928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22057] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22057/stat : 22057 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 50069 33554432000 1073741824 1073778376 140734283057088 140061386057384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 4.01 4.18 4.23 5/219 22057
/proc/meminfo: memFree=29830168/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=8.86 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 29956 0 1 0 871 15 0 0 20 0 22 0 28632298 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 90247 2292 9 0 2446860 0
[pid=22035/tid=22037] ppid=22032 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/22035/task/22037/stat : 22037 (java) S 22032 22035 19474 0 -1 4202560 2469 0 1 0 45 1 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061573763960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22038] ppid=22032 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22035/task/22038/stat : 22038 (java) S 22032 22035 19474 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061417781928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22039] ppid=22032 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22035/task/22039/stat : 22039 (java) S 22032 22035 19474 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061416729384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22040] ppid=22032 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 28632299 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 28632300 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/22035/task/22050/stat : 22050 (java) S 22032 22035 19474 0 -1 4202560 13025 0 0 0 147 2 0 0 20 0 22 0 28632303 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061393791032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22051] ppid=22032 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/22035/task/22051/stat : 22051 (java) S 22032 22035 19474 0 -1 4202560 12704 0 0 0 157 3 0 0 20 0 22 0 28632303 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061392738488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22052] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22052/stat : 22052 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061391686136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22053] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22053/stat : 22053 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061390633800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22054] ppid=22032 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/22035/task/22054/stat : 22054 (java) R 22032 22035 19474 0 -1 4202560 20 0 0 0 246 0 0 0 20 0 22 0 28632347 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061389212432 140061447024216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22055] ppid=22032 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/22035/task/22055/stat : 22055 (java) R 22032 22035 19474 0 -1 4202560 128 0 0 0 236 3 0 0 20 0 22 0 28632347 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061388160904 140061446951050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22056] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22056/stat : 22056 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061387109928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22057] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22057/stat : 22057 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 90247 33554432000 1073741824 1073778376 140734283057088 140061386057384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.09 4.20 4.24 5/219 22057
/proc/meminfo: memFree=29139568/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=15.4 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 30908 0 1 0 1518 22 0 0 20 0 22 0 28632298 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 156816 2292 9 0 2446860 0
[pid=22035/tid=22037] ppid=22032 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/22035/task/22037/stat : 22037 (java) S 22032 22035 19474 0 -1 4202560 2469 0 1 0 45 1 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061573763960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22038] ppid=22032 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/22035/task/22038/stat : 22038 (java) S 22032 22035 19474 0 -1 4202560 160 0 0 0 7 0 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061417781928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22039] ppid=22032 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22035/task/22039/stat : 22039 (java) S 22032 22035 19474 0 -1 4202560 120 0 0 0 4 1 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061416729384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22040] ppid=22032 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 149 0 0 0 5 1 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 144 0 0 0 8 2 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 48 0 0 0 5 2 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 22 0 28632299 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 22 0 28632300 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 156816 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.49 cores=1,3,5,7

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

/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 640 0 0 0 279 15 0 0 20 0 22 0 28632299 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 617 0 0 0 306 15 0 0 20 0 22 0 28632299 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 479 0 0 0 268 12 0 0 20 0 22 0 28632299 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 486 0 0 0 311 13 0 0 20 0 22 0 28632299 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 539 0 0 0 303 16 0 0 20 0 22 0 28632299 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 540 0 0 0 314 17 0 0 20 0 22 0 28632300 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 2290 0 0 0 351 8 0 0 20 0 22 0 28632301 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/22035/task/22050/stat : 22050 (java) S 22032 22035 19474 0 -1 4202560 13034 0 0 0 156 2 0 0 20 0 22 0 28632303 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061393791032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22051] ppid=22032 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/22035/task/22051/stat : 22051 (java) S 22032 22035 19474 0 -1 4202560 14489 0 0 0 208 3 0 0 20 0 22 0 28632303 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061392738488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22052] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22052/stat : 22052 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061391686136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22053] ppid=22032 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/22035/task/22053/stat : 22053 (java) S 22032 22035 19474 0 -1 4202560 47 0 0 0 14 20 0 0 20 0 22 0 28632303 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061390633800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22054] ppid=22032 vsize=9824732 CPUtime=809.39 cores=1,3,5,7
/proc/22035/task/22054/stat : 22054 (java) R 22032 22035 19474 0 -1 4202560 70 0 0 0 80926 13 0 0 20 0 22 0 28632347 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061389205744 140061446971614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22055] ppid=22032 vsize=9824732 CPUtime=809.28 cores=1,3,5,7
/proc/22035/task/22055/stat : 22055 (java) R 22032 22035 19474 0 -1 4202560 1863 0 0 0 80881 47 0 0 20 0 22 0 28632347 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061388161808 140061446948086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22056] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22056/stat : 22056 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061387109928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22057] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22057/stat : 22057 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 904370 33554432000 1073741824 1073778376 140734283057088 140061386057384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1655.43
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.33 4.39 4.31 6/220 22080
/proc/meminfo: memFree=22956324/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=1776.15 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 40151 0 1 0 177431 184 0 0 20 0 22 0 28632298 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 920247 2301 9 0 2446860 0
[pid=22035/tid=22037] ppid=22032 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/22035/task/22037/stat : 22037 (java) S 22032 22035 19474 0 -1 4202560 2475 0 1 0 48 3 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061573763960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22038] ppid=22032 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/22035/task/22038/stat : 22038 (java) S 22032 22035 19474 0 -1 4202560 627 0 0 0 297 16 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061417781928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22039] ppid=22032 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/22035/task/22039/stat : 22039 (java) S 22032 22035 19474 0 -1 4202560 616 0 0 0 309 16 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061416729384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22040] ppid=22032 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 646 0 0 0 295 15 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 624 0 0 0 323 16 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 483 0 0 0 285 12 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 492 0 0 0 327 13 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 557 0 0 0 325 17 0 0 20 0 22 0 28632299 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 551 0 0 0 331 17 0 0 20 0 22 0 28632300 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 2302 0 0 0 351 9 0 0 20 0 22 0 28632301 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/22035/task/22050/stat : 22050 (java) S 22032 22035 19474 0 -1 4202560 13034 0 0 0 156 2 0 0 20 0 22 0 28632303 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061393791032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22051] ppid=22032 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/22035/task/22051/stat : 22051 (java) S 22032 22035 19474 0 -1 4202560 14489 0 0 0 208 3 0 0 20 0 22 0 28632303 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061392738488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22052] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22052/stat : 22052 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061391686136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22053] ppid=22032 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/22035/task/22053/stat : 22053 (java) S 22032 22035 19474 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 28632303 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061390633800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22054] ppid=22032 vsize=9824732 CPUtime=868.82 cores=1,3,5,7
/proc/22035/task/22054/stat : 22054 (java) R 22032 22035 19474 0 -1 4202560 72 0 0 0 86868 14 0 0 20 0 22 0 28632347 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061389205744 140061446917819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22055] ppid=22032 vsize=9824732 CPUtime=868.71 cores=1,3,5,7
/proc/22035/task/22055/stat : 22055 (java) R 22032 22035 19474 0 -1 4202560 1868 0 0 0 86823 48 0 0 20 0 22 0 28632347 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061388162008 140061447151788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22056] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22056/stat : 22056 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061387109928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22057] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22057/stat : 22057 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 920247 33554432000 1073741824 1073778376 140734283057088 140061386057384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1776.15
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.201 s]
/proc/loadavg: 4.35 4.39 4.31 3/195 22108
/proc/meminfo: memFree=26725284/32872528 swapFree=1541156/1696500
[pid=22035] ppid=22032 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/22035/stat : 22035 (java) S 22032 22035 19474 0 -1 4202496 40164 0 1 0 179815 185 0 0 20 0 22 0 28632298 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140734283048224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22035/statm: 2456183 921783 2301 9 0 2446860 0
[pid=22035/tid=22037] ppid=22032 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/22035/task/22037/stat : 22037 (java) S 22032 22035 19474 0 -1 4202560 2475 0 1 0 48 3 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061573763960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22038] ppid=22032 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/22035/task/22038/stat : 22038 (java) S 22032 22035 19474 0 -1 4202560 628 0 0 0 299 16 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061417781928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22039] ppid=22032 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/22035/task/22039/stat : 22039 (java) S 22032 22035 19474 0 -1 4202560 618 0 0 0 311 16 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061416729384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22040] ppid=22032 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/22035/task/22040/stat : 22040 (java) S 22032 22035 19474 0 -1 4202560 648 0 0 0 298 15 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061415676840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22041] ppid=22032 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/22035/task/22041/stat : 22041 (java) S 22032 22035 19474 0 -1 4202560 625 0 0 0 326 16 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061414624296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22042] ppid=22032 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/22035/task/22042/stat : 22042 (java) S 22032 22035 19474 0 -1 4202560 483 0 0 0 287 12 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061413570728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22043] ppid=22032 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/22035/task/22043/stat : 22043 (java) S 22032 22035 19474 0 -1 4202560 495 0 0 0 333 13 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061412518184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22044] ppid=22032 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/22035/task/22044/stat : 22044 (java) S 22032 22035 19474 0 -1 4202560 558 0 0 0 327 17 0 0 20 0 22 0 28632299 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061411465640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22045] ppid=22032 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/22035/task/22045/stat : 22045 (java) S 22032 22035 19474 0 -1 4202560 552 0 0 0 334 17 0 0 20 0 22 0 28632300 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061410413096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22046] ppid=22032 vsize=9824732 CPUtime=3.61 cores=1,3,5,7
/proc/22035/task/22046/stat : 22046 (java) S 22032 22035 19474 0 -1 4202560 2302 0 0 0 351 10 0 0 20 0 22 0 28632301 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061398002280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22047] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22047/stat : 22047 (java) S 22032 22035 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061396948600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22048] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22048/stat : 22048 (java) S 22032 22035 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28632301 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061395895944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22049] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22049/stat : 22049 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061394844688 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22035/tid=22050] ppid=22032 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/22035/task/22050/stat : 22050 (java) S 22032 22035 19474 0 -1 4202560 13034 0 0 0 156 2 0 0 20 0 22 0 28632303 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061393791032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22051] ppid=22032 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/22035/task/22051/stat : 22051 (java) S 22032 22035 19474 0 -1 4202560 14489 0 0 0 208 3 0 0 20 0 22 0 28632303 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061392738488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22052] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22052/stat : 22052 (java) S 22032 22035 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28632303 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061391686136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22035/tid=22053] ppid=22032 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/22035/task/22053/stat : 22053 (java) S 22032 22035 19474 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 28632303 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061390633800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22054] ppid=22032 vsize=9824732 CPUtime=880.6 cores=1,3,5,7
/proc/22035/task/22054/stat : 22054 (java) R 22032 22035 19474 0 -1 4202560 73 0 0 0 88046 14 0 0 20 0 22 0 28632347 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061389213424 140061446917819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22055] ppid=22032 vsize=9824732 CPUtime=880.49 cores=1,3,5,7
/proc/22035/task/22055/stat : 22055 (java) R 22032 22035 19474 0 -1 4202560 1869 0 0 0 88001 48 0 0 20 0 22 0 28632347 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061388162104 140061446949295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22035/tid=22056] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22056/stat : 22056 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061387109928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22035/tid=22057] ppid=22032 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22035/task/22057/stat : 22057 (java) S 22032 22035 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28632348 10060525568 921783 33554432000 1073741824 1073778376 140734283057088 140061386057384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

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 22035 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 22035 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=649323
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=411633
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 894.266
CPU time (s): 1800
CPU user time (s): 1798.15
CPU system time (s): 1.85
CPU usage (%): 201.282
Max. virtual memory (cumulated for all children) (KiB): 9825088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.41163
maximum resident set size= 3687248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40198
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24176
involuntary context switches= 30054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40603 second user time and 8.20575 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 17:45:36
IDJOB=4116614
IDBENCH=109492
IDSOLVER=2543
FILE ID=node125/4116614-1466955936
RUNJOBID= node125-1466943674-19491
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116614-1466955936/watcher-4116614-1466955936 -o /tmp/evaluation-result-4116614-1466955936/solver-4116614-1466955936 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116614-1466955936.opb

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

MD5SUM BENCH= d1fabf35eff0707feff9b8cfd4299550
RANDOM SEED=915722071

node125.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.021
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.021
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.56
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.021
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.021
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.021
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.021
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.56
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.021
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.021
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:        30213920 kB
Buffers:           16836 kB
Cached:            42156 kB
SwapCached:         1744 kB
Active:           226276 kB
Inactive:          34732 kB
Active(anon):     204188 kB
Inactive(anon):      448 kB
Active(file):      22088 kB
Inactive(file):    34284 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098444 kB
Dirty:              2428 kB
Writeback:             0 kB
AnonPages:       1886252 kB
Mapped:            15500 kB
Shmem:                 0 kB
Slab:             565956 kB
SReclaimable:       9408 kB
SUnreclaim:       556548 kB
KernelStack:        1640 kB
PageTables:         7968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2516964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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= 71740 MiB
End job on node125 at 2016-06-26 18:00:30