Trace number 4122102

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.55 1799.04

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-64.cnf.gz-extracted.pb.metafix.opb
MD5SUM0ebcbc5c220047ca80e293cefe9cd2b6
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.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables257
Total number of constraints256
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)256
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.03/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.03/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.13	c See www.sat4j.org for details.
0.03/0.13	c version PB16.v20160501
0.03/0.13	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.13	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.13	c java.vm.version	19.1-b02
0.03/0.13	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.13	c sun.arch.data.model	64
0.03/0.13	c java.version		1.6.0_24
0.03/0.13	c os.name		Linux
0.03/0.13	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.13	c os.arch		amd64
0.03/0.13	c Free memory 		501472288
0.03/0.13	c Max memory 		7480803328
0.03/0.13	c Total memory 		504102912
0.03/0.13	c Number of processors 	8
0.03/0.16	c Pseudo Boolean Optimization by upper bound
0.03/0.16	c --- Begin Solver configuration ---
0.03/0.16	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.03/0.16	c Learn all clauses as in MiniSAT
0.03/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.16	c No reason simplification
0.03/0.16	c Glucose 2.1 dynamic restart strategy
0.03/0.16	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.03/0.16	c timeout=2147483s
0.03/0.16	c DB Simplification allowed=false
0.03/0.16	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.03/0.16	c --- End Solver configuration ---
0.03/0.16	c solving HOME/instance-4122102-1467316395.opb
0.03/0.16	c reading problem ... 
0.03/0.16	c  no objective function found
0.17/0.21	c ... done. Wall clock time 0.05s.
0.17/0.21	c declared #vars     257
0.17/0.21	c #constraints  256
0.17/0.21	c constraints type 
0.17/0.21	c org.sat4j.minisat.constraints.card.MinWatchCard => 256
0.17/0.21	c 256 constraints processed.
0.57/0.49	c cleaning 2497 clauses out of 5000 with flag 23886/5000
0.97/0.68	c cleaning 4243 clauses out of 8504 with flag 58008/11001
1.34/0.92	c cleaning 5622 clauses out of 11261 with flag 94350/18001
1.65/1.22	c cleaning 6802 clauses out of 13638 with flag 136008/26000
1.96/1.57	c cleaning 7902 clauses out of 15836 with flag 183445/35000
2.36/1.99	c cleaning 8956 clauses out of 17935 with flag 236770/45001
2.96/2.54	c cleaning 9983 clauses out of 19978 with flag 298153/56000
3.56/3.17	c cleaning 10983 clauses out of 21995 with flag 369476/68000
4.26/3.83	c cleaning 12005 clauses out of 24014 with flag 443948/81002
5.07/4.65	c cleaning 12992 clauses out of 26007 with flag 521532/95000
6.07/5.64	c cleaning 13999 clauses out of 28015 with flag 608514/110000
7.07/6.61	c cleaning 15000 clauses out of 30016 with flag 710004/126000
8.17/7.73	c cleaning 15996 clauses out of 32018 with flag 817787/143002
9.47/9.04	c cleaning 16996 clauses out of 34020 with flag 925661/161000
10.77/10.31	c cleaning 17993 clauses out of 36024 with flag 1046458/180000
12.17/11.74	c cleaning 19003 clauses out of 38032 with flag 1173193/200001
13.77/13.35	c cleaning 20004 clauses out of 40030 with flag 1302450/221002
15.56/15.13	c cleaning 20999 clauses out of 42024 with flag 1435601/243000
17.36/16.99	c cleaning 21995 clauses out of 44025 with flag 1582868/266000
19.46/19.06	c cleaning 23002 clauses out of 46030 with flag 1742944/290000
21.76/21.32	c cleaning 24009 clauses out of 48028 with flag 1903807/315000
23.96/23.52	c cleaning 25004 clauses out of 50019 with flag 2074474/341000
26.36/25.90	c cleaning 25999 clauses out of 52015 with flag 2242525/368000
28.85/28.48	c cleaning 27001 clauses out of 54017 with flag 2424968/396001
31.66/31.30	c cleaning 27999 clauses out of 56016 with flag 2623783/425001
34.66/34.27	c cleaning 28993 clauses out of 58016 with flag 2819469/455000
37.66/37.28	c cleaning 30003 clauses out of 60025 with flag 3023291/486002
40.86/40.41	c cleaning 31000 clauses out of 62020 with flag 3234545/518000
44.26/43.85	c cleaning 32001 clauses out of 64020 with flag 3458276/551000
47.66/47.29	c cleaning 32989 clauses out of 66019 with flag 3681099/585000
51.46/51.08	c cleaning 34010 clauses out of 68030 with flag 3917056/620000
55.57/55.12	c cleaning 34998 clauses out of 70020 with flag 4149036/656000
60.06/59.62	c cleaning 35993 clauses out of 72023 with flag 4390469/693001
64.46/64.03	c cleaning 37003 clauses out of 74029 with flag 4644645/731000
69.36/68.92	c cleaning 37996 clauses out of 76026 with flag 4909901/770000
74.56/74.13	c cleaning 39007 clauses out of 78031 with flag 5179364/810001
79.46/79.09	c cleaning 40001 clauses out of 80023 with flag 5439748/851000
84.96/84.56	c cleaning 41003 clauses out of 82022 with flag 5705684/893000
90.96/90.57	c cleaning 41995 clauses out of 84020 with flag 5993327/936001
96.99/96.56	c cleaning 43012 clauses out of 86024 with flag 6279217/980000
103.00/102.56	c cleaning 44005 clauses out of 88013 with flag 6571935/1025001
109.50/109.01	c cleaning 44992 clauses out of 90007 with flag 6860547/1071000
116.50/116.07	c cleaning 45992 clauses out of 92015 with flag 7156157/1118000
123.89/123.47	c cleaning 47004 clauses out of 94024 with flag 7454926/1166001
131.19/130.71	c cleaning 48001 clauses out of 96020 with flag 7768936/1215001
138.79/138.33	c cleaning 48998 clauses out of 98018 with flag 8083982/1265000
146.68/146.30	c cleaning 49996 clauses out of 100022 with flag 8409539/1316002
155.08/154.61	c cleaning 51000 clauses out of 102024 with flag 8740247/1368000
163.78/163.30	c cleaning 52002 clauses out of 104027 with flag 9066097/1421003
172.87/172.42	c cleaning 52994 clauses out of 106023 with flag 9394393/1475001
181.47/181.03	c cleaning 54002 clauses out of 108029 with flag 9731782/1530001
190.78/190.32	c cleaning 55000 clauses out of 110027 with flag 10066198/1586001
200.57/200.18	c cleaning 56008 clauses out of 112029 with flag 10400118/1643003
210.59/210.20	c cleaning 56999 clauses out of 114019 with flag 10746896/1701001
220.78/220.37	c cleaning 57999 clauses out of 116020 with flag 11090407/1760001
231.38/230.90	c cleaning 59003 clauses out of 118022 with flag 11446177/1820002
242.28/241.82	c cleaning 59997 clauses out of 120017 with flag 11805249/1881000
253.38/252.97	c cleaning 60994 clauses out of 122021 with flag 12174222/1943001
264.84/264.33	c cleaning 62004 clauses out of 124027 with flag 12540682/2006001
276.65/276.19	c cleaning 63008 clauses out of 126022 with flag 12903836/2070000
288.85/288.34	c cleaning 63995 clauses out of 128014 with flag 13275108/2135000
300.95/300.45	c cleaning 64994 clauses out of 130020 with flag 13646737/2201001
313.84/313.36	c cleaning 66005 clauses out of 132025 with flag 14019620/2268000
326.86/326.39	c cleaning 67003 clauses out of 134021 with flag 14400900/2336001
340.37/339.86	c cleaning 67991 clauses out of 136017 with flag 14782923/2405000
354.27/353.79	c cleaning 68996 clauses out of 138026 with flag 15173199/2475000
369.17/368.68	c cleaning 70005 clauses out of 140030 with flag 15575698/2546000
383.87/383.33	c cleaning 71006 clauses out of 142028 with flag 15972520/2618003
398.37/397.89	c cleaning 72003 clauses out of 144019 with flag 16369709/2691000
413.77/413.27	c cleaning 72999 clauses out of 146018 with flag 16778790/2765002
429.16/428.61	c cleaning 73996 clauses out of 148019 with flag 17197344/2840002
445.56/445.03	c cleaning 75001 clauses out of 150024 with flag 17615883/2916003
462.27/461.76	c cleaning 75999 clauses out of 152020 with flag 18046977/2993000
478.69/478.16	c cleaning 76996 clauses out of 154022 with flag 18473169/3071001
496.49/495.90	c cleaning 78003 clauses out of 156025 with flag 18895654/3150000
513.79/513.28	c cleaning 79005 clauses out of 158023 with flag 19325590/3230001
531.51/530.96	c cleaning 79997 clauses out of 160017 with flag 19753820/3311000
549.90/549.37	c cleaning 81000 clauses out of 162020 with flag 20200667/3393000
569.20/568.64	c cleaning 81998 clauses out of 164021 with flag 20662301/3476001
588.91/588.37	c cleaning 82999 clauses out of 166023 with flag 21119185/3560001
608.60/608.06	c cleaning 84003 clauses out of 168023 with flag 21576100/3645000
629.02/628.48	c cleaning 85006 clauses out of 170021 with flag 22037556/3731001
650.41/649.81	c cleaning 85997 clauses out of 172015 with flag 22499080/3818001
671.91/671.34	c cleaning 86993 clauses out of 174020 with flag 22975972/3906003
693.91/693.35	c cleaning 88004 clauses out of 176024 with flag 23448808/3995000
716.04/715.40	c cleaning 88997 clauses out of 178021 with flag 23928921/4085001
738.94/738.32	c cleaning 90002 clauses out of 180023 with flag 24402450/4176000
762.65/762.08	c cleaning 91006 clauses out of 182024 with flag 24885967/4268003
786.64/786.02	c cleaning 91996 clauses out of 184016 with flag 25375829/4361001
811.46/810.84	c cleaning 92999 clauses out of 186019 with flag 25872411/4455000
837.55/836.91	c cleaning 94004 clauses out of 188020 with flag 26362607/4550000
864.85/864.24	c cleaning 95001 clauses out of 190020 with flag 26869138/4646004
890.57/889.92	c cleaning 96000 clauses out of 192016 with flag 27380761/4743001
917.96/917.33	c cleaning 96993 clauses out of 194017 with flag 27886507/4841002
945.46/944.84	c cleaning 98000 clauses out of 196025 with flag 28402569/4940003
973.96/973.22	c cleaning 98998 clauses out of 198024 with flag 28924308/5040002
1001.36/1000.68	c cleaning 100002 clauses out of 200024 with flag 29451730/5141000
1030.66/1029.94	c cleaning 100996 clauses out of 202022 with flag 29976902/5243000
1061.18/1060.44	c cleaning 101998 clauses out of 204027 with flag 30507413/5346001
1093.28/1092.59	c cleaning 103000 clauses out of 206030 with flag 31046042/5450002
1123.38/1122.62	c cleaning 104003 clauses out of 208030 with flag 31593535/5555002
1155.58/1154.83	c cleaning 105008 clauses out of 210027 with flag 32142016/5661002
1187.20/1186.42	c cleaning 105998 clauses out of 212018 with flag 32686740/5768001
1218.50/1217.73	c cleaning 106991 clauses out of 214020 with flag 33256647/5876001
1252.30/1251.59	c cleaning 108006 clauses out of 216029 with flag 33820583/5985001
1286.38/1285.59	c cleaning 108998 clauses out of 218024 with flag 34384890/6095002
1321.09/1320.24	c cleaning 110004 clauses out of 220026 with flag 34952631/6206002
1356.69/1355.85	c cleaning 110999 clauses out of 222021 with flag 35531746/6318001
1393.21/1392.35	c cleaning 111993 clauses out of 224021 with flag 36118334/6431000
1428.91/1428.06	c cleaning 113009 clauses out of 226029 with flag 36721727/6545001
1468.01/1467.11	c cleaning 114000 clauses out of 228019 with flag 37314101/6660000
1504.01/1503.15	c cleaning 115000 clauses out of 230019 with flag 37923701/6776000
1543.32/1542.43	c cleaning 115995 clauses out of 232019 with flag 38528675/6893000
1582.63/1581.79	c cleaning 116998 clauses out of 234025 with flag 39145477/7011001
1624.65/1623.63	c cleaning 118004 clauses out of 236028 with flag 39762757/7130002
1665.95/1664.96	c cleaning 119009 clauses out of 238022 with flag 40379497/7250000
1707.55/1706.57	c cleaning 119999 clauses out of 240014 with flag 41013458/7371001
1748.97/1747.92	c cleaning 120996 clauses out of 242015 with flag 41658996/7493001
1790.36/1789.38	c cleaning 121989 clauses out of 244018 with flag 42336480/7616000
1800.06/1799.00	c starts		: 19870
1800.06/1799.00	c conflicts		: 7652839
1800.06/1799.00	c decisions		: 11157524
1800.06/1799.00	c propagations		: 135920789
1800.06/1799.00	c inspects		: 40347957653
1800.06/1799.00	c shortcuts		: 0
1800.06/1799.00	c learnt literals	: 0
1800.06/1799.00	c learnt binary clauses	: 0
1800.06/1799.00	c learnt ternary clauses	: 0
1800.06/1799.00	c learnt constraints	: 7652839
1800.06/1799.00	c ignored constraints	: 0
1800.06/1799.00	c root simplifications	: 0
1800.06/1799.00	c removed literals (reason simplification)	: 0
1800.06/1799.00	c timeout
1800.06/1799.00	c reason swapping (by a shorter reason)	: 0
1800.06/1799.00	c Calls to reduceDB	: 119
1800.06/1799.00	c Number of update (reduction) of LBD	: 2189285
1800.06/1799.00	c Imported unit clauses	: 0
1800.06/1799.00	c number of reductions to clauses (during analyze)	: 0
1800.06/1799.00	c number of learned constraints concerned by reduction	: 0
1800.06/1799.00	c number of learning phase by resolution	: 0
1800.06/1799.00	c number of learning phase by cutting planes	: 0
1800.06/1799.00	c speed (assignments/second)	: 75562.21810958794
1800.06/1799.00	c non guided choices	33875
1800.06/1799.03	c learnt constraints type 
1800.06/1799.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 158868
1800.06/1799.03	s UNKNOWN
1800.06/1799.03	c Total wall clock time (in seconds): 1798.874

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-4122102-1467316395/watcher-4122102-1467316395 -o /tmp/evaluation-result-4122102-1467316395/solver-4122102-1467316395 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467313697-19331 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4122102-1467316395.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/194 20420
/proc/meminfo: memFree=30069748/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/20420/stat : 20420 (java) D 20417 20420 15659 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 12745868 2560000 47 33554432000 1073741824 1073778376 140735773245632 140735773242760 247055084839 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 625 47 37 9 0 29 0

[startup+0.100113 s]
/proc/loadavg: 2.00 2.00 1.93 2/194 20420
/proc/meminfo: memFree=30069748/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 3161 0 1 0 3 0 0 0 20 0 13 0 12745868 9446973440 4292 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2306390 4292 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.20028 s]
/proc/loadavg: 2.00 2.00 1.93 2/194 20420
/proc/meminfo: memFree=30069748/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 4537 0 1 0 16 1 0 0 20 0 18 0 12745868 9787879424 6148 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2389619 6148 2190 9 0 2380296 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9558476

[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 1.93 2/194 20420
/proc/meminfo: memFree=30069748/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 6707 0 1 0 41 1 0 0 20 0 19 0 12745868 9856040960 8018 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 8018 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9625040

[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 1.93 2/194 20420
/proc/meminfo: memFree=30069748/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=1.14 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 14238 0 1 0 112 2 0 0 20 0 19 0 12745868 9856040960 13210 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 13210 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 20439
/proc/meminfo: memFree=30025044/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 14241 0 1 0 194 2 0 0 20 0 19 0 12745868 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 13723 2249 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2404 0 1 0 142 0 0 0 20 0 19 0 12745869 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244818297112 140244658110235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745875 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7908 0 0 0 30 2 0 0 20 0 19 0 12745878 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 13723 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 20439
/proc/meminfo: memFree=30020204/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 14244 0 1 0 354 2 0 0 20 0 19 0 12745868 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 14747 2249 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2407 0 1 0 302 0 0 0 20 0 19 0 12745869 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244818288336 140244658110354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745875 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7908 0 0 0 30 2 0 0 20 0 19 0 12745878 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 14747 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 20439
/proc/meminfo: memFree=30019080/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=6.77 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 14250 0 1 0 674 3 0 0 20 0 19 0 12745868 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 14851 2250 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2412 0 1 0 621 1 0 0 20 0 19 0 12745869 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244818288336 140244658110844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745874 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12745875 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7908 0 0 0 30 2 0 0 20 0 19 0 12745878 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 14851 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9625040


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

[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7914 0 0 0 33 2 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 96 0 0 0 22 22 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.35
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.05 1.41 1.70 2/188 20600
/proc/meminfo: memFree=30057244/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=1723.35 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 15089 0 1 0 172305 30 0 0 20 0 19 0 12745868 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 59670 2266 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=1722 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2474 0 1 0 172171 29 0 0 20 0 19 0 12745869 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244818288432 140244658110235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 161 0 0 0 6 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 124 0 0 0 7 1 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 134 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 154 0 0 0 8 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 12745875 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7914 0 0 0 33 2 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 100 0 0 0 23 23 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.35
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.02 1.33 1.65 2/188 20602
/proc/meminfo: memFree=30056880/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=1783.36 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 15093 0 1 0 178305 31 0 0 20 0 19 0 12745868 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 59670 2266 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=1782 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2474 0 1 0 178170 30 0 0 20 0 19 0 12745869 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244818288432 140244658104871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 161 0 0 0 6 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 124 0 0 0 7 1 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 134 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 154 0 0 0 8 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 12745875 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7914 0 0 0 33 2 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 104 0 0 0 24 24 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 1.09 1.32 1.64 2/188 20603
/proc/meminfo: memFree=30056864/32872528 swapFree=242912/249044
[pid=20420] ppid=20417 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/20420/stat : 20420 (java) S 20417 20420 15659 0 -1 4202496 15093 0 1 0 179975 31 0 0 20 0 19 0 12745868 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140735773236768 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20420/statm: 2406260 59670 2266 9 0 2396937 0
[pid=20420/tid=20422] ppid=20417 vsize=9625040 CPUtime=1798.7 cores=0,2,4,6
/proc/20420/task/20422/stat : 20422 (java) R 20417 20420 15659 0 -1 4202560 2474 0 1 0 179840 30 0 0 20 0 19 0 12745869 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244818288432 140244658110391 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20423] ppid=20417 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/20420/task/20423/stat : 20423 (java) S 20417 20420 15659 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244779788840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20424] ppid=20417 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/20420/task/20424/stat : 20424 (java) S 20417 20420 15659 0 -1 4202560 161 0 0 0 6 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244778736040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20425] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20425/stat : 20425 (java) S 20417 20420 15659 0 -1 4202560 124 0 0 0 7 1 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244777683240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20426] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20426/stat : 20426 (java) S 20417 20420 15659 0 -1 4202560 134 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244776630440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20427] ppid=20417 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/20420/task/20427/stat : 20427 (java) S 20417 20420 15659 0 -1 4202560 154 0 0 0 8 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244657630248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20428] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20428/stat : 20428 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244656577448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20429] ppid=20417 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/20420/task/20429/stat : 20429 (java) S 20417 20420 15659 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244655524648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20430] ppid=20417 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/20420/task/20430/stat : 20430 (java) S 20417 20420 15659 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 12745874 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244654471848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20431] ppid=20417 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/20420/task/20431/stat : 20431 (java) S 20417 20420 15659 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 12745875 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244642273768 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20432] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20432/stat : 20432 (java) S 20417 20420 15659 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244036871416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20433] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20433/stat : 20433 (java) S 20417 20420 15659 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12745876 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244035818504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20434] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20434/stat : 20434 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244034766992 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20435] ppid=20417 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/20420/task/20435/stat : 20435 (java) S 20417 20420 15659 0 -1 4202560 2659 0 0 0 19 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244033715128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20420/tid=20436] ppid=20417 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20420/task/20436/stat : 20436 (java) S 20417 20420 15659 0 -1 4202560 7914 0 0 0 33 2 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244032662328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20420/tid=20437] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20437/stat : 20437 (java) S 20417 20420 15659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244031609720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20420/tid=20438] ppid=20417 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/20420/task/20438/stat : 20438 (java) S 20417 20420 15659 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 12745878 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244030557128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20420/tid=20439] ppid=20417 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20420/task/20439/stat : 20439 (java) S 20417 20420 15659 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12745889 9856040960 59670 33554432000 1073741824 1073778376 140735773245632 140244029502632 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 20420 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1799.04
CPU time (s): 1800.55
CPU user time (s): 1799.82
CPU system time (s): 0.731888
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.731888
maximum resident set size= 238860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15144
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38203
involuntary context switches= 4439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4734 second user time and 12.7641 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-30 21:53:15
IDJOB=4122102
IDBENCH=110892
IDSOLVER=2546
FILE ID=node103/4122102-1467316395
RUNJOBID= node103-1467313697-19331
PBS_JOBID= 20005271
Free space on /tmp= 71712 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-64.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122102-1467316395/watcher-4122102-1467316395 -o /tmp/evaluation-result-4122102-1467316395/solver-4122102-1467316395 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467313697-19331 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4122102-1467316395.opb

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

MD5SUM BENCH= 0ebcbc5c220047ca80e293cefe9cd2b6
RANDOM SEED=20330576

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30070376 kB
Buffers:          116980 kB
Cached:          1454464 kB
SwapCached:            0 kB
Active:          1002760 kB
Inactive:         803504 kB
Active(anon):     230228 kB
Inactive(anon):     7416 kB
Active(file):     772532 kB
Inactive(file):   796088 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:        621072 kB
Mapped:            22136 kB
Shmem:               204 kB
Slab:             608952 kB
SReclaimable:      53140 kB
SUnreclaim:       555812 kB
KernelStack:        1760 kB
PageTables:         5612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     924344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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= 71712 MiB
End job on node103 at 2016-06-30 22:23:15