Trace number 4121798

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.04 1798.84

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-55.cnf.gz-extracted.pb.metafix.opb
MD5SUM22faed999b1054183db278470370ee13
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 benchmark0.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables221
Total number of constraints220
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4121798-1467315620.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.09/0.15	c ... done. Wall clock time 0.04s.
0.09/0.15	c declared #vars     221
0.09/0.15	c #constraints  220
0.09/0.15	c constraints type 
0.09/0.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 220
0.09/0.15	c 220 constraints processed.
0.67/0.46	c cleaning 2493 clauses out of 5000 with flag 27101/5000
1.01/0.67	c cleaning 4243 clauses out of 8508 with flag 62001/11001
1.34/0.92	c cleaning 5622 clauses out of 11264 with flag 106030/18000
1.66/1.24	c cleaning 6815 clauses out of 13642 with flag 155461/26000
1.97/1.59	c cleaning 7903 clauses out of 15828 with flag 199708/35001
2.37/1.99	c cleaning 8952 clauses out of 17926 with flag 253931/45002
2.87/2.45	c cleaning 9973 clauses out of 19972 with flag 312644/56000
3.47/3.01	c cleaning 10987 clauses out of 22001 with flag 381509/68002
4.07/3.65	c cleaning 12001 clauses out of 24013 with flag 457842/81001
4.77/4.37	c cleaning 12999 clauses out of 26011 with flag 541875/95000
5.57/5.19	c cleaning 13997 clauses out of 28014 with flag 630397/110002
6.47/6.10	c cleaning 14991 clauses out of 30016 with flag 731044/126001
7.57/7.19	c cleaning 16001 clauses out of 32026 with flag 832170/143002
8.67/8.29	c cleaning 17001 clauses out of 34023 with flag 943213/161000
9.97/9.53	c cleaning 17999 clauses out of 36022 with flag 1058353/180000
11.27/10.89	c cleaning 19000 clauses out of 38023 with flag 1186296/200000
12.87/12.40	c cleaning 20002 clauses out of 40023 with flag 1318112/221000
14.47/14.02	c cleaning 20997 clauses out of 42023 with flag 1467661/243002
16.57/16.10	c cleaning 22001 clauses out of 44024 with flag 1620915/266000
18.37/17.97	c cleaning 22996 clauses out of 46023 with flag 1777369/290000
20.37/19.99	c cleaning 24006 clauses out of 48027 with flag 1947356/315000
22.66/22.21	c cleaning 25002 clauses out of 50021 with flag 2117340/341000
24.97/24.51	c cleaning 25998 clauses out of 52020 with flag 2295686/368001
27.47/27.03	c cleaning 27008 clauses out of 54024 with flag 2479691/396003
30.18/29.78	c cleaning 27996 clauses out of 56013 with flag 2677100/425000
33.07/32.65	c cleaning 28998 clauses out of 58017 with flag 2876197/455000
36.17/35.72	c cleaning 30003 clauses out of 60020 with flag 3078660/486001
39.27/38.81	c cleaning 30999 clauses out of 62017 with flag 3288145/518001
42.77/42.34	c cleaning 31993 clauses out of 64017 with flag 3499525/551000
46.38/45.93	c cleaning 33008 clauses out of 66027 with flag 3724537/585003
50.48/50.01	c cleaning 34001 clauses out of 68016 with flag 3951235/620000
54.58/54.18	c cleaning 34999 clauses out of 70015 with flag 4185753/656000
59.08/58.61	c cleaning 35994 clauses out of 72016 with flag 4419933/693000
63.58/63.10	c cleaning 37003 clauses out of 74022 with flag 4669467/731000
68.08/67.61	c cleaning 38006 clauses out of 76019 with flag 4929403/770000
72.98/72.57	c cleaning 38992 clauses out of 78013 with flag 5197554/810000
78.29/77.82	c cleaning 39996 clauses out of 80021 with flag 5468891/851000
83.69/83.28	c cleaning 40999 clauses out of 82025 with flag 5745550/893000
89.59/89.12	c cleaning 42004 clauses out of 84026 with flag 6025078/936000
95.80/95.31	c cleaning 42998 clauses out of 86022 with flag 6304577/980000
101.60/101.16	c cleaning 43994 clauses out of 88024 with flag 6593953/1025000
107.81/107.31	c cleaning 45006 clauses out of 90030 with flag 6890880/1071000
114.41/113.95	c cleaning 46001 clauses out of 92024 with flag 7190777/1118000
120.71/120.22	c cleaning 47005 clauses out of 94027 with flag 7505740/1166004
127.61/127.17	c cleaning 47998 clauses out of 96018 with flag 7823226/1215000
135.01/134.51	c cleaning 49005 clauses out of 98021 with flag 8125365/1265001
142.52/142.04	c cleaning 50001 clauses out of 100016 with flag 8437713/1316001
150.51/150.08	c cleaning 51001 clauses out of 102016 with flag 8759686/1368002
158.71/158.22	c cleaning 52000 clauses out of 104016 with flag 9086787/1421003
167.12/166.67	c cleaning 52995 clauses out of 106013 with flag 9408552/1475000
176.02/175.57	c cleaning 53998 clauses out of 108019 with flag 9742315/1530001
185.72/185.23	c cleaning 54994 clauses out of 110020 with flag 10068744/1586000
195.33/194.88	c cleaning 55999 clauses out of 112027 with flag 10413272/1643001
205.23/204.75	c cleaning 57005 clauses out of 114029 with flag 10764145/1701002
215.92/215.50	c cleaning 58001 clauses out of 116023 with flag 11106703/1760001
226.72/226.22	c cleaning 59001 clauses out of 118022 with flag 11462265/1820001
237.93/237.49	c cleaning 60003 clauses out of 120021 with flag 11814178/1881001
248.93/248.41	c cleaning 61000 clauses out of 122020 with flag 12172073/1943003
260.48/259.91	c cleaning 61999 clauses out of 124018 with flag 12533244/2006001
271.58/271.06	c cleaning 62999 clauses out of 126018 with flag 12901093/2070000
283.78/283.25	c cleaning 64002 clauses out of 128020 with flag 13278364/2135001
296.08/295.55	c cleaning 65001 clauses out of 130017 with flag 13657264/2201000
308.59/308.06	c cleaning 66003 clauses out of 132020 with flag 14044785/2268004
321.60/321.09	c cleaning 66989 clauses out of 134013 with flag 14430200/2336000
334.21/333.61	c cleaning 68002 clauses out of 136025 with flag 14839037/2405001
347.61/347.08	c cleaning 68995 clauses out of 138022 with flag 15246222/2475000
361.31/360.79	c cleaning 70002 clauses out of 140027 with flag 15662996/2546000
376.01/375.46	c cleaning 71006 clauses out of 142026 with flag 16076216/2618001
390.81/390.23	c cleaning 71997 clauses out of 144021 with flag 16489591/2691002
405.51/404.99	c cleaning 73008 clauses out of 146022 with flag 16925972/2765000
421.51/420.98	c cleaning 73994 clauses out of 148014 with flag 17358711/2840000
437.52/436.99	c cleaning 74999 clauses out of 150020 with flag 17795493/2916000
453.07/452.49	c cleaning 75999 clauses out of 152023 with flag 18229444/2993002
470.38/469.79	c cleaning 77000 clauses out of 154022 with flag 18677752/3071000
487.38/486.74	c cleaning 78004 clauses out of 156028 with flag 19118997/3150006
504.68/504.04	c cleaning 79003 clauses out of 158019 with flag 19564885/3230001
522.58/521.94	c cleaning 79993 clauses out of 160017 with flag 20023167/3311002
540.48/539.81	c cleaning 81002 clauses out of 162022 with flag 20483969/3393000
559.08/558.44	c cleaning 82002 clauses out of 164020 with flag 20938859/3476000
577.98/577.31	c cleaning 82997 clauses out of 166020 with flag 21402512/3560002
597.58/596.97	c cleaning 84003 clauses out of 168022 with flag 21871618/3645001
616.87/616.26	c cleaning 84998 clauses out of 170019 with flag 22361765/3731001
637.38/636.79	c cleaning 85999 clauses out of 172020 with flag 22844354/3818000
658.38/657.71	c cleaning 87004 clauses out of 174023 with flag 23329234/3906002
680.24/679.57	c cleaning 87996 clauses out of 176018 with flag 23820526/3995001
702.56/701.89	c cleaning 89001 clauses out of 178021 with flag 24317539/4085000
724.75/724.06	c cleaning 89999 clauses out of 180024 with flag 24819521/4176004
746.76/746.06	c cleaning 91000 clauses out of 182023 with flag 25322445/4268002
770.36/769.69	c cleaning 92001 clauses out of 184024 with flag 25829041/4361003
795.96/795.20	c cleaning 92998 clauses out of 186020 with flag 26344857/4455000
821.77/821.02	c cleaning 93999 clauses out of 188023 with flag 26866395/4550001
846.78/846.09	c cleaning 95004 clauses out of 190024 with flag 27396473/4646001
873.69/872.95	c cleaning 95992 clauses out of 192020 with flag 27914413/4743001
901.39/900.69	c cleaning 97003 clauses out of 194027 with flag 28447875/4841000
928.17/927.31	c cleaning 98002 clauses out of 196024 with flag 28986552/4940000
956.06/955.28	c cleaning 99004 clauses out of 198022 with flag 29524780/5040000
983.67/982.86	c cleaning 99996 clauses out of 200018 with flag 30073746/5141000
1013.17/1012.32	c cleaning 100999 clauses out of 202022 with flag 30611538/5243000
1040.48/1039.69	c cleaning 102006 clauses out of 204024 with flag 31178691/5346001
1069.68/1068.86	c cleaning 103001 clauses out of 206017 with flag 31747029/5450000
1100.38/1099.55	c cleaning 104000 clauses out of 208019 with flag 32322155/5555003
1131.49/1130.63	c cleaning 104995 clauses out of 210017 with flag 32886536/5661001
1163.99/1163.17	c cleaning 106001 clauses out of 212023 with flag 33447518/5768002
1196.10/1195.26	c cleaning 107001 clauses out of 214024 with flag 34017598/5876004
1229.14/1228.23	c cleaning 107995 clauses out of 216019 with flag 34597277/5985000
1261.34/1260.41	c cleaning 108999 clauses out of 218024 with flag 35191836/6095000
1292.65/1291.70	c cleaning 109997 clauses out of 220027 with flag 35810011/6206002
1327.55/1326.62	c cleaning 110994 clauses out of 222028 with flag 36392698/6318000
1362.46/1361.55	c cleaning 112002 clauses out of 224034 with flag 37004250/6431000
1395.97/1395.07	c cleaning 112999 clauses out of 226032 with flag 37614099/6545000
1431.28/1430.37	c cleaning 114004 clauses out of 228034 with flag 38226966/6660001
1469.39/1468.50	c cleaning 115011 clauses out of 230031 with flag 38861076/6776002
1506.60/1505.51	c cleaning 116008 clauses out of 232020 with flag 39480429/6893002
1545.21/1544.12	c cleaning 116989 clauses out of 234010 with flag 40087912/7011000
1582.92/1581.85	c cleaning 118008 clauses out of 236021 with flag 40744507/7130000
1623.23/1622.19	c cleaning 118996 clauses out of 238015 with flag 41375564/7250002
1663.93/1662.89	c cleaning 119998 clauses out of 240020 with flag 42023359/7371003
1705.25/1704.11	c cleaning 121002 clauses out of 242020 with flag 42691822/7493001
1746.76/1745.62	c cleaning 122002 clauses out of 244020 with flag 43339096/7616003
1790.47/1789.39	c cleaning 122998 clauses out of 246015 with flag 43998662/7740000
1800.04/1798.80	c starts		: 16820
1800.04/1798.80	c conflicts		: 7776248
1800.04/1798.80	c decisions		: 11113099
1800.04/1798.80	c timeout
1800.04/1798.80	c propagations		: 137847678
1800.04/1798.80	c inspects		: 44446192299
1800.04/1798.80	c shortcuts		: 0
1800.04/1798.80	c learnt literals	: 0
1800.04/1798.80	c learnt binary clauses	: 0
1800.04/1798.80	c learnt ternary clauses	: 0
1800.04/1798.80	c learnt constraints	: 7776248
1800.04/1798.80	c ignored constraints	: 0
1800.04/1798.80	c root simplifications	: 0
1800.04/1798.80	c removed literals (reason simplification)	: 0
1800.04/1798.80	c reason swapping (by a shorter reason)	: 0
1800.04/1798.80	c Calls to reduceDB	: 120
1800.04/1798.80	c Number of update (reduction) of LBD	: 2440122
1800.04/1798.80	c Imported unit clauses	: 0
1800.04/1798.80	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.80	c number of learned constraints concerned by reduction	: 0
1800.04/1798.80	c number of learning phase by resolution	: 0
1800.04/1798.80	c number of learning phase by cutting planes	: 0
1800.04/1798.80	c speed (assignments/second)	: 76639.60819459951
1800.04/1798.80	c non guided choices	17685
1800.04/1798.83	c learnt constraints type 
1800.04/1798.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 159265
1800.04/1798.83	s UNKNOWN
1800.04/1798.83	c Total wall clock time (in seconds): 1798.722

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-4121798-1467315620/watcher-4121798-1467315620 -o /tmp/evaluation-result-4121798-1467315620/solver-4121798-1467315620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467308852-17536 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4121798-1467315620.opb 

pid=20061
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.30 2.28 2.26 3/195 20064
/proc/meminfo: memFree=29272084/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/20064/stat : 20064 (java) R 20061 20064 17519 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 12511554 278528 33 33554432000 1073741824 1073778376 140736651879920 140735488770712 213410475189 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 84 35 27 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.30 2.28 2.26 3/195 20064
/proc/meminfo: memFree=29272084/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 4452 0 1 0 8 1 0 0 20 0 18 0 12511554 9787879424 5567 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2389619 5567 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.30 2.28 2.26 3/195 20064
/proc/meminfo: memFree=29272084/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 6143 0 1 0 25 1 0 0 20 0 19 0 12511554 9856040960 7290 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 7290 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040

[startup+0.300239 s]
/proc/loadavg: 2.30 2.28 2.26 3/195 20064
/proc/meminfo: memFree=29272084/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 8664 0 1 0 52 2 0 0 20 0 19 0 12511554 9856040960 8434 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 8434 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700188 s]
/proc/loadavg: 2.30 2.28 2.26 3/195 20064
/proc/meminfo: memFree=29272084/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 10873 0 1 0 112 2 0 0 20 0 19 0 12511554 9856040960 9689 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 9689 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040

[startup+1.5006 s]
/proc/loadavg: 2.30 2.28 2.26 3/214 20083
/proc/meminfo: memFree=29241324/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 10880 0 1 0 194 3 0 0 20 0 19 0 12511554 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 10206 2250 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2462 0 1 0 145 2 0 0 20 0 19 0 12511555 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599649718368 140599522040589 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511557 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2353 0 0 0 16 0 0 0 20 0 19 0 12511560 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 10206 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.30 2.28 2.26 3/214 20083
/proc/meminfo: memFree=29234560/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 10882 0 1 0 354 3 0 0 20 0 19 0 12511554 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 11230 2250 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2464 0 1 0 304 2 0 0 20 0 19 0 12511555 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599649709744 140599522029094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511557 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2353 0 0 0 16 0 0 0 20 0 19 0 12511560 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 11230 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.27 2.28 2.26 3/214 20083
/proc/meminfo: memFree=29226320/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 10888 0 1 0 674 3 0 0 20 0 19 0 12511554 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 13168 2251 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2469 0 1 0 623 2 0 0 20 0 19 0 12511555 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599649709744 140599522040658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511556 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12511557 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2353 0 0 0 16 0 0 0 20 0 19 0 12511560 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 13168 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9625040


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

[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1663.43
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.26 2.25 3/213 20277
/proc/meminfo: memFree=28967880/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=1723.46 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 11758 0 1 0 172307 39 0 0 20 0 19 0 12511554 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 56353 2266 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=1717.69 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2531 0 1 0 171740 29 0 0 20 0 19 0 12511555 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599649709840 140599522040589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 151 0 0 0 5 1 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 210 0 0 0 5 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 3 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 60 0 0 0 3 2 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 100 0 0 0 7 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 19 0 12511557 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2413 0 0 0 19 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 100 0 0 0 28 30 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1723.46
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.25 3/214 20281
/proc/meminfo: memFree=28966572/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=1783.47 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 11762 0 1 0 178307 40 0 0 20 0 19 0 12511554 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 56353 2266 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=1777.54 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2531 0 1 0 177724 30 0 0 20 0 19 0 12511555 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599649709840 140599522040594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 151 0 0 0 5 1 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 210 0 0 0 5 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 3 0 0 0 3 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 60 0 0 0 3 2 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 100 0 0 0 7 0 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 19 0 12511556 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 19 0 12511557 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2413 0 0 0 19 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 104 0 0 0 30 31 0 0 20 0 19 0 12511560 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 56353 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.8 s]
/proc/loadavg: 2.33 2.27 2.26 3/214 20281
/proc/meminfo: memFree=28961508/32872528 swapFree=1391980/1569808
[pid=20064] ppid=20061 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/20064/stat : 20064 (java) S 20061 20064 17519 0 -1 4202496 11776 0 1 0 179964 40 0 0 20 0 19 0 12511554 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140736651871056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20064/statm: 2406260 57892 2266 9 0 2396937 0
[pid=20064/tid=20066] ppid=20061 vsize=9625040 CPUtime=1793.97 cores=1,3,5,7
/proc/20064/task/20066/stat : 20066 (java) R 20061 20064 17519 0 -1 4202560 2532 0 1 0 179367 30 0 0 20 0 19 0 12511555 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599649717536 140599522040589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20067] ppid=20061 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/20064/task/20067/stat : 20067 (java) S 20061 20064 17519 0 -1 4202560 155 0 0 0 7 1 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599493807144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20068] ppid=20061 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20064/task/20068/stat : 20068 (java) S 20061 20064 17519 0 -1 4202560 19 0 0 0 5 2 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599492754344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20069] ppid=20061 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/20064/task/20069/stat : 20069 (java) S 20061 20064 17519 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599491701544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20070] ppid=20061 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/20064/task/20070/stat : 20070 (java) S 20061 20064 17519 0 -1 4202560 211 0 0 0 7 0 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599490648744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20064/tid=20071] ppid=20061 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/20064/task/20071/stat : 20071 (java) S 20061 20064 17519 0 -1 4202560 4 0 0 0 4 0 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599489595944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20072] ppid=20061 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/20064/task/20072/stat : 20072 (java) S 20061 20064 17519 0 -1 4202560 60 0 0 0 4 2 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599488543144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20073] ppid=20061 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/20064/task/20073/stat : 20073 (java) S 20061 20064 17519 0 -1 4202560 101 0 0 0 8 0 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599487490344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20074] ppid=20061 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/20064/task/20074/stat : 20074 (java) S 20061 20064 17519 0 -1 4202560 59 0 0 0 8 2 0 0 20 0 19 0 12511556 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599486437544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20064/tid=20075] ppid=20061 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/20064/task/20075/stat : 20075 (java) S 20061 20064 17519 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 19 0 12511557 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599474027496 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20076] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20076/stat : 20076 (java) S 20061 20064 17519 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599472973560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20077] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20077/stat : 20077 (java) S 20061 20064 17519 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 12511558 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599471920648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20078] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20078/stat : 20078 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599470869136 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20079] ppid=20061 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/20064/task/20079/stat : 20079 (java) S 20061 20064 17519 0 -1 4202560 2413 0 0 0 19 0 0 0 20 0 19 0 12511560 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599469816248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20080] ppid=20061 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/20064/task/20080/stat : 20080 (java) S 20061 20064 17519 0 -1 4202560 4794 0 0 0 31 0 0 0 20 0 19 0 12511560 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599468763448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20081] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20081/stat : 20081 (java) S 20061 20064 17519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12511560 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599467710840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20064/tid=20082] ppid=20061 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/20064/task/20082/stat : 20082 (java) S 20061 20064 17519 0 -1 4202560 104 0 0 0 30 31 0 0 20 0 19 0 12511560 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599466658248 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20064/tid=20083] ppid=20061 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20064/task/20083/stat : 20083 (java) S 20061 20064 17519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12511570 9856040960 57892 33554432000 1073741824 1073778376 140736651879920 140599465506472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 20064 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 20064 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=99103
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=833873
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.84
CPU time (s): 1800.04
CPU user time (s): 1799.64
CPU system time (s): 0.4
CPU usage (%): 100.067
Max. virtual memory (cumulated for all children) (KiB): 9625592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.833873
maximum resident set size= 231752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11826
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38207
involuntary context switches= 2880

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5612 second user time and 12.4061 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-30 21:40:20
IDJOB=4121798
IDBENCH=110687
IDSOLVER=2546
FILE ID=node140/4121798-1467315620
RUNJOBID= node140-1467308852-17536
PBS_JOBID= 20005285
Free space on /tmp= 71652 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-55.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121798-1467315620/watcher-4121798-1467315620 -o /tmp/evaluation-result-4121798-1467315620/solver-4121798-1467315620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467308852-17536 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4121798-1467315620.opb

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

MD5SUM BENCH= 22faed999b1054183db278470370ee13
RANDOM SEED=530879274

node140.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.708
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.41
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.708
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.708
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.708
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.708
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.708
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.708
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.708
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29272620 kB
Buffers:          148984 kB
Cached:          1045160 kB
SwapCached:            0 kB
Active:           320616 kB
Inactive:         953108 kB
Active(anon):      73304 kB
Inactive(anon):     8448 kB
Active(file):     247312 kB
Inactive(file):   944660 kB
Unevictable:     1569808 kB
Mlocked:         1391980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:       1700004 kB
Mapped:            22472 kB
Shmem:               204 kB
Slab:             607960 kB
SReclaimable:      51980 kB
SUnreclaim:       555980 kB
KernelStack:        1768 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2261608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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= 71652 MiB
End job on node140 at 2016-06-30 22:10:19