Trace number 4514383

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 VeriPB 2025-06-06UNSAT cert. 2404.65 2407.45

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
MD5SUM7fddd5a63b4237b93179de1569c49542
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 benchmark15.0846
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1806
Total number of constraints8614
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint42
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 52
Number of bits of the biggest sum of numbers6
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4514383-1751226801.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c using VERIPB proof format
0.11/0.14	c  no objective function found
0.50/0.33	c ... done. Wall clock time 0.187s.
0.50/0.33	c declared #vars     1806
0.50/0.33	c #constraints  8618
0.50/0.33	c constraints type 
0.50/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3444
0.50/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.50/0.33	c org.sat4j.specs.Constr$1 => 3
0.50/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5166
0.50/0.33	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.50/0.33	c 8618 constraints processed.
2.45/1.39	c cleaning 2498 clauses out of 5000 with flag 18053/5000
3.85/2.00	c cleaning 4252 clauses out of 8504 with flag 41576/11002
4.72/2.60	c cleaning 5630 clauses out of 11260 with flag 64397/18010
5.42/3.25	c cleaning 6810 clauses out of 13620 with flag 94216/26000
6.41/3.92	c cleaning 7901 clauses out of 15812 with flag 127715/35002
7.23/4.71	c cleaning 8954 clauses out of 17910 with flag 162295/45001
7.93/5.47	c cleaning 9976 clauses out of 19955 with flag 202883/56000
8.82/6.34	c cleaning 10989 clauses out of 21982 with flag 247630/68003
9.83/7.30	c cleaning 11992 clauses out of 23991 with flag 294219/81001
10.83/8.35	c cleaning 12998 clauses out of 25999 with flag 347638/95001
12.03/9.50	c cleaning 13997 clauses out of 28000 with flag 405490/110000
13.33/10.84	c cleaning 14995 clauses out of 30004 with flag 470700/126001
14.72/12.14	c cleaning 16004 clauses out of 32010 with flag 534346/143002
16.15/13.51	c cleaning 17002 clauses out of 34004 with flag 602297/161000
17.66/15.08	c cleaning 17995 clauses out of 36003 with flag 677175/180001
19.45/16.80	c cleaning 19000 clauses out of 38008 with flag 758417/200001
21.35/18.76	c cleaning 20000 clauses out of 40009 with flag 844838/221002
23.45/20.81	c cleaning 21000 clauses out of 42007 with flag 934485/243000
25.55/22.93	c cleaning 22002 clauses out of 44007 with flag 1029274/266000
27.84/25.23	c cleaning 23002 clauses out of 46006 with flag 1131654/290001
30.82/27.91	c cleaning 23991 clauses out of 48003 with flag 1233740/315000
33.19/30.28	c cleaning 24999 clauses out of 50012 with flag 1339656/341000
35.68/32.79	c cleaning 26004 clauses out of 52016 with flag 1449622/368003
38.31/35.48	c cleaning 27003 clauses out of 54015 with flag 1569141/396006
41.50/38.69	c cleaning 27996 clauses out of 56006 with flag 1689276/425000
45.39/42.05	c cleaning 29000 clauses out of 58010 with flag 1816368/455000
48.47/45.10	c cleaning 30006 clauses out of 60013 with flag 1943033/486003
51.87/48.51	c cleaning 31002 clauses out of 62009 with flag 2079803/518005
55.17/51.89	c cleaning 31994 clauses out of 64005 with flag 2215570/551003
59.26/55.95	c cleaning 33002 clauses out of 66008 with flag 2368237/585000
63.36/60.08	c cleaning 34004 clauses out of 68007 with flag 2526042/620001
67.94/64.61	c cleaning 35000 clauses out of 70004 with flag 2690060/656002
71.99/68.72	c cleaning 35986 clauses out of 72002 with flag 2849446/693000
76.68/73.40	c cleaning 37006 clauses out of 74016 with flag 3008606/731000
81.17/77.97	c cleaning 38003 clauses out of 76010 with flag 3178261/770000
85.77/82.57	c cleaning 39000 clauses out of 78007 with flag 3354419/810000
91.07/87.85	c cleaning 39995 clauses out of 80007 with flag 3532507/851000
96.85/93.61	c cleaning 41000 clauses out of 82012 with flag 3709614/893000
102.00/98.85	c cleaning 42001 clauses out of 84012 with flag 3888694/936000
107.88/104.80	c cleaning 43005 clauses out of 86013 with flag 4071152/980002
114.68/111.59	c cleaning 44002 clauses out of 88006 with flag 4268372/1025000
121.77/118.67	c cleaning 44994 clauses out of 90004 with flag 4476810/1071000
128.75/125.67	c cleaning 45999 clauses out of 92010 with flag 4681820/1118000
136.12/133.10	c cleaning 46999 clauses out of 94011 with flag 4898429/1166000
143.09/140.08	c cleaning 48006 clauses out of 96015 with flag 5118693/1215003
150.67/147.61	c cleaning 49000 clauses out of 98006 with flag 5355073/1265000
157.38/154.30	c cleaning 49999 clauses out of 100007 with flag 5592477/1316001
164.43/161.43	c cleaning 50999 clauses out of 102007 with flag 5841180/1368000
171.41/168.42	c cleaning 52004 clauses out of 104012 with flag 6079775/1421004
179.41/176.46	c cleaning 53000 clauses out of 106010 with flag 6328626/1475006
187.59/184.65	c cleaning 53998 clauses out of 108004 with flag 6579233/1530000
196.63/193.72	c cleaning 54998 clauses out of 110006 with flag 6864894/1586000
206.13/203.24	c cleaning 55999 clauses out of 112012 with flag 7128295/1643004
214.69/211.81	c cleaning 57002 clauses out of 114011 with flag 7395416/1701002
225.77/222.86	c cleaning 57998 clauses out of 116007 with flag 7664154/1760001
236.37/233.46	c cleaning 59003 clauses out of 118009 with flag 7947829/1820001
246.54/243.61	c cleaning 59999 clauses out of 120007 with flag 8232200/1881002
258.17/255.32	c cleaning 60998 clauses out of 122007 with flag 8522514/1943001
268.26/265.42	c cleaning 62005 clauses out of 124010 with flag 8822816/2006002
280.34/277.51	c cleaning 62997 clauses out of 126003 with flag 9143024/2070000
291.59/288.82	c cleaning 63999 clauses out of 128007 with flag 9486292/2135001
303.68/300.95	c cleaning 65003 clauses out of 130008 with flag 9838495/2201001
317.41/314.72	c cleaning 65997 clauses out of 132005 with flag 10212261/2268001
330.21/327.51	c cleaning 67001 clauses out of 134009 with flag 10543410/2336002
342.07/339.40	c cleaning 68003 clauses out of 136007 with flag 10895445/2405001
355.63/353.06	c cleaning 68997 clauses out of 138004 with flag 11236013/2475001
369.61/367.01	c cleaning 70000 clauses out of 140006 with flag 11612854/2546000
382.55/380.06	c cleaning 71001 clauses out of 142007 with flag 11983814/2618001
397.23/394.72	c cleaning 72000 clauses out of 144005 with flag 12375024/2691000
413.49/411.09	c cleaning 73000 clauses out of 146005 with flag 12754983/2765000
428.96/426.54	c cleaning 73993 clauses out of 148006 with flag 13163173/2840001
445.16/442.62	c cleaning 74998 clauses out of 150008 with flag 13579521/2916000
465.72/463.26	c cleaning 76002 clauses out of 152011 with flag 13952067/2993001
487.58/485.13	c cleaning 76997 clauses out of 154006 with flag 14330507/3071000
507.90/505.51	c cleaning 78002 clauses out of 156012 with flag 14730817/3150003
526.57/524.24	c cleaning 79003 clauses out of 158010 with flag 15134355/3230003
548.28/546.04	c cleaning 79995 clauses out of 160008 with flag 15555137/3311004
567.94/565.77	c cleaning 81001 clauses out of 162010 with flag 16003513/3393001
591.15/589.02	c cleaning 82001 clauses out of 164008 with flag 16444538/3476000
610.53/608.42	c cleaning 83001 clauses out of 166009 with flag 16895746/3560002
629.96/627.93	c cleaning 83997 clauses out of 168008 with flag 17389188/3645002
651.25/649.29	c cleaning 84998 clauses out of 170010 with flag 17896685/3731001
675.38/673.48	c cleaning 86003 clauses out of 172011 with flag 18400139/3818000
698.52/696.69	c cleaning 87000 clauses out of 174008 with flag 18970434/3906000
720.14/718.38	c cleaning 87998 clauses out of 176012 with flag 19472075/3995004
743.67/741.90	c cleaning 89001 clauses out of 178015 with flag 20008773/4085005
767.62/765.94	c cleaning 90000 clauses out of 180009 with flag 20532962/4176000
795.54/793.90	c cleaning 91002 clauses out of 182009 with flag 21081970/4268001
818.60/817.18	c cleaning 92002 clauses out of 184009 with flag 21527698/4361003
841.17/839.75	c cleaning 92996 clauses out of 186004 with flag 21966508/4455000
861.84/860.45	c cleaning 94004 clauses out of 188010 with flag 22412998/4550002
883.49/882.13	c cleaning 95000 clauses out of 190004 with flag 22888358/4646000
912.81/911.52	c cleaning 95992 clauses out of 192004 with flag 23387780/4743002
940.79/939.68	c cleaning 97003 clauses out of 194010 with flag 23890061/4841001
969.13/968.04	c cleaning 98003 clauses out of 196008 with flag 24373529/4940002
1000.34/999.36	c cleaning 98999 clauses out of 198005 with flag 24868283/5040002
1031.92/1030.92	c cleaning 100002 clauses out of 200006 with flag 25369933/5141002
1061.28/1060.38	c cleaning 101002 clauses out of 202007 with flag 25924807/5243005
1091.69/1090.82	c cleaning 101997 clauses out of 204003 with flag 26413430/5346003
1125.14/1124.37	c cleaning 103000 clauses out of 206006 with flag 26931033/5450003
1155.86/1155.13	c cleaning 103995 clauses out of 208003 with flag 27439117/5555000
1191.91/1191.22	c cleaning 104998 clauses out of 210009 with flag 27969625/5661001
1226.28/1225.64	c cleaning 105992 clauses out of 212012 with flag 28522890/5768002
1259.86/1259.38	c cleaning 107005 clauses out of 214018 with flag 29075175/5876000
1294.92/1294.48	c cleaning 108002 clauses out of 216014 with flag 29662433/5985001
1328.85/1328.47	c cleaning 109002 clauses out of 218011 with flag 30270263/6095000
1365.51/1365.17	c cleaning 109998 clauses out of 220009 with flag 30906044/6206000
1402.09/1401.73	c cleaning 111003 clauses out of 222014 with flag 31498914/6318005
1442.77/1442.91	c cleaning 111994 clauses out of 224006 with flag 32090277/6431000
1482.54/1482.73	c cleaning 113006 clauses out of 226015 with flag 32727664/6545003
1524.90/1525.16	c cleaning 113998 clauses out of 228006 with flag 33426801/6660000
1565.10/1565.45	c cleaning 115002 clauses out of 230008 with flag 34099224/6776000
1604.19/1604.67	c cleaning 115999 clauses out of 232008 with flag 34761026/6893002
1646.93/1647.43	c cleaning 117000 clauses out of 234007 with flag 35421705/7011002
1687.93/1688.52	c cleaning 117999 clauses out of 236005 with flag 36075212/7130000
1731.25/1731.93	c cleaning 119001 clauses out of 238007 with flag 36756761/7250001
1777.58/1778.38	c cleaning 119997 clauses out of 240005 with flag 37484131/7371000
1828.54/1829.45	c cleaning 120993 clauses out of 242007 with flag 38254088/7493000
1870.99/1871.96	c cleaning 122008 clauses out of 244018 with flag 38901471/7616004
1912.03/1913.03	c cleaning 123001 clauses out of 246007 with flag 39598134/7740001
1956.50/1957.56	c cleaning 124003 clauses out of 248007 with flag 40338149/7865003
2003.15/2004.38	c cleaning 124995 clauses out of 250001 with flag 41028957/7991000
2052.80/2054.09	c cleaning 125996 clauses out of 252004 with flag 41722754/8118000
2094.87/2096.12	c cleaning 127002 clauses out of 254007 with flag 42428907/8246000
2143.07/2144.40	c cleaning 127998 clauses out of 256004 with flag 43180076/8375001
2190.43/2191.91	c cleaning 129000 clauses out of 258005 with flag 43915964/8505000
2241.28/2243.83	c cleaning 130000 clauses out of 260005 with flag 44665226/8636001
2292.70/2295.35	c cleaning 130999 clauses out of 262005 with flag 45390524/8768001
2341.28/2344.05	c cleaning 131999 clauses out of 264002 with flag 46166388/8901000
2391.90/2394.76	c cleaning 132999 clauses out of 266001 with flag 46989826/9035001
2404.46/2407.35	c starts		: 9898
2404.46/2407.36	c conflicts		: 9082397
2404.46/2407.36	c decisions		: 14549405
2404.46/2407.36	c propagations		: 713180383
2404.46/2407.36	c inspects		: 30156583402
2404.46/2407.36	c shortcuts		: 0
2404.46/2407.36	c learnt literals	: 42
2404.46/2407.36	c learnt binary clauses	: 466
2404.46/2407.36	c learnt ternary clauses	: 2772
2404.46/2407.36	c learnt constraints	: 9082354
2404.46/2407.36	c ignored constraints	: 0
2404.46/2407.36	c root simplifications	: 0
2404.46/2407.36	c removed literals (reason simplification)	: 147473068
2404.46/2407.36	c reason swapping (by a shorter reason)	: 0
2404.46/2407.36	c Calls to reduceDB	: 130
2404.46/2407.36	c Number of update (reduction) of LBD	: 2102129
2404.46/2407.36	c Imported unit clauses	: 0
2404.46/2407.36	c No decision after first conflict	: false
2404.46/2407.36	c number of reductions to clauses (during analyze)	: 0
2404.46/2407.36	c number of learned constraints concerned by reduction	: 0
2404.46/2407.36	c number of learning phase by resolution	: 0
2404.46/2407.36	c number of learning phase by cutting planes	: 0
2404.46/2407.36	c number of rounding to 1 operations	: 0
2404.46/2407.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2404.46/2407.36	c number of reductions of the coefficients by power 2 	: 0
2404.46/2407.36	c number of right shift for reduction by power 2 	: 0
2404.46/2407.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
2404.46/2407.36	c number of ending skipping 	: 0
2404.46/2407.36	c number of internal skipping 	: 0
2404.46/2407.36	c number of derivation steps 	: 0
2404.46/2407.36	c number of skipped derivation steps 	: 0
2404.46/2407.36	c number of remaining unassigned 	: 0
2404.46/2407.36	c number of remaining assigned 	: 0
2404.46/2407.36	c number of falsified literals weakened from reason	: 0
2404.46/2407.36	c number of falsified literals weakened from conflict	: 0
2404.46/2407.36	c time for arithmetic operations	: 0
2404.46/2407.36	c minimum degree of deleted constraints	: null
2404.46/2407.36	c maximum degree of deleted constraints	: null
2404.46/2407.36	c number of deleted constraints	: 0
2404.46/2407.37	c speed (assignments/second)	: 296290.8545309818
2404.46/2407.37	c non guided choices	: 1231
2404.58/2407.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 179918
2404.58/2407.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 466
2404.58/2407.43	s UNSATISFIABLE
2404.58/2407.43	c Total wall clock time (in seconds): 2407.295

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 19:01:11 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
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: 63708 MiB (58084 MiB free)
  memory of node 1: 64465 MiB (54436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514383-1751226801/watcher-4514383-1751226801 -o /tmp/evaluation-result-4514383-1751226801/solver-4514383-1751226801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514383-1751226801 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514383-1751226801.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=31964, runsolver pid=31961
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.09 4.11 4.09 5/345 31982
/proc/meminfo: memFree=115199792/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=18930384 memory=57112 CPUtime=0.11 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 6440 0 0 0 10 1 0 0 20 0 18 0 38358748 19384713216 14278 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4732596 14278 5324 1 0 547579 0
[pid=31964/tid=31966] ppid=31961 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 5021 0 0 0 6 1 0 0 20 0 18 0 38358749 19384713216 14278 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 14278 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=18930384 memory=59585004333716 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 14278 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57112 KiB

[startup+0.2059 s]*
/proc/loadavg: 4.09 4.11 4.09 7/345 31982
/proc/meminfo: memFree=115184480/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=18930384 memory=69344 CPUtime=0.3 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 6843 0 0 0 28 2 0 0 20 0 18 0 38358748 19384713216 17336 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4732596 17336 5420 1 0 547909 0
[pid=31964/tid=31966] ppid=31961 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 5276 0 0 0 15 2 0 0 20 0 18 0 38358749 19384713216 17336 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=18930384 memory=2569 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 17336 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 17336 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69344 KiB

[startup+0.305839 s]*
/proc/loadavg: 4.09 4.11 4.09 7/345 31982
/proc/meminfo: memFree=115161480/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=18930384 memory=101852 CPUtime=0.5 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 9047 0 0 0 47 3 0 0 20 0 18 0 38358748 19384713216 25463 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4732596 25463 5420 1 0 549354 0
[pid=31964/tid=31966] ppid=31961 vsize=18930384 memory=-6000919502754245484 CPUtime=0.23 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 5303 0 0 0 21 2 0 0 20 0 18 0 38358749 19384713216 25463 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 25463 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38358752 19384713216 25463 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 101852 KiB

[startup+0.700201 s]
/proc/loadavg: 4.09 4.11 4.09 6/346 31983
/proc/meminfo: memFree=115135180/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=18996948 memory=153456 CPUtime=1.26 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 11087 0 0 0 121 5 0 0 20 0 19 0 38358748 19452874752 38364 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4749237 38364 5452 1 0 551186 0
[pid=31964/tid=31966] ppid=31961 vsize=18996948 memory=17536 CPUtime=0.58 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 5386 0 0 0 55 3 0 0 20 0 19 0 38358749 19452874752 38364 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38358752 19452874752 38364 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38358752 19452874752 38364 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38358782 19452874752 38364 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153456 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.11 4.09 6/347 31984
/proc/meminfo: memFree=115089308/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=171796 CPUtime=2.85 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 18904 0 0 0 278 7 0 0 20 0 20 0 38358748 19521036288 42949 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 42949 5484 1 0 552765 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 6274 0 0 0 131 3 0 0 20 0 20 0 38358749 19521036288 42949 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 42949 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 42949 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 42949 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171796 KiB

[startup+3.10572 s]
/proc/loadavg: 4.09 4.11 4.09 5/347 31984
/proc/meminfo: memFree=115061684/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=184348 CPUtime=5.32 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 21278 0 0 0 524 8 0 0 20 0 20 0 38358748 19521036288 46087 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 46087 5484 1 0 553175 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=10752 CPUtime=2.91 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 6600 0 0 0 287 4 0 0 20 0 20 0 38358749 19521036288 46087 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=-6000919502754245484 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 46087 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 46087 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 46087 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184348 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.12 4.09 5/347 31984
/proc/meminfo: memFree=114903396/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=315544 CPUtime=8.82 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 21688 0 0 0 871 11 0 0 20 0 20 0 38358748 19521036288 78886 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 78886 5484 1 0 553175 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=0 CPUtime=6.09 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 6917 0 0 0 602 7 0 0 20 0 20 0 38358749 19521036288 78886 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 78886 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 78886 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=173500 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 78886 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 315544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.15 4.10 5/347 31984
/proc/meminfo: memFree=114299464/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=936344 CPUtime=15.35 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 26784 0 0 0 1510 25 0 0 20 0 20 0 38358748 19521036288 234086 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 234086 5516 1 0 553175 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=173500 CPUtime=12.47 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 8787 0 0 0 1227 20 0 0 20 0 20 0 38358749 19521036288 234086 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=827800 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 234086 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 234086 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 234086 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 936344 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.14 4.10 4/347 31984
/proc/meminfo: memFree=114049624/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1087932 CPUtime=28.14 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 29695 0 0 0 2781 33 0 0 20 0 20 0 38358748 19521036288 271983 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 271983 5516 1 0 553175 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=-6000919502754245484 CPUtime=25.23 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 9763 0 0 0 2496 27 0 0 20 0 20 0 38358749 19521036288 271983 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=1053116 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 271983 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 271983 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 271983 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 28.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1087932 KiB

[startup+51.1058 s]
/proc/loadavg: 4.24 4.15 4.10 5/347 31984
/proc/meminfo: memFree=113695484/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1312820 CPUtime=54.48 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 44350 0 0 0 5403 45 0 0 20 0 20 0 38358748 19521036288 328205 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 328205 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=1316704 CPUtime=50.67 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 11659 0 0 0 5030 37 0 0 20 0 20 0 38358749 19521036288 328205 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=14720 CPUtime=0 cores=4,6

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

/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1145 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 467066 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 467066 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2319.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1868264 KiB

[startup+2382.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/346 32974
/proc/meminfo: memFree=107743140/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2379.53 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94716 0 0 0 237573 380 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=1868264 CPUtime=2370.11 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32351 0 0 0 236707 304 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1145 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=220018 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2379.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

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

# cumulated CPU time of all completed processes:  user=2400.8 s, system=3.84111 s

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

[startup+2393.6 s]
/proc/loadavg: 4.12 4.12 4.12 5/346 32975
/proc/meminfo: memFree=107555512/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2390.81 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94756 0 0 0 238700 381 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=17536 CPUtime=2381.38 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32388 0 0 0 237833 305 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=220018 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1145 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2390.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2400 s]*
/proc/loadavg: 4.10 4.11 4.12 5/346 32976
/proc/meminfo: memFree=107459892/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2397.19 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94786 0 0 0 239337 382 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=-6000919481245919852 CPUtime=2387.76 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32417 0 0 0 238470 306 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=-4421386509065415012 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=2100 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1145 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2397.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2403.2 s]
/proc/loadavg: 4.10 4.11 4.12 5/346 32976
/proc/meminfo: memFree=107308104/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2400.38 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94928 0 0 0 239656 382 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2390.95 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32553 0 0 0 238789 306 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1147 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2400.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2404.8 s]
/proc/loadavg: 4.10 4.11 4.12 5/346 32976
/proc/meminfo: memFree=107001424/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2401.97 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94940 0 0 0 239815 382 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=17536 CPUtime=2392.54 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32565 0 0 0 238948 306 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=-6000919502754245484 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1147 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2401.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2406.4 s]
/proc/loadavg: 4.09 4.11 4.11 5/346 32976
/proc/meminfo: memFree=106960980/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2403.57 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94952 0 0 0 239975 382 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=1868264 CPUtime=2394.14 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32576 0 0 0 239108 306 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1147 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2403.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2407.2 s]
/proc/loadavg: 4.09 4.11 4.11 5/346 32976
/proc/meminfo: memFree=106942588/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19063512 memory=1884696 CPUtime=2404.36 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 94958 0 0 0 240054 382 0 0 20 0 20 0 38358748 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4765878 471174 5516 1 0 554238 0
[pid=31964/tid=31966] ppid=31961 vsize=19063512 memory=10752 CPUtime=2394.94 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) R 31961 31964 30647 0 -1 4194368 32582 0 0 0 239188 306 0 0 20 0 20 0 38358749 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1147 0 0 0 0 0 0 0 20 0 20 0 38358752 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31983] ppid=31961 vsize=19063512 memory=1884696 CPUtime=0 cores=4,6
/proc/31964/task/31983/stat : 31983 (Timer-0) S 31961 31964 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38358782 19521036288 471174 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2404.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884696 KiB

[startup+2407.4 s]
/proc/loadavg: 4.09 4.11 4.11 5/346 32976
/proc/meminfo: memFree=106942588/131250000 swapFree=33010684/33010684
[pid=31964] ppid=31961 vsize=19196640 memory=1885080 CPUtime=2404.58 cores=4,6
/proc/31964/stat : 31964 (java) S 31961 31964 30647 0 -1 4194304 97072 0 0 0 240075 383 0 0 20 0 20 0 38358748 19657359360 471270 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
/proc/31964/statm: 4799160 471270 5516 1 0 554872 0
[pid=31964/tid=31966] ppid=31961 vsize=19196640 memory=46464 CPUtime=2395.08 cores=4,6
/proc/31964/task/31966/stat : 31966 (java) S 31961 31964 30647 0 -1 4194368 34036 0 0 0 239202 306 0 0 20 0 20 0 38358749 19657359360 471270 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31975] ppid=31961 vsize=19196640 memory=12672 CPUtime=0 cores=4,6
/proc/31964/task/31975/stat : 31975 (Finalizer) S 31961 31964 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38358752 19657359360 471270 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
[pid=31964/tid=31982] ppid=31961 vsize=19196640 memory=10112 CPUtime=0 cores=4,6
/proc/31964/task/31982/stat : 31982 (Common-Cleaner) S 31961 31964 30647 0 -1 4194368 1147 0 0 0 0 0 0 0 20 0 20 0 38358752 19657359360 471270 18446744073709551615 93932221394944 93932221398640 140721236049344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93932221406456 93932221407248 93932249157632 140721236056368 140721236056550 140721236056550 140721236062152 0
Current children cumulated CPU time: 2404.58 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1885080 KiB

Child status: 20

Real time (s): 2407.45
CPU time (s): 2404.65
CPU user time (s): 2400.8
CPU system time (s): 3.84111
CPU usage (%): 99.8836
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1885080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.8
system time used= 3.84111
maximum resident set size= 1885208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3441008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72359
involuntary context switches= 6060


# summary of solver processes directly reported to runsolver:
#   pid: 31964
#   total CPU time (s): 2404.65
#   total CPU user time (s): 2400.8
#   total CPU system time (s): 3.84111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23127 second user time and 12.5153 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 21:53:21
IDJOB=4514383
IDBENCH=162673
IDSOLVER=3364
FILE ID=nodeC026/4514383-1751226801
RUNJOBID= nodeC026-1751218367-30658
SLURM_JOB_ID= 9587668
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514383-1751226801/watcher-4514383-1751226801 -o /tmp/evaluation-result-4514383-1751226801/solver-4514383-1751226801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514383-1751226801 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514383-1751226801.opb

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

MD5SUM BENCH= 7fddd5a63b4237b93179de1569c49542
RANDOM SEED=1146366043

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.752
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.714
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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.897
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3610.034
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.775
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.819
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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.783
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.673
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115221968 kB
MemAvailable:   123494480 kB
Buffers:            3280 kB
Cached:          9070292 kB
SwapCached:            0 kB
Active:          6601764 kB
Inactive:        8812572 kB
Active(anon):    6359284 kB
Inactive(anon):        0 kB
Active(file):     242480 kB
Inactive(file):  8812572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11788 kB
Writeback:            16 kB
AnonPages:       6344284 kB
Mapped:           122952 kB
Shmem:             18080 kB
KReclaimable:     113396 kB
Slab:             200860 kB
SReclaimable:     113396 kB
SUnreclaim:        87464 kB
KernelStack:        5296 kB
PageTables:        16004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7054000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151592 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6146048 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC026 at 2025-06-29 22:33:29