Trace number 4512799

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.24 3610.45

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
MD5SUMab6600e5fcf1c6d7769b5fd648c35e77
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3539.86
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version PB25.v20250606
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.14	c Free memory 		2106806208
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2113929216
0.12/0.15	c Number of processors 	2
0.33/0.24	c Pseudo Boolean Optimization by upper bound
0.33/0.24	c --- Begin Solver configuration ---
0.33/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.33/0.24	c Learn all clauses as in MiniSAT
0.33/0.24	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.24	c Expensive reason simplification
0.33/0.24	c Glucose 2.1 dynamic restart strategy
0.33/0.24	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.33/0.24	c timeout=2147483s
0.33/0.24	c DB Simplification allowed=false
0.33/0.24	c Listener: none
0.33/0.24	c --- End Solver configuration ---
0.33/0.24	c solving HOME/instance-4512799-1751201594.opb
0.33/0.24	c reading problem ... 
0.33/0.25	c using VERIPB proof format
0.33/0.25	c  no objective function found
1.03/0.68	c ... done. Wall clock time 0.429s.
1.03/0.68	c declared #vars     4288
1.03/0.68	c #constraints  10784
1.03/0.68	c constraints type 
1.03/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
1.03/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
1.03/0.68	c org.sat4j.specs.Constr$1 => 888
1.03/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
1.03/0.68	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
1.03/0.68	c 10784 constraints processed.
3.38/1.80	c cleaning 2487 clauses out of 4999 with flag 16369/5001
4.57/2.46	c cleaning 4239 clauses out of 8513 with flag 39911/11002
6.15/3.21	c cleaning 5615 clauses out of 11273 with flag 67386/18001
7.27/3.89	c cleaning 6821 clauses out of 13657 with flag 101128/26000
8.44/4.72	c cleaning 7908 clauses out of 15836 with flag 139464/35000
9.86/5.62	c cleaning 8947 clauses out of 17928 with flag 183935/45000
11.64/7.44	c cleaning 9976 clauses out of 19981 with flag 235900/56000
13.04/8.81	c cleaning 10985 clauses out of 22005 with flag 293732/68000
14.35/10.18	c cleaning 11985 clauses out of 24020 with flag 359410/81000
15.86/11.64	c cleaning 13004 clauses out of 26036 with flag 433002/95001
17.46/13.23	c cleaning 13974 clauses out of 28031 with flag 511970/110000
19.29/14.91	c cleaning 15016 clauses out of 30059 with flag 599104/126002
21.24/16.70	c cleaning 15994 clauses out of 32043 with flag 689612/143002
23.10/18.56	c cleaning 16993 clauses out of 34047 with flag 787679/161000
25.10/20.59	c cleaning 18013 clauses out of 36054 with flag 895531/180000
27.49/22.92	c cleaning 19011 clauses out of 38042 with flag 1007823/200001
29.70/25.17	c cleaning 19993 clauses out of 40030 with flag 1127501/221000
32.27/27.79	c cleaning 20975 clauses out of 42039 with flag 1253532/243002
34.97/30.46	c cleaning 22028 clauses out of 44065 with flag 1384809/266003
39.08/34.66	c cleaning 22995 clauses out of 46034 with flag 1524782/290000
42.06/37.63	c cleaning 24011 clauses out of 48041 with flag 1674637/315002
45.25/40.88	c cleaning 25008 clauses out of 50028 with flag 1827503/341000
48.56/44.15	c cleaning 25980 clauses out of 52020 with flag 1985999/368000
51.94/47.58	c cleaning 27006 clauses out of 54040 with flag 2150029/396000
55.63/51.24	c cleaning 27941 clauses out of 56034 with flag 2324517/425000
59.43/55.09	c cleaning 29033 clauses out of 58093 with flag 2504926/455000
63.31/58.98	c cleaning 29961 clauses out of 60060 with flag 2689188/486000
67.64/63.32	c cleaning 31037 clauses out of 62099 with flag 2882165/518000
72.02/67.71	c cleaning 31998 clauses out of 64063 with flag 3082929/551001
76.61/72.33	c cleaning 33018 clauses out of 66064 with flag 3287339/585000
81.50/77.23	c cleaning 34011 clauses out of 68046 with flag 3497036/620000
86.49/82.26	c cleaning 34996 clauses out of 70037 with flag 3718216/656002
91.78/87.58	c cleaning 36012 clauses out of 72039 with flag 3939100/693000
97.38/93.12	c cleaning 36972 clauses out of 74027 with flag 4168435/731000
103.97/99.81	c cleaning 38028 clauses out of 76055 with flag 4402650/770000
109.66/105.59	c cleaning 39009 clauses out of 78028 with flag 4643474/810001
115.95/111.84	c cleaning 40004 clauses out of 80018 with flag 4897822/851000
122.33/118.24	c cleaning 40940 clauses out of 82014 with flag 5149812/893000
128.92/124.88	c cleaning 42005 clauses out of 84075 with flag 5410660/936001
136.63/132.65	c cleaning 42949 clauses out of 86070 with flag 5682100/980001
143.72/139.72	c cleaning 44051 clauses out of 88120 with flag 5957828/1025000
150.80/146.86	c cleaning 45034 clauses out of 90069 with flag 6244945/1071000
158.38/154.45	c cleaning 45953 clauses out of 92035 with flag 6534622/1118000
166.26/162.35	c cleaning 47011 clauses out of 94082 with flag 6832111/1166000
174.35/170.40	c cleaning 47997 clauses out of 96071 with flag 7132759/1215000
182.73/178.80	c cleaning 49029 clauses out of 98074 with flag 7445990/1265000
191.20/187.31	c cleaning 50014 clauses out of 100046 with flag 7766722/1316001
200.05/196.27	c cleaning 50988 clauses out of 102031 with flag 8092938/1368000
208.94/205.16	c cleaning 51990 clauses out of 104043 with flag 8424261/1421000
218.41/214.67	c cleaning 52986 clauses out of 106053 with flag 8755635/1475000
228.23/224.56	c cleaning 54000 clauses out of 108067 with flag 9098206/1530000
239.08/235.46	c cleaning 54962 clauses out of 110067 with flag 9444999/1586000
249.16/245.59	c cleaning 55979 clauses out of 112106 with flag 9801846/1643001
260.79/257.23	c cleaning 57040 clauses out of 114126 with flag 10157064/1701000
271.46/267.99	c cleaning 58000 clauses out of 116087 with flag 10524083/1760001
282.95/279.44	c cleaning 59024 clauses out of 118086 with flag 10894545/1820000
295.26/291.86	c cleaning 60015 clauses out of 120062 with flag 11270724/1881000
307.61/304.17	c cleaning 61010 clauses out of 122047 with flag 11652341/1943000
320.03/316.63	c cleaning 61968 clauses out of 124038 with flag 12041910/2006001
332.90/329.57	c cleaning 63009 clauses out of 126070 with flag 12433126/2070001
345.99/342.59	c cleaning 63967 clauses out of 128060 with flag 12837685/2135000
360.17/356.71	c cleaning 65038 clauses out of 130093 with flag 13240968/2201000
374.14/370.70	c cleaning 65993 clauses out of 132056 with flag 13651078/2268001
388.41/385.09	c cleaning 66978 clauses out of 134062 with flag 14069114/2336000
403.99/400.61	c cleaning 68031 clauses out of 136085 with flag 14495394/2405001
420.73/417.36	c cleaning 68989 clauses out of 138053 with flag 14929437/2475000
436.37/432.94	c cleaning 70004 clauses out of 140066 with flag 15364407/2546002
454.05/450.65	c cleaning 71014 clauses out of 142060 with flag 15807036/2618000
470.41/466.93	c cleaning 72014 clauses out of 144046 with flag 16255083/2691000
487.91/484.47	c cleaning 73003 clauses out of 146033 with flag 16710508/2765001
505.52/502.04	c cleaning 74000 clauses out of 148029 with flag 17176202/2840000
523.27/519.79	c cleaning 75000 clauses out of 150029 with flag 17648669/2916000
542.32/538.82	c cleaning 76009 clauses out of 152029 with flag 18120279/2993000
561.61/558.16	c cleaning 76956 clauses out of 154021 with flag 18600528/3071001
580.38/576.91	c cleaning 78026 clauses out of 156066 with flag 19080073/3150002
600.06/596.63	c cleaning 78969 clauses out of 158038 with flag 19570939/3230000
619.96/616.55	c cleaning 79967 clauses out of 160069 with flag 20061054/3311000
641.72/638.34	c cleaning 81028 clauses out of 162102 with flag 20565617/3393000
662.38/659.00	c cleaning 82031 clauses out of 164074 with flag 21072159/3476000
683.50/679.96	c cleaning 82997 clauses out of 166043 with flag 21588575/3560000
705.88/702.44	c cleaning 84012 clauses out of 168046 with flag 22117212/3645000
727.56/724.13	c cleaning 85018 clauses out of 170036 with flag 22645763/3731002
750.34/746.96	c cleaning 85996 clauses out of 172016 with flag 23180398/3818000
772.72/769.35	c cleaning 86964 clauses out of 174020 with flag 23721348/3906000
796.87/793.55	c cleaning 88017 clauses out of 176057 with flag 24265833/3995001
820.76/817.44	c cleaning 89011 clauses out of 178040 with flag 24810480/4085001
845.23/841.99	c cleaning 89996 clauses out of 180029 with flag 25364874/4176001
871.05/867.73	c cleaning 91007 clauses out of 182032 with flag 25929374/4268000
895.97/892.60	c cleaning 91949 clauses out of 184026 with flag 26497090/4361001
922.33/919.07	c cleaning 93010 clauses out of 186076 with flag 27065952/4455000
947.90/944.67	c cleaning 94019 clauses out of 188069 with flag 27641657/4550003
975.05/971.76	c cleaning 94992 clauses out of 190047 with flag 28227572/4646000
1002.57/999.27	c cleaning 95997 clauses out of 192055 with flag 28809440/4743000
1030.96/1027.66	c cleaning 97010 clauses out of 194060 with flag 29407649/4841002
1059.12/1055.80	c cleaning 98012 clauses out of 196050 with flag 30007093/4940002
1087.62/1084.32	c cleaning 99002 clauses out of 198036 with flag 30614410/5040000
1117.52/1114.29	c cleaning 100004 clauses out of 200034 with flag 31229361/5141000
1147.60/1144.33	c cleaning 100917 clauses out of 202030 with flag 31841943/5243000
1178.35/1175.18	c cleaning 102041 clauses out of 204113 with flag 32466420/5346000
1209.41/1206.22	c cleaning 103014 clauses out of 206072 with flag 33098851/5450000
1239.87/1236.71	c cleaning 103978 clauses out of 208060 with flag 33734080/5555002
1271.90/1268.75	c cleaning 105021 clauses out of 210081 with flag 34382271/5661001
1304.38/1301.26	c cleaning 105951 clauses out of 212059 with flag 35033551/5768000
1337.33/1334.26	c cleaning 107034 clauses out of 214108 with flag 35688356/5876000
1371.15/1368.09	c cleaning 108000 clauses out of 216074 with flag 36350399/5985000
1404.62/1401.59	c cleaning 109023 clauses out of 218074 with flag 37018926/6095000
1440.02/1436.99	c cleaning 110013 clauses out of 220051 with flag 37686472/6206000
1475.31/1472.20	c cleaning 111010 clauses out of 222039 with flag 38365121/6318001
1511.04/1508.04	c cleaning 111981 clauses out of 224030 with flag 39046337/6431002
1547.32/1544.34	c cleaning 113003 clauses out of 226047 with flag 39738232/6545000
1585.06/1582.11	c cleaning 114010 clauses out of 228045 with flag 40429936/6660001
1624.12/1621.27	c cleaning 114992 clauses out of 230035 with flag 41131396/6776001
1662.78/1659.99	c cleaning 116016 clauses out of 232044 with flag 41835672/6893002
1702.45/1699.62	c cleaning 116978 clauses out of 234027 with flag 42551950/7011001
1742.40/1739.61	c cleaning 117988 clauses out of 236049 with flag 43262910/7130001
1782.63/1779.98	c cleaning 119023 clauses out of 238060 with flag 43987533/7250000
1823.68/1821.08	c cleaning 120005 clauses out of 240037 with flag 44718214/7371000
1864.31/1861.77	c cleaning 120937 clauses out of 242033 with flag 45453554/7493001
1906.48/1903.95	c cleaning 122042 clauses out of 244095 with flag 46201744/7616000
1949.62/1947.08	c cleaning 123028 clauses out of 246055 with flag 46948374/7740002
1993.14/1990.66	c cleaning 123997 clauses out of 248025 with flag 47704629/7865000
2038.32/2035.80	c cleaning 125012 clauses out of 250029 with flag 48455310/7991001
2082.72/2080.28	c cleaning 125989 clauses out of 252016 with flag 49221634/8118000
2128.39/2126.15	c cleaning 126962 clauses out of 254028 with flag 49989749/8246001
2175.54/2173.73	c cleaning 128013 clauses out of 256065 with flag 50771595/8375000
2221.37/2219.79	c cleaning 129006 clauses out of 258052 with flag 51558651/8505000
2269.55/2268.40	c cleaning 129995 clauses out of 260047 with flag 52353354/8636001
2317.05/2316.11	c cleaning 131000 clauses out of 262052 with flag 53155881/8768001
2366.00/2365.43	c cleaning 132003 clauses out of 264052 with flag 53955357/8901001
2415.99/2422.99	c cleaning 133000 clauses out of 266049 with flag 54759797/9035001
2465.11/2472.29	c cleaning 134000 clauses out of 268048 with flag 55575977/9170000
2515.65/2523.09	c cleaning 135017 clauses out of 270048 with flag 56395500/9306000
2566.08/2573.53	c cleaning 135993 clauses out of 272031 with flag 57217959/9443000
2618.46/2626.03	c cleaning 136991 clauses out of 274038 with flag 58052451/9581000
2670.49/2678.16	c cleaning 138001 clauses out of 276047 with flag 58889624/9720000
2722.65/2730.39	c cleaning 139005 clauses out of 278046 with flag 59741326/9860000
2777.54/2785.21	c cleaning 140005 clauses out of 280042 with flag 60599476/10001001
2832.26/2840.20	c cleaning 141002 clauses out of 282037 with flag 61454259/10143001
2888.85/2897.57	c cleaning 141992 clauses out of 284035 with flag 62316234/10286001
2946.22/2955.09	c cleaning 143020 clauses out of 286042 with flag 63180465/10430000
3002.35/3011.68	c cleaning 143981 clauses out of 288022 with flag 64052048/10575000
3058.91/3068.01	c cleaning 145005 clauses out of 290041 with flag 64927632/10721000
3116.23/3125.44	c cleaning 145984 clauses out of 292036 with flag 65807224/10868000
3174.91/3184.28	c cleaning 147020 clauses out of 294052 with flag 66699568/11016000
3228.37/3237.84	c cleaning 147968 clauses out of 296032 with flag 67594062/11165000
3279.75/3289.38	c cleaning 148988 clauses out of 298064 with flag 68495737/11315000
3331.55/3341.21	c cleaning 150025 clauses out of 300076 with flag 69401641/11466000
3383.68/3393.45	c cleaning 151002 clauses out of 302051 with flag 70311610/11618000
3440.05/3449.97	c cleaning 152014 clauses out of 304049 with flag 71218800/11771000
3497.12/3507.12	c cleaning 152952 clauses out of 306035 with flag 72138029/11925000
3554.28/3564.55	c cleaning 153996 clauses out of 308085 with flag 73058994/12080002
3600.00/3610.32	c timeout
3600.00/3610.33	c starts		: 97292
3600.00/3610.33	c conflicts		: 12212800
3600.00/3610.33	c decisions		: 112711809
3600.00/3610.33	c propagations		: 1618732544
3600.00/3610.33	c inspects		: 33817176754
3600.00/3610.33	c shortcuts		: 0
3600.00/3610.33	c learnt literals	: 2
3600.00/3610.33	c learnt binary clauses	: 47
3600.00/3610.33	c learnt ternary clauses	: 768
3600.00/3610.33	c learnt constraints	: 12212798
3600.00/3610.33	c ignored constraints	: 0
3600.00/3610.33	c root simplifications	: 0
3600.00/3610.33	c removed literals (reason simplification)	: 10233454
3600.00/3610.33	c reason swapping (by a shorter reason)	: 0
3600.00/3610.33	c Calls to reduceDB	: 151
3600.00/3610.33	c Number of update (reduction) of LBD	: 2572484
3600.00/3610.33	c Imported unit clauses	: 0
3600.00/3610.33	c No decision after first conflict	: false
3600.00/3610.33	c number of reductions to clauses (during analyze)	: 0
3600.00/3610.33	c number of learned constraints concerned by reduction	: 0
3600.00/3610.33	c number of learning phase by resolution	: 0
3600.00/3610.33	c number of learning phase by cutting planes	: 0
3600.00/3610.33	c number of rounding to 1 operations	: 0
3600.00/3610.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3610.33	c number of reductions of the coefficients by power 2 	: 0
3600.00/3610.33	c number of right shift for reduction by power 2 	: 0
3600.00/3610.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3610.33	c number of ending skipping 	: 0
3600.00/3610.33	c number of internal skipping 	: 0
3600.00/3610.33	c number of derivation steps 	: 0
3600.00/3610.33	c number of skipped derivation steps 	: 0
3600.00/3610.33	c number of remaining unassigned 	: 0
3600.00/3610.33	c number of remaining assigned 	: 0
3600.00/3610.33	c number of falsified literals weakened from reason	: 0
3600.00/3610.33	c number of falsified literals weakened from conflict	: 0
3600.00/3610.33	c time for arithmetic operations	: 0
3600.00/3610.33	c minimum degree of deleted constraints	: null
3600.00/3610.33	c maximum degree of deleted constraints	: null
3600.00/3610.33	c number of deleted constraints	: 0
3600.00/3610.33	c speed (assignments/second)	: 448448.2053705767
3600.00/3610.33	c non guided choices	: 46766
3600.19/3610.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 286840
3600.19/3610.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 47
3600.19/3610.41	s UNKNOWN
3600.19/3610.41	c Total wall clock time (in seconds): 3610.169

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: 63794 MiB (36918 MiB free)
  memory of node 1: 64507 MiB (52217 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512799-1751201594/watcher-4512799-1751201594 -o /tmp/evaluation-result-4512799-1751201594/solver-4512799-1751201594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4512799-1751201594 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4512799-1751201594.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
Current StackSize limit: 8192 KiB
solver pid=25465, runsolver pid=25462


[startup+0.100073 s]*
/proc/loadavg: 4.71 4.52 4.34 6/341 25483
/proc/meminfo: memFree=91260892/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=18930384 memory=49040 CPUtime=0.12 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 5931 0 0 0 9 3 0 0 20 0 18 0 35838758 19384713216 12260 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4732596 12260 5329 1 0 547106 0
[pid=25465/tid=25467] ppid=25462 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 4810 0 0 0 6 2 0 0 20 0 18 0 35838760 19384713216 12260 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35838764 19384713216 12260 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=18930384 memory=58494082626307 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35838765 19384713216 12260 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49040 KiB

[startup+0.214533 s]*
/proc/loadavg: 4.71 4.52 4.34 7/341 25483
/proc/meminfo: memFree=91242620/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=18930384 memory=56892 CPUtime=0.33 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 6748 0 0 0 30 3 0 0 20 0 18 0 35838758 19384713216 14223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4732596 14223 5457 1 0 547769 0
[pid=25465/tid=25467] ppid=25462 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 5214 0 0 0 18 2 0 0 20 0 18 0 35838760 19384713216 14223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35838764 19384713216 14223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35838765 19384713216 14223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56892 KiB

[startup+0.325961 s]*
/proc/loadavg: 4.71 4.52 4.34 7/341 25483
/proc/meminfo: memFree=91210044/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=18930384 memory=59460 CPUtime=0.52 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 6878 0 0 0 48 4 0 0 20 0 18 0 35838758 19384713216 14865 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4732596 14865 5457 1 0 547851 0
[pid=25465/tid=25467] ppid=25462 vsize=18930384 memory=-6000919498459604845 CPUtime=0.3 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 5284 0 0 0 27 3 0 0 20 0 18 0 35838760 19384713216 14865 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35838764 19384713216 14865 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35838765 19384713216 14865 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59460 KiB

[startup+0.700359 s]
/proc/loadavg: 4.71 4.52 4.34 8/341 25483
/proc/meminfo: memFree=91172424/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=18930384 memory=95236 CPUtime=1.2 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 8609 0 0 0 115 5 0 0 20 0 18 0 35838758 19384713216 23809 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4732596 23809 5457 1 0 548971 0
[pid=25465/tid=25467] ppid=25462 vsize=18930384 memory=17152 CPUtime=0.65 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 5385 0 0 0 61 4 0 0 20 0 18 0 35838760 19384713216 23809 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35838764 19384713216 23809 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35838765 19384713216 23809 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95236 KiB

[startup+1.50024 s]
/proc/loadavg: 4.71 4.52 4.34 8/342 25484
/proc/meminfo: memFree=91139532/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=18996948 memory=144908 CPUtime=2.78 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 17947 0 0 0 269 9 0 0 20 0 19 0 35838758 19452874752 36227 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4749237 36227 5457 1 0 552165 0
[pid=25465/tid=25467] ppid=25462 vsize=18996948 memory=3200 CPUtime=1.34 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 5962 0 0 0 130 4 0 0 20 0 19 0 35838760 19452874752 36227 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35838764 19452874752 36227 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35838765 19452874752 36227 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=18996948 memory=14304 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35838829 19452874752 36227 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144908 KiB

[startup+3.10583 s]
/proc/loadavg: 4.71 4.52 4.34 7/343 25485
/proc/meminfo: memFree=90944212/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=177516 CPUtime=5.96 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 22077 0 0 0 585 11 0 0 20 0 20 0 35838758 19521036288 44379 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 44379 5489 1 0 553096 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=14304 CPUtime=2.9 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 6960 0 0 0 284 6 0 0 20 0 20 0 35838760 19521036288 44379 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 44379 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 44379 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 44379 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177516 KiB

[startup+6.30022 s]
/proc/loadavg: 4.66 4.52 4.34 5/343 25485
/proc/meminfo: memFree=90527448/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=322760 CPUtime=10.55 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 24973 0 0 0 1036 19 0 0 20 0 20 0 35838758 19521036288 80690 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 80690 5521 1 0 554399 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=0 CPUtime=6.02 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 7156 0 0 0 590 12 0 0 20 0 20 0 35838760 19521036288 80690 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 80690 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 80690 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=155148 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 80690 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 322760 KiB

[startup+12.7004 s]
/proc/loadavg: 4.60 4.51 4.33 5/343 25485
/proc/meminfo: memFree=89639400/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=1066772 CPUtime=16.96 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 28557 0 0 0 1657 39 0 0 20 0 20 0 35838758 19521036288 266693 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 266693 5521 1 0 554399 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=155148 CPUtime=12.4 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 9087 0 0 0 1208 32 0 0 20 0 20 0 35838760 19521036288 266693 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=907028 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 266693 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 266693 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 266693 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 16.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1066772 KiB

[startup+25.5004 s]
/proc/loadavg: 4.47 4.48 4.33 5/343 25485
/proc/meminfo: memFree=88545204/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=1320892 CPUtime=30.08 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 35255 0 0 0 2956 52 0 0 20 0 20 0 35838758 19521036288 330223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 330223 5521 1 0 554399 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=0 CPUtime=25.04 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 10468 0 0 0 2462 42 0 0 20 0 20 0 35838760 19521036288 330223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 330223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=1320892 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 330223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=1169264 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 330223 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 30.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320892 KiB

[startup+51.1141 s]
/proc/loadavg: 4.44 4.47 4.33 5/343 25486
/proc/meminfo: memFree=87515240/131382120 swapFree=33010684/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=1322956 CPUtime=55.55 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 37563 0 0 0 5493 62 0 0 20 0 20 0 35838758 19521036288 330739 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 330739 5521 1 0 554399 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=1320892 CPUtime=50.28 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 11580 0 0 0 4977 51 0 0 20 0 20 0 35838760 19521036288 330739 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=28320 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 330739 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=2308 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 2.06 3.47 4.09 2/258 25773
/proc/meminfo: memFree=123280940/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3272.77 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 107118 0 0 0 326193 1084 0 0 20 0 20 0 35838758 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541378 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=-6000919498459604845 CPUtime=3243.04 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 47918 0 0 0 323451 853 0 0 20 0 20 0 35838760 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1875 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165512 KiB

[startup+3342.3 s]
/proc/loadavg: 1.43 3.04 3.90 2/259 25778
/proc/meminfo: memFree=123199408/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3332.65 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 108938 0 0 0 332168 1097 0 0 20 0 20 0 35838758 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541378 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3302.68 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 49614 0 0 0 329406 862 0 0 20 0 20 0 35838760 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165512 KiB

[startup+3402.3 s]
/proc/loadavg: 1.36 2.72 3.73 2/256 25784
/proc/meminfo: memFree=123121064/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3392.58 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 109396 0 0 0 338145 1113 0 0 20 0 20 0 35838758 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541378 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3362.27 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 49624 0 0 0 335353 874 0 0 20 0 20 0 35838760 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1945 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165512 KiB

[startup+3462.3 s]
/proc/loadavg: 1.19 2.42 3.56 2/256 25787
/proc/meminfo: memFree=123051920/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3452.37 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 109645 0 0 0 344109 1128 0 0 20 0 20 0 35838758 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541378 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3421.65 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 49818 0 0 0 341280 885 0 0 20 0 20 0 35838760 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1945 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165512 KiB

[startup+3522.3 s]
/proc/loadavg: 1.19 2.19 3.41 2/256 25789
/proc/meminfo: memFree=122978428/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3512.25 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 111916 0 0 0 350080 1145 0 0 20 0 20 0 35838758 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541378 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=2165512 CPUtime=3481.09 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 51335 0 0 0 347211 898 0 0 20 0 20 0 35838760 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=2165512 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1945 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=-6000919498459604845 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541378 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165512 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.99 3.26 2/253 25791
/proc/meminfo: memFree=122896020/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2167664 CPUtime=3572.02 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 114153 0 0 0 356042 1160 0 0 20 0 20 0 35838758 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541916 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=11136 CPUtime=3540.03 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 52858 0 0 0 353094 909 0 0 20 0 20 0 35838760 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=2167664 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=2167664 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 1999 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=21512 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 1.16 1.91 3.19 2/254 25793
/proc/meminfo: memFree=122866736/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19063512 memory=2167664 CPUtime=3600 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 114231 0 0 0 358831 1169 0 0 20 0 20 0 35838758 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4765878 541916 5521 1 0 555316 0
[pid=25465/tid=25467] ppid=25462 vsize=19063512 memory=2167664 CPUtime=3567.81 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) R 25462 25465 23518 0 -1 4194368 52860 0 0 0 355865 916 0 0 20 0 20 0 35838760 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19063512 memory=2167664 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35838764 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 20 0 35838765 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25484] ppid=25462 vsize=19063512 memory=-6000919498459604845 CPUtime=0 cores=1,3
/proc/25465/task/25484/stat : 25484 (Timer-0) S 25462 25465 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35838829 19521036288 541916 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.5 s, system=11.7331 s

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

[startup+3610.41 s]
/proc/loadavg: 1.16 1.91 3.19 2/254 25793
/proc/meminfo: memFree=122866736/131382120 swapFree=33010416/33010684
[pid=25465] ppid=25462 vsize=19263204 memory=2168560 CPUtime=3600.19 cores=1,3
/proc/25465/stat : 25465 (java) S 25462 25465 23518 0 -1 4194304 116880 0 0 0 358848 1171 0 0 20 0 21 0 35838758 19725520896 542140 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
/proc/25465/statm: 4815801 542140 5553 1 0 556235 0
[pid=25465/tid=25467] ppid=25462 vsize=19263204 memory=0 CPUtime=3567.84 cores=1,3
/proc/25465/task/25467/stat : 25467 (java) S 25462 25465 23518 0 -1 4194368 53253 0 0 0 355867 917 0 0 20 0 21 0 35838760 19725520896 542140 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25476] ppid=25462 vsize=19263204 memory=2167664 CPUtime=0 cores=1,3
/proc/25465/task/25476/stat : 25476 (Finalizer) S 25462 25465 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35838764 19725520896 542140 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
[pid=25465/tid=25483] ppid=25462 vsize=19263204 memory=2724 CPUtime=0 cores=1,3
/proc/25465/task/25483/stat : 25483 (Common-Cleaner) S 25462 25465 23518 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 21 0 35838765 19725520896 542140 18446744073709551615 93992569446400 93992569450096 140736184825712 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93992569457912 93992569458704 93992573259776 140736184834352 140736184834534 140736184834534 140736184840136 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2168560 KiB

Child status: 143

Real time (s): 3610.45
CPU time (s): 3600.24
CPU user time (s): 3588.5
CPU system time (s): 11.7331
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.5
system time used= 11.7331
maximum resident set size= 2168688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10771160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115120
involuntary context switches= 13792


# summary of solver processes directly reported to runsolver:
#   pid: 25465
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3588.5
#   total CPU system time (s): 11.7331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1858 second user time and 38.2586 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 14:53:14
IDJOB=4512799
IDBENCH=162160
IDSOLVER=3364
FILE ID=nodeC006/4512799-1751201594
RUNJOBID= nodeC006-1751194066-23530
SLURM_JOB_ID= 9587594
Free space on /tmp= 432664 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-0.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512799-1751201594/watcher-4512799-1751201594 -o /tmp/evaluation-result-4512799-1751201594/solver-4512799-1751201594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4512799-1751201594 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4512799-1751201594.opb

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

MD5SUM BENCH= ab6600e5fcf1c6d7769b5fd648c35e77
RANDOM SEED=1397602325

nodeC006 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		: 3657.018
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.32
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		: 3491.660
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.32
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.083
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.32
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		: 1197.054
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.32
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		: 3591.749
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.32
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		: 3491.661
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.32
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		: 1197.209
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.32
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.863
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        91275636 kB
MemAvailable:   97523568 kB
Buffers:            3280 kB
Cached:          7051828 kB
SwapCached:            0 kB
Active:         32645124 kB
Inactive:        6803500 kB
Active(anon):   32411872 kB
Inactive(anon):        0 kB
Active(file):     233252 kB
Inactive(file):  6803500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1755352 kB
Writeback:             0 kB
AnonPages:      32396516 kB
Mapped:           122392 kB
Shmem:             17960 kB
KReclaimable:     101232 kB
Slab:             238372 kB
SReclaimable:     101232 kB
SUnreclaim:       137140 kB
KernelStack:        5232 kB
PageTables:        67100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   47205924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  32092160 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:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC006 at 2025-06-29 15:53:25