Trace number 4106846

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.08 1784.85

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
MD5SUMd38f526c1f6f5ee8e5e4d2c41b31df8d
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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.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-4106846-1466278787.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
1.67/0.75	c ... done. Wall clock time 0.637s.
1.67/0.75	c declared #vars     1000
1.67/0.75	c internal #vars     16670
1.67/0.75	c #constraints  32843
1.67/0.75	c constraints type 
1.67/0.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15670
1.67/0.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.67/0.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.67/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1.67/0.75	c 32843 constraints processed.
5.66/3.19	c cleaning 2500 clauses out of 5000 with flag 12173/5000
7.91/5.13	c cleaning 4261 clauses out of 8522 with flag 25001/11022
9.91/7.15	c cleaning 5564 clauses out of 11239 with flag 39520/18000
12.02/9.26	c cleaning 6880 clauses out of 13760 with flag 56731/26085
14.12/11.18	c cleaning 7866 clauses out of 15795 with flag 76793/35000
16.01/13.01	c cleaning 8924 clauses out of 17929 with flag 102844/45000
18.81/15.81	c cleaning 9994 clauses out of 20005 with flag 126861/56000
23.20/20.21	c cleaning 10877 clauses out of 22011 with flag 152291/68000
29.60/26.63	c cleaning 12131 clauses out of 24261 with flag 179893/81127
34.80/31.83	c cleaning 12911 clauses out of 26003 with flag 209035/95000
39.35/36.05	c cleaning 14046 clauses out of 28099 with flag 242145/110007
42.65/39.31	c cleaning 14970 clauses out of 30046 with flag 282373/126000
48.55/45.27	c cleaning 16007 clauses out of 32076 with flag 318034/143000
55.64/52.31	c cleaning 16906 clauses out of 34069 with flag 355725/161000
60.74/57.49	c cleaning 18030 clauses out of 36163 with flag 396911/180000
66.23/62.63	c cleaning 19091 clauses out of 38183 with flag 451005/200050
74.83/71.28	c cleaning 20035 clauses out of 40071 with flag 494787/221029
81.03/77.42	c cleaning 20892 clauses out of 42007 with flag 541597/243000
87.73/84.16	c cleaning 22111 clauses out of 44223 with flag 602667/266108
96.72/93.19	c cleaning 23014 clauses out of 46030 with flag 653443/290026
102.74/99.17	c cleaning 23900 clauses out of 47991 with flag 712257/315001
113.84/109.74	c cleaning 25084 clauses out of 50170 with flag 767110/341080
120.63/116.55	c cleaning 25912 clauses out of 52007 with flag 830609/368001
131.34/127.24	c cleaning 27095 clauses out of 54191 with flag 890409/396097
139.14/135.01	c cleaning 27899 clauses out of 55999 with flag 958290/425000
150.14/146.05	c cleaning 29049 clauses out of 58100 with flag 1021475/455000
158.98/154.65	c cleaning 29946 clauses out of 60051 with flag 1092240/486000
171.39/167.08	c cleaning 30961 clauses out of 62105 with flag 1160275/518000
181.39/177.05	c cleaning 32118 clauses out of 64237 with flag 1237568/551093
194.19/189.81	c cleaning 32902 clauses out of 66027 with flag 1309494/585001
205.99/201.64	c cleaning 34040 clauses out of 68151 with flag 1391754/620027
218.22/213.26	c cleaning 34955 clauses out of 70084 with flag 1474565/656000
231.02/226.06	c cleaning 35985 clauses out of 72130 with flag 1556976/693001
244.63/239.68	c cleaning 36988 clauses out of 74144 with flag 1638648/731000
258.83/253.85	c cleaning 38077 clauses out of 76156 with flag 1729858/770000
272.74/267.73	c cleaning 39057 clauses out of 78115 with flag 1821107/810036
286.85/281.89	c cleaning 39943 clauses out of 80022 with flag 1913328/851000
303.28/297.06	c cleaning 40940 clauses out of 82080 with flag 2009370/893001
317.47/311.21	c cleaning 41954 clauses out of 84140 with flag 2105289/936001
331.17/324.90	c cleaning 42963 clauses out of 86186 with flag 2205806/980001
346.68/340.46	c cleaning 44004 clauses out of 88222 with flag 2309216/1025000
360.98/354.70	c cleaning 45032 clauses out of 90218 with flag 2419125/1071000
378.08/371.06	c cleaning 46116 clauses out of 92234 with flag 2527001/1118048
394.78/387.74	c cleaning 46912 clauses out of 94070 with flag 2634372/1166000
411.29/404.20	c cleaning 47965 clauses out of 96158 with flag 2756928/1215000
428.79/421.72	c cleaning 49022 clauses out of 98195 with flag 2876193/1265002
447.89/440.84	c cleaning 50108 clauses out of 100232 with flag 2993275/1316061
465.80/458.75	c cleaning 51037 clauses out of 102094 with flag 3118686/1368031
486.44/478.55	c cleaning 51977 clauses out of 104026 with flag 3246511/1421000
506.54/498.66	c cleaning 52940 clauses out of 106049 with flag 3373113/1475000
526.95/519.02	c cleaning 54034 clauses out of 108109 with flag 3503248/1530000
549.95/542.05	c cleaning 54972 clauses out of 110075 with flag 3638388/1586000
571.46/563.52	c cleaning 55955 clauses out of 112103 with flag 3778532/1643000
596.17/586.74	c cleaning 57020 clauses out of 114148 with flag 3918962/1701000
618.47/609.06	c cleaning 57947 clauses out of 116128 with flag 4065488/1760000
640.98/631.57	c cleaning 58972 clauses out of 118182 with flag 4219194/1820001
664.17/654.72	c cleaning 60011 clauses out of 120209 with flag 4391921/1881000
688.40/678.59	c cleaning 61033 clauses out of 122198 with flag 4562096/1943000
713.70/703.83	c cleaning 62015 clauses out of 124165 with flag 4743946/2006000
736.20/726.32	c cleaning 63011 clauses out of 126150 with flag 4947190/2070000
753.30/743.49	c cleaning 64005 clauses out of 128139 with flag 5183127/2135000
767.29/756.62	c cleaning 65023 clauses out of 130134 with flag 5420457/2201000
789.20/778.54	c cleaning 66013 clauses out of 132116 with flag 5697777/2268005
816.02/805.32	c cleaning 66989 clauses out of 134098 with flag 5921187/2336000
846.73/836.03	c cleaning 67994 clauses out of 136109 with flag 6117315/2405000
879.70/868.60	c cleaning 69001 clauses out of 138115 with flag 6330107/2475000
914.11/903.02	c cleaning 69934 clauses out of 140114 with flag 6528653/2546000
949.83/938.70	c cleaning 70965 clauses out of 142180 with flag 6721842/2618000
988.43/976.53	c cleaning 72086 clauses out of 144221 with flag 6903645/2691006
1028.15/1016.29	c cleaning 72989 clauses out of 146129 with flag 7095358/2765000
1069.26/1057.37	c cleaning 74055 clauses out of 148158 with flag 7289766/2840018
1113.29/1100.95	c cleaning 74994 clauses out of 150085 with flag 7480619/2916000
1161.01/1148.60	c cleaning 75979 clauses out of 152106 with flag 7670672/2993015
1208.72/1196.34	c cleaning 77031 clauses out of 154129 with flag 7867966/3071017
1259.60/1246.58	c cleaning 77947 clauses out of 156081 with flag 8056657/3150000
1310.41/1297.34	c cleaning 79003 clauses out of 158134 with flag 8247240/3230000
1364.03/1350.55	c cleaning 79950 clauses out of 160132 with flag 8441171/3311001
1418.94/1405.41	c cleaning 81021 clauses out of 162181 with flag 8635740/3393000
1474.66/1461.19	c cleaning 82064 clauses out of 164187 with flag 8831052/3476027
1534.31/1520.10	c cleaning 82942 clauses out of 166096 with flag 9027080/3560000
1600.13/1585.90	c cleaning 83981 clauses out of 168155 with flag 9222511/3645001
1665.57/1651.05	c cleaning 84991 clauses out of 170173 with flag 9425492/3731000
1735.00/1720.45	c cleaning 86099 clauses out of 172198 with flag 9621589/3818016
1800.08/1784.80	c starts		: 1
1800.08/1784.80	c conflicts		: 3901793
1800.08/1784.80	c decisions		: 42587535
1800.08/1784.80	c propagations		: 113775786
1800.08/1784.80	c inspects		: 22071937294
1800.08/1784.80	c shortcuts		: 0
1800.08/1784.80	c learnt literals	: 0
1800.08/1784.80	c learnt binary clauses	: 0
1800.08/1784.80	c learnt ternary clauses	: 0
1800.08/1784.80	c learnt constraints	: 3901793
1800.08/1784.80	c ignored constraints	: 0
1800.08/1784.80	c root simplifications	: 0
1800.08/1784.80	c removed literals (reason simplification)	: 0
1800.08/1784.80	c reason swapping (by a shorter reason)	: 0
1800.08/1784.80	c Calls to reduceDB	: 83
1800.08/1784.80	c Number of update (reduction) of LBD	: 457339
1800.08/1784.80	c Imported unit clauses	: 0
1800.08/1784.80	c number of reductions to clauses (during analyze)	: 0
1800.08/1784.80	c number of learned constraints concerned by reduction	: 0
1800.08/1784.80	c number of learning phase by resolution	: 0
1800.08/1784.80	c number of learning phase by cutting planes	: 0
1800.08/1784.80	c speed (assignments/second)	: 63774.342124070296
1800.08/1784.80	c non guided choices	16127
1800.08/1784.80	c timeout
1800.08/1784.83	c learnt constraints type 
1800.08/1784.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 169876
1800.08/1784.83	s UNKNOWN
1800.08/1784.83	c Total wall clock time (in seconds): 1784.72

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-4106846-1466278787/watcher-4106846-1466278787 -o /tmp/evaluation-result-4106846-1466278787/solver-4106846-1466278787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466276989-21401 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106846-1466278787.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.07 2.01 3/194 21557
/proc/meminfo: memFree=30710744/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21557/stat : 21557 (java) R 21554 21557 21384 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 29928701 9515008 160 33554432000 1073741824 1073778376 140733954582560 140733954579688 251142664240 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2323 171 129 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.12 2.07 2.01 3/194 21557
/proc/meminfo: memFree=30710744/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 4408 0 1 0 7 2 0 0 20 0 18 0 29928701 9787879424 6034 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200198 s]
/proc/loadavg: 2.12 2.07 2.01 3/194 21557
/proc/meminfo: memFree=30710744/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 4686 0 1 0 22 2 0 0 20 0 18 0 29928701 9787879424 6753 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389619 6753 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300199 s]
/proc/loadavg: 2.12 2.07 2.01 3/194 21557
/proc/meminfo: memFree=30710744/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 6240 0 1 0 43 2 0 0 20 0 18 0 29928701 9787879424 9376 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389619 9376 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 2.12 2.07 2.01 3/194 21557
/proc/meminfo: memFree=30710744/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9558476 CPUtime=1.67 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 22159 0 1 0 159 8 0 0 20 0 18 0 29928701 9787879424 53815 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2389619 53815 2268 9 0 2380296 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558476

[startup+1.50088 s]
/proc/loadavg: 2.12 2.07 2.01 5/213 21642
/proc/meminfo: memFree=30988964/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 35756 0 1 0 387 10 0 0 20 0 19 0 29928701 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 57825 2283 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 2492 0 1 0 138 4 0 0 20 0 19 0 29928702 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889802735944 139889652942042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29928704 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) R 21554 21557 21384 0 -1 4202560 14008 0 0 0 120 2 0 0 20 0 19 0 29928707 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889151515448 139889805343417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17871 0 0 0 113 4 0 0 20 0 19 0 29928707 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 57825 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.12 2.07 2.01 4/213 21642
/proc/meminfo: memFree=30971084/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=5.66 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 36062 0 1 0 556 10 0 0 20 0 19 0 29928701 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 57750 2285 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 2493 0 1 0 297 4 0 0 20 0 19 0 29928702 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889802734832 139889653030571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29928704 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21554 21557 21384 0 -1 4202560 14313 0 0 0 128 2 0 0 20 0 19 0 29928707 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889151515448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17871 0 0 0 113 4 0 0 20 0 19 0 29928707 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 57750 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.11 2.07 2.01 3/213 21642
/proc/meminfo: memFree=30944520/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=9.11 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 39824 0 1 0 900 11 0 0 20 0 19 0 29928701 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 57006 2291 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 2496 0 1 0 617 4 0 0 20 0 19 0 29928702 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889802727136 139889652855073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29928703 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29928704 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21554 21557 21384 0 -1 4202560 18071 0 0 0 148 3 0 0 20 0 19 0 29928707 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889151515448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17872 0 0 0 117 4 0 0 20 0 19 0 29928707 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 57006 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 9625040


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

[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1676.87
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/213 21709
/proc/meminfo: memFree=27120772/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=1736.9 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 55779 0 1 0 173260 430 0 0 20 0 19 0 29928701 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 903991 2300 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=1712.04 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 3433 0 1 0 171164 40 0 0 20 0 19 0 29928702 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889802727120 139889652888475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 1536 0 0 0 149 52 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1102 0 0 0 137 52 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 2275 0 0 0 136 37 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 1463 0 0 0 150 47 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 1242 0 0 0 165 44 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 1380 0 0 0 148 46 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 1307 0 0 0 139 46 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=1.78 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 1383 0 0 0 136 42 0 0 20 0 19 0 29928703 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 3324 0 0 0 172 3 0 0 20 0 19 0 29928704 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21554 21557 21384 0 -1 4202560 18071 0 0 0 149 3 0 0 20 0 19 0 29928707 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889151515448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17896 0 0 0 125 4 0 0 20 0 19 0 29928707 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 99 0 0 0 31 41 0 0 20 0 19 0 29928707 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 903991 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1736.9
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/213 21710
/proc/meminfo: memFree=27143952/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=1797.58 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 56144 0 1 0 179327 431 0 0 20 0 19 0 29928701 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 898594 2300 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=1771.39 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 3434 0 1 0 177099 40 0 0 20 0 19 0 29928702 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889802734816 139889652942042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 1613 0 0 0 161 52 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1102 0 0 0 148 52 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=1.84 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 2317 0 0 0 147 37 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 1498 0 0 0 161 47 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 1242 0 0 0 183 44 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 1404 0 0 0 156 46 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 1331 0 0 0 150 46 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 1383 0 0 0 144 42 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 3482 0 0 0 198 3 0 0 20 0 19 0 29928704 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21554 21557 21384 0 -1 4202560 18071 0 0 0 149 3 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889151515448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17896 0 0 0 125 4 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 103 0 0 0 32 42 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.8 s]
/proc/loadavg: 2.09 2.11 2.08 3/213 21710
/proc/meminfo: memFree=27144076/32872528 swapFree=241348/274052
[pid=21557] ppid=21554 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 21384 0 -1 4202496 56144 0 1 0 179577 431 0 0 20 0 19 0 29928701 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 140733954573696 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21557/statm: 2406260 898594 2300 9 0 2396937 0
[pid=21557/tid=21559] ppid=21554 vsize=9625040 CPUtime=1773.88 cores=1,3,5,7
/proc/21557/task/21559/stat : 21559 (java) R 21554 21557 21384 0 -1 4202560 3434 0 1 0 177348 40 0 0 20 0 19 0 29928702 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889802734816 139889652942042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21560] ppid=21554 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/21557/task/21560/stat : 21560 (java) S 21554 21557 21384 0 -1 4202560 1613 0 0 0 161 52 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889775188392 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21561] ppid=21554 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/21557/task/21561/stat : 21561 (java) S 21554 21557 21384 0 -1 4202560 1102 0 0 0 148 52 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889774135848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21562] ppid=21554 vsize=9625040 CPUtime=1.84 cores=1,3,5,7
/proc/21557/task/21562/stat : 21562 (java) S 21554 21557 21384 0 -1 4202560 2317 0 0 0 147 37 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889773082792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21563] ppid=21554 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/21557/task/21563/stat : 21563 (java) S 21554 21557 21384 0 -1 4202560 1498 0 0 0 161 47 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889772030248 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21564] ppid=21554 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/21557/task/21564/stat : 21564 (java) S 21554 21557 21384 0 -1 4202560 1242 0 0 0 183 44 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889770978216 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21557/tid=21565] ppid=21554 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/21557/task/21565/stat : 21565 (java) S 21554 21557 21384 0 -1 4202560 1404 0 0 0 156 46 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889640778792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21566] ppid=21554 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/21557/task/21566/stat : 21566 (java) S 21554 21557 21384 0 -1 4202560 1331 0 0 0 150 46 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889639725736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21567] ppid=21554 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/21557/task/21567/stat : 21567 (java) S 21554 21557 21384 0 -1 4202560 1383 0 0 0 144 42 0 0 20 0 19 0 29928703 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889638673192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21568] ppid=21554 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/21557/task/21568/stat : 21568 (java) S 21554 21557 21384 0 -1 4202560 3482 0 0 0 198 3 0 0 20 0 19 0 29928704 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889155725672 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21569] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21569/stat : 21569 (java) S 21554 21557 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889154671992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21570] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21570/stat : 21570 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928705 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889153618824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21571] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21571/stat : 21571 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889152567568 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21557/tid=21572] ppid=21554 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/21557/task/21572/stat : 21572 (java) S 21554 21557 21384 0 -1 4202560 18071 0 0 0 149 3 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889151515448 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21557/tid=21573] ppid=21554 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/21557/task/21573/stat : 21573 (java) S 21554 21557 21384 0 -1 4202560 17896 0 0 0 125 4 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889150462904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21574] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21574/stat : 21574 (java) S 21554 21557 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889149410040 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21575] ppid=21554 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/21557/task/21575/stat : 21575 (java) S 21554 21557 21384 0 -1 4202560 103 0 0 0 32 43 0 0 20 0 19 0 29928707 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889148357704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21557/tid=21641] ppid=21554 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21557/task/21641/stat : 21641 (java) S 21554 21557 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29928778 9856040960 898594 33554432000 1073741824 1073778376 140733954582560 139889147302952 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 21557 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 21557 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=188697
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=742279
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.85
CPU time (s): 1800.08
CPU user time (s): 1795.77
CPU system time (s): 4.31
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.19
system time used= 4.74228
maximum resident set size= 3876780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56179
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38528
involuntary context switches= 11356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3414 second user time and 13.9339 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-18 21:39:47
IDJOB=4106846
IDBENCH=48289
IDSOLVER=2546
FILE ID=node107/4106846-1466278787
RUNJOBID= node107-1466276989-21401
PBS_JOBID= 19918269
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106846-1466278787/watcher-4106846-1466278787 -o /tmp/evaluation-result-4106846-1466278787/solver-4106846-1466278787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466276989-21401 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106846-1466278787.opb

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

MD5SUM BENCH= d38f526c1f6f5ee8e5e4d2c41b31df8d
RANDOM SEED=1550098994

node107.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.953
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.90
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.953
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.953
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.56
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.953
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.56
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.953
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.953
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		: 2666.953
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.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30711552 kB
Buffers:          158444 kB
Cached:           442840 kB
SwapCached:         3136 kB
Active:           635032 kB
Inactive:         502536 kB
Active(anon):     535892 kB
Inactive(anon):     2864 kB
Active(file):      99140 kB
Inactive(file):   499672 kB
Unevictable:      274052 kB
Mlocked:          241348 kB
SwapTotal:      67108856 kB
SwapFree:       67099620 kB
Dirty:              1280 kB
Writeback:             0 kB
AnonPages:        808852 kB
Mapped:            16920 kB
Shmem:                 0 kB
Slab:             617040 kB
SReclaimable:      60536 kB
SUnreclaim:       556504 kB
KernelStack:        1576 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     947660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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= 71704 MiB
End job on node107 at 2016-06-18 22:09:32