Trace number 4452892

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. 280.336 277.083

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
MD5SUM94622b8283878cd58e113c83df8c4b53
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 benchmark12.6419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables53655
Total number of constraints10732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints10724
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
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.08	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- 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-4452892-1721841625.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.14	c  no objective function found
0.70/0.46	c ... done. Wall clock time 0.33s.
0.70/0.47	c declared #vars     53655
0.70/0.47	c #constraints  10732
0.70/0.47	c constraints type 
0.70/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10732
0.70/0.47	c 10732 constraints processed.
2.05/1.16	c cleaning 2494 clauses out of 5000 with flag 13199/5000
2.45/1.38	c cleaning 4246 clauses out of 8506 with flag 29669/11000
2.83/1.57	c cleaning 5628 clauses out of 11260 with flag 50311/18000
3.44/1.81	c cleaning 6815 clauses out of 13633 with flag 73626/26001
3.62/1.95	c cleaning 7905 clauses out of 15818 with flag 98378/35001
4.02/2.15	c cleaning 8947 clauses out of 17913 with flag 126802/45001
4.21/2.30	c cleaning 9977 clauses out of 19965 with flag 157568/56000
4.61/2.48	c cleaning 10987 clauses out of 21989 with flag 193269/68001
4.84/2.62	c cleaning 11993 clauses out of 24003 with flag 229759/81002
5.07/2.81	c cleaning 13001 clauses out of 26008 with flag 269541/95000
5.28/3.02	c cleaning 13998 clauses out of 28007 with flag 311518/110000
5.48/3.23	c cleaning 14978 clauses out of 30011 with flag 355542/126002
5.74/3.42	c cleaning 16005 clauses out of 32032 with flag 405628/143001
6.01/3.64	c cleaning 16982 clauses out of 34026 with flag 454270/161000
6.35/3.96	c cleaning 18008 clauses out of 36046 with flag 511118/180002
6.65/4.25	c cleaning 18995 clauses out of 38037 with flag 565993/200001
6.94/4.57	c cleaning 19974 clauses out of 40042 with flag 637032/221001
7.26/4.86	c cleaning 20948 clauses out of 42067 with flag 716525/243000
7.57/5.19	c cleaning 22045 clauses out of 44121 with flag 786489/266002
7.96/5.53	c cleaning 23026 clauses out of 46076 with flag 858525/290002
8.35/5.90	c cleaning 23993 clauses out of 48048 with flag 929456/315000
8.76/6.31	c cleaning 25022 clauses out of 50055 with flag 998780/341000
9.15/6.72	c cleaning 26002 clauses out of 52033 with flag 1075064/368000
9.56/7.16	c cleaning 26989 clauses out of 54031 with flag 1161348/396000
10.16/7.73	c cleaning 27976 clauses out of 56042 with flag 1248808/425000
10.76/8.37	c cleaning 28987 clauses out of 58067 with flag 1342950/455001
11.26/8.88	c cleaning 30027 clauses out of 60081 with flag 1445388/486002
11.75/9.38	c cleaning 31010 clauses out of 62052 with flag 1548254/518000
12.45/10.03	c cleaning 32007 clauses out of 64043 with flag 1647969/551001
13.05/10.67	c cleaning 32997 clauses out of 66036 with flag 1751092/585001
13.67/11.21	c cleaning 34008 clauses out of 68039 with flag 1858549/620001
14.27/11.84	c cleaning 34988 clauses out of 70030 with flag 1966492/656000
14.92/12.44	c cleaning 36012 clauses out of 72043 with flag 2082869/693001
15.41/12.93	c cleaning 36991 clauses out of 74030 with flag 2194187/731000
15.96/13.49	c cleaning 38007 clauses out of 76040 with flag 2312187/770001
16.86/14.31	c cleaning 39013 clauses out of 78033 with flag 2431513/810001
17.49/14.97	c cleaning 39991 clauses out of 80019 with flag 2550052/851000
18.19/15.60	c cleaning 40987 clauses out of 82030 with flag 2672030/893002
18.88/16.35	c cleaning 42011 clauses out of 84041 with flag 2799301/936000
19.58/17.09	c cleaning 43000 clauses out of 86030 with flag 2936392/980000
20.30/17.75	c cleaning 43911 clauses out of 88031 with flag 3089760/1025001
21.28/18.60	c cleaning 45052 clauses out of 90119 with flag 3244034/1071000
22.07/19.44	c cleaning 45999 clauses out of 92067 with flag 3391385/1118000
23.07/20.41	c cleaning 47022 clauses out of 94069 with flag 3536007/1166001
23.91/21.12	c cleaning 48014 clauses out of 96046 with flag 3689625/1215000
24.61/21.90	c cleaning 48984 clauses out of 98033 with flag 3843845/1265001
25.51/22.70	c cleaning 49978 clauses out of 100049 with flag 3997937/1316001
26.21/23.49	c cleaning 50998 clauses out of 102070 with flag 4150689/1368000
27.21/24.44	c cleaning 52029 clauses out of 104073 with flag 4307378/1421001
28.24/25.46	c cleaning 53007 clauses out of 106043 with flag 4465881/1475000
29.25/26.43	c cleaning 53761 clauses out of 108036 with flag 4629869/1530000
30.14/27.30	c cleaning 53882 clauses out of 110276 with flag 4816618/1586001
31.34/28.59	c cleaning 54273 clauses out of 113393 with flag 4990845/1643000
32.34/29.59	c cleaning 55817 clauses out of 117121 with flag 5157064/1701001
33.54/30.74	c cleaning 56852 clauses out of 120303 with flag 5320906/1760000
34.78/31.92	c cleaning 57886 clauses out of 123451 with flag 5492021/1820000
35.99/33.42	c cleaning 58343 clauses out of 126565 with flag 5683916/1881000
37.34/34.71	c cleaning 60081 clauses out of 130222 with flag 5873426/1943000
38.84/36.29	c cleaning 60857 clauses out of 133142 with flag 6057277/2006001
40.24/37.64	c cleaning 61752 clauses out of 136284 with flag 6242304/2070000
41.34/38.73	c cleaning 62719 clauses out of 139534 with flag 6446406/2135002
42.74/40.16	c cleaning 63678 clauses out of 142813 with flag 6635716/2201000
44.38/41.70	c cleaning 64696 clauses out of 146135 with flag 6835433/2268000
45.57/42.93	c cleaning 65636 clauses out of 149439 with flag 7026081/2336000
47.17/44.56	c cleaning 66881 clauses out of 152805 with flag 7234076/2405002
48.67/46.04	c cleaning 67643 clauses out of 155922 with flag 7431967/2475000
50.86/48.28	c cleaning 68925 clauses out of 159281 with flag 7635895/2546002
52.45/49.81	c cleaning 69471 clauses out of 162355 with flag 7844413/2618001
54.38/51.76	c cleaning 70498 clauses out of 165884 with flag 8049978/2691001
55.87/53.26	c cleaning 71291 clauses out of 169386 with flag 8274006/2765001
57.37/54.75	c cleaning 72459 clauses out of 173094 with flag 8489393/2840000
59.07/56.48	c cleaning 73702 clauses out of 176635 with flag 8710383/2916000
60.56/57.98	c cleaning 74612 clauses out of 179933 with flag 8949937/2993000
62.32/59.68	c cleaning 75115 clauses out of 183321 with flag 9187058/3071000
63.61/60.99	c cleaning 75855 clauses out of 187206 with flag 9424140/3150000
65.71/63.03	c cleaning 77332 clauses out of 191352 with flag 9656360/3230001
67.59/65.05	c cleaning 78536 clauses out of 195020 with flag 9897946/3311001
69.08/66.52	c cleaning 79210 clauses out of 198484 with flag 10149432/3393001
71.63/69.08	c cleaning 80364 clauses out of 202274 with flag 10394508/3476001
73.73/71.16	c cleaning 82024 clauses out of 205910 with flag 10650405/3560001
75.82/73.25	c cleaning 82086 clauses out of 208885 with flag 10900198/3645000
77.62/75.08	c cleaning 82623 clauses out of 212799 with flag 11160735/3731000
79.97/77.35	c cleaning 84037 clauses out of 217176 with flag 11424522/3818000
82.94/80.33	c cleaning 84991 clauses out of 221140 with flag 11675985/3906001
85.52/82.91	c cleaning 86212 clauses out of 225151 with flag 11935271/3995003
87.99/85.43	c cleaning 87052 clauses out of 228936 with flag 12194804/4085000
90.18/87.67	c cleaning 87806 clauses out of 232884 with flag 12457112/4176000
92.72/90.11	c cleaning 89149 clauses out of 237078 with flag 12731531/4268000
95.98/93.43	c cleaning 89523 clauses out of 240929 with flag 13008582/4361000
98.98/96.53	c cleaning 91303 clauses out of 245407 with flag 13273104/4455001
102.98/100.55	c cleaning 92358 clauses out of 249106 with flag 13547392/4550003
105.83/103.34	c cleaning 93526 clauses out of 252745 with flag 13829525/4646000
109.53/107.04	c cleaning 94067 clauses out of 256220 with flag 14110166/4743001
111.82/109.38	c cleaning 95145 clauses out of 260155 with flag 14395834/4841003
114.53/112.01	c cleaning 96301 clauses out of 264009 with flag 14688984/4940002
117.18/114.60	c cleaning 97242 clauses out of 267707 with flag 14975736/5040001
120.18/117.62	c cleaning 98373 clauses out of 271465 with flag 15279887/5141001
122.67/120.17	c cleaning 99399 clauses out of 275091 with flag 15577660/5243000
125.41/122.87	c cleaning 100452 clauses out of 278692 with flag 15881468/5346000
127.85/125.36	c cleaning 100835 clauses out of 282241 with flag 16180406/5450001
130.34/127.85	c cleaning 101829 clauses out of 286408 with flag 16482815/5555003
133.54/131.00	c cleaning 103749 clauses out of 290577 with flag 16793605/5661001
137.91/135.34	c cleaning 104220 clauses out of 293828 with flag 17108969/5768001
141.80/139.29	c cleaning 105090 clauses out of 297609 with flag 17435469/5876002
145.89/143.34	c cleaning 105950 clauses out of 301517 with flag 17748709/5985000
149.99/147.42	c cleaning 106957 clauses out of 305569 with flag 18069661/6095002
153.57/150.99	c cleaning 107743 clauses out of 309611 with flag 18385556/6206001
156.67/154.09	c cleaning 108878 clauses out of 313868 with flag 18727938/6318001
160.86/158.39	c cleaning 109911 clauses out of 317990 with flag 19056784/6431001
165.17/162.59	c cleaning 110994 clauses out of 322079 with flag 19388528/6545001
168.56/165.91	c cleaning 111849 clauses out of 326084 with flag 19730810/6660000
171.05/168.45	c cleaning 113000 clauses out of 330236 with flag 20073099/6776001
175.96/173.23	c cleaning 112621 clauses out of 334237 with flag 20437084/6893002
179.06/176.39	c cleaning 114897 clauses out of 339615 with flag 20799369/7011001
183.05/180.34	c cleaning 114999 clauses out of 343717 with flag 21154607/7130000
187.27/184.45	c cleaning 116343 clauses out of 348718 with flag 21504961/7250000
191.65/188.98	c cleaning 118055 clauses out of 353375 with flag 21854247/7371000
197.45/194.71	c cleaning 118950 clauses out of 357320 with flag 22218861/7493000
201.74/199.04	c cleaning 119400 clauses out of 361370 with flag 22568588/7616000
208.32/205.56	c cleaning 120871 clauses out of 365971 with flag 22921748/7740001
212.57/209.90	c cleaning 121577 clauses out of 370099 with flag 23287619/7865000
217.72/215.08	c cleaning 122642 clauses out of 374522 with flag 23665866/7991000
223.23/220.50	c cleaning 123139 clauses out of 378882 with flag 24035043/8118002
227.69/225.06	c cleaning 124773 clauses out of 383742 with flag 24416463/8246001
231.35/228.75	c cleaning 125046 clauses out of 387969 with flag 24806518/8375001
237.03/234.39	c cleaning 126256 clauses out of 392922 with flag 25198151/8505000
242.22/239.53	c cleaning 127884 clauses out of 397666 with flag 25583058/8636000
247.82/245.19	c cleaning 129130 clauses out of 401782 with flag 25978540/8768000
252.89/250.16	c cleaning 129438 clauses out of 405653 with flag 26363599/8901001
258.37/255.63	c cleaning 131028 clauses out of 410214 with flag 26761738/9035000
262.07/259.35	c cleaning 131522 clauses out of 414186 with flag 27162430/9170000
267.78/264.96	c cleaning 132474 clauses out of 418664 with flag 27547100/9306000
272.07/269.20	c cleaning 133383 clauses out of 423190 with flag 27949016/9443000
276.99/274.01	c cleaning 134550 clauses out of 427807 with flag 28348669/9581000
280.07/276.99	c starts		: 6264
280.20/277.01	c conflicts		: 9671581
280.20/277.01	c decisions		: 238778707
280.20/277.01	c propagations		: 304614905
280.20/277.01	c inspects		: 1457599561
280.20/277.01	c shortcuts		: 0
280.20/277.01	c learnt literals	: 9
280.20/277.01	c learnt binary clauses	: 33
280.20/277.01	c learnt ternary clauses	: 48046
280.20/277.01	c learnt constraints	: 9671571
280.20/277.01	c ignored constraints	: 0
280.20/277.01	c root simplifications	: 0
280.20/277.01	c removed literals (reason simplification)	: 8007743
280.20/277.01	c reason swapping (by a shorter reason)	: 0
280.20/277.01	c Calls to reduceDB	: 134
280.20/277.01	c Number of update (reduction) of LBD	: 1696260
280.20/277.01	c Imported unit clauses	: 0
280.20/277.01	c No decision after first conflict	: false
280.20/277.01	c number of reductions to clauses (during analyze)	: 0
280.20/277.01	c number of learned constraints concerned by reduction	: 0
280.20/277.01	c number of learning phase by resolution	: 0
280.20/277.01	c number of learning phase by cutting planes	: 0
280.20/277.01	c number of rounding to 1 operations	: 0
280.20/277.01	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
280.20/277.01	c number of reductions of the coefficients by power 2 	: 0
280.20/277.01	c number of right shift for reduction by power 2 	: 0
280.20/277.01	c number of reductions of the coefficients by GCD over coefficients 	: 0
280.20/277.01	c number of ending skipping 	: 0
280.20/277.01	c number of internal skipping 	: 0
280.20/277.01	c number of derivation steps 	: 0
280.20/277.01	c number of skipped derivation steps 	: 0
280.20/277.01	c number of remaining unassigned 	: 0
280.20/277.01	c number of remaining assigned 	: 0
280.20/277.01	c number of falsified literals weakened from reason	: 0
280.20/277.01	c number of falsified literals weakened from conflict	: 0
280.20/277.01	c time for arithmetic operations	: 0
280.20/277.01	c minimum degree of deleted constraints	: null
280.20/277.01	c maximum degree of deleted constraints	: null
280.20/277.01	c number of deleted constraints	: 0
280.20/277.01	c speed (assignments/second)	: 1101613.6620894917
280.20/277.01	c non guided choices	: 222183145
280.20/277.07	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 383795
280.20/277.07	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 33
280.20/277.07	s UNSATISFIABLE
280.20/277.07	c Total wall clock time (in seconds): 276.94

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=200205, runsolver pid=200202

[startup+0.100789 s]*
/proc/loadavg: 4.21 2.64 1.92 7/334 200223
/proc/meminfo: memFree=113753108/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=18975048 memory=66260 CPUtime=0.14 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 7081 0 0 0 12 2 0 0 20 0 18 0 20685845 19430449152 16565 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4743762 16565 5544 1 0 549371 0
[pid=200205/tid=200207] ppid=200202 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 1077936192 5641 0 0 0 7 1 0 0 20 0 18 0 20685846 19430449152 16565 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20685848 19430449152 16565 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=18975048 memory=15262540772369567 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20685849 19430449152 16565 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66260 KiB

[startup+0.206428 s]*
/proc/loadavg: 4.21 2.64 1.92 7/334 200223
/proc/meminfo: memFree=113738132/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=18975048 memory=81900 CPUtime=0.32 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 7705 0 0 0 30 2 0 0 20 0 18 0 20685845 19430449152 20475 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4743762 20475 5828 1 0 549831 0
[pid=200205/tid=200207] ppid=200202 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 5807 0 0 0 16 1 0 0 20 0 18 0 20685846 19430449152 20475 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=18975048 memory=1535086 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20685848 19430449152 20475 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20685849 19430449152 20475 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81900 KiB

[startup+0.306427 s]*
/proc/loadavg: 4.21 2.64 1.92 6/334 200223
/proc/meminfo: memFree=113701876/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=18975048 memory=116180 CPUtime=0.49 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 9129 0 0 0 46 3 0 0 20 0 18 0 20685845 19430449152 29045 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4743762 29045 5828 1 0 550684 0
[pid=200205/tid=200207] ppid=200202 vsize=18975048 memory=-9033491242492338876 CPUtime=0.24 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 5825 0 0 0 22 2 0 0 20 0 18 0 20685846 19430449152 29045 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20685848 19430449152 29045 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20685849 19430449152 29045 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116180 KiB

[startup+0.706868 s]
/proc/loadavg: 4.21 2.64 1.92 6/336 200225
/proc/meminfo: memFree=113635788/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=197164 CPUtime=1.27 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 16381 0 0 0 122 5 0 0 20 0 20 0 20685845 19566772224 49291 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 49291 5860 1 0 556049 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=5432 CPUtime=0.57 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 5931 0 0 0 54 3 0 0 20 0 20 0 20685846 19566772224 49291 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 49291 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=279494728671912 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 49291 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 49291 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197164 KiB

[startup+1.50043 s]
/proc/loadavg: 4.21 2.64 1.92 7/336 200225
/proc/meminfo: memFree=113604072/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=215788 CPUtime=2.83 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 23094 0 0 0 276 7 0 0 20 0 20 0 20685845 19566772224 53947 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 53947 5876 1 0 556099 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=12304 CPUtime=1.31 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 7201 0 0 0 128 3 0 0 20 0 20 0 20685846 19566772224 53947 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 53947 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 53947 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=279494728525072 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 53947 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215788 KiB

[startup+3.12143 s]
/proc/loadavg: 4.20 2.67 1.93 5/336 200225
/proc/meminfo: memFree=113447124/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=335616 CPUtime=5.4 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 26786 0 0 0 529 11 0 0 20 0 20 0 20685845 19566772224 83904 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 83904 5908 1 0 662985 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=0 CPUtime=2.86 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) S 200202 200205 199498 0 -1 1077936192 7685 0 0 0 279 7 0 0 20 0 20 0 20685846 19566772224 83904 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 83904 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 83904 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 83904 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 335616 KiB

[startup+6.30028 s]
/proc/loadavg: 4.20 2.67 1.93 5/336 200225
/proc/meminfo: memFree=113095760/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=629788 CPUtime=8.76 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 27050 0 0 0 855 21 0 0 20 0 20 0 20685845 19566772224 157447 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 157447 5908 1 0 662988 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=12304 CPUtime=5.99 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 7855 0 0 0 583 16 0 0 20 0 20 0 20685846 19566772224 157447 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 157447 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 157447 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=215888 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 157447 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 629788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 2.71 1.95 5/338 200230
/proc/meminfo: memFree=112667704/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=890204 CPUtime=15.21 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 30691 0 0 0 1490 31 0 0 20 0 20 0 20685845 19566772224 222551 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 222551 5908 1 0 662991 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=0 CPUtime=12.3 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 9019 0 0 0 1205 25 0 0 20 0 20 0 20685846 19566772224 222551 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 222551 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=890196 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 222551 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 222551 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 890204 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 2.82 2.00 5/338 200232
/proc/meminfo: memFree=111843044/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=1383900 CPUtime=28.34 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 35235 0 0 0 2778 56 0 0 20 0 20 0 20685845 19566772224 345975 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 345975 5908 1 0 662995 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=890196 CPUtime=24.94 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 10522 0 0 0 2447 47 0 0 20 0 20 0 20685846 19566772224 345975 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=-9033491242492338876 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 345975 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 345975 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 345975 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1383900 KiB

[startup+51.1058 s]
/proc/loadavg: 4.34 2.93 2.06 5/338 200237
/proc/meminfo: memFree=110907212/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=1677000 CPUtime=53.78 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 41891 0 0 0 5294 84 0 0 20 0 20 0 20685845 19566772224 419250 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 419250 5908 1 0 662996 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=1652404 CPUtime=49.96 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 12990 0 0 0 4924 72 0 0 20 0 20 0 20685846 19566772224 419250 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 419250 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0

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


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

# cumulated CPU time of all completed processes:  user=278.165 s, system=2.17094 s

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

[startup+230.4 s]
/proc/loadavg: 4.56 3.62 2.48 5/340 200409
/proc/meminfo: memFree=105969892/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2018636 CPUtime=233.04 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 58911 0 0 0 23112 192 0 0 20 0 20 0 20685845 19566772224 504659 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 504659 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=-9033491242492338876 CPUtime=226.65 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 22417 0 0 0 22498 167 0 0 20 0 20 0 20685846 19566772224 504659 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 89 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=-9033491242492338876 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 504659 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=1985868 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 192 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 504659 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 504659 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 233.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2018636 KiB

[startup+256 s]*
/proc/loadavg: 4.67 3.72 2.54 5/340 200415
/proc/meminfo: memFree=105286088/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2082320 CPUtime=258.78 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 61507 0 0 0 25675 203 0 0 20 0 20 0 20685845 19566772224 520580 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 520580 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=-8959743699082519228 CPUtime=251.91 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 23808 0 0 0 25016 175 0 0 20 0 20 0 20685846 19566772224 520580 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=-7739011164744738428 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 520580 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=996810369993606 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 520580 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=996625686399823 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 520580 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 258.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2082320 KiB

[startup+268.8 s]
/proc/loadavg: 4.66 3.76 2.58 6/340 200416
/proc/meminfo: memFree=104977444/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2115088 CPUtime=271.67 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 61624 0 0 0 26958 209 0 0 20 0 20 0 20685845 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 528772 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=68244 CPUtime=264.57 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 23858 0 0 0 26276 181 0 0 20 0 20 0 20685846 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=2047368 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=279494729160736 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 271.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2115088 KiB

[startup+272 s]*
/proc/loadavg: 4.66 3.76 2.58 5/339 200418
/proc/meminfo: memFree=104792832/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2115088 CPUtime=274.87 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 61666 0 0 0 27277 210 0 0 20 0 20 0 20685845 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 528772 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=-8959743699082519228 CPUtime=267.76 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 23900 0 0 0 26594 182 0 0 20 0 20 0 20685846 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=-7739011164744738428 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=2004 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=1896 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 528772 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 274.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2115088 KiB

[startup+275.2 s]
/proc/loadavg: 4.61 3.77 2.58 5/339 200418
/proc/meminfo: memFree=104683448/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2141816 CPUtime=278.17 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 61936 0 0 0 27604 213 0 0 20 0 20 0 20685845 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 535454 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=2115088 CPUtime=270.82 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 24049 0 0 0 26898 184 0 0 20 0 20 0 20685846 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=2115088 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=25596 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 278.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2141816 KiB

[startup+276 s]*
/proc/loadavg: 4.61 3.77 2.58 5/339 200418
/proc/meminfo: memFree=104667968/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2141816 CPUtime=278.97 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 61936 0 0 0 27684 213 0 0 20 0 20 0 20685845 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 535454 5908 1 0 663164 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=-8959743699082519228 CPUtime=271.61 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 24049 0 0 0 26977 184 0 0 20 0 20 0 20685846 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=-7739011164744738428 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=2820 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=4824 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 535454 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 278.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2141816 KiB

[startup+276.8 s]
/proc/loadavg: 4.61 3.77 2.58 5/339 200418
/proc/meminfo: memFree=104667968/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19108176 memory=2141968 CPUtime=279.88 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 65328 0 0 0 27774 214 0 0 20 0 20 0 20685845 19566772224 535492 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4777044 535492 5908 1 0 663195 0
[pid=200205/tid=200207] ppid=200202 vsize=19108176 memory=2141816 CPUtime=272.4 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) R 200202 200205 199498 0 -1 4194368 25317 0 0 0 27056 184 0 0 20 0 20 0 20685846 19566772224 535492 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 94 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19108176 memory=26412 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20685848 19566772224 535492 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19108176 memory=2141816 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 20 0 20685849 19566772224 535492 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19108176 memory=18864 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20685893 19566772224 535492 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 279.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2141968 KiB

[startup+277.001 s]*
/proc/loadavg: 4.61 3.77 2.58 7/341 200420
/proc/meminfo: memFree=104655260/131524600 swapFree=131054968/131071996
[pid=200205] ppid=200202 vsize=19175768 memory=2142540 CPUtime=280.2 cores=5,7
/proc/200205/stat : 200205 (java) S 200202 200205 199498 0 -1 1077936128 68215 0 0 0 27805 215 0 0 20 0 22 0 20685845 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
/proc/200205/statm: 4793942 535635 5907 1 0 663781 0
[pid=200205/tid=200207] ppid=200202 vsize=19175768 memory=-8959743699082519228 CPUtime=272.51 cores=5,7
/proc/200205/task/200207/stat : 200207 (java) S 200202 200205 199498 0 -1 1077936192 26009 0 0 0 27065 186 0 0 20 0 22 0 20685846 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 107 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200216] ppid=200202 vsize=19175768 memory=-4421386492003314535 CPUtime=0 cores=5,7
/proc/200205/task/200216/stat : 200216 (Finalizer) S 200202 200205 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 20685848 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200223] ppid=200202 vsize=19175768 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200223/stat : 200223 (Common-Cleaner) S 200202 200205 199498 0 -1 1077936192 289 0 0 0 0 0 0 0 20 0 22 0 20685849 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200225] ppid=200202 vsize=19175768 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200225/stat : 200225 (Timer-0) S 200202 200205 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 20685893 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200419] ppid=200202 vsize=19175768 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200419/stat : 200419 (Thread-0) R 200202 200205 199498 0 -1 4194368 190 0 0 0 0 0 0 0 20 0 22 0 20713544 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
[pid=200205/tid=200420] ppid=200202 vsize=19175768 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200420/stat : 200420 (java) R 200202 200205 199498 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 22 0 20713544 19635986432 535635 134679101440 94532964642816 94532964646512 140736347190224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94532964654328 94532964655120 94532986249216 140736347194283 140736347194465 140736347194465 140736347201480 0
Current children cumulated CPU time: 280.2 s
Current children cumulated vsize: 19175768 KiB
Current children cumulated memory: 2142540 KiB

Child status: 20

Real time (s): 277.083
CPU time (s): 280.336
CPU user time (s): 278.165
CPU system time (s): 2.17094
CPU usage (%): 101.174
Max. virtual memory (cumulated for all children) (KiB): 19175768
Max. memory (cumulated for all children) (KiB): 2142540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.165
system time used= 2.17094
maximum resident set size= 2143716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2126768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11736
involuntary context switches= 1399


# summary of solver processes directly reported to runsolver:
#   pid: 200205
#   total CPU time (s): 280.336
#   total CPU user time (s): 278.165
#   total CPU system time (s): 2.17094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.638646 second user time and 1.37733 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 19:20:25
IDJOB=4452892
IDBENCH=165345
IDSOLVER=3079
FILE ID=nodeC028/4452892-1721841625
RUNJOBID= nodeC028-1721841436-199511
SLURM_JOB_ID= 7891563
Free space on /tmp= 890056 MiB

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

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

MD5SUM BENCH= 94622b8283878cd58e113c83df8c4b53
RANDOM SEED=1602519182

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		: 3665.521
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		: 3674.699
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.771
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		: 3604.807
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		: 3664.654
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		: 3654.876
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		: 3599.749
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		: 3649.098
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:        113799396 kB
MemAvailable:   123511532 kB
Buffers:          266048 kB
Cached:         10231404 kB
SwapCached:          264 kB
Active:          2270160 kB
Inactive:       14752396 kB
Active(anon):       4480 kB
Inactive(anon):  6572188 kB
Active(file):    2265680 kB
Inactive(file):  8180208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:            210004 kB
Writeback:             0 kB
AnonPages:       6523728 kB
Mapped:           116656 kB
Shmem:             52100 kB
KReclaimable:     212140 kB
Slab:             339684 kB
SReclaimable:     212140 kB
SUnreclaim:       127544 kB
KernelStack:        5068 kB
PageTables:        23224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9151924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6244352 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:25:02