Trace number 4095984

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-geq-random4regular-50.opb
MD5SUM04b13f4648d088224bae653ed130cd58
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.010998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables201
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4095984-1466100052.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.11/0.12	c ... done. Wall clock time 0.021s.
0.11/0.12	c declared #vars     201
0.11/0.12	c #constraints  100
0.11/0.12	c constraints type 
0.11/0.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
0.11/0.12	c 100 constraints processed.
0.70/0.46	c cleaning 2498 clauses out of 5000 with flag 35698/5000
1.12/0.70	c cleaning 4247 clauses out of 8503 with flag 84885/11001
1.42/1.04	c cleaning 5625 clauses out of 11255 with flag 146241/18000
1.82/1.44	c cleaning 6793 clauses out of 13630 with flag 213744/26000
2.34/1.92	c cleaning 7916 clauses out of 15837 with flag 289321/35000
2.94/2.51	c cleaning 8953 clauses out of 17921 with flag 367772/45000
3.64/3.24	c cleaning 9979 clauses out of 19969 with flag 456709/56001
4.65/4.25	c cleaning 10979 clauses out of 21992 with flag 571888/68003
5.85/5.43	c cleaning 11990 clauses out of 24011 with flag 704181/81001
7.05/6.67	c cleaning 12997 clauses out of 26020 with flag 823064/95000
8.44/8.03	c cleaning 14009 clauses out of 28023 with flag 958287/110000
10.04/9.65	c cleaning 15003 clauses out of 30015 with flag 1092650/126001
11.74/11.38	c cleaning 15997 clauses out of 32011 with flag 1221999/143000
13.65/13.29	c cleaning 16983 clauses out of 34015 with flag 1362277/161001
15.74/15.37	c cleaning 18010 clauses out of 36032 with flag 1510214/180001
18.54/18.16	c cleaning 19000 clauses out of 38023 with flag 1674101/200002
21.04/20.67	c cleaning 19999 clauses out of 40021 with flag 1848852/221000
23.54/23.17	c cleaning 21005 clauses out of 42022 with flag 2019314/243000
26.44/26.02	c cleaning 22002 clauses out of 44017 with flag 2209780/266000
29.54/29.16	c cleaning 22993 clauses out of 46015 with flag 2408839/290000
32.74/32.37	c cleaning 24001 clauses out of 48022 with flag 2608731/315000
37.04/36.62	c cleaning 25006 clauses out of 50021 with flag 2848210/341000
41.04/40.67	c cleaning 26002 clauses out of 52016 with flag 3071293/368001
45.24/44.85	c cleaning 27006 clauses out of 54015 with flag 3300772/396002
49.84/49.46	c cleaning 27998 clauses out of 56010 with flag 3529251/425003
54.64/54.21	c cleaning 28999 clauses out of 58010 with flag 3771534/455001
60.54/60.12	c cleaning 29993 clauses out of 60011 with flag 4033996/486001
66.03/65.64	c cleaning 30996 clauses out of 62017 with flag 4291502/518000
71.83/71.43	c cleaning 31997 clauses out of 64023 with flag 4546282/551002
77.83/77.40	c cleaning 33001 clauses out of 66025 with flag 4814877/585001
87.23/86.86	c cleaning 33998 clauses out of 68023 with flag 5152486/620000
94.53/94.12	c cleaning 35006 clauses out of 70027 with flag 5454156/656002
101.83/101.44	c cleaning 35996 clauses out of 72021 with flag 5749780/693002
109.62/109.28	c cleaning 36996 clauses out of 74024 with flag 6048888/731001
118.34/117.90	c cleaning 37990 clauses out of 76027 with flag 6358514/770000
126.64/126.23	c cleaning 39007 clauses out of 78038 with flag 6679731/810001
135.74/135.36	c cleaning 40012 clauses out of 80030 with flag 7011397/851000
144.74/144.33	c cleaning 40998 clauses out of 82018 with flag 7343490/893000
154.24/153.83	c cleaning 42002 clauses out of 84020 with flag 7682358/936000
164.04/163.62	c cleaning 43004 clauses out of 86021 with flag 8029460/980003
174.05/173.65	c cleaning 43988 clauses out of 88014 with flag 8389214/1025000
187.75/187.34	c cleaning 44996 clauses out of 90028 with flag 8814586/1071002
202.75/202.31	c cleaning 45996 clauses out of 92030 with flag 9244090/1118000
216.95/216.55	c cleaning 47010 clauses out of 94034 with flag 9667286/1166000
229.55/229.17	c cleaning 48011 clauses out of 96025 with flag 10043626/1215001
242.45/242.05	c cleaning 49001 clauses out of 98015 with flag 10432923/1265002
256.26/255.82	c cleaning 49998 clauses out of 100012 with flag 10825430/1316000
269.85/269.50	c cleaning 51000 clauses out of 102016 with flag 11225076/1368002
285.25/284.89	c cleaning 52005 clauses out of 104014 with flag 11630996/1421000
300.66/300.29	c cleaning 52998 clauses out of 106009 with flag 12027124/1475000
317.77/317.35	c cleaning 53991 clauses out of 108012 with flag 12478043/1530001
333.89/333.48	c cleaning 55010 clauses out of 110022 with flag 12903789/1586002
349.88/349.48	c cleaning 55999 clauses out of 112012 with flag 13338774/1643002
366.98/366.58	c cleaning 56996 clauses out of 114011 with flag 13788869/1701000
385.98/385.54	c cleaning 58002 clauses out of 116016 with flag 14239961/1760001
404.08/403.62	c cleaning 59002 clauses out of 118013 with flag 14691262/1820000
427.40/426.95	c cleaning 59992 clauses out of 120014 with flag 15204224/1881003
446.89/446.41	c cleaning 60994 clauses out of 122019 with flag 15652365/1943000
469.50/469.01	c cleaning 62008 clauses out of 124025 with flag 16149160/2006000
489.30/488.88	c cleaning 62994 clauses out of 126019 with flag 16603327/2070002
513.20/512.75	c cleaning 64007 clauses out of 128023 with flag 17095024/2135000
535.61/535.15	c cleaning 65001 clauses out of 130016 with flag 17573201/2201000
559.77/559.25	c cleaning 66003 clauses out of 132016 with flag 18046811/2268001
584.00/583.46	c cleaning 66994 clauses out of 134012 with flag 18543099/2336000
608.20/607.67	c cleaning 68006 clauses out of 136019 with flag 19033214/2405001
634.21/633.63	c cleaning 69000 clauses out of 138013 with flag 19534097/2475001
661.00/660.44	c cleaning 69999 clauses out of 140013 with flag 20056360/2546001
691.52/690.93	c cleaning 70994 clauses out of 142013 with flag 20615415/2618000
727.32/726.79	c cleaning 71994 clauses out of 144021 with flag 21301745/2691002
754.13/753.53	c cleaning 72994 clauses out of 146026 with flag 21847341/2765001
785.54/784.91	c cleaning 74015 clauses out of 148033 with flag 22374074/2840002
815.56/814.93	c cleaning 74996 clauses out of 150016 with flag 22909437/2916000
846.64/845.95	c cleaning 76008 clauses out of 152021 with flag 23462882/2993001
881.44/880.72	c cleaning 76995 clauses out of 154012 with flag 24061452/3071000
914.55/913.83	c cleaning 77998 clauses out of 156017 with flag 24639221/3150000
954.86/954.19	c cleaning 79003 clauses out of 158019 with flag 25208178/3230000
991.37/990.65	c cleaning 79987 clauses out of 160016 with flag 25779584/3311000
1027.27/1026.53	c cleaning 81011 clauses out of 162029 with flag 26347707/3393000
1067.48/1066.75	c cleaning 82005 clauses out of 164018 with flag 26931792/3476000
1106.30/1105.56	c cleaning 83001 clauses out of 166014 with flag 27493591/3560001
1146.90/1146.19	c cleaning 83994 clauses out of 168013 with flag 28091325/3645001
1198.72/1197.86	c cleaning 84992 clauses out of 170018 with flag 28843621/3731000
1240.64/1239.80	c cleaning 86007 clauses out of 172026 with flag 29425969/3818000
1284.95/1284.04	c cleaning 86996 clauses out of 174020 with flag 30033848/3906001
1330.66/1329.77	c cleaning 87992 clauses out of 176023 with flag 30648287/3995000
1379.37/1378.44	c cleaning 89005 clauses out of 178031 with flag 31281806/4085000
1426.88/1425.97	c cleaning 90004 clauses out of 180026 with flag 31914573/4176000
1474.70/1473.76	c cleaning 90990 clauses out of 182022 with flag 32609128/4268000
1525.91/1524.99	c cleaning 92002 clauses out of 184032 with flag 33325422/4361000
1580.18/1579.02	c cleaning 93010 clauses out of 186030 with flag 34021405/4455000
1632.19/1631.09	c cleaning 94007 clauses out of 188020 with flag 34708804/4550000
1685.70/1684.50	c cleaning 95005 clauses out of 190014 with flag 35389850/4646001
1738.91/1737.73	c cleaning 95995 clauses out of 192008 with flag 36075685/4743000
1793.32/1792.17	c cleaning 97002 clauses out of 194014 with flag 36721359/4841001
1800.02/1798.80	c starts		: 24198
1800.02/1798.80	c conflicts		: 4857986
1800.02/1798.80	c decisions		: 7871554
1800.02/1798.80	c propagations		: 139513322
1800.02/1798.80	c inspects		: 43017881010
1800.02/1798.80	c shortcuts		: 0
1800.02/1798.80	c learnt literals	: 0
1800.02/1798.80	c learnt binary clauses	: 0
1800.02/1798.80	c learnt ternary clauses	: 0
1800.02/1798.80	c learnt constraints	: 4857986
1800.02/1798.80	c ignored constraints	: 0
1800.02/1798.80	c root simplifications	: 0
1800.02/1798.80	c removed literals (reason simplification)	: 0
1800.02/1798.80	c reason swapping (by a shorter reason)	: 0
1800.02/1798.80	c Calls to reduceDB	: 94
1800.02/1798.80	c Number of update (reduction) of LBD	: 1610015
1800.02/1798.80	c Imported unit clauses	: 0
1800.02/1798.80	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.80	c number of learned constraints concerned by reduction	: 0
1800.02/1798.80	c number of learning phase by resolution	: 0
1800.02/1798.80	c number of learning phase by cutting planes	: 0
1800.02/1798.80	c speed (assignments/second)	: 77564.28658794226
1800.02/1798.80	c non guided choices	69
1800.02/1798.80	c timeout
1800.02/1798.83	c learnt constraints type 
1800.02/1798.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113998
1800.02/1798.83	s UNKNOWN
1800.02/1798.83	c Total wall clock time (in seconds): 1798.733

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-4095984-1466100052/watcher-4095984-1466100052 -o /tmp/evaluation-result-4095984-1466100052/solver-4095984-1466100052 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466098252-22091 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095984-1466100052.opb 

pid=22311
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.16 2.14 2.05 5/192 22314
/proc/meminfo: memFree=31497388/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 12055293 98570240 978 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 24065 978 744 9 0 16771 0
[pid=22314/tid=22315] ppid=22311 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 12055293 98570240 978 33554432000 1073741824 1073778376 140734182199488 140482962562600 235374724480 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.14 2.05 5/192 22314
/proc/meminfo: memFree=31497388/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 4508 0 1 0 11 0 0 0 20 0 18 0 12055293 9787879424 6142 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2389619 6142 2165 9 0 2380296 0
[pid=22314/tid=22315] ppid=22311 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 12055293 9787879424 6142 33554432000 1073741824 1073778376 140734182199488 140482962566048 235378107661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200359 s]
/proc/loadavg: 2.16 2.14 2.05 5/192 22314
/proc/meminfo: memFree=31497388/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 7815 0 1 0 32 1 0 0 20 0 19 0 12055293 9856040960 8281 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 8281 2220 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2400 0 1 0 17 0 0 0 20 0 19 0 12055293 9856040960 8281 33554432000 1073741824 1073778376 140734182199488 140482962567808 140482827017836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 9625040

[startup+0.3003 s]
/proc/loadavg: 2.16 2.14 2.05 5/192 22314
/proc/meminfo: memFree=31497388/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 8408 0 1 0 54 1 0 0 20 0 19 0 12055293 9856040960 8399 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 8399 2226 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2400 0 1 0 27 0 0 0 20 0 19 0 12055293 9856040960 8399 33554432000 1073741824 1073778376 140734182199488 140482962567808 140482827226112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040

[startup+0.700152 s]
/proc/loadavg: 2.16 2.14 2.05 5/192 22314
/proc/meminfo: memFree=31497388/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 9689 0 1 0 111 1 0 0 20 0 19 0 12055293 9856040960 8985 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 8985 2240 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2401 0 1 0 67 0 0 0 20 0 19 0 12055293 9856040960 8985 33554432000 1073741824 1073778376 140734182199488 140482962567656 140482827586880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.16 2.14 2.05 3/212 22334
/proc/meminfo: memFree=31442300/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 9693 0 1 0 193 1 0 0 20 0 19 0 12055293 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 10010 2241 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2404 0 1 0 147 0 0 0 20 0 19 0 12055293 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482962558672 140482827475261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22314/task/22330/stat : 22330 (java) S 22311 22314 22074 0 -1 4202560 3369 0 0 0 22 0 0 0 20 0 19 0 12055298 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482780903480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22331] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22331/stat : 22331 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482779851384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22332] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22332/stat : 22332 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482778798792 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 10010 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.15 2.13 2.05 3/212 22334
/proc/meminfo: memFree=31435288/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 9695 0 1 0 353 1 0 0 20 0 19 0 12055293 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 11034 2241 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2406 0 1 0 307 0 0 0 20 0 19 0 12055293 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482962558672 140482827475306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22314/task/22330/stat : 22330 (java) S 22311 22314 22074 0 -1 4202560 3369 0 0 0 22 0 0 0 20 0 19 0 12055298 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482780903480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22331] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22331/stat : 22331 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482779851384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22332] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22332/stat : 22332 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482778798792 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 11034 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.15 2.13 2.05 3/212 22334
/proc/meminfo: memFree=31421324/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=6.75 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 9700 0 1 0 673 2 0 0 20 0 19 0 12055293 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 12442 2242 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2410 0 1 0 626 0 0 0 20 0 19 0 12055293 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482962558672 140482827475279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055294 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 12442 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.22 cores=1,3,5,7

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

[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.5
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/211 22396
/proc/meminfo: memFree=31008252/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=1723.51 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 11094 0 1 0 172306 45 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 70879 2257 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=1717.69 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2472 0 1 0 171740 29 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482962558768 140482827475225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 5 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 144 0 0 0 5 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 181 0 0 0 7 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 289 0 0 0 3 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 4 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 51 0 0 0 1 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22314/task/22330/stat : 22330 (java) S 22311 22314 22074 0 -1 4202560 3374 0 0 0 25 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482780903480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22331] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22331/stat : 22331 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482779851384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22332] ppid=22311 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/22314/task/22332/stat : 22332 (java) S 22311 22314 22074 0 -1 4202560 100 0 0 0 29 28 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482778798792 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.51
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/212 22400
/proc/meminfo: memFree=31008068/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=1783.51 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 11098 0 1 0 178306 45 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 70879 2257 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=1777.54 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2472 0 1 0 177724 30 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482962558768 140482827474670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 5 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 144 0 0 0 5 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 181 0 0 0 7 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 289 0 0 0 3 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 4 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 51 0 0 0 1 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22314/task/22330/stat : 22330 (java) S 22311 22314 22074 0 -1 4202560 3374 0 0 0 25 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482780903480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22331] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22331/stat : 22331 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482779851384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22332] ppid=22311 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/22314/task/22332/stat : 22332 (java) S 22311 22314 22074 0 -1 4202560 104 0 0 0 31 28 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482778798792 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.8 s]
/proc/loadavg: 2.04 2.04 2.00 3/212 22400
/proc/meminfo: memFree=31008196/32872528 swapFree=446836/479540
[pid=22314] ppid=22311 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/22314/stat : 22314 (java) S 22311 22314 22074 0 -1 4202496 11098 0 1 0 179956 46 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140734182190624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22314/statm: 2406260 70879 2257 9 0 2396937 0
[pid=22314/tid=22315] ppid=22311 vsize=9625040 CPUtime=1794 cores=1,3,5,7
/proc/22314/task/22315/stat : 22315 (java) R 22311 22314 22074 0 -1 4202560 2472 0 1 0 179370 30 0 0 20 0 19 0 12055293 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482962558768 140482827474698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22317] ppid=22311 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/22314/task/22317/stat : 22317 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 5 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482951629608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22318] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22318/stat : 22318 (java) S 22311 22314 22074 0 -1 4202560 144 0 0 0 5 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482950576808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22319] ppid=22311 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22314/task/22319/stat : 22319 (java) S 22311 22314 22074 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482949524520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22320] ppid=22311 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/22314/task/22320/stat : 22320 (java) S 22311 22314 22074 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482948471720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22321] ppid=22311 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/22314/task/22321/stat : 22321 (java) S 22311 22314 22074 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482947418408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22322] ppid=22311 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/22314/task/22322/stat : 22322 (java) S 22311 22314 22074 0 -1 4202560 181 0 0 0 7 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482946365608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22323] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22323/stat : 22323 (java) S 22311 22314 22074 0 -1 4202560 289 0 0 0 3 2 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482799417896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22324] ppid=22311 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/22314/task/22324/stat : 22324 (java) S 22311 22314 22074 0 -1 4202560 154 0 0 0 4 1 0 0 20 0 19 0 12055294 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482798365096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22325] ppid=22311 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22314/task/22325/stat : 22325 (java) S 22311 22314 22074 0 -1 4202560 51 0 0 0 1 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482786167528 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22326] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22326/stat : 22326 (java) S 22311 22314 22074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482785113592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22327] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22327/stat : 22327 (java) S 22311 22314 22074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12055295 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482784061192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22328] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22328/stat : 22328 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482783009680 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22329] ppid=22311 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22314/task/22329/stat : 22329 (java) S 22311 22314 22074 0 -1 4202560 2650 0 0 0 20 0 0 0 20 0 19 0 12055297 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482781956280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22314/tid=22330] ppid=22311 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22314/task/22330/stat : 22330 (java) S 22311 22314 22074 0 -1 4202560 3374 0 0 0 25 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482780903480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22314/tid=22331] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22331/stat : 22331 (java) S 22311 22314 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482779851384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22314/tid=22332] ppid=22311 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22314/task/22332/stat : 22332 (java) S 22311 22314 22074 0 -1 4202560 104 0 0 0 31 29 0 0 20 0 19 0 12055298 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482778798792 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22314/tid=22334] ppid=22311 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22314/task/22334/stat : 22334 (java) S 22311 22314 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12055306 9856040960 70879 33554432000 1073741824 1073778376 140734182199488 140482777744808 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 22314 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 22314 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=19115
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=851870
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1799.56
CPU system time (s): 0.46
CPU usage (%): 100.066
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 0.85187
maximum resident set size= 283692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11147
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38165
involuntary context switches= 5190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3124 second user time and 12.7531 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 20:00:52
IDJOB=4095984
IDBENCH=107549
IDSOLVER=2546
FILE ID=node104/4095984-1466100052
RUNJOBID= node104-1466098252-22091
PBS_JOBID= 19904071
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-50.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095984-1466100052/watcher-4095984-1466100052 -o /tmp/evaluation-result-4095984-1466100052/solver-4095984-1466100052 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466098252-22091 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4095984-1466100052.opb

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

MD5SUM BENCH= 04b13f4648d088224bae653ed130cd58
RANDOM SEED=1734927173

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31500232 kB
Buffers:           56300 kB
Cached:           122912 kB
SwapCached:          516 kB
Active:            98084 kB
Inactive:          95212 kB
Active(anon):      15252 kB
Inactive(anon):     1168 kB
Active(file):      82832 kB
Inactive(file):    94044 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              1684 kB
Writeback:             0 kB
AnonPages:        519612 kB
Mapped:            12724 kB
Shmem:                 0 kB
Slab:             569024 kB
SReclaimable:      13140 kB
SUnreclaim:       555884 kB
KernelStack:        1488 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1156272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 71700 MiB
End job on node104 at 2016-06-16 20:30:51