Trace number 4448522

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. 667.76 667.476

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
MD5SUM1a3ecc72c33db076137ced748302e815
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 benchmark1.93963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.10	c See www.sat4j.org for details.
0.14/0.12	c version CUSTOM.v20240707
0.14/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.15	c java.vm.version	22.0.1+8-16
0.14/0.15	c java.vm.vendor	Oracle Corporation
0.14/0.15	c sun.arch.data.model	64
0.14/0.15	c java.version		22.0.1
0.14/0.15	c os.name		Linux
0.14/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.15	c os.arch		amd64
0.14/0.16	c Free memory 		2113181440
0.14/0.16	c Max memory 		16282288128
0.14/0.16	c Total memory 		2122317824
0.14/0.16	c Number of processors 	2
0.29/0.25	--- Begin Solver configuration ---
0.29/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.25	Learn all clauses as in MiniSAT
0.29/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.25	Expensive reason simplification
0.29/0.25	Glucose 2.1 dynamic restart strategy
0.29/0.25	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.29/0.25	timeout=2147483s
0.29/0.25	DB Simplification allowed=false
0.29/0.25	Listener: none
0.29/0.25	--- End Solver configuration ---
0.29/0.25	c Pseudo Boolean Optimization by upper bound
0.29/0.25	c --- Begin Solver configuration ---
0.29/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.25	c Learn all clauses as in MiniSAT
0.29/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.25	c Expensive reason simplification
0.29/0.25	c Glucose 2.1 dynamic restart strategy
0.29/0.25	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.29/0.25	c timeout=2147483s
0.29/0.25	c DB Simplification allowed=false
0.29/0.25	c Listener: none
0.29/0.25	c --- End Solver configuration ---
0.29/0.25	c solving HOME/instance-4448522-1721827628.opb
0.29/0.26	c reading problem ... 
0.29/0.27	c using VERIPB proof format
0.29/0.27	c  no objective function found
0.44/0.34	c ... done. Wall clock time 0.079s.
0.44/0.34	c declared #vars     801
0.44/0.34	c #constraints  802
0.44/0.34	c constraints type 
0.44/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.44/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.44/0.34	c 802 constraints processed.
1.36/0.84	c cleaning 2482 clauses out of 5000 with flag 19723/5000
1.97/1.14	c cleaning 4236 clauses out of 8518 with flag 46764/11000
2.55/1.49	c cleaning 5620 clauses out of 11282 with flag 82437/18000
3.11/1.74	c cleaning 6817 clauses out of 13662 with flag 122861/26000
3.72/2.02	c cleaning 7883 clauses out of 15845 with flag 168982/35000
3.92/2.19	c cleaning 8966 clauses out of 17962 with flag 222596/45000
4.28/2.38	c cleaning 9960 clauses out of 19996 with flag 282784/56000
4.64/2.60	c cleaning 11007 clauses out of 22038 with flag 348090/68002
4.85/2.81	c cleaning 11992 clauses out of 24031 with flag 423430/81002
5.06/3.07	c cleaning 12968 clauses out of 26037 with flag 502510/95000
5.35/3.38	c cleaning 13996 clauses out of 28070 with flag 589789/110001
5.65/3.69	c cleaning 15001 clauses out of 30075 with flag 681573/126002
6.19/4.04	c cleaning 15975 clauses out of 32072 with flag 781021/143000
6.69/4.43	c cleaning 17002 clauses out of 34098 with flag 879337/161001
7.09/4.83	c cleaning 18021 clauses out of 36097 with flag 982371/180002
7.49/5.27	c cleaning 19003 clauses out of 38074 with flag 1096147/200000
8.01/5.75	c cleaning 20005 clauses out of 40071 with flag 1216927/221000
8.53/6.24	c cleaning 21014 clauses out of 42066 with flag 1336573/243000
9.03/6.76	c cleaning 21986 clauses out of 44053 with flag 1462825/266001
9.63/7.33	c cleaning 22995 clauses out of 46068 with flag 1586456/290002
10.22/7.93	c cleaning 24010 clauses out of 48071 with flag 1719098/315000
10.82/8.58	c cleaning 24998 clauses out of 50062 with flag 1855293/341001
11.52/9.28	c cleaning 26015 clauses out of 52063 with flag 1994245/368000
12.33/10.01	c cleaning 26980 clauses out of 54050 with flag 2136885/396002
13.02/10.78	c cleaning 27996 clauses out of 56068 with flag 2284294/425000
13.92/11.62	c cleaning 28995 clauses out of 58072 with flag 2436203/455000
14.72/12.46	c cleaning 29991 clauses out of 60077 with flag 2593472/486000
15.61/13.34	c cleaning 31010 clauses out of 62086 with flag 2760882/518000
16.51/14.28	c cleaning 32010 clauses out of 64078 with flag 2924618/551002
17.51/15.27	c cleaning 33008 clauses out of 66066 with flag 3095269/585000
18.60/16.32	c cleaning 33980 clauses out of 68058 with flag 3274930/620000
19.72/17.42	c cleaning 35019 clauses out of 70079 with flag 3460641/656001
20.92/18.60	c cleaning 35999 clauses out of 72059 with flag 3641790/693000
22.13/19.80	c cleaning 37001 clauses out of 74060 with flag 3826210/731000
23.23/20.99	c cleaning 38018 clauses out of 76061 with flag 4019711/770002
24.53/22.20	c cleaning 39003 clauses out of 78041 with flag 4214872/810000
25.73/23.43	c cleaning 39982 clauses out of 80039 with flag 4410993/851001
27.03/24.77	c cleaning 40995 clauses out of 82056 with flag 4614218/893000
28.43/26.13	c cleaning 42009 clauses out of 84062 with flag 4822090/936001
29.82/27.56	c cleaning 43003 clauses out of 86053 with flag 5035263/980001
31.43/29.14	c cleaning 43994 clauses out of 88050 with flag 5255352/1025001
32.91/30.69	c cleaning 45000 clauses out of 90055 with flag 5477493/1071000
34.61/32.41	c cleaning 45995 clauses out of 92058 with flag 5698063/1118003
36.22/34.08	c cleaning 47000 clauses out of 94060 with flag 5924845/1166000
37.90/35.72	c cleaning 48016 clauses out of 96060 with flag 6156891/1215000
39.71/37.51	c cleaning 48986 clauses out of 98044 with flag 6388770/1265000
41.69/39.44	c cleaning 50018 clauses out of 100058 with flag 6635197/1316000
43.59/41.31	c cleaning 50992 clauses out of 102040 with flag 6879483/1368000
45.49/43.29	c cleaning 52001 clauses out of 104050 with flag 7132578/1421002
47.47/45.25	c cleaning 52997 clauses out of 106047 with flag 7379924/1475000
49.47/47.29	c cleaning 54001 clauses out of 108053 with flag 7632464/1530003
51.67/49.49	c cleaning 55004 clauses out of 110049 with flag 7887926/1586000
53.97/51.72	c cleaning 55994 clauses out of 112046 with flag 8150636/1643001
56.27/53.97	c cleaning 57001 clauses out of 114052 with flag 8415719/1701001
58.67/56.33	c cleaning 58001 clauses out of 116051 with flag 8680879/1760001
61.16/58.88	c cleaning 58991 clauses out of 118049 with flag 8948476/1820000
63.55/61.28	c cleaning 60007 clauses out of 120060 with flag 9220172/1881002
66.11/63.87	c cleaning 61000 clauses out of 122051 with flag 9492991/1943000
68.71/66.43	c cleaning 61997 clauses out of 124051 with flag 9773887/2006000
71.31/69.06	c cleaning 63005 clauses out of 126054 with flag 10055302/2070000
73.99/71.76	c cleaning 64016 clauses out of 128050 with flag 10340771/2135001
76.69/74.48	c cleaning 64998 clauses out of 130033 with flag 10631518/2201000
79.68/77.46	c cleaning 65995 clauses out of 132036 with flag 10929230/2268001
82.58/80.34	c cleaning 67006 clauses out of 134041 with flag 11224360/2336001
85.56/83.37	c cleaning 68001 clauses out of 136034 with flag 11522180/2405000
88.76/86.53	c cleaning 68997 clauses out of 138033 with flag 11828776/2475000
91.76/89.56	c cleaning 70002 clauses out of 140036 with flag 12128011/2546000
95.26/93.06	c cleaning 70993 clauses out of 142034 with flag 12438282/2618000
98.54/96.44	c cleaning 71996 clauses out of 144041 with flag 12751993/2691000
101.94/99.85	c cleaning 73005 clauses out of 146046 with flag 13069779/2765001
105.33/103.28	c cleaning 74013 clauses out of 148040 with flag 13388817/2840000
108.83/106.77	c cleaning 74986 clauses out of 150028 with flag 13706895/2916001
112.43/110.39	c cleaning 76003 clauses out of 152042 with flag 14028641/2993001
116.13/114.04	c cleaning 76993 clauses out of 154039 with flag 14355602/3071001
119.70/117.64	c cleaning 78003 clauses out of 156045 with flag 14684314/3150000
123.40/121.37	c cleaning 78998 clauses out of 158042 with flag 15012707/3230000
127.24/125.21	c cleaning 80009 clauses out of 160046 with flag 15342373/3311002
130.93/128.99	c cleaning 81002 clauses out of 162035 with flag 15675372/3393000
135.03/133.07	c cleaning 82017 clauses out of 164034 with flag 16014975/3476001
139.02/137.07	c cleaning 82999 clauses out of 166016 with flag 16347257/3560000
143.30/141.38	c cleaning 83999 clauses out of 168018 with flag 16697763/3645001
147.58/145.64	c cleaning 85000 clauses out of 170020 with flag 17046004/3731002
151.48/149.57	c cleaning 85991 clauses out of 172019 with flag 17394841/3818001
155.66/153.71	c cleaning 87000 clauses out of 174028 with flag 17746207/3906001
159.61/157.76	c cleaning 87995 clauses out of 176028 with flag 18096665/3995001
163.81/161.98	c cleaning 89004 clauses out of 178033 with flag 18458662/4085001
167.80/165.98	c cleaning 90000 clauses out of 180029 with flag 18814804/4176001
172.46/170.69	c cleaning 91004 clauses out of 182029 with flag 19177977/4268001
177.05/175.24	c cleaning 91995 clauses out of 184024 with flag 19538294/4361000
181.68/179.80	c cleaning 93000 clauses out of 186030 with flag 19901547/4455001
186.27/184.49	c cleaning 93997 clauses out of 188030 with flag 20262145/4550001
192.11/193.71	c cleaning 95001 clauses out of 190032 with flag 20632112/4646000
196.80/198.42	c cleaning 96004 clauses out of 192033 with flag 21001435/4743002
201.80/203.49	c cleaning 96995 clauses out of 194028 with flag 21380784/4841001
206.59/208.26	c cleaning 98015 clauses out of 196034 with flag 21762278/4940002
211.60/213.21	c cleaning 98993 clauses out of 198017 with flag 22140607/5040000
216.79/218.45	c cleaning 99993 clauses out of 200025 with flag 22529553/5141001
222.11/223.80	c cleaning 101001 clauses out of 202032 with flag 22913506/5243001
226.90/228.66	c cleaning 102000 clauses out of 204032 with flag 23301906/5346002
231.89/233.61	c cleaning 103006 clauses out of 206031 with flag 23700594/5450001
236.99/238.78	c cleaning 103999 clauses out of 208027 with flag 24097550/5555003
242.57/244.31	c cleaning 105000 clauses out of 210025 with flag 24508505/5661000
248.49/250.29	c cleaning 106005 clauses out of 212027 with flag 24925919/5768002
254.87/256.75	c cleaning 107003 clauses out of 214023 with flag 25350588/5876003
260.80/262.69	c cleaning 107990 clauses out of 216018 with flag 25764893/5985001
266.78/268.63	c cleaning 109001 clauses out of 218027 with flag 26181585/6095000
272.68/274.57	c cleaning 110014 clauses out of 220028 with flag 26604005/6206002
279.37/281.24	c cleaning 110997 clauses out of 222014 with flag 27039091/6318002
285.64/287.69	c cleaning 111996 clauses out of 224016 with flag 27474065/6431001
291.98/293.97	c cleaning 113002 clauses out of 226019 with flag 27911401/6545000
298.26/300.22	c cleaning 113996 clauses out of 228020 with flag 28344621/6660003
305.97/307.94	c cleaning 115003 clauses out of 230023 with flag 28802971/6776002
312.67/314.80	c cleaning 115997 clauses out of 232019 with flag 29253170/6893001
320.09/322.23	c cleaning 117004 clauses out of 234022 with flag 29707014/7011001
326.77/329.00	c cleaning 118002 clauses out of 236017 with flag 30159090/7130000
334.41/336.53	c cleaning 119001 clauses out of 238016 with flag 30617110/7250001
341.70/343.81	c cleaning 119998 clauses out of 240014 with flag 31087337/7371000
349.30/351.60	c cleaning 121006 clauses out of 242016 with flag 31551412/7493000
356.49/358.80	c cleaning 121988 clauses out of 244010 with flag 32029679/7616000
364.73/367.01	c cleaning 123005 clauses out of 246022 with flag 32513023/7740000
373.10/375.46	c cleaning 124005 clauses out of 248018 with flag 33003540/7865001
381.33/383.69	c cleaning 124998 clauses out of 250012 with flag 33499714/7991000
389.97/392.07	c cleaning 125999 clauses out of 252014 with flag 34004651/8118000
399.14/401.16	c cleaning 126996 clauses out of 254015 with flag 34510358/8246000
408.51/410.66	c cleaning 128000 clauses out of 256019 with flag 35020597/8375000
417.87/419.98	c cleaning 128997 clauses out of 258019 with flag 35541595/8505000
428.12/429.94	c cleaning 130002 clauses out of 260023 with flag 36053583/8636001
437.25/439.18	c cleaning 130998 clauses out of 262020 with flag 36577412/8768000
447.35/449.15	c cleaning 132005 clauses out of 264023 with flag 37105138/8901001
458.08/459.75	c cleaning 133001 clauses out of 266017 with flag 37628870/9035000
468.62/470.26	c cleaning 133993 clauses out of 268018 with flag 38157047/9170002
479.60/481.27	c cleaning 135005 clauses out of 270024 with flag 38691407/9306001
490.82/492.15	c cleaning 135999 clauses out of 272019 with flag 39237631/9443001
501.54/502.96	c cleaning 136996 clauses out of 274020 with flag 39773487/9581001
512.50/513.89	c cleaning 138003 clauses out of 276023 with flag 40315033/9720000
523.38/524.78	c cleaning 139002 clauses out of 278021 with flag 40869202/9860001
535.18/536.43	c cleaning 140001 clauses out of 280019 with flag 41437096/10001001
546.87/548.08	c cleaning 140997 clauses out of 282017 with flag 41993244/10143000
558.33/559.76	c cleaning 141999 clauses out of 284020 with flag 42572856/10286000
571.51/572.85	c cleaning 142999 clauses out of 286021 with flag 43173341/10430000
585.10/586.32	c cleaning 144004 clauses out of 288023 with flag 43778768/10575001
599.40/600.73	c cleaning 145006 clauses out of 290018 with flag 44410419/10721000
614.68/615.94	c cleaning 146000 clauses out of 292012 with flag 45055603/10868000
631.81/633.12	c cleaning 147001 clauses out of 294012 with flag 45701683/11016000
648.91/650.23	c cleaning 147996 clauses out of 296012 with flag 46363571/11165001
667.60/667.36	c starts		: 13773
667.60/667.36	c conflicts		: 11309465
667.60/667.36	c decisions		: 15714008
667.60/667.36	c propagations		: 91434184
667.60/667.36	c inspects		: 11144555986
667.60/667.36	c shortcuts		: 0
667.60/667.36	c learnt literals	: 13
667.60/667.36	c learnt binary clauses	: 68
667.60/667.36	c learnt ternary clauses	: 231
667.60/667.36	c learnt constraints	: 11309451
667.60/667.36	c ignored constraints	: 0
667.60/667.36	c root simplifications	: 0
667.60/667.36	c removed literals (reason simplification)	: 9414969
667.60/667.36	c reason swapping (by a shorter reason)	: 0
667.60/667.36	c Calls to reduceDB	: 145
667.60/667.36	c Number of update (reduction) of LBD	: 2446337
667.60/667.36	c Imported unit clauses	: 0
667.60/667.36	c No decision after first conflict	: false
667.60/667.38	c number of reductions to clauses (during analyze)	: 0
667.60/667.38	c number of learned constraints concerned by reduction	: 0
667.60/667.38	c number of learning phase by resolution	: 0
667.60/667.38	c number of learning phase by cutting planes	: 0
667.60/667.38	c number of rounding to 1 operations	: 0
667.60/667.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
667.60/667.38	c number of reductions of the coefficients by power 2 	: 0
667.60/667.38	c number of right shift for reduction by power 2 	: 0
667.60/667.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
667.60/667.38	c number of ending skipping 	: 0
667.60/667.38	c number of internal skipping 	: 0
667.60/667.38	c number of derivation steps 	: 0
667.60/667.38	c number of skipped derivation steps 	: 0
667.60/667.38	c number of remaining unassigned 	: 0
667.60/667.38	c number of remaining assigned 	: 0
667.60/667.38	c number of falsified literals weakened from reason	: 0
667.60/667.38	c number of falsified literals weakened from conflict	: 0
667.60/667.38	c time for arithmetic operations	: 0
667.60/667.38	c minimum degree of deleted constraints	: null
667.60/667.38	c maximum degree of deleted constraints	: null
667.60/667.38	c number of deleted constraints	: 0
667.60/667.38	c speed (assignments/second)	: 137078.21331230452
667.60/667.38	c non guided choices	: 563974
667.66/667.45	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292398
667.66/667.45	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 68
667.66/667.46	s UNSATISFIABLE
667.66/667.46	c Total wall clock time (in seconds): 667.201

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100411 s]*
/proc/loadavg: 5.34 4.68 4.42 6/327 192185
/proc/meminfo: memFree=108006912/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=18975048 memory=56448 CPUtime=0.14 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 6623 0 0 0 11 3 0 0 20 0 18 0 18751659 19430449152 14112 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4743762 14112 5616 1 0 550932 0
[pid=192167/tid=192169] ppid=192164 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 5554 0 0 0 7 2 0 0 20 0 18 0 18751659 19430449152 14112 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18751664 19430449152 14112 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=18975048 memory=3834591019379458080 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18751665 19430449152 14112 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56448 KiB

[startup+0.207476 s]*
/proc/loadavg: 5.34 4.68 4.42 5/327 192185
/proc/meminfo: memFree=107981520/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=18975048 memory=65096 CPUtime=0.29 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 7274 0 0 0 25 4 0 0 20 0 18 0 18751659 19430449152 16274 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4743762 16274 5604 1 0 551464 0
[pid=192167/tid=192169] ppid=192164 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 5791 0 0 0 16 3 0 0 20 0 18 0 18751659 19430449152 16274 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=18975048 memory=1361999 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18751664 19430449152 16274 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18751665 19430449152 16274 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65096 KiB

[startup+0.307958 s]*
/proc/loadavg: 5.34 4.68 4.42 6/327 192185
/proc/meminfo: memFree=107960004/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=18975048 memory=70904 CPUtime=0.44 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 7562 0 0 0 40 4 0 0 20 0 18 0 18751659 19430449152 17726 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4743762 17726 5701 1 0 551624 0
[pid=192167/tid=192169] ppid=192164 vsize=18975048 memory=-8887688295326982844 CPUtime=0.28 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) S 192164 192167 187238 0 -1 1077936192 5931 0 0 0 25 3 0 0 20 0 18 0 18751659 19430449152 17726 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18751664 19430449152 17726 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18751665 19430449152 17726 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70904 KiB

[startup+0.700448 s]
/proc/loadavg: 5.34 4.68 4.42 7/328 192186
/proc/meminfo: memFree=107925004/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19041612 memory=98780 CPUtime=1.17 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 9793 0 0 0 111 6 0 0 20 0 19 0 18751659 19498610688 24695 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4760403 24695 5792 1 0 552970 0
[pid=192167/tid=192169] ppid=192164 vsize=19041612 memory=5500 CPUtime=0.63 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 6050 0 0 0 59 4 0 0 20 0 19 0 18751659 19498610688 24695 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19041612 memory=11880 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18751664 19498610688 24695 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18751665 19498610688 24695 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18751694 19498610688 24695 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98780 KiB

[startup+1.50045 s]
/proc/loadavg: 5.31 4.69 4.42 7/328 192186
/proc/meminfo: memFree=107802628/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=176604 CPUtime=2.72 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 17782 0 0 0 263 9 0 0 20 0 20 0 18751659 19566772224 44151 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 44151 5808 1 0 556266 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=11880 CPUtime=1.39 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 6600 0 0 0 133 6 0 0 20 0 20 0 18751659 19566772224 44151 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 44151 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 44151 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=280027170252048 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 44151 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176604 KiB

[startup+3.11403 s]
/proc/loadavg: 5.31 4.69 4.42 6/329 192187
/proc/meminfo: memFree=107019780/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=219756 CPUtime=5.16 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 20085 0 0 0 504 12 0 0 20 0 20 0 18751659 19566772224 54939 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 54939 5824 1 0 556433 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=0 CPUtime=2.98 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 7020 0 0 0 289 9 0 0 20 0 20 0 18751659 19566772224 54939 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 54939 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 54939 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 54939 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219756 KiB

[startup+6.30041 s]
/proc/loadavg: 5.20 4.68 4.42 5/329 192189
/proc/meminfo: memFree=106247660/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=507000 CPUtime=8.62 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 20420 0 0 0 841 21 0 0 20 0 20 0 18751659 19566772224 126750 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 126750 5824 1 0 556434 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=11880 CPUtime=6.11 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 7301 0 0 0 594 17 0 0 20 0 20 0 18751659 19566772224 126750 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 126750 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=178084 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 126750 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 126750 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 507000 KiB

[startup+12.7005 s]
/proc/loadavg: 5.11 4.67 4.42 5/329 192189
/proc/meminfo: memFree=104740420/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1025256 CPUtime=15.02 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 23265 0 0 0 1464 38 0 0 20 0 20 0 18751659 19566772224 256314 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 256314 5824 1 0 556434 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=0 CPUtime=12.46 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 8619 0 0 0 1213 33 0 0 20 0 20 0 18751659 19566772224 256314 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=-8887688295326982844 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 256314 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=2296 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 256314 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 256314 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 15.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1025256 KiB

[startup+25.5005 s]
/proc/loadavg: 5.02 4.66 4.42 6/329 192462
/proc/meminfo: memFree=105887392/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1320344 CPUtime=27.82 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 26869 0 0 0 2725 57 0 0 20 0 20 0 18751659 19566772224 330086 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 330086 5856 1 0 556434 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1025256 CPUtime=25.2 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 10152 0 0 0 2469 51 0 0 20 0 20 0 18751659 19566772224 330086 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 330086 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1320344 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 330086 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 330086 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 27.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1320344 KiB

[startup+51.1138 s]
/proc/loadavg: 4.77 4.64 4.42 5/329 192601
/proc/meminfo: memFree=104248884/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1336800 CPUtime=53.38 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 33345 0 0 0 5257 81 0 0 20 0 20 0 18751659 19566772224 334200 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 334200 5856 1 0 556434 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=0 CPUtime=50.47 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 12285 0 0 0 4974 73 0 0 20 0 20 0 18751659 19566772224 334200 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=1336784 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 334200 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0

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

/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 465 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 399429 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=1597716 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 399429 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 580.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1597716 KiB

[startup+642.3 s]
/proc/loadavg: 4.43 4.48 4.41 5/328 193075
/proc/meminfo: memFree=94042376/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1651028 CPUtime=641.03 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 67651 0 0 0 63697 406 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 412757 5856 1 0 556463 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1651028 CPUtime=630.76 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 25335 0 0 0 62717 359 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 556 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1550588 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=16132 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 641.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1651028 KiB

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

# cumulated CPU time of all completed processes:  user=663.6 s, system=4.15969 s

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

[startup+652.8 s]
/proc/loadavg: 4.36 4.47 4.41 5/328 193077
/proc/meminfo: memFree=93911500/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1651028 CPUtime=651.47 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 67770 0 0 0 64738 409 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 412757 5856 1 0 556463 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1651028 CPUtime=641.19 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 25454 0 0 0 63758 361 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=1651028 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=1651028 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 651.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1651028 KiB

[startup+659.2 s]
/proc/loadavg: 4.34 4.46 4.40 6/328 193079
/proc/meminfo: memFree=93835744/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1651028 CPUtime=657.86 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 67885 0 0 0 65375 411 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 412757 5856 1 0 556463 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1651028 CPUtime=647.58 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 25569 0 0 0 64395 363 0 0 20 0 20 0 18751659 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1651028 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=2216 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 412757 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 657.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1651028 KiB

[startup+662.4 s]
/proc/loadavg: 4.31 4.45 4.40 6/328 193079
/proc/meminfo: memFree=93801800/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1653712 CPUtime=661.44 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 72716 0 0 0 65731 413 0 0 20 0 20 0 18751659 19566772224 413428 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 413428 5856 1 0 556663 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1651028 CPUtime=650.55 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 26777 0 0 0 64692 363 0 0 20 0 20 0 18751659 19566772224 413428 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=1651028 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 413428 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1651028 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 413428 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 413428 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 661.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1653712 KiB

[startup+665.6 s]
/proc/loadavg: 4.31 4.45 4.40 5/328 193081
/proc/meminfo: memFree=93780360/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1653948 CPUtime=664.68 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 72766 0 0 0 66055 413 0 0 20 0 20 0 18751659 19566772224 413487 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 413487 5856 1 0 556665 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1597716 CPUtime=653.75 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 26790 0 0 0 65011 364 0 0 20 0 20 0 18751659 19566772224 413487 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 413487 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1605956 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 413487 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 413487 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 664.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1653948 KiB

[startup+666.4 s]
/proc/loadavg: 4.31 4.45 4.40 6/328 193081
/proc/meminfo: memFree=93769732/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1656288 CPUtime=666.09 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 73785 0 0 0 66196 413 0 0 20 0 20 0 18751659 19566772224 414072 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 414072 5856 1 0 556665 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=1651028 CPUtime=654.55 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 26994 0 0 0 65091 364 0 0 20 0 20 0 18751659 19566772224 414072 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=32824 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 414072 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=1653972 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 414072 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=1653740 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 414072 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 666.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1656288 KiB

[startup+667.2 s]
/proc/loadavg: 4.36 4.46 4.41 5/328 193081
/proc/meminfo: memFree=93759636/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19108176 memory=1657004 CPUtime=667.48 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 74023 0 0 0 66335 413 0 0 20 0 20 0 18751659 19566772224 414251 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4777044 414251 5856 1 0 556665 0
[pid=192167/tid=192169] ppid=192164 vsize=19108176 memory=5500 CPUtime=655.35 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) R 192164 192167 187238 0 -1 4194368 26999 0 0 0 65171 364 0 0 20 0 20 0 18751659 19566772224 414251 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 560 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19108176 memory=16132 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19566772224 414251 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19566772224 414251 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192186] ppid=192164 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/192167/task/192186/stat : 192186 (Timer-0) S 192164 192167 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18751694 19566772224 414251 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 667.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1657004 KiB

[startup+667.403 s]
/proc/loadavg: 4.36 4.46 4.41 5/328 193081
/proc/meminfo: memFree=93759636/131655788 swapFree=131070192/131071996
[pid=192167] ppid=192164 vsize=19241304 memory=1657360 CPUtime=667.66 cores=4,6
/proc/192167/stat : 192167 (java) S 192164 192167 187238 0 -1 1077936128 75027 0 0 0 66352 414 0 0 20 0 20 0 18751659 19703095296 414340 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
/proc/192167/statm: 4810326 414340 5855 1 0 557299 0
[pid=192167/tid=192169] ppid=192164 vsize=19241304 memory=32824 CPUtime=655.45 cores=4,6
/proc/192167/task/192169/stat : 192169 (java) S 192164 192167 187238 0 -1 1077936192 27695 0 0 0 65181 364 0 0 20 0 20 0 18751659 19703095296 414340 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 568 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192178] ppid=192164 vsize=19241304 memory=2296 CPUtime=0 cores=4,6
/proc/192167/task/192178/stat : 192178 (Finalizer) S 192164 192167 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18751664 19703095296 414340 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
[pid=192167/tid=192185] ppid=192164 vsize=19241304 memory=24172 CPUtime=0 cores=4,6
/proc/192167/task/192185/stat : 192185 (Common-Cleaner) S 192164 192167 187238 0 -1 1077936192 566 0 0 0 0 0 0 0 20 0 20 0 18751665 19703095296 414340 134679101440 94845653532672 94845653536368 140720914322560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845653544184 94845653544976 94845676101632 140720914330539 140720914330721 140720914330721 140720914337736 0
Current children cumulated CPU time: 667.66 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1657360 KiB

Child status: 20

Real time (s): 667.476
CPU time (s): 667.76
CPU user time (s): 663.6
CPU system time (s): 4.15969
CPU usage (%): 100.042
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1657360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.6
system time used= 4.15969
maximum resident set size= 1658512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22635
involuntary context switches= 1600


# summary of solver processes directly reported to runsolver:
#   pid: 192167
#   total CPU time (s): 667.76
#   total CPU user time (s): 663.6
#   total CPU system time (s): 4.15969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15191 second user time and 5.95345 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 15:27:08
IDJOB=4448522
IDBENCH=160428
IDSOLVER=3079
FILE ID=nodeC002/4448522-1721827628
RUNJOBID= nodeC002-1721820325-187249
SLURM_JOB_ID= 7891441
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.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-4448522-1721827628/watcher-4448522-1721827628 -o /tmp/evaluation-result-4448522-1721827628/solver-4448522-1721827628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187249 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4448522-1721827628 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4448522-1721827628.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=1633063348

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        108068084 kB
MemAvailable:   114258116 kB
Buffers:          259452 kB
Cached:          6743916 kB
SwapCached:           72 kB
Active:          2220924 kB
Inactive:       20740544 kB
Active(anon):       1544 kB
Inactive(anon): 16010476 kB
Active(file):    2219380 kB
Inactive(file):  4730068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:            209704 kB
Writeback:             0 kB
AnonPages:      15957100 kB
Mapped:           123820 kB
Shmem:             53844 kB
KReclaimable:     161568 kB
Slab:             280144 kB
SReclaimable:     161568 kB
SUnreclaim:       118576 kB
KernelStack:        4976 kB
PageTables:        41100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19757420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15564800 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC002 at 2024-07-24 15:38:16