Trace number 4099893

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1775.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
MD5SUMc577d7edde274bfe6a240a0f24a19644
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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.022995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4957
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526705
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526705
Number of bits of the biggest sum of numbers20
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4099893-1466208016.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.27/0.29	c ... done. Wall clock time 0.172s.
0.27/0.29	c declared #vars     3100
0.27/0.29	c #constraints  140
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19
0.27/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 121
0.27/0.29	c 140 constraints processed.
0.27/0.29	c objective function length is 3100 literals
1.44/0.85	c cleaning 2492 clauses out of 5000 with flag 34877/5000
2.00/1.36	c cleaning 4195 clauses out of 8510 with flag 71469/11002
2.60/1.98	c cleaning 5631 clauses out of 11314 with flag 125668/18001
3.31/2.64	c cleaning 6836 clauses out of 13682 with flag 176319/26000
4.14/3.43	c cleaning 7913 clauses out of 15849 with flag 233847/35003
4.93/4.30	c cleaning 8947 clauses out of 17934 with flag 305800/45001
5.93/5.24	c cleaning 9983 clauses out of 19986 with flag 380288/56000
7.13/6.40	c cleaning 11003 clauses out of 22006 with flag 463734/68003
8.16/7.48	c cleaning 11967 clauses out of 24000 with flag 560980/81000
9.36/8.65	c cleaning 12954 clauses out of 26033 with flag 666765/95000
10.67/10.00	c cleaning 14023 clauses out of 28082 with flag 782669/110003
12.06/11.34	c cleaning 15004 clauses out of 30056 with flag 895907/126000
13.56/12.83	c cleaning 16017 clauses out of 32056 with flag 1023031/143004
15.32/14.59	c cleaning 16983 clauses out of 34035 with flag 1169944/161000
17.22/16.41	c cleaning 17994 clauses out of 36053 with flag 1328938/180001
19.32/18.53	c cleaning 19018 clauses out of 38061 with flag 1502184/200003
21.32/20.54	c cleaning 19982 clauses out of 40040 with flag 1672362/221000
23.87/22.90	c cleaning 21004 clauses out of 42058 with flag 1875511/243000
26.27/25.33	c cleaning 21978 clauses out of 44055 with flag 2081381/266001
29.06/28.12	c cleaning 23026 clauses out of 46076 with flag 2326322/290000
32.16/31.08	c cleaning 23997 clauses out of 48053 with flag 2562072/315003
35.16/34.06	c cleaning 25009 clauses out of 50053 with flag 2805521/341000
38.36/37.28	c cleaning 26008 clauses out of 52044 with flag 3059022/368000
41.96/40.70	c cleaning 27018 clauses out of 54040 with flag 3345844/396004
45.76/44.41	c cleaning 27980 clauses out of 56018 with flag 3679040/425000
49.56/48.21	c cleaning 28939 clauses out of 58038 with flag 4019258/455000
53.69/52.25	c cleaning 30041 clauses out of 60101 with flag 4351684/486002
58.00/56.51	c cleaning 30990 clauses out of 62058 with flag 4733812/518000
62.90/61.46	c cleaning 31975 clauses out of 64068 with flag 5159340/551000
68.28/66.64	c cleaning 32970 clauses out of 66093 with flag 5585010/585000
73.88/72.23	c cleaning 34001 clauses out of 68124 with flag 6033696/620001
80.02/78.18	c cleaning 35024 clauses out of 70125 with flag 6521419/656003
87.15/85.18	c cleaning 35828 clauses out of 72098 with flag 7067704/693000
93.83/91.62	c cleaning 37101 clauses out of 74270 with flag 7559836/731000
101.52/99.38	c cleaning 38062 clauses out of 76169 with flag 8121819/770000
109.11/106.80	c cleaning 38991 clauses out of 78107 with flag 8658880/810000
117.51/115.16	c cleaning 39818 clauses out of 80116 with flag 9244492/851000
132.83/130.24	c cleaning 41101 clauses out of 82298 with flag 9981295/893000
142.83/140.03	c cleaning 41948 clauses out of 84198 with flag 10596052/936001
152.45/149.58	c cleaning 43103 clauses out of 86251 with flag 11253964/980002
161.23/158.26	c cleaning 43843 clauses out of 88146 with flag 11891786/1025000
173.81/170.69	c cleaning 44937 clauses out of 90305 with flag 12760603/1071002
183.58/180.36	c cleaning 46137 clauses out of 92368 with flag 13398569/1118002
193.26/189.93	c cleaning 47071 clauses out of 94229 with flag 14028205/1166000
203.57/200.18	c cleaning 48060 clauses out of 96160 with flag 14656648/1215002
214.96/211.39	c cleaning 49035 clauses out of 98098 with flag 15375902/1265000
226.74/223.08	c cleaning 50011 clauses out of 100065 with flag 16084369/1316002
238.59/234.78	c cleaning 50848 clauses out of 102052 with flag 16830156/1368000
251.21/247.26	c cleaning 51831 clauses out of 104204 with flag 17632231/1421000
270.57/266.37	c cleaning 53060 clauses out of 106375 with flag 18636720/1475002
293.96/289.43	c cleaning 54148 clauses out of 108313 with flag 19704298/1530000
314.41/309.41	c cleaning 55084 clauses out of 110167 with flag 20783781/1586002
339.60/334.21	c cleaning 55901 clauses out of 112081 with flag 21887383/1643000
355.63/350.11	c cleaning 57034 clauses out of 114180 with flag 22779054/1701000
374.90/369.10	c cleaning 58004 clauses out of 116147 with flag 23738719/1760001
398.67/392.68	c cleaning 59071 clauses out of 118142 with flag 24939876/1820000
424.52/418.15	c cleaning 60020 clauses out of 120071 with flag 26045779/1881000
448.94/442.29	c cleaning 60892 clauses out of 122051 with flag 27210588/1943000
467.08/460.13	c cleaning 61861 clauses out of 124166 with flag 28262437/2006007
488.08/480.86	c cleaning 63018 clauses out of 126298 with flag 29354079/2070000
504.90/497.44	c cleaning 64131 clauses out of 128285 with flag 30100230/2135005
524.64/516.89	c cleaning 65023 clauses out of 130149 with flag 30886316/2201000
546.03/537.84	c cleaning 65977 clauses out of 132126 with flag 31619215/2268000
563.84/555.32	c cleaning 66861 clauses out of 134149 with flag 32555750/2336000
589.15/580.20	c cleaning 68002 clauses out of 136288 with flag 33683432/2405000
610.27/601.14	c cleaning 68992 clauses out of 138287 with flag 34763738/2475001
640.94/631.53	c cleaning 69867 clauses out of 140294 with flag 36070989/2546000
670.46/660.66	c cleaning 71140 clauses out of 142433 with flag 37435960/2618006
707.85/697.43	c cleaning 72021 clauses out of 144287 with flag 38922527/2691000
739.77/728.93	c cleaning 72991 clauses out of 146266 with flag 40353108/2765000
763.76/752.53	c cleaning 73988 clauses out of 148279 with flag 41599090/2840004
786.98/775.51	c cleaning 75102 clauses out of 150287 with flag 42621250/2916000
815.20/803.46	c cleaning 76090 clauses out of 152185 with flag 43368870/2993000
846.90/834.67	c cleaning 77039 clauses out of 154096 with flag 44385739/3071001
874.10/861.45	c cleaning 77841 clauses out of 156056 with flag 45661194/3150000
915.33/902.19	c cleaning 78983 clauses out of 158215 with flag 47341901/3230000
942.59/929.00	c cleaning 79980 clauses out of 160232 with flag 48567368/3311000
979.36/965.31	c cleaning 81080 clauses out of 162252 with flag 50013804/3393000
1006.36/991.99	c cleaning 82041 clauses out of 164172 with flag 51152470/3476000
1040.41/1025.68	c cleaning 83019 clauses out of 166131 with flag 51938650/3560000
1081.19/1065.93	c cleaning 84028 clauses out of 168112 with flag 52689513/3645000
1120.47/1104.74	c cleaning 85030 clauses out of 170086 with flag 53444751/3731002
1154.74/1138.56	c cleaning 85826 clauses out of 172054 with flag 54760737/3818000
1196.73/1180.06	c cleaning 86872 clauses out of 174228 with flag 56379106/3906000
1232.20/1215.03	c cleaning 88155 clauses out of 176356 with flag 57745419/3995000
1284.94/1267.17	c cleaning 89015 clauses out of 178202 with flag 59559022/4085001
1324.76/1306.43	c cleaning 90022 clauses out of 180186 with flag 61295064/4176000
1357.81/1338.91	c cleaning 91008 clauses out of 182164 with flag 62725928/4268000
1394.80/1375.46	c cleaning 92004 clauses out of 184156 with flag 63879925/4361000
1437.27/1417.35	c cleaning 93032 clauses out of 186158 with flag 64950253/4455006
1472.36/1451.85	c cleaning 93992 clauses out of 188120 with flag 66162708/4550000
1510.49/1489.44	c cleaning 94976 clauses out of 190128 with flag 67447875/4646000
1556.99/1535.56	c cleaning 96043 clauses out of 192152 with flag 69176125/4743000
1607.28/1585.22	c cleaning 97047 clauses out of 194109 with flag 70457815/4841000
1658.32/1635.55	c cleaning 97970 clauses out of 196067 with flag 71701899/4940005
1709.17/1685.76	c cleaning 98966 clauses out of 198094 with flag 72934295/5040002
1763.13/1739.13	c cleaning 100054 clauses out of 200126 with flag 74171658/5141000
1800.07/1775.51	c starts		: 48022
1800.07/1775.51	c conflicts		: 5218280
1800.07/1775.51	c decisions		: 69577280
1800.07/1775.51	c propagations		: 262672045
1800.07/1775.51	c inspects		: 21155747774
1800.07/1775.51	c shortcuts		: 0
1800.07/1775.51	c learnt literals	: 0
1800.07/1775.51	c learnt binary clauses	: 0
1800.07/1775.51	c learnt ternary clauses	: 0
1800.07/1775.51	c learnt constraints	: 5218280
1800.07/1775.51	c ignored constraints	: 0
1800.07/1775.51	c root simplifications	: 0
1800.07/1775.51	c removed literals (reason simplification)	: 0
1800.07/1775.51	c reason swapping (by a shorter reason)	: 0
1800.07/1775.51	c Calls to reduceDB	: 97
1800.07/1775.51	c Number of update (reduction) of LBD	: 4878348
1800.07/1775.51	c Imported unit clauses	: 0
1800.07/1775.51	c number of reductions to clauses (during analyze)	: 0
1800.07/1775.51	c number of learned constraints concerned by reduction	: 0
1800.07/1775.51	c number of learning phase by resolution	: 0
1800.07/1775.51	c number of learning phase by cutting planes	: 0
1800.07/1775.51	c speed (assignments/second)	: 147967.0933964847
1800.07/1775.51	c non guided choices	3112
1800.07/1775.51	c timeout
1800.07/1775.53	c learnt constraints type 
1800.07/1775.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 177353
1800.07/1775.54	s UNKNOWN
1800.07/1775.54	c Total wall clock time (in seconds): 1775.42

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-4099893-1466208016/watcher-4099893-1466208016 -o /tmp/evaluation-result-4099893-1466208016/solver-4099893-1466208016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099893-1466208016.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.29 2.00 3/195 16800
/proc/meminfo: memFree=29849912/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16800/stat : 16800 (java) D 16797 16800 15516 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 22848275 9515008 182 33554432000 1073741824 1073778376 140734445918768 140734445909800 270707539637 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/16800/statm: 2323 182 140 9 0 71 0

[startup+0.100063 s]
/proc/loadavg: 2.15 2.29 2.00 3/195 16800
/proc/meminfo: memFree=29849912/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 4394 0 1 0 7 1 0 0 20 0 18 0 22848275 9787879424 6032 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200209 s]
/proc/loadavg: 2.15 2.29 2.00 3/195 16800
/proc/meminfo: memFree=29849912/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 5020 0 1 0 26 1 0 0 20 0 18 0 22848275 9787879424 6980 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2389619 6980 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300212 s]
/proc/loadavg: 2.15 2.29 2.00 3/195 16800
/proc/meminfo: memFree=29849912/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 7555 0 1 0 52 2 0 0 20 0 18 0 22848275 9787879424 9993 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2389619 9993 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700276 s]
/proc/loadavg: 2.15 2.29 2.00 3/195 16800
/proc/meminfo: memFree=29849912/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 8853 0 1 0 131 3 0 0 20 0 19 0 22848275 9856040960 12520 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 12520 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.15 2.29 2.00 3/214 16819
/proc/meminfo: memFree=29799948/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 8870 0 1 0 217 3 0 0 20 0 19 0 22848275 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 16623 2263 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2433 0 1 0 144 2 0 0 20 0 19 0 22848276 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140120117277240 140119969979128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22848278 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 37 0 0 0 20 0 19 0 22848281 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3080 0 0 0 33 0 0 0 20 0 19 0 22848281 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 16623 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.15 2.29 2.00 3/214 16819
/proc/meminfo: memFree=29778412/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 8887 0 1 0 379 4 0 0 20 0 19 0 22848275 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 24815 2263 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2450 0 1 0 303 2 0 0 20 0 19 0 22848276 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140120117277000 140119970040703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22848278 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3080 0 0 0 35 0 0 0 20 0 19 0 22848281 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 24815 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.14 2.28 2.00 3/214 16819
/proc/meminfo: memFree=29714444/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=7.03 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 8918 0 1 0 698 5 0 0 20 0 19 0 22848275 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 39640 2264 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2480 0 1 0 621 3 0 0 20 0 19 0 22848276 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140120117268160 140119970040703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22848277 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22848278 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3080 0 0 0 35 0 0 0 20 0 19 0 22848281 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 39640 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625040


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

[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 229007 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1685.48
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.18 2.24 2.18 3/213 16948
/proc/meminfo: memFree=25876960/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=1746.23 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 24481 0 1 0 174389 234 0 0 20 0 19 0 22848275 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 235618 2286 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=1702.26 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2746 0 1 0 170194 32 0 0 20 0 19 0 22848276 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140120117275968 140119969977987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1836 0 0 0 364 25 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 2463 0 0 0 387 26 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1369 0 0 0 376 25 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 1848 0 0 0 366 24 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1440 0 0 0 363 19 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1198 0 0 0 385 28 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1245 0 0 0 367 23 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 1842 0 0 0 365 26 0 0 20 0 19 0 22848277 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=6.76 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 1965 0 0 0 672 4 0 0 20 0 19 0 22848278 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 102 0 0 0 26 31 0 0 20 0 19 0 22848281 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 235618 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1746.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.51 s]
/proc/loadavg: 2.11 2.21 2.18 3/213 16949
/proc/meminfo: memFree=25974944/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 25008 0 1 0 179772 235 0 0 20 0 19 0 22848275 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 235450 2286 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=1754.86 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2754 0 1 0 175453 33 0 0 20 0 19 0 22848276 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120117275952 140119969959431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1836 0 0 0 376 25 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 2463 0 0 0 400 26 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1489 0 0 0 386 25 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 2038 0 0 0 376 24 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1440 0 0 0 371 19 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1254 0 0 0 399 28 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1245 0 0 0 382 23 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 1954 0 0 0 374 26 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=6.96 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 2002 0 0 0 692 4 0 0 20 0 19 0 22848278 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 106 0 0 0 27 32 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16800 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1775.51 s]
/proc/loadavg: 2.11 2.21 2.18 3/213 16949
/proc/meminfo: memFree=25974944/32872528 swapFree=1542984/1696284
[pid=16800] ppid=16797 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/16800/stat : 16800 (java) S 16797 16800 15516 0 -1 4202496 25008 0 1 0 179772 235 0 0 20 0 19 0 22848275 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140735474647632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16800/statm: 2406260 235450 2286 9 0 2396937 0
[pid=16800/tid=16802] ppid=16797 vsize=9625040 CPUtime=1754.86 cores=0,2,4,6
/proc/16800/task/16802/stat : 16802 (java) R 16797 16800 15516 0 -1 4202560 2754 0 1 0 175453 33 0 0 20 0 19 0 22848276 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120117275952 140119969959431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16803] ppid=16797 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/16800/task/16803/stat : 16803 (java) S 16797 16800 15516 0 -1 4202560 1836 0 0 0 376 25 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120089730088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16804] ppid=16797 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/16800/task/16804/stat : 16804 (java) S 16797 16800 15516 0 -1 4202560 2463 0 0 0 400 26 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140120088677288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16805] ppid=16797 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/16800/task/16805/stat : 16805 (java) S 16797 16800 15516 0 -1 4202560 1489 0 0 0 386 25 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119958399784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16806] ppid=16797 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/16800/task/16806/stat : 16806 (java) S 16797 16800 15516 0 -1 4202560 2038 0 0 0 376 24 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119957346984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16807] ppid=16797 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/16800/task/16807/stat : 16807 (java) S 16797 16800 15516 0 -1 4202560 1440 0 0 0 371 19 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119956294184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16808] ppid=16797 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/16800/task/16808/stat : 16808 (java) S 16797 16800 15516 0 -1 4202560 1254 0 0 0 399 28 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119955241384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16809] ppid=16797 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/16800/task/16809/stat : 16809 (java) S 16797 16800 15516 0 -1 4202560 1245 0 0 0 382 23 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119954188584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16810] ppid=16797 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/16800/task/16810/stat : 16810 (java) S 16797 16800 15516 0 -1 4202560 1954 0 0 0 374 26 0 0 20 0 19 0 22848277 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119482820776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16800/tid=16811] ppid=16797 vsize=9625040 CPUtime=6.96 cores=0,2,4,6
/proc/16800/task/16811/stat : 16811 (java) S 16797 16800 15516 0 -1 4202560 2002 0 0 0 692 4 0 0 20 0 19 0 22848278 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119470623720 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16812] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16812/stat : 16812 (java) S 16797 16800 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119469569784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16813] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16813/stat : 16813 (java) S 16797 16800 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22848279 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119468516872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16814] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16814/stat : 16814 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119467465360 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16815] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16815/stat : 16815 (java) S 16797 16800 15516 0 -1 4202560 2080 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119466412472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16800/tid=16816] ppid=16797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16800/task/16816/stat : 16816 (java) S 16797 16800 15516 0 -1 4202560 3084 0 0 0 38 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119465359672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16817] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16817/stat : 16817 (java) S 16797 16800 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119464307064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16800/tid=16818] ppid=16797 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/16800/task/16818/stat : 16818 (java) S 16797 16800 15516 0 -1 4202560 106 0 0 0 27 32 0 0 20 0 19 0 22848281 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119463254472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16800/tid=16819] ppid=16797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16800/task/16819/stat : 16819 (java) S 16797 16800 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22848306 9856040960 235450 33554432000 1073741824 1073778376 140735474656496 140119462102696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16800 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=289378
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=790575
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.55
CPU time (s): 1800.07
CPU user time (s): 1797.72
CPU system time (s): 2.35
CPU usage (%): 101.381
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.29
system time used= 2.79058
maximum resident set size= 967988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25050
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45557
involuntary context switches= 53093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6914 second user time and 12.955 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 02:00:17
IDJOB=4099893
IDBENCH=1547
IDSOLVER=2546
FILE ID=node125/4099893-1466208016
RUNJOBID= node125-1466206074-15532
PBS_JOBID= 19918152
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099893-1466208016/watcher-4099893-1466208016 -o /tmp/evaluation-result-4099893-1466208016/solver-4099893-1466208016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4099893-1466208016.opb

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

MD5SUM BENCH= c577d7edde274bfe6a240a0f24a19644
RANDOM SEED=335449138

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.683
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:        29850068 kB
Buffers:           38076 kB
Cached:            68652 kB
SwapCached:          684 kB
Active:           557844 kB
Inactive:          63888 kB
Active(anon):     516384 kB
Inactive(anon):      996 kB
Active(file):      41460 kB
Inactive(file):    62892 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098192 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       2331428 kB
Mapped:            15268 kB
Shmem:                 0 kB
Slab:             570500 kB
SReclaimable:      14120 kB
SUnreclaim:       556380 kB
KernelStack:        1584 kB
PageTables:         8548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2351632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    735232 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= 71736 MiB
End job on node125 at 2016-06-18 02:29:52