Trace number 4442012

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 2024 2024-07-07? (TO) 3600.27 3592.33

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM94ed12462fdb637cfaac2f219d20a948
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 benchmark0.831382
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.13	c See www.sat4j.org for details.
0.13/0.14	c version CUSTOM.v20240707
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.16	c Free memory 		2113181440
0.13/0.16	c Max memory 		16282288128
0.13/0.16	c Total memory 		2122317824
0.13/0.17	c Number of processors 	2
0.31/0.24	--- Begin Solver configuration ---
0.31/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.24	Learn all clauses as in MiniSAT
0.31/0.24	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	Expensive reason simplification
0.31/0.24	Glucose 2.1 dynamic restart strategy
0.31/0.24	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.31/0.24	timeout=2147483s
0.31/0.24	DB Simplification allowed=false
0.31/0.24	Listener: none
0.31/0.24	--- End Solver configuration ---
0.31/0.24	c Pseudo Boolean Optimization by upper bound
0.31/0.24	c --- Begin Solver configuration ---
0.31/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.24	c Learn all clauses as in MiniSAT
0.31/0.24	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	c Expensive reason simplification
0.31/0.24	c Glucose 2.1 dynamic restart strategy
0.31/0.24	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.31/0.24	c timeout=2147483s
0.31/0.24	c DB Simplification allowed=false
0.31/0.24	c Listener: none
0.31/0.24	c --- End Solver configuration ---
0.31/0.24	c solving HOME/instance-4442012-1721772957.opb
0.31/0.24	c reading problem ... 
0.31/0.25	c using VERIPB proof format
0.31/0.25	c  no objective function found
1.06/0.66	c ... done. Wall clock time 0.417s.
1.06/0.66	c declared #vars     4602
1.06/0.66	c #constraints  30353
1.06/0.66	c constraints type 
1.06/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 941
1.06/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1.06/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29334
1.06/0.66	c 30353 constraints processed.
2.60/1.49	c cleaning 2485 clauses out of 5000 with flag 18990/5000
3.77/2.04	c cleaning 4251 clauses out of 8516 with flag 41655/11001
4.95/2.67	c cleaning 5622 clauses out of 11267 with flag 74018/18003
6.06/3.30	c cleaning 6808 clauses out of 13644 with flag 112763/26002
7.28/4.02	c cleaning 7891 clauses out of 15834 with flag 165917/35000
8.33/4.81	c cleaning 8913 clauses out of 17943 with flag 215942/45000
9.25/5.69	c cleaning 9999 clauses out of 20031 with flag 278958/56001
10.25/6.62	c cleaning 11004 clauses out of 22033 with flag 341370/68002
11.27/7.68	c cleaning 11996 clauses out of 24028 with flag 422655/81001
12.97/9.34	c cleaning 12998 clauses out of 26031 with flag 520988/95000
14.47/10.85	c cleaning 13988 clauses out of 28035 with flag 618747/110002
15.57/11.97	c cleaning 14963 clauses out of 30045 with flag 726493/126000
17.11/13.36	c cleaning 16036 clauses out of 32082 with flag 861578/143000
19.62/15.70	c cleaning 17013 clauses out of 34046 with flag 992658/161000
21.11/17.17	c cleaning 17973 clauses out of 36033 with flag 1105999/180000
22.66/18.54	c cleaning 19016 clauses out of 38061 with flag 1222004/200001
24.19/20.06	c cleaning 19976 clauses out of 40044 with flag 1354249/221000
26.47/22.39	c cleaning 21024 clauses out of 42069 with flag 1487428/243001
28.87/24.78	c cleaning 22007 clauses out of 44044 with flag 1635212/266000
31.76/27.66	c cleaning 23006 clauses out of 46038 with flag 1775474/290001
33.66/29.51	c cleaning 23980 clauses out of 48032 with flag 1916161/315001
35.96/31.91	c cleaning 25008 clauses out of 50051 with flag 2056201/341000
38.95/35.00	c cleaning 25996 clauses out of 52043 with flag 2231842/368000
41.45/37.41	c cleaning 26992 clauses out of 54047 with flag 2397105/396000
44.29/39.91	c cleaning 28008 clauses out of 56055 with flag 2552345/425000
47.51/42.85	c cleaning 28997 clauses out of 58048 with flag 2719144/455001
50.99/46.25	c cleaning 29997 clauses out of 60052 with flag 2897419/486002
55.18/50.43	c cleaning 30998 clauses out of 62053 with flag 3097246/518000
59.31/54.51	c cleaning 31998 clauses out of 64056 with flag 3305129/551001
64.40/59.67	c cleaning 33004 clauses out of 66058 with flag 3517579/585001
70.39/65.70	c cleaning 33997 clauses out of 68053 with flag 3757838/620000
75.28/70.66	c cleaning 34997 clauses out of 70057 with flag 3987612/656001
80.56/75.91	c cleaning 35994 clauses out of 72060 with flag 4232133/693001
85.85/81.29	c cleaning 36997 clauses out of 74066 with flag 4483106/731001
91.95/87.34	c cleaning 38004 clauses out of 76069 with flag 4731399/770001
98.43/93.91	c cleaning 38998 clauses out of 78064 with flag 4988426/810000
104.56/100.09	c cleaning 40002 clauses out of 80069 with flag 5289195/851003
109.95/105.47	c cleaning 40999 clauses out of 82067 with flag 5564644/893003
113.80/109.28	c cleaning 42006 clauses out of 84066 with flag 5806544/936001
117.71/113.17	c cleaning 42992 clauses out of 86059 with flag 6140120/980000
122.53/117.90	c cleaning 43974 clauses out of 88067 with flag 6435709/1025000
127.29/122.64	c cleaning 45041 clauses out of 90093 with flag 6777870/1071000
133.24/128.73	c cleaning 46014 clauses out of 92053 with flag 7088031/1118001
141.51/136.80	c cleaning 47002 clauses out of 94038 with flag 7441014/1166000
147.08/142.40	c cleaning 48002 clauses out of 96036 with flag 7776282/1215000
153.53/148.88	c cleaning 48973 clauses out of 98034 with flag 8117851/1265000
159.28/154.64	c cleaning 49989 clauses out of 100061 with flag 8426425/1316000
164.17/159.52	c cleaning 51019 clauses out of 102073 with flag 8717268/1368001
172.66/167.94	c cleaning 52003 clauses out of 104053 with flag 9022251/1421000
181.64/176.80	c cleaning 53005 clauses out of 106053 with flag 9410479/1475003
192.81/188.07	c cleaning 53998 clauses out of 108045 with flag 9763871/1530000
202.95/198.17	c cleaning 55003 clauses out of 110049 with flag 10128893/1586002
215.30/210.40	c cleaning 56000 clauses out of 112045 with flag 10560510/1643001
225.50/220.70	c cleaning 57000 clauses out of 114045 with flag 10938866/1701001
236.95/232.14	c cleaning 57996 clauses out of 116044 with flag 11417151/1760000
243.58/238.75	c cleaning 58997 clauses out of 118048 with flag 11793536/1820000
249.99/245.02	c cleaning 60018 clauses out of 120054 with flag 12169872/1881003
264.13/259.30	c cleaning 61010 clauses out of 122041 with flag 12501454/1943008
278.21/273.33	c cleaning 61999 clauses out of 124023 with flag 12897140/2006000
288.12/283.20	c cleaning 63006 clauses out of 126025 with flag 13359554/2070001
302.59/297.65	c cleaning 63999 clauses out of 128022 with flag 14018373/2135004
319.51/314.52	c cleaning 65000 clauses out of 130021 with flag 14726702/2201002
339.85/334.82	c cleaning 65989 clauses out of 132020 with flag 15501708/2268001
352.43/347.42	c cleaning 67007 clauses out of 134031 with flag 16209446/2336001
367.35/362.30	c cleaning 68000 clauses out of 136024 with flag 16866369/2405001
382.27/377.54	c cleaning 68998 clauses out of 138023 with flag 17583527/2475000
398.87/394.12	c cleaning 70002 clauses out of 140025 with flag 18362485/2546000
414.15/409.45	c cleaning 71003 clauses out of 142023 with flag 19195992/2618000
440.55/435.90	c cleaning 71998 clauses out of 144022 with flag 20017660/2691002
457.36/452.72	c cleaning 73000 clauses out of 146022 with flag 20849026/2765000
475.73/471.18	c cleaning 73999 clauses out of 148022 with flag 21651809/2840000
497.06/492.56	c cleaning 74994 clauses out of 150023 with flag 22535867/2916000
516.18/511.62	c cleaning 75997 clauses out of 152030 with flag 23295726/2993001
536.87/532.34	c cleaning 77001 clauses out of 154034 with flag 24112890/3071002
559.86/555.34	c cleaning 78004 clauses out of 156033 with flag 25011207/3150002
585.48/580.95	c cleaning 78993 clauses out of 158028 with flag 25902428/3230001
610.82/606.39	c cleaning 80002 clauses out of 160035 with flag 26848657/3311001
635.88/631.43	c cleaning 81002 clauses out of 162032 with flag 27748254/3393000
659.81/655.49	c cleaning 82008 clauses out of 164032 with flag 28670455/3476002
687.74/683.48	c cleaning 82995 clauses out of 166022 with flag 29583674/3560000
711.35/707.10	c cleaning 84000 clauses out of 168029 with flag 30327450/3645002
723.91/719.56	c cleaning 84986 clauses out of 170029 with flag 30904646/3731002
737.13/732.74	c cleaning 85993 clauses out of 172041 with flag 31428390/3818000
752.51/748.09	c cleaning 86997 clauses out of 174049 with flag 31997550/3906001
766.77/762.27	c cleaning 88002 clauses out of 176054 with flag 32519124/3995003
783.32/778.86	c cleaning 88998 clauses out of 178049 with flag 33131680/4085000
799.90/795.31	c cleaning 89994 clauses out of 180053 with flag 33788154/4176002
815.95/811.30	c cleaning 90992 clauses out of 182058 with flag 34433145/4268001
841.82/837.21	c cleaning 92020 clauses out of 184065 with flag 34882037/4361000
872.50/867.94	c cleaning 93013 clauses out of 186045 with flag 35341042/4455000
902.54/897.91	c cleaning 94006 clauses out of 188033 with flag 35829164/4550001
935.90/931.30	c cleaning 95001 clauses out of 190028 with flag 36358840/4646002
971.63/966.42	c cleaning 96002 clauses out of 192025 with flag 36864767/4743000
998.34/993.28	c cleaning 97000 clauses out of 194025 with flag 37387351/4841002
1037.68/1032.65	c cleaning 98002 clauses out of 196023 with flag 37975147/4940000
1083.22/1078.14	c cleaning 99001 clauses out of 198021 with flag 38530490/5040000
1120.97/1115.96	c cleaning 99994 clauses out of 200021 with flag 39127081/5141001
1160.77/1155.70	c cleaning 101005 clauses out of 202026 with flag 39675287/5243000
1205.24/1200.16	c cleaning 102002 clauses out of 204022 with flag 40202848/5346001
1241.77/1236.75	c cleaning 102999 clauses out of 206021 with flag 40736522/5450002
1284.40/1279.43	c cleaning 104003 clauses out of 208022 with flag 41193633/5555002
1295.18/1290.07	c cleaning 104983 clauses out of 210018 with flag 41768008/5661001
1313.14/1308.00	c cleaning 106009 clauses out of 212037 with flag 42478956/5768003
1326.05/1320.61	c cleaning 106976 clauses out of 214025 with flag 43225615/5876000
1380.29/1374.95	c cleaning 108006 clauses out of 216050 with flag 44232042/5985001
1393.65/1388.27	c cleaning 108995 clauses out of 218043 with flag 44857662/6095000
1404.57/1398.96	c cleaning 110015 clauses out of 220048 with flag 45461212/6206000
1426.98/1421.33	c cleaning 110961 clauses out of 222035 with flag 46269998/6318002
1440.39/1434.21	c cleaning 112018 clauses out of 224075 with flag 46944113/6431003
1480.74/1474.64	c cleaning 113018 clauses out of 226055 with flag 47610277/6545001
1521.07/1514.94	c cleaning 114001 clauses out of 228036 with flag 48250539/6660000
1536.05/1529.85	c cleaning 114996 clauses out of 230038 with flag 48891323/6776003
1572.46/1566.23	c cleaning 116013 clauses out of 232040 with flag 49533386/6893001
1611.54/1604.72	c cleaning 117003 clauses out of 234027 with flag 50237700/7011001
1644.11/1637.45	c cleaning 117996 clauses out of 236023 with flag 50933916/7130000
1672.41/1665.84	c cleaning 118996 clauses out of 238028 with flag 51655131/7250001
1684.04/1677.37	c cleaning 119987 clauses out of 240032 with flag 52330902/7371001
1705.17/1698.57	c cleaning 121016 clauses out of 242054 with flag 53122102/7493010
1718.73/1711.79	c cleaning 121980 clauses out of 244028 with flag 53895754/7616000
1758.23/1751.45	c cleaning 122991 clauses out of 246048 with flag 54861529/7740000
1772.44/1765.49	c cleaning 124020 clauses out of 248058 with flag 55552046/7865001
1785.64/1778.47	c cleaning 124973 clauses out of 250038 with flag 56319721/7991001
1800.90/1793.70	c cleaning 126017 clauses out of 252064 with flag 57017635/8118000
1820.74/1813.66	c cleaning 127011 clauses out of 254048 with flag 57709822/8246001
1857.38/1850.28	c cleaning 128011 clauses out of 256036 with flag 58482520/8375000
1903.44/1896.29	c cleaning 129001 clauses out of 258025 with flag 59468961/8505000
1925.22/1917.93	c cleaning 130011 clauses out of 260025 with flag 60341485/8636001
1948.93/1941.55	c cleaning 130958 clauses out of 262014 with flag 61300579/8768001
1978.72/1971.23	c cleaning 131988 clauses out of 264056 with flag 62242632/8901001
2010.94/2003.30	c cleaning 132974 clauses out of 266067 with flag 63238035/9035000
2027.86/2019.75	c cleaning 134038 clauses out of 268093 with flag 64149850/9170000
2053.01/2044.94	c cleaning 135012 clauses out of 270055 with flag 64937338/9306000
2072.48/2064.22	c cleaning 135976 clauses out of 272043 with flag 65887961/9443000
2090.12/2081.59	c cleaning 136995 clauses out of 274067 with flag 66723923/9581000
2110.93/2102.32	c cleaning 138029 clauses out of 276072 with flag 67660070/9720000
2127.91/2119.13	c cleaning 139004 clauses out of 278044 with flag 68573877/9860001
2161.54/2152.48	c cleaning 139949 clauses out of 280039 with flag 69695001/10001000
2280.52/2271.59	c cleaning 141035 clauses out of 282091 with flag 70916980/10143001
2346.15/2337.15	c cleaning 142010 clauses out of 284055 with flag 72303484/10286000
2706.08/2697.71	c cleaning 143009 clauses out of 286046 with flag 73593889/10430001
2953.96/2945.74	c cleaning 144011 clauses out of 288036 with flag 74945490/10575000
3073.43/3065.48	c cleaning 145002 clauses out of 290025 with flag 76296131/10721000
3224.56/3216.74	c cleaning 146008 clauses out of 292030 with flag 77824979/10868007
3350.61/3342.56	c cleaning 146997 clauses out of 294015 with flag 79271037/11016000
3566.32/3558.51	c cleaning 148002 clauses out of 296018 with flag 80547729/11165000
3600.06/3592.23	c timeout
3600.06/3592.24	c starts		: 52426
3600.06/3592.24	c conflicts		: 11238166
3600.06/3592.24	c decisions		: 18062301
3600.06/3592.24	c propagations		: 423312119
3600.06/3592.24	c inspects		: 29768818996
3600.06/3592.24	c shortcuts		: 0
3600.06/3592.24	c learnt literals	: 0
3600.06/3592.24	c learnt binary clauses	: 0
3600.06/3592.24	c learnt ternary clauses	: 0
3600.06/3592.24	c learnt constraints	: 11238166
3600.06/3592.24	c ignored constraints	: 0
3600.06/3592.24	c root simplifications	: 0
3600.06/3592.24	c removed literals (reason simplification)	: 34698655
3600.06/3592.24	c reason swapping (by a shorter reason)	: 0
3600.06/3592.24	c Calls to reduceDB	: 145
3600.06/3592.24	c Number of update (reduction) of LBD	: 4497902
3600.06/3592.24	c Imported unit clauses	: 0
3600.06/3592.24	c No decision after first conflict	: false
3600.06/3592.24	c number of reductions to clauses (during analyze)	: 0
3600.06/3592.24	c number of learned constraints concerned by reduction	: 0
3600.06/3592.24	c number of learning phase by resolution	: 0
3600.06/3592.24	c number of learning phase by cutting planes	: 0
3600.06/3592.24	c number of rounding to 1 operations	: 0
3600.06/3592.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3592.24	c number of reductions of the coefficients by power 2 	: 0
3600.06/3592.24	c number of right shift for reduction by power 2 	: 0
3600.06/3592.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3592.24	c number of ending skipping 	: 0
3600.06/3592.24	c number of internal skipping 	: 0
3600.06/3592.24	c number of derivation steps 	: 0
3600.06/3592.24	c number of skipped derivation steps 	: 0
3600.06/3592.24	c number of remaining unassigned 	: 0
3600.06/3592.24	c number of remaining assigned 	: 0
3600.06/3592.24	c number of falsified literals weakened from reason	: 0
3600.06/3592.24	c number of falsified literals weakened from conflict	: 0
3600.06/3592.24	c time for arithmetic operations	: 0
3600.06/3592.24	c minimum degree of deleted constraints	: null
3600.06/3592.24	c maximum degree of deleted constraints	: null
3600.06/3592.24	c number of deleted constraints	: 0
3600.06/3592.24	c speed (assignments/second)	: 117862.49796746609
3600.06/3592.24	c non guided choices	: 363708
3600.24/3592.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 221182
3600.24/3592.31	s UNKNOWN
3600.24/3592.31	c Total wall clock time (in seconds): 3592.072

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: 64059 MiB (60499 MiB free)
  memory of node 1: 64510 MiB (54660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442012-1721772957/watcher-4442012-1721772957 -o /tmp/evaluation-result-4442012-1721772957/solver-4442012-1721772957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125643 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4442012-1721772957 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442012-1721772957.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=131269, runsolver pid=131266

[startup+0.102784 s]*
/proc/loadavg: 4.36 4.40 4.45 7/326 131287
/proc/meminfo: memFree=117888100/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=18975048 memory=55600 CPUtime=0.13 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 6506 0 0 0 10 3 0 0 20 0 18 0 13285476 19430449152 13900 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4743762 13900 5557 1 0 550839 0
[pid=131269/tid=131271] ppid=131266 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 5434 0 0 0 6 2 0 0 20 0 18 0 13285477 19430449152 13900 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13285482 19430449152 13900 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13285483 19430449152 13900 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55600 KiB

[startup+0.209948 s]*
/proc/loadavg: 4.36 4.40 4.45 7/326 131287
/proc/meminfo: memFree=117876124/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=18975048 memory=65788 CPUtime=0.31 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 7335 0 0 0 27 4 0 0 20 0 18 0 13285476 19430449152 16447 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4743762 16447 5720 1 0 551522 0
[pid=131269/tid=131271] ppid=131266 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 1077936192 5818 0 0 0 14 3 0 0 20 0 18 0 13285477 19430449152 16447 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=18975048 memory=804964 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13285482 19430449152 16447 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13285483 19430449152 16447 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65788 KiB

[startup+0.309017 s]*
/proc/loadavg: 4.36 4.40 4.45 6/326 131287
/proc/meminfo: memFree=117867852/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=18975048 memory=72896 CPUtime=0.49 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 7584 0 0 0 45 4 0 0 20 0 18 0 13285476 19430449152 18224 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4743762 18224 5736 1 0 551690 0
[pid=131269/tid=131271] ppid=131266 vsize=18975048 memory=-8743572012135129788 CPUtime=0.26 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 1077936192 5963 0 0 0 23 3 0 0 20 0 18 0 13285477 19430449152 18224 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13285482 19430449152 18224 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13285483 19430449152 18224 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72896 KiB

[startup+0.700233 s]
/proc/loadavg: 4.36 4.40 4.45 8/326 131287
/proc/meminfo: memFree=117813916/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=166652 CPUtime=1.21 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 9448 0 0 0 114 7 0 0 20 0 20 0 13285476 19566772224 41663 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 41663 5861 1 0 553356 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=5572 CPUtime=0.58 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 6071 0 0 0 53 5 0 0 20 0 20 0 13285477 19566772224 41663 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 41663 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 41663 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 166652 KiB

[startup+1.50077 s]
/proc/loadavg: 4.36 4.40 4.45 7/328 131289
/proc/meminfo: memFree=117758176/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=176500 CPUtime=2.78 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 17644 0 0 0 269 9 0 0 20 0 20 0 13285476 19566772224 44125 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 44125 5893 1 0 555465 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=12412 CPUtime=1.3 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 7065 0 0 0 124 6 0 0 20 0 20 0 13285477 19566772224 44125 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 44125 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 44125 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 44125 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176500 KiB

[startup+3.10577 s]
/proc/loadavg: 4.41 4.41 4.45 7/328 131289
/proc/meminfo: memFree=117612052/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=281172 CPUtime=5.94 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 22546 0 0 0 581 13 0 0 20 0 20 0 13285476 19566772224 70293 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 70293 5893 1 0 556783 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=0 CPUtime=2.86 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 7665 0 0 0 277 9 0 0 20 0 20 0 13285477 19566772224 70293 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 70293 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 70293 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 70293 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 281172 KiB

[startup+6.30043 s]
/proc/loadavg: 4.41 4.41 4.45 6/328 131289
/proc/meminfo: memFree=116920988/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=892356 CPUtime=9.96 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 23174 0 0 0 969 27 0 0 20 0 20 0 13285476 19566772224 223089 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 223089 5893 1 0 556791 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=0 CPUtime=5.98 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 8151 0 0 0 576 22 0 0 20 0 20 0 13285477 19566772224 223089 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 223089 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 223089 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=50056 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 223089 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 892356 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.40 4.45 6/328 131290
/proc/meminfo: memFree=116611596/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=1075184 CPUtime=16.51 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 26226 0 0 0 1615 36 0 0 20 0 20 0 13285476 19566772224 268796 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 268796 5924 1 0 556791 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=166952 CPUtime=12.23 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 8680 0 0 0 1193 30 0 0 20 0 20 0 13285477 19566772224 268796 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=1015416 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 268796 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=281172 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 268796 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 268796 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1075184 KiB

[startup+25.5005 s]
/proc/loadavg: 4.29 4.38 4.44 5/328 131292
/proc/meminfo: memFree=115867376/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=1493872 CPUtime=29.66 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 30001 0 0 0 2911 55 0 0 20 0 20 0 13285476 19566772224 373468 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 373468 5924 1 0 663316 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=1015416 CPUtime=24.69 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 10323 0 0 0 2420 49 0 0 20 0 20 0 13285477 19566772224 373468 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=1493840 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 373468 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 373468 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=6944656575208382560 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 373468 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1493872 KiB

[startup+51.1137 s]
/proc/loadavg: 4.26 4.37 4.44 5/329 131297
/proc/meminfo: memFree=114698952/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2118648 CPUtime=55.9 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 41878 0 0 0 5505 85 0 0 20 0 20 0 13285476 19566772224 529662 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 529662 5924 1 0 790744 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2048184 CPUtime=49.41 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 12836 0 0 0 4868 73 0 0 20 0 20 0 13285477 19566772224 529662 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=2054452 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 529662 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 529662 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0

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

[startup+3282.3 s]
/proc/loadavg: 4.32 4.19 4.19 5/328 133103
/proc/meminfo: memFree=74743888/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142296 CPUtime=3290.54 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 211595 0 0 0 328017 1037 0 0 20 0 20 0 13285476 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535574 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2451292 CPUtime=3243.01 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 76077 0 0 0 323443 858 0 0 20 0 20 0 13285477 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 614 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=16092 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=26900 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2206 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=2142296 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3290.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/302 133149
/proc/meminfo: memFree=96989656/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142296 CPUtime=3350.41 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 212069 0 0 0 333995 1046 0 0 20 0 20 0 13285476 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535574 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2142296 CPUtime=3302.67 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 76435 0 0 0 329401 866 0 0 20 0 20 0 13285477 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 620 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=2142296 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2247 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=2142296 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535574 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3350.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142296 KiB

[startup+3402.3 s]
/proc/loadavg: 3.53 3.98 4.11 3/276 133195
/proc/meminfo: memFree=111061112/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142300 CPUtime=3410.33 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 213149 0 0 0 339973 1060 0 0 20 0 20 0 13285476 19566772224 535575 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535575 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2142300 CPUtime=3362.13 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 77292 0 0 0 335337 876 0 0 20 0 20 0 13285477 19566772224 535575 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 627 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535575 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=2142300 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2248 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535575 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=2142300 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535575 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3410.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142300 KiB

[startup+3462.3 s]
/proc/loadavg: 2.06 3.48 3.93 3/248 133238
/proc/meminfo: memFree=118103648/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142308 CPUtime=3470.29 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 214553 0 0 0 345961 1068 0 0 20 0 20 0 13285476 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535577 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2142300 CPUtime=3421.85 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 77639 0 0 0 341304 881 0 0 20 0 20 0 13285477 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 629 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2377 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=2142300 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3470.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142308 KiB

[startup+3522.3 s]
/proc/loadavg: 1.51 3.06 3.76 2/248 133249
/proc/meminfo: memFree=118091192/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142308 CPUtime=3530.19 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 214884 0 0 0 351946 1073 0 0 20 0 20 0 13285476 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535577 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2142300 CPUtime=3481.69 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 77937 0 0 0 347286 883 0 0 20 0 20 0 13285477 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 629 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2377 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3530.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142308 KiB

[startup+3582.3 s]
/proc/loadavg: 1.29 2.71 3.59 3/244 133260
/proc/meminfo: memFree=118024804/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142308 CPUtime=3590.17 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 217147 0 0 0 357933 1084 0 0 20 0 20 0 13285476 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535577 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=2142308 CPUtime=3541.33 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 78930 0 0 0 353241 892 0 0 20 0 20 0 13285477 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 633 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2503 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=21160 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3590.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.2 s]
/proc/loadavg: 1.24 2.65 3.56 2/244 133263
/proc/meminfo: memFree=118014988/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19108176 memory=2142308 CPUtime=3600.06 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 217196 0 0 0 358919 1087 0 0 20 0 20 0 13285476 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4777044 535577 5924 1 0 547115 0
[pid=131269/tid=131271] ppid=131266 vsize=19108176 memory=19440 CPUtime=3551.2 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) R 131266 131269 125633 0 -1 4194368 78979 0 0 0 354226 894 0 0 20 0 20 0 13285477 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 633 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19108176 memory=6728 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13285482 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19108176 memory=6960 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2503 0 0 0 0 0 0 0 20 0 20 0 13285483 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131289] ppid=131266 vsize=19108176 memory=27840 CPUtime=0 cores=0,2
/proc/131269/task/131289/stat : 131289 (Timer-0) S 131266 131269 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13285543 19566772224 535577 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2142308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.38 s, system=10.8924 s

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

[startup+3592.31 s]
/proc/loadavg: 1.24 2.65 3.56 2/244 133263
/proc/meminfo: memFree=118014988/131655788 swapFree=131070448/131071996
[pid=131269] ppid=131266 vsize=19307868 memory=2142996 CPUtime=3600.24 cores=0,2
/proc/131269/stat : 131269 (java) S 131266 131269 125633 0 -1 1077936128 220503 0 0 0 358936 1088 0 0 20 0 21 0 13285476 19771256832 535749 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
/proc/131269/statm: 4826967 535749 5923 1 0 548050 0
[pid=131269/tid=131271] ppid=131266 vsize=19307868 memory=2142300 CPUtime=3551.23 cores=0,2
/proc/131269/task/131271/stat : 131271 (java) S 131266 131269 125633 0 -1 1077936192 79400 0 0 0 354229 894 0 0 20 0 21 0 13285477 19771256832 535749 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 634 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131280] ppid=131266 vsize=19307868 memory=0 CPUtime=0 cores=0,2
/proc/131269/task/131280/stat : 131280 (Finalizer) S 131266 131269 125633 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13285482 19771256832 535749 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
[pid=131269/tid=131287] ppid=131266 vsize=19307868 memory=2142308 CPUtime=0 cores=0,2
/proc/131269/task/131287/stat : 131287 (Common-Cleaner) S 131266 131269 125633 0 -1 1077936192 2503 0 0 0 0 0 0 0 20 0 21 0 13285483 19771256832 535749 134679101440 94181062103040 94181062106736 140736439675488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94181062114552 94181062115344 94181093425152 140736439677867 140736439678049 140736439678049 140736439685064 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2142996 KiB

Child status: 143

Real time (s): 3592.33
CPU time (s): 3600.27
CPU user time (s): 3589.38
CPU system time (s): 10.8924
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3126468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.38
system time used= 10.8924
maximum resident set size= 3126472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15868824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116436
involuntary context switches= 26898


# summary of solver processes directly reported to runsolver:
#   pid: 131269
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3589.38
#   total CPU system time (s): 10.8924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9051 second user time and 39.7645 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 00:15:57
IDJOB=4442012
IDBENCH=147759
IDSOLVER=3079
FILE ID=nodeC012/4442012-1721772957
RUNJOBID= nodeC012-1721765708-125643
SLURM_JOB_ID= 7770677
Free space on /tmp= 723720 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442012-1721772957/watcher-4442012-1721772957 -o /tmp/evaluation-result-4442012-1721772957/solver-4442012-1721772957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125643 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442012-1721772957 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442012-1721772957.opb

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

MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=1453794381

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117924804 kB
MemAvailable:   123484804 kB
Buffers:          190620 kB
Cached:          6195356 kB
SwapCached:           72 kB
Active:          1265020 kB
Inactive:       11909892 kB
Active(anon):       3640 kB
Inactive(anon):  6830532 kB
Active(file):    1261380 kB
Inactive(file):  5079360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            213288 kB
Writeback:            56 kB
AnonPages:       6787680 kB
Mapped:           125584 kB
Shmem:             45176 kB
KReclaimable:     118580 kB
Slab:             223948 kB
SReclaimable:     118580 kB
SUnreclaim:       105368 kB
KernelStack:        4936 kB
PageTables:        23260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9926468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19232 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6502400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316232 kB
DirectMap2M:    35239936 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC012 at 2024-07-24 01:15:50