Trace number 4514346

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 2025-06-06? (TO) 3600.41 3605.9

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 benchmark1198.19
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
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@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 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-4514346-1751226021.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.89/0.59	c ... done. Wall clock time 0.459s.
0.89/0.59	c declared #vars     5700
0.89/0.59	c #constraints  27834
0.89/0.59	c constraints type 
0.89/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11174
0.89/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.89/0.59	c org.sat4j.specs.Constr$1 => 4
0.89/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16650
0.89/0.59	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.89/0.59	c 27834 constraints processed.
3.20/1.86	c cleaning 2495 clauses out of 5000 with flag 38047/5000
4.50/3.03	c cleaning 4249 clauses out of 8505 with flag 101275/11000
5.77/4.10	c cleaning 5622 clauses out of 11256 with flag 164113/18000
7.26/5.50	c cleaning 6810 clauses out of 13637 with flag 234283/26003
8.56/6.85	c cleaning 7908 clauses out of 15825 with flag 296333/35001
10.08/8.37	c cleaning 8954 clauses out of 17918 with flag 351213/45002
11.88/10.10	c cleaning 9973 clauses out of 19962 with flag 423733/56000
13.88/12.13	c cleaning 10994 clauses out of 21989 with flag 514911/68000
15.77/14.02	c cleaning 11997 clauses out of 23995 with flag 604905/81000
18.20/16.31	c cleaning 12999 clauses out of 25998 with flag 688774/95000
20.73/18.88	c cleaning 14000 clauses out of 28000 with flag 793864/110001
23.32/21.44	c cleaning 14994 clauses out of 29999 with flag 903118/126000
25.94/24.06	c cleaning 15987 clauses out of 32005 with flag 1009281/143000
28.99/27.09	c cleaning 17001 clauses out of 34019 with flag 1125894/161001
32.47/30.59	c cleaning 17997 clauses out of 36017 with flag 1253380/180000
36.17/34.28	c cleaning 19002 clauses out of 38020 with flag 1384142/200000
40.07/38.11	c cleaning 20003 clauses out of 40019 with flag 1525317/221001
43.76/41.87	c cleaning 21005 clauses out of 42016 with flag 1660959/243001
48.15/46.24	c cleaning 21999 clauses out of 44016 with flag 1819211/266006
52.98/51.03	c cleaning 23004 clauses out of 46012 with flag 1980737/290001
57.27/55.38	c cleaning 24002 clauses out of 48009 with flag 2124172/315002
61.86/59.93	c cleaning 25004 clauses out of 50007 with flag 2277302/341002
66.85/64.91	c cleaning 25994 clauses out of 52001 with flag 2460850/368000
71.75/69.85	c cleaning 26994 clauses out of 54008 with flag 2633801/396001
77.13/75.24	c cleaning 27986 clauses out of 56015 with flag 2809925/425002
82.56/80.64	c cleaning 29007 clauses out of 58031 with flag 2994833/455004
88.15/86.21	c cleaning 30009 clauses out of 60020 with flag 3185105/486000
93.94/92.02	c cleaning 31002 clauses out of 62011 with flag 3384532/518000
100.02/98.10	c cleaning 31992 clauses out of 64009 with flag 3583608/551000
106.55/104.65	c cleaning 33005 clauses out of 66020 with flag 3808975/585003
113.24/111.31	c cleaning 33989 clauses out of 68013 with flag 4028634/620001
120.03/118.11	c cleaning 35002 clauses out of 70025 with flag 4261112/656002
126.81/124.93	c cleaning 36002 clauses out of 72021 with flag 4497945/693000
133.69/131.89	c cleaning 36988 clauses out of 74022 with flag 4721620/731003
141.40/139.56	c cleaning 38004 clauses out of 76032 with flag 4975204/770001
148.99/147.18	c cleaning 39006 clauses out of 78027 with flag 5219378/810000
156.46/154.60	c cleaning 40012 clauses out of 80024 with flag 5453261/851003
163.64/161.87	c cleaning 40991 clauses out of 82009 with flag 5685379/893000
171.62/169.80	c cleaning 41977 clauses out of 84019 with flag 5935637/936001
179.63/177.85	c cleaning 43017 clauses out of 86042 with flag 6206017/980001
188.71/186.90	c cleaning 44004 clauses out of 88024 with flag 6494212/1025000
197.68/195.99	c cleaning 44984 clauses out of 90020 with flag 6780646/1071000
206.76/205.01	c cleaning 45970 clauses out of 92036 with flag 7085247/1118000
216.42/214.72	c cleaning 46968 clauses out of 94067 with flag 7400374/1166001
226.43/224.71	c cleaning 48040 clauses out of 96099 with flag 7737405/1215001
236.00/234.33	c cleaning 49003 clauses out of 98058 with flag 8063236/1265000
245.47/243.80	c cleaning 50001 clauses out of 100055 with flag 8381695/1316000
254.84/253.24	c cleaning 51008 clauses out of 102054 with flag 8692880/1368000
263.96/262.33	c cleaning 52018 clauses out of 104046 with flag 8981639/1421000
274.34/272.75	c cleaning 52992 clauses out of 106029 with flag 9294585/1475001
285.50/283.90	c cleaning 54004 clauses out of 108036 with flag 9658181/1530000
297.06/295.57	c cleaning 55010 clauses out of 110032 with flag 10041463/1586000
309.35/307.89	c cleaning 56002 clauses out of 112023 with flag 10457842/1643001
321.03/319.52	c cleaning 57005 clauses out of 114020 with flag 10848330/1701000
332.60/331.18	c cleaning 58000 clauses out of 116015 with flag 11244564/1760000
344.98/343.52	c cleaning 59004 clauses out of 118021 with flag 11629188/1820006
357.98/356.53	c cleaning 59999 clauses out of 120011 with flag 12049664/1881000
371.74/370.34	c cleaning 60992 clauses out of 122014 with flag 12501804/1943002
384.90/383.50	c cleaning 61995 clauses out of 124021 with flag 12954738/2006001
398.68/397.31	c cleaning 62994 clauses out of 126025 with flag 13414470/2070000
412.39/411.03	c cleaning 64009 clauses out of 128035 with flag 13884861/2135004
424.65/423.34	c cleaning 65009 clauses out of 130022 with flag 14298459/2201000
439.61/438.38	c cleaning 65976 clauses out of 132013 with flag 14805461/2268000
454.49/453.25	c cleaning 67011 clauses out of 134038 with flag 15331150/2336001
468.65/467.41	c cleaning 68005 clauses out of 136026 with flag 15818408/2405000
481.43/480.20	c cleaning 69010 clauses out of 138023 with flag 16253525/2475002
497.74/496.56	c cleaning 70001 clauses out of 140014 with flag 16806818/2546003
512.70/511.54	c cleaning 70989 clauses out of 142010 with flag 17312562/2618000
528.07/526.99	c cleaning 71998 clauses out of 144024 with flag 17796176/2691003
543.83/542.70	c cleaning 73007 clauses out of 146023 with flag 18335484/2765000
561.49/560.45	c cleaning 74003 clauses out of 148016 with flag 18917997/2840000
578.26/577.22	c cleaning 75003 clauses out of 150016 with flag 19527266/2916003
595.18/594.10	c cleaning 75992 clauses out of 152010 with flag 20079024/2993000
611.44/610.40	c cleaning 77007 clauses out of 154019 with flag 20602924/3071001
627.90/626.94	c cleaning 77998 clauses out of 156012 with flag 21192622/3150001
646.15/645.25	c cleaning 79007 clauses out of 158013 with flag 21778128/3230000
664.81/663.95	c cleaning 79995 clauses out of 160006 with flag 22423989/3311000
682.28/681.49	c cleaning 80992 clauses out of 162012 with flag 23031040/3393001
701.49/700.64	c cleaning 82003 clauses out of 164019 with flag 23637333/3476000
720.55/719.73	c cleaning 83005 clauses out of 166018 with flag 24229854/3560002
739.91/739.16	c cleaning 83995 clauses out of 168013 with flag 24856436/3645002
759.65/758.97	c cleaning 85003 clauses out of 170016 with flag 25471643/3731000
778.72/778.07	c cleaning 85995 clauses out of 172016 with flag 26043368/3818003
798.57/797.96	c cleaning 87007 clauses out of 174018 with flag 26614687/3906000
819.93/819.36	c cleaning 87984 clauses out of 176011 with flag 27117338/3995000
841.94/841.31	c cleaning 88972 clauses out of 178029 with flag 27687976/4085002
861.79/861.29	c cleaning 90018 clauses out of 180055 with flag 28234446/4176000
883.75/883.28	c cleaning 90989 clauses out of 182037 with flag 28815214/4268000
904.29/903.81	c cleaning 92020 clauses out of 184052 with flag 29414962/4361004
923.95/923.57	c cleaning 93011 clauses out of 186028 with flag 29966037/4455000
945.60/945.21	c cleaning 94005 clauses out of 188019 with flag 30537964/4550002
968.94/968.51	c cleaning 95004 clauses out of 190013 with flag 31171460/4646001
992.79/992.49	c cleaning 96003 clauses out of 192008 with flag 31843279/4743000
1015.73/1015.48	c cleaning 96997 clauses out of 194005 with flag 32501954/4841000
1037.57/1037.31	c cleaning 97996 clauses out of 196013 with flag 33077339/4940005
1060.22/1060.03	c cleaning 98998 clauses out of 198012 with flag 33672549/5040000
1086.54/1086.46	c cleaning 99985 clauses out of 200014 with flag 34250228/5141000
1112.96/1112.90	c cleaning 101013 clauses out of 202029 with flag 34837028/5243000
1142.26/1142.27	c cleaning 101994 clauses out of 204016 with flag 35450006/5346000
1171.89/1171.97	c cleaning 103010 clauses out of 206024 with flag 36061261/5450002
1201.02/1201.16	c cleaning 104014 clauses out of 208028 with flag 36658699/5555016
1232.43/1232.60	c cleaning 104990 clauses out of 209999 with flag 37296268/5661001
1263.36/1263.63	c cleaning 106003 clauses out of 212008 with flag 37945254/5768000
1291.00/1291.38	c cleaning 106991 clauses out of 214005 with flag 38540124/5876000
1326.20/1326.27	c cleaning 108009 clauses out of 216018 with flag 39213468/5985004
1359.03/1359.12	c cleaning 108996 clauses out of 218005 with flag 39926007/6095000
1391.34/1391.58	c cleaning 110002 clauses out of 220009 with flag 40689579/6206000
1421.56/1421.86	c cleaning 111003 clauses out of 222008 with flag 41364455/6318001
1455.09/1455.42	c cleaning 112002 clauses out of 224004 with flag 42092919/6431000
1490.61/1491.03	c cleaning 112999 clauses out of 226006 with flag 42808885/6545004
1526.62/1527.18	c cleaning 113977 clauses out of 228003 with flag 43566065/6660000
1560.88/1561.40	c cleaning 115004 clauses out of 230026 with flag 44378424/6776000
1594.51/1595.11	c cleaning 116003 clauses out of 232022 with flag 45152465/6893000
1629.73/1630.45	c cleaning 117002 clauses out of 234023 with flag 45911717/7011004
1668.53/1669.30	c cleaning 118000 clauses out of 236018 with flag 46790425/7130001
1707.25/1708.14	c cleaning 119001 clauses out of 238017 with flag 47714461/7250000
1744.76/1745.73	c cleaning 119981 clauses out of 240017 with flag 48578288/7371001
1782.13/1783.13	c cleaning 121011 clauses out of 242035 with flag 49443670/7493000
1816.84/1817.99	c cleaning 121992 clauses out of 244026 with flag 50306404/7616002
1854.14/1855.34	c cleaning 123007 clauses out of 246032 with flag 51177603/7740000
1893.63/1894.98	c cleaning 124003 clauses out of 248025 with flag 51986866/7865000
1931.80/1933.27	c cleaning 125008 clauses out of 250022 with flag 52826459/7991000
1972.78/1974.36	c cleaning 125991 clauses out of 252014 with flag 53737853/8118000
2010.87/2012.59	c cleaning 127001 clauses out of 254024 with flag 54616496/8246001
2049.06/2050.89	c cleaning 128011 clauses out of 256022 with flag 55490873/8375000
2091.01/2092.89	c cleaning 128988 clauses out of 258011 with flag 56453502/8505000
2127.99/2129.91	c cleaning 130012 clauses out of 260023 with flag 57337941/8636000
2166.77/2168.81	c cleaning 131001 clauses out of 262011 with flag 58248238/8768000
2203.07/2205.28	c cleaning 132000 clauses out of 264010 with flag 59064252/8901000
2246.23/2248.53	c cleaning 132975 clauses out of 266010 with flag 59873264/9035000
2289.80/2292.27	c cleaning 133994 clauses out of 268035 with flag 60702505/9170000
2335.26/2337.84	c cleaning 135015 clauses out of 270042 with flag 61626887/9306001
2380.33/2383.08	c cleaning 135993 clauses out of 272026 with flag 62456390/9443000
2425.89/2428.73	c cleaning 137007 clauses out of 274033 with flag 63314475/9581000
2470.25/2473.24	c cleaning 138006 clauses out of 276026 with flag 64185592/9720000
2513.03/2516.01	c cleaning 138974 clauses out of 278020 with flag 65011478/9860000
2561.31/2564.40	c cleaning 140009 clauses out of 280046 with flag 65955827/10001000
2607.10/2610.39	c cleaning 141016 clauses out of 282042 with flag 66881065/10143005
2653.80/2657.17	c cleaning 141983 clauses out of 284021 with flag 67779517/10286000
2701.47/2704.95	c cleaning 143013 clauses out of 286038 with flag 68745012/10430000
2748.16/2751.78	c cleaning 144001 clauses out of 288025 with flag 69719085/10575000
2797.75/2801.40	c cleaning 145008 clauses out of 290026 with flag 70737307/10721002
2847.91/2851.67	c cleaning 146004 clauses out of 292018 with flag 71803178/10868002
2896.59/2900.41	c cleaning 146984 clauses out of 294012 with flag 72848233/11016000
2942.59/2946.58	c cleaning 148011 clauses out of 296031 with flag 73852718/11165003
2993.66/2997.77	c cleaning 149008 clauses out of 298017 with flag 74908816/11315000
3045.85/3050.02	c cleaning 149997 clauses out of 300009 with flag 75972152/11466000
3097.20/3101.50	c cleaning 151003 clauses out of 302014 with flag 77055287/11618002
3145.96/3150.46	c cleaning 152005 clauses out of 304010 with flag 78114748/11771001
3193.80/3198.37	c cleaning 152993 clauses out of 306006 with flag 79076030/11925002
3246.27/3250.95	c cleaning 154001 clauses out of 308011 with flag 79993058/12080000
3301.34/3306.11	c cleaning 155004 clauses out of 310010 with flag 80921235/12236000
3351.11/3356.04	c cleaning 155993 clauses out of 312006 with flag 81817453/12393000
3410.02/3415.19	c cleaning 156994 clauses out of 314013 with flag 82732678/12551000
3471.54/3476.87	c cleaning 158001 clauses out of 316020 with flag 83756220/12710001
3536.65/3542.18	c cleaning 158996 clauses out of 318021 with flag 84691656/12870003
3600.26/3605.82	c starts		: 41907
3600.26/3605.82	c timeout
3600.26/3605.82	c conflicts		: 13029522
3600.26/3605.82	c decisions		: 96801812
3600.26/3605.82	c propagations		: 3555137937
3600.26/3605.82	c inspects		: 51190590466
3600.26/3605.82	c shortcuts		: 0
3600.26/3605.82	c learnt literals	: 0
3600.26/3605.82	c learnt binary clauses	: 0
3600.26/3605.82	c learnt ternary clauses	: 9
3600.26/3605.82	c learnt constraints	: 13029522
3600.26/3605.82	c ignored constraints	: 0
3600.26/3605.82	c root simplifications	: 0
3600.26/3605.82	c removed literals (reason simplification)	: 256554036
3600.26/3605.82	c reason swapping (by a shorter reason)	: 0
3600.26/3605.82	c Calls to reduceDB	: 156
3600.26/3605.82	c Number of update (reduction) of LBD	: 6626287
3600.26/3605.82	c Imported unit clauses	: 0
3600.26/3605.82	c No decision after first conflict	: false
3600.26/3605.82	c number of reductions to clauses (during analyze)	: 0
3600.26/3605.82	c number of learned constraints concerned by reduction	: 0
3600.26/3605.82	c number of learning phase by resolution	: 0
3600.26/3605.82	c number of learning phase by cutting planes	: 0
3600.26/3605.82	c number of rounding to 1 operations	: 0
3600.26/3605.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.26/3605.82	c number of reductions of the coefficients by power 2 	: 0
3600.26/3605.82	c number of right shift for reduction by power 2 	: 0
3600.26/3605.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.26/3605.82	c number of ending skipping 	: 0
3600.26/3605.82	c number of internal skipping 	: 0
3600.26/3605.82	c number of derivation steps 	: 0
3600.26/3605.82	c number of skipped derivation steps 	: 0
3600.26/3605.82	c number of remaining unassigned 	: 0
3600.26/3605.82	c number of remaining assigned 	: 0
3600.26/3605.82	c number of falsified literals weakened from reason	: 0
3600.26/3605.82	c number of falsified literals weakened from conflict	: 0
3600.26/3605.82	c time for arithmetic operations	: 0
3600.26/3605.82	c minimum degree of deleted constraints	: null
3600.26/3605.82	c maximum degree of deleted constraints	: null
3600.26/3605.82	c number of deleted constraints	: 0
3600.26/3605.82	c speed (assignments/second)	: 986108.1850460762
3600.26/3605.83	c non guided choices	: 4589
3600.26/3605.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 318544
3600.26/3605.89	s UNKNOWN
3600.26/3605.89	c Total wall clock time (in seconds): 3605.762

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: 63708 MiB (62074 MiB free)
  memory of node 1: 64465 MiB (63662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514346-1751226021/watcher-4514346-1751226021 -o /tmp/evaluation-result-4514346-1751226021/solver-4514346-1751226021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28935 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514346-1751226021.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29911, runsolver pid=29908
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.14 4.11 6/340 29929
/proc/meminfo: memFree=128722592/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=18930384 memory=57644 CPUtime=0.13 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 6577 0 0 0 11 2 0 0 20 0 18 0 38279604 19384713216 14411 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4732596 14411 5334 1 0 547622 0
[pid=29911/tid=29913] ppid=29908 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 5088 0 0 0 7 1 0 0 20 0 18 0 38279605 19384713216 14411 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 14411 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=18930384 memory=60684515934839 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 14411 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57644 KiB

[startup+0.205734 s]*
/proc/loadavg: 4.08 4.14 4.11 6/340 29929
/proc/meminfo: memFree=128710304/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=18930384 memory=73108 CPUtime=0.33 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 7415 0 0 0 30 3 0 0 20 0 18 0 38279604 19384713216 18277 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4732596 18277 5430 1 0 548148 0
[pid=29911/tid=29913] ppid=29908 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 5277 0 0 0 16 1 0 0 20 0 18 0 38279605 19384713216 18277 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=18930384 memory=15987 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 18277 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 18277 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73108 KiB

[startup+0.305871 s]*
/proc/loadavg: 4.08 4.14 4.11 6/340 29929
/proc/meminfo: memFree=128677852/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=18930384 memory=113728 CPUtime=0.52 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 8649 0 0 0 48 4 0 0 20 0 18 0 38279604 19384713216 28432 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4732596 28432 5430 1 0 549046 0
[pid=29911/tid=29913] ppid=29908 vsize=18930384 memory=-6000919472790135661 CPUtime=0.27 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 5296 0 0 0 24 3 0 0 20 0 18 0 38279605 19384713216 28432 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 28432 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38279608 19384713216 28432 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113728 KiB

[startup+0.700178 s]
/proc/loadavg: 4.08 4.14 4.11 6/341 29930
/proc/meminfo: memFree=128632544/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=169112 CPUtime=1.26 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 12629 0 0 0 120 6 0 0 20 0 20 0 38279604 19521036288 42278 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 42278 5462 1 0 552429 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=17536 CPUtime=0.62 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 5397 0 0 0 59 3 0 0 20 0 20 0 38279605 19521036288 42278 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42278 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42278 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169112 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.15 4.11 6/342 29931
/proc/meminfo: memFree=128572324/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=170776 CPUtime=2.68 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 15193 0 0 0 262 6 0 0 20 0 20 0 38279604 19521036288 42694 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 42694 5494 1 0 552442 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=3200 CPUtime=1.41 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 5517 0 0 0 138 3 0 0 20 0 20 0 38279605 19521036288 42694 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42694 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42694 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 42694 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170776 KiB

[startup+3.10553 s]
/proc/loadavg: 4.15 4.15 4.11 6/342 29931
/proc/meminfo: memFree=128571004/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=172312 CPUtime=4.69 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 19605 0 0 0 462 7 0 0 20 0 20 0 38279604 19521036288 43078 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 43078 5494 1 0 552713 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=14432 CPUtime=2.99 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 6649 0 0 0 296 3 0 0 20 0 20 0 38279605 19521036288 43078 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 43078 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 43078 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 43078 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172312 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.15 4.11 5/342 29931
/proc/meminfo: memFree=128571424/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=169168 CPUtime=8.06 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 19857 0 0 0 799 7 0 0 20 0 20 0 38279604 19521036288 42292 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 42292 5494 1 0 552721 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=0 CPUtime=6.17 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 6767 0 0 0 614 3 0 0 20 0 20 0 38279605 19521036288 42292 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42292 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 42292 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=170776 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 42292 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169168 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.11 5/342 29931
/proc/meminfo: memFree=128559136/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=183704 CPUtime=14.47 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 22609 0 0 0 1439 8 0 0 20 0 20 0 38279604 19521036288 45926 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 45926 5526 1 0 552721 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=170776 CPUtime=12.54 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 7475 0 0 0 1251 3 0 0 20 0 20 0 38279605 19521036288 45926 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=183704 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 45926 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 45926 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 45926 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183704 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.16 4.12 5/342 29931
/proc/meminfo: memFree=128559136/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=182764 CPUtime=27.46 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 27583 0 0 0 2738 8 0 0 20 0 20 0 38279604 19521036288 45691 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 45691 5526 1 0 552721 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=0 CPUtime=25.3 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 8265 0 0 0 2527 3 0 0 20 0 20 0 38279605 19521036288 45691 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 45691 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=182764 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 45691 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=182764 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 45691 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182764 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.11 5/341 29931
/proc/meminfo: memFree=128332380/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=262868 CPUtime=53.08 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 30007 0 0 0 5297 11 0 0 20 0 20 0 38279604 19521036288 65717 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 65717 5526 1 0 552721 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=182764 CPUtime=50.77 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 8672 0 0 0 5073 4 0 0 20 0 20 0 38279605 19521036288 65717 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=12800 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 65717 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 65717 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=183704 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/340 30106
/proc/meminfo: memFree=123611496/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3277.59 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 67691 0 0 0 327649 110 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3270.88 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 25747 0 0 0 327080 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 683 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3277.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.19 4.12 4/317 30244
/proc/meminfo: memFree=128002628/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3337.43 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 67723 0 0 0 333632 111 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=14432 CPUtime=3330.71 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 25750 0 0 0 333063 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=6940160697932578836 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 683 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3337.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.23 4.14 5/340 30441
/proc/meminfo: memFree=111645136/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3397.25 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 68333 0 0 0 339613 112 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=6940160697932578836 CPUtime=3390.5 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 26308 0 0 0 339042 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 683 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3397.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/342 30445
/proc/meminfo: memFree=110436496/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3457.07 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 68921 0 0 0 345594 113 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=6940160697932578836 CPUtime=3450.3 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 26790 0 0 0 345022 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 758 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/343 30448
/proc/meminfo: memFree=109932100/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3516.91 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 69561 0 0 0 351576 115 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=14432 CPUtime=3510.1 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 27261 0 0 0 351002 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 859 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3516.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.21 4.15 5/342 30450
/proc/meminfo: memFree=109086156/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3576.73 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 69776 0 0 0 357557 116 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=10752 CPUtime=3569.9 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 27462 0 0 0 356982 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=-6000919472790135661 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 862 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3576.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.7 s]
/proc/loadavg: 4.22 4.21 4.15 5/343 30456
/proc/meminfo: memFree=108810916/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3600.05 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 69797 0 0 0 359889 116 0 0 20 0 20 0 38279604 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4765878 424595 5526 1 0 556027 0
[pid=29911/tid=29913] ppid=29908 vsize=19063512 memory=1698380 CPUtime=3593.22 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) R 29908 29911 28922 0 -1 4194368 27480 0 0 0 359314 8 0 0 20 0 20 0 38279605 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 862 0 0 0 0 0 0 0 20 0 20 0 38279608 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29931] ppid=29908 vsize=19063512 memory=1698380 CPUtime=0 cores=5,7
/proc/29911/task/29931/stat : 29931 (Timer-0) S 29908 29911 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38279665 19521036288 424595 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1698380 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.22 s, system=1.18522 s

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

[startup+3605.8 s]
/proc/loadavg: 4.22 4.21 4.15 5/343 30456
/proc/meminfo: memFree=108810916/131250000 swapFree=33010684/33010684
[pid=29911] ppid=29908 vsize=19263204 memory=1701084 CPUtime=3600.26 cores=5,7
/proc/29911/stat : 29911 (java) S 29908 29911 28922 0 -1 4194304 72316 0 0 0 359909 117 0 0 20 0 21 0 38279604 19725520896 425271 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
/proc/29911/statm: 4815801 425271 5526 1 0 556933 0
[pid=29911/tid=29913] ppid=29908 vsize=19263204 memory=10752 CPUtime=3593.23 cores=5,7
/proc/29911/task/29913/stat : 29913 (java) S 29908 29911 28922 0 -1 4194368 27551 0 0 0 359315 8 0 0 20 0 21 0 38279605 19725520896 425271 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29922] ppid=29908 vsize=19263204 memory=5632 CPUtime=0 cores=5,7
/proc/29911/task/29922/stat : 29922 (Finalizer) S 29908 29911 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 38279608 19725520896 425271 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
[pid=29911/tid=29929] ppid=29908 vsize=19263204 memory=4252 CPUtime=0 cores=5,7
/proc/29911/task/29929/stat : 29929 (Common-Cleaner) S 29908 29911 28922 0 -1 4194368 862 0 0 0 0 0 0 0 20 0 21 0 38279608 19725520896 425271 18446744073709551615 94289896013824 94289896017520 140720577103664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94289896025336 94289896026128 94289925967872 140720577112449 140720577112550 140720577112550 140720577118152 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1701084 KiB

Child status: 143

Real time (s): 3605.9
CPU time (s): 3600.41
CPU user time (s): 3599.22
CPU system time (s): 1.18522
CPU usage (%): 99.8475
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1701084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 1.18522
maximum resident set size= 1703516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112053
involuntary context switches= 4723


# summary of solver processes directly reported to runsolver:
#   pid: 29911
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3599.22
#   total CPU system time (s): 1.18522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12517 second user time and 16.9218 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-29 21:40:21
IDJOB=4514346
IDBENCH=162644
IDSOLVER=3363
FILE ID=nodeC019/4514346-1751226021
RUNJOBID= nodeC019-1751222147-28935
SLURM_JOB_ID= 9587678
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514346-1751226021/watcher-4514346-1751226021 -o /tmp/evaluation-result-4514346-1751226021/solver-4514346-1751226021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28935 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4514346-1751226021.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=354357108

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.701
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.687
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3626.137
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.931
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.678
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.702
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3562.809
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.673
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128754240 kB
MemAvailable:   128642364 kB
Buffers:            3280 kB
Cached:           697364 kB
SwapCached:            0 kB
Active:          1494120 kB
Inactive:         440616 kB
Active(anon):    1252156 kB
Inactive(anon):        0 kB
Active(file):     241964 kB
Inactive(file):   440616 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4264 kB
Writeback:            12 kB
AnonPages:       1237152 kB
Mapped:           122688 kB
Shmem:             18064 kB
KReclaimable:      89568 kB
Slab:             175460 kB
SReclaimable:      89568 kB
SUnreclaim:        85892 kB
KernelStack:        5216 kB
PageTables:         6068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7045252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1058816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432620 MiB
End job on nodeC019 at 2025-06-29 22:40:27