Trace number 4447982

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. 657.821 653.264

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
MD5SUM1a042d5fcb76a110c048c575a59fde0e
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 benchmark23.1617
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 constraints1118
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1116
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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2113181440
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2122317824
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4447982-1721827565.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.18	c ... done. Wall clock time 0.049s.
0.14/0.18	c declared #vars     801
0.14/0.18	c #constraints  1118
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1116
0.14/0.18	c 1118 constraints processed.
1.11/0.66	c cleaning 2485 clauses out of 5002 with flag 22190/5002
1.91/1.01	c cleaning 4233 clauses out of 8516 with flag 51852/11001
2.47/1.32	c cleaning 5617 clauses out of 11282 with flag 85580/18000
3.07/1.61	c cleaning 6805 clauses out of 13665 with flag 125792/26000
3.47/1.89	c cleaning 7912 clauses out of 15862 with flag 176701/35002
4.08/2.13	c cleaning 8920 clauses out of 17948 with flag 233156/45000
4.44/2.34	c cleaning 9965 clauses out of 20029 with flag 297313/56001
4.82/2.57	c cleaning 10971 clauses out of 22064 with flag 367013/68001
5.23/2.82	c cleaning 11991 clauses out of 24093 with flag 439063/81001
5.53/3.11	c cleaning 13034 clauses out of 26101 with flag 518554/95000
5.82/3.41	c cleaning 13981 clauses out of 28067 with flag 601174/110000
6.13/3.73	c cleaning 14988 clauses out of 30087 with flag 692427/126001
6.56/4.08	c cleaning 16009 clauses out of 32098 with flag 790684/143000
7.07/4.48	c cleaning 17001 clauses out of 34089 with flag 893041/161000
7.58/4.91	c cleaning 18007 clauses out of 36088 with flag 1003914/180000
7.97/5.36	c cleaning 19006 clauses out of 38081 with flag 1118192/200000
8.47/5.89	c cleaning 19984 clauses out of 40076 with flag 1238029/221001
9.58/6.93	c cleaning 21013 clauses out of 42091 with flag 1359184/243000
10.37/7.76	c cleaning 22007 clauses out of 44081 with flag 1488425/266003
10.97/8.40	c cleaning 22991 clauses out of 46072 with flag 1621720/290001
11.68/9.06	c cleaning 23999 clauses out of 48082 with flag 1760893/315002
12.37/9.72	c cleaning 24994 clauses out of 50081 with flag 1903122/341000
13.06/10.45	c cleaning 26002 clauses out of 52088 with flag 2045793/368001
13.87/11.23	c cleaning 27001 clauses out of 54085 with flag 2195206/396000
14.68/12.03	c cleaning 28025 clauses out of 56084 with flag 2352211/425000
15.46/12.84	c cleaning 28994 clauses out of 58060 with flag 2512205/455001
16.37/13.75	c cleaning 30008 clauses out of 60065 with flag 2674669/486000
17.27/14.69	c cleaning 30997 clauses out of 62057 with flag 2838629/518000
18.28/15.67	c cleaning 31999 clauses out of 64061 with flag 3008988/551001
19.28/16.68	c cleaning 33005 clauses out of 66064 with flag 3184366/585003
20.37/17.79	c cleaning 34014 clauses out of 68057 with flag 3368042/620001
21.47/18.86	c cleaning 34992 clauses out of 70043 with flag 3553383/656001
22.57/19.93	c cleaning 35999 clauses out of 72050 with flag 3738699/693000
23.68/21.09	c cleaning 36992 clauses out of 74051 with flag 3934523/731000
24.87/22.28	c cleaning 37997 clauses out of 76059 with flag 4131574/770000
26.16/23.52	c cleaning 38994 clauses out of 78062 with flag 4330409/810000
27.46/24.88	c cleaning 40009 clauses out of 80069 with flag 4536760/851001
28.86/26.25	c cleaning 41008 clauses out of 82059 with flag 4739917/893000
30.25/27.68	c cleaning 41998 clauses out of 84051 with flag 4952388/936000
31.76/29.18	c cleaning 42999 clauses out of 86055 with flag 5168778/980002
33.45/30.82	c cleaning 44016 clauses out of 88055 with flag 5388771/1025001
35.07/32.65	c cleaning 45001 clauses out of 90038 with flag 5608612/1071000
36.77/34.38	c cleaning 46000 clauses out of 92040 with flag 5835243/1118003
38.57/36.14	c cleaning 47000 clauses out of 94037 with flag 6069467/1166000
40.28/37.88	c cleaning 47981 clauses out of 96037 with flag 6301875/1215000
42.18/39.73	c cleaning 49002 clauses out of 98056 with flag 6536925/1265000
43.98/41.59	c cleaning 50000 clauses out of 100055 with flag 6774818/1316001
45.98/43.50	c cleaning 51003 clauses out of 102054 with flag 7017575/1368000
47.97/45.54	c cleaning 51998 clauses out of 104051 with flag 7259513/1421000
50.07/47.61	c cleaning 53001 clauses out of 106055 with flag 7510257/1475002
52.07/49.67	c cleaning 53997 clauses out of 108052 with flag 7762374/1530000
54.36/51.93	c cleaning 55011 clauses out of 110055 with flag 8017264/1586000
56.76/54.37	c cleaning 55996 clauses out of 112044 with flag 8284344/1643000
59.05/56.62	c cleaning 56992 clauses out of 114051 with flag 8548617/1701003
61.34/58.97	c cleaning 58011 clauses out of 116056 with flag 8822187/1760000
63.74/61.39	c cleaning 58994 clauses out of 118045 with flag 9098885/1820000
66.24/63.90	c cleaning 59998 clauses out of 120052 with flag 9374860/1881001
68.73/66.48	c cleaning 61006 clauses out of 122055 with flag 9655327/1943002
71.34/69.08	c cleaning 61994 clauses out of 124048 with flag 9940289/2006001
74.21/71.96	c cleaning 62997 clauses out of 126054 with flag 10235442/2070001
77.01/74.75	c cleaning 64024 clauses out of 128058 with flag 10525372/2135002
79.73/77.40	c cleaning 64986 clauses out of 130032 with flag 10815824/2201000
82.75/80.41	c cleaning 66003 clauses out of 132046 with flag 11121094/2268000
85.75/83.42	c cleaning 67004 clauses out of 134043 with flag 11419041/2336000
88.84/86.54	c cleaning 67994 clauses out of 136039 with flag 11721727/2405000
92.13/89.80	c cleaning 69009 clauses out of 138046 with flag 12024495/2475001
95.12/92.90	c cleaning 69989 clauses out of 140037 with flag 12338749/2546001
98.65/96.45	c cleaning 70992 clauses out of 142047 with flag 12656101/2618000
101.85/99.68	c cleaning 72010 clauses out of 144055 with flag 12976913/2691000
105.44/103.29	c cleaning 72997 clauses out of 146045 with flag 13296827/2765000
108.82/106.61	c cleaning 74004 clauses out of 148050 with flag 13619997/2840002
112.52/110.36	c cleaning 75006 clauses out of 150044 with flag 13945379/2916000
116.50/114.31	c cleaning 75987 clauses out of 152038 with flag 14278118/2993000
120.21/118.08	c cleaning 77001 clauses out of 154052 with flag 14611361/3071001
123.99/121.82	c cleaning 78016 clauses out of 156051 with flag 14949247/3150001
127.76/125.75	c cleaning 79008 clauses out of 158034 with flag 15281610/3230000
131.75/129.78	c cleaning 80002 clauses out of 160027 with flag 15624431/3311001
135.75/133.79	c cleaning 80987 clauses out of 162024 with flag 15967464/3393000
139.94/138.01	c cleaning 82004 clauses out of 164040 with flag 16316130/3476003
144.42/142.49	c cleaning 83004 clauses out of 166033 with flag 16662108/3560000
148.75/146.78	c cleaning 83991 clauses out of 168030 with flag 17026189/3645001
153.29/151.29	c cleaning 84999 clauses out of 170039 with flag 17394957/3731001
157.85/155.96	c cleaning 86008 clauses out of 172039 with flag 17758131/3818000
162.55/160.69	c cleaning 86992 clauses out of 174031 with flag 18127103/3906000
167.24/165.39	c cleaning 87998 clauses out of 176039 with flag 18489659/3995000
172.04/170.12	c cleaning 89004 clauses out of 178042 with flag 18858417/4085001
176.51/174.62	c cleaning 89996 clauses out of 180038 with flag 19233877/4176001
181.51/179.67	c cleaning 91013 clauses out of 182041 with flag 19613729/4268000
186.60/184.71	c cleaning 92008 clauses out of 184029 with flag 19989961/4361001
191.58/189.80	c cleaning 92989 clauses out of 186020 with flag 20367731/4455000
196.20/194.44	c cleaning 93994 clauses out of 188031 with flag 20748805/4550000
201.10/199.39	c cleaning 94998 clauses out of 190038 with flag 21135541/4646001
206.29/204.51	c cleaning 95995 clauses out of 192040 with flag 21518130/4743001
211.27/209.54	c cleaning 97009 clauses out of 194045 with flag 21896932/4841001
216.47/214.70	c cleaning 98011 clauses out of 196035 with flag 22281917/4940000
221.53/219.98	c cleaning 98993 clauses out of 198025 with flag 22670208/5040001
226.92/225.31	c cleaning 100003 clauses out of 200031 with flag 23055906/5141000
232.01/230.46	c cleaning 101004 clauses out of 202029 with flag 23452147/5243001
237.21/235.67	c cleaning 101997 clauses out of 204025 with flag 23841180/5346001
242.30/240.72	c cleaning 103003 clauses out of 206028 with flag 24231240/5450001
247.29/245.76	c cleaning 103997 clauses out of 208024 with flag 24629321/5555000
252.67/251.29	c cleaning 105002 clauses out of 210027 with flag 25023670/5661000
257.97/256.54	c cleaning 106009 clauses out of 212026 with flag 25417244/5768001
263.16/261.79	c cleaning 106995 clauses out of 214016 with flag 25816592/5876000
268.56/267.11	c cleaning 108000 clauses out of 216021 with flag 26214123/5985000
274.04/272.60	c cleaning 108993 clauses out of 218021 with flag 26616873/6095000
279.34/278.04	c cleaning 110010 clauses out of 220029 with flag 27025968/6206001
285.02/283.77	c cleaning 111000 clauses out of 222019 with flag 27439744/6318001
290.91/289.62	c cleaning 111997 clauses out of 224019 with flag 27865219/6431001
296.60/295.34	c cleaning 113007 clauses out of 226021 with flag 28282768/6545000
302.69/301.45	c cleaning 113986 clauses out of 228015 with flag 28713763/6660001
308.48/307.23	c cleaning 114998 clauses out of 230029 with flag 29152679/6776001
314.86/313.74	c cleaning 115999 clauses out of 232031 with flag 29602984/6893001
321.35/320.22	c cleaning 117002 clauses out of 234031 with flag 30052611/7011000
328.26/327.11	c cleaning 118006 clauses out of 236029 with flag 30507213/7130000
335.25/334.13	c cleaning 118995 clauses out of 238023 with flag 30981264/7250000
342.34/341.32	c cleaning 120002 clauses out of 240029 with flag 31452966/7371001
349.43/348.43	c cleaning 120999 clauses out of 242026 with flag 31935369/7493000
356.68/355.67	c cleaning 122001 clauses out of 244028 with flag 32411885/7616001
363.87/362.84	c cleaning 123001 clauses out of 246028 with flag 32898950/7740002
371.68/370.83	c cleaning 123999 clauses out of 248025 with flag 33392022/7865000
379.17/378.31	c cleaning 125002 clauses out of 250026 with flag 33881932/7991000
386.71/385.89	c cleaning 125999 clauses out of 252024 with flag 34385865/8118000
394.40/393.55	c cleaning 127000 clauses out of 254026 with flag 34882584/8246001
402.87/402.07	c cleaning 128007 clauses out of 256025 with flag 35390785/8375000
411.74/410.96	c cleaning 128998 clauses out of 258019 with flag 35904839/8505001
420.89/420.02	c cleaning 130000 clauses out of 260020 with flag 36426724/8636000
429.88/428.97	c cleaning 130997 clauses out of 262020 with flag 36952124/8768000
438.79/437.96	c cleaning 132000 clauses out of 264024 with flag 37483109/8901001
448.13/447.22	c cleaning 133003 clauses out of 266024 with flag 38016552/9035001
457.92/457.10	c cleaning 133998 clauses out of 268021 with flag 38553528/9170001
467.48/466.69	c cleaning 135005 clauses out of 270023 with flag 39087753/9306001
477.08/475.92	c cleaning 136002 clauses out of 272017 with flag 39618997/9443000
486.19/484.87	c cleaning 136995 clauses out of 274016 with flag 40143257/9581001
495.80/494.21	c cleaning 138001 clauses out of 276021 with flag 40679512/9720001
505.44/503.69	c cleaning 139002 clauses out of 278019 with flag 41228712/9860000
515.81/513.91	c cleaning 139994 clauses out of 280017 with flag 41776967/10001000
526.09/524.11	c cleaning 141003 clauses out of 282023 with flag 42345413/10143000
537.44/535.45	c cleaning 142001 clauses out of 284021 with flag 42932332/10286001
549.50/547.39	c cleaning 143002 clauses out of 286019 with flag 43522740/10430000
562.34/560.21	c cleaning 144000 clauses out of 288017 with flag 44138071/10575000
575.59/573.45	c cleaning 145010 clauses out of 290019 with flag 44746504/10721002
589.04/586.98	c cleaning 145997 clauses out of 292007 with flag 45366219/10868000
603.41/601.22	c cleaning 146996 clauses out of 294011 with flag 46005068/11016001
617.67/615.49	c cleaning 148001 clauses out of 296014 with flag 46650111/11165000
634.80/632.68	c cleaning 149000 clauses out of 298014 with flag 47320192/11315001
653.34/648.99	c cleaning 150001 clauses out of 300012 with flag 48011844/11466001
657.54/653.08	c starts		: 13803
657.54/653.09	c conflicts		: 11530558
657.54/653.09	c decisions		: 16042131
657.54/653.09	c propagations		: 95894664
657.54/653.09	c inspects		: 11098381350
657.54/653.09	c shortcuts		: 0
657.54/653.09	c learnt literals	: 18
657.54/653.09	c learnt binary clauses	: 131
657.54/653.09	c learnt ternary clauses	: 567
657.54/653.09	c learnt constraints	: 11530539
657.54/653.09	c ignored constraints	: 0
657.54/653.09	c root simplifications	: 0
657.54/653.09	c removed literals (reason simplification)	: 9879176
657.54/653.09	c reason swapping (by a shorter reason)	: 0
657.54/653.09	c Calls to reduceDB	: 147
657.54/653.09	c Number of update (reduction) of LBD	: 2520789
657.54/653.09	c Imported unit clauses	: 0
657.54/653.09	c No decision after first conflict	: false
657.54/653.09	c number of reductions to clauses (during analyze)	: 0
657.54/653.09	c number of learned constraints concerned by reduction	: 0
657.54/653.09	c number of learning phase by resolution	: 0
657.54/653.09	c number of learning phase by cutting planes	: 0
657.54/653.09	c number of rounding to 1 operations	: 0
657.54/653.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
657.54/653.09	c number of reductions of the coefficients by power 2 	: 0
657.54/653.09	c number of right shift for reduction by power 2 	: 0
657.54/653.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
657.54/653.09	c number of ending skipping 	: 0
657.54/653.09	c number of internal skipping 	: 0
657.54/653.09	c number of derivation steps 	: 0
657.54/653.09	c number of skipped derivation steps 	: 0
657.54/653.09	c number of remaining unassigned 	: 0
657.54/653.09	c number of remaining assigned 	: 0
657.54/653.09	c number of falsified literals weakened from reason	: 0
657.54/653.09	c number of falsified literals weakened from conflict	: 0
657.54/653.09	c time for arithmetic operations	: 0
657.54/653.09	c minimum degree of deleted constraints	: null
657.54/653.09	c maximum degree of deleted constraints	: null
657.54/653.09	c number of deleted constraints	: 0
657.54/653.11	c speed (assignments/second)	: 146872.48951235315
657.54/653.11	c non guided choices	: 583523
657.73/653.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 214420
657.73/653.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 131
657.73/653.25	s UNSATISFIABLE
657.73/653.25	c Total wall clock time (in seconds): 653.122

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

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

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=186531, runsolver pid=186528

[startup+0.101156 s]*
/proc/loadavg: 4.39 4.21 4.19 8/322 186549
/proc/meminfo: memFree=76671768/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=18975048 memory=65764 CPUtime=0.14 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 7256 0 0 0 13 1 0 0 20 0 18 0 18745517 19430449152 16441 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4743762 16441 5736 1 0 551462 0
[pid=186531/tid=186533] ppid=186528 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 1078198336 5765 0 0 0 8 1 0 0 20 0 18 0 18745518 19430449152 16441 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18745520 19430449152 16441 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18745521 19430449152 16441 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65764 KiB

[startup+0.2067 s]*
/proc/loadavg: 4.39 4.21 4.19 6/323 186550
/proc/meminfo: memFree=76626372/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19041612 memory=78036 CPUtime=0.34 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 7737 0 0 0 32 2 0 0 20 0 19 0 18745517 19498610688 19509 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4760403 19509 5840 1 0 552033 0
[pid=186531/tid=186533] ppid=186528 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 1077936192 5996 0 0 0 17 1 0 0 20 0 19 0 18745518 19498610688 19509 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19041612 memory=1057316 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745520 19498610688 19509 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19041612 memory=15824391262966388 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 18745521 19498610688 19509 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745536 19498610688 19509 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78036 KiB

[startup+0.30735 s]*
/proc/loadavg: 4.39 4.21 4.19 7/323 186550
/proc/meminfo: memFree=76609544/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19041612 memory=84368 CPUtime=0.53 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 8296 0 0 0 51 2 0 0 20 0 19 0 18745517 19498610688 21092 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4760403 21092 5840 1 0 552518 0
[pid=186531/tid=186533] ppid=186528 vsize=19041612 memory=-8600579403872510652 CPUtime=0.27 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 6032 0 0 0 26 1 0 0 20 0 19 0 18745518 19498610688 21092 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745520 19498610688 21092 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 18745521 19498610688 21092 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745536 19498610688 21092 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84368 KiB

[startup+0.700348 s]
/proc/loadavg: 4.39 4.21 4.19 8/323 186552
/proc/meminfo: memFree=76523612/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19041612 memory=129164 CPUtime=1.28 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 13789 0 0 0 123 5 0 0 20 0 19 0 18745517 19498610688 32291 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4760403 32291 5851 1 0 555462 0
[pid=186531/tid=186533] ppid=186528 vsize=19041612 memory=67732 CPUtime=0.64 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 6130 0 0 0 62 2 0 0 20 0 19 0 18745518 19498610688 32291 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19041612 memory=12108 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745520 19498610688 32291 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19041612 memory=2224 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 18745521 19498610688 32291 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19041612 memory=25560 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745536 19498610688 32291 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129164 KiB

[startup+1.50036 s]
/proc/loadavg: 4.39 4.21 4.19 6/323 186552
/proc/meminfo: memFree=76407912/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=183556 CPUtime=2.87 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 22218 0 0 0 280 7 0 0 20 0 20 0 18745517 19566772224 45889 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 45889 5883 1 0 557260 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=12108 CPUtime=1.41 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 6524 0 0 0 138 3 0 0 20 0 20 0 18745518 19566772224 45889 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 45889 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=2224 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 45889 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=25560 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 45889 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183556 KiB

[startup+3.10636 s]
/proc/loadavg: 4.52 4.24 4.20 7/324 186553
/proc/meminfo: memFree=76306056/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=237168 CPUtime=5.53 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 24013 0 0 0 542 11 0 0 20 0 20 0 18745517 19566772224 59292 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 59292 5883 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=0 CPUtime=2.98 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 6953 0 0 0 291 7 0 0 20 0 20 0 18745518 19566772224 59292 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=-8600579403872510652 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 59292 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 59292 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=2224 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 59292 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 237168 KiB

[startup+6.30024 s]
/proc/loadavg: 4.52 4.24 4.20 5/324 186553
/proc/meminfo: memFree=75899684/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=559100 CPUtime=8.96 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 24557 0 0 0 875 21 0 0 20 0 20 0 18745517 19566772224 139775 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 139775 5883 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=2224 CPUtime=6.08 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 7389 0 0 0 592 16 0 0 20 0 20 0 18745518 19566772224 139775 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 139775 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 139775 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 139775 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 559100 KiB

[startup+12.7004 s]
/proc/loadavg: 4.48 4.23 4.20 5/324 186554
/proc/meminfo: memFree=75357060/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1077252 CPUtime=15.37 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 26969 0 0 0 1500 37 0 0 20 0 20 0 18745517 19566772224 269313 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 269313 5883 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=12108 CPUtime=12.47 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 9356 0 0 0 1215 32 0 0 20 0 20 0 18745518 19566772224 269313 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=561156 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 269313 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=67732 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 269313 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 269313 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 15.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1077252 KiB

[startup+25.5005 s]
/proc/loadavg: 4.45 4.24 4.20 5/324 186556
/proc/meminfo: memFree=74453080/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1212536 CPUtime=28.16 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 31479 0 0 0 2765 51 0 0 20 0 20 0 18745517 19566772224 303134 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 303134 5899 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=6943526294502006880 CPUtime=25.08 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 10453 0 0 0 2463 45 0 0 20 0 20 0 18745518 19566772224 303134 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 303134 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=4330 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 303134 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 303134 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 28.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1212536 KiB

[startup+51.1136 s]
/proc/loadavg: 4.30 4.22 4.19 8/322 186626
/proc/meminfo: memFree=86092504/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1331344 CPUtime=53.57 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 35872 0 0 0 5280 77 0 0 20 0 20 0 18745517 19566772224 332836 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 332836 5899 1 0 557282 0

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

/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 515 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 380150 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=1520600 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 380150 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 524.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1520600 KiB

[startup+582.3 s]
/proc/loadavg: 4.28 4.24 4.19 5/322 187154
/proc/meminfo: memFree=76182788/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1573976 CPUtime=584.47 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 66491 0 0 0 58065 382 0 0 20 0 20 0 18745517 19566772224 393494 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 393494 5899 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=12108 CPUtime=574.49 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 25626 0 0 0 57106 343 0 0 20 0 20 0 18745518 19566772224 393494 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 195 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=1573976 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 393494 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=1573976 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 515 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 393494 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=1573976 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 393494 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 584.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1573976 KiB

[startup+642.301 s]
/proc/loadavg: 4.23 4.24 4.19 5/322 187165
/proc/meminfo: memFree=75219296/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1637616 CPUtime=644.66 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 71660 0 0 0 64063 403 0 0 20 0 20 0 18745517 19566772224 409404 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 409404 5899 1 0 557282 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=1485732 CPUtime=633.89 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27554 0 0 0 63029 360 0 0 20 0 20 0 18745518 19566772224 409404 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 201 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=1637604 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 409404 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=5793975896304009320 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 409404 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=1606788 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 409404 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 644.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1637616 KiB

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

# cumulated CPU time of all completed processes:  user=653.712 s, system=4.10896 s

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

[startup+646.4 s]
/proc/loadavg: 4.29 4.25 4.20 5/322 187165
/proc/meminfo: memFree=75159392/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1644616 CPUtime=650.37 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 75577 0 0 0 64631 406 0 0 20 0 20 0 18745517 19566772224 411154 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 411154 5899 1 0 557619 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=5456 CPUtime=637.97 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27833 0 0 0 63436 361 0 0 20 0 20 0 18745518 19566772224 411154 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 201 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=25560 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 411154 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=31948 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 411154 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=-8600579403872510652 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 411154 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 650.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1644616 KiB

[startup+649.6 s]
/proc/loadavg: 4.27 4.24 4.20 5/322 187165
/proc/meminfo: memFree=75115576/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1648612 CPUtime=654.05 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 79102 0 0 0 64997 408 0 0 20 0 20 0 18745517 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 412153 5899 1 0 558627 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=1643596 CPUtime=641.14 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27843 0 0 0 63752 362 0 0 20 0 20 0 18745518 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 204 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=-8600579403872510652 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=-8600579403872510652 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 654.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1648612 KiB

[startup+651.2 s]
/proc/loadavg: 4.27 4.24 4.20 5/322 187167
/proc/meminfo: memFree=75086540/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1648612 CPUtime=655.66 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 79107 0 0 0 65157 409 0 0 20 0 20 0 18745517 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 412153 5899 1 0 558627 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=1648612 CPUtime=642.74 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27843 0 0 0 63911 363 0 0 20 0 20 0 18745518 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 204 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=67960 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=1638104 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=2796 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 412153 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 655.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1648612 KiB

[startup+652 s]*
/proc/loadavg: 4.27 4.24 4.20 5/322 187167
/proc/meminfo: memFree=75082624/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1642900 CPUtime=656.54 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 79110 0 0 0 65245 409 0 0 20 0 20 0 18745517 19566772224 410725 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 410725 5899 1 0 558627 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=-9176763074950767292 CPUtime=643.55 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27843 0 0 0 63992 363 0 0 20 0 20 0 18745518 19566772224 410725 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 204 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=3689915084668590944 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 410725 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=2828 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 410725 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=1404222122299264374 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 410725 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 656.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1642900 KiB

[startup+652.8 s]
/proc/loadavg: 4.27 4.24 4.20 5/322 187167
/proc/meminfo: memFree=75082624/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19108176 memory=1642912 CPUtime=657.33 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 79170 0 0 0 65324 409 0 0 20 0 20 0 18745517 19566772224 410728 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4777044 410728 5899 1 0 558627 0
[pid=186531/tid=186533] ppid=186528 vsize=19108176 memory=1642548 CPUtime=644.33 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) R 186528 186531 182119 0 -1 4194368 27903 0 0 0 64070 363 0 0 20 0 20 0 18745518 19566772224 410728 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 204 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19108176 memory=1637604 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19566772224 410728 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19108176 memory=67960 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19566772224 410728 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186550] ppid=186528 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/186531/task/186550/stat : 186550 (Timer-0) S 186528 186531 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745536 19566772224 410728 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 657.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1642912 KiB

[startup+653.201 s]
/proc/loadavg: 4.25 4.24 4.19 5/322 187167
/proc/meminfo: memFree=75070444/131655788 swapFree=131063676/131071996
[pid=186531] ppid=186528 vsize=19241304 memory=1643244 CPUtime=657.73 cores=5,7
/proc/186531/stat : 186531 (java) S 186528 186531 182119 0 -1 1077936128 80107 0 0 0 65364 409 0 0 20 0 20 0 18745517 19703095296 410811 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
/proc/186531/statm: 4810326 410811 5898 1 0 559245 0
[pid=186531/tid=186533] ppid=186528 vsize=19241304 memory=2168 CPUtime=644.6 cores=5,7
/proc/186531/task/186533/stat : 186533 (java) S 186528 186531 182119 0 -1 1077936192 28559 0 0 0 64097 363 0 0 20 0 20 0 18745518 19703095296 410811 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 206 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186542] ppid=186528 vsize=19241304 memory=-8600579403872510652 CPUtime=0 cores=5,7
/proc/186531/task/186542/stat : 186542 (Finalizer) S 186528 186531 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745520 19703095296 410811 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
[pid=186531/tid=186549] ppid=186528 vsize=19241304 memory=-4695052241013923951 CPUtime=0 cores=5,7
/proc/186531/task/186549/stat : 186549 (Common-Cleaner) S 186528 186531 182119 0 -1 1077936192 572 0 0 0 0 0 0 0 20 0 20 0 18745521 19703095296 410811 134679101440 94482898591744 94482898595440 140731822985824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94482898603256 94482898604048 94482908626944 140731822994347 140731822994529 140731822994529 140731823001544 0
Current children cumulated CPU time: 657.73 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1643244 KiB

Child status: 20

Real time (s): 653.264
CPU time (s): 657.821
CPU user time (s): 653.712
CPU system time (s): 4.10896
CPU usage (%): 100.698
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1648612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.712
system time used= 4.10896
maximum resident set size= 1649676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2885472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21651
involuntary context switches= 1780


# summary of solver processes directly reported to runsolver:
#   pid: 186531
#   total CPU time (s): 657.821
#   total CPU user time (s): 653.712
#   total CPU system time (s): 4.10896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58931 second user time and 6.94821 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 15:26:05
IDJOB=4447982
IDBENCH=160354
IDSOLVER=3079
FILE ID=nodeC003/4447982-1721827565
RUNJOBID= nodeC003-1721820325-182132
SLURM_JOB_ID= 7891444
Free space on /tmp= 723700 MiB

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

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

MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=1282150474

nodeC003.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		: 3665.556
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.994
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.31
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.438
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        76746848 kB
MemAvailable:   119876552 kB
Buffers:          258972 kB
Cached:         43413420 kB
SwapCached:          800 kB
Active:          2622328 kB
Inactive:       51256052 kB
Active(anon):       2116 kB
Inactive(anon): 10256904 kB
Active(file):    2620212 kB
Inactive(file): 40999148 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:            206648 kB
Writeback:            96 kB
AnonPages:      10204920 kB
Mapped:           131620 kB
Shmem:             53532 kB
KReclaimable:     572088 kB
Slab:             693244 kB
SReclaimable:     572088 kB
SUnreclaim:       121156 kB
KernelStack:        4924 kB
PageTables:        29996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12686156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9768960 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-24 15:36:58