Trace number 4116057

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.77 1798.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-7.opb
MD5SUMeee44538fa1c3d76891e4cfc331dd536
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4116057-1466967824.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.67/0.42	c ... done. Wall clock time 0.306s.
0.67/0.42	c declared #vars     4288
0.67/0.42	c #constraints  10720
0.67/0.42	c constraints type 
0.67/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.67/0.42	c org.sat4j.specs.Constr$1 => 856
0.67/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.67/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 456
0.67/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.67/0.42	c 10720 constraints processed.
1.67/1.07	c cleaning 2494 clauses out of 4998 with flag 16039/5000
2.45/1.71	c cleaning 4219 clauses out of 8505 with flag 36785/11001
3.14/2.47	c cleaning 5637 clauses out of 11286 with flag 65462/18001
4.06/3.33	c cleaning 6802 clauses out of 13649 with flag 98795/26001
5.06/4.32	c cleaning 7918 clauses out of 15846 with flag 136929/35000
6.16/5.45	c cleaning 8938 clauses out of 17928 with flag 179722/45000
7.37/6.70	c cleaning 9976 clauses out of 19991 with flag 232720/56001
8.87/8.12	c cleaning 10996 clauses out of 22014 with flag 289787/68000
10.37/9.65	c cleaning 11994 clauses out of 24018 with flag 351625/81000
11.97/11.29	c cleaning 12971 clauses out of 26025 with flag 424497/95001
13.87/13.14	c cleaning 14011 clauses out of 28053 with flag 500684/110000
15.88/15.18	c cleaning 14982 clauses out of 30042 with flag 582418/126000
18.18/17.40	c cleaning 16028 clauses out of 32061 with flag 669379/143001
20.48/19.74	c cleaning 17000 clauses out of 34032 with flag 767016/161000
22.98/22.24	c cleaning 17997 clauses out of 36032 with flag 869436/180000
25.68/24.93	c cleaning 18981 clauses out of 38036 with flag 978508/200001
28.58/27.87	c cleaning 20017 clauses out of 40055 with flag 1095204/221001
31.79/31.00	c cleaning 20975 clauses out of 42038 with flag 1217836/243001
35.09/34.32	c cleaning 22028 clauses out of 44063 with flag 1348883/266001
38.59/37.87	c cleaning 23004 clauses out of 46034 with flag 1488114/290000
42.38/41.69	c cleaning 23968 clauses out of 48030 with flag 1631990/315000
46.38/45.67	c cleaning 24993 clauses out of 50063 with flag 1782271/341001
50.68/49.90	c cleaning 26008 clauses out of 52069 with flag 1934981/368000
55.00/54.29	c cleaning 26994 clauses out of 54062 with flag 2097440/396001
59.21/58.49	c cleaning 28009 clauses out of 56067 with flag 2261759/425000
63.61/62.90	c cleaning 29013 clauses out of 58058 with flag 2436373/455000
68.30/67.51	c cleaning 30008 clauses out of 60045 with flag 2623416/486000
73.31/72.53	c cleaning 30996 clauses out of 62037 with flag 2811693/518000
78.51/77.79	c cleaning 31983 clauses out of 64041 with flag 3009025/551000
84.01/83.24	c cleaning 33025 clauses out of 66059 with flag 3214436/585001
89.71/88.97	c cleaning 33946 clauses out of 68033 with flag 3423280/620000
95.81/95.06	c cleaning 35016 clauses out of 70087 with flag 3640278/656000
102.12/101.37	c cleaning 36023 clauses out of 72072 with flag 3860379/693001
108.63/107.82	c cleaning 36999 clauses out of 74048 with flag 4091385/731000
115.53/114.71	c cleaning 37982 clauses out of 76049 with flag 4325387/770000
122.73/121.93	c cleaning 39012 clauses out of 78068 with flag 4568926/810001
130.23/129.49	c cleaning 39940 clauses out of 80056 with flag 4815979/851001
138.13/137.30	c cleaning 41048 clauses out of 82115 with flag 5075370/893000
145.87/145.08	c cleaning 41993 clauses out of 84067 with flag 5341852/936000
153.66/152.87	c cleaning 43002 clauses out of 86074 with flag 5613534/980000
161.96/161.10	c cleaning 44016 clauses out of 88072 with flag 5892346/1025000
170.17/169.39	c cleaning 44975 clauses out of 90057 with flag 6171934/1071001
178.87/178.01	c cleaning 46001 clauses out of 92082 with flag 6462948/1118001
188.07/187.22	c cleaning 47042 clauses out of 94083 with flag 6760528/1166003
197.47/196.65	c cleaning 47983 clauses out of 96038 with flag 7069060/1215000
207.37/206.55	c cleaning 48994 clauses out of 98055 with flag 7381515/1265000
217.59/216.75	c cleaning 50001 clauses out of 100061 with flag 7694579/1316000
228.08/227.27	c cleaning 51024 clauses out of 102060 with flag 8014397/1368000
239.08/238.28	c cleaning 51980 clauses out of 104038 with flag 8344519/1421002
250.01/249.19	c cleaning 53000 clauses out of 106056 with flag 8678935/1475000
261.42/260.55	c cleaning 53972 clauses out of 108056 with flag 9017842/1530000
272.92/272.07	c cleaning 55001 clauses out of 110085 with flag 9364564/1586001
285.02/284.17	c cleaning 56018 clauses out of 112084 with flag 9718337/1643001
297.63/296.71	c cleaning 57024 clauses out of 114066 with flag 10078086/1701001
310.53/309.68	c cleaning 58010 clauses out of 116041 with flag 10442545/1760000
323.63/322.77	c cleaning 59005 clauses out of 118033 with flag 10812592/1820002
337.02/336.14	c cleaning 60009 clauses out of 120027 with flag 11191664/1881001
350.84/349.99	c cleaning 60973 clauses out of 122018 with flag 11572860/1943001
365.08/364.19	c cleaning 62005 clauses out of 124044 with flag 11965502/2006000
379.59/378.68	c cleaning 62993 clauses out of 126039 with flag 12362861/2070000
394.19/393.21	c cleaning 63998 clauses out of 128046 with flag 12764335/2135000
409.22/408.26	c cleaning 65000 clauses out of 130048 with flag 13174503/2201000
424.82/423.82	c cleaning 66015 clauses out of 132049 with flag 13585333/2268001
440.52/439.54	c cleaning 66988 clauses out of 134033 with flag 14007359/2336000
457.13/456.16	c cleaning 68013 clauses out of 136046 with flag 14434444/2405001
474.22/473.20	c cleaning 69008 clauses out of 138032 with flag 14868648/2475000
491.47/490.41	c cleaning 69986 clauses out of 140026 with flag 15302083/2546002
508.97/507.90	c cleaning 70962 clauses out of 142039 with flag 15746366/2618001
526.66/525.63	c cleaning 72016 clauses out of 144077 with flag 16197134/2691001
544.87/543.86	c cleaning 72997 clauses out of 146060 with flag 16652213/2765000
564.07/563.06	c cleaning 74006 clauses out of 148064 with flag 17117907/2840001
583.78/582.70	c cleaning 74939 clauses out of 150057 with flag 17585321/2916000
603.59/602.50	c cleaning 76034 clauses out of 152118 with flag 18062912/2993000
623.82/622.73	c cleaning 77022 clauses out of 154084 with flag 18548858/3071000
644.13/643.09	c cleaning 78029 clauses out of 156062 with flag 19035188/3150000
664.84/663.72	c cleaning 78961 clauses out of 158033 with flag 19529192/3230000
686.04/684.92	c cleaning 80012 clauses out of 160072 with flag 20030149/3311000
707.85/706.77	c cleaning 80968 clauses out of 162060 with flag 20538761/3393000
730.25/729.16	c cleaning 82006 clauses out of 164092 with flag 21052432/3476000
752.91/751.71	c cleaning 83001 clauses out of 166087 with flag 21572729/3560001
775.91/774.70	c cleaning 83988 clauses out of 168087 with flag 22095303/3645002
799.83/798.68	c cleaning 85020 clauses out of 170098 with flag 22626445/3731001
824.32/823.17	c cleaning 85998 clauses out of 172077 with flag 23163128/3818000
850.03/848.88	c cleaning 87005 clauses out of 174079 with flag 23700580/3906000
875.82/874.53	c cleaning 88036 clauses out of 176075 with flag 24243225/3995001
901.83/900.50	c cleaning 88980 clauses out of 178038 with flag 24793625/4085000
928.53/927.26	c cleaning 90014 clauses out of 180059 with flag 25353867/4176001
956.54/955.21	c cleaning 90993 clauses out of 182044 with flag 25914306/4268000
984.64/983.36	c cleaning 91952 clauses out of 184053 with flag 26487355/4361002
1014.02/1012.67	c cleaning 93029 clauses out of 186099 with flag 27060077/4455000
1043.02/1041.69	c cleaning 94032 clauses out of 188071 with flag 27640182/4550001
1072.84/1071.47	c cleaning 94981 clauses out of 190038 with flag 28226612/4646000
1102.65/1101.21	c cleaning 96004 clauses out of 192059 with flag 28824147/4743002
1133.34/1131.97	c cleaning 97000 clauses out of 194054 with flag 29423609/4841001
1165.13/1163.67	c cleaning 97994 clauses out of 196056 with flag 30029570/4940003
1197.44/1195.97	c cleaning 99027 clauses out of 198059 with flag 30644322/5040000
1229.94/1228.45	c cleaning 99939 clauses out of 200033 with flag 31261062/5141001
1263.55/1262.10	c cleaning 101030 clauses out of 202094 with flag 31882472/5243001
1297.62/1295.97	c cleaning 102032 clauses out of 204064 with flag 32508849/5346001
1332.32/1330.63	c cleaning 103007 clauses out of 206031 with flag 33149514/5450000
1367.94/1366.30	c cleaning 104008 clauses out of 208024 with flag 33789784/5555000
1404.02/1402.34	c cleaning 105000 clauses out of 210017 with flag 34436793/5661001
1440.15/1438.37	c cleaning 105993 clauses out of 212017 with flag 35087384/5768001
1477.56/1475.71	c cleaning 106980 clauses out of 214023 with flag 35745780/5876000
1515.77/1513.92	c cleaning 107998 clauses out of 216043 with flag 36410395/5985000
1554.18/1552.36	c cleaning 108990 clauses out of 218045 with flag 37081393/6095000
1592.84/1590.95	c cleaning 110015 clauses out of 220056 with flag 37763178/6206001
1632.85/1630.93	c cleaning 110967 clauses out of 222040 with flag 38444183/6318000
1673.25/1671.39	c cleaning 111990 clauses out of 224073 with flag 39133922/6431000
1715.34/1713.35	c cleaning 113004 clauses out of 226084 with flag 39828890/6545001
1757.54/1755.57	c cleaning 114021 clauses out of 228079 with flag 40533023/6660000
1800.05/1798.00	c starts		: 49914
1800.05/1798.00	c conflicts		: 6775978
1800.05/1798.00	c decisions		: 66763426
1800.05/1798.00	c propagations		: 928413728
1800.05/1798.00	c inspects		: 24707336053
1800.05/1798.00	c shortcuts		: 0
1800.05/1798.00	c learnt literals	: 2
1800.05/1798.00	c learnt binary clauses	: 48
1800.05/1798.00	c learnt ternary clauses	: 596
1800.05/1798.00	c learnt constraints	: 6775976
1800.05/1798.00	c ignored constraints	: 0
1800.05/1798.00	c root simplifications	: 0
1800.05/1798.00	c removed literals (reason simplification)	: 0
1800.05/1798.00	c reason swapping (by a shorter reason)	: 0
1800.05/1798.00	c Calls to reduceDB	: 111
1800.05/1798.00	c Number of update (reduction) of LBD	: 1413034
1800.05/1798.00	c Imported unit clauses	: 0
1800.05/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.05/1798.00	c number of learned constraints concerned by reduction	: 0
1800.05/1798.00	c number of learning phase by resolution	: 0
1800.05/1798.00	c number of learning phase by cutting planes	: 0
1800.05/1798.00	c speed (assignments/second)	: 516482.08138533536
1800.05/1798.00	c non guided choices	29830
1800.05/1798.00	c timeout
1800.05/1798.03	c learnt constraints type 
1800.05/1798.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 48
1800.05/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 229988
1800.05/1798.03	s UNKNOWN
1800.05/1798.03	c Total wall clock time (in seconds): 1797.913

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

pid=22102
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.21 2.22 2.18 4/194 22105
/proc/meminfo: memFree=29989692/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (java) R 22102 22105 19053 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 29821486 278528 33 33554432000 1073741824 1073778376 140734874042096 140734321123896 260181159093 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 84 38 30 9 0 25 0

[startup+0.100062 s]
/proc/loadavg: 2.21 2.22 2.18 4/194 22105
/proc/meminfo: memFree=29989692/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 29821486 9787879424 6034 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 2.21 2.22 2.18 4/194 22105
/proc/meminfo: memFree=29989692/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 4704 0 1 0 23 2 0 0 20 0 18 0 29821486 9787879424 6777 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2389619 6777 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300217 s]
/proc/loadavg: 2.21 2.22 2.18 4/194 22105
/proc/meminfo: memFree=29989692/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 5756 0 1 0 46 2 0 0 20 0 18 0 29821486 9787879424 8460 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2389619 8460 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 2.21 2.22 2.18 4/194 22105
/proc/meminfo: memFree=29989692/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 8567 0 1 0 132 2 0 0 20 0 19 0 29821486 9856040960 15986 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 15986 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.21 2.22 2.18 4/213 22124
/proc/meminfo: memFree=29934736/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 9121 0 1 0 220 3 0 0 20 0 19 0 29821486 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 16247 2270 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2449 0 1 0 144 2 0 0 20 0 19 0 29821487 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434412367568 140434240794640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 3419 0 0 0 41 0 0 0 20 0 19 0 29821493 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1981 0 0 0 31 0 0 0 20 0 19 0 29821493 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 16247 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.21 2.22 2.18 3/213 22124
/proc/meminfo: memFree=29930020/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 9124 0 1 0 382 3 0 0 20 0 19 0 29821486 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 17271 2270 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2451 0 1 0 303 2 0 0 20 0 19 0 29821487 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434412367568 140434240868898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 3419 0 0 0 43 0 0 0 20 0 19 0 29821493 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 33 0 0 0 20 0 19 0 29821493 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 17271 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.19 2.22 2.18 3/213 22124
/proc/meminfo: memFree=29922200/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=7.06 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 9129 0 1 0 703 3 0 0 20 0 19 0 29821486 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 18645 2271 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2455 0 1 0 622 3 0 0 20 0 19 0 29821487 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434412367552 140434240793451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29821489 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 3419 0 0 0 44 0 0 0 20 0 19 0 29821493 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 34 0 0 0 20 0 19 0 29821493 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 18645 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 4017 0 0 0 48 0 0 0 20 0 19 0 29821493 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 34 0 0 0 20 0 19 0 29821493 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 98 0 0 0 27 43 0 0 20 0 19 0 29821493 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 80216 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.25
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.29 2.31 2.23 3/213 22233
/proc/meminfo: memFree=29703244/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=1724.34 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 10514 0 1 0 172377 57 0 0 20 0 19 0 29821486 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 82775 2285 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=1721.89 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2512 0 1 0 172158 31 0 0 20 0 19 0 29821487 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434412367648 140434240869156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 95 0 0 0 17 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 30 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 120 0 0 0 11 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 167 0 0 0 15 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 13 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 51 0 0 0 16 3 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 61 0 0 0 0 2 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 4017 0 0 0 48 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 34 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 100 0 0 0 28 45 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.34
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/213 22234
/proc/meminfo: memFree=29703764/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=1784.34 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 10518 0 1 0 178376 58 0 0 20 0 19 0 29821486 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 82775 2285 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=1781.89 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2512 0 1 0 178157 32 0 0 20 0 19 0 29821487 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434412367648 140434240868925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 95 0 0 0 17 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 30 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 120 0 0 0 11 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 167 0 0 0 15 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 13 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 51 0 0 0 16 3 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 61 0 0 0 0 3 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 4017 0 0 0 48 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 34 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 104 0 0 0 30 46 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.24 2.28 2.22 3/213 22234
/proc/meminfo: memFree=29697040/32872528 swapFree=1643088/1798432
[pid=22105] ppid=22102 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22102 22105 19053 0 -1 4202496 10518 0 1 0 179946 59 0 0 20 0 19 0 29821486 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140734874033232 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22105/statm: 2406260 82775 2285 9 0 2396937 0
[pid=22105/tid=22107] ppid=22102 vsize=9625040 CPUtime=1797.59 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22102 22105 19053 0 -1 4202560 2512 0 1 0 179727 32 0 0 20 0 19 0 29821487 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434412367648 140434240869056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22108] ppid=22102 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22102 22105 19053 0 -1 4202560 95 0 0 0 17 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434373868456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22109] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22102 22105 19053 0 -1 4202560 30 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434372815912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22110] ppid=22102 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 10 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434371762856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22111] ppid=22102 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22102 22105 19053 0 -1 4202560 120 0 0 0 11 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434370710312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22112] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22102 22105 19053 0 -1 4202560 167 0 0 0 15 4 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434369657256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22113] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22102 22105 19053 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434368604712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22114] ppid=22102 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22102 22105 19053 0 -1 4202560 43 0 0 0 13 2 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434367551656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22115] ppid=22102 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22102 22105 19053 0 -1 4202560 51 0 0 0 16 3 0 0 20 0 19 0 29821489 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434366499112 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22105/tid=22116] ppid=22102 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22102 22105 19053 0 -1 4202560 61 0 0 0 0 3 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434235960168 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22117] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22102 22105 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434234906488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22118] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22102 22105 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29821490 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434233853320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22119] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434232802064 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22120] ppid=22102 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22102 22105 19053 0 -1 4202560 4017 0 0 0 48 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434231748920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22105/tid=22121] ppid=22102 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22102 22105 19053 0 -1 4202560 1982 0 0 0 34 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434230696376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22122] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22102 22105 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434229643512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22105/tid=22123] ppid=22102 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22102 22105 19053 0 -1 4202560 104 0 0 0 30 46 0 0 20 0 19 0 29821493 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434228591176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22105/tid=22124] ppid=22102 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22102 22105 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29821530 9856040960 82775 33554432000 1073741824 1073778376 140734874042096 140434227537448 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 22105 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.77
CPU user time (s): 1799.63
CPU system time (s): 1.14482
CPU usage (%): 100.152
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 1.14482
maximum resident set size= 331328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10582
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38436
involuntary context switches= 4030

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3621 second user time and 11.9342 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-26 21:03:44
IDJOB=4116057
IDBENCH=109422
IDSOLVER=2546
FILE ID=node123/4116057-1466967824
RUNJOBID= node123-1466943595-19070
PBS_JOBID= 19976352
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116057-1466967824/watcher-4116057-1466967824 -o /tmp/evaluation-result-4116057-1466967824/solver-4116057-1466967824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19070 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116057-1466967824.opb

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

MD5SUM BENCH= eee44538fa1c3d76891e4cfc331dd536
RANDOM SEED=918228213

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.608
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.608
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:        29989692 kB
Buffers:           31160 kB
Cached:           114908 kB
SwapCached:         1772 kB
Active:           261916 kB
Inactive:         120248 kB
Active(anon):     237876 kB
Inactive(anon):      924 kB
Active(file):      24040 kB
Inactive(file):   119324 kB
Unevictable:     1798432 kB
Mlocked:         1643088 kB
SwapTotal:      67108856 kB
SwapFree:       67098704 kB
Dirty:              1228 kB
Writeback:             0 kB
AnonPages:       2034088 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             565972 kB
SReclaimable:       9816 kB
SUnreclaim:       556156 kB
KernelStack:        1600 kB
PageTables:         8264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2526460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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= 71728 MiB
End job on node123 at 2016-06-26 21:33:42