Trace number 4453372

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-07? (TO) 3600.22 3625.52

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
MD5SUMcf304571e02e93b9f1adea6ee5377cb9
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 benchmark0.001778
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint4
Maximum length of a constraint5
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 7
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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4453372-1721843092.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.013s.
0.13/0.14	c declared #vars     121
0.13/0.14	c #constraints  60
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.13/0.14	c 60 constraints processed.
0.89/0.58	c cleaning 2495 clauses out of 5000 with flag 37304/5000
1.66/0.91	c cleaning 4249 clauses out of 8506 with flag 85259/11001
2.24/1.24	c cleaning 5625 clauses out of 11256 with flag 144234/18000
2.84/1.57	c cleaning 6814 clauses out of 13632 with flag 206239/26001
3.37/1.91	c cleaning 7896 clauses out of 15817 with flag 273467/35000
3.88/2.33	c cleaning 8954 clauses out of 17921 with flag 355495/45000
4.42/2.83	c cleaning 9976 clauses out of 19969 with flag 441739/56002
4.98/3.34	c cleaning 10988 clauses out of 21992 with flag 541391/68001
5.73/4.05	c cleaning 11993 clauses out of 24003 with flag 637860/81000
6.45/4.73	c cleaning 12999 clauses out of 26010 with flag 766464/95000
7.14/5.49	c cleaning 13997 clauses out of 28011 with flag 887602/110000
8.04/6.35	c cleaning 14994 clauses out of 30018 with flag 1016483/126004
9.10/7.32	c cleaning 16005 clauses out of 32020 with flag 1163169/143000
10.19/8.30	c cleaning 16991 clauses out of 34015 with flag 1299273/161000
11.40/9.50	c cleaning 18005 clauses out of 36026 with flag 1441423/180002
12.59/10.72	c cleaning 19000 clauses out of 38020 with flag 1592305/200001
13.90/12.05	c cleaning 20009 clauses out of 40022 with flag 1740721/221003
15.59/13.71	c cleaning 21003 clauses out of 42011 with flag 1891602/243001
17.18/15.35	c cleaning 21996 clauses out of 44008 with flag 2070446/266001
18.99/17.19	c cleaning 22991 clauses out of 46011 with flag 2248113/290000
20.78/18.98	c cleaning 24003 clauses out of 48023 with flag 2432138/315003
22.77/20.95	c cleaning 24993 clauses out of 50018 with flag 2607080/341001
24.87/23.06	c cleaning 26004 clauses out of 52024 with flag 2799804/368000
27.14/25.26	c cleaning 27005 clauses out of 54020 with flag 3004426/396000
29.86/27.95	c cleaning 27994 clauses out of 56017 with flag 3257687/425002
32.46/30.56	c cleaning 28996 clauses out of 58023 with flag 3473160/455002
35.05/33.78	c cleaning 30008 clauses out of 60026 with flag 3701738/486001
37.86/36.51	c cleaning 30996 clauses out of 62017 with flag 3944893/518000
41.05/39.70	c cleaning 32000 clauses out of 64021 with flag 4203581/551000
44.14/42.85	c cleaning 33009 clauses out of 66021 with flag 4440060/585000
47.46/46.12	c cleaning 34001 clauses out of 68012 with flag 4688608/620000
51.45/50.19	c cleaning 34992 clauses out of 70012 with flag 4972173/656001
55.07/53.74	c cleaning 35993 clauses out of 72019 with flag 5255295/693000
59.65/58.36	c cleaning 37012 clauses out of 74027 with flag 5528415/731001
63.38/62.08	c cleaning 37999 clauses out of 76014 with flag 5812071/770000
67.16/66.28	c cleaning 38995 clauses out of 78017 with flag 6083210/810002
71.38/70.48	c cleaning 40002 clauses out of 80020 with flag 6362473/851000
76.26/75.32	c cleaning 41001 clauses out of 82020 with flag 6679959/893002
80.91/79.93	c cleaning 41998 clauses out of 84019 with flag 6976405/936002
85.71/84.72	c cleaning 43006 clauses out of 86021 with flag 7274522/980002
90.45/89.47	c cleaning 43999 clauses out of 88013 with flag 7585160/1025000
96.19/95.68	c cleaning 45005 clauses out of 90015 with flag 7920012/1071001
101.38/100.80	c cleaning 46001 clauses out of 92011 with flag 8226468/1118002
107.06/106.54	c cleaning 46996 clauses out of 94010 with flag 8543769/1166002
113.17/112.69	c cleaning 47998 clauses out of 96013 with flag 8868059/1215001
120.35/119.80	c cleaning 49003 clauses out of 98016 with flag 9250062/1265002
127.01/126.95	c cleaning 49993 clauses out of 100013 with flag 9615384/1316002
134.10/134.08	c cleaning 51002 clauses out of 102020 with flag 9983187/1368002
140.98/140.91	c cleaning 51999 clauses out of 104018 with flag 10343664/1421002
148.07/148.09	c cleaning 53007 clauses out of 106018 with flag 10702973/1475001
155.95/156.46	c cleaning 53997 clauses out of 108010 with flag 11071519/1530000
163.74/164.25	c cleaning 55004 clauses out of 110015 with flag 11433481/1586002
171.92/172.41	c cleaning 56002 clauses out of 112011 with flag 11782150/1643002
180.70/181.29	c cleaning 56996 clauses out of 114008 with flag 12173197/1701001
189.77/190.72	c cleaning 57998 clauses out of 116011 with flag 12591726/1760000
198.55/199.54	c cleaning 58995 clauses out of 118013 with flag 12985323/1820000
208.52/209.50	c cleaning 60003 clauses out of 120020 with flag 13397376/1881002
218.61/220.17	c cleaning 61004 clauses out of 122016 with flag 13805731/1943001
228.59/230.12	c cleaning 61995 clauses out of 124012 with flag 14208071/2006001
238.96/240.53	c cleaning 63005 clauses out of 126018 with flag 14644607/2070002
248.32/250.33	c cleaning 63996 clauses out of 128012 with flag 15063823/2135001
258.81/260.83	c cleaning 65004 clauses out of 130016 with flag 15468163/2201001
270.11/272.12	c cleaning 65996 clauses out of 132012 with flag 15907566/2268001
280.77/283.18	c cleaning 66994 clauses out of 134017 with flag 16319901/2336002
292.43/294.89	c cleaning 68008 clauses out of 136022 with flag 16746677/2405001
304.00/306.40	c cleaning 69002 clauses out of 138016 with flag 17181576/2475003
316.99/319.86	c cleaning 70002 clauses out of 140012 with flag 17621306/2546001
330.66/333.52	c cleaning 70999 clauses out of 142009 with flag 18077021/2618000
343.41/346.79	c cleaning 72001 clauses out of 144010 with flag 18550609/2691000
358.10/361.46	c cleaning 72994 clauses out of 146009 with flag 19021255/2765000
372.34/376.11	c cleaning 74003 clauses out of 148015 with flag 19470089/2840000
387.79/391.63	c cleaning 74996 clauses out of 150013 with flag 20029499/2916001
402.73/406.76	c cleaning 76000 clauses out of 152017 with flag 20544712/2993001
418.42/422.41	c cleaning 76998 clauses out of 154018 with flag 21083131/3071002
435.34/439.50	c cleaning 78002 clauses out of 156019 with flag 21650934/3150001
450.81/455.06	c cleaning 79003 clauses out of 158017 with flag 22192833/3230001
467.93/472.35	c cleaning 79996 clauses out of 160014 with flag 22766223/3311001
484.19/488.61	c cleaning 80998 clauses out of 162017 with flag 23336218/3393000
501.18/505.83	c cleaning 82004 clauses out of 164020 with flag 23937740/3476001
521.50/526.33	c cleaning 82994 clauses out of 166016 with flag 24541261/3560001
540.05/544.95	c cleaning 84004 clauses out of 168021 with flag 25200561/3645000
558.56/563.68	c cleaning 84995 clauses out of 170017 with flag 25844885/3731000
577.45/582.52	c cleaning 86005 clauses out of 172024 with flag 26411209/3818002
595.96/601.29	c cleaning 86997 clauses out of 174017 with flag 27066732/3906000
616.27/621.77	c cleaning 87996 clauses out of 176020 with flag 27661245/3995000
637.93/643.46	c cleaning 89007 clauses out of 178025 with flag 28320648/4085001
659.44/665.11	c cleaning 90004 clauses out of 180018 with flag 28929724/4176001
680.85/686.73	c cleaning 90997 clauses out of 182013 with flag 29584232/4268000
702.39/708.49	c cleaning 91996 clauses out of 184017 with flag 30248546/4361001
725.14/731.27	c cleaning 92999 clauses out of 186020 with flag 30863702/4455000
745.57/751.85	c cleaning 94002 clauses out of 188021 with flag 31449985/4550000
768.71/775.12	c cleaning 94997 clauses out of 190019 with flag 32086251/4646000
792.65/799.11	c cleaning 96009 clauses out of 192023 with flag 32761155/4743001
815.19/821.83	c cleaning 96994 clauses out of 194013 with flag 33379255/4841000
838.52/845.31	c cleaning 98004 clauses out of 196019 with flag 34000771/4940000
863.65/870.63	c cleaning 98991 clauses out of 198015 with flag 34680593/5040000
889.19/896.37	c cleaning 100000 clauses out of 200024 with flag 35368834/5141000
917.30/924.65	c cleaning 101012 clauses out of 202025 with flag 36039622/5243001
944.46/951.89	c cleaning 101995 clauses out of 204012 with flag 36750961/5346000
971.37/978.97	c cleaning 103004 clauses out of 206018 with flag 37450691/5450001
1001.27/1009.09	c cleaning 104000 clauses out of 208014 with flag 38146930/5555001
1031.49/1039.44	c cleaning 104996 clauses out of 210014 with flag 38856825/5661001
1060.99/1069.11	c cleaning 106008 clauses out of 212019 with flag 39565933/5768002
1093.01/1101.37	c cleaning 106996 clauses out of 214009 with flag 40293204/5876000
1122.95/1131.59	c cleaning 108000 clauses out of 216014 with flag 41001961/5985001
1153.11/1161.82	c cleaning 108999 clauses out of 218013 with flag 41733355/6095000
1185.15/1194.02	c cleaning 109997 clauses out of 220014 with flag 42542850/6206000
1217.04/1226.14	c cleaning 111001 clauses out of 222020 with flag 43294081/6318003
1249.25/1258.57	c cleaning 112001 clauses out of 224017 with flag 44040230/6431001
1283.86/1293.48	c cleaning 113000 clauses out of 226016 with flag 44784871/6545001
1321.11/1330.81	c cleaning 113994 clauses out of 228015 with flag 45567096/6660000
1355.22/1365.13	c cleaning 115004 clauses out of 230022 with flag 46378701/6776001
1393.26/1403.39	c cleaning 116004 clauses out of 232018 with flag 47197463/6893001
1426.93/1437.29	c cleaning 117000 clauses out of 234014 with flag 48017941/7011001
1464.71/1475.21	c cleaning 118004 clauses out of 236014 with flag 48809356/7130001
1501.29/1512.24	c cleaning 119001 clauses out of 238009 with flag 49662999/7250000
1536.62/1547.73	c cleaning 119998 clauses out of 240009 with flag 50558223/7371001
1580.16/1591.56	c cleaning 121000 clauses out of 242010 with flag 51382337/7493000
1619.86/1631.60	c cleaning 121994 clauses out of 244011 with flag 52209833/7616001
1660.95/1673.05	c cleaning 122996 clauses out of 246016 with flag 53056460/7740000
1705.36/1717.67	c cleaning 124004 clauses out of 248020 with flag 53926287/7865000
1746.84/1761.17	c cleaning 124998 clauses out of 250017 with flag 54750533/7991001
1791.20/1806.32	c cleaning 126003 clauses out of 252019 with flag 55544250/8118001
1834.57/1849.84	c cleaning 126990 clauses out of 254015 with flag 56392299/8246000
1877.76/1893.20	c cleaning 128004 clauses out of 256026 with flag 57319902/8375001
1926.32/1942.00	c cleaning 129005 clauses out of 258022 with flag 58178106/8505001
1969.55/1985.27	c cleaning 129996 clauses out of 260016 with flag 59071071/8636000
2013.73/2029.50	c cleaning 131000 clauses out of 262023 with flag 59927473/8768003
2063.17/2079.35	c cleaning 132004 clauses out of 264020 with flag 60754372/8901000
2114.36/2130.72	c cleaning 132994 clauses out of 266017 with flag 61642360/9035001
2158.90/2175.45	c cleaning 134006 clauses out of 268022 with flag 62496648/9170000
2209.42/2226.13	c cleaning 134996 clauses out of 270017 with flag 63382979/9306001
2263.63/2280.56	c cleaning 136000 clauses out of 272020 with flag 64396498/9443000
2320.83/2337.93	c cleaning 137002 clauses out of 274021 with flag 65269561/9581001
2372.12/2389.41	c cleaning 138004 clauses out of 276018 with flag 66148285/9720000
2426.15/2443.63	c cleaning 139001 clauses out of 278017 with flag 67107866/9860003
2480.58/2498.20	c cleaning 140000 clauses out of 280015 with flag 68060407/10001002
2537.21/2555.00	c cleaning 141001 clauses out of 282017 with flag 68991306/10143004
2593.60/2612.29	c cleaning 141998 clauses out of 284013 with flag 70111246/10286001
2645.59/2664.32	c cleaning 143003 clauses out of 286019 with flag 71035106/10430005
2703.01/2721.87	c cleaning 143999 clauses out of 288012 with flag 71966274/10575001
2766.35/2785.38	c cleaning 144998 clauses out of 290012 with flag 72930794/10721000
2828.16/2847.24	c cleaning 145998 clauses out of 292014 with flag 73869152/10868000
2890.58/2909.82	c cleaning 146995 clauses out of 294016 with flag 74841419/11016000
2952.17/2971.54	c cleaning 148006 clauses out of 296022 with flag 75808818/11165001
3009.40/3029.00	c cleaning 149004 clauses out of 298015 with flag 76771944/11315000
3075.37/3095.23	c cleaning 149999 clauses out of 300011 with flag 77770425/11466000
3137.97/3158.49	c cleaning 151002 clauses out of 302015 with flag 78925522/11618003
3191.76/3212.95	c cleaning 151997 clauses out of 304010 with flag 79909756/11771000
3261.10/3282.64	c cleaning 153000 clauses out of 306015 with flag 80931940/11925002
3323.98/3347.17	c cleaning 153997 clauses out of 308014 with flag 81942855/12080001
3391.13/3414.91	c cleaning 154998 clauses out of 310017 with flag 82923009/12236001
3462.38/3486.89	c cleaning 156002 clauses out of 312018 with flag 83903367/12393000
3529.41/3554.38	c cleaning 157004 clauses out of 314017 with flag 84912883/12551001
3600.01/3625.42	c starts		: 9937
3600.01/3625.42	c conflicts		: 12710000
3600.01/3625.42	c decisions		: 15749345
3600.01/3625.42	c propagations		: 239446215
3600.01/3625.42	c inspects		: 54636885483
3600.01/3625.42	c shortcuts		: 0
3600.01/3625.42	c learnt literals	: 0
3600.01/3625.42	c learnt binary clauses	: 0
3600.01/3625.42	c learnt ternary clauses	: 0
3600.01/3625.42	c learnt constraints	: 12710000
3600.01/3625.42	c ignored constraints	: 0
3600.01/3625.42	c root simplifications	: 0
3600.01/3625.42	c removed literals (reason simplification)	: 36417413
3600.01/3625.42	c reason swapping (by a shorter reason)	: 0
3600.01/3625.42	c Calls to reduceDB	: 155
3600.01/3625.42	c Number of update (reduction) of LBD	: 3856283
3600.01/3625.42	c Imported unit clauses	: 0
3600.01/3625.42	c No decision after first conflict	: false
3600.01/3625.42	c number of reductions to clauses (during analyze)	: 0
3600.01/3625.42	c number of learned constraints concerned by reduction	: 0
3600.01/3625.42	c number of learning phase by resolution	: 0
3600.01/3625.42	c number of learning phase by cutting planes	: 0
3600.01/3625.42	c number of rounding to 1 operations	: 0
3600.01/3625.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3625.42	c number of reductions of the coefficients by power 2 	: 0
3600.01/3625.42	c number of right shift for reduction by power 2 	: 0
3600.01/3625.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3625.42	c number of ending skipping 	: 0
3600.01/3625.42	c number of internal skipping 	: 0
3600.01/3625.42	c number of derivation steps 	: 0
3600.01/3625.42	c number of skipped derivation steps 	: 0
3600.01/3625.42	c number of remaining unassigned 	: 0
3600.01/3625.42	c number of remaining assigned 	: 0
3600.01/3625.42	c number of falsified literals weakened from reason	: 0
3600.01/3625.42	c number of falsified literals weakened from conflict	: 0
3600.01/3625.42	c time for arithmetic operations	: 0
3600.01/3625.42	c minimum degree of deleted constraints	: null
3600.01/3625.42	c maximum degree of deleted constraints	: null
3600.01/3625.42	c number of deleted constraints	: 0
3600.01/3625.42	c speed (assignments/second)	: 66049.15409129189
3600.01/3625.42	c non guided choices	: 128
3600.01/3625.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 316012
3600.01/3625.49	s UNKNOWN
3600.01/3625.49	c Total wall clock time (in seconds): 3625.37

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453372-1721843092/watcher-4453372-1721843092 -o /tmp/evaluation-result-4453372-1721843092/solver-4453372-1721843092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206805 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453372-1721843092 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453372-1721843092.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
solver pid=209166, runsolver pid=209163
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.14 4.11 4.09 7/331 209185
/proc/meminfo: memFree=116496984/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=18993908 memory=68080 CPUtime=0.13 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 7252 0 0 0 11 2 0 0 20 0 18 0 20837541 19449761792 17020 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4748477 17020 5863 1 0 549388 0
[pid=209166/tid=209168] ppid=209163 vsize=18993908 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 5839 0 0 0 7 2 0 0 20 0 18 0 20837542 19449761792 17020 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20837544 19449761792 17020 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=18993908 memory=15534145914147786 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20837545 19449761792 17020 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68080 KiB

[startup+0.211815 s]*
/proc/loadavg: 4.14 4.11 4.09 8/332 209186
/proc/meminfo: memFree=116483836/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19060472 memory=75044 CPUtime=0.34 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 8263 0 0 0 31 3 0 0 20 0 19 0 20837541 19517923328 18761 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4765118 18761 6107 1 0 550081 0
[pid=209166/tid=209168] ppid=209163 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) S 209163 209166 206792 0 -1 1077936192 6063 0 0 0 16 2 0 0 20 0 19 0 20837542 19517923328 18761 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19060472 memory=1446658 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20837544 19517923328 18761 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19060472 memory=14979970577467533 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20837545 19517923328 18761 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20837556 19517923328 18761 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 75044 KiB

[startup+0.305975 s]*
/proc/loadavg: 4.14 4.11 4.09 8/332 209186
/proc/meminfo: memFree=116468808/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19060472 memory=86268 CPUtime=0.49 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 9442 0 0 0 46 3 0 0 20 0 19 0 20837541 19517923328 21567 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4765118 21567 6115 1 0 550874 0
[pid=209166/tid=209168] ppid=209163 vsize=19060472 memory=-8959745859451069116 CPUtime=0.25 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 6086 0 0 0 23 2 0 0 20 0 19 0 20837542 19517923328 21567 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20837544 19517923328 21567 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20837545 19517923328 21567 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20837556 19517923328 21567 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 86268 KiB

[startup+0.707814 s]
/proc/loadavg: 4.14 4.11 4.09 8/332 209186
/proc/meminfo: memFree=116431368/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19060472 memory=145024 CPUtime=1.27 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 13484 0 0 0 122 5 0 0 20 0 19 0 20837541 19517923328 36256 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4765118 36256 6131 1 0 553792 0
[pid=209166/tid=209168] ppid=209163 vsize=19060472 memory=75972 CPUtime=0.65 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 6141 0 0 0 61 4 0 0 20 0 19 0 20837542 19517923328 36256 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19060472 memory=12248 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20837544 19517923328 36256 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19060472 memory=2164 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20837545 19517923328 36256 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19060472 memory=5448 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20837556 19517923328 36256 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 145024 KiB

[startup+1.50082 s]
/proc/loadavg: 4.14 4.11 4.09 8/332 209186
/proc/meminfo: memFree=116348572/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=182740 CPUtime=2.84 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 20459 0 0 0 276 8 0 0 20 0 20 0 20837541 19586084864 45685 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 45685 6131 1 0 555048 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=12248 CPUtime=1.43 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 6495 0 0 0 138 5 0 0 20 0 20 0 20837542 19586084864 45685 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 45685 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=2164 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 45685 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=5448 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 45685 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 182740 KiB

[startup+3.10618 s]
/proc/loadavg: 4.29 4.14 4.10 5/333 209187
/proc/meminfo: memFree=115811320/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=185284 CPUtime=4.78 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 21997 0 0 0 468 10 0 0 20 0 20 0 20837541 19586084864 46321 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 46321 6131 1 0 555053 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=0 CPUtime=3.02 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 6852 0 0 0 295 7 0 0 20 0 20 0 20837542 19586084864 46321 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=-8959745859451069116 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 46321 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 46321 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=2164 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 46321 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 185284 KiB

[startup+6.30026 s]
/proc/loadavg: 4.29 4.14 4.10 5/333 209187
/proc/meminfo: memFree=115082652/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=272292 CPUtime=8.04 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 23568 0 0 0 790 14 0 0 20 0 20 0 20837541 19586084864 68073 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 68073 6131 1 0 555056 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=12248 CPUtime=6.2 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 7537 0 0 0 610 10 0 0 20 0 20 0 20837542 19586084864 68073 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=2164 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 68073 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 68073 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=182740 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 68073 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 272292 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.14 4.10 5/333 209189
/proc/meminfo: memFree=113704136/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=456704 CPUtime=14.59 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 28112 0 0 0 1439 20 0 0 20 0 20 0 20837541 19586084864 114176 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 114176 6131 1 0 555056 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=182740 CPUtime=12.57 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 8488 0 0 0 1241 16 0 0 20 0 20 0 20837542 19586084864 114176 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=456704 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 114176 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=454656 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 114176 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 114176 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 456704 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.13 4.10 5/333 209190
/proc/meminfo: memFree=112594528/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1175588 CPUtime=27.44 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 33046 0 0 0 2702 42 0 0 20 0 20 0 20837541 19586084864 293897 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 293897 6131 1 0 555056 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=1013760 CPUtime=25.34 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 10514 0 0 0 2497 37 0 0 20 0 20 0 20837542 19586084864 293897 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 293897 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 293897 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 293897 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 27.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1175588 KiB

[startup+51.1062 s]
/proc/loadavg: 4.21 4.14 4.10 5/331 209263
/proc/meminfo: memFree=115183972/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1312888 CPUtime=52.44 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 37353 0 0 0 5188 56 0 0 20 0 20 0 20837541 19586084864 328222 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 328222 6131 1 0 555056 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=991232 CPUtime=50.23 cores=5,7

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

/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 422242 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=18928 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4076 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 422242 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=75972 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 422242 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3201.15 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1688968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.14 5/331 211034
/proc/meminfo: memFree=92143980/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3260.8 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 152851 0 0 0 325412 668 0 0 20 0 20 0 20837541 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433528 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3253.06 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 68983 0 0 0 324731 575 0 0 20 0 20 0 20837542 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1774 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=1734112 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=1734112 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4076 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=1688968 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3260.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/334 211049
/proc/meminfo: memFree=91839632/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3319.14 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 154410 0 0 0 331238 676 0 0 20 0 20 0 20837541 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433528 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3311.37 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 70251 0 0 0 330555 582 0 0 20 0 20 0 20837542 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1925 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=1734112 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4172 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=5640 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3319.14 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/335 211061
/proc/meminfo: memFree=91558620/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3378.56 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 156260 0 0 0 337172 684 0 0 20 0 20 0 20837541 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433528 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=11496 CPUtime=3370.67 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 70864 0 0 0 336479 588 0 0 20 0 20 0 20837542 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1974 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=75972 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4227 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=1734112 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433528 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3378.56 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/335 211072
/proc/meminfo: memFree=91275640/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734168 CPUtime=3438.11 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 158736 0 0 0 343120 691 0 0 20 0 20 0 20837541 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433542 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=11496 CPUtime=3430.09 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 72013 0 0 0 342415 594 0 0 20 0 20 0 20837542 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2011 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=1734112 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=1734168 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4322 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3438.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/335 211083
/proc/meminfo: memFree=90981116/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734168 CPUtime=3497.62 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 160040 0 0 0 349061 701 0 0 20 0 20 0 20837541 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433542 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=1734112 CPUtime=3489.57 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 73084 0 0 0 348355 602 0 0 20 0 20 0 20837542 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2047 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=1734168 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4446 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=1734168 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433542 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3497.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/335 211093
/proc/meminfo: memFree=90726224/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734188 CPUtime=3557.09 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 162542 0 0 0 354998 711 0 0 20 0 20 0 20837541 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433547 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=11496 CPUtime=3548.92 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 74229 0 0 0 354280 612 0 0 20 0 20 0 20837542 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2079 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=1734184 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=26072 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4446 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=-8600301214679933628 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3557.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3625.4 s]
/proc/loadavg: 3.69 4.02 4.08 3/283 211169
/proc/meminfo: memFree=114227584/131524600 swapFree=131061696/131071996
[pid=209166] ppid=209163 vsize=19127036 memory=1734188 CPUtime=3600.01 cores=5,7
/proc/209166/stat : 209166 (java) S 209163 209166 206792 0 -1 1077936128 162954 0 0 0 359284 717 0 0 20 0 20 0 20837541 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
/proc/209166/statm: 4781759 433547 6162 1 0 555064 0
[pid=209166/tid=209168] ppid=209163 vsize=19127036 memory=1446576 CPUtime=3591.82 cores=5,7
/proc/209166/task/209168/stat : 209168 (java) R 209163 209166 206792 0 -1 4194368 74563 0 0 0 358566 616 0 0 20 0 20 0 20837542 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2082 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209177] ppid=209163 vsize=19127036 memory=1447178 CPUtime=0 cores=5,7
/proc/209166/task/209177/stat : 209177 (Finalizer) S 209163 209166 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837544 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209184] ppid=209163 vsize=19127036 memory=1462961 CPUtime=0 cores=5,7
/proc/209166/task/209184/stat : 209184 (Common-Cleaner) S 209163 209166 206792 0 -1 1077936192 4514 0 0 0 0 0 0 0 20 0 20 0 20837545 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
[pid=209166/tid=209186] ppid=209163 vsize=19127036 memory=2196 CPUtime=0 cores=5,7
/proc/209166/task/209186/stat : 209186 (Timer-0) S 209163 209166 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837556 19586084864 433547 134679101440 94226000551936 94226000555632 140736632103744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226000563448 94226000564240 94226023014400 140736632107951 140736632108133 140736632108133 140736632115144 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1734188 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3625.52 s]
# the end of solver process 209166 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3593.04 s, system=7.18304 s

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

[startup+3625.51 s]*
/proc/loadavg: 3.69 4.02 4.08 3/265 211172
/proc/meminfo: memFree=115937956/131524600 swapFree=131061696/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3625.52
CPU time (s): 3600.22
CPU user time (s): 3593.04
CPU system time (s): 7.18304
CPU usage (%): 99.3022
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 1734188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.04
system time used= 7.18304
maximum resident set size= 1735776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3461472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103607
involuntary context switches= 5649


# summary of solver processes directly reported to runsolver:
#   pid: 209166
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3593.04
#   total CPU system time (s): 7.18304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87954 second user time and 18.9135 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 19:44:52
IDJOB=4453372
IDBENCH=175484
IDSOLVER=3079
FILE ID=nodeC020/4453372-1721843092
RUNJOBID= nodeC020-1721839470-206805
SLURM_JOB_ID= 7891544
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453372-1721843092/watcher-4453372-1721843092 -o /tmp/evaluation-result-4453372-1721843092/solver-4453372-1721843092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206805 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453372-1721843092 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453372-1721843092.opb

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

MD5SUM BENCH= cf304571e02e93b9f1adea6ee5377cb9
RANDOM SEED=1455013244

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116568080 kB
MemAvailable:   126236908 kB
Buffers:          266016 kB
Cached:         10189448 kB
SwapCached:          120 kB
Active:          2592668 kB
Inactive:       11665632 kB
Active(anon):       2344 kB
Inactive(anon):  3854420 kB
Active(file):    2590324 kB
Inactive(file):  7811212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:             85888 kB
Writeback:             0 kB
AnonPages:       3801832 kB
Mapped:           129580 kB
Shmem:             53880 kB
KReclaimable:     214232 kB
Slab:             332596 kB
SReclaimable:     214232 kB
SUnreclaim:       118364 kB
KernelStack:        4976 kB
PageTables:        17540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7412740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3493888 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-24 20:45:17