Trace number 4097727

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1798.49

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_32.opb
MD5SUM5958784edcb2786bd4c54290db0b160d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark237.9
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1482
Total number of constraints7073
Number of constraints which are clauses7068
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint38
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 70
Number of bits of the biggest sum of numbers7
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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4097727-1466118530.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.52/0.34	c ... done. Wall clock time 0.235s.
0.52/0.34	c declared #vars     1482
0.52/0.34	c #constraints  7077
0.52/0.34	c constraints type 
0.52/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4218
0.52/0.34	c org.sat4j.specs.Constr$1 => 4
0.52/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
0.52/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.52/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2849
0.52/0.34	c 7077 constraints processed.
1.45/0.99	c cleaning 2500 clauses out of 5000 with flag 24618/5000
2.27/1.66	c cleaning 4247 clauses out of 8500 with flag 62191/11000
3.11/2.49	c cleaning 5623 clauses out of 11253 with flag 99641/18000
4.22/3.55	c cleaning 6803 clauses out of 13630 with flag 137342/26000
5.53/4.84	c cleaning 7908 clauses out of 15828 with flag 180117/35001
7.23/6.55	c cleaning 8952 clauses out of 17919 with flag 234201/45000
9.13/8.43	c cleaning 9973 clauses out of 19967 with flag 306713/56000
10.83/10.11	c cleaning 10994 clauses out of 21995 with flag 359473/68001
12.63/11.95	c cleaning 11995 clauses out of 24000 with flag 421136/81000
14.83/14.10	c cleaning 12999 clauses out of 26009 with flag 491683/95004
17.03/16.37	c cleaning 13999 clauses out of 28008 with flag 577379/110002
19.55/18.83	c cleaning 14997 clauses out of 30007 with flag 658108/126000
22.24/21.58	c cleaning 16003 clauses out of 32010 with flag 743952/143000
25.24/24.52	c cleaning 17001 clauses out of 34007 with flag 835234/161000
28.54/27.80	c cleaning 18001 clauses out of 36007 with flag 939533/180001
32.04/31.33	c cleaning 18998 clauses out of 38007 with flag 1056234/200002
35.74/35.05	c cleaning 20001 clauses out of 40008 with flag 1185925/221001
39.93/39.28	c cleaning 20999 clauses out of 42006 with flag 1318086/243000
44.84/44.11	c cleaning 21998 clauses out of 44008 with flag 1432094/266001
49.43/48.71	c cleaning 22996 clauses out of 46010 with flag 1541884/290001
54.43/53.71	c cleaning 23998 clauses out of 48013 with flag 1668175/315000
59.93/59.28	c cleaning 25004 clauses out of 50019 with flag 1814907/341004
66.03/65.32	c cleaning 25998 clauses out of 52012 with flag 1961620/368001
72.24/71.58	c cleaning 26998 clauses out of 54013 with flag 2094599/396000
78.84/78.15	c cleaning 28003 clauses out of 56017 with flag 2243707/425002
85.44/84.76	c cleaning 29000 clauses out of 58013 with flag 2403964/455001
92.73/92.07	c cleaning 29997 clauses out of 60012 with flag 2561092/486000
100.67/99.92	c cleaning 30999 clauses out of 62015 with flag 2735710/518000
108.16/107.41	c cleaning 32002 clauses out of 64016 with flag 2923741/551000
116.37/115.61	c cleaning 32997 clauses out of 66014 with flag 3137759/585000
125.36/124.65	c cleaning 34001 clauses out of 68017 with flag 3367145/620000
134.86/134.19	c cleaning 35001 clauses out of 70016 with flag 3607241/656000
145.36/144.62	c cleaning 36002 clauses out of 72016 with flag 3868294/693001
155.16/154.49	c cleaning 36995 clauses out of 74014 with flag 4104220/731001
165.37/164.65	c cleaning 38003 clauses out of 76019 with flag 4354213/770001
175.67/174.95	c cleaning 39001 clauses out of 78016 with flag 4571144/810001
186.57/185.84	c cleaning 40002 clauses out of 80014 with flag 4807583/851000
198.47/197.74	c cleaning 41001 clauses out of 82013 with flag 5053305/893001
210.68/209.96	c cleaning 41996 clauses out of 84013 with flag 5293458/936002
224.08/223.33	c cleaning 43003 clauses out of 86015 with flag 5564771/980000
244.07/243.35	c cleaning 43999 clauses out of 88012 with flag 5856402/1025000
259.09/258.33	c cleaning 44997 clauses out of 90014 with flag 6089597/1071001
274.39/273.69	c cleaning 46002 clauses out of 92017 with flag 6341197/1118001
289.54/288.73	c cleaning 46997 clauses out of 94015 with flag 6591142/1166001
305.56/304.78	c cleaning 48000 clauses out of 96017 with flag 6880034/1215000
323.85/323.04	c cleaning 49006 clauses out of 98019 with flag 7198043/1265002
341.45/340.65	c cleaning 49996 clauses out of 100011 with flag 7501569/1316000
359.16/358.33	c cleaning 51007 clauses out of 102017 with flag 7812167/1368002
377.47/376.69	c cleaning 51995 clauses out of 104008 with flag 8138942/1421000
396.88/396.06	c cleaning 53000 clauses out of 106013 with flag 8462333/1475000
417.49/416.65	c cleaning 53999 clauses out of 108014 with flag 8795384/1530001
439.09/438.21	c cleaning 54999 clauses out of 110015 with flag 9130870/1586001
463.00/462.14	c cleaning 56000 clauses out of 112015 with flag 9505776/1643000
485.31/484.43	c cleaning 57000 clauses out of 114015 with flag 9856191/1701000
510.71/509.86	c cleaning 57999 clauses out of 116015 with flag 10198032/1760000
533.53/532.66	c cleaning 59001 clauses out of 118016 with flag 10536414/1820000
556.64/555.74	c cleaning 60001 clauses out of 120018 with flag 10918381/1881003
583.26/582.33	c cleaning 60998 clauses out of 122016 with flag 11347083/1943002
611.98/611.07	c cleaning 62006 clauses out of 124019 with flag 11763982/2006003
638.70/637.79	c cleaning 63003 clauses out of 126012 with flag 12166713/2070002
668.32/667.36	c cleaning 63993 clauses out of 128007 with flag 12574447/2135000
700.02/699.01	c cleaning 65006 clauses out of 130017 with flag 13007071/2201003
728.83/727.90	c cleaning 65992 clauses out of 132008 with flag 13421219/2268000
761.03/760.00	c cleaning 67000 clauses out of 134016 with flag 13855376/2336000
792.92/791.87	c cleaning 67996 clauses out of 136016 with flag 14282651/2405000
825.03/823.98	c cleaning 69005 clauses out of 138020 with flag 14753807/2475000
860.34/859.21	c cleaning 70001 clauses out of 140015 with flag 15250932/2546000
896.14/895.05	c cleaning 70995 clauses out of 142014 with flag 15751380/2618000
933.86/932.73	c cleaning 72001 clauses out of 144019 with flag 16259188/2691000
969.58/968.48	c cleaning 73002 clauses out of 146018 with flag 16681504/2765000
1008.79/1007.67	c cleaning 74003 clauses out of 148017 with flag 17142914/2840001
1048.59/1047.47	c cleaning 75001 clauses out of 150013 with flag 17644426/2916000
1092.43/1091.29	c cleaning 75998 clauses out of 152014 with flag 18179016/2993002
1135.82/1134.54	c cleaning 76999 clauses out of 154014 with flag 18716853/3071000
1179.04/1177.74	c cleaning 78001 clauses out of 156016 with flag 19270660/3150001
1224.75/1223.47	c cleaning 78996 clauses out of 158016 with flag 19827045/3230002
1272.67/1271.33	c cleaning 80004 clauses out of 160019 with flag 20386863/3311001
1321.39/1320.09	c cleaning 80997 clauses out of 162014 with flag 20963194/3393000
1372.59/1371.29	c cleaning 82001 clauses out of 164017 with flag 21594877/3476000
1428.71/1427.36	c cleaning 82999 clauses out of 166017 with flag 22282428/3560001
1479.19/1477.64	c cleaning 84002 clauses out of 168019 with flag 22837843/3645002
1533.43/1531.83	c cleaning 85002 clauses out of 170015 with flag 23453464/3731000
1589.63/1588.02	c cleaning 85996 clauses out of 172013 with flag 24029338/3818000
1646.84/1645.23	c cleaning 87001 clauses out of 174020 with flag 24657851/3906003
1703.05/1701.47	c cleaning 88000 clauses out of 176016 with flag 25257283/3995000
1763.16/1761.52	c cleaning 88999 clauses out of 178016 with flag 25830490/4085000
1800.07/1798.46	c starts		: 367
1800.07/1798.46	c conflicts		: 4149630
1800.07/1798.46	c decisions		: 4861301
1800.07/1798.46	c propagations		: 434668351
1800.07/1798.46	c inspects		: 29180505549
1800.07/1798.46	c shortcuts		: 0
1800.07/1798.46	c learnt literals	: 0
1800.07/1798.46	c learnt binary clauses	: 0
1800.07/1798.46	c learnt ternary clauses	: 14
1800.07/1798.46	c learnt constraints	: 4149630
1800.07/1798.46	c ignored constraints	: 0
1800.07/1798.46	c root simplifications	: 0
1800.07/1798.46	c removed literals (reason simplification)	: 0
1800.07/1798.46	c reason swapping (by a shorter reason)	: 0
1800.07/1798.46	c Calls to reduceDB	: 86
1800.07/1798.46	c Number of update (reduction) of LBD	: 718140
1800.07/1798.46	c Imported unit clauses	: 0
1800.07/1798.46	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.46	c timeout
1800.07/1798.46	c number of learned constraints concerned by reduction	: 0
1800.07/1798.46	c number of learning phase by resolution	: 0
1800.07/1798.46	c number of learning phase by cutting planes	: 0
1800.07/1798.46	c speed (assignments/second)	: 241735.98808083145
1800.07/1798.46	c non guided choices	149
1800.07/1798.48	c learnt constraints type 
1800.07/1798.48	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153647
1800.07/1798.48	s UNKNOWN
1800.07/1798.48	c Total wall clock time (in seconds): 1798.377

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-4097727-1466118530/watcher-4097727-1466118530 -o /tmp/evaluation-result-4097727-1466118530/solver-4097727-1466118530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466118494-20278 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4097727-1466118530.opb 

pid=20840
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: 1.77 1.69 1.97 4/194 20843
/proc/meminfo: memFree=30212428/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20843/stat : 20843 (java) D 20840 20843 18398 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 13900126 9515008 185 33554432000 1073741824 1073778376 140737309069536 140737309058600 260181159207 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2323 185 143 9 0 71 0

[startup+0.100112 s]
/proc/loadavg: 1.77 1.69 1.97 4/194 20843
/proc/meminfo: memFree=30212428/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 4486 0 1 0 9 1 0 0 20 0 18 0 13900126 9787879424 5592 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2389619 5592 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200289 s]
/proc/loadavg: 1.77 1.69 1.97 4/194 20843
/proc/meminfo: memFree=30212428/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 5061 0 1 0 27 1 0 0 20 0 18 0 13900126 9787879424 6543 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2389619 6543 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300292 s]
/proc/loadavg: 1.77 1.69 1.97 4/194 20843
/proc/meminfo: memFree=30212428/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 6210 0 1 0 50 2 0 0 20 0 18 0 13900126 9787879424 8796 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2389619 8796 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700193 s]
/proc/loadavg: 1.77 1.69 1.97 4/194 20843
/proc/meminfo: memFree=30212428/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 9097 0 1 0 120 3 0 0 20 0 19 0 13900126 9856040960 12000 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 12000 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 1.77 1.69 1.97 4/213 20862
/proc/meminfo: memFree=30168128/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 10337 0 1 0 211 3 0 0 20 0 19 0 13900126 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 12547 2267 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2471 0 1 0 146 1 0 0 20 0 19 0 13900127 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005600477416 140005473550001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13900129 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 4030 0 0 0 31 0 0 0 20 0 19 0 13900132 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 32 0 0 0 20 0 19 0 13900132 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 12547 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 1.79 1.69 1.97 3/213 20862
/proc/meminfo: memFree=30165708/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 11470 0 1 0 379 3 0 0 20 0 19 0 13900126 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 13582 2267 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2473 0 1 0 305 1 0 0 20 0 19 0 13900127 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005600468672 140005473350279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13900129 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 5161 0 0 0 37 1 0 0 20 0 19 0 13900132 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 33 0 0 0 20 0 19 0 13900132 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 13582 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 1.79 1.69 1.97 3/213 20862
/proc/meminfo: memFree=30153272/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=7.03 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 11479 0 1 0 700 3 0 0 20 0 19 0 13900126 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 15083 2268 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2477 0 1 0 624 1 0 0 20 0 19 0 13900127 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005600477416 140005473464734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13900128 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13900129 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 5165 0 0 0 39 1 0 0 20 0 19 0 13900132 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 33 0 0 0 20 0 19 0 13900132 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 15083 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625040


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

[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.94
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.21 2.14 4/213 20905
/proc/meminfo: memFree=29802524/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=1723.95 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 12949 0 1 0 172336 59 0 0 20 0 19 0 13900126 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 69830 2282 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=1717.64 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2533 0 1 0 171736 28 0 0 20 0 19 0 13900127 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005600468656 140005473348646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 98 0 0 0 5 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 173 0 0 0 6 1 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 63 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 204 0 0 0 6 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 148 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 240 0 0 0 4 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 186 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 51 0 0 0 1 1 0 0 20 0 19 0 13900129 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 5294 0 0 0 41 1 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 33 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 100 0 0 0 31 44 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.95
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.93 2.15 2.13 3/188 20939
/proc/meminfo: memFree=30015652/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=1783.97 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 12953 0 1 0 178336 61 0 0 20 0 19 0 13900126 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 69830 2282 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=1777.48 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2533 0 1 0 177719 29 0 0 20 0 19 0 13900127 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005600468656 140005473390480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 98 0 0 0 5 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 173 0 0 0 6 1 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 63 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 204 0 0 0 6 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 148 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 240 0 0 0 4 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 186 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 51 0 0 0 1 1 0 0 20 0 19 0 13900129 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 5294 0 0 0 41 1 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 33 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 104 0 0 0 32 46 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.97
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 1.73 2.09 2.11 2/188 20939
/proc/meminfo: memFree=30016436/32872528 swapFree=17100/1797424
[pid=20843] ppid=20840 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20840 20843 18398 0 -1 4202496 12953 0 1 0 179945 62 0 0 20 0 19 0 13900126 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140737309060672 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2406260 69830 2282 9 0 2396937 0
[pid=20843/tid=20845] ppid=20840 vsize=9625040 CPUtime=1793.54 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) R 20840 20843 18398 0 -1 4202560 2533 0 1 0 179325 29 0 0 20 0 19 0 13900127 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005600468656 140005473390480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20846] ppid=20840 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20840 20843 18398 0 -1 4202560 98 0 0 0 5 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005444414120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20847] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20840 20843 18398 0 -1 4202560 173 0 0 0 6 1 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005443361576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20848] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20840 20843 18398 0 -1 4202560 63 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005442309032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20849] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20840 20843 18398 0 -1 4202560 204 0 0 0 6 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005441256488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20850] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20840 20843 18398 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005440202920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20851] ppid=20840 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20840 20843 18398 0 -1 4202560 148 0 0 0 5 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005439150376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20852] ppid=20840 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20840 20843 18398 0 -1 4202560 240 0 0 0 4 0 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005438097832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20843/tid=20853] ppid=20840 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20840 20843 18398 0 -1 4202560 186 0 0 0 4 2 0 0 20 0 19 0 13900128 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005437045288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20854] ppid=20840 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20840 20843 18398 0 -1 4202560 51 0 0 0 1 1 0 0 20 0 19 0 13900129 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005424634472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20855] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20840 20843 18398 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005423580792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20856] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20840 20843 18398 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13900130 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005422528136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20857] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005421476880 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20858] ppid=20840 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/20843/task/20858/stat : 20858 (java) S 20840 20843 18398 0 -1 4202560 5294 0 0 0 41 1 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005420423224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20843/tid=20859] ppid=20840 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/20843/task/20859/stat : 20859 (java) S 20840 20843 18398 0 -1 4202560 2564 0 0 0 33 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005419370680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20860] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20860/stat : 20860 (java) S 20840 20843 18398 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005418318328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20843/tid=20861] ppid=20840 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/20843/task/20861/stat : 20861 (java) S 20840 20843 18398 0 -1 4202560 104 0 0 0 32 47 0 0 20 0 19 0 13900132 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005417265992 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20843/tid=20862] ppid=20840 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20862/stat : 20862 (java) S 20840 20843 18398 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13900161 9856040960 69830 33554432000 1073741824 1073778376 140737309069536 140005416211752 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20843 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 20843 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=69108
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=20844
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.49
CPU time (s): 1800.07
CPU user time (s): 1799.45
CPU system time (s): 0.62
CPU usage (%): 100.088
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 1.02084
maximum resident set size= 285612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13008
page faults= 1
swaps= 0
block input operations= 168
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38150
involuntary context switches= 3046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4411 second user time and 13.206 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-17 01:08:50
IDJOB=4097727
IDBENCH=107798
IDSOLVER=2546
FILE ID=node123/4097727-1466118530
RUNJOBID= node123-1466118494-20278
PBS_JOBID= 19904122
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097727-1466118530/watcher-4097727-1466118530 -o /tmp/evaluation-result-4097727-1466118530/solver-4097727-1466118530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466118494-20278 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4097727-1466118530.opb

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

MD5SUM BENCH= 5958784edcb2786bd4c54290db0b160d
RANDOM SEED=1858470641

node123.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.791
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.58
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.791
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.791
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.791
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.57
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.791
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.56
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.791
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.791
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.56
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.791
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:        30212956 kB
Buffers:           13800 kB
Cached:            61508 kB
SwapCached:         6856 kB
Active:            99000 kB
Inactive:          37116 kB
Active(anon):      56444 kB
Inactive(anon):     6720 kB
Active(file):      42556 kB
Inactive(file):    30396 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67094488 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       1876944 kB
Mapped:            15356 kB
Shmem:                 0 kB
Slab:             567600 kB
SReclaimable:      11084 kB
SUnreclaim:       556516 kB
KernelStack:        1600 kB
PageTables:         7784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2485468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1845248 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= 71636 MiB
End job on node123 at 2016-06-17 01:38:49