Trace number 4448504

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 Default 2024-07-07UNSAT 599.246 596.396

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2113181440
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2122317824
0.00/0.10	c Number of processors 	2
0.15/0.13	--- Begin Solver configuration ---
0.15/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.15/0.13	Learn all clauses as in MiniSAT
0.15/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.13	No reason simplification
0.15/0.13	Glucose 2.1 dynamic restart strategy
0.15/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.15/0.13	timeout=2147483s
0.15/0.13	DB Simplification allowed=false
0.15/0.13	Listener: none
0.15/0.13	--- End Solver configuration ---
0.15/0.13	c Pseudo Boolean Optimization by upper bound
0.15/0.13	c --- Begin Solver configuration ---
0.15/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.15/0.13	c Learn all clauses as in MiniSAT
0.15/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.13	c No reason simplification
0.15/0.13	c Glucose 2.1 dynamic restart strategy
0.15/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.15/0.13	c timeout=2147483s
0.15/0.13	c DB Simplification allowed=false
0.15/0.13	c Listener: none
0.15/0.13	c --- End Solver configuration ---
0.15/0.13	c solving HOME/instance-4448504-1721357358.opb
0.15/0.13	c reading problem ... 
0.15/0.13	c  no objective function found
0.15/0.18	c ... done. Wall clock time 0.046s.
0.15/0.18	c declared #vars     801
0.15/0.18	c #constraints  802
0.15/0.18	c constraints type 
0.15/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.15/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.15/0.18	c 802 constraints processed.
0.54/0.38	c cleaning 2486 clauses out of 5001 with flag 19845/5001
0.91/0.57	c cleaning 4247 clauses out of 8515 with flag 47997/11001
1.27/0.79	c cleaning 5619 clauses out of 11271 with flag 83414/18004
1.69/0.92	c cleaning 6802 clauses out of 13650 with flag 127564/26002
1.87/1.05	c cleaning 7890 clauses out of 15846 with flag 177221/35000
2.06/1.19	c cleaning 8955 clauses out of 17957 with flag 237173/45001
2.42/1.32	c cleaning 9965 clauses out of 20001 with flag 296589/56000
2.64/1.48	c cleaning 10980 clauses out of 22037 with flag 362472/68001
2.87/1.65	c cleaning 11981 clauses out of 24056 with flag 434075/81000
3.09/1.84	c cleaning 12995 clauses out of 26075 with flag 510750/95000
3.30/2.05	c cleaning 13996 clauses out of 28081 with flag 593060/110001
3.49/2.29	c cleaning 15005 clauses out of 30084 with flag 685609/126000
3.86/2.54	c cleaning 16017 clauses out of 32080 with flag 779638/143001
4.22/2.83	c cleaning 16987 clauses out of 34063 with flag 882280/161001
4.54/3.13	c cleaning 17983 clauses out of 36076 with flag 987883/180001
4.83/3.45	c cleaning 19039 clauses out of 38092 with flag 1097534/200000
5.22/3.81	c cleaning 19981 clauses out of 40054 with flag 1215245/221001
5.65/4.20	c cleaning 21001 clauses out of 42073 with flag 1342718/243001
5.95/4.59	c cleaning 22026 clauses out of 44072 with flag 1467330/266001
6.46/5.03	c cleaning 23023 clauses out of 46046 with flag 1597843/290001
6.95/5.50	c cleaning 23979 clauses out of 48022 with flag 1731477/315000
7.46/6.01	c cleaning 25011 clauses out of 50045 with flag 1871324/341002
7.94/6.53	c cleaning 25992 clauses out of 52032 with flag 2010843/368000
8.55/7.11	c cleaning 27005 clauses out of 54041 with flag 2158241/396001
9.15/7.72	c cleaning 27979 clauses out of 56035 with flag 2305008/425000
9.75/8.38	c cleaning 28999 clauses out of 58057 with flag 2471964/455001
10.45/9.01	c cleaning 29982 clauses out of 60058 with flag 2632869/486001
11.14/9.70	c cleaning 30987 clauses out of 62075 with flag 2797074/518000
11.86/10.46	c cleaning 32008 clauses out of 64089 with flag 2966062/551001
12.66/11.24	c cleaning 33008 clauses out of 66081 with flag 3143237/585001
13.47/12.07	c cleaning 34012 clauses out of 68072 with flag 3321945/620000
14.35/12.91	c cleaning 34990 clauses out of 70061 with flag 3505757/656001
15.25/13.80	c cleaning 35997 clauses out of 72071 with flag 3690652/693001
16.15/14.72	c cleaning 37007 clauses out of 74074 with flag 3881092/731001
17.15/15.70	c cleaning 38004 clauses out of 76070 with flag 4078909/770004
18.15/16.72	c cleaning 38996 clauses out of 78063 with flag 4275318/810001
19.26/17.85	c cleaning 40019 clauses out of 80066 with flag 4479941/851000
20.47/19.05	c cleaning 41000 clauses out of 82047 with flag 4688551/893000
21.75/20.32	c cleaning 42000 clauses out of 84048 with flag 4898512/936001
23.05/21.61	c cleaning 42991 clauses out of 86048 with flag 5117497/980001
24.35/22.98	c cleaning 44018 clauses out of 88056 with flag 5340262/1025000
25.74/24.34	c cleaning 44977 clauses out of 90038 with flag 5564588/1071000
27.14/25.79	c cleaning 45995 clauses out of 92062 with flag 5788410/1118001
28.75/27.31	c cleaning 47011 clauses out of 94066 with flag 6023281/1166000
30.24/28.82	c cleaning 47999 clauses out of 96055 with flag 6258218/1215000
31.94/30.52	c cleaning 49008 clauses out of 98056 with flag 6491975/1265000
33.55/32.12	c cleaning 50009 clauses out of 100049 with flag 6732552/1316001
35.23/33.81	c cleaning 51006 clauses out of 102039 with flag 6978297/1368000
36.93/35.56	c cleaning 52002 clauses out of 104033 with flag 7229713/1421000
38.83/37.43	c cleaning 53016 clauses out of 106031 with flag 7496867/1475000
40.63/39.30	c cleaning 54001 clauses out of 108015 with flag 7755431/1530000
42.63/41.28	c cleaning 54966 clauses out of 110014 with flag 8018647/1586000
44.82/43.41	c cleaning 56015 clauses out of 112049 with flag 8290509/1643001
47.03/45.68	c cleaning 56984 clauses out of 114033 with flag 8565293/1701000
49.13/47.78	c cleaning 58006 clauses out of 116050 with flag 8842405/1760001
51.32/49.96	c cleaning 59001 clauses out of 118045 with flag 9120031/1820002
53.62/52.24	c cleaning 59993 clauses out of 120044 with flag 9400713/1881002
55.91/54.54	c cleaning 60999 clauses out of 122049 with flag 9682040/1943000
58.21/56.85	c cleaning 62017 clauses out of 124050 with flag 9964582/2006000
60.71/59.39	c cleaning 63007 clauses out of 126034 with flag 10256175/2070001
63.25/61.88	c cleaning 63992 clauses out of 128026 with flag 10546274/2135000
65.94/64.51	c cleaning 64992 clauses out of 130034 with flag 10845688/2201000
68.64/67.20	c cleaning 65995 clauses out of 132042 with flag 11147235/2268000
71.45/70.06	c cleaning 66998 clauses out of 134047 with flag 11450117/2336000
74.33/72.95	c cleaning 67997 clauses out of 136050 with flag 11761798/2405001
77.03/75.67	c cleaning 69001 clauses out of 138053 with flag 12066379/2475001
80.23/78.81	c cleaning 70005 clauses out of 140051 with flag 12381494/2546000
83.32/81.93	c cleaning 71005 clauses out of 142047 with flag 12699551/2618001
86.62/85.28	c cleaning 72004 clauses out of 144042 with flag 13029440/2691001
90.01/88.67	c cleaning 73002 clauses out of 146037 with flag 13357540/2765000
93.80/92.45	c cleaning 73986 clauses out of 148036 with flag 13698712/2840001
97.41/96.05	c cleaning 75000 clauses out of 150050 with flag 14031783/2916001
101.10/99.71	c cleaning 76004 clauses out of 152050 with flag 14373757/2993001
104.60/103.23	c cleaning 77009 clauses out of 154046 with flag 14711277/3071001
108.09/106.80	c cleaning 77998 clauses out of 156036 with flag 15057195/3150000
111.59/110.27	c cleaning 79010 clauses out of 158038 with flag 15408019/3230000
115.63/114.21	c cleaning 79990 clauses out of 160029 with flag 15764103/3311001
119.43/118.06	c cleaning 81005 clauses out of 162039 with flag 16121337/3393001
123.21/121.88	c cleaning 81987 clauses out of 164034 with flag 16481391/3476001
127.32/125.91	c cleaning 82999 clauses out of 166048 with flag 16839063/3560002
131.60/130.23	c cleaning 84003 clauses out of 168047 with flag 17206791/3645000
136.21/134.83	c cleaning 85002 clauses out of 170044 with flag 17577155/3731000
140.60/139.25	c cleaning 86001 clauses out of 172042 with flag 17947689/3818000
145.19/143.89	c cleaning 87006 clauses out of 174041 with flag 18326455/3906000
149.68/148.32	c cleaning 87988 clauses out of 176035 with flag 18695809/3995000
154.27/152.98	c cleaning 89008 clauses out of 178047 with flag 19071703/4085000
159.17/157.87	c cleaning 89994 clauses out of 180039 with flag 19448135/4176000
163.86/162.60	c cleaning 91001 clauses out of 182047 with flag 19826507/4268002
168.56/167.20	c cleaning 92006 clauses out of 184046 with flag 20206598/4361002
173.05/171.78	c cleaning 93000 clauses out of 186039 with flag 20586393/4455001
178.15/176.82	c cleaning 94002 clauses out of 188039 with flag 20971322/4550001
183.15/181.89	c cleaning 94994 clauses out of 190036 with flag 21357650/4646000
187.94/186.67	c cleaning 96013 clauses out of 192043 with flag 21740485/4743001
192.93/191.60	c cleaning 97002 clauses out of 194029 with flag 22125259/4841000
197.83/196.57	c cleaning 97996 clauses out of 196027 with flag 22514562/4940000
202.83/201.55	c cleaning 98999 clauses out of 198031 with flag 22899210/5040000
207.72/206.46	c cleaning 100004 clauses out of 200034 with flag 23285371/5141002
212.42/211.13	c cleaning 101000 clauses out of 202029 with flag 23675322/5243001
217.35/216.02	c cleaning 102002 clauses out of 204029 with flag 24064122/5346001
221.94/220.68	c cleaning 103001 clauses out of 206026 with flag 24449354/5450000
226.63/225.34	c cleaning 104001 clauses out of 208025 with flag 24836101/5555000
231.44/230.16	c cleaning 105006 clauses out of 210024 with flag 25227003/5661000
236.33/235.08	c cleaning 105997 clauses out of 212019 with flag 25620921/5768001
241.01/239.74	c cleaning 106992 clauses out of 214021 with flag 26020229/5876000
245.81/244.56	c cleaning 108010 clauses out of 216031 with flag 26416027/5985002
250.60/249.34	c cleaning 108999 clauses out of 218020 with flag 26817823/6095001
255.41/254.14	c cleaning 109993 clauses out of 220020 with flag 27221377/6206000
260.19/258.95	c cleaning 110998 clauses out of 222028 with flag 27629613/6318001
265.39/264.12	c cleaning 112000 clauses out of 224030 with flag 28038648/6431001
270.59/269.39	c cleaning 113007 clauses out of 226030 with flag 28448803/6545001
275.78/274.53	c cleaning 114003 clauses out of 228023 with flag 28874016/6660001
281.07/279.86	c cleaning 114997 clauses out of 230020 with flag 29298997/6776001
286.62/285.35	c cleaning 116005 clauses out of 232024 with flag 29727927/6893002
292.01/290.77	c cleaning 116993 clauses out of 234017 with flag 30158989/7011000
297.60/296.33	c cleaning 118000 clauses out of 236024 with flag 30586400/7130000
303.49/302.20	c cleaning 119001 clauses out of 238025 with flag 31029539/7250001
309.34/308.04	c cleaning 120001 clauses out of 240024 with flag 31465006/7371001
315.33/314.02	c cleaning 120994 clauses out of 242022 with flag 31910360/7493000
321.42/320.13	c cleaning 122004 clauses out of 244029 with flag 32358751/7616001
327.20/326.00	c cleaning 123004 clauses out of 246025 with flag 32810693/7740001
333.08/331.83	c cleaning 123997 clauses out of 248021 with flag 33265251/7865001
339.58/338.38	c cleaning 125003 clauses out of 250024 with flag 33720189/7991001
345.66/344.49	c cleaning 126002 clauses out of 252020 with flag 34172899/8118000
351.75/350.56	c cleaning 126995 clauses out of 254018 with flag 34635665/8246000
358.45/357.22	c cleaning 128000 clauses out of 256023 with flag 35123816/8375000
365.84/364.64	c cleaning 128997 clauses out of 258024 with flag 35625209/8505001
372.93/371.76	c cleaning 130005 clauses out of 260026 with flag 36136978/8636000
379.91/378.72	c cleaning 131001 clauses out of 262021 with flag 36637771/8768000
387.40/386.27	c cleaning 131999 clauses out of 264021 with flag 37154723/8901001
395.32/394.18	c cleaning 133001 clauses out of 266021 with flag 37688801/9035000
403.51/402.38	c cleaning 133997 clauses out of 268020 with flag 38240999/9170000
411.59/410.43	c cleaning 134993 clauses out of 270023 with flag 38787853/9306000
418.88/417.74	c cleaning 136001 clauses out of 272031 with flag 39331495/9443001
426.72/425.54	c cleaning 137010 clauses out of 274029 with flag 39861208/9581000
434.60/433.40	c cleaning 138004 clauses out of 276019 with flag 40397966/9720000
442.48/441.34	c cleaning 138999 clauses out of 278016 with flag 40951635/9860001
451.05/449.86	c cleaning 139996 clauses out of 280016 with flag 41506805/10001000
459.43/458.20	c cleaning 141001 clauses out of 282021 with flag 42072521/10143001
466.63/465.49	c cleaning 141999 clauses out of 284019 with flag 42652925/10286000
474.41/473.24	c cleaning 143004 clauses out of 286021 with flag 43243466/10430001
482.08/480.82	c cleaning 143999 clauses out of 288016 with flag 43839401/10575000
490.17/488.92	c cleaning 145003 clauses out of 290017 with flag 44444364/10721000
498.16/497.01	c cleaning 146002 clauses out of 292015 with flag 45032620/10868001
506.45/505.25	c cleaning 146994 clauses out of 294013 with flag 45633075/11016001
514.93/513.63	c cleaning 148004 clauses out of 296019 with flag 46257979/11165001
523.62/522.39	c cleaning 148998 clauses out of 298014 with flag 46876797/11315000
533.50/532.27	c cleaning 149998 clauses out of 300016 with flag 47514176/11466000
543.30/542.09	c cleaning 151003 clauses out of 302019 with flag 48139603/11618001
553.77/552.58	c cleaning 152003 clauses out of 304015 with flag 48767905/11771000
565.22/563.97	c cleaning 153001 clauses out of 306013 with flag 49405138/11925001
577.71/576.41	c cleaning 153995 clauses out of 308011 with flag 50063117/12080000
591.35/588.83	c cleaning 155006 clauses out of 310017 with flag 50746047/12236001
598.89/596.29	c starts		: 15599
598.89/596.29	c conflicts		: 12364103
598.89/596.29	c decisions		: 17454624
598.89/596.29	c propagations		: 99704833
598.89/596.29	c inspects		: 10956118370
598.89/596.29	c shortcuts		: 0
598.89/596.29	c learnt literals	: 11
598.89/596.29	c learnt binary clauses	: 12
598.89/596.29	c learnt ternary clauses	: 22
598.89/596.29	c learnt constraints	: 12364091
598.89/596.29	c ignored constraints	: 0
598.89/596.29	c root simplifications	: 0
598.89/596.29	c removed literals (reason simplification)	: 0
598.89/596.29	c reason swapping (by a shorter reason)	: 0
598.89/596.29	c Calls to reduceDB	: 152
598.89/596.29	c Number of update (reduction) of LBD	: 2564647
598.89/596.29	c Imported unit clauses	: 0
598.89/596.29	c No decision after first conflict	: false
598.89/596.29	c number of reductions to clauses (during analyze)	: 0
598.89/596.29	c number of learned constraints concerned by reduction	: 0
598.89/596.29	c number of learning phase by resolution	: 0
598.89/596.29	c number of learning phase by cutting planes	: 0
598.89/596.29	c number of rounding to 1 operations	: 0
598.89/596.29	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
598.89/596.29	c number of reductions of the coefficients by power 2 	: 0
598.89/596.29	c number of right shift for reduction by power 2 	: 0
598.89/596.29	c number of reductions of the coefficients by GCD over coefficients 	: 0
598.89/596.29	c number of ending skipping 	: 0
598.89/596.29	c number of internal skipping 	: 0
598.89/596.29	c number of derivation steps 	: 0
598.89/596.29	c number of skipped derivation steps 	: 0
598.89/596.29	c number of remaining unassigned 	: 0
598.89/596.29	c number of remaining assigned 	: 0
598.89/596.29	c number of falsified literals weakened from reason	: 0
598.89/596.29	c number of falsified literals weakened from conflict	: 0
598.89/596.29	c time for arithmetic operations	: 0
599.09/596.30	c minimum degree of deleted constraints	: null
599.09/596.30	c maximum degree of deleted constraints	: null
599.09/596.30	c number of deleted constraints	: 0
599.09/596.30	c speed (assignments/second)	: 167259.39886832776
599.09/596.30	c non guided choices	: 644480
599.09/596.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 283089
599.09/596.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
599.09/596.37	s UNSATISFIABLE
599.09/596.37	c Total wall clock time (in seconds): 596.236

Verifier Data 

ERROR: no interpretation found !

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 (57559 MiB free)
  memory of node 1: 64510 MiB (60802 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448504-1721357358/watcher-4448504-1721357358 -o /tmp/evaluation-result-4448504-1721357358/solver-4448504-1721357358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448504-1721357358.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=983726, runsolver pid=983723

[startup+0.104528 s]*
/proc/loadavg: 4.74 4.37 4.21 6/315 983744
/proc/meminfo: memFree=121159308/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=18975048 memory=64412 CPUtime=0.15 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 7074 0 0 0 13 2 0 0 20 0 18 0 187892234 19430449152 16103 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4743762 16103 5625 1 0 551393 0
[pid=983726/tid=983728] ppid=983723 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 5676 0 0 0 8 1 0 0 20 0 18 0 187892234 19430449152 16103 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187892237 19430449152 16103 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187892238 19430449152 16103 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64412 KiB

[startup+0.212376 s]*
/proc/loadavg: 4.74 4.37 4.21 7/316 983745
/proc/meminfo: memFree=121149128/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=74856 CPUtime=0.34 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 7467 0 0 0 32 2 0 0 20 0 19 0 187892234 19498610688 18714 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 18714 5807 1 0 551926 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 5892 0 0 0 17 2 0 0 20 0 19 0 187892234 19498610688 18714 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=5697 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 18714 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 18714 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 18714 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74856 KiB

[startup+0.315384 s]*
/proc/loadavg: 4.74 4.37 4.21 7/316 983745
/proc/meminfo: memFree=121141748/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=81952 CPUtime=0.54 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 10070 0 0 0 51 3 0 0 20 0 19 0 187892234 19498610688 20488 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 20488 5837 1 0 553152 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=-8960865187923272380 CPUtime=0.29 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 5896 0 0 0 27 2 0 0 20 0 19 0 187892234 19498610688 20488 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 20488 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 20488 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 20488 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81952 KiB

[startup+0.700376 s]
/proc/loadavg: 4.74 4.37 4.21 6/316 983745
/proc/meminfo: memFree=121132180/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=92664 CPUtime=1.27 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 13268 0 0 0 123 4 0 0 20 0 19 0 187892234 19498610688 23166 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 23166 5853 1 0 555251 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=43996 CPUtime=0.66 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 5945 0 0 0 64 2 0 0 20 0 19 0 187892234 19498610688 23166 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 23166 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 23166 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 23166 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92664 KiB

[startup+1.50028 s]
/proc/loadavg: 4.74 4.37 4.21 6/316 983745
/proc/meminfo: memFree=121124804/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=107708 CPUtime=2.77 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 17449 0 0 0 273 4 0 0 20 0 19 0 187892234 19498610688 26927 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 26927 5853 1 0 555256 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=11992 CPUtime=1.45 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 6304 0 0 0 143 2 0 0 20 0 19 0 187892234 19498610688 26927 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 26927 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 26927 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 26927 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107708 KiB

[startup+3.11286 s]
/proc/loadavg: 4.74 4.37 4.21 5/316 983745
/proc/meminfo: memFree=121095488/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=128360 CPUtime=4.54 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 18218 0 0 0 449 5 0 0 20 0 19 0 187892234 19498610688 32090 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 32090 5862 1 0 555258 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=0 CPUtime=3.06 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 6623 0 0 0 303 3 0 0 20 0 19 0 187892234 19498610688 32090 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=-8960865187923272380 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 32090 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 32090 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 32090 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128360 KiB

[startup+6.30046 s]
/proc/loadavg: 4.76 4.39 4.21 5/316 983747
/proc/meminfo: memFree=121067368/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19041612 memory=158316 CPUtime=7.74 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 18545 0 0 0 768 6 0 0 20 0 19 0 187892234 19498610688 39579 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4760403 39579 5862 1 0 555258 0
[pid=983726/tid=983728] ppid=983723 vsize=19041612 memory=2312 CPUtime=6.24 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 6915 0 0 0 620 4 0 0 20 0 19 0 187892234 19498610688 39579 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187892237 19498610688 39579 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187892238 19498610688 39579 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19041612 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187892253 19498610688 39579 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158316 KiB

[startup+12.7005 s]
/proc/loadavg: 4.70 4.38 4.21 5/317 983748
/proc/meminfo: memFree=121046524/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=177372 CPUtime=14.15 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 20680 0 0 0 1408 7 0 0 20 0 20 0 187892234 19566772224 44343 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 44343 5894 1 0 555547 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=11992 CPUtime=12.59 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 7402 0 0 0 1255 4 0 0 20 0 20 0 187892234 19566772224 44343 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=177292 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 44343 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 44343 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 44343 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177372 KiB

[startup+25.5005 s]
/proc/loadavg: 4.54 4.36 4.21 5/317 983751
/proc/meminfo: memFree=121038024/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=185636 CPUtime=26.94 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 23260 0 0 0 2686 8 0 0 20 0 20 0 187892234 19566772224 46409 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 46409 5894 1 0 555547 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=6943526294502006880 CPUtime=25.34 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 8607 0 0 0 2530 4 0 0 20 0 20 0 187892234 19566772224 46409 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 46409 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=4357 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 46409 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 46409 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 26.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185636 KiB

[startup+51.1129 s]
/proc/loadavg: 4.36 4.33 4.20 5/317 983754
/proc/meminfo: memFree=120922604/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=239232 CPUtime=52.53 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 26476 0 0 0 5242 11 0 0 20 0 20 0 187892234 19566772224 59808 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 59808 5894 1 0 555547 0

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

/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 248376 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 523.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 993504 KiB

[startup+582.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/321 984541
/proc/meminfo: memFree=120610152/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1050848 CPUtime=583.59 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 45734 0 0 0 58303 56 0 0 20 0 20 0 187892234 19566772224 262712 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 262712 5894 1 0 555567 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=993504 CPUtime=577.83 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 17286 0 0 0 57775 8 0 0 20 0 20 0 187892234 19566772224 262712 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=1050848 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 262712 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=1050848 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 262712 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=19104 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 262712 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 583.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1050848 KiB

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

# cumulated CPU time of all completed processes:  user=598.648 s, system=0.598141 s

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

[startup+588.8 s]
/proc/loadavg: 4.11 4.19 4.17 6/321 984543
/proc/meminfo: memFree=120600152/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1062476 CPUtime=591.35 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54104 0 0 0 59077 58 0 0 20 0 20 0 187892234 19566772224 265619 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 265619 5894 1 0 557268 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=0 CPUtime=584.32 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18259 0 0 0 58424 8 0 0 20 0 20 0 187892234 19566772224 265619 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=993504 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 265619 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=1050848 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 265619 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=-8960865187923272380 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 265619 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 591.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1062476 KiB

[startup+592 s]*
/proc/loadavg: 4.10 4.19 4.17 5/321 984543
/proc/meminfo: memFree=120581232/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1055020 CPUtime=594.6 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54203 0 0 0 59402 58 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 263755 5894 1 0 557268 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=-9177035771013800636 CPUtime=587.52 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18351 0 0 0 58744 8 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=-7448521292198077307 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=33108 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=32824 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 594.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1055020 KiB

[startup+593.6 s]
/proc/loadavg: 4.10 4.19 4.17 5/321 984543
/proc/meminfo: memFree=120581232/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1055020 CPUtime=596.2 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54209 0 0 0 59562 58 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 263755 5894 1 0 557268 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=1055020 CPUtime=589.1 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18353 0 0 0 58902 8 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=592460 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=1062492 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 596.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1055020 KiB

[startup+595.2 s]
/proc/loadavg: 4.01 4.17 4.17 6/320 984611
/proc/meminfo: memFree=122942312/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1055020 CPUtime=597.79 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54212 0 0 0 59721 58 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 263755 5894 1 0 557268 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=1062492 CPUtime=590.7 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18356 0 0 0 59062 8 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=1050900 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 597.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1055020 KiB

[startup+596 s]*
/proc/loadavg: 4.01 4.17 4.17 5/320 984611
/proc/meminfo: memFree=122931500/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1055020 CPUtime=598.6 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54213 0 0 0 59802 58 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 263755 5894 1 0 557268 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=-8598890562601657020 CPUtime=591.51 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18357 0 0 0 59143 8 0 0 20 0 20 0 187892234 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=592468 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=2840 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=4212 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 263755 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 598.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1055020 KiB

[startup+596.201 s]
/proc/loadavg: 4.01 4.17 4.17 5/320 984611
/proc/meminfo: memFree=122931500/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19108176 memory=1055080 CPUtime=598.89 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 54506 0 0 0 59831 58 0 0 20 0 20 0 187892234 19566772224 263770 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4777044 263770 5894 1 0 557300 0
[pid=983726/tid=983728] ppid=983723 vsize=19108176 memory=5551 CPUtime=591.7 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) R 983723 983726 980639 0 -1 4194368 18383 0 0 0 59162 8 0 0 20 0 20 0 187892234 19566772224 263770 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19108176 memory=29743 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187892237 19566772224 263770 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19108176 memory=3618980092137637621 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187892238 19566772224 263770 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19108176 memory=19752 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187892253 19566772224 263770 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 598.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1055080 KiB

[startup+596.3 s]
/proc/loadavg: 4.01 4.17 4.17 5/320 984611
/proc/meminfo: memFree=122931500/131655788 swapFree=131071996/131071996
[pid=983726] ppid=983723 vsize=19175768 memory=1055568 CPUtime=599.09 cores=5,7
/proc/983726/stat : 983726 (java) S 983723 983726 980639 0 -1 1077936128 55775 0 0 0 59850 59 0 0 20 0 22 0 187892234 19635986432 263892 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
/proc/983726/statm: 4793942 263892 5893 1 0 557873 0
[pid=983726/tid=983728] ppid=983723 vsize=19175768 memory=1050848 CPUtime=591.77 cores=5,7
/proc/983726/task/983728/stat : 983728 (java) S 983723 983726 980639 0 -1 1077936192 19245 0 0 0 59169 8 0 0 20 0 22 0 187892234 19635986432 263892 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983737] ppid=983723 vsize=19175768 memory=19104 CPUtime=0 cores=5,7
/proc/983726/task/983737/stat : 983737 (Finalizer) S 983723 983726 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 187892237 19635986432 263892 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983744] ppid=983723 vsize=19175768 memory=11600 CPUtime=0 cores=5,7
/proc/983726/task/983744/stat : 983744 (Common-Cleaner) S 983723 983726 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 22 0 187892238 19635986432 263892 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
[pid=983726/tid=983745] ppid=983723 vsize=19175768 memory=1050848 CPUtime=0 cores=5,7
/proc/983726/task/983745/stat : 983745 (Timer-0) S 983723 983726 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 187892253 19635986432 263892 134679101440 93974758019072 93974758022768 140723254545728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93974758030584 93974758031376 93974761254912 140723254551558 140723254551648 140723254551648 140723254558664 0
Current children cumulated CPU time: 599.09 s
Current children cumulated vsize: 19175768 KiB
Current children cumulated memory: 1055568 KiB

Child status: 20

Real time (s): 596.396
CPU time (s): 599.246
CPU user time (s): 598.648
CPU system time (s): 0.598141
CPU usage (%): 100.478
Max. virtual memory (cumulated for all children) (KiB): 19175768
Max. memory (cumulated for all children) (KiB): 1062492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.648
system time used= 0.598141
maximum resident set size= 1062492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19198
involuntary context switches= 718


# summary of solver processes directly reported to runsolver:
#   pid: 983726
#   total CPU time (s): 599.246
#   total CPU user time (s): 598.648
#   total CPU system time (s): 0.598141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55495 second user time and 5.83124 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:49:30
IDJOB=4448504
IDBENCH=160428
IDSOLVER=3058
FILE ID=nodeC008/4448504-1721357358
RUNJOBID= nodeC008-1721354365-980652
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448504-1721357358/watcher-4448504-1721357358 -o /tmp/evaluation-result-4448504-1721357358/solver-4448504-1721357358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448504-1721357358.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=699372388

nodeC008.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		: 3668.068
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.91
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		: 3625.357
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.413
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.91
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.251
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		: 3668.130
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.91
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		: 3501.370
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.392
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.91
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		: 2199.769
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:        121202988 kB
MemAvailable:   123494332 kB
Buffers:          545260 kB
Cached:          2564816 kB
SwapCached:            0 kB
Active:          1059912 kB
Inactive:        8789200 kB
Active(anon):       1484 kB
Inactive(anon):  6775244 kB
Active(file):    1058428 kB
Inactive(file):  2013956 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               960 kB
Writeback:             0 kB
AnonPages:       6739320 kB
Mapped:           126512 kB
Shmem:             37704 kB
KReclaimable:     117984 kB
Slab:             222880 kB
SReclaimable:     117984 kB
SUnreclaim:       104896 kB
KernelStack:        4760 kB
PageTables:        23252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8405708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6430720 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:59:27