Trace number 4513230

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.14 3604.3

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
MD5SUM4ab683db7c9e99efe1269a989c150a4d
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 benchmark49.0793
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4513230-1751215620.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.33/0.29	c ... done. Wall clock time 0.155s.
0.33/0.29	c declared #vars     4128
0.33/0.29	c #constraints  10016
0.33/0.29	c constraints type 
0.33/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.33/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.33/0.29	c org.sat4j.specs.Constr$1 => 920
0.33/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
0.33/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.33/0.29	c 10016 constraints processed.
1.87/1.09	c cleaning 2497 clauses out of 4999 with flag 16490/5001
3.24/1.70	c cleaning 4236 clauses out of 8501 with flag 38987/11001
4.09/2.22	c cleaning 5628 clauses out of 11264 with flag 66827/18000
4.69/2.80	c cleaning 6819 clauses out of 13637 with flag 101055/26001
5.29/3.46	c cleaning 7882 clauses out of 15819 with flag 141636/35002
6.10/4.20	c cleaning 8945 clauses out of 17935 with flag 188893/45000
6.90/5.05	c cleaning 9996 clauses out of 19991 with flag 243281/56001
7.79/5.99	c cleaning 10975 clauses out of 21996 with flag 302692/68002
8.90/7.06	c cleaning 11997 clauses out of 24019 with flag 370400/81000
10.00/8.16	c cleaning 12966 clauses out of 26022 with flag 443987/95000
11.31/9.40	c cleaning 14009 clauses out of 28057 with flag 526001/110001
12.61/10.71	c cleaning 14981 clauses out of 30048 with flag 612562/126001
14.04/12.16	c cleaning 16019 clauses out of 32067 with flag 705992/143001
15.65/13.70	c cleaning 17012 clauses out of 34047 with flag 806609/161000
17.24/15.35	c cleaning 18008 clauses out of 36035 with flag 915484/180000
18.95/17.10	c cleaning 18988 clauses out of 38027 with flag 1030954/200000
20.94/19.01	c cleaning 20008 clauses out of 40039 with flag 1148936/221000
22.94/21.07	c cleaning 21006 clauses out of 42032 with flag 1274861/243001
25.14/23.25	c cleaning 21985 clauses out of 44026 with flag 1409440/266001
27.64/25.74	c cleaning 22992 clauses out of 46040 with flag 1550036/290000
30.23/28.30	c cleaning 24001 clauses out of 48048 with flag 1695681/315000
32.82/30.97	c cleaning 24996 clauses out of 50047 with flag 1847101/341000
35.62/33.71	c cleaning 26015 clauses out of 52051 with flag 2004427/368000
38.51/36.60	c cleaning 26989 clauses out of 54036 with flag 2170254/396000
41.63/39.76	c cleaning 27993 clauses out of 56047 with flag 2342195/425000
45.03/43.14	c cleaning 29000 clauses out of 58054 with flag 2522260/455000
48.62/46.71	c cleaning 30011 clauses out of 60054 with flag 2707425/486000
52.31/50.45	c cleaning 31013 clauses out of 62044 with flag 2899751/518001
56.34/54.44	c cleaning 31987 clauses out of 64030 with flag 3097474/551000
60.43/58.52	c cleaning 33019 clauses out of 66043 with flag 3300699/585000
64.72/62.85	c cleaning 33970 clauses out of 68024 with flag 3515157/620000
69.41/67.59	c cleaning 35012 clauses out of 70054 with flag 3730225/656000
74.44/72.53	c cleaning 36007 clauses out of 72043 with flag 3952460/693001
79.33/77.49	c cleaning 36970 clauses out of 74035 with flag 4183737/731000
84.51/82.67	c cleaning 38016 clauses out of 76066 with flag 4423813/770001
90.10/88.21	c cleaning 38975 clauses out of 78053 with flag 4667466/810004
95.72/93.86	c cleaning 40035 clauses out of 80075 with flag 4919352/851001
101.60/99.70	c cleaning 40998 clauses out of 82039 with flag 5175265/893000
107.79/105.93	c cleaning 42017 clauses out of 84042 with flag 5441972/936001
114.11/112.25	c cleaning 42992 clauses out of 86025 with flag 5716446/980001
120.69/118.81	c cleaning 43979 clauses out of 88032 with flag 5997285/1025000
127.48/125.61	c cleaning 45007 clauses out of 90053 with flag 6281710/1071000
134.39/132.55	c cleaning 45975 clauses out of 92046 with flag 6573085/1118000
141.68/139.84	c cleaning 47028 clauses out of 94071 with flag 6875126/1166000
149.46/147.64	c cleaning 48018 clauses out of 96043 with flag 7178198/1215000
157.36/155.56	c cleaning 48947 clauses out of 98025 with flag 7487076/1265000
165.45/163.67	c cleaning 50025 clauses out of 100080 with flag 7803249/1316002
173.83/172.07	c cleaning 50993 clauses out of 102054 with flag 8129444/1368001
182.53/180.75	c cleaning 52012 clauses out of 104062 with flag 8462071/1421002
191.51/189.77	c cleaning 53005 clauses out of 106048 with flag 8796669/1475000
201.12/199.34	c cleaning 54003 clauses out of 108044 with flag 9140749/1530001
210.90/209.11	c cleaning 54984 clauses out of 110041 with flag 9491536/1586001
220.70/218.98	c cleaning 55990 clauses out of 112056 with flag 9850660/1643000
231.07/229.34	c cleaning 57011 clauses out of 114066 with flag 10212990/1701000
241.76/240.00	c cleaning 58022 clauses out of 116055 with flag 10583378/1760000
252.46/250.70	c cleaning 58982 clauses out of 118034 with flag 10958568/1820001
263.63/261.92	c cleaning 60022 clauses out of 120051 with flag 11339837/1881000
275.10/273.46	c cleaning 60971 clauses out of 122029 with flag 11726138/1943000
286.96/285.39	c cleaning 61999 clauses out of 124058 with flag 12120629/2006000
299.38/297.76	c cleaning 63005 clauses out of 126059 with flag 12519280/2070000
311.76/310.17	c cleaning 64004 clauses out of 128054 with flag 12923372/2135000
324.42/322.86	c cleaning 64990 clauses out of 130051 with flag 13332696/2201001
337.50/335.99	c cleaning 65990 clauses out of 132060 with flag 13753270/2268000
351.01/349.49	c cleaning 67006 clauses out of 134073 with flag 14176195/2336003
364.88/363.31	c cleaning 67980 clauses out of 136065 with flag 14606029/2405001
378.95/377.43	c cleaning 69033 clauses out of 138084 with flag 15044445/2475000
393.32/391.86	c cleaning 69965 clauses out of 140051 with flag 15490144/2546000
408.44/406.99	c cleaning 71038 clauses out of 142086 with flag 15937084/2618000
423.72/422.28	c cleaning 71987 clauses out of 144048 with flag 16392518/2691000
439.58/438.14	c cleaning 73020 clauses out of 146062 with flag 16853856/2765001
455.34/453.92	c cleaning 74007 clauses out of 148042 with flag 17320693/2840001
471.41/470.05	c cleaning 75004 clauses out of 150035 with flag 17794207/2916001
488.54/487.13	c cleaning 75981 clauses out of 152030 with flag 18267763/2993000
505.59/504.29	c cleaning 77001 clauses out of 154050 with flag 18751359/3071001
523.36/522.10	c cleaning 78015 clauses out of 156048 with flag 19246920/3150000
541.42/540.16	c cleaning 79017 clauses out of 158034 with flag 19742919/3230001
559.77/558.52	c cleaning 80000 clauses out of 160017 with flag 20245227/3311001
578.62/577.40	c cleaning 81008 clauses out of 162016 with flag 20753350/3393000
597.83/596.67	c cleaning 81997 clauses out of 164011 with flag 21269939/3476003
617.57/616.46	c cleaning 82967 clauses out of 166011 with flag 21792303/3560000
637.92/636.80	c cleaning 84018 clauses out of 168044 with flag 22314801/3645000
658.77/657.71	c cleaning 84987 clauses out of 170026 with flag 22844966/3731000
680.12/679.11	c cleaning 85995 clauses out of 172040 with flag 23377490/3818001
701.35/700.47	c cleaning 87011 clauses out of 174044 with flag 23923729/3906000
723.98/723.05	c cleaning 87985 clauses out of 176033 with flag 24470251/3995000
746.52/745.64	c cleaning 89009 clauses out of 178048 with flag 25021336/4085000
769.66/768.86	c cleaning 90008 clauses out of 180039 with flag 25576102/4176000
793.21/792.45	c cleaning 90968 clauses out of 182032 with flag 26139062/4268001
817.36/816.68	c cleaning 92004 clauses out of 184063 with flag 26711753/4361000
842.30/841.60	c cleaning 92995 clauses out of 186060 with flag 27292232/4455001
867.32/866.62	c cleaning 94020 clauses out of 188064 with flag 27876432/4550000
892.56/891.91	c cleaning 95014 clauses out of 190046 with flag 28472082/4646002
918.21/917.61	c cleaning 95996 clauses out of 192030 with flag 29068998/4743000
944.45/943.95	c cleaning 96995 clauses out of 194034 with flag 29666340/4841000
970.99/970.57	c cleaning 97975 clauses out of 196041 with flag 30274543/4940002
998.45/998.02	c cleaning 98994 clauses out of 198064 with flag 30886786/5040000
1026.78/1026.39	c cleaning 99998 clauses out of 200070 with flag 31503757/5141000
1054.72/1054.37	c cleaning 101035 clauses out of 202073 with flag 32131156/5243001
1083.16/1082.84	c cleaning 101998 clauses out of 204038 with flag 32764159/5346001
1112.30/1112.08	c cleaning 103015 clauses out of 206039 with flag 33400398/5450000
1142.13/1141.98	c cleaning 103994 clauses out of 208024 with flag 34045670/5555000
1172.56/1172.45	c cleaning 104975 clauses out of 210030 with flag 34698103/5661000
1203.29/1203.18	c cleaning 105997 clauses out of 212055 with flag 35352643/5768000
1234.01/1233.94	c cleaning 107002 clauses out of 214058 with flag 36013402/5876000
1265.64/1265.69	c cleaning 108017 clauses out of 216056 with flag 36680685/5985000
1298.47/1298.58	c cleaning 108988 clauses out of 218040 with flag 37358463/6095001
1331.51/1331.63	c cleaning 109980 clauses out of 220051 with flag 38038604/6206000
1365.13/1365.37	c cleaning 111023 clauses out of 222071 with flag 38724789/6318000
1399.57/1399.84	c cleaning 112007 clauses out of 224048 with flag 39414198/6431000
1434.65/1434.73	c cleaning 113004 clauses out of 226042 with flag 40107616/6545001
1470.17/1470.36	c cleaning 114019 clauses out of 228037 with flag 40808637/6660000
1506.20/1506.45	c cleaning 114975 clauses out of 230018 with flag 41520988/6776000
1543.43/1543.75	c cleaning 115988 clauses out of 232046 with flag 42230017/6893003
1581.05/1581.42	c cleaning 116958 clauses out of 234055 with flag 42948410/7011000
1618.58/1619.03	c cleaning 118030 clauses out of 236097 with flag 43678967/7130000
1657.30/1657.89	c cleaning 119019 clauses out of 238067 with flag 44410954/7250000
1697.24/1697.89	c cleaning 119999 clauses out of 240048 with flag 45147312/7371000
1736.56/1737.24	c cleaning 121013 clauses out of 242049 with flag 45893820/7493000
1776.87/1777.68	c cleaning 121977 clauses out of 244036 with flag 46644491/7616000
1817.79/1818.66	c cleaning 123016 clauses out of 246059 with flag 47404395/7740000
1859.59/1860.54	c cleaning 124004 clauses out of 248043 with flag 48165545/7865000
1901.91/1902.99	c cleaning 125009 clauses out of 250040 with flag 48934885/7991001
1945.00/1946.01	c cleaning 125987 clauses out of 252030 with flag 49709867/8118000
1988.69/1989.83	c cleaning 127013 clauses out of 254043 with flag 50492619/8246000
2032.50/2033.79	c cleaning 128001 clauses out of 256032 with flag 51277795/8375002
2077.31/2078.63	c cleaning 128992 clauses out of 258029 with flag 52067803/8505000
2123.31/2124.71	c cleaning 130008 clauses out of 260038 with flag 52862769/8636001
2169.41/2170.99	c cleaning 130967 clauses out of 262029 with flag 53667027/8768000
2216.38/2217.91	c cleaning 131989 clauses out of 264064 with flag 54478928/8901002
2264.07/2265.74	c cleaning 133032 clauses out of 266075 with flag 55293449/9035002
2311.47/2313.24	c cleaning 133959 clauses out of 268041 with flag 56115714/9170000
2360.15/2362.09	c cleaning 135028 clauses out of 270082 with flag 56942177/9306000
2409.22/2411.25	c cleaning 135973 clauses out of 272056 with flag 57770295/9443002
2458.60/2460.71	c cleaning 137016 clauses out of 274085 with flag 58610741/9581004
2508.87/2511.07	c cleaning 137995 clauses out of 276065 with flag 59456561/9720000
2559.96/2562.27	c cleaning 139002 clauses out of 278070 with flag 60306952/9860000
2611.35/2613.78	c cleaning 140002 clauses out of 280069 with flag 61167397/10001001
2663.74/2666.24	c cleaning 140984 clauses out of 282068 with flag 62028124/10143002
2716.91/2719.56	c cleaning 142024 clauses out of 284082 with flag 62899966/10286000
2771.28/2774.08	c cleaning 143005 clauses out of 286058 with flag 63774832/10430000
2826.57/2829.35	c cleaning 144000 clauses out of 288054 with flag 64654709/10575001
2881.55/2884.48	c cleaning 145003 clauses out of 290055 with flag 65541795/10721002
2936.64/2939.69	c cleaning 146016 clauses out of 292050 with flag 66433503/10868000
2993.12/2996.29	c cleaning 146983 clauses out of 294035 with flag 67326766/11016001
3051.10/3054.38	c cleaning 147988 clauses out of 296053 with flag 68224239/11165002
3109.18/3112.59	c cleaning 149009 clauses out of 298063 with flag 69133995/11315000
3168.15/3171.64	c cleaning 149979 clauses out of 300054 with flag 70057704/11466000
3228.04/3231.51	c cleaning 150984 clauses out of 302075 with flag 70980469/11618000
3287.60/3291.21	c cleaning 152037 clauses out of 304091 with flag 71905129/11771000
3348.46/3352.20	c cleaning 152952 clauses out of 306054 with flag 72828609/11925000
3410.03/3413.93	c cleaning 154037 clauses out of 308103 with flag 73771641/12080001
3472.39/3476.41	c cleaning 155019 clauses out of 310065 with flag 74713759/12236000
3535.84/3539.90	c cleaning 155993 clauses out of 312046 with flag 75660300/12393000
3599.50/3603.79	c cleaning 157010 clauses out of 314054 with flag 76610433/12551001
3600.00/3604.21	c timeout
3600.00/3604.22	c starts		: 114213
3600.00/3604.22	c conflicts		: 12552468
3600.00/3604.22	c decisions		: 109561090
3600.00/3604.22	c propagations		: 1640290462
3600.00/3604.22	c inspects		: 37909366125
3600.00/3604.22	c shortcuts		: 0
3600.00/3604.22	c learnt literals	: 3
3600.00/3604.22	c learnt binary clauses	: 87
3600.00/3604.22	c learnt ternary clauses	: 914
3600.00/3604.22	c learnt constraints	: 12552465
3600.00/3604.22	c ignored constraints	: 0
3600.00/3604.22	c root simplifications	: 0
3600.00/3604.22	c removed literals (reason simplification)	: 12314197
3600.00/3604.22	c reason swapping (by a shorter reason)	: 0
3600.00/3604.22	c Calls to reduceDB	: 154
3600.00/3604.22	c Number of update (reduction) of LBD	: 2642668
3600.00/3604.22	c Imported unit clauses	: 0
3600.00/3604.22	c No decision after first conflict	: false
3600.00/3604.22	c number of reductions to clauses (during analyze)	: 0
3600.00/3604.22	c number of learned constraints concerned by reduction	: 0
3600.00/3604.22	c number of learning phase by resolution	: 0
3600.00/3604.22	c number of learning phase by cutting planes	: 0
3600.00/3604.22	c number of rounding to 1 operations	: 0
3600.00/3604.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3604.23	c number of reductions of the coefficients by power 2 	: 0
3600.00/3604.23	c number of right shift for reduction by power 2 	: 0
3600.00/3604.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3604.23	c number of ending skipping 	: 0
3600.00/3604.23	c number of internal skipping 	: 0
3600.00/3604.23	c number of derivation steps 	: 0
3600.00/3604.23	c number of skipped derivation steps 	: 0
3600.00/3604.23	c number of remaining unassigned 	: 0
3600.00/3604.23	c number of remaining assigned 	: 0
3600.00/3604.23	c number of falsified literals weakened from reason	: 0
3600.00/3604.23	c number of falsified literals weakened from conflict	: 0
3600.00/3604.23	c time for arithmetic operations	: 0
3600.00/3604.23	c minimum degree of deleted constraints	: null
3600.00/3604.23	c maximum degree of deleted constraints	: null
3600.00/3604.23	c number of deleted constraints	: 0
3600.00/3604.23	c speed (assignments/second)	: 455139.25266604713
3600.00/3604.23	c non guided choices	: 25683
3600.00/3604.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 158424
3600.00/3604.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 87
3600.00/3604.28	s UNKNOWN
3600.00/3604.28	c Total wall clock time (in seconds): 3604.158

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: 63665 MiB (62972 MiB free)
  memory of node 1: 64507 MiB (59534 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513230-1751215620/watcher-4513230-1751215620 -o /tmp/evaluation-result-4513230-1751215620/solver-4513230-1751215620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26871 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513230-1751215620.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.10 4.09 5/313 27854
/proc/meminfo: memFree=125417648/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18930384 memory=59892 CPUtime=0.13 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 6595 0 0 0 11 2 0 0 20 0 18 0 37239735 19384713216 14973 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4732596 14973 5358 1 0 547640 0
[pid=27834/tid=27836] ppid=27831 vsize=18930384 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 5095 0 0 0 7 1 0 0 20 0 18 0 37239736 19384713216 14973 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18930384 memory=215637835981 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37239738 19384713216 14973 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18930384 memory=32749 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37239738 19384713216 14973 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59892 KiB

[startup+0.206406 s]*
/proc/loadavg: 4.10 4.10 4.09 5/316 27859
/proc/meminfo: memFree=125407440/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18930384 memory=70828 CPUtime=0.33 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 7221 0 0 0 30 3 0 0 20 0 18 0 37239735 19384713216 17707 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4732596 17707 5422 1 0 548099 0
[pid=27834/tid=27836] ppid=27831 vsize=18930384 memory=7008456651228315768 CPUtime=0.16 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 5260 0 0 0 15 1 0 0 20 0 18 0 37239736 19384713216 17707 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37239738 19384713216 17707 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37239738 19384713216 17707 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70828 KiB

[startup+0.30575 s]*
/proc/loadavg: 4.10 4.10 4.09 7/315 27867
/proc/meminfo: memFree=125397600/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18996948 memory=97068 CPUtime=0.51 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 9240 0 0 0 48 3 0 0 20 0 19 0 37239735 19452874752 24267 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4749237 24267 5422 1 0 549761 0
[pid=27834/tid=27836] ppid=27831 vsize=18996948 memory=8039887049847963817 CPUtime=0.24 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 5338 0 0 0 22 2 0 0 20 0 19 0 37239736 19452874752 24267 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 24267 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 24267 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (java) R 27831 27834 26860 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 37239765 19452874752 24267 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97068 KiB

[startup+0.700223 s]
/proc/loadavg: 4.10 4.10 4.09 5/315 27887
/proc/meminfo: memFree=125377472/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18996948 memory=114944 CPUtime=1.26 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 14959 0 0 0 121 5 0 0 20 0 19 0 37239735 19452874752 28736 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4749237 28736 5422 1 0 553600 0
[pid=27834/tid=27836] ppid=27831 vsize=18996948 memory=17408 CPUtime=0.61 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 5348 0 0 0 59 2 0 0 20 0 19 0 37239736 19452874752 28736 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 28736 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 28736 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37239765 19452874752 28736 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114944 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.10 4.09 7/337 27909
/proc/meminfo: memFree=125297076/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18996948 memory=121208 CPUtime=2.86 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 21287 0 0 0 279 7 0 0 20 0 19 0 37239735 19452874752 30302 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4749237 30302 5454 1 0 553946 0
[pid=27834/tid=27836] ppid=27831 vsize=18996948 memory=10752 CPUtime=1.38 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 5538 0 0 0 136 2 0 0 20 0 19 0 37239736 19452874752 30302 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 30302 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 30302 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=18996948 memory=211309297979 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37239765 19452874752 30302 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121208 KiB

[startup+3.10564 s]
/proc/loadavg: 4.17 4.11 4.10 5/337 27909
/proc/meminfo: memFree=125256588/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18996948 memory=134160 CPUtime=4.99 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 23281 0 0 0 492 7 0 0 20 0 19 0 37239735 19452874752 33540 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4749237 33540 5454 1 0 554046 0
[pid=27834/tid=27836] ppid=27831 vsize=18996948 memory=-6000919502804641133 CPUtime=2.98 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 6002 0 0 0 296 2 0 0 20 0 19 0 37239736 19452874752 33540 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 33540 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 33540 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=18996948 memory=164 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37239765 19452874752 33540 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134160 KiB

[startup+6.30021 s]
/proc/loadavg: 4.17 4.11 4.10 5/337 27909
/proc/meminfo: memFree=125216132/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=18996948 memory=148816 CPUtime=8.19 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 23437 0 0 0 811 8 0 0 20 0 19 0 37239735 19452874752 37204 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4749237 37204 5486 1 0 554046 0
[pid=27834/tid=27836] ppid=27831 vsize=18996948 memory=0 CPUtime=6.17 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 6105 0 0 0 614 3 0 0 20 0 19 0 37239736 19452874752 37204 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 37204 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=18996948 memory=3472328296227712577 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37239738 19452874752 37204 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=18996948 memory=14384 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37239765 19452874752 37204 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148816 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/339 27911
/proc/meminfo: memFree=125142908/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=182144 CPUtime=14.65 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 27959 0 0 0 1456 9 0 0 20 0 20 0 37239735 19521036288 45536 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 45536 5518 1 0 554335 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=10752 CPUtime=12.54 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 7022 0 0 0 1250 4 0 0 20 0 20 0 37239736 19521036288 45536 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 45536 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 45536 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 45536 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 14.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.12 4.10 5/339 27978
/proc/meminfo: memFree=125199644/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=188364 CPUtime=27.44 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 30012 0 0 0 2734 10 0 0 20 0 20 0 37239735 19521036288 47091 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 47091 5518 1 0 554335 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=188364 CPUtime=25.3 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 7714 0 0 0 2526 4 0 0 20 0 20 0 37239736 19521036288 47091 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=1746992 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 47091 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=-6000919502804641133 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 47091 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=132580 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 47091 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 27.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188364 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 27979
/proc/meminfo: memFree=125106696/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=223488 CPUtime=53.01 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 31191 0 0 0 5290 11 0 0 20 0 20 0 37239735 19521036288 55872 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 55872 5518 1 0 554335 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=14384 CPUtime=50.8 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 8089 0 0 0 5076 4 0 0 20 0 20 0 37239736 19521036288 55872 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=10752 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=125248232/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=1905964 CPUtime=3218.74 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 66801 0 0 0 321761 113 0 0 20 0 20 0 37239735 19521036288 476491 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 476491 5518 1 0 556410 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=1891620 CPUtime=3212.16 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 24311 0 0 0 321196 20 0 0 20 0 20 0 37239736 19521036288 476491 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=1891620 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 476491 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 652 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 476491 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=1893676 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 476491 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3218.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905964 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 3.04 3.65 3/289 28336
/proc/meminfo: memFree=125134152/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3278.72 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 67207 0 0 0 327754 118 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556411 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3271.87 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 24437 0 0 0 327166 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 668 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3278.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.88 3.55 3/289 28338
/proc/meminfo: memFree=125134260/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3338.59 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 67334 0 0 0 333740 119 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556411 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=14384 CPUtime=3331.72 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 24542 0 0 0 333151 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 668 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3338.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.73 3.45 3/289 28340
/proc/meminfo: memFree=125134608/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3398.45 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 67809 0 0 0 339725 120 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556422 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3391.56 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 24960 0 0 0 339135 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 668 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3398.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.63 3.37 3/289 28342
/proc/meminfo: memFree=125134464/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3458.32 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 68410 0 0 0 345710 122 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556422 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3451.41 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 25496 0 0 0 345120 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 684 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=1989232 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3458.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.53 3.29 3/289 28350
/proc/meminfo: memFree=125135180/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3518.28 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 68953 0 0 0 351705 123 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556422 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3511.17 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 25772 0 0 0 351096 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 760 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3518.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.44 3.21 3/288 28352
/proc/meminfo: memFree=125135780/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3578.15 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 69054 0 0 0 357691 124 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556422 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=17408 CPUtime=3571.01 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 25868 0 0 0 357080 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 760 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=2016572 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3578.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.2 s]
/proc/loadavg: 2.17 2.44 3.19 3/288 28353
/proc/meminfo: memFree=125135876/131249996 swapFree=33010684/33010684
[pid=27834] ppid=27831 vsize=19063512 memory=2016572 CPUtime=3600 cores=4,6
/proc/27834/stat : 27834 (java) S 27831 27834 26860 0 -1 4194304 69094 0 0 0 359876 124 0 0 20 0 20 0 37239735 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
/proc/27834/statm: 4765878 504143 5518 1 0 556422 0
[pid=27834/tid=27836] ppid=27831 vsize=19063512 memory=6896 CPUtime=3592.86 cores=4,6
/proc/27834/task/27836/stat : 27836 (java) R 27831 27834 26860 0 -1 4194368 25907 0 0 0 359265 21 0 0 20 0 20 0 37239736 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27845] ppid=27831 vsize=19063512 memory=1989232 CPUtime=0 cores=4,6
/proc/27834/task/27845/stat : 27845 (Finalizer) S 27831 27834 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27852] ppid=27831 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/27834/task/27852/stat : 27852 (Common-Cleaner) S 27831 27834 26860 0 -1 4194368 760 0 0 0 0 0 0 0 20 0 20 0 37239738 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
[pid=27834/tid=27866] ppid=27831 vsize=19063512 memory=7510671152907329044 CPUtime=0 cores=4,6
/proc/27834/task/27866/stat : 27866 (Timer-0) S 27831 27834 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37239765 19521036288 504143 18446744073709551615 93858843213824 93858843217520 140720637175984 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93858843225336 93858843226128 93858855440384 140720637184385 140720637184486 140720637184486 140720637190088 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.88 s, system=1.25742 s

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

Child status: 143

Real time (s): 3604.3
CPU time (s): 3600.14
CPU user time (s): 3598.88
CPU system time (s): 1.25742
CPU usage (%): 99.8845
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2016572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.88
system time used= 1.25742
maximum resident set size= 2017596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103670
involuntary context switches= 3144


# summary of solver processes directly reported to runsolver:
#   pid: 27834
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.88
#   total CPU system time (s): 1.25742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22894 second user time and 15.4908 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 18:47:00
IDJOB=4513230
IDBENCH=162295
IDSOLVER=3363
FILE ID=nodeC022/4513230-1751215620
RUNJOBID= nodeC022-1751208407-26871
SLURM_JOB_ID= 9587640
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round22-2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513230-1751215620/watcher-4513230-1751215620 -o /tmp/evaluation-result-4513230-1751215620/solver-4513230-1751215620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26871 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513230-1751215620.opb

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

MD5SUM BENCH= 4ab683db7c9e99efe1269a989c150a4d
RANDOM SEED=632847199

nodeC022 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		: 3596.589
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.714
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.738
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.295
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.672
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.709
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.892
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125447272 kB
MemAvailable:   126103024 kB
Buffers:            3280 kB
Cached:          1460384 kB
SwapCached:            0 kB
Active:          3980796 kB
Inactive:        1212020 kB
Active(anon):    3747216 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1212020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1164 kB
Writeback:             0 kB
AnonPages:       3732412 kB
Mapped:           122040 kB
Shmem:             18060 kB
KReclaimable:      98384 kB
Slab:             185360 kB
SReclaimable:      98384 kB
SUnreclaim:        86976 kB
KernelStack:        4748 kB
PageTables:        10812 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4833080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151096 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3561472 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 nodeC022 at 2025-06-29 19:47:04