Trace number 4451782

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.21 3621.1

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
MD5SUMecb94e70b440a48855e99e990bb4ec90
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 benchmark1115.07
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5700
Total number of constraints27830
Number of constraints which are clauses27825
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 constraint75
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 86
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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4451782-1721840768.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.90/0.60	c ... done. Wall clock time 0.47s.
0.90/0.60	c declared #vars     5700
0.90/0.60	c #constraints  27834
0.90/0.60	c constraints type 
0.90/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11174
0.90/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.90/0.60	c org.sat4j.specs.Constr$1 => 4
0.90/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16650
0.90/0.60	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.90/0.60	c 27834 constraints processed.
4.45/2.35	c cleaning 2495 clauses out of 5000 with flag 38047/5000
7.15/3.84	c cleaning 4249 clauses out of 8505 with flag 101275/11000
8.49/5.12	c cleaning 5622 clauses out of 11256 with flag 164113/18000
10.29/6.83	c cleaning 6810 clauses out of 13637 with flag 234283/26003
11.91/8.42	c cleaning 7908 clauses out of 15825 with flag 296333/35001
13.63/10.16	c cleaning 8954 clauses out of 17918 with flag 351213/45002
15.61/12.11	c cleaning 9973 clauses out of 19962 with flag 423733/56000
17.78/14.34	c cleaning 10994 clauses out of 21989 with flag 514911/68000
19.89/16.48	c cleaning 11997 clauses out of 23995 with flag 604905/81000
22.48/19.05	c cleaning 12999 clauses out of 25998 with flag 688774/95000
25.27/21.87	c cleaning 14000 clauses out of 28000 with flag 793864/110001
28.13/24.75	c cleaning 14994 clauses out of 29999 with flag 903118/126000
31.09/27.67	c cleaning 15987 clauses out of 32005 with flag 1009281/143000
34.40/30.95	c cleaning 17001 clauses out of 34019 with flag 1125894/161001
37.95/34.95	c cleaning 17997 clauses out of 36017 with flag 1253380/180000
41.54/38.57	c cleaning 19002 clauses out of 38020 with flag 1384142/200000
45.33/42.36	c cleaning 20003 clauses out of 40019 with flag 1525317/221001
49.25/46.21	c cleaning 21005 clauses out of 42016 with flag 1660959/243001
53.54/50.53	c cleaning 21999 clauses out of 44016 with flag 1819211/266006
58.27/55.22	c cleaning 23004 clauses out of 46012 with flag 1980737/290001
62.56/59.57	c cleaning 24002 clauses out of 48009 with flag 2124172/315002
67.09/64.42	c cleaning 25004 clauses out of 50007 with flag 2277302/341002
72.14/69.44	c cleaning 25994 clauses out of 52001 with flag 2460850/368000
76.93/74.29	c cleaning 26994 clauses out of 54008 with flag 2633801/396001
82.32/79.63	c cleaning 27986 clauses out of 56015 with flag 2809925/425002
87.60/84.97	c cleaning 29007 clauses out of 58031 with flag 2994833/455004
93.31/90.61	c cleaning 30009 clauses out of 60020 with flag 3185105/486000
99.10/97.06	c cleaning 31002 clauses out of 62011 with flag 3384532/518000
105.14/103.10	c cleaning 31992 clauses out of 64009 with flag 3583608/551000
111.64/109.67	c cleaning 33005 clauses out of 66020 with flag 3808975/585003
118.28/116.33	c cleaning 33989 clauses out of 68013 with flag 4028634/620001
124.92/123.05	c cleaning 35002 clauses out of 70025 with flag 4261112/656002
131.80/130.30	c cleaning 36002 clauses out of 72021 with flag 4497945/693000
138.64/137.21	c cleaning 36988 clauses out of 74022 with flag 4721620/731003
145.99/144.64	c cleaning 38004 clauses out of 76032 with flag 4975204/770001
153.44/152.07	c cleaning 39006 clauses out of 78027 with flag 5219378/810000
160.62/159.59	c cleaning 40012 clauses out of 80024 with flag 5453261/851003
167.50/166.49	c cleaning 40991 clauses out of 82009 with flag 5685379/893000
175.35/174.21	c cleaning 41977 clauses out of 84019 with flag 5935637/936001
183.03/181.98	c cleaning 43017 clauses out of 86042 with flag 6206017/980001
191.76/190.92	c cleaning 44004 clauses out of 88024 with flag 6494212/1025000
200.69/199.84	c cleaning 44984 clauses out of 90020 with flag 6780646/1071000
209.37/208.55	c cleaning 45970 clauses out of 92036 with flag 7085247/1118000
218.82/218.29	c cleaning 46968 clauses out of 94067 with flag 7400374/1166001
228.53/228.05	c cleaning 48040 clauses out of 96099 with flag 7737405/1215001
238.11/237.60	c cleaning 49003 clauses out of 98058 with flag 8063236/1265000
247.45/247.16	c cleaning 50001 clauses out of 100055 with flag 8381695/1316000
256.62/256.33	c cleaning 51008 clauses out of 102054 with flag 8692880/1368000
265.67/265.30	c cleaning 52018 clauses out of 104046 with flag 8981639/1421000
275.75/275.40	c cleaning 52992 clauses out of 106029 with flag 9294585/1475001
286.73/288.44	c cleaning 54004 clauses out of 108036 with flag 9658181/1530000
298.06/299.78	c cleaning 55010 clauses out of 110032 with flag 10041463/1586000
310.23/311.90	c cleaning 56002 clauses out of 112023 with flag 10457842/1643001
321.59/323.93	c cleaning 57005 clauses out of 114020 with flag 10848330/1701000
333.05/335.46	c cleaning 58000 clauses out of 116015 with flag 11244564/1760000
345.07/347.85	c cleaning 59004 clauses out of 118021 with flag 11629188/1820006
357.64/360.48	c cleaning 59999 clauses out of 120011 with flag 12049664/1881000
371.17/373.91	c cleaning 60992 clauses out of 122014 with flag 12501804/1943002
383.95/387.26	c cleaning 61995 clauses out of 124021 with flag 12954738/2006001
397.32/400.64	c cleaning 62994 clauses out of 126025 with flag 13414470/2070000
410.71/414.56	c cleaning 64009 clauses out of 128035 with flag 13884861/2135004
422.89/426.84	c cleaning 65009 clauses out of 130022 with flag 14298459/2201000
437.61/441.93	c cleaning 65976 clauses out of 132013 with flag 14805461/2268000
451.97/456.36	c cleaning 67011 clauses out of 134038 with flag 15331150/2336001
465.83/470.52	c cleaning 68005 clauses out of 136026 with flag 15818408/2405000
478.50/483.22	c cleaning 69010 clauses out of 138023 with flag 16253525/2475002
494.25/499.34	c cleaning 70001 clauses out of 140014 with flag 16806818/2546003
508.92/514.08	c cleaning 70989 clauses out of 142010 with flag 17312562/2618000
523.98/529.36	c cleaning 71998 clauses out of 144024 with flag 17796176/2691003
539.25/544.65	c cleaning 73007 clauses out of 146023 with flag 18335484/2765000
556.53/562.21	c cleaning 74003 clauses out of 148016 with flag 18917997/2840000
572.60/578.35	c cleaning 75003 clauses out of 150016 with flag 19527266/2916003
589.13/595.21	c cleaning 75992 clauses out of 152010 with flag 20079024/2993000
604.49/610.63	c cleaning 77007 clauses out of 154019 with flag 20602924/3071001
620.65/627.15	c cleaning 77998 clauses out of 156012 with flag 21192622/3150001
638.10/644.66	c cleaning 79007 clauses out of 158013 with flag 21778128/3230000
656.30/663.35	c cleaning 79995 clauses out of 160006 with flag 22423989/3311000
673.06/680.17	c cleaning 80992 clauses out of 162012 with flag 23031040/3393001
691.82/699.27	c cleaning 82003 clauses out of 164019 with flag 23637333/3476000
710.47/718.22	c cleaning 83005 clauses out of 166018 with flag 24229854/3560002
729.69/737.49	c cleaning 83995 clauses out of 168013 with flag 24856436/3645002
749.12/757.13	c cleaning 85003 clauses out of 170016 with flag 25471643/3731000
767.63/775.80	c cleaning 85995 clauses out of 172016 with flag 26043368/3818003
786.97/795.20	c cleaning 87007 clauses out of 174018 with flag 26614687/3906000
808.04/816.45	c cleaning 87984 clauses out of 176011 with flag 27117338/3995000
829.70/838.33	c cleaning 88972 clauses out of 178029 with flag 27687976/4085002
849.24/857.83	c cleaning 90018 clauses out of 180055 with flag 28234446/4176000
870.87/879.83	c cleaning 90989 clauses out of 182037 with flag 28815214/4268000
890.92/900.16	c cleaning 92020 clauses out of 184052 with flag 29414962/4361004
910.37/919.67	c cleaning 93011 clauses out of 186028 with flag 29966037/4455000
931.93/941.33	c cleaning 94005 clauses out of 188019 with flag 30537964/4550002
954.61/964.22	c cleaning 95004 clauses out of 190013 with flag 31171460/4646001
977.95/987.63	c cleaning 96003 clauses out of 192008 with flag 31843279/4743000
1000.59/1010.45	c cleaning 96997 clauses out of 194005 with flag 32501954/4841000
1022.07/1032.67	c cleaning 97996 clauses out of 196013 with flag 33077339/4940005
1044.37/1055.07	c cleaning 98998 clauses out of 198012 with flag 33672549/5040000
1070.37/1081.09	c cleaning 99985 clauses out of 200014 with flag 34250228/5141000
1096.12/1106.95	c cleaning 101013 clauses out of 202029 with flag 34837028/5243000
1124.57/1135.47	c cleaning 101994 clauses out of 204016 with flag 35450006/5346000
1153.58/1164.56	c cleaning 103010 clauses out of 206024 with flag 36061261/5450002
1181.91/1192.96	c cleaning 104014 clauses out of 208028 with flag 36658699/5555016
1212.06/1223.16	c cleaning 104990 clauses out of 209999 with flag 37296268/5661001
1242.00/1253.29	c cleaning 106003 clauses out of 212008 with flag 37945254/5768000
1269.17/1280.62	c cleaning 106991 clauses out of 214005 with flag 38540124/5876000
1303.27/1315.09	c cleaning 108009 clauses out of 216018 with flag 39213468/5985004
1336.19/1348.35	c cleaning 108996 clauses out of 218005 with flag 39926007/6095000
1368.49/1380.91	c cleaning 110002 clauses out of 220009 with flag 40689579/6206000
1397.80/1410.35	c cleaning 111003 clauses out of 222008 with flag 41364455/6318001
1430.68/1443.31	c cleaning 112002 clauses out of 224004 with flag 42092919/6431000
1464.89/1477.64	c cleaning 112999 clauses out of 226006 with flag 42808885/6545004
1500.29/1513.18	c cleaning 113977 clauses out of 228003 with flag 43566065/6660000
1533.72/1546.61	c cleaning 115004 clauses out of 230026 with flag 44378424/6776000
1566.57/1579.58	c cleaning 116003 clauses out of 232022 with flag 45152465/6893000
1600.91/1613.99	c cleaning 117002 clauses out of 234023 with flag 45911717/7011004
1638.74/1651.86	c cleaning 118000 clauses out of 236018 with flag 46790425/7130001
1676.90/1690.02	c cleaning 119001 clauses out of 238017 with flag 47714461/7250000
1713.09/1726.39	c cleaning 119981 clauses out of 240017 with flag 48578288/7371001
1749.57/1763.08	c cleaning 121011 clauses out of 242035 with flag 49443670/7493000
1782.99/1796.59	c cleaning 121992 clauses out of 244026 with flag 50306404/7616002
1819.92/1833.56	c cleaning 123007 clauses out of 246032 with flag 51177603/7740000
1857.91/1871.65	c cleaning 124003 clauses out of 248025 with flag 51986866/7865000
1894.99/1908.88	c cleaning 125008 clauses out of 250022 with flag 52826459/7991000
1935.02/1948.93	c cleaning 125991 clauses out of 252014 with flag 53737853/8118000
1972.39/1986.42	c cleaning 127001 clauses out of 254024 with flag 54616496/8246001
2009.64/2023.75	c cleaning 128011 clauses out of 256022 with flag 55490873/8375000
2050.17/2064.57	c cleaning 128988 clauses out of 258011 with flag 56453502/8505000
2086.19/2100.66	c cleaning 130012 clauses out of 260023 with flag 57337941/8636000
2123.83/2138.33	c cleaning 131001 clauses out of 262011 with flag 58248238/8768000
2159.35/2173.94	c cleaning 132000 clauses out of 264010 with flag 59064252/8901000
2201.51/2216.24	c cleaning 132975 clauses out of 266010 with flag 59873264/9035000
2244.58/2259.42	c cleaning 133994 clauses out of 268035 with flag 60702505/9170000
2289.21/2304.15	c cleaning 135015 clauses out of 270042 with flag 61626887/9306001
2333.10/2348.17	c cleaning 135993 clauses out of 272026 with flag 62456390/9443000
2377.81/2393.05	c cleaning 137007 clauses out of 274033 with flag 63314475/9581000
2421.10/2436.45	c cleaning 138006 clauses out of 276026 with flag 64185592/9720000
2463.68/2479.30	c cleaning 138974 clauses out of 278020 with flag 65011478/9860000
2511.21/2527.32	c cleaning 140009 clauses out of 280046 with flag 65955827/10001000
2556.11/2572.36	c cleaning 141016 clauses out of 282042 with flag 66881065/10143005
2601.83/2618.12	c cleaning 141983 clauses out of 284021 with flag 67779517/10286000
2648.22/2664.66	c cleaning 143013 clauses out of 286038 with flag 68745012/10430000
2693.95/2710.47	c cleaning 144001 clauses out of 288025 with flag 69719085/10575000
2742.16/2758.75	c cleaning 145008 clauses out of 290026 with flag 70737307/10721002
2791.69/2808.34	c cleaning 146004 clauses out of 292018 with flag 71803178/10868002
2838.94/2855.75	c cleaning 146984 clauses out of 294012 with flag 72848233/11016000
2884.16/2901.02	c cleaning 148011 clauses out of 296031 with flag 73852718/11165003
2934.23/2951.24	c cleaning 149008 clauses out of 298017 with flag 74908816/11315000
2985.12/3002.24	c cleaning 149997 clauses out of 300009 with flag 75972152/11466000
3035.24/3052.47	c cleaning 151003 clauses out of 302014 with flag 77055287/11618002
3082.92/3100.58	c cleaning 152005 clauses out of 304010 with flag 78114748/11771001
3129.84/3147.52	c cleaning 152993 clauses out of 306006 with flag 79076030/11925002
3180.84/3198.63	c cleaning 154001 clauses out of 308011 with flag 79993058/12080000
3234.89/3255.10	c cleaning 155004 clauses out of 310010 with flag 80921235/12236000
3283.41/3303.76	c cleaning 155993 clauses out of 312006 with flag 81817453/12393000
3339.26/3359.70	c cleaning 156994 clauses out of 314013 with flag 82732678/12551000
3396.25/3416.86	c cleaning 158001 clauses out of 316020 with flag 83756220/12710001
3455.62/3476.33	c cleaning 158996 clauses out of 318021 with flag 84691656/12870003
3516.98/3537.83	c cleaning 160013 clauses out of 320028 with flag 85685711/13031006
3579.65/3600.68	c cleaning 160984 clauses out of 322010 with flag 86628665/13193001
3600.06/3621.01	c starts		: 43023
3600.06/3621.02	c timeout
3600.06/3621.03	c conflicts		: 13253037
3600.06/3621.03	c decisions		: 98684059
3600.06/3621.03	c propagations		: 3621606555
3600.06/3621.03	c inspects		: 52240584032
3600.06/3621.03	c shortcuts		: 0
3600.06/3621.03	c learnt literals	: 0
3600.06/3621.03	c learnt binary clauses	: 0
3600.06/3621.03	c learnt ternary clauses	: 9
3600.06/3621.03	c learnt constraints	: 13253038
3600.06/3621.03	c ignored constraints	: 0
3600.06/3621.03	c root simplifications	: 0
3600.06/3621.03	c removed literals (reason simplification)	: 260477503
3600.06/3621.03	c reason swapping (by a shorter reason)	: 0
3600.06/3621.03	c Calls to reduceDB	: 158
3600.06/3621.03	c Number of update (reduction) of LBD	: 6745980
3600.06/3621.03	c Imported unit clauses	: 0
3600.06/3621.03	c No decision after first conflict	: false
3600.06/3621.03	c number of reductions to clauses (during analyze)	: 0
3600.06/3621.03	c number of learned constraints concerned by reduction	: 0
3600.06/3621.03	c number of learning phase by resolution	: 0
3600.06/3621.03	c number of learning phase by cutting planes	: 0
3600.06/3621.03	c number of rounding to 1 operations	: 0
3600.06/3621.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3621.03	c number of reductions of the coefficients by power 2 	: 0
3600.06/3621.03	c number of right shift for reduction by power 2 	: 0
3600.06/3621.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3621.03	c number of ending skipping 	: 0
3600.06/3621.03	c number of internal skipping 	: 0
3600.06/3621.03	c number of derivation steps 	: 0
3600.06/3621.03	c number of skipped derivation steps 	: 0
3600.06/3621.03	c number of remaining unassigned 	: 0
3600.06/3621.03	c number of remaining assigned 	: 0
3600.06/3621.03	c number of falsified literals weakened from reason	: 0
3600.06/3621.03	c number of falsified literals weakened from conflict	: 0
3600.06/3621.03	c time for arithmetic operations	: 0
3600.06/3621.03	c minimum degree of deleted constraints	: null
3600.06/3621.03	c maximum degree of deleted constraints	: null
3600.06/3621.03	c number of deleted constraints	: 0
3600.06/3621.03	c speed (assignments/second)	: 1000325.5291915763
3600.06/3621.03	c non guided choices	: 4589
3600.06/3621.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 221063
3600.06/3621.09	s UNKNOWN
3600.06/3621.09	c Total wall clock time (in seconds): 3620.961

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451782-1721840768/watcher-4451782-1721840768 -o /tmp/evaluation-result-4451782-1721840768/solver-4451782-1721840768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721840768-200448 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451782-1721840768 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451782-1721840768.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=200527, runsolver pid=200524

[startup+0.100284 s]*
/proc/loadavg: 1.71 2.18 2.81 14/329 200578
/proc/meminfo: memFree=119654784/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=18975048 memory=65328 CPUtime=0.14 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 7243 0 0 0 12 2 0 0 20 0 18 0 20605844 19430449152 16332 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4743762 16332 5674 1 0 549373 0
[pid=200527/tid=200532] ppid=200524 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 1078198336 5764 0 0 0 7 1 0 0 20 0 18 0 20605845 19430449152 16332 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20605847 19430449152 16332 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=18975048 memory=14973373508847284 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605848 19430449152 16332 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65328 KiB

[startup+0.218641 s]*
/proc/loadavg: 1.71 2.18 2.81 14/331 200580
/proc/meminfo: memFree=119589084/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=18975048 memory=84308 CPUtime=0.35 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 8844 0 0 0 33 2 0 0 20 0 18 0 20605844 19430449152 21077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4743762 21077 5819 1 0 550378 0
[pid=200527/tid=200532] ppid=200524 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 5940 0 0 0 17 1 0 0 20 0 18 0 20605845 19430449152 21077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=18975048 memory=1148849 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20605847 19430449152 21077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605848 19430449152 21077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84308 KiB

[startup+0.312351 s]*
/proc/loadavg: 1.71 2.18 2.81 13/332 200581
/proc/meminfo: memFree=119501516/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=18975048 memory=118656 CPUtime=0.54 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 9191 0 0 0 51 3 0 0 20 0 18 0 20605844 19430449152 29664 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4743762 29664 5819 1 0 550590 0
[pid=200527/tid=200532] ppid=200524 vsize=18975048 memory=-8888809805928178364 CPUtime=0.27 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 5961 0 0 0 25 2 0 0 20 0 18 0 20605845 19430449152 29664 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20605847 19430449152 29664 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605848 19430449152 29664 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118656 KiB

[startup+0.700193 s]
/proc/loadavg: 1.71 2.18 2.81 14/333 200582
/proc/meminfo: memFree=119358344/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=178148 CPUtime=1.27 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 14951 0 0 0 122 5 0 0 20 0 20 0 20605844 19566772224 44537 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 44537 5835 1 0 554947 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=5616 CPUtime=0.62 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 6060 0 0 0 59 3 0 0 20 0 20 0 20605845 19566772224 44537 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 44537 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 44537 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178148 KiB

[startup+1.50035 s]
/proc/loadavg: 1.71 2.18 2.81 10/337 200586
/proc/meminfo: memFree=119194852/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=199660 CPUtime=2.86 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 24192 0 0 0 279 7 0 0 20 0 20 0 20605844 19566772224 49915 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 49915 5866 1 0 557771 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=12404 CPUtime=1.4 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 6143 0 0 0 137 3 0 0 20 0 20 0 20605845 19566772224 49915 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 49915 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 49915 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 49915 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199660 KiB

[startup+3.11166 s]
/proc/loadavg: 2.21 2.28 2.84 8/337 200586
/proc/meminfo: memFree=119039892/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=213064 CPUtime=6.04 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 30254 0 0 0 596 8 0 0 20 0 20 0 20605844 19566772224 53266 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 53266 5882 1 0 558082 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=0 CPUtime=2.98 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 7590 0 0 0 294 4 0 0 20 0 20 0 20605845 19566772224 53266 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 53266 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 53266 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 53266 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 213064 KiB

[startup+6.30027 s]
/proc/loadavg: 2.21 2.28 2.84 5/337 200586
/proc/meminfo: memFree=118100656/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=292340 CPUtime=9.79 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 30699 0 0 0 967 12 0 0 20 0 20 0 20605844 19566772224 73085 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 73085 5882 1 0 558085 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=0 CPUtime=6.08 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 7690 0 0 0 602 6 0 0 20 0 20 0 20605845 19566772224 73085 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 73085 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 73085 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=69572 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 73085 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 292340 KiB

[startup+12.7004 s]
/proc/loadavg: 2.35 2.31 2.84 5/337 200588
/proc/meminfo: memFree=116865932/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=585412 CPUtime=16.2 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 33315 0 0 0 1598 22 0 0 20 0 20 0 20605844 19566772224 146353 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 146353 5898 1 0 558085 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=189452 CPUtime=12.41 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 8775 0 0 0 1226 15 0 0 20 0 20 0 20605845 19566772224 146353 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=585392 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 146353 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=213064 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 146353 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 146353 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 16.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 585412 KiB

[startup+25.5004 s]
/proc/loadavg: 2.72 2.39 2.86 5/337 200590
/proc/meminfo: memFree=115389536/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=720764 CPUtime=29.01 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 40644 0 0 0 2873 28 0 0 20 0 20 0 20605844 19566772224 180191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 180191 5898 1 0 558101 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=585392 CPUtime=24.97 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 10662 0 0 0 2478 19 0 0 20 0 20 0 20605845 19566772224 180191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=620312 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 180191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 180191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 180191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 29.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 720764 KiB

[startup+51.1057 s]
/proc/loadavg: 3.23 2.54 2.90 5/337 200594
/proc/meminfo: memFree=114348268/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=1036308 CPUtime=54.14 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 43988 0 0 0 5373 41 0 0 20 0 20 0 20605844 19566772224 259077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 259077 5898 1 0 558101 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=808900 CPUtime=49.86 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 12891 0 0 0 4957 29 0 0 20 0 20 0 20605845 19566772224 259077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=808912 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 259077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 259077 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0

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

/proc/meminfo: memFree=100435796/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188756 CPUtime=3204.55 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 191587 0 0 0 319939 516 0 0 20 0 20 0 20605844 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547189 5898 1 0 560474 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188752 CPUtime=3188.74 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 85786 0 0 0 318477 397 0 0 20 0 20 0 20605845 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1677 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=2188752 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=69572 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 3712 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=2188752 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3204.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.10 5/338 202370
/proc/meminfo: memFree=100305456/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188756 CPUtime=3262.08 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 193199 0 0 0 325686 522 0 0 20 0 20 0 20605844 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547189 5898 1 0 560474 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188756 CPUtime=3246.13 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 87011 0 0 0 324210 403 0 0 20 0 20 0 20605845 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1918 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=2188756 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2188756 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 3789 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=2188756 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547189 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3262.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/339 202394
/proc/meminfo: memFree=100141192/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3321.9 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 195639 0 0 0 331659 531 0 0 20 0 20 0 20605844 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547190 5898 1 0 560474 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3305.81 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 88648 0 0 0 330171 410 0 0 20 0 20 0 20605845 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1921 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=2188760 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2188760 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 3893 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=28044 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3321.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.23 4.12 5/339 202405
/proc/meminfo: memFree=99974728/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3381.79 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 198201 0 0 0 337641 538 0 0 20 0 20 0 20605844 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547190 5898 1 0 560474 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3365.55 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 90158 0 0 0 336140 415 0 0 20 0 20 0 20605845 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1926 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2188760 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 3993 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=2188760 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3381.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/339 202416
/proc/meminfo: memFree=99821028/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3441.65 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 200734 0 0 0 343619 546 0 0 20 0 20 0 20605844 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547190 5898 1 0 560474 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3425.29 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 91633 0 0 0 342107 422 0 0 20 0 20 0 20605845 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1931 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=69688 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 4094 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=69688 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547190 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3441.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.11 5/337 202427
/proc/meminfo: memFree=99678048/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188764 CPUtime=3501.51 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 203190 0 0 0 349599 552 0 0 20 0 20 0 20605844 19566772224 547191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547191 5898 1 0 560475 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188760 CPUtime=3485.01 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 93009 0 0 0 348074 427 0 0 20 0 20 0 20605845 19566772224 547191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1936 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=2188764 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2188764 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 4194 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=2188764 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547191 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3501.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188764 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/337 202437
/proc/meminfo: memFree=99553240/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188772 CPUtime=3561.38 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 205775 0 0 0 355578 560 0 0 20 0 20 0 20605844 19566772224 547193 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547193 5898 1 0 560475 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=2188772 CPUtime=3544.76 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 94484 0 0 0 354043 433 0 0 20 0 20 0 20605845 19566772224 547193 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1941 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=2188772 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547193 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2188772 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 4295 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547193 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=7896667781763210657 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547193 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3561.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621 s]*
/proc/loadavg: 4.25 4.20 4.12 4/308 202478
/proc/meminfo: memFree=106305268/131524600 swapFree=131067876/131071996
[pid=200527] ppid=200524 vsize=19108176 memory=2188776 CPUtime=3600.06 cores=1,3
/proc/200527/stat : 200527 (java) S 200524 200527 200436 0 -1 1077936128 207699 0 0 0 359441 565 0 0 20 0 20 0 20605844 19566772224 547194 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
/proc/200527/statm: 4777044 547194 5898 1 0 560476 0
[pid=200527/tid=200532] ppid=200524 vsize=19108176 memory=-8888809805928178364 CPUtime=3583.27 cores=1,3
/proc/200527/task/200532/stat : 200532 (java) R 200524 200527 200436 0 -1 4194368 95315 0 0 0 357890 437 0 0 20 0 20 0 20605845 19566772224 547194 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1943 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200571] ppid=200524 vsize=19108176 memory=1471341642200482393 CPUtime=0 cores=1,3
/proc/200527/task/200571/stat : 200571 (Finalizer) S 200524 200527 200436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20605847 19566772224 547194 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200578] ppid=200524 vsize=19108176 memory=2764 CPUtime=0 cores=1,3
/proc/200527/task/200578/stat : 200578 (Common-Cleaner) S 200524 200527 200436 0 -1 1077936192 4391 0 0 0 0 0 0 0 20 0 20 0 20605848 19566772224 547194 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
[pid=200527/tid=200583] ppid=200524 vsize=19108176 memory=5128 CPUtime=0 cores=1,3
/proc/200527/task/200583/stat : 200583 (Timer-0) S 200524 200527 200436 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20605905 19566772224 547194 134679101440 94918034161664 94918034165360 140721009984416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94918034173176 94918034173968 94918045483008 140721009992619 140721009992801 140721009992801 140721009999816 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.54 s, system=5.67063 s

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

Child status: 143

Real time (s): 3621.1
CPU time (s): 3600.21
CPU user time (s): 3594.54
CPU system time (s): 5.67063
CPU usage (%): 99.4229
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2188776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.54
system time used= 5.67063
maximum resident set size= 2190704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6559704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109602
involuntary context switches= 10236


# summary of solver processes directly reported to runsolver:
#   pid: 200527
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3594.54
#   total CPU system time (s): 5.67063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92597 second user time and 16.8955 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-24 19:06:08
IDJOB=4451782
IDBENCH=162644
IDSOLVER=3079
FILE ID=nodeC025/4451782-1721840768
RUNJOBID= nodeC025-1721840768-200448
SLURM_JOB_ID= 7891552
Free space on /tmp= 890024 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4451782-1721840768/watcher-4451782-1721840768 -o /tmp/evaluation-result-4451782-1721840768/solver-4451782-1721840768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721840768-200448 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451782-1721840768 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451782-1721840768.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=582445076

nodeC025.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		: 3628.369
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.51
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		: 3627.840
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.49
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		: 3602.746
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.51
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		: 3504.732
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.49
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		: 3601.007
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.51
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		: 3454.755
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.49
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		: 3602.428
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.51
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		: 3571.327
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119786700 kB
MemAvailable:   129596592 kB
Buffers:          271140 kB
Cached:         10312084 kB
SwapCached:         2240 kB
Active:          2452540 kB
Inactive:        8570612 kB
Active(anon):       3840 kB
Inactive(anon):   489264 kB
Active(file):    2448700 kB
Inactive(file):  8081348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067876 kB
Dirty:              7572 kB
Writeback:             8 kB
AnonPages:        438392 kB
Mapped:           127956 kB
Shmem:             53184 kB
KReclaimable:     239336 kB
Slab:             364368 kB
SReclaimable:     239336 kB
SUnreclaim:       125032 kB
KernelStack:        4232 kB
PageTables:        10132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7210644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-24 20:06:29