Trace number 4512798

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.18 3606.41

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4512798-1751201220.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.50/0.31	c ... done. Wall clock time 0.161s.
0.50/0.31	c declared #vars     4288
0.50/0.31	c #constraints  10784
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.50/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.50/0.31	c org.sat4j.specs.Constr$1 => 888
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.50/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.50/0.31	c 10784 constraints processed.
1.86/1.05	c cleaning 2487 clauses out of 4999 with flag 16369/5001
2.77/1.55	c cleaning 4239 clauses out of 8513 with flag 39911/11002
3.87/2.14	c cleaning 5615 clauses out of 11273 with flag 67386/18001
4.54/2.71	c cleaning 6821 clauses out of 13657 with flag 101128/26000
5.24/3.41	c cleaning 7908 clauses out of 15836 with flag 139464/35000
6.04/4.20	c cleaning 8947 clauses out of 17928 with flag 183935/45000
6.85/5.10	c cleaning 9976 clauses out of 19981 with flag 235900/56000
7.84/6.09	c cleaning 10985 clauses out of 22005 with flag 293732/68000
9.03/7.23	c cleaning 11985 clauses out of 24020 with flag 359410/81000
10.25/8.41	c cleaning 13004 clauses out of 26036 with flag 433002/95001
11.45/9.66	c cleaning 13974 clauses out of 28031 with flag 511970/110000
12.85/11.09	c cleaning 15016 clauses out of 30059 with flag 599104/126002
14.47/12.60	c cleaning 15994 clauses out of 32043 with flag 689612/143002
16.09/14.20	c cleaning 16993 clauses out of 34047 with flag 787679/161000
17.79/15.95	c cleaning 18013 clauses out of 36054 with flag 895531/180000
19.69/17.86	c cleaning 19011 clauses out of 38042 with flag 1007823/200001
21.69/19.87	c cleaning 19993 clauses out of 40030 with flag 1127501/221000
23.99/22.15	c cleaning 20975 clauses out of 42039 with flag 1253532/243002
26.28/24.46	c cleaning 22028 clauses out of 44065 with flag 1384809/266003
28.77/26.93	c cleaning 22995 clauses out of 46034 with flag 1524782/290000
31.27/29.48	c cleaning 24011 clauses out of 48041 with flag 1674637/315002
34.19/32.32	c cleaning 25008 clauses out of 50028 with flag 1827503/341000
37.08/35.27	c cleaning 25980 clauses out of 52020 with flag 1985999/368000
40.27/38.46	c cleaning 27006 clauses out of 54040 with flag 2150029/396000
43.66/41.80	c cleaning 27941 clauses out of 56034 with flag 2324517/425000
47.25/45.43	c cleaning 29033 clauses out of 58093 with flag 2504926/455000
50.98/49.16	c cleaning 29961 clauses out of 60060 with flag 2689188/486000
54.97/53.11	c cleaning 31037 clauses out of 62099 with flag 2882165/518000
58.96/57.18	c cleaning 31998 clauses out of 64063 with flag 3082929/551001
63.34/61.53	c cleaning 33018 clauses out of 66064 with flag 3287339/585000
67.97/66.13	c cleaning 34011 clauses out of 68046 with flag 3497036/620000
72.65/70.85	c cleaning 34996 clauses out of 70037 with flag 3718216/656002
77.54/75.75	c cleaning 36012 clauses out of 72039 with flag 3939100/693000
82.72/80.91	c cleaning 36972 clauses out of 74027 with flag 4168435/731000
88.14/86.31	c cleaning 38028 clauses out of 76055 with flag 4402650/770000
93.63/91.86	c cleaning 39009 clauses out of 78028 with flag 4643474/810001
99.52/97.74	c cleaning 40004 clauses out of 80018 with flag 4897822/851000
105.64/103.84	c cleaning 40940 clauses out of 82014 with flag 5149812/893000
111.82/110.02	c cleaning 42005 clauses out of 84075 with flag 5410660/936001
118.11/116.39	c cleaning 42949 clauses out of 86070 with flag 5682100/980001
124.92/123.12	c cleaning 44051 clauses out of 88120 with flag 5957828/1025000
131.81/130.10	c cleaning 45034 clauses out of 90069 with flag 6244945/1071000
138.99/137.28	c cleaning 45953 clauses out of 92035 with flag 6534622/1118000
146.60/144.89	c cleaning 47011 clauses out of 94082 with flag 6832111/1166000
154.28/152.56	c cleaning 47997 clauses out of 96071 with flag 7132759/1215000
162.40/160.64	c cleaning 49029 clauses out of 98074 with flag 7445990/1265000
170.78/169.02	c cleaning 50014 clauses out of 100046 with flag 7766722/1316001
179.36/177.61	c cleaning 50988 clauses out of 102031 with flag 8092938/1368000
187.98/186.21	c cleaning 51990 clauses out of 104043 with flag 8424261/1421000
197.14/195.40	c cleaning 52986 clauses out of 106053 with flag 8755635/1475000
206.36/204.62	c cleaning 54000 clauses out of 108067 with flag 9098206/1530000
215.93/214.25	c cleaning 54962 clauses out of 110067 with flag 9444999/1586000
225.71/224.07	c cleaning 55979 clauses out of 112106 with flag 9801846/1643001
236.01/234.35	c cleaning 57040 clauses out of 114126 with flag 10157064/1701000
246.29/244.64	c cleaning 58000 clauses out of 116087 with flag 10524083/1760001
257.07/255.49	c cleaning 59024 clauses out of 118086 with flag 10894545/1820000
268.29/266.66	c cleaning 60015 clauses out of 120062 with flag 11270724/1881000
279.57/277.95	c cleaning 61010 clauses out of 122047 with flag 11652341/1943000
291.24/289.66	c cleaning 61968 clauses out of 124038 with flag 12041910/2006001
303.41/301.81	c cleaning 63009 clauses out of 126070 with flag 12433126/2070001
315.63/314.05	c cleaning 63967 clauses out of 128060 with flag 12837685/2135000
328.39/326.81	c cleaning 65038 clauses out of 130093 with flag 13240968/2201000
341.55/340.02	c cleaning 65993 clauses out of 132056 with flag 13651078/2268001
354.72/353.24	c cleaning 66978 clauses out of 134062 with flag 14069114/2336000
368.33/366.85	c cleaning 68031 clauses out of 136085 with flag 14495394/2405001
382.50/381.06	c cleaning 68989 clauses out of 138053 with flag 14929437/2475000
396.65/395.23	c cleaning 70004 clauses out of 140066 with flag 15364407/2546002
411.11/409.71	c cleaning 71014 clauses out of 142060 with flag 15807036/2618000
425.96/424.61	c cleaning 72014 clauses out of 144046 with flag 16255083/2691000
441.37/440.00	c cleaning 73003 clauses out of 146033 with flag 16710508/2765001
457.02/455.76	c cleaning 74000 clauses out of 148029 with flag 17176202/2840000
472.88/471.63	c cleaning 75000 clauses out of 150029 with flag 17648669/2916000
489.24/488.08	c cleaning 76009 clauses out of 152029 with flag 18120279/2993000
506.29/505.18	c cleaning 76956 clauses out of 154021 with flag 18600528/3071001
523.33/522.27	c cleaning 78026 clauses out of 156066 with flag 19080073/3150002
541.15/540.10	c cleaning 78969 clauses out of 158038 with flag 19570939/3230000
559.39/558.34	c cleaning 79967 clauses out of 160069 with flag 20061054/3311000
577.92/576.90	c cleaning 81028 clauses out of 162102 with flag 20565617/3393000
596.68/595.79	c cleaning 82031 clauses out of 164074 with flag 21072159/3476000
616.21/615.40	c cleaning 82997 clauses out of 166043 with flag 21588575/3560000
635.86/635.02	c cleaning 84012 clauses out of 168046 with flag 22117212/3645000
656.07/655.28	c cleaning 85018 clauses out of 170036 with flag 22645763/3731002
676.72/675.91	c cleaning 85996 clauses out of 172016 with flag 23180398/3818000
697.57/696.86	c cleaning 86964 clauses out of 174020 with flag 23721348/3906000
719.01/718.35	c cleaning 88017 clauses out of 176057 with flag 24265833/3995001
740.96/740.33	c cleaning 89011 clauses out of 178040 with flag 24810480/4085001
763.30/762.74	c cleaning 89996 clauses out of 180029 with flag 25364874/4176001
786.42/785.81	c cleaning 91007 clauses out of 182032 with flag 25929374/4268000
809.66/809.18	c cleaning 91949 clauses out of 184026 with flag 26497090/4361001
833.48/833.07	c cleaning 93010 clauses out of 186076 with flag 27065952/4455000
857.51/857.14	c cleaning 94019 clauses out of 188069 with flag 27641657/4550003
881.83/881.50	c cleaning 94992 clauses out of 190047 with flag 28227572/4646000
906.45/906.23	c cleaning 95997 clauses out of 192055 with flag 28809440/4743000
931.87/931.78	c cleaning 97010 clauses out of 194060 with flag 29407649/4841002
958.26/958.18	c cleaning 98012 clauses out of 196050 with flag 30007093/4940002
984.48/984.48	c cleaning 99002 clauses out of 198036 with flag 30614410/5040000
1011.50/1011.58	c cleaning 100004 clauses out of 200034 with flag 31229361/5141000
1038.92/1039.00	c cleaning 100917 clauses out of 202030 with flag 31841943/5243000
1066.84/1067.02	c cleaning 102041 clauses out of 204113 with flag 32466420/5346000
1095.24/1095.52	c cleaning 103014 clauses out of 206072 with flag 33098851/5450000
1123.96/1124.34	c cleaning 103978 clauses out of 208060 with flag 33734080/5555002
1152.82/1153.14	c cleaning 105021 clauses out of 210081 with flag 34382271/5661001
1182.34/1182.73	c cleaning 105951 clauses out of 212059 with flag 35033551/5768000
1212.65/1213.12	c cleaning 107034 clauses out of 214108 with flag 35688356/5876000
1243.56/1244.11	c cleaning 108000 clauses out of 216074 with flag 36350399/5985000
1275.05/1275.76	c cleaning 109023 clauses out of 218074 with flag 37018926/6095000
1307.06/1307.83	c cleaning 110013 clauses out of 220051 with flag 37686472/6206000
1339.75/1340.50	c cleaning 111010 clauses out of 222039 with flag 38365121/6318001
1372.87/1373.71	c cleaning 111981 clauses out of 224030 with flag 39046337/6431002
1405.67/1406.65	c cleaning 113003 clauses out of 226047 with flag 39738232/6545000
1439.16/1440.28	c cleaning 114010 clauses out of 228045 with flag 40429936/6660001
1473.15/1474.34	c cleaning 114992 clauses out of 230035 with flag 41131396/6776001
1509.15/1510.49	c cleaning 116016 clauses out of 232044 with flag 41835672/6893002
1545.30/1546.33	c cleaning 116978 clauses out of 234027 with flag 42551950/7011001
1581.50/1582.62	c cleaning 117988 clauses out of 236049 with flag 43262910/7130001
1617.78/1619.02	c cleaning 119023 clauses out of 238060 with flag 43987533/7250000
1654.77/1656.16	c cleaning 120005 clauses out of 240037 with flag 44718214/7371000
1692.15/1693.61	c cleaning 120937 clauses out of 242033 with flag 45453554/7493001
1729.94/1731.57	c cleaning 122042 clauses out of 244095 with flag 46201744/7616000
1769.70/1771.37	c cleaning 123028 clauses out of 246055 with flag 46948374/7740002
1809.49/1811.29	c cleaning 123997 clauses out of 248025 with flag 47704629/7865000
1849.95/1851.84	c cleaning 125012 clauses out of 250029 with flag 48455310/7991001
1891.73/1893.76	c cleaning 125989 clauses out of 252016 with flag 49221634/8118000
1933.20/1935.37	c cleaning 126962 clauses out of 254028 with flag 49989749/8246001
1976.27/1978.54	c cleaning 128013 clauses out of 256065 with flag 50771595/8375000
2019.43/2021.86	c cleaning 129006 clauses out of 258052 with flag 51558651/8505000
2062.51/2065.01	c cleaning 129995 clauses out of 260047 with flag 52353354/8636001
2106.27/2108.95	c cleaning 131000 clauses out of 262052 with flag 53155881/8768001
2150.46/2153.13	c cleaning 132003 clauses out of 264052 with flag 53955357/8901001
2196.22/2199.04	c cleaning 133000 clauses out of 266049 with flag 54759797/9035001
2241.68/2244.66	c cleaning 134000 clauses out of 268048 with flag 55575977/9170000
2287.53/2290.65	c cleaning 135017 clauses out of 270048 with flag 56395500/9306000
2334.69/2337.98	c cleaning 135993 clauses out of 272031 with flag 57217959/9443000
2381.65/2385.01	c cleaning 136991 clauses out of 274038 with flag 58052451/9581000
2429.40/2432.90	c cleaning 138001 clauses out of 276047 with flag 58889624/9720000
2478.68/2482.22	c cleaning 139005 clauses out of 278046 with flag 59741326/9860000
2528.04/2531.70	c cleaning 140005 clauses out of 280042 with flag 60599476/10001001
2578.29/2582.14	c cleaning 141002 clauses out of 282037 with flag 61454259/10143001
2629.03/2633.04	c cleaning 141992 clauses out of 284035 with flag 62316234/10286001
2680.17/2684.34	c cleaning 143020 clauses out of 286042 with flag 63180465/10430000
2731.94/2736.29	c cleaning 143981 clauses out of 288022 with flag 64052048/10575000
2783.50/2787.87	c cleaning 145005 clauses out of 290041 with flag 64927632/10721000
2837.94/2842.46	c cleaning 145984 clauses out of 292036 with flag 65807224/10868000
2891.96/2896.62	c cleaning 147020 clauses out of 294052 with flag 66699568/11016000
2947.83/2952.60	c cleaning 147968 clauses out of 296032 with flag 67594062/11165000
3003.59/3008.57	c cleaning 148988 clauses out of 298064 with flag 68495737/11315000
3059.87/3064.93	c cleaning 150025 clauses out of 300076 with flag 69401641/11466000
3116.51/3121.60	c cleaning 151002 clauses out of 302051 with flag 70311610/11618000
3175.73/3181.01	c cleaning 152014 clauses out of 304049 with flag 71218800/11771000
3233.95/3239.43	c cleaning 152952 clauses out of 306035 with flag 72138029/11925000
3293.47/3299.10	c cleaning 153996 clauses out of 308085 with flag 73058994/12080002
3353.20/3359.07	c cleaning 155037 clauses out of 310087 with flag 73990111/12236000
3412.52/3418.53	c cleaning 156001 clauses out of 312050 with flag 74933204/12393000
3467.58/3473.70	c cleaning 157025 clauses out of 314050 with flag 75874653/12551001
3520.81/3526.92	c cleaning 157984 clauses out of 316024 with flag 76822840/12710000
3575.28/3581.58	c cleaning 158995 clauses out of 318040 with flag 77776702/12870000
3600.02/3606.31	c timeout
3600.02/3606.31	c starts		: 103517
3600.02/3606.32	c conflicts		: 12954936
3600.02/3606.32	c decisions		: 119511781
3600.02/3606.32	c propagations		: 1717595244
3600.02/3606.32	c inspects		: 36745133274
3600.02/3606.32	c shortcuts		: 0
3600.02/3606.32	c learnt literals	: 2
3600.02/3606.32	c learnt binary clauses	: 47
3600.02/3606.32	c learnt ternary clauses	: 771
3600.02/3606.32	c learnt constraints	: 12954934
3600.02/3606.32	c ignored constraints	: 0
3600.02/3606.32	c root simplifications	: 0
3600.02/3606.32	c removed literals (reason simplification)	: 10936667
3600.02/3606.32	c reason swapping (by a shorter reason)	: 0
3600.02/3606.32	c Calls to reduceDB	: 156
3600.02/3606.32	c Number of update (reduction) of LBD	: 2727850
3600.02/3606.32	c Imported unit clauses	: 0
3600.02/3606.32	c No decision after first conflict	: false
3600.02/3606.33	c number of reductions to clauses (during analyze)	: 0
3600.02/3606.33	c number of learned constraints concerned by reduction	: 0
3600.02/3606.33	c number of learning phase by resolution	: 0
3600.02/3606.33	c number of learning phase by cutting planes	: 0
3600.02/3606.33	c number of rounding to 1 operations	: 0
3600.02/3606.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3606.33	c number of reductions of the coefficients by power 2 	: 0
3600.02/3606.33	c number of right shift for reduction by power 2 	: 0
3600.02/3606.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3606.33	c number of ending skipping 	: 0
3600.02/3606.33	c number of internal skipping 	: 0
3600.02/3606.33	c number of derivation steps 	: 0
3600.02/3606.33	c number of skipped derivation steps 	: 0
3600.02/3606.33	c number of remaining unassigned 	: 0
3600.02/3606.33	c number of remaining assigned 	: 0
3600.02/3606.33	c number of falsified literals weakened from reason	: 0
3600.02/3606.33	c number of falsified literals weakened from conflict	: 0
3600.02/3606.33	c time for arithmetic operations	: 0
3600.02/3606.33	c minimum degree of deleted constraints	: null
3600.02/3606.33	c maximum degree of deleted constraints	: null
3600.02/3606.33	c number of deleted constraints	: 0
3600.02/3606.33	c speed (assignments/second)	: 476314.08086601994
3600.02/3606.33	c non guided choices	: 48870
3600.02/3606.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 243934
3600.02/3606.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 47
3600.02/3606.39	s UNKNOWN
3600.02/3606.39	c Total wall clock time (in seconds): 3606.249

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (43431 MiB free)
  memory of node 1: 64465 MiB (53217 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512798-1751201220/watcher-4512798-1751201220 -o /tmp/evaluation-result-4512798-1751201220/solver-4512798-1751201220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512798-1751201220.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26530, runsolver pid=26527

[startup+0.100058 s]*
/proc/loadavg: 4.14 4.19 4.13 6/342 26548
/proc/meminfo: memFree=98942344/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18930384 memory=55440 CPUtime=0.12 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 6494 0 0 0 10 2 0 0 20 0 18 0 35796514 19384713216 13860 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4732596 13860 5338 1 0 547572 0
[pid=26530/tid=26532] ppid=26527 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5010 0 0 0 6 1 0 0 20 0 18 0 35796515 19384713216 13860 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35796517 19384713216 13860 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18930384 memory=58485492696503 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35796518 19384713216 13860 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55440 KiB

[startup+0.205913 s]*
/proc/loadavg: 4.14 4.19 4.13 7/342 26548
/proc/meminfo: memFree=98936484/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18930384 memory=65944 CPUtime=0.31 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 7008 0 0 0 28 3 0 0 20 0 18 0 35796514 19384713216 16486 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4732596 16486 5434 1 0 547889 0
[pid=26530/tid=26532] ppid=26527 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5268 0 0 0 15 2 0 0 20 0 18 0 35796515 19384713216 16486 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18930384 memory=13934 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35796517 19384713216 16486 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35796518 19384713216 16486 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65944 KiB

[startup+0.305902 s]*
/proc/loadavg: 4.14 4.19 4.13 6/342 26548
/proc/meminfo: memFree=98914304/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18930384 memory=95064 CPUtime=0.5 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 8613 0 0 0 47 3 0 0 20 0 18 0 35796514 19384713216 23766 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4732596 23766 5434 1 0 548997 0
[pid=26530/tid=26532] ppid=26527 vsize=18930384 memory=-6000919477051811437 CPUtime=0.24 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5312 0 0 0 22 2 0 0 20 0 18 0 35796515 19384713216 23766 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35796517 19384713216 23766 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35796518 19384713216 23766 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95064 KiB

[startup+0.700252 s]
/proc/loadavg: 4.14 4.19 4.13 6/343 26549
/proc/meminfo: memFree=98893260/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18996948 memory=115696 CPUtime=1.27 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 14660 0 0 0 122 5 0 0 20 0 19 0 35796514 19452874752 28924 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4749237 28924 5434 1 0 553584 0
[pid=26530/tid=26532] ppid=26527 vsize=18996948 memory=17152 CPUtime=0.61 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5342 0 0 0 59 2 0 0 20 0 19 0 35796515 19452874752 28924 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35796517 19452874752 28924 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35796518 19452874752 28924 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35796546 19452874752 28924 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115696 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.19 4.13 6/343 26549
/proc/meminfo: memFree=98865224/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18996948 memory=124428 CPUtime=2.77 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 20475 0 0 0 271 6 0 0 20 0 19 0 35796514 19452874752 31107 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4749237 31107 5466 1 0 553937 0
[pid=26530/tid=26532] ppid=26527 vsize=18996948 memory=0 CPUtime=1.39 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5491 0 0 0 136 3 0 0 20 0 19 0 35796515 19452874752 31107 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35796517 19452874752 31107 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35796518 19452874752 31107 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35796546 19452874752 31107 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124428 KiB

[startup+3.10564 s]
/proc/loadavg: 4.21 4.21 4.14 5/343 26549
/proc/meminfo: memFree=98775176/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18996948 memory=141760 CPUtime=4.95 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 23298 0 0 0 488 7 0 0 20 0 19 0 35796514 19452874752 35440 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4749237 35440 5466 1 0 554148 0
[pid=26530/tid=26532] ppid=26527 vsize=18996948 memory=10752 CPUtime=2.99 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 5959 0 0 0 296 3 0 0 20 0 19 0 35796515 19452874752 35440 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18996948 memory=-6000919477051811437 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35796517 19452874752 35440 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35796518 19452874752 35440 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35796546 19452874752 35440 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141760 KiB

[startup+6.3002 s]
/proc/loadavg: 4.21 4.21 4.14 5/343 26549
/proc/meminfo: memFree=98610360/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=18996948 memory=158172 CPUtime=8.14 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 23771 0 0 0 807 7 0 0 20 0 19 0 35796514 19452874752 39543 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4749237 39543 5498 1 0 554148 0
[pid=26530/tid=26532] ppid=26527 vsize=18996948 memory=0 CPUtime=6.17 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 6317 0 0 0 614 3 0 0 20 0 19 0 35796515 19452874752 39543 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35796517 19452874752 39543 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35796518 19452874752 39543 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=18996948 memory=127384 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35796546 19452874752 39543 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 8.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158172 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.20 4.14 5/344 26551
/proc/meminfo: memFree=97942484/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=177012 CPUtime=14.59 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 28780 0 0 0 1451 8 0 0 20 0 20 0 35796514 19521036288 44253 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 44253 5498 1 0 554437 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=127384 CPUtime=12.54 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 7147 0 0 0 1251 3 0 0 20 0 20 0 35796515 19521036288 44253 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=177012 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 44253 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 44253 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 44253 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.19 4.14 5/344 26551
/proc/meminfo: memFree=96493368/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=183236 CPUtime=27.38 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 30793 0 0 0 2729 9 0 0 20 0 20 0 35796514 19521036288 45809 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 45809 5498 1 0 554437 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=-6000919477051811437 CPUtime=25.3 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 7758 0 0 0 2526 4 0 0 20 0 20 0 35796515 19521036288 45809 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=183236 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 45809 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 45809 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 45809 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 27.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183236 KiB

[startup+51.1057 s]
/proc/loadavg: 4.32 4.23 4.15 5/344 26551
/proc/meminfo: memFree=95402360/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=257216 CPUtime=52.98 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 31151 0 0 0 5287 11 0 0 20 0 20 0 35796514 19521036288 64304 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 64304 5498 1 0 554437 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=218256 CPUtime=50.75 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 7919 0 0 0 5071 4 0 0 20 0 20 0 35796515 19521036288 64304 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 64304 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=218256 CPUtime=0 cores=5,7

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

/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3216.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/340 26724
/proc/meminfo: memFree=78036236/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3276.72 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 76129 0 0 0 327560 112 0 0 20 0 20 0 35796514 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 509610 5530 1 0 556587 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3269.86 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 29671 0 0 0 326974 12 0 0 20 0 20 0 35796515 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1126 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3276.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3342.3 s]
/proc/loadavg: 3.62 4.08 4.20 3/290 26795
/proc/meminfo: memFree=109515384/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3336.54 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 76461 0 0 0 333541 113 0 0 20 0 20 0 35796514 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 509610 5530 1 0 556587 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3329.66 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 29942 0 0 0 332954 12 0 0 20 0 20 0 35796515 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3336.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3402.3 s]
/proc/loadavg: 2.70 3.73 4.07 3/290 26797
/proc/meminfo: memFree=109514932/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3396.36 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 76724 0 0 0 339521 115 0 0 20 0 20 0 35796514 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 509610 5530 1 0 556587 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3389.46 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 30179 0 0 0 338934 12 0 0 20 0 20 0 35796515 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3396.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3462.3 s]
/proc/loadavg: 1.97 3.35 3.92 2/265 26832
/proc/meminfo: memFree=125199776/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3456.21 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 77627 0 0 0 345505 116 0 0 20 0 20 0 35796514 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 509610 5530 1 0 556588 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3449.28 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 30917 0 0 0 344916 12 0 0 20 0 20 0 35796515 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3456.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3522.3 s]
/proc/loadavg: 1.35 2.92 3.73 2/265 26834
/proc/meminfo: memFree=125200220/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3516.08 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 79176 0 0 0 351490 118 0 0 20 0 20 0 35796514 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 509610 5530 1 0 556588 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2038440 CPUtime=3509.12 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 31983 0 0 0 350900 12 0 0 20 0 20 0 35796515 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=-6000919477051811437 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=2038440 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 509610 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3516.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2038440 KiB

[startup+3582.3 s]
/proc/loadavg: 1.25 2.60 3.57 2/266 26839
/proc/meminfo: memFree=125085496/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2153236 CPUtime=3576.08 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 80575 0 0 0 357487 121 0 0 20 0 20 0 35796514 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 538309 5530 1 0 556589 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=2153236 CPUtime=3568.83 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 32212 0 0 0 356871 12 0 0 20 0 20 0 35796515 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=2153236 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1264 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=2153236 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3576.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.3 s]
/proc/loadavg: 1.16 2.47 3.50 2/266 26839
/proc/meminfo: memFree=125085496/131249992 swapFree=33010672/33010684
[pid=26530] ppid=26527 vsize=19063512 memory=2153236 CPUtime=3600.02 cores=5,7
/proc/26530/stat : 26530 (java) S 26527 26530 24622 0 -1 4194304 80587 0 0 0 359881 121 0 0 20 0 20 0 35796514 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
/proc/26530/statm: 4765878 538309 5530 1 0 556589 0
[pid=26530/tid=26532] ppid=26527 vsize=19063512 memory=17152 CPUtime=3592.76 cores=5,7
/proc/26530/task/26532/stat : 26532 (java) R 26527 26530 24622 0 -1 4194368 32214 0 0 0 359264 12 0 0 20 0 20 0 35796515 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26541] ppid=26527 vsize=19063512 memory=2153236 CPUtime=0 cores=5,7
/proc/26530/task/26541/stat : 26541 (Finalizer) S 26527 26530 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35796517 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26548] ppid=26527 vsize=19063512 memory=2153236 CPUtime=0 cores=5,7
/proc/26530/task/26548/stat : 26548 (Common-Cleaner) S 26527 26530 24622 0 -1 4194368 1264 0 0 0 0 0 0 0 20 0 20 0 35796518 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
[pid=26530/tid=26549] ppid=26527 vsize=19063512 memory=2153236 CPUtime=0 cores=5,7
/proc/26530/task/26549/stat : 26549 (Timer-0) S 26527 26530 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35796546 19521036288 538309 18446744073709551615 94735203033088 94735203036784 140736058473808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94735203044600 94735203045392 94735210274816 140736058481025 140736058481126 140736058481126 140736058486728 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.23351 s

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

[startup+3606.41 s]*
/proc/loadavg: 1.16 2.47 3.50 2/248 26842
/proc/meminfo: memFree=127192792/131249992 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3606.41
CPU time (s): 3600.18
CPU user time (s): 3598.94
CPU system time (s): 1.23351
CPU usage (%): 99.8271
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2153236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.23351
maximum resident set size= 2154260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82780
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103487
involuntary context switches= 20487


# summary of solver processes directly reported to runsolver:
#   pid: 26530
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.23351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41041 second user time and 16.9751 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 14:47:00
IDJOB=4512798
IDBENCH=162160
IDSOLVER=3363
FILE ID=nodeC035/4512798-1751201220
RUNJOBID= nodeC035-1751193887-24635
SLURM_JOB_ID= 9587593
Free space on /tmp= 432664 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512798-1751201220/watcher-4512798-1751201220 -o /tmp/evaluation-result-4512798-1751201220/solver-4512798-1751201220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4512798-1751201220.opb

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

MD5SUM BENCH= ab6600e5fcf1c6d7769b5fd648c35e77
RANDOM SEED=1639665447

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.746
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.005
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3587.182
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.756
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3526.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3555.594
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        98972652 kB
MemAvailable:   101877880 kB
Buffers:            2352 kB
Cached:          3699624 kB
SwapCached:            8 kB
Active:         28203308 kB
Inactive:        3414804 kB
Active(anon):   27928156 kB
Inactive(anon):     6036 kB
Active(file):     275152 kB
Inactive(file):  3408768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1004 kB
Writeback:             0 kB
AnonPages:      27918164 kB
Mapped:           122708 kB
Shmem:             18056 kB
KReclaimable:     121092 kB
Slab:             208272 kB
SReclaimable:     121092 kB
SUnreclaim:        87180 kB
KernelStack:        5232 kB
PageTables:        58288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   41177916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  27658240 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-06-29 15:47:06