Trace number 4514347

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 VeriPB 2025-06-06? (TO) 3600.31 3599.81

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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2106806208
0.12/0.21	c Max memory 		16282288128
0.12/0.22	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.29/0.32	c Pseudo Boolean Optimization by upper bound
0.29/0.32	c --- Begin Solver configuration ---
0.29/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.32	c Learn all clauses as in MiniSAT
0.29/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	c Expensive reason simplification
0.29/0.32	c Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	c timeout=2147483s
0.29/0.32	c DB Simplification allowed=false
0.29/0.32	c Listener: none
0.29/0.32	c --- End Solver configuration ---
0.29/0.32	c solving HOME/instance-4514347-1751226379.opb
0.29/0.32	c reading problem ... 
0.29/0.32	c using VERIPB proof format
0.29/0.32	c  no objective function found
2.34/1.32	c ... done. Wall clock time 0.992s.
2.34/1.32	c declared #vars     5700
2.34/1.32	c #constraints  27834
2.34/1.32	c constraints type 
2.34/1.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11174
2.34/1.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
2.34/1.32	c org.sat4j.specs.Constr$1 => 4
2.34/1.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16650
2.34/1.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
2.34/1.32	c 27834 constraints processed.
6.11/3.24	c cleaning 2495 clauses out of 5000 with flag 38047/5000
8.68/4.70	c cleaning 4249 clauses out of 8505 with flag 101275/11000
10.30/5.93	c cleaning 5622 clauses out of 11256 with flag 164113/18000
12.11/7.67	c cleaning 6810 clauses out of 13637 with flag 234283/26003
14.00/9.50	c cleaning 7908 clauses out of 15825 with flag 296333/35001
17.10/12.65	c cleaning 8954 clauses out of 17918 with flag 351213/45002
19.00/14.54	c cleaning 9973 clauses out of 19962 with flag 423733/56000
21.22/16.70	c cleaning 10994 clauses out of 21989 with flag 514911/68000
23.22/18.71	c cleaning 11997 clauses out of 23995 with flag 604905/81000
27.25/22.67	c cleaning 12999 clauses out of 25998 with flag 688774/95000
30.46/25.44	c cleaning 14000 clauses out of 28000 with flag 793864/110001
33.17/28.15	c cleaning 14994 clauses out of 29999 with flag 903118/126000
36.04/30.97	c cleaning 15987 clauses out of 32005 with flag 1009281/143000
39.22/34.06	c cleaning 17001 clauses out of 34019 with flag 1125894/161001
43.88/38.80	c cleaning 17997 clauses out of 36017 with flag 1253380/180000
47.47/42.39	c cleaning 19002 clauses out of 38020 with flag 1384142/200000
51.22/46.10	c cleaning 20003 clauses out of 40019 with flag 1525317/221001
54.90/49.75	c cleaning 21005 clauses out of 42016 with flag 1660959/243001
59.09/53.96	c cleaning 21999 clauses out of 44016 with flag 1819211/266006
63.80/58.64	c cleaning 23004 clauses out of 46012 with flag 1980737/290001
67.99/62.88	c cleaning 24002 clauses out of 48009 with flag 2124172/315002
72.62/67.43	c cleaning 25004 clauses out of 50007 with flag 2277302/341002
77.41/72.28	c cleaning 25994 clauses out of 52001 with flag 2460850/368000
83.75/78.53	c cleaning 26994 clauses out of 54008 with flag 2633801/396001
88.94/83.73	c cleaning 27986 clauses out of 56015 with flag 2809925/425002
94.13/88.97	c cleaning 29007 clauses out of 58031 with flag 2994833/455004
99.52/94.39	c cleaning 30009 clauses out of 60020 with flag 3185105/486000
105.60/100.47	c cleaning 31002 clauses out of 62011 with flag 3384532/518000
111.49/106.33	c cleaning 31992 clauses out of 64009 with flag 3583608/551000
117.95/112.70	c cleaning 33005 clauses out of 66020 with flag 3808975/585003
124.25/119.10	c cleaning 33989 clauses out of 68013 with flag 4028634/620001
130.82/125.64	c cleaning 35002 clauses out of 70025 with flag 4261112/656002
138.57/133.47	c cleaning 36002 clauses out of 72021 with flag 4497945/693000
145.48/140.33	c cleaning 36988 clauses out of 74022 with flag 4721620/731003
152.85/147.79	c cleaning 38004 clauses out of 76032 with flag 4975204/770001
160.23/155.08	c cleaning 39006 clauses out of 78027 with flag 5219378/810000
168.67/163.58	c cleaning 40012 clauses out of 80024 with flag 5453261/851003
175.65/170.51	c cleaning 40991 clauses out of 82009 with flag 5685379/893000
183.25/178.17	c cleaning 41977 clauses out of 84019 with flag 5935637/936001
191.30/186.18	c cleaning 43017 clauses out of 86042 with flag 6206017/980001
199.92/194.87	c cleaning 44004 clauses out of 88024 with flag 6494212/1025000
208.71/203.62	c cleaning 44984 clauses out of 90020 with flag 6780646/1071000
218.57/213.44	c cleaning 45970 clauses out of 92036 with flag 7085247/1118000
227.82/222.76	c cleaning 46968 clauses out of 94067 with flag 7400374/1166001
237.30/232.28	c cleaning 48040 clauses out of 96099 with flag 7737405/1215001
246.68/241.55	c cleaning 49003 clauses out of 98058 with flag 8063236/1265000
255.86/250.71	c cleaning 50001 clauses out of 100055 with flag 8381695/1316000
264.82/259.77	c cleaning 51008 clauses out of 102054 with flag 8692880/1368000
274.39/269.25	c cleaning 52018 clauses out of 104046 with flag 8981639/1421000
284.18/279.05	c cleaning 52992 clauses out of 106029 with flag 9294585/1475001
295.02/289.97	c cleaning 54004 clauses out of 108036 with flag 9658181/1530000
307.58/302.47	c cleaning 55010 clauses out of 110032 with flag 10041463/1586000
319.74/314.61	c cleaning 56002 clauses out of 112023 with flag 10457842/1643001
331.13/326.02	c cleaning 57005 clauses out of 114020 with flag 10848330/1701000
342.79/337.64	c cleaning 58000 clauses out of 116015 with flag 11244564/1760000
356.02/350.94	c cleaning 59004 clauses out of 118021 with flag 11629188/1820006
368.39/363.36	c cleaning 59999 clauses out of 120011 with flag 12049664/1881000
381.96/377.23	c cleaning 60992 clauses out of 122014 with flag 12501804/1943002
394.74/390.03	c cleaning 61995 clauses out of 124021 with flag 12954738/2006001
407.82/403.13	c cleaning 62994 clauses out of 126025 with flag 13414470/2070000
421.13/416.45	c cleaning 64009 clauses out of 128035 with flag 13884861/2135004
433.20/428.52	c cleaning 65009 clauses out of 130022 with flag 14298459/2201000
447.93/443.28	c cleaning 65976 clauses out of 132013 with flag 14805461/2268000
462.30/457.61	c cleaning 67011 clauses out of 134038 with flag 15331150/2336001
477.33/472.77	c cleaning 68005 clauses out of 136026 with flag 15818408/2405000
490.63/485.92	c cleaning 69010 clauses out of 138023 with flag 16253525/2475002
506.08/501.48	c cleaning 70001 clauses out of 140014 with flag 16806818/2546003
520.95/516.22	c cleaning 70989 clauses out of 142010 with flag 17312562/2618000
536.38/531.71	c cleaning 71998 clauses out of 144024 with flag 17796176/2691003
551.35/546.70	c cleaning 73007 clauses out of 146023 with flag 18335484/2765000
570.07/565.45	c cleaning 74003 clauses out of 148016 with flag 18917997/2840000
586.12/581.53	c cleaning 75003 clauses out of 150016 with flag 19527266/2916003
604.05/599.47	c cleaning 75992 clauses out of 152010 with flag 20079024/2993000
619.72/615.18	c cleaning 77007 clauses out of 154019 with flag 20602924/3071001
636.06/631.59	c cleaning 77998 clauses out of 156012 with flag 21192622/3150001
654.11/649.55	c cleaning 79007 clauses out of 158013 with flag 21778128/3230000
672.66/668.19	c cleaning 79995 clauses out of 160006 with flag 22423989/3311000
691.67/687.19	c cleaning 80992 clauses out of 162012 with flag 23031040/3393001
710.63/706.19	c cleaning 82003 clauses out of 164019 with flag 23637333/3476000
731.07/726.59	c cleaning 83005 clauses out of 166018 with flag 24229854/3560002
750.30/745.84	c cleaning 83995 clauses out of 168013 with flag 24856436/3645002
769.85/765.46	c cleaning 85003 clauses out of 170016 with flag 25471643/3731000
790.73/786.39	c cleaning 85995 clauses out of 172016 with flag 26043368/3818003
810.96/806.66	c cleaning 87007 clauses out of 174018 with flag 26614687/3906000
832.01/827.66	c cleaning 87984 clauses out of 176011 with flag 27117338/3995000
853.24/848.91	c cleaning 88972 clauses out of 178029 with flag 27687976/4085002
872.48/868.14	c cleaning 90018 clauses out of 180055 with flag 28234446/4176000
893.82/889.56	c cleaning 90989 clauses out of 182037 with flag 28815214/4268000
915.74/911.42	c cleaning 92020 clauses out of 184052 with flag 29414962/4361004
936.24/932.08	c cleaning 93011 clauses out of 186028 with flag 29966037/4455000
957.26/953.07	c cleaning 94005 clauses out of 188019 with flag 30537964/4550002
979.68/975.53	c cleaning 95004 clauses out of 190013 with flag 31171460/4646001
1003.59/999.43	c cleaning 96003 clauses out of 192008 with flag 31843279/4743000
1027.00/1022.99	c cleaning 96997 clauses out of 194005 with flag 32501954/4841000
1049.34/1045.23	c cleaning 97996 clauses out of 196013 with flag 33077339/4940005
1071.78/1067.68	c cleaning 98998 clauses out of 198012 with flag 33672549/5040000
1097.70/1093.69	c cleaning 99985 clauses out of 200014 with flag 34250228/5141000
1124.80/1120.78	c cleaning 101013 clauses out of 202029 with flag 34837028/5243000
1154.50/1150.56	c cleaning 101994 clauses out of 204016 with flag 35450006/5346000
1183.32/1179.32	c cleaning 103010 clauses out of 206024 with flag 36061261/5450002
1211.52/1207.66	c cleaning 104014 clauses out of 208028 with flag 36658699/5555016
1244.81/1240.98	c cleaning 104990 clauses out of 209999 with flag 37296268/5661001
1275.32/1271.48	c cleaning 106003 clauses out of 212008 with flag 37945254/5768000
1303.02/1299.20	c cleaning 106991 clauses out of 214005 with flag 38540124/5876000
1337.29/1333.56	c cleaning 108009 clauses out of 216018 with flag 39213468/5985004
1369.60/1365.96	c cleaning 108996 clauses out of 218005 with flag 39926007/6095000
1401.97/1398.33	c cleaning 110002 clauses out of 220009 with flag 40689579/6206000
1432.58/1428.96	c cleaning 111003 clauses out of 222008 with flag 41364455/6318001
1465.90/1462.38	c cleaning 112002 clauses out of 224004 with flag 42092919/6431000
1501.29/1497.78	c cleaning 112999 clauses out of 226006 with flag 42808885/6545004
1537.57/1534.10	c cleaning 113977 clauses out of 228003 with flag 43566065/6660000
1571.76/1568.31	c cleaning 115004 clauses out of 230026 with flag 44378424/6776000
1605.46/1602.04	c cleaning 116003 clauses out of 232022 with flag 45152465/6893000
1641.32/1637.99	c cleaning 117002 clauses out of 234023 with flag 45911717/7011004
1680.91/1677.62	c cleaning 118000 clauses out of 236018 with flag 46790425/7130001
1721.14/1717.90	c cleaning 119001 clauses out of 238017 with flag 47714461/7250000
1758.90/1755.70	c cleaning 119981 clauses out of 240017 with flag 48578288/7371001
1797.67/1794.58	c cleaning 121011 clauses out of 242035 with flag 49443670/7493000
1831.97/1829.00	c cleaning 121992 clauses out of 244026 with flag 50306404/7616002
1869.94/1866.95	c cleaning 123007 clauses out of 246032 with flag 51177603/7740000
1909.82/1906.87	c cleaning 124003 clauses out of 248025 with flag 51986866/7865000
1951.29/1948.33	c cleaning 125008 clauses out of 250022 with flag 52826459/7991000
1992.79/1989.90	c cleaning 125991 clauses out of 252014 with flag 53737853/8118000
2032.64/2029.88	c cleaning 127001 clauses out of 254024 with flag 54616496/8246001
2071.68/2068.99	c cleaning 128011 clauses out of 256022 with flag 55490873/8375000
2114.05/2111.38	c cleaning 128988 clauses out of 258011 with flag 56453502/8505000
2151.67/2149.06	c cleaning 130012 clauses out of 260023 with flag 57337941/8636000
2191.46/2188.96	c cleaning 131001 clauses out of 262011 with flag 58248238/8768000
2229.29/2226.81	c cleaning 132000 clauses out of 264010 with flag 59064252/8901000
2274.04/2271.62	c cleaning 132975 clauses out of 266010 with flag 59873264/9035000
2318.48/2316.17	c cleaning 133994 clauses out of 268035 with flag 60702505/9170000
2366.38/2363.84	c cleaning 135015 clauses out of 270042 with flag 61626887/9306001
2411.96/2409.57	c cleaning 135993 clauses out of 272026 with flag 62456390/9443000
2460.24/2457.85	c cleaning 137007 clauses out of 274033 with flag 63314475/9581000
2504.62/2502.39	c cleaning 138006 clauses out of 276026 with flag 64185592/9720000
2548.05/2545.83	c cleaning 138974 clauses out of 278020 with flag 65011478/9860000
2596.87/2594.78	c cleaning 140009 clauses out of 280046 with flag 65955827/10001000
2643.54/2641.54	c cleaning 141016 clauses out of 282042 with flag 66881065/10143005
2694.80/2692.97	c cleaning 141983 clauses out of 284021 with flag 67779517/10286000
2742.70/2740.97	c cleaning 143013 clauses out of 286038 with flag 68745012/10430000
2790.18/2788.50	c cleaning 144001 clauses out of 288025 with flag 69719085/10575000
2839.95/2838.39	c cleaning 145008 clauses out of 290026 with flag 70737307/10721002
2892.58/2891.06	c cleaning 146004 clauses out of 292018 with flag 71803178/10868002
2943.32/2941.97	c cleaning 146984 clauses out of 294012 with flag 72848233/11016000
2990.85/2989.57	c cleaning 148011 clauses out of 296031 with flag 73852718/11165003
3043.28/3042.09	c cleaning 149008 clauses out of 298017 with flag 74908816/11315000
3096.75/3095.67	c cleaning 149997 clauses out of 300009 with flag 75972152/11466000
3151.33/3150.38	c cleaning 151003 clauses out of 302014 with flag 77055287/11618002
3202.00/3201.10	c cleaning 152005 clauses out of 304010 with flag 78114748/11771001
3251.75/3250.86	c cleaning 152993 clauses out of 306006 with flag 79076030/11925002
3304.99/3304.18	c cleaning 154001 clauses out of 308011 with flag 79993058/12080000
3363.22/3362.55	c cleaning 155004 clauses out of 310010 with flag 80921235/12236000
3414.69/3414.06	c cleaning 155993 clauses out of 312006 with flag 81817453/12393000
3477.46/3476.95	c cleaning 156994 clauses out of 314013 with flag 82732678/12551000
3541.41/3540.96	c cleaning 158001 clauses out of 316020 with flag 83756220/12710001
3600.05/3599.62	c starts		: 40867
3600.05/3599.63	c conflicts		: 12861599
3600.05/3599.63	c decisions		: 95217220
3600.05/3599.63	c propagations		: 3502181294
3600.05/3599.63	c inspects		: 50372010054
3600.05/3599.63	c timeout
3600.05/3599.63	c shortcuts		: 0
3600.05/3599.63	c learnt literals	: 0
3600.05/3599.63	c learnt binary clauses	: 0
3600.05/3599.63	c learnt ternary clauses	: 9
3600.05/3599.63	c learnt constraints	: 12861599
3600.05/3599.63	c ignored constraints	: 0
3600.05/3599.63	c root simplifications	: 0
3600.05/3599.63	c removed literals (reason simplification)	: 253983857
3600.05/3599.63	c reason swapping (by a shorter reason)	: 0
3600.05/3599.63	c Calls to reduceDB	: 155
3600.05/3599.64	c Number of update (reduction) of LBD	: 6532700
3600.05/3599.64	c Imported unit clauses	: 0
3600.05/3599.64	c No decision after first conflict	: false
3600.05/3599.64	c number of reductions to clauses (during analyze)	: 0
3600.05/3599.64	c number of learned constraints concerned by reduction	: 0
3600.05/3599.64	c number of learning phase by resolution	: 0
3600.05/3599.64	c number of learning phase by cutting planes	: 0
3600.05/3599.64	c number of rounding to 1 operations	: 0
3600.05/3599.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3599.64	c number of reductions of the coefficients by power 2 	: 0
3600.05/3599.64	c number of right shift for reduction by power 2 	: 0
3600.05/3599.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3599.64	c number of ending skipping 	: 0
3600.05/3599.64	c number of internal skipping 	: 0
3600.05/3599.64	c number of derivation steps 	: 0
3600.05/3599.64	c number of skipped derivation steps 	: 0
3600.05/3599.64	c number of remaining unassigned 	: 0
3600.05/3599.64	c number of remaining assigned 	: 0
3600.05/3599.64	c number of falsified literals weakened from reason	: 0
3600.05/3599.64	c number of falsified literals weakened from conflict	: 0
3600.05/3599.64	c time for arithmetic operations	: 0
3600.05/3599.64	c minimum degree of deleted constraints	: null
3600.05/3599.64	c maximum degree of deleted constraints	: null
3600.05/3599.64	c number of deleted constraints	: 0
3600.05/3599.64	c speed (assignments/second)	: 973285.3109613432
3600.05/3599.64	c non guided choices	: 4589
3600.19/3599.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309617
3600.19/3599.78	s UNKNOWN
3600.19/3599.78	c Total wall clock time (in seconds): 3599.462

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: 63837 MiB (59475 MiB free)
  memory of node 1: 64465 MiB (62052 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514347-1751226379/watcher-4514347-1751226379 -o /tmp/evaluation-result-4514347-1751226379/solver-4514347-1751226379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26779 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514347-1751226379 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514347-1751226379.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27774, runsolver pid=27771
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.07 4.11 4.09 7/329 27792
/proc/meminfo: memFree=124414356/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=18930384 memory=48564 CPUtime=0.12 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 5796 0 0 0 9 3 0 0 20 0 18 0 38316626 19384713216 12141 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4732596 12141 5335 1 0 547006 0
[pid=27774/tid=27776] ppid=27771 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 4694 0 0 0 6 2 0 0 20 0 18 0 38316628 19384713216 12141 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38316632 19384713216 12141 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=18930384 memory=59593594259917 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38316633 19384713216 12141 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48564 KiB

[startup+0.21351 s]*
/proc/loadavg: 4.07 4.11 4.09 6/329 27792
/proc/meminfo: memFree=124410324/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=18930384 memory=53252 CPUtime=0.29 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 6495 0 0 0 25 4 0 0 20 0 18 0 38316626 19384713216 13313 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4732596 13313 5335 1 0 547572 0
[pid=27774/tid=27776] ppid=27771 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 5022 0 0 0 16 3 0 0 20 0 18 0 38316628 19384713216 13313 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=18930384 memory=16878 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38316632 19384713216 13313 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38316633 19384713216 13313 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53252 KiB

[startup+0.313613 s]*
/proc/loadavg: 4.07 4.11 4.09 7/329 27792
/proc/meminfo: memFree=124406292/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=18930384 memory=56872 CPUtime=0.46 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 6807 0 0 0 42 4 0 0 20 0 18 0 38316626 19384713216 14218 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4732596 14218 5431 1 0 547800 0
[pid=27774/tid=27776] ppid=27771 vsize=18930384 memory=-6000919502737597805 CPUtime=0.29 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 5226 0 0 0 26 3 0 0 20 0 18 0 38316628 19384713216 14218 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38316632 19384713216 14218 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38316633 19384713216 14218 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56872 KiB

[startup+0.700368 s]
/proc/loadavg: 4.31 4.16 4.10 6/329 27792
/proc/meminfo: memFree=124394004/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=18930384 memory=104188 CPUtime=1.17 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 9153 0 0 0 111 6 0 0 20 0 18 0 38316626 19384713216 26047 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4732596 26047 5431 1 0 549214 0
[pid=27774/tid=27776] ppid=27771 vsize=18930384 memory=17920 CPUtime=0.63 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 5296 0 0 0 59 4 0 0 20 0 18 0 38316628 19384713216 26047 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38316632 19384713216 26047 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 38316633 19384713216 26047 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104188 KiB

[startup+1.5002 s]
/proc/loadavg: 4.31 4.16 4.10 6/330 27793
/proc/meminfo: memFree=124307300/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=176028 CPUtime=2.74 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 20029 0 0 0 264 10 0 0 20 0 20 0 38316626 19521036288 44007 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 44007 5463 1 0 554405 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=3200 CPUtime=1.31 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 6779 0 0 0 126 5 0 0 20 0 20 0 38316628 19521036288 44007 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 44007 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 44007 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176028 KiB

[startup+3.10576 s]
/proc/loadavg: 4.31 4.16 4.10 7/331 27794
/proc/meminfo: memFree=124265300/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=195420 CPUtime=5.91 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 22947 0 0 0 579 12 0 0 20 0 20 0 38316626 19521036288 48855 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 48855 5495 1 0 554999 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=11136 CPUtime=2.82 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 7186 0 0 0 276 6 0 0 20 0 20 0 38316628 19521036288 48855 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 48855 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 48855 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 48855 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195420 KiB

[startup+6.30041 s]
/proc/loadavg: 4.36 4.17 4.11 6/331 27794
/proc/meminfo: memFree=124181844/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=286876 CPUtime=10.8 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 23586 0 0 0 1064 16 0 0 20 0 20 0 38316626 19521036288 71719 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 71719 5495 1 0 555061 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=0 CPUtime=5.91 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 7446 0 0 0 583 8 0 0 20 0 20 0 38316628 19521036288 71719 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 71719 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=-6000919502737597805 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 71719 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 71719 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 286876 KiB

[startup+12.7004 s]
/proc/loadavg: 4.41 4.19 4.11 5/331 27794
/proc/meminfo: memFree=124000824/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=431280 CPUtime=17.2 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 26241 0 0 0 1698 22 0 0 20 0 20 0 38316626 19521036288 107820 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 107820 5527 1 0 678282 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=0 CPUtime=12.05 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 8216 0 0 0 1192 13 0 0 20 0 20 0 38316628 19521036288 107820 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=354376 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 107820 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 107820 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 107820 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 431280 KiB

[startup+25.5005 s]
/proc/loadavg: 4.50 4.22 4.12 5/331 27794
/proc/meminfo: memFree=123573028/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=810404 CPUtime=30.56 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 32769 0 0 0 3021 35 0 0 20 0 20 0 38316626 19521036288 202601 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 202601 5527 1 0 678293 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=-6000919502737597805 CPUtime=24.62 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 9243 0 0 0 2441 21 0 0 20 0 20 0 38316628 19521036288 202601 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=3196 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 202601 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=752904 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 202601 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=703696 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 202601 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 30.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 810404 KiB

[startup+51.1149 s]
/proc/loadavg: 4.81 4.32 4.16 5/331 27794
/proc/meminfo: memFree=123275348/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=884160 CPUtime=56.31 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 35200 0 0 0 5589 42 0 0 20 0 20 0 38316626 19521036288 221040 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 221040 5527 1 0 678294 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=884160 CPUtime=49.9 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 10178 0 0 0 4964 26 0 0 20 0 20 0 38316628 19521036288 221040 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=-6000919502737597805 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 221040 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=871860 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 221040 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=752904 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.05 4.15 4.16 8/329 28035
/proc/meminfo: memFree=116006212/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3283.14 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 116826 0 0 0 327649 665 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3260.98 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 58097 0 0 0 325627 471 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 1824 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3283.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.19 4.17 5/330 28239
/proc/meminfo: memFree=114480816/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3343.08 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 118846 0 0 0 333633 675 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3320.65 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 59492 0 0 0 331587 478 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 1951 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3343.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.23 4.19 5/333 28244
/proc/meminfo: memFree=110714580/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3403.01 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 119671 0 0 0 339616 685 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3380.34 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 59797 0 0 0 337548 486 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 1951 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3403.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.25 4.19 5/334 28247
/proc/meminfo: memFree=107549912/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3462.92 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 120935 0 0 0 345598 694 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3440.01 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 60935 0 0 0 343509 492 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 1951 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=16464 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3462.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.23 4.19 5/334 28253
/proc/meminfo: memFree=103762936/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3522.87 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 123349 0 0 0 351583 704 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3499.71 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 62626 0 0 0 349472 499 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=16464 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3522.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.23 4.19 5/334 28255
/proc/meminfo: memFree=102037888/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3582.8 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 124621 0 0 0 357567 713 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=16464 CPUtime=3559.36 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 63382 0 0 0 355431 505 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 2122 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=16464 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3582.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.6 s]
/proc/loadavg: 4.18 4.22 4.18 5/334 28255
/proc/meminfo: memFree=101822352/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19063512 memory=2663732 CPUtime=3600.05 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 124624 0 0 0 359290 715 0 0 20 0 20 0 38316626 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4765878 665933 5527 1 0 681372 0
[pid=27774/tid=27776] ppid=27771 vsize=19063512 memory=-6000919485658719341 CPUtime=3576.6 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) R 27771 27774 26767 0 -1 4194368 63384 0 0 0 357154 506 0 0 20 0 20 0 38316628 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19063512 memory=16464 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38316632 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 2122 0 0 0 0 0 0 0 20 0 20 0 38316633 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27794] ppid=27771 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/27774/task/27794/stat : 27794 (Timer-0) S 27771 27774 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38316759 19521036288 665933 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2663732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.13 s, system=7.17577 s

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

[startup+3599.7 s]
/proc/loadavg: 4.18 4.22 4.18 5/334 28255
/proc/meminfo: memFree=101822352/131382120 swapFree=33010684/33010684
[pid=27774] ppid=27771 vsize=19263204 memory=2664500 CPUtime=3600.19 cores=1,3
/proc/27774/stat : 27774 (java) S 27771 27774 26767 0 -1 4194304 126815 0 0 0 359304 715 0 0 20 0 21 0 38316626 19725520896 666125 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
/proc/27774/statm: 4815801 666125 5527 1 0 682327 0
[pid=27774/tid=27776] ppid=27771 vsize=19263204 memory=2663732 CPUtime=3576.62 cores=1,3
/proc/27774/task/27776/stat : 27776 (java) S 27771 27774 26767 0 -1 4194368 63649 0 0 0 357156 506 0 0 20 0 21 0 38316628 19725520896 666125 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27785] ppid=27771 vsize=19263204 memory=2663732 CPUtime=0 cores=1,3
/proc/27774/task/27785/stat : 27785 (Finalizer) S 27771 27774 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 38316632 19725520896 666125 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
[pid=27774/tid=27792] ppid=27771 vsize=19263204 memory=-6000919502737597805 CPUtime=0 cores=1,3
/proc/27774/task/27792/stat : 27792 (Common-Cleaner) S 27771 27774 26767 0 -1 4194368 2122 0 0 0 0 0 0 0 20 0 21 0 38316633 19725520896 666125 18446744073709551615 94236394086400 94236394090096 140720799725488 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94236394097912 94236394098704 94236412026880 140720799734064 140720799734246 140720799734246 140720799739848 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2664500 KiB

Child status: 143

Real time (s): 3599.81
CPU time (s): 3600.31
CPU user time (s): 3593.13
CPU system time (s): 7.17577
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2664500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.13
system time used= 7.17577
maximum resident set size= 2664756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6398448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109332
involuntary context switches= 8746


# summary of solver processes directly reported to runsolver:
#   pid: 27774
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3593.13
#   total CPU system time (s): 7.17577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0682 second user time and 38.7394 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 21:46:20
IDJOB=4514347
IDBENCH=162644
IDSOLVER=3364
FILE ID=nodeC003/4514347-1751226379
RUNJOBID= nodeC003-1751222447-26779
SLURM_JOB_ID= 9587679
Free space on /tmp= 432748 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
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 -w /tmp/evaluation-result-4514347-1751226379/watcher-4514347-1751226379 -o /tmp/evaluation-result-4514347-1751226379/solver-4514347-1751226379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26779 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514347-1751226379 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514347-1751226379.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=808034200

nodeC003 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	: 0xb00001f
cpu MHz		: 3662.312
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124444220 kB
MemAvailable:   125987464 kB
Buffers:            3280 kB
Cached:          2351996 kB
SwapCached:            0 kB
Active:          4309840 kB
Inactive:        2103452 kB
Active(anon):    4076084 kB
Inactive(anon):        0 kB
Active(file):     233756 kB
Inactive(file):  2103452 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44144 kB
Writeback:            16 kB
AnonPages:       4061232 kB
Mapped:           123060 kB
Shmem:             17960 kB
KReclaimable:      91328 kB
Slab:             175336 kB
SReclaimable:      91328 kB
SUnreclaim:        84008 kB
KernelStack:        5040 kB
PageTables:        11632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7057476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3866624 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC003 at 2025-06-29 22:46:19