Trace number 4451992

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.16 3610.29

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_32.opb
MD5SUM821356efb808a668e35dedcee024edbb
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 benchmark62.0281
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1482
Total number of constraints7073
Number of constraints which are clauses7068
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint38
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 70
Number of bits of the biggest sum of numbers7
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.08	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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4451992-1721840838.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.32/0.23	c ... done. Wall clock time 0.099s.
0.32/0.23	c declared #vars     1482
0.32/0.23	c #constraints  7077
0.32/0.23	c constraints type 
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2849
0.32/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.32/0.23	c org.sat4j.specs.Constr$1 => 4
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4218
0.32/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.32/0.23	c 7077 constraints processed.
1.68/0.93	c cleaning 2495 clauses out of 5000 with flag 18584/5000
2.82/1.53	c cleaning 4248 clauses out of 8505 with flag 46608/11000
3.84/2.16	c cleaning 5625 clauses out of 11259 with flag 80072/18002
4.68/2.88	c cleaning 6811 clauses out of 13633 with flag 120111/26001
5.56/3.69	c cleaning 7907 clauses out of 15821 with flag 174292/35000
6.65/4.68	c cleaning 8950 clauses out of 17914 with flag 236716/45000
8.03/5.83	c cleaning 9973 clauses out of 19964 with flag 300651/56000
9.43/7.21	c cleaning 10985 clauses out of 21991 with flag 376364/68000
10.93/8.75	c cleaning 11996 clauses out of 24008 with flag 470541/81002
12.74/10.57	c cleaning 13005 clauses out of 26011 with flag 563767/95001
14.43/12.24	c cleaning 13988 clauses out of 28005 with flag 673800/110000
15.97/13.68	c cleaning 14998 clauses out of 30017 with flag 763370/126000
17.45/15.08	c cleaning 16001 clauses out of 32019 with flag 847936/143000
19.21/16.74	c cleaning 16995 clauses out of 34018 with flag 947388/161000
21.11/18.62	c cleaning 18007 clauses out of 36024 with flag 1059769/180001
23.40/20.91	c cleaning 18999 clauses out of 38018 with flag 1197666/200002
25.50/23.06	c cleaning 19996 clauses out of 40017 with flag 1323609/221000
27.88/25.45	c cleaning 21004 clauses out of 42022 with flag 1452411/243001
30.28/27.82	c cleaning 21996 clauses out of 44018 with flag 1577940/266001
32.50/30.10	c cleaning 22999 clauses out of 46021 with flag 1708254/290000
35.08/32.66	c cleaning 24006 clauses out of 48024 with flag 1855578/315002
37.58/35.19	c cleaning 25000 clauses out of 50017 with flag 1999867/341001
40.38/37.92	c cleaning 26005 clauses out of 52016 with flag 2158641/368000
43.27/40.85	c cleaning 27001 clauses out of 54012 with flag 2330689/396001
46.47/44.05	c cleaning 27998 clauses out of 56010 with flag 2503449/425000
50.05/47.61	c cleaning 29004 clauses out of 58014 with flag 2688070/455002
53.64/51.28	c cleaning 29994 clauses out of 60008 with flag 2874942/486000
57.44/55.07	c cleaning 30999 clauses out of 62014 with flag 3065497/518000
61.82/59.47	c cleaning 32005 clauses out of 64016 with flag 3269839/551001
66.01/63.67	c cleaning 33001 clauses out of 66010 with flag 3469826/585000
70.54/68.28	c cleaning 33998 clauses out of 68010 with flag 3674661/620001
76.12/73.82	c cleaning 35000 clauses out of 70011 with flag 3920571/656000
82.32/80.02	c cleaning 36001 clauses out of 72011 with flag 4196098/693000
88.11/85.87	c cleaning 36998 clauses out of 74010 with flag 4456103/731000
94.31/92.03	c cleaning 38004 clauses out of 76014 with flag 4724597/770002
100.44/98.22	c cleaning 38997 clauses out of 78008 with flag 4985928/810000
107.73/105.59	c cleaning 39991 clauses out of 80012 with flag 5250095/851001
115.42/113.21	c cleaning 41003 clauses out of 82023 with flag 5466553/893003
121.92/119.76	c cleaning 42000 clauses out of 84018 with flag 5693501/936001
128.60/126.49	c cleaning 42999 clauses out of 86018 with flag 5943758/980001
135.44/133.34	c cleaning 43998 clauses out of 88018 with flag 6203078/1025000
143.24/141.16	c cleaning 44997 clauses out of 90021 with flag 6495790/1071001
150.91/148.80	c cleaning 46005 clauses out of 92023 with flag 6776960/1118000
158.71/156.65	c cleaning 46995 clauses out of 94018 with flag 7054802/1166000
166.75/164.77	c cleaning 48011 clauses out of 96023 with flag 7343368/1215000
175.22/173.24	c cleaning 48995 clauses out of 98012 with flag 7628800/1265000
184.31/182.38	c cleaning 50002 clauses out of 100018 with flag 7950542/1316001
194.34/192.45	c cleaning 51003 clauses out of 102017 with flag 8279255/1368002
203.52/201.65	c cleaning 51994 clauses out of 104012 with flag 8590506/1421000
213.09/211.22	c cleaning 53001 clauses out of 106018 with flag 8917086/1475000
224.43/222.64	c cleaning 54002 clauses out of 108017 with flag 9270205/1530000
235.60/233.85	c cleaning 55002 clauses out of 110016 with flag 9634317/1586001
247.09/245.31	c cleaning 56002 clauses out of 112013 with flag 10013821/1643000
260.89/261.54	c cleaning 57003 clauses out of 114011 with flag 10432778/1701000
272.67/273.35	c cleaning 57995 clauses out of 116011 with flag 10790485/1760003
285.14/285.87	c cleaning 58998 clauses out of 118014 with flag 11183982/1820001
296.08/296.82	c cleaning 60000 clauses out of 120015 with flag 11564899/1881000
307.75/308.56	c cleaning 60998 clauses out of 122015 with flag 11944895/1943000
319.91/320.74	c cleaning 62002 clauses out of 124019 with flag 12368136/2006002
332.41/333.23	c cleaning 63000 clauses out of 126015 with flag 12799781/2070000
345.58/346.40	c cleaning 63996 clauses out of 128016 with flag 13240118/2135001
359.89/360.80	c cleaning 65002 clauses out of 130019 with flag 13691855/2201000
374.26/375.29	c cleaning 66003 clauses out of 132018 with flag 14155436/2268001
387.92/388.93	c cleaning 67000 clauses out of 134015 with flag 14626851/2336001
401.48/402.55	c cleaning 67999 clauses out of 136016 with flag 15063287/2405002
415.81/416.94	c cleaning 68999 clauses out of 138015 with flag 15498159/2475000
430.30/431.46	c cleaning 70003 clauses out of 140016 with flag 15938734/2546000
444.75/445.96	c cleaning 70998 clauses out of 142014 with flag 16372063/2618001
460.82/462.06	c cleaning 72001 clauses out of 144016 with flag 16872470/2691001
476.11/477.46	c cleaning 72998 clauses out of 146015 with flag 17332764/2765001
492.78/494.13	c cleaning 73999 clauses out of 148016 with flag 17796363/2840000
510.66/512.18	c cleaning 75004 clauses out of 150017 with flag 18263629/2916000
528.35/529.89	c cleaning 76000 clauses out of 152015 with flag 18755468/2993002
545.09/546.67	c cleaning 77000 clauses out of 154013 with flag 19237434/3071000
563.73/565.30	c cleaning 78006 clauses out of 156015 with flag 19732304/3150002
581.81/583.40	c cleaning 78996 clauses out of 158007 with flag 20223394/3230000
601.24/602.94	c cleaning 79997 clauses out of 160011 with flag 20764888/3311000
622.44/624.25	c cleaning 80997 clauses out of 162015 with flag 21351977/3393001
644.52/646.38	c cleaning 82002 clauses out of 164018 with flag 21928793/3476001
665.43/667.39	c cleaning 83003 clauses out of 166016 with flag 22472087/3560001
686.37/688.38	c cleaning 83997 clauses out of 168013 with flag 23019801/3645001
706.95/709.00	c cleaning 85001 clauses out of 170016 with flag 23545154/3731001
729.38/731.40	c cleaning 85999 clauses out of 172015 with flag 24081088/3818001
751.53/753.65	c cleaning 86999 clauses out of 174016 with flag 24641966/3906001
774.39/776.56	c cleaning 88001 clauses out of 176017 with flag 25208671/3995001
798.12/800.31	c cleaning 88999 clauses out of 178016 with flag 25777971/4085001
823.08/825.39	c cleaning 90002 clauses out of 180016 with flag 26375059/4176000
846.73/849.06	c cleaning 90999 clauses out of 182015 with flag 27001000/4268001
872.36/874.76	c cleaning 92001 clauses out of 184016 with flag 27607733/4361001
899.77/902.25	c cleaning 92999 clauses out of 186015 with flag 28247450/4455001
926.31/928.81	c cleaning 93998 clauses out of 188015 with flag 28898703/4550000
956.06/958.64	c cleaning 94994 clauses out of 190017 with flag 29537861/4646000
984.47/987.14	c cleaning 96002 clauses out of 192023 with flag 30200774/4743000
1015.82/1018.52	c cleaning 97006 clauses out of 194022 with flag 30920462/4841001
1043.75/1046.57	c cleaning 97999 clauses out of 196016 with flag 31563153/4940001
1072.41/1075.21	c cleaning 99003 clauses out of 198017 with flag 32184463/5040001
1104.23/1107.19	c cleaning 99991 clauses out of 200014 with flag 32850569/5141001
1135.84/1138.86	c cleaning 101001 clauses out of 202022 with flag 33558414/5243000
1168.50/1171.55	c cleaning 102000 clauses out of 204022 with flag 34325189/5346001
1206.79/1210.00	c cleaning 103001 clauses out of 206021 with flag 35089554/5450000
1238.90/1242.22	c cleaning 104002 clauses out of 208021 with flag 35774695/5555001
1270.87/1274.52	c cleaning 104994 clauses out of 210018 with flag 36497139/5661000
1310.03/1314.01	c cleaning 106009 clauses out of 212025 with flag 37290483/5768001
1345.99/1350.69	c cleaning 106997 clauses out of 214015 with flag 38035324/5876000
1384.83/1389.65	c cleaning 108000 clauses out of 216019 with flag 38830954/5985001
1424.65/1429.66	c cleaning 109001 clauses out of 218019 with flag 39581405/6095001
1465.17/1470.22	c cleaning 110002 clauses out of 220019 with flag 40386648/6206002
1505.06/1510.23	c cleaning 110996 clauses out of 222016 with flag 41172197/6318001
1545.54/1551.14	c cleaning 112002 clauses out of 224019 with flag 41969501/6431000
1585.34/1591.00	c cleaning 112999 clauses out of 226017 with flag 42783546/6545000
1628.60/1634.33	c cleaning 113996 clauses out of 228020 with flag 43659610/6660002
1669.47/1675.32	c cleaning 115003 clauses out of 230023 with flag 44474312/6776001
1711.31/1717.37	c cleaning 116000 clauses out of 232019 with flag 45330134/6893000
1753.69/1759.89	c cleaning 116999 clauses out of 234019 with flag 46164322/7011000
1802.88/1809.19	c cleaning 117999 clauses out of 236020 with flag 47077887/7130000
1854.52/1860.88	c cleaning 119003 clauses out of 238022 with flag 48075594/7250001
1903.30/1909.76	c cleaning 120003 clauses out of 240020 with flag 48980950/7371002
1947.34/1953.80	c cleaning 121000 clauses out of 242016 with flag 49828388/7493001
1994.79/2001.44	c cleaning 121995 clauses out of 244016 with flag 50785008/7616001
2043.20/2049.98	c cleaning 123004 clauses out of 246021 with flag 51714037/7740001
2093.79/2100.69	c cleaning 123998 clauses out of 248016 with flag 52725582/7865000
2143.87/2150.98	c cleaning 125004 clauses out of 250020 with flag 53710088/7991002
2193.84/2201.04	c cleaning 126000 clauses out of 252014 with flag 54602700/8118000
2249.17/2256.50	c cleaning 126996 clauses out of 254015 with flag 55508809/8246001
2304.62/2312.05	c cleaning 128000 clauses out of 256018 with flag 56493494/8375000
2362.07/2369.67	c cleaning 129001 clauses out of 258018 with flag 57427490/8505000
2419.52/2427.19	c cleaning 130003 clauses out of 260018 with flag 58369566/8636001
2473.26/2481.08	c cleaning 130998 clauses out of 262015 with flag 59347139/8768001
2527.66/2535.52	c cleaning 131997 clauses out of 264016 with flag 60288950/8901000
2582.41/2590.33	c cleaning 132999 clauses out of 266019 with flag 61268917/9035000
2640.68/2648.79	c cleaning 134005 clauses out of 268022 with flag 62273136/9170002
2701.25/2709.42	c cleaning 135001 clauses out of 270015 with flag 63282310/9306000
2759.82/2768.19	c cleaning 135996 clauses out of 272014 with flag 64330194/9443000
2825.29/2833.75	c cleaning 136996 clauses out of 274018 with flag 65414808/9581000
2891.58/2900.11	c cleaning 138005 clauses out of 276023 with flag 66551944/9720001
2959.05/2967.80	c cleaning 138999 clauses out of 278018 with flag 67583023/9860001
3027.86/3036.72	c cleaning 140003 clauses out of 280018 with flag 68648023/10001000
3096.09/3105.12	c cleaning 140997 clauses out of 282016 with flag 69669777/10143001
3154.68/3163.85	c cleaning 142002 clauses out of 284018 with flag 70686837/10286000
3216.97/3226.23	c cleaning 142993 clauses out of 286017 with flag 71729280/10430001
3289.90/3299.37	c cleaning 144001 clauses out of 288025 with flag 72894887/10575002
3364.59/3374.18	c cleaning 145002 clauses out of 290022 with flag 74056293/10721000
3440.48/3450.20	c cleaning 146000 clauses out of 292020 with flag 75258139/10868000
3521.82/3531.83	c cleaning 147000 clauses out of 294020 with flag 76549857/11016000
3600.02/3610.22	c starts		: 356
3600.02/3610.22	c timeout
3600.02/3610.22	c conflicts		: 11162461
3600.02/3610.22	c decisions		: 12518268
3600.02/3610.22	c propagations		: 1140173784
3600.02/3610.22	c inspects		: 53501017720
3600.02/3610.22	c shortcuts		: 0
3600.02/3610.22	c learnt literals	: 0
3600.02/3610.22	c learnt binary clauses	: 0
3600.02/3610.22	c learnt ternary clauses	: 20
3600.02/3610.22	c learnt constraints	: 11162461
3600.02/3610.22	c ignored constraints	: 0
3600.02/3610.22	c root simplifications	: 0
3600.02/3610.22	c removed literals (reason simplification)	: 114094417
3600.02/3610.22	c reason swapping (by a shorter reason)	: 0
3600.02/3610.22	c Calls to reduceDB	: 144
3600.02/3610.22	c Number of update (reduction) of LBD	: 1904221
3600.02/3610.22	c Imported unit clauses	: 0
3600.02/3610.22	c No decision after first conflict	: false
3600.02/3610.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3610.22	c number of learned constraints concerned by reduction	: 0
3600.02/3610.22	c number of learning phase by resolution	: 0
3600.02/3610.22	c number of learning phase by cutting planes	: 0
3600.02/3610.22	c number of rounding to 1 operations	: 0
3600.02/3610.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3610.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3610.22	c number of right shift for reduction by power 2 	: 0
3600.02/3610.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3610.22	c number of ending skipping 	: 0
3600.02/3610.22	c number of internal skipping 	: 0
3600.02/3610.22	c number of derivation steps 	: 0
3600.02/3610.22	c number of skipped derivation steps 	: 0
3600.02/3610.22	c number of remaining unassigned 	: 0
3600.02/3610.22	c number of remaining assigned 	: 0
3600.02/3610.22	c number of falsified literals weakened from reason	: 0
3600.02/3610.22	c number of falsified literals weakened from conflict	: 0
3600.02/3610.22	c time for arithmetic operations	: 0
3600.02/3610.22	c minimum degree of deleted constraints	: null
3600.02/3610.22	c maximum degree of deleted constraints	: null
3600.02/3610.22	c number of deleted constraints	: 0
3600.02/3610.22	c speed (assignments/second)	: 315838.7506658611
3600.02/3610.22	c non guided choices	: 149
3600.02/3610.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 293481
3600.02/3610.28	s UNKNOWN
3600.02/3610.28	c Total wall clock time (in seconds): 3610.154

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=196456, runsolver pid=196453

[startup+0.102656 s]*
/proc/loadavg: 1.82 2.12 2.93 9/331 196474
/proc/meminfo: memFree=123937400/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=18975048 memory=65440 CPUtime=0.13 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 7247 0 0 0 12 1 0 0 20 0 18 0 20606697 19430449152 16360 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4743762 16360 5660 1 0 549373 0
[pid=196456/tid=196458] ppid=196453 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) S 196453 196456 196129 0 -1 1077936192 5762 0 0 0 8 1 0 0 20 0 18 0 20606697 19430449152 16360 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20606700 19430449152 16360 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=18975048 memory=13855165888404792 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20606700 19430449152 16360 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65440 KiB

[startup+0.207545 s]*
/proc/loadavg: 1.82 2.12 2.93 10/332 196475
/proc/meminfo: memFree=123884924/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=18975048 memory=78772 CPUtime=0.32 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 8067 0 0 0 30 2 0 0 20 0 18 0 20606697 19430449152 19693 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4743762 19693 5802 1 0 549909 0
[pid=196456/tid=196458] ppid=196453 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 5940 0 0 0 17 1 0 0 20 0 18 0 20606697 19430449152 19693 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=18975048 memory=1121866 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20606700 19430449152 19693 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20606700 19430449152 19693 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78772 KiB

[startup+0.308544 s]*
/proc/loadavg: 1.82 2.12 2.93 9/312 196478
/proc/meminfo: memFree=124011468/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19041612 memory=90752 CPUtime=0.52 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 9552 0 0 0 49 3 0 0 20 0 19 0 20606697 19498610688 22688 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4760403 22688 5802 1 0 551026 0
[pid=196456/tid=196458] ppid=196453 vsize=19041612 memory=-8960024048626868924 CPUtime=0.27 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 6013 0 0 0 26 1 0 0 20 0 19 0 20606697 19498610688 22688 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20606700 19498610688 22688 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20606700 19498610688 22688 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20606720 19498610688 22688 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90752 KiB

[startup+0.700256 s]
/proc/loadavg: 1.82 2.12 2.93 6/288 196521
/proc/meminfo: memFree=124071336/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19041612 memory=136828 CPUtime=1.27 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 11373 0 0 0 123 4 0 0 20 0 19 0 20606697 19498610688 34207 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4760403 34207 5847 1 0 552149 0
[pid=196456/tid=196458] ppid=196453 vsize=19041612 memory=5516 CPUtime=0.64 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 6039 0 0 0 62 2 0 0 20 0 19 0 20606697 19498610688 34207 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19041612 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20606700 19498610688 34207 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20606700 19498610688 34207 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20606720 19498610688 34207 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136828 KiB

[startup+1.50025 s]
/proc/loadavg: 1.82 2.12 2.93 9/312 196627
/proc/meminfo: memFree=123922216/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=180320 CPUtime=2.82 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 18768 0 0 0 276 6 0 0 20 0 20 0 20606697 19566772224 45080 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 45080 5863 1 0 554803 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=13524 CPUtime=1.41 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 6410 0 0 0 137 4 0 0 20 0 20 0 20606697 19566772224 45080 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 45080 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 45080 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=4580 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 45080 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180320 KiB

[startup+3.10578 s]
/proc/loadavg: 1.82 2.12 2.93 5/336 196683
/proc/meminfo: memFree=123618612/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=181140 CPUtime=5.07 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 20792 0 0 0 500 7 0 0 20 0 20 0 20606697 19566772224 45285 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 45285 5879 1 0 554806 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=0 CPUtime=2.99 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 6806 0 0 0 295 4 0 0 20 0 20 0 20606697 19566772224 45285 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 45285 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 45285 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=12156 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 45285 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181140 KiB

[startup+6.30025 s]
/proc/loadavg: 2.07 2.17 2.94 6/336 196683
/proc/meminfo: memFree=123531596/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=222216 CPUtime=8.53 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 27488 0 0 0 843 10 0 0 20 0 20 0 20606697 19566772224 55554 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 55554 5879 1 0 554806 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=0 CPUtime=6.16 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 7330 0 0 0 610 6 0 0 20 0 20 0 20606697 19566772224 55554 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 55554 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 55554 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=180568 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 55554 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222216 KiB

[startup+12.7003 s]
/proc/loadavg: 2.39 2.23 2.96 5/336 196885
/proc/meminfo: memFree=122873752/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=584032 CPUtime=14.92 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 31662 0 0 0 1474 18 0 0 20 0 20 0 20606697 19566772224 146008 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 146008 5879 1 0 554822 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=198340509722 CPUtime=12.52 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 8676 0 0 0 1238 14 0 0 20 0 20 0 20606697 19566772224 146008 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=2212 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 146008 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 146008 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 146008 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 584032 KiB

[startup+25.5003 s]
/proc/loadavg: 2.82 2.33 2.98 5/336 196889
/proc/meminfo: memFree=121570964/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=957352 CPUtime=27.99 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 40053 0 0 0 2769 30 0 0 20 0 20 0 20606697 19566772224 239338 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 239338 5894 1 0 554825 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=0 CPUtime=25.28 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 10761 0 0 0 2503 25 0 0 20 0 20 0 20606697 19566772224 239338 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=902056 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 239338 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=795560 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 239338 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 239338 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 27.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 957352 KiB

[startup+51.1059 s]
/proc/loadavg: 3.53 2.54 3.03 5/336 196960
/proc/meminfo: memFree=116841416/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1156072 CPUtime=53.55 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 44458 0 0 0 5315 40 0 0 20 0 20 0 20606697 19566772224 289018 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 289018 5894 1 0 554825 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=0 CPUtime=50.78 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 12296 0 0 0 5044 34 0 0 20 0 20 0 20606697 19566772224 289018 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0

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

/proc/meminfo: memFree=110247004/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1739276 CPUtime=3213.08 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 140143 0 0 0 320837 471 0 0 20 0 20 0 20606697 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 434819 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1739276 CPUtime=3205.06 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 64019 0 0 0 320126 380 0 0 20 0 20 0 20606697 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 576 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=1739264 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1739276 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4175 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1739276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/335 198813
/proc/meminfo: memFree=110167604/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1739276 CPUtime=3272.93 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 141203 0 0 0 326815 478 0 0 20 0 20 0 20606697 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 434819 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1739276 CPUtime=3264.88 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 64969 0 0 0 326102 386 0 0 20 0 20 0 20606697 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 577 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=7988 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1739276 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4233 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 434819 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1739276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/335 198826
/proc/meminfo: memFree=110051712/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3332.87 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 142579 0 0 0 332801 486 0 0 20 0 20 0 20606697 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 440963 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3324.67 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 65593 0 0 0 332076 391 0 0 20 0 20 0 20606697 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 579 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=12156 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1739276 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4328 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=1763852 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/335 198836
/proc/meminfo: memFree=110000088/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3392.67 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 143756 0 0 0 338773 494 0 0 20 0 20 0 20606697 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 440963 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3384.46 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 66598 0 0 0 338048 398 0 0 20 0 20 0 20606697 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 585 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4463 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=1763852 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 440963 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/333 198847
/proc/meminfo: memFree=109949220/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1763856 CPUtime=3452.52 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 145517 0 0 0 344748 504 0 0 20 0 20 0 20606697 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 440964 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3444.17 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 67631 0 0 0 344011 406 0 0 20 0 20 0 20606697 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 592 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1763852 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4548 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=1763856 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/333 198858
/proc/meminfo: memFree=109855076/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1763856 CPUtime=3512.33 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 146441 0 0 0 350722 511 0 0 20 0 20 0 20606697 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 440964 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3503.96 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 68480 0 0 0 349984 412 0 0 20 0 20 0 20606697 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 596 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=2644 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1763856 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4568 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=7656 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 440964 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/333 198868
/proc/meminfo: memFree=109793164/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1767952 CPUtime=3572.2 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 148033 0 0 0 356701 519 0 0 20 0 20 0 20606697 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 441988 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=1763852 CPUtime=3563.72 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 69297 0 0 0 355953 419 0 0 20 0 20 0 20606697 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 601 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=1767952 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=1767952 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4662 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=12156 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1767952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/333 198873
/proc/meminfo: memFree=109745956/131524600 swapFree=131061428/131071996
[pid=196456] ppid=196453 vsize=19108176 memory=1767952 CPUtime=3600.02 cores=1,3
/proc/196456/stat : 196456 (java) S 196453 196456 196129 0 -1 1077936128 148481 0 0 0 359480 522 0 0 20 0 20 0 20606697 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
/proc/196456/statm: 4777044 441988 5894 1 0 554861 0
[pid=196456/tid=196458] ppid=196453 vsize=19108176 memory=27796 CPUtime=3591.52 cores=1,3
/proc/196456/task/196458/stat : 196458 (java) R 196453 196456 196129 0 -1 4194368 69603 0 0 0 358732 420 0 0 20 0 20 0 20606697 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 603 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196467] ppid=196453 vsize=19108176 memory=30924 CPUtime=0 cores=1,3
/proc/196456/task/196467/stat : 196467 (Finalizer) S 196453 196456 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196474] ppid=196453 vsize=19108176 memory=-8960024048626868924 CPUtime=0 cores=1,3
/proc/196456/task/196474/stat : 196474 (Common-Cleaner) S 196453 196456 196129 0 -1 1077936192 4796 0 0 0 0 0 0 0 20 0 20 0 20606700 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
[pid=196456/tid=196478] ppid=196453 vsize=19108176 memory=5436 CPUtime=0 cores=1,3
/proc/196456/task/196478/stat : 196478 (Timer-0) S 196453 196456 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606720 19566772224 441988 134679101440 94259370528768 94259370532464 140735805203104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94259370540280 94259370541072 94259389702144 140735805211563 140735805211745 140735805211745 140735805218760 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1767952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.93 s, system=5.23384 s

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

Child status: 143

Real time (s): 3610.29
CPU time (s): 3600.16
CPU user time (s): 3594.93
CPU system time (s): 5.23384
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1767952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.93
system time used= 5.23384
maximum resident set size= 1769880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3194968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103421
involuntary context switches= 7330


# summary of solver processes directly reported to runsolver:
#   pid: 196456
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3594.93
#   total CPU system time (s): 5.23384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45492 second user time and 20.0739 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 19:07:18
IDJOB=4451992
IDBENCH=162853
IDSOLVER=3079
FILE ID=nodeC022/4451992-1721840838
RUNJOBID= nodeC022-1721840837-196141
SLURM_JOB_ID= 7891554
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.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-4451992-1721840838/watcher-4451992-1721840838 -o /tmp/evaluation-result-4451992-1721840838/solver-4451992-1721840838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721840837-196141 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451992-1721840838 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451992-1721840838.opb

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

MD5SUM BENCH= 821356efb808a668e35dedcee024edbb
RANDOM SEED=681588242

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.994
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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	: 7006.75
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.937
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.87
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		: 3599.960
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	: 7006.75
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.937
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.87
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		: 3644.661
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	: 7006.75
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.937
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.87
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		: 3644.744
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	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124021436 kB
MemAvailable:   129362232 kB
Buffers:          269188 kB
Cached:          5820232 kB
SwapCached:         1408 kB
Active:          2525036 kB
Inactive:        4204764 kB
Active(anon):       1952 kB
Inactive(anon):   691848 kB
Active(file):    2523084 kB
Inactive(file):  3512916 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              5840 kB
Writeback:             8 kB
AnonPages:        638160 kB
Mapped:           134160 kB
Shmem:             53732 kB
KReclaimable:     292984 kB
Slab:             417280 kB
SReclaimable:     292984 kB
SUnreclaim:       124296 kB
KernelStack:        4956 kB
PageTables:        11292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7248496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-24 20:07:28