Trace number 4448282

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 Resolution 2024 2024-07-07UNSAT cert. 227.875 227.651

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
MD5SUMcf360b30707fd718d5f3229c2f68be40
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
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 benchmark14.2776
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables401
Total number of constraints1602
Number of constraints which are clauses1602
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.16	c version CUSTOM.v20240707
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.20	c Free memory 		2113181440
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2122317824
0.12/0.20	c Number of processors 	2
0.28/0.29	--- Begin Solver configuration ---
0.28/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.29	Learn all clauses as in MiniSAT
0.28/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.29	Expensive reason simplification
0.28/0.29	Glucose 2.1 dynamic restart strategy
0.28/0.29	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.28/0.29	timeout=2147483s
0.28/0.29	DB Simplification allowed=false
0.28/0.29	Listener: none
0.28/0.29	--- End Solver configuration ---
0.28/0.29	c Pseudo Boolean Optimization by upper bound
0.28/0.29	c --- Begin Solver configuration ---
0.28/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.29	c Learn all clauses as in MiniSAT
0.28/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.29	c Expensive reason simplification
0.28/0.29	c Glucose 2.1 dynamic restart strategy
0.28/0.29	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.28/0.29	c timeout=2147483s
0.28/0.29	c DB Simplification allowed=false
0.28/0.29	c Listener: none
0.28/0.29	c --- End Solver configuration ---
0.28/0.30	c solving HOME/instance-4448282-1721827573.opb
0.28/0.30	c reading problem ... 
0.28/0.30	c using VERIPB proof format
0.28/0.30	c  no objective function found
0.64/0.44	c ... done. Wall clock time 0.138s.
0.64/0.44	c declared #vars     401
0.64/0.44	c #constraints  1602
0.64/0.44	c constraints type 
0.64/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.64/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1600
0.64/0.44	c 1602 constraints processed.
1.78/1.09	c cleaning 2492 clauses out of 5001 with flag 21694/5001
2.35/1.37	c cleaning 4237 clauses out of 8508 with flag 51797/11000
2.96/1.68	c cleaning 5625 clauses out of 11271 with flag 90271/18000
3.35/1.89	c cleaning 6804 clauses out of 13647 with flag 135479/26001
3.75/2.10	c cleaning 7898 clauses out of 15843 with flag 187400/35001
4.32/2.34	c cleaning 8959 clauses out of 17944 with flag 245807/45000
4.89/2.62	c cleaning 9980 clauses out of 19987 with flag 309953/56002
5.35/2.90	c cleaning 10985 clauses out of 22005 with flag 377458/68000
5.65/3.23	c cleaning 11988 clauses out of 24022 with flag 455117/81002
6.05/3.60	c cleaning 12987 clauses out of 26032 with flag 540219/95000
6.45/4.06	c cleaning 14003 clauses out of 28045 with flag 636670/110000
6.84/4.47	c cleaning 15014 clauses out of 30044 with flag 729270/126002
7.53/4.95	c cleaning 15993 clauses out of 32029 with flag 825265/143001
8.30/5.52	c cleaning 17008 clauses out of 34039 with flag 930916/161004
8.90/6.12	c cleaning 18000 clauses out of 36029 with flag 1039195/180002
9.59/6.81	c cleaning 18996 clauses out of 38027 with flag 1154881/200000
10.28/7.50	c cleaning 19994 clauses out of 40032 with flag 1269766/221001
10.98/8.21	c cleaning 21002 clauses out of 42038 with flag 1389794/243001
11.78/9.08	c cleaning 21995 clauses out of 44037 with flag 1520136/266002
13.27/10.52	c cleaning 23010 clauses out of 46041 with flag 1655294/290001
14.27/11.53	c cleaning 24000 clauses out of 48030 with flag 1791939/315000
15.29/12.56	c cleaning 24994 clauses out of 50032 with flag 1933588/341002
16.38/13.68	c cleaning 26003 clauses out of 52037 with flag 2080219/368001
17.58/14.82	c cleaning 26999 clauses out of 54034 with flag 2228711/396001
18.79/16.07	c cleaning 28010 clauses out of 56036 with flag 2385201/425002
19.98/17.25	c cleaning 28985 clauses out of 58024 with flag 2543439/455000
21.29/18.52	c cleaning 30001 clauses out of 60040 with flag 2707476/486001
22.59/19.85	c cleaning 31019 clauses out of 62038 with flag 2871809/518000
23.99/21.28	c cleaning 32001 clauses out of 64019 with flag 3041425/551000
25.59/22.86	c cleaning 32997 clauses out of 66019 with flag 3219511/585001
27.19/24.44	c cleaning 33999 clauses out of 68021 with flag 3395998/620000
28.89/26.19	c cleaning 34997 clauses out of 70022 with flag 3580920/656000
30.88/28.11	c cleaning 36001 clauses out of 72025 with flag 3773520/693000
32.97/30.25	c cleaning 36998 clauses out of 74024 with flag 3979503/731000
34.96/32.27	c cleaning 38000 clauses out of 76030 with flag 4176711/770004
37.90/35.80	c cleaning 39000 clauses out of 78027 with flag 4380204/810001
40.29/38.23	c cleaning 40009 clauses out of 80026 with flag 4589573/851000
42.49/40.43	c cleaning 40998 clauses out of 82018 with flag 4795883/893001
44.88/42.80	c cleaning 42000 clauses out of 84020 with flag 5010662/936001
47.47/45.46	c cleaning 42991 clauses out of 86021 with flag 5231021/980002
50.08/48.07	c cleaning 44000 clauses out of 88030 with flag 5447015/1025002
52.86/50.86	c cleaning 44999 clauses out of 90029 with flag 5667776/1071001
55.86/53.86	c cleaning 46005 clauses out of 92031 with flag 5900954/1118002
59.25/57.21	c cleaning 47000 clauses out of 94024 with flag 6137539/1166000
62.44/60.41	c cleaning 47999 clauses out of 96025 with flag 6374872/1215001
65.64/63.60	c cleaning 48998 clauses out of 98025 with flag 6606674/1265000
69.06/67.31	c cleaning 50000 clauses out of 100028 with flag 6868754/1316001
71.96/70.26	c cleaning 51002 clauses out of 102028 with flag 7104519/1368001
75.05/73.37	c cleaning 51998 clauses out of 104026 with flag 7343649/1421001
78.34/76.69	c cleaning 53003 clauses out of 106027 with flag 7589414/1475000
81.75/80.06	c cleaning 54004 clauses out of 108026 with flag 7846178/1530002
85.03/83.39	c cleaning 55004 clauses out of 110021 with flag 8097519/1586001
88.52/86.86	c cleaning 55995 clauses out of 112016 with flag 8342104/1643000
92.02/90.33	c cleaning 57002 clauses out of 114022 with flag 8591524/1701001
95.61/93.98	c cleaning 58001 clauses out of 116019 with flag 8847680/1760000
99.47/97.99	c cleaning 59001 clauses out of 118019 with flag 9118283/1820001
103.37/101.83	c cleaning 60000 clauses out of 120017 with flag 9380792/1881000
107.06/105.51	c cleaning 60998 clauses out of 122018 with flag 9648181/1943001
111.06/109.57	c cleaning 62002 clauses out of 124019 with flag 9916295/2006000
115.69/114.14	c cleaning 63000 clauses out of 126017 with flag 10202416/2070000
119.77/118.28	c cleaning 64001 clauses out of 128018 with flag 10474985/2135001
123.86/122.38	c cleaning 65001 clauses out of 130016 with flag 10745568/2201000
128.47/126.93	c cleaning 65997 clauses out of 132016 with flag 11028332/2268001
132.91/131.47	c cleaning 67002 clauses out of 134018 with flag 11314780/2336000
137.41/135.95	c cleaning 67998 clauses out of 136016 with flag 11597960/2405000
142.19/140.74	c cleaning 69003 clauses out of 138019 with flag 11894547/2475001
146.98/145.56	c cleaning 70002 clauses out of 140015 with flag 12185811/2546000
152.37/150.91	c cleaning 71000 clauses out of 142013 with flag 12489623/2618000
157.77/156.32	c cleaning 71998 clauses out of 144013 with flag 12796282/2691000
163.95/164.42	c cleaning 72998 clauses out of 146015 with flag 13101832/2765000
169.83/170.34	c cleaning 74004 clauses out of 148017 with flag 13419625/2840000
175.64/176.11	c cleaning 74997 clauses out of 150014 with flag 13742263/2916001
180.72/181.26	c cleaning 76001 clauses out of 152016 with flag 14070194/2993000
186.11/186.69	c cleaning 77001 clauses out of 154016 with flag 14395685/3071001
191.52/192.10	c cleaning 78000 clauses out of 156014 with flag 14724100/3150000
197.92/199.24	c cleaning 79001 clauses out of 158014 with flag 15055218/3230000
203.10/204.42	c cleaning 80001 clauses out of 160014 with flag 15377341/3311001
208.80/210.14	c cleaning 80997 clauses out of 162014 with flag 15705394/3393002
215.27/216.69	c cleaning 82002 clauses out of 164015 with flag 16067005/3476000
224.06/224.36	c cleaning 83007 clauses out of 166013 with flag 16446247/3560000
227.65/227.57	c starts		: 4448
227.65/227.58	c conflicts		: 3606907
227.65/227.58	c decisions		: 4757232
227.65/227.58	c propagations		: 32712965
227.65/227.58	c inspects		: 4066634910
227.65/227.58	c shortcuts		: 0
227.65/227.58	c learnt literals	: 13
227.65/227.58	c learnt binary clauses	: 77
227.65/227.58	c learnt ternary clauses	: 284
227.65/227.58	c learnt constraints	: 3606893
227.65/227.58	c ignored constraints	: 0
227.65/227.58	c root simplifications	: 0
227.65/227.58	c removed literals (reason simplification)	: 3295427
227.65/227.58	c reason swapping (by a shorter reason)	: 0
227.65/227.58	c Calls to reduceDB	: 80
227.65/227.58	c Number of update (reduction) of LBD	: 847988
227.65/227.58	c Imported unit clauses	: 0
227.65/227.58	c No decision after first conflict	: false
227.65/227.58	c number of reductions to clauses (during analyze)	: 0
227.65/227.58	c number of learned constraints concerned by reduction	: 0
227.65/227.58	c number of learning phase by resolution	: 0
227.65/227.58	c number of learning phase by cutting planes	: 0
227.65/227.58	c number of rounding to 1 operations	: 0
227.65/227.58	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
227.65/227.58	c number of reductions of the coefficients by power 2 	: 0
227.65/227.58	c number of right shift for reduction by power 2 	: 0
227.65/227.58	c number of reductions of the coefficients by GCD over coefficients 	: 0
227.65/227.58	c number of ending skipping 	: 0
227.65/227.58	c number of internal skipping 	: 0
227.65/227.58	c number of derivation steps 	: 0
227.65/227.58	c number of skipped derivation steps 	: 0
227.65/227.58	c number of remaining unassigned 	: 0
227.65/227.58	c number of remaining assigned 	: 0
227.65/227.58	c number of falsified literals weakened from reason	: 0
227.65/227.58	c number of falsified literals weakened from conflict	: 0
227.65/227.58	c time for arithmetic operations	: 0
227.65/227.58	c minimum degree of deleted constraints	: null
227.65/227.58	c maximum degree of deleted constraints	: null
227.65/227.58	c number of deleted constraints	: 0
227.65/227.58	c speed (assignments/second)	: 144026.22703978303
227.65/227.58	c non guided choices	: 44222
227.79/227.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 129822
227.79/227.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 77
227.79/227.63	s UNSATISFIABLE
227.79/227.63	c Total wall clock time (in seconds): 227.335

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59515 MiB free)
  memory of node 1: 64510 MiB (24187 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448282-1721827573/watcher-4448282-1721827573 -o /tmp/evaluation-result-4448282-1721827573/solver-4448282-1721827573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721820326-179522 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4448282-1721827573 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4448282-1721827573.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=185046, runsolver pid=185043
Current StackSize limit: 8192 KiB


[startup+0.100755 s]*
/proc/loadavg: 4.57 4.35 4.24 5/329 185064
/proc/meminfo: memFree=85671052/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=18975048 memory=58248 CPUtime=0.12 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 6451 0 0 0 9 3 0 0 20 0 18 0 18747081 19430449152 14562 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4743762 14562 5712 1 0 550804 0
[pid=185046/tid=185048] ppid=185043 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) S 185043 185046 179511 0 -1 1077936192 5373 0 0 0 5 2 0 0 20 0 18 0 18747082 19430449152 14562 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18747086 19430449152 14562 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18747087 19430449152 14562 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58248 KiB

[startup+0.211128 s]*
/proc/loadavg: 4.57 4.35 4.24 5/329 185064
/proc/meminfo: memFree=85659396/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=18975048 memory=65376 CPUtime=0.28 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 7180 0 0 0 25 3 0 0 20 0 18 0 18747081 19430449152 16344 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4743762 16344 5729 1 0 551395 0
[pid=185046/tid=185048] ppid=185043 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) S 185043 185046 179511 0 -1 1077936192 5720 0 0 0 16 2 0 0 20 0 18 0 18747082 19430449152 16344 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=18975048 memory=804964 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18747086 19430449152 16344 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18747087 19430449152 16344 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65376 KiB

[startup+0.310847 s]*
/proc/loadavg: 4.57 4.35 4.24 5/329 185064
/proc/meminfo: memFree=85651612/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=18975048 memory=68424 CPUtime=0.45 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 7484 0 0 0 41 4 0 0 20 0 18 0 18747081 19430449152 17106 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4743762 17106 5744 1 0 551605 0
[pid=185046/tid=185048] ppid=185043 vsize=18975048 memory=-8960309925961835196 CPUtime=0.27 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) S 185043 185046 179511 0 -1 1077936192 5915 0 0 0 25 2 0 0 20 0 18 0 18747082 19430449152 17106 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18747086 19430449152 17106 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18747087 19430449152 17106 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68424 KiB

[startup+0.701252 s]
/proc/loadavg: 4.57 4.35 4.24 7/330 185065
/proc/meminfo: memFree=85638076/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19041612 memory=84980 CPUtime=1.17 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 9520 0 0 0 112 5 0 0 20 0 19 0 18747081 19498610688 21245 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4760403 21245 5870 1 0 553116 0
[pid=185046/tid=185048] ppid=185043 vsize=19041612 memory=5572 CPUtime=0.58 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 6030 0 0 0 55 3 0 0 20 0 19 0 18747082 19498610688 21245 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19041612 memory=12412 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18747086 19498610688 21245 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19041612 memory=279861008851624 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18747087 19498610688 21245 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18747126 19498610688 21245 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84980 KiB

[startup+1.50225 s]
/proc/loadavg: 4.57 4.35 4.24 6/330 185065
/proc/meminfo: memFree=85583520/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19041612 memory=162156 CPUtime=2.76 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 19195 0 0 0 267 9 0 0 20 0 19 0 18747081 19498610688 40539 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4760403 40539 5905 1 0 556279 0
[pid=185046/tid=185048] ppid=185043 vsize=19041612 memory=12412 CPUtime=1.34 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 6442 0 0 0 129 5 0 0 20 0 19 0 18747082 19498610688 40539 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18747086 19498610688 40539 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18747087 19498610688 40539 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19041612 memory=279861008704784 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18747126 19498610688 40539 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162156 KiB

[startup+3.10625 s]
/proc/loadavg: 5.25 4.50 4.29 3/331 185068
/proc/meminfo: memFree=85464360/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=187768 CPUtime=5.56 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 23519 0 0 0 544 12 0 0 20 0 20 0 18747081 19566772224 46942 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 46942 5937 1 0 557587 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=0 CPUtime=2.9 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 6807 0 0 0 283 7 0 0 20 0 20 0 18747082 19566772224 46942 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 46942 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 46942 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=11932 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 46942 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187768 KiB

[startup+6.30026 s]
/proc/loadavg: 5.25 4.50 4.29 5/331 185068
/proc/meminfo: memFree=85140660/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=478888 CPUtime=9.09 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 27295 0 0 0 889 20 0 0 20 0 20 0 18747081 19566772224 119722 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 119722 5937 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=12412 CPUtime=6.04 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 7476 0 0 0 589 15 0 0 20 0 20 0 18747082 19566772224 119722 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 119722 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 119722 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=170388 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 119722 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 478888 KiB

[startup+12.7004 s]
/proc/loadavg: 5.06 4.48 4.29 5/331 185068
/proc/meminfo: memFree=84709080/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=706620 CPUtime=15.49 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 30462 0 0 0 1518 31 0 0 20 0 20 0 18747081 19566772224 176655 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 176655 5937 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=0 CPUtime=12.38 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 8519 0 0 0 1213 25 0 0 20 0 20 0 18747082 19566772224 176655 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 176655 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=585788 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 176655 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 176655 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 706620 KiB

[startup+25.5005 s]
/proc/loadavg: 4.89 4.46 4.28 5/332 185072
/proc/meminfo: memFree=83871428/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1077400 CPUtime=28.28 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 33670 0 0 0 2780 48 0 0 20 0 20 0 18747081 19566772224 269350 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 269350 5953 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=585788 CPUtime=25.09 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 10003 0 0 0 2467 42 0 0 20 0 20 0 18747082 19566772224 269350 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 269350 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=67988 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 269350 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 269350 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1077400 KiB

[startup+51.1138 s]
/proc/loadavg: 4.88 4.49 4.30 5/332 185075
/proc/meminfo: memFree=82315684/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1333420 CPUtime=53.18 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 38244 0 0 0 5248 70 0 0 20 0 20 0 18747081 19566772224 333355 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 333355 5953 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=1327268 CPUtime=49.86 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 12016 0 0 0 4925 61 0 0 20 0 20 0 18747082 19566772224 333355 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 66 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=67988 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 333355 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0

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

/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 333355 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=11932 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 333355 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 53.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333420 KiB

[startup+102.3 s]
/proc/loadavg: 5.34 4.68 4.37 6/333 185085
/proc/meminfo: memFree=80712188/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1345824 CPUtime=103.86 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 44902 0 0 0 10287 99 0 0 20 0 20 0 18747081 19566772224 336456 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 336456 5953 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=1345824 CPUtime=100.26 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 14300 0 0 0 9938 88 0 0 20 0 20 0 18747082 19566772224 336456 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 108 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=-7376472494253235840 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 336456 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=67988 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 100 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 336456 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=67988 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 336456 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 103.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1345824 KiB

[startup+162.3 s]
/proc/loadavg: 4.72 4.61 4.37 5/335 185266
/proc/meminfo: memFree=77675088/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1352020 CPUtime=161.86 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 49876 0 0 0 16058 128 0 0 20 0 20 0 18747081 19566772224 338005 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 338005 5953 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=157.87 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 16444 0 0 0 15673 114 0 0 20 0 20 0 18747082 19566772224 338005 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 303 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=11932 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 338005 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=1352020 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 208 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 338005 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=1352020 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 338005 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352020 KiB

[startup+222.3 s]
/proc/loadavg: 4.58 4.60 4.38 5/332 185276
/proc/meminfo: memFree=75779068/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1356144 CPUtime=221 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 54699 0 0 0 21946 154 0 0 20 0 20 0 18747081 19566772224 339036 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 339036 5953 1 0 557604 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=216.57 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 17765 0 0 0 21519 138 0 0 20 0 20 0 18747082 19566772224 339036 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 379 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=1354080 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 339036 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=11932 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 339036 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=67988 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 339036 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 221 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1356144 KiB

[startup+227.651 s]
# the end of solver process 185046 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=226.286 s, system=1.58871 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+224.011 s]*
/proc/loadavg: 4.58 4.60 4.38 6/332 185277
/proc/meminfo: memFree=75714276/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1357200 CPUtime=223.5 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 59097 0 0 0 22194 156 0 0 20 0 20 0 18747081 19566772224 339300 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 339300 5953 1 0 557606 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=218.29 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 18637 0 0 0 21690 139 0 0 20 0 20 0 18747082 19566772224 339300 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 379 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=-7376472494253498494 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 339300 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=4720 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 339300 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=6343768 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 339300 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 223.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1357200 KiB

[startup+225.6 s]
/proc/loadavg: 4.58 4.60 4.38 6/332 185277
/proc/meminfo: memFree=75677596/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1362088 CPUtime=225.92 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 60676 0 0 0 22435 157 0 0 20 0 20 0 18747081 19566772224 340522 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 340522 5953 1 0 558084 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=2328 CPUtime=219.86 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 18836 0 0 0 21847 139 0 0 20 0 20 0 18747082 19566772224 340522 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 379 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 340522 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=1356144 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 340522 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=16224 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 340522 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 225.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1362088 KiB

[startup+226.4 s]
/proc/loadavg: 4.58 4.60 4.38 3/332 185277
/proc/meminfo: memFree=75652304/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1356444 CPUtime=226.55 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 60677 0 0 0 22498 157 0 0 20 0 20 0 18747081 19566772224 339111 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 339111 5953 1 0 558084 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=16224 CPUtime=220.49 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 18836 0 0 0 21909 140 0 0 20 0 20 0 18747082 19566772224 339111 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 396 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=1356444 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 339111 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=1904 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 339111 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=26900 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 339111 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 226.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1356444 KiB

[startup+227.2 s]
/proc/loadavg: 4.61 4.61 4.38 5/332 185277
/proc/meminfo: memFree=75667380/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19108176 memory=1356488 CPUtime=227.35 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 60789 0 0 0 22578 157 0 0 20 0 20 0 18747081 19566772224 339122 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4777044 339122 5953 1 0 558084 0
[pid=185046/tid=185048] ppid=185043 vsize=19108176 memory=1362088 CPUtime=221.29 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) R 185043 185046 179511 0 -1 4194368 18837 0 0 0 21989 140 0 0 20 0 20 0 18747082 19566772224 339122 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 396 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19566772224 339122 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19108176 memory=12412 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19566772224 339122 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185065] ppid=185043 vsize=19108176 memory=-8960309925961835196 CPUtime=0 cores=4,6
/proc/185046/task/185065/stat : 185065 (Timer-0) S 185043 185046 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18747126 19566772224 339122 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 227.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1356488 KiB

[startup+227.604 s]
/proc/loadavg: 4.61 4.61 4.38 5/332 185277
/proc/meminfo: memFree=75667380/131655788 swapFree=131070448/131071996
[pid=185046] ppid=185043 vsize=19241304 memory=1357056 CPUtime=227.79 cores=4,6
/proc/185046/stat : 185046 (java) S 185043 185046 179511 0 -1 1077936128 61761 0 0 0 22621 158 0 0 20 0 20 0 18747081 19703095296 339264 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
/proc/185046/statm: 4810326 339264 5952 1 0 558702 0
[pid=185046/tid=185048] ppid=185043 vsize=19241304 memory=2760 CPUtime=221.64 cores=4,6
/proc/185046/task/185048/stat : 185048 (java) S 185043 185046 179511 0 -1 1077936192 19489 0 0 0 22024 140 0 0 20 0 20 0 18747082 19703095296 339264 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 398 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185057] ppid=185043 vsize=19241304 memory=4708 CPUtime=0 cores=4,6
/proc/185046/task/185057/stat : 185057 (Finalizer) S 185043 185046 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18747086 19703095296 339264 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
[pid=185046/tid=185064] ppid=185043 vsize=19241304 memory=1356444 CPUtime=0 cores=4,6
/proc/185046/task/185064/stat : 185064 (Common-Cleaner) S 185043 185046 179511 0 -1 1077936192 252 0 0 0 0 0 0 0 20 0 20 0 18747087 19703095296 339264 134679101440 94712647839744 94712647843440 140734310097760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647851256 94712647852048 94712677904384 140734310101931 140734310102113 140734310102113 140734310109128 0
Current children cumulated CPU time: 227.79 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1357056 KiB

Child status: 20

Real time (s): 227.651
CPU time (s): 227.875
CPU user time (s): 226.286
CPU system time (s): 1.58871
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1362088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 226.286
system time used= 1.58871
maximum resident set size= 1362088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 876664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7348
involuntary context switches= 795


# summary of solver processes directly reported to runsolver:
#   pid: 185046
#   total CPU time (s): 227.875
#   total CPU user time (s): 226.286
#   total CPU system time (s): 1.58871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28568 second user time and 2.50107 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 15:26:14
IDJOB=4448282
IDBENCH=160380
IDSOLVER=3079
FILE ID=nodeC012/4448282-1721827573
RUNJOBID= nodeC012-1721820326-179522
SLURM_JOB_ID= 7891468
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448282-1721827573/watcher-4448282-1721827573 -o /tmp/evaluation-result-4448282-1721827573/solver-4448282-1721827573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721820326-179522 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4448282-1721827573 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4448282-1721827573.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= cf360b30707fd718d5f3229c2f68be40
RANDOM SEED=1985230918

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.345
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.135
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3650.483
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.324
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.763
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.815
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1895.517
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.254
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        85713548 kB
MemAvailable:   106424192 kB
Buffers:          268648 kB
Cached:         21221036 kB
SwapCached:           72 kB
Active:          2554316 kB
Inactive:       42664676 kB
Active(anon):       1452 kB
Inactive(anon): 23781320 kB
Active(file):    2552864 kB
Inactive(file): 18883356 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            702660 kB
Writeback:             0 kB
AnonPages:      23726044 kB
Mapped:           136272 kB
Shmem:             53368 kB
KReclaimable:     228912 kB
Slab:             363416 kB
SReclaimable:     228912 kB
SUnreclaim:       134504 kB
KernelStack:        4992 kB
PageTables:        56712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   25646540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23308288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC012 at 2024-07-24 15:30:01