Trace number 4452802

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. 229.938 226.635

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
MD5SUMbaac7260ecc6f9812e76d8cbcf4d3b9b
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 benchmark9.93598
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables46580
Total number of constraints9317
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints9313
Minimum length of a constraint5
Maximum length of a constraint15
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 30
Number of bits of the biggest sum of numbers5
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4452802-1721841505.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.70/0.44	c ... done. Wall clock time 0.308s.
0.70/0.44	c declared #vars     46580
0.70/0.44	c #constraints  9317
0.70/0.44	c constraints type 
0.70/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9317
0.70/0.44	c 9317 constraints processed.
2.25/1.21	c cleaning 2493 clauses out of 5001 with flag 13337/5001
2.65/1.49	c cleaning 4248 clauses out of 8507 with flag 28488/11000
3.05/1.68	c cleaning 5613 clauses out of 11260 with flag 48648/18001
3.44/1.83	c cleaning 6815 clauses out of 13646 with flag 71862/26000
3.63/1.96	c cleaning 7902 clauses out of 15832 with flag 97592/35001
4.03/2.15	c cleaning 8928 clauses out of 17929 with flag 125914/45000
4.44/2.32	c cleaning 9985 clauses out of 20001 with flag 158385/56000
4.62/2.47	c cleaning 10999 clauses out of 22016 with flag 195643/68000
4.86/2.61	c cleaning 12002 clauses out of 24017 with flag 231483/81000
4.97/2.79	c cleaning 12995 clauses out of 26015 with flag 272558/95000
5.18/2.97	c cleaning 14005 clauses out of 28021 with flag 315859/110001
5.38/3.19	c cleaning 14999 clauses out of 30016 with flag 364010/126001
5.75/3.41	c cleaning 15992 clauses out of 32016 with flag 420092/143000
6.02/3.65	c cleaning 17004 clauses out of 34024 with flag 474337/161000
6.22/3.89	c cleaning 18004 clauses out of 36020 with flag 535354/180000
6.52/4.17	c cleaning 18987 clauses out of 38016 with flag 595364/200000
6.93/4.55	c cleaning 19963 clauses out of 40030 with flag 659353/221001
7.23/4.81	c cleaning 21026 clauses out of 42069 with flag 737878/243003
7.57/5.13	c cleaning 22008 clauses out of 44042 with flag 810687/266002
7.87/5.46	c cleaning 23002 clauses out of 46033 with flag 878955/290001
8.18/5.79	c cleaning 23971 clauses out of 48031 with flag 950798/315001
8.58/6.14	c cleaning 25014 clauses out of 50059 with flag 1025733/341000
8.88/6.47	c cleaning 26002 clauses out of 52045 with flag 1100803/368000
9.28/6.85	c cleaning 26981 clauses out of 54044 with flag 1203905/396001
9.69/7.28	c cleaning 28016 clauses out of 56062 with flag 1294457/425000
10.19/7.71	c cleaning 28933 clauses out of 58047 with flag 1388584/455001
10.59/8.19	c cleaning 30032 clauses out of 60113 with flag 1487165/486000
11.09/8.61	c cleaning 31028 clauses out of 62081 with flag 1580452/518000
11.50/9.07	c cleaning 32005 clauses out of 64054 with flag 1703097/551001
11.99/9.58	c cleaning 32999 clauses out of 66048 with flag 1814132/585000
12.59/10.19	c cleaning 34010 clauses out of 68050 with flag 1921748/620001
13.11/10.64	c cleaning 35011 clauses out of 70039 with flag 2047631/656000
13.71/11.24	c cleaning 35988 clauses out of 72029 with flag 2163277/693001
14.39/11.84	c cleaning 37013 clauses out of 74040 with flag 2285761/731000
15.08/12.50	c cleaning 37969 clauses out of 76027 with flag 2412023/770000
15.81/13.20	c cleaning 39002 clauses out of 78059 with flag 2545397/810001
16.36/13.70	c cleaning 40021 clauses out of 80059 with flag 2680782/851003
16.76/14.18	c cleaning 41010 clauses out of 82036 with flag 2827519/893001
17.46/14.84	c cleaning 42009 clauses out of 84026 with flag 2972860/936001
18.22/15.52	c cleaning 42996 clauses out of 86016 with flag 3110252/980000
19.00/16.24	c cleaning 44000 clauses out of 88021 with flag 3244846/1025001
19.93/17.12	c cleaning 44993 clauses out of 90023 with flag 3385063/1071003
20.53/17.77	c cleaning 46010 clauses out of 92027 with flag 3528863/1118000
21.56/18.78	c cleaning 47004 clauses out of 94018 with flag 3666605/1166001
22.45/19.65	c cleaning 47982 clauses out of 96013 with flag 3813675/1215000
23.45/20.63	c cleaning 48988 clauses out of 98032 with flag 3967939/1265001
24.45/21.63	c cleaning 50012 clauses out of 100043 with flag 4123006/1316000
25.61/22.75	c cleaning 50960 clauses out of 102032 with flag 4275638/1368001
26.43/23.59	c cleaning 52030 clauses out of 104071 with flag 4430171/1421000
27.53/24.61	c cleaning 53007 clauses out of 106043 with flag 4583571/1475002
28.66/25.75	c cleaning 53999 clauses out of 108034 with flag 4740890/1530000
29.76/26.87	c cleaning 55004 clauses out of 110035 with flag 4903845/1586000
30.57/27.64	c cleaning 56009 clauses out of 112031 with flag 5076815/1643000
31.60/28.65	c cleaning 57004 clauses out of 114022 with flag 5248609/1701000
32.80/29.85	c cleaning 57578 clauses out of 116019 with flag 5423645/1760001
34.04/31.01	c cleaning 57956 clauses out of 118441 with flag 5607868/1820001
35.33/32.30	c cleaning 59018 clauses out of 121485 with flag 5789670/1881001
36.32/33.32	c cleaning 60004 clauses out of 124466 with flag 5974301/1943000
37.13/34.13	c cleaning 60614 clauses out of 127462 with flag 6167933/2006000
38.49/35.69	c cleaning 61807 clauses out of 130848 with flag 6355634/2070000
39.65/36.79	c cleaning 62508 clauses out of 134041 with flag 6558495/2135000
40.75/37.84	c cleaning 63392 clauses out of 137533 with flag 6770148/2201000
42.24/39.37	c cleaning 64884 clauses out of 141141 with flag 6964712/2268000
43.74/40.83	c cleaning 65691 clauses out of 144257 with flag 7162871/2336000
45.19/42.26	c cleaning 66515 clauses out of 147568 with flag 7368574/2405002
46.68/43.71	c cleaning 68013 clauses out of 151052 with flag 7580348/2475001
47.99/45.07	c cleaning 68810 clauses out of 154038 with flag 7793331/2546000
49.48/46.51	c cleaning 70090 clauses out of 157230 with flag 8023570/2618002
50.77/47.88	c cleaning 70230 clauses out of 160139 with flag 8230283/2691001
52.61/49.61	c cleaning 71101 clauses out of 163910 with flag 8448718/2765002
54.12/51.19	c cleaning 72571 clauses out of 167808 with flag 8676884/2840001
56.02/53.00	c cleaning 73193 clauses out of 171238 with flag 8923879/2916002
57.90/54.92	c cleaning 74434 clauses out of 175043 with flag 9152397/2993000
59.31/56.39	c cleaning 75413 clauses out of 178609 with flag 9393505/3071000
61.44/58.49	c cleaning 77063 clauses out of 182196 with flag 9625347/3150000
62.94/59.95	c cleaning 77109 clauses out of 185134 with flag 9861200/3230001
64.74/61.75	c cleaning 78567 clauses out of 189026 with flag 10098036/3311002
66.53/63.51	c cleaning 78904 clauses out of 192457 with flag 10339132/3393000
68.95/66.02	c cleaning 80481 clauses out of 196553 with flag 10605535/3476000
70.84/67.96	c cleaning 81300 clauses out of 200072 with flag 10854949/3560000
72.83/69.94	c cleaning 82094 clauses out of 203772 with flag 11108175/3645000
74.53/71.69	c cleaning 83055 clauses out of 207678 with flag 11365801/3731000
76.19/73.26	c cleaning 83787 clauses out of 211624 with flag 11615205/3818001
78.18/75.23	c cleaning 85040 clauses out of 215836 with flag 11872646/3906000
80.58/77.69	c cleaning 86495 clauses out of 219796 with flag 12127844/3995000
82.27/79.39	c cleaning 86743 clauses out of 223301 with flag 12408012/4085000
84.72/81.77	c cleaning 88425 clauses out of 227558 with flag 12676725/4176000
87.72/84.78	c cleaning 89335 clauses out of 231133 with flag 12950308/4268000
90.41/87.41	c cleaning 90166 clauses out of 234799 with flag 13219530/4361001
92.19/89.19	c cleaning 90435 clauses out of 238634 with flag 13515820/4455002
94.68/91.60	c cleaning 92052 clauses out of 243199 with flag 13796756/4550002
97.18/94.17	c cleaning 93550 clauses out of 247145 with flag 14079548/4646000
99.40/96.41	c cleaning 93740 clauses out of 250595 with flag 14369223/4743000
101.60/98.52	c cleaning 94941 clauses out of 254856 with flag 14657419/4841001
104.48/101.40	c cleaning 96271 clauses out of 258915 with flag 14943694/4940001
107.48/104.40	c cleaning 97314 clauses out of 262643 with flag 15242686/5040000
110.44/107.34	c cleaning 98010 clauses out of 266330 with flag 15534805/5141001
112.44/109.34	c cleaning 99476 clauses out of 270319 with flag 15844477/5243000
114.34/111.22	c cleaning 100844 clauses out of 273843 with flag 16156088/5346000
117.23/114.06	c cleaning 100984 clauses out of 277001 with flag 16471566/5450002
119.51/116.33	c cleaning 101325 clauses out of 281015 with flag 16794493/5555000
122.01/118.89	c cleaning 103191 clauses out of 285690 with flag 17110518/5661000
124.81/121.53	c cleaning 104091 clauses out of 289499 with flag 17424451/5768000
127.31/124.04	c cleaning 105298 clauses out of 293409 with flag 17751952/5876001
130.90/127.84	c cleaning 106613 clauses out of 297110 with flag 18074342/5985000
133.79/130.62	c cleaning 106557 clauses out of 300498 with flag 18395099/6095001
136.69/133.50	c cleaning 107892 clauses out of 304940 with flag 18735885/6206000
138.89/135.79	c cleaning 108906 clauses out of 309050 with flag 19070987/6318002
141.96/138.77	c cleaning 109272 clauses out of 313142 with flag 19402660/6431000
145.05/141.88	c cleaning 110638 clauses out of 317872 with flag 19737477/6545002
148.15/144.92	c cleaning 111820 clauses out of 322232 with flag 20068799/6660000
151.65/148.39	c cleaning 112545 clauses out of 326412 with flag 20405484/6776000
155.54/152.29	c cleaning 114297 clauses out of 330868 with flag 20759357/6893001
159.53/156.22	c cleaning 114494 clauses out of 334572 with flag 21102005/7011002
163.03/160.16	c cleaning 115899 clauses out of 339077 with flag 21449196/7130001
166.72/163.89	c cleaning 116652 clauses out of 343177 with flag 21795611/7250000
169.81/166.94	c cleaning 118059 clauses out of 347527 with flag 22166728/7371002
173.89/170.94	c cleaning 118976 clauses out of 351466 with flag 22526832/7493000
177.29/174.36	c cleaning 120219 clauses out of 355490 with flag 22892605/7616000
179.98/177.06	c cleaning 120592 clauses out of 359271 with flag 23279450/7740000
183.56/180.58	c cleaning 121863 clauses out of 363681 with flag 23641610/7865002
187.36/184.30	c cleaning 123312 clauses out of 367816 with flag 24014127/7991000
191.27/188.16	c cleaning 123673 clauses out of 371504 with flag 24383400/8118000
195.89/192.91	c cleaning 124723 clauses out of 375831 with flag 24759473/8246000
198.58/195.63	c cleaning 125284 clauses out of 380109 with flag 25143064/8375001
202.99/199.92	c cleaning 126901 clauses out of 384824 with flag 25515598/8505000
207.27/204.23	c cleaning 127540 clauses out of 388924 with flag 25887418/8636001
211.60/208.42	c cleaning 128373 clauses out of 393383 with flag 26275170/8768000
215.96/212.85	c cleaning 129763 clauses out of 398011 with flag 26659279/8901001
219.52/216.40	c cleaning 130440 clauses out of 402248 with flag 27051929/9035001
224.63/221.51	c cleaning 131794 clauses out of 406808 with flag 27447638/9170001
229.29/226.25	c cleaning 132384 clauses out of 411013 with flag 27834722/9306000
229.69/226.52	c starts		: 5976
229.69/226.53	c conflicts		: 9316293
229.69/226.53	c decisions		: 196800167
229.69/226.53	c propagations		: 256609577
229.69/226.53	c inspects		: 1365430052
229.69/226.53	c shortcuts		: 0
229.69/226.53	c learnt literals	: 11
229.69/226.53	c learnt binary clauses	: 38
229.69/226.53	c learnt ternary clauses	: 45014
229.69/226.53	c learnt constraints	: 9316281
229.69/226.53	c ignored constraints	: 0
229.69/226.53	c root simplifications	: 0
229.69/226.53	c removed literals (reason simplification)	: 7609521
229.69/226.53	c reason swapping (by a shorter reason)	: 0
229.69/226.53	c Calls to reduceDB	: 132
229.69/226.53	c Number of update (reduction) of LBD	: 1672026
229.69/226.53	c Imported unit clauses	: 0
229.69/226.53	c No decision after first conflict	: false
229.69/226.53	c number of reductions to clauses (during analyze)	: 0
229.69/226.53	c number of learned constraints concerned by reduction	: 0
229.69/226.53	c number of learning phase by resolution	: 0
229.69/226.53	c number of learning phase by cutting planes	: 0
229.69/226.53	c number of rounding to 1 operations	: 0
229.69/226.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
229.69/226.53	c number of reductions of the coefficients by power 2 	: 0
229.69/226.53	c number of right shift for reduction by power 2 	: 0
229.69/226.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
229.69/226.53	c number of ending skipping 	: 0
229.69/226.53	c number of internal skipping 	: 0
229.69/226.53	c number of derivation steps 	: 0
229.69/226.53	c number of skipped derivation steps 	: 0
229.69/226.53	c number of remaining unassigned 	: 0
229.69/226.53	c number of remaining assigned 	: 0
229.69/226.53	c number of falsified literals weakened from reason	: 0
229.69/226.53	c number of falsified literals weakened from conflict	: 0
229.69/226.53	c time for arithmetic operations	: 0
229.69/226.53	c minimum degree of deleted constraints	: null
229.69/226.53	c maximum degree of deleted constraints	: null
229.69/226.53	c number of deleted constraints	: 0
229.69/226.53	c speed (assignments/second)	: 1135068.946451162
229.69/226.53	c non guided choices	: 180835578
229.89/226.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 288872
229.89/226.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 38
229.89/226.62	s UNSATISFIABLE
229.89/226.62	c Total wall clock time (in seconds): 226.495

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: 63968 MiB (56967 MiB free)
  memory of node 1: 64473 MiB (56766 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=199980, runsolver pid=199977

[startup+0.100081 s]*
/proc/loadavg: 3.47 1.80 1.58 5/334 199998
/proc/meminfo: memFree=116417192/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=18975048 memory=64988 CPUtime=0.14 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 7223 0 0 0 12 2 0 0 20 0 18 0 20673841 19430449152 16247 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4743762 16247 5599 1 0 549355 0
[pid=199980/tid=199982] ppid=199977 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 5767 0 0 0 7 1 0 0 20 0 18 0 20673842 19430449152 16247 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20673844 19430449152 16247 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=18975048 memory=15262540772369567 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20673845 19430449152 16247 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64988 KiB

[startup+0.209785 s]*
/proc/loadavg: 3.47 1.80 1.58 5/334 199998
/proc/meminfo: memFree=116396400/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=18975048 memory=85052 CPUtime=0.34 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 8205 0 0 0 32 2 0 0 20 0 18 0 20673841 19430449152 21263 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4743762 21263 5794 1 0 549956 0
[pid=199980/tid=199982] ppid=199977 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 5941 0 0 0 18 2 0 0 20 0 18 0 20673842 19430449152 21263 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=18975048 memory=1535086 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20673844 19430449152 21263 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20673845 19430449152 21263 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85052 KiB

[startup+0.312441 s]*
/proc/loadavg: 3.47 1.80 1.58 8/334 199998
/proc/meminfo: memFree=116362512/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=18975048 memory=116848 CPUtime=0.51 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 9296 0 0 0 48 3 0 0 20 0 18 0 20673841 19430449152 29212 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4743762 29212 5794 1 0 550674 0
[pid=199980/tid=199982] ppid=199977 vsize=18975048 memory=-8671225212078695100 CPUtime=0.26 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 5958 0 0 0 24 2 0 0 20 0 18 0 20673842 19430449152 29212 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20673844 19430449152 29212 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20673845 19430449152 29212 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116848 KiB

[startup+0.700454 s]
/proc/loadavg: 3.47 1.80 1.58 6/336 200000
/proc/meminfo: memFree=116296684/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=192636 CPUtime=1.26 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 15679 0 0 0 121 5 0 0 20 0 20 0 20673841 19566772224 48159 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 48159 5794 1 0 555847 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=5432 CPUtime=0.6 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 6096 0 0 0 57 3 0 0 20 0 20 0 20673842 19566772224 48159 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 48159 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=279775377941160 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 48159 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 48159 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192636 KiB

[startup+1.50186 s]
/proc/loadavg: 3.47 1.80 1.58 7/336 200000
/proc/meminfo: memFree=116272800/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=196828 CPUtime=2.85 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 23333 0 0 0 279 6 0 0 20 0 20 0 20673841 19566772224 49207 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 49207 5833 1 0 556380 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=12304 CPUtime=1.38 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 7187 0 0 0 134 4 0 0 20 0 20 0 20673842 19566772224 49207 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 49207 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 49207 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=279775377794320 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 49207 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196828 KiB

[startup+3.10566 s]
/proc/loadavg: 3.52 1.84 1.59 5/336 200000
/proc/meminfo: memFree=116208912/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=216316 CPUtime=5.38 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 25719 0 0 0 528 10 0 0 20 0 20 0 20673841 19566772224 54079 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 54079 5849 1 0 556397 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=0 CPUtime=2.89 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 7637 0 0 0 282 7 0 0 20 0 20 0 20673842 19566772224 54079 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 54079 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 54079 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 54079 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 216316 KiB

[startup+6.30026 s]
/proc/loadavg: 3.52 1.84 1.59 5/336 200000
/proc/meminfo: memFree=115794020/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=522736 CPUtime=8.78 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 26238 0 0 0 857 21 0 0 20 0 20 0 20673841 19566772224 130684 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 130684 5849 1 0 556417 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=12304 CPUtime=6.06 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 7968 0 0 0 589 17 0 0 20 0 20 0 20673842 19566772224 130684 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 130684 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 130684 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=196828 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 130684 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 522736 KiB

[startup+12.7003 s]
/proc/loadavg: 3.56 1.87 1.61 5/336 200002
/proc/meminfo: memFree=115166700/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=805432 CPUtime=15.29 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 29525 0 0 0 1494 35 0 0 20 0 20 0 20673841 19566772224 201358 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 201358 5849 1 0 556417 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=0 CPUtime=12.36 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 9176 0 0 0 1208 28 0 0 20 0 20 0 20673842 19566772224 201358 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 201358 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=758308 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 201358 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 201358 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 805432 KiB

[startup+25.5003 s]
/proc/loadavg: 3.65 1.98 1.65 5/336 200004
/proc/meminfo: memFree=114237512/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1192652 CPUtime=28.47 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 33704 0 0 0 2793 54 0 0 20 0 20 0 20673841 19566772224 298163 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 298163 5849 1 0 556417 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=758308 CPUtime=25.03 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 10793 0 0 0 2459 44 0 0 20 0 20 0 20673842 19566772224 298163 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=-8671225212078695100 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 298163 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=68244 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 298163 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 298163 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 28.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1192652 KiB

[startup+51.1057 s]
/proc/loadavg: 3.90 2.18 1.72 5/336 200008
/proc/meminfo: memFree=113159268/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1426312 CPUtime=54.12 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 40882 0 0 0 5334 78 0 0 20 0 20 0 20673841 19566772224 356578 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 356578 5849 1 0 556417 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=1397620 CPUtime=50.14 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 13235 0 0 0 4950 64 0 0 20 0 20 0 20673842 19566772224 356578 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=68244 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 356578 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=15884 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 356578 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 356578 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 54.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1426312 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 2.53 1.87 7/335 200153
/proc/meminfo: memFree=114005624/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1537004 CPUtime=105.39 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 47838 0 0 0 10421 118 0 0 20 0 20 0 20673841 19566772224 384251 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 384251 5849 1 0 556417 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=68244 CPUtime=100.57 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 16272 0 0 0 9958 99 0 0 20 0 20 0 20673842 19566772224 384251 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=1508332 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 384251 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 384251 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=1506284 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 384251 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 105.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537004 KiB

[startup+162.3 s]
/proc/loadavg: 4.40 2.89 2.04 5/338 200235
/proc/meminfo: memFree=111178152/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1754604 CPUtime=165.22 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 51770 0 0 0 16365 157 0 0 20 0 20 0 20673841 19566772224 438651 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 438651 5849 1 0 556452 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=1629308 CPUtime=158.98 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 18603 0 0 0 15765 133 0 0 20 0 20 0 20673842 19566772224 438651 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 106 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=1721608 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 438651 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=1754376 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 157 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 438651 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 438651 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 165.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1754604 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 3.13 2.17 5/338 200247
/proc/meminfo: memFree=109638928/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1977948 CPUtime=225.42 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 56472 0 0 0 22350 192 0 0 20 0 20 0 20673841 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 494487 5849 1 0 556478 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=1690884 CPUtime=217.79 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 20995 0 0 0 21617 162 0 0 20 0 20 0 20673842 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 130 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=1721608 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=1977948 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 225.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1977948 KiB

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

# cumulated CPU time of all completed processes:  user=227.974 s, system=1.96399 s

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

[startup+224 s]*
/proc/loadavg: 4.26 3.15 2.18 5/338 200247
/proc/meminfo: memFree=109610820/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1977948 CPUtime=227.1 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 56586 0 0 0 22518 192 0 0 20 0 20 0 20673841 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 494487 5849 1 0 556478 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=2004 CPUtime=219.47 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 21109 0 0 0 21785 162 0 0 20 0 20 0 20673842 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 130 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=1896 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=-9054130132142114208 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=32168 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 227.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1977948 KiB

[startup+225.6 s]
/proc/loadavg: 4.26 3.15 2.18 5/338 200247
/proc/meminfo: memFree=109598156/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1977948 CPUtime=228.69 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 56589 0 0 0 22676 193 0 0 20 0 20 0 20673841 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 494487 5849 1 0 556478 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=1977948 CPUtime=221.05 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 21112 0 0 0 21942 163 0 0 20 0 20 0 20673842 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 130 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=-8671225212078695100 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=1896 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=-8671225212078695100 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 494487 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 228.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1977948 KiB

[startup+226.4 s]
/proc/loadavg: 4.26 3.15 2.18 5/338 200247
/proc/meminfo: memFree=109584304/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19108176 memory=1978236 CPUtime=229.51 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 59252 0 0 0 22757 194 0 0 20 0 20 0 20673841 19566772224 494559 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4777044 494559 5849 1 0 556552 0
[pid=199980/tid=199982] ppid=199977 vsize=19108176 memory=2160 CPUtime=221.85 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) R 199977 199980 199498 0 -1 4194368 22364 0 0 0 22021 164 0 0 20 0 20 0 20673842 19566772224 494559 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 130 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19108176 memory=-8671225212078695100 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19566772224 494559 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19108176 memory=68244 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 20 0 20673845 19566772224 494559 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=200000] ppid=199977 vsize=19108176 memory=-8671225212078695100 CPUtime=0 cores=1,3
/proc/199980/task/200000/stat : 200000 (Timer-0) S 199977 199980 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20673887 19566772224 494559 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 229.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1978236 KiB

[startup+226.61 s]
/proc/loadavg: 4.26 3.15 2.18 5/338 200247
/proc/meminfo: memFree=109584304/131524600 swapFree=131054968/131071996
[pid=199980] ppid=199977 vsize=19241304 memory=1978796 CPUtime=229.89 cores=1,3
/proc/199980/stat : 199980 (java) S 199977 199980 199498 0 -1 1077936128 63511 0 0 0 22794 195 0 0 20 0 20 0 20673841 19703095296 494699 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
/proc/199980/statm: 4810326 494699 5848 1 0 557178 0
[pid=199980/tid=199982] ppid=199977 vsize=19241304 memory=3534616 CPUtime=221.92 cores=1,3
/proc/199980/task/199982/stat : 199982 (java) S 199977 199980 199498 0 -1 1077936192 23134 0 0 0 22028 164 0 0 20 0 20 0 20673842 19703095296 494699 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 138 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199991] ppid=199977 vsize=19241304 memory=1977948 CPUtime=0 cores=1,3
/proc/199980/task/199991/stat : 199991 (Finalizer) S 199977 199980 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20673844 19703095296 494699 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
[pid=199980/tid=199998] ppid=199977 vsize=19241304 memory=2004 CPUtime=0 cores=1,3
/proc/199980/task/199998/stat : 199998 (Common-Cleaner) S 199977 199980 199498 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 20 0 20673845 19703095296 494699 134679101440 94836489080832 94836489084528 140725293381376 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94836489092344 94836489093136 94836502515712 140725293384619 140725293384801 140725293384801 140725293391816 0
Current children cumulated CPU time: 229.89 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1978796 KiB

Child status: 20

Real time (s): 226.635
CPU time (s): 229.938
CPU user time (s): 227.974
CPU system time (s): 1.96399
CPU usage (%): 101.457
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1978796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.974
system time used= 1.96399
maximum resident set size= 1979852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2049576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9477
involuntary context switches= 952


# summary of solver processes directly reported to runsolver:
#   pid: 199980
#   total CPU time (s): 229.938
#   total CPU user time (s): 227.974
#   total CPU system time (s): 1.96399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.468717 second user time and 1.18305 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 19:18:25
IDJOB=4452802
IDBENCH=165317
IDSOLVER=3079
FILE ID=nodeC028/4452802-1721841505
RUNJOBID= nodeC028-1721841436-199510
SLURM_JOB_ID= 7891563
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.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-4452802-1721841505/watcher-4452802-1721841505 -o /tmp/evaluation-result-4452802-1721841505/solver-4452802-1721841505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721841436-199510 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452802-1721841505 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452802-1721841505.opb

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

MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=398719477

nodeC028.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	: 0xb00002a
cpu MHz		: 3666.596
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3667.235
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
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	: 0xb00002a
cpu MHz		: 3599.857
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3652.590
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
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	: 0xb00002a
cpu MHz		: 3666.569
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3616.111
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
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	: 0xb00002a
cpu MHz		: 3600.085
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3674.376
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116463580 kB
MemAvailable:   124673444 kB
Buffers:          265768 kB
Cached:          8730036 kB
SwapCached:          264 kB
Active:          2269352 kB
Inactive:       12095072 kB
Active(anon):       4480 kB
Inactive(anon):  5416328 kB
Active(file):    2264872 kB
Inactive(file):  6678744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:             89204 kB
Writeback:             0 kB
AnonPages:       5367596 kB
Mapped:           116516 kB
Shmem:             52100 kB
KReclaimable:     212140 kB
Slab:             335460 kB
SReclaimable:     212140 kB
SUnreclaim:       123320 kB
KernelStack:        5088 kB
PageTables:        20912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9173660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5093376 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC028 at 2024-07-24 19:22:11