Trace number 4450672

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.36 3622.22

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
MD5SUMfa6ba6ab9373c7e836356a3f9ed023a2
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 benchmark65.6087
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 constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
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.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.16	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.16	c java.vm.version	22.0.1+8-16
0.13/0.16	c java.vm.vendor	Oracle Corporation
0.13/0.16	c sun.arch.data.model	64
0.13/0.16	c java.version		22.0.1
0.13/0.16	c os.name		Linux
0.13/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.16	c os.arch		amd64
0.13/0.17	c Free memory 		2113181440
0.13/0.17	c Max memory 		16282288128
0.13/0.17	c Total memory 		2122317824
0.13/0.18	c Number of processors 	2
0.13/0.25	--- Begin Solver configuration ---
0.13/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.25	Learn all clauses as in MiniSAT
0.13/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.25	Expensive reason simplification
0.13/0.25	Glucose 2.1 dynamic restart strategy
0.13/0.25	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.25	timeout=2147483s
0.13/0.25	DB Simplification allowed=false
0.13/0.25	Listener: none
0.13/0.25	--- End Solver configuration ---
0.13/0.25	c Pseudo Boolean Optimization by upper bound
0.13/0.25	c --- Begin Solver configuration ---
0.13/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.25	c Learn all clauses as in MiniSAT
0.13/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.25	c Expensive reason simplification
0.13/0.25	c Glucose 2.1 dynamic restart strategy
0.13/0.25	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.25	c timeout=2147483s
0.13/0.25	c DB Simplification allowed=false
0.13/0.25	c Listener: none
0.13/0.25	c --- End Solver configuration ---
0.13/0.25	c solving HOME/instance-4450672-1721828188.opb
0.13/0.25	c reading problem ... 
0.37/0.26	c using VERIPB proof format
0.37/0.26	c  no objective function found
0.89/0.57	c ... done. Wall clock time 0.309s.
0.89/0.57	c declared #vars     4128
0.89/0.57	c #constraints  9952
0.89/0.57	c constraints type 
0.89/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.89/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.89/0.57	c org.sat4j.specs.Constr$1 => 888
0.89/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
0.89/0.57	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.89/0.57	c 9952 constraints processed.
2.80/1.59	c cleaning 2493 clauses out of 4999 with flag 15839/5001
4.17/2.23	c cleaning 4236 clauses out of 8505 with flag 36988/11000
5.34/2.86	c cleaning 5615 clauses out of 11270 with flag 63574/18001
6.27/3.54	c cleaning 6818 clauses out of 13655 with flag 96185/26001
7.65/4.31	c cleaning 7907 clauses out of 15836 with flag 136725/35000
8.53/5.19	c cleaning 8960 clauses out of 17929 with flag 182062/45000
10.35/6.22	c cleaning 9956 clauses out of 19969 with flag 234690/56000
11.45/7.31	c cleaning 11001 clauses out of 22013 with flag 293663/68000
12.66/8.52	c cleaning 11995 clauses out of 24012 with flag 359011/81000
13.97/9.80	c cleaning 13003 clauses out of 26017 with flag 431158/95000
15.38/11.20	c cleaning 13954 clauses out of 28015 with flag 507894/110001
16.88/12.75	c cleaning 15014 clauses out of 30060 with flag 593848/126000
18.76/14.41	c cleaning 16007 clauses out of 32046 with flag 686730/143000
20.76/16.28	c cleaning 17013 clauses out of 34040 with flag 787572/161001
22.88/18.39	c cleaning 18006 clauses out of 36026 with flag 893803/180000
25.04/20.45	c cleaning 18985 clauses out of 38021 with flag 1007951/200001
27.33/22.74	c cleaning 20001 clauses out of 40035 with flag 1129870/221000
29.75/25.16	c cleaning 20978 clauses out of 42035 with flag 1258619/243001
32.33/27.76	c cleaning 21988 clauses out of 44057 with flag 1394066/266001
35.21/30.54	c cleaning 23021 clauses out of 46068 with flag 1538928/290000
38.06/33.54	c cleaning 24017 clauses out of 48047 with flag 1687326/315000
41.30/36.74	c cleaning 24989 clauses out of 50030 with flag 1845663/341000
44.49/39.97	c cleaning 26009 clauses out of 52042 with flag 2011142/368001
48.09/43.52	c cleaning 26950 clauses out of 54033 with flag 2185651/396001
51.51/46.99	c cleaning 28018 clauses out of 56083 with flag 2361872/425001
55.53/50.93	c cleaning 29019 clauses out of 58064 with flag 2548628/455000
59.80/55.15	c cleaning 30015 clauses out of 60045 with flag 2742555/486000
64.09/59.44	c cleaning 30993 clauses out of 62032 with flag 2943070/518002
68.63/64.19	c cleaning 32008 clauses out of 64039 with flag 3149704/551002
73.56/69.06	c cleaning 32982 clauses out of 66031 with flag 3362365/585002
78.44/73.95	c cleaning 34001 clauses out of 68048 with flag 3588520/620001
84.04/79.52	c cleaning 35010 clauses out of 70049 with flag 3814522/656003
89.55/85.02	c cleaning 35982 clauses out of 72036 with flag 4048177/693000
95.45/90.98	c cleaning 37011 clauses out of 74055 with flag 4288897/731001
101.50/97.05	c cleaning 38022 clauses out of 76043 with flag 4536654/770000
107.64/103.19	c cleaning 38951 clauses out of 78022 with flag 4793683/810001
114.14/109.63	c cleaning 40011 clauses out of 80072 with flag 5057955/851002
120.73/116.20	c cleaning 41005 clauses out of 82060 with flag 5330828/893001
127.53/123.02	c cleaning 42018 clauses out of 84054 with flag 5607052/936000
134.81/130.43	c cleaning 42985 clauses out of 86036 with flag 5893716/980000
142.20/137.82	c cleaning 43999 clauses out of 88051 with flag 6183984/1025000
150.09/145.72	c cleaning 44981 clauses out of 90052 with flag 6478231/1071000
158.05/153.65	c cleaning 46020 clauses out of 92072 with flag 6782432/1118001
166.56/162.25	c cleaning 47008 clauses out of 94052 with flag 7091769/1166001
175.04/170.75	c cleaning 47994 clauses out of 96043 with flag 7412005/1215000
183.88/179.51	c cleaning 49008 clauses out of 98050 with flag 7740161/1265001
192.95/188.81	c cleaning 50016 clauses out of 100043 with flag 8068707/1316002
202.52/198.30	c cleaning 50933 clauses out of 102026 with flag 8403258/1368001
212.51/208.23	c cleaning 52023 clauses out of 104092 with flag 8748565/1421000
222.41/218.14	c cleaning 53015 clauses out of 106069 with flag 9096813/1475000
233.46/230.82	c cleaning 54009 clauses out of 108054 with flag 9450074/1530000
242.85/240.27	c cleaning 55004 clauses out of 110046 with flag 9811661/1586001
253.09/250.41	c cleaning 56003 clauses out of 112043 with flag 10181495/1643002
263.51/261.00	c cleaning 56996 clauses out of 114038 with flag 10556403/1701000
274.79/272.26	c cleaning 58011 clauses out of 116042 with flag 10939745/1760000
286.77/284.13	c cleaning 59010 clauses out of 118031 with flag 11325717/1820000
298.66/296.11	c cleaning 59968 clauses out of 120022 with flag 11721661/1881001
311.19/308.53	c cleaning 60996 clauses out of 122053 with flag 12119789/1943000
324.04/321.56	c cleaning 62010 clauses out of 124057 with flag 12525314/2006000
337.29/334.77	c cleaning 62971 clauses out of 126049 with flag 12938984/2070002
351.31/348.86	c cleaning 64000 clauses out of 128076 with flag 13360205/2135000
365.70/363.14	c cleaning 65029 clauses out of 130076 with flag 13783258/2201000
379.86/377.49	c cleaning 65999 clauses out of 132047 with flag 14213971/2268000
394.91/392.40	c cleaning 66993 clauses out of 134049 with flag 14648962/2336001
410.27/407.98	c cleaning 67997 clauses out of 136056 with flag 15093344/2405001
426.13/423.84	c cleaning 69015 clauses out of 138059 with flag 15540232/2475001
442.78/440.46	c cleaning 70007 clauses out of 140045 with flag 16000770/2546002
459.21/456.91	c cleaning 71016 clauses out of 142038 with flag 16467898/2618002
475.91/473.76	c cleaning 71986 clauses out of 144020 with flag 16936453/2691000
493.02/490.97	c cleaning 72998 clauses out of 146034 with flag 17408193/2765000
511.39/509.48	c cleaning 73996 clauses out of 148036 with flag 17891972/2840000
529.42/527.47	c cleaning 74994 clauses out of 150042 with flag 18381309/2916002
547.82/545.84	c cleaning 76003 clauses out of 152047 with flag 18875747/2993001
566.86/564.92	c cleaning 76999 clauses out of 154044 with flag 19372765/3071001
586.19/584.25	c cleaning 78023 clauses out of 156046 with flag 19877142/3150002
606.58/605.04	c cleaning 78987 clauses out of 158021 with flag 20393663/3230000
626.64/625.21	c cleaning 80003 clauses out of 160034 with flag 20908584/3311000
647.12/645.81	c cleaning 81004 clauses out of 162031 with flag 21430827/3393000
667.89/666.82	c cleaning 81956 clauses out of 164028 with flag 21960380/3476001
689.33/688.47	c cleaning 83020 clauses out of 166071 with flag 22497370/3560000
711.11/710.33	c cleaning 84009 clauses out of 168051 with flag 23035758/3645000
733.54/732.94	c cleaning 85012 clauses out of 170043 with flag 23587262/3731001
756.53/756.18	c cleaning 85957 clauses out of 172031 with flag 24143765/3818001
780.15/779.80	c cleaning 87039 clauses out of 174077 with flag 24706625/3906004
804.62/804.31	c cleaning 88008 clauses out of 176035 with flag 25275656/3995001
828.50/828.25	c cleaning 88964 clauses out of 178027 with flag 25855352/4085001
853.84/855.04	c cleaning 90007 clauses out of 180063 with flag 26434165/4176001
879.38/880.67	c cleaning 91021 clauses out of 182056 with flag 27023152/4268001
906.25/907.51	c cleaning 91961 clauses out of 184034 with flag 27613358/4361000
932.37/933.85	c cleaning 93008 clauses out of 186073 with flag 28209719/4455000
959.74/961.42	c cleaning 94023 clauses out of 188066 with flag 28815013/4550001
986.69/988.48	c cleaning 94992 clauses out of 190042 with flag 29427281/4646000
1014.70/1016.53	c cleaning 96004 clauses out of 192051 with flag 30048843/4743001
1043.26/1045.21	c cleaning 96996 clauses out of 194046 with flag 30671185/4841000
1071.60/1073.75	c cleaning 97978 clauses out of 196050 with flag 31300957/4940000
1102.33/1104.79	c cleaning 99000 clauses out of 198074 with flag 31936990/5040002
1132.39/1134.91	c cleaning 99994 clauses out of 200072 with flag 32582192/5141000
1162.70/1165.45	c cleaning 101008 clauses out of 202078 with flag 33234465/5243000
1193.69/1196.59	c cleaning 102000 clauses out of 204070 with flag 33887592/5346000
1225.70/1228.63	c cleaning 103022 clauses out of 206071 with flag 34549676/5450001
1257.78/1260.80	c cleaning 103970 clauses out of 208048 with flag 35218720/5555000
1290.54/1293.85	c cleaning 105025 clauses out of 210079 with flag 35893373/5661001
1323.73/1328.17	c cleaning 105949 clauses out of 212053 with flag 36575626/5768000
1357.58/1362.19	c cleaning 107024 clauses out of 214106 with flag 37261026/5876002
1391.79/1396.44	c cleaning 107980 clauses out of 216081 with flag 37961419/5985001
1426.49/1431.11	c cleaning 108996 clauses out of 218100 with flag 38661877/6095000
1461.69/1466.44	c cleaning 110018 clauses out of 220104 with flag 39368236/6206000
1498.11/1503.10	c cleaning 111026 clauses out of 222088 with flag 40074575/6318002
1535.13/1540.22	c cleaning 112005 clauses out of 224060 with flag 40793946/6431000
1573.00/1579.62	c cleaning 112995 clauses out of 226055 with flag 41514505/6545000
1610.79/1617.66	c cleaning 114010 clauses out of 228061 with flag 42237329/6660001
1649.00/1655.98	c cleaning 115019 clauses out of 230052 with flag 42968537/6776002
1687.76/1694.89	c cleaning 115987 clauses out of 232031 with flag 43711160/6893000
1727.71/1735.10	c cleaning 117009 clauses out of 234046 with flag 44457260/7011002
1768.71/1775.86	c cleaning 118004 clauses out of 236035 with flag 45207375/7130000
1809.70/1817.01	c cleaning 118993 clauses out of 238033 with flag 45968042/7250002
1851.48/1859.00	c cleaning 119980 clauses out of 240038 with flag 46729855/7371000
1893.14/1900.73	c cleaning 121020 clauses out of 242059 with flag 47497395/7493001
1935.73/1943.47	c cleaning 121990 clauses out of 244039 with flag 48268862/7616001
1979.11/1987.08	c cleaning 122999 clauses out of 246048 with flag 49050947/7740000
2023.60/2031.63	c cleaning 123986 clauses out of 248050 with flag 49839450/7865001
2067.84/2076.04	c cleaning 125008 clauses out of 250063 with flag 50633850/7991000
2113.15/2121.46	c cleaning 125966 clauses out of 252055 with flag 51435711/8118000
2159.88/2168.42	c cleaning 127013 clauses out of 254089 with flag 52246297/8246000
2206.96/2215.84	c cleaning 128023 clauses out of 256076 with flag 53059785/8375000
2254.58/2263.83	c cleaning 129008 clauses out of 258053 with flag 53877320/8505000
2303.03/2312.44	c cleaning 129998 clauses out of 260045 with flag 54696085/8636000
2353.20/2365.12	c cleaning 130959 clauses out of 262049 with flag 55529609/8768002
2402.90/2415.05	c cleaning 132036 clauses out of 264089 with flag 56364787/8901001
2453.87/2466.13	c cleaning 133008 clauses out of 266054 with flag 57207495/9035002
2505.27/2523.02	c cleaning 134018 clauses out of 268045 with flag 58056884/9170001
2556.66/2574.87	c cleaning 135004 clauses out of 270026 with flag 58908838/9306000
2608.90/2627.39	c cleaning 135985 clauses out of 272024 with flag 59766167/9443002
2662.04/2680.76	c cleaning 136975 clauses out of 274038 with flag 60629994/9581001
2716.53/2735.46	c cleaning 138016 clauses out of 276062 with flag 61500735/9720000
2771.92/2790.98	c cleaning 139003 clauses out of 278046 with flag 62378703/9860000
2827.41/2846.40	c cleaning 139999 clauses out of 280043 with flag 63260801/10001000
2883.61/2902.76	c cleaning 140995 clauses out of 282045 with flag 64146973/10143001
2940.78/2960.09	c cleaning 141994 clauses out of 284049 with flag 65044380/10286000
2998.37/3017.75	c cleaning 143013 clauses out of 286056 with flag 65945218/10430001
3057.14/3076.92	c cleaning 143943 clauses out of 288042 with flag 66855255/10575000
3116.15/3136.31	c cleaning 145005 clauses out of 290100 with flag 67771541/10721001
3176.12/3196.56	c cleaning 145995 clauses out of 292095 with flag 68692993/10868001
3236.75/3257.54	c cleaning 147039 clauses out of 294100 with flag 69610209/11016001
3298.33/3319.41	c cleaning 148009 clauses out of 296060 with flag 70539299/11165000
3360.58/3381.83	c cleaning 149023 clauses out of 298052 with flag 71480519/11315001
3424.50/3446.00	c cleaning 149958 clauses out of 300028 with flag 72422262/11466000
3489.73/3511.47	c cleaning 151013 clauses out of 302074 with flag 73370099/11618004
3554.07/3575.92	c cleaning 151964 clauses out of 304059 with flag 74326188/11771002
3600.08/3622.05	c starts		: 104280
3600.08/3622.05	c conflicts		: 11888639
3600.08/3622.05	c decisions		: 117785939
3600.08/3622.05	c propagations		: 1621295856
3600.08/3622.05	c inspects		: 34319093767
3600.08/3622.05	c shortcuts		: 0
3600.08/3622.05	c learnt literals	: 2
3600.08/3622.05	c learnt binary clauses	: 48
3600.08/3622.05	c learnt ternary clauses	: 719
3600.08/3622.05	c learnt constraints	: 11888637
3600.08/3622.05	c ignored constraints	: 0
3600.08/3622.05	c root simplifications	: 0
3600.08/3622.05	c removed literals (reason simplification)	: 9225800
3600.08/3622.05	c reason swapping (by a shorter reason)	: 0
3600.08/3622.05	c Calls to reduceDB	: 149
3600.08/3622.05	c Number of update (reduction) of LBD	: 2501249
3600.08/3622.05	c Imported unit clauses	: 0
3600.08/3622.05	c No decision after first conflict	: false
3600.08/3622.05	c number of reductions to clauses (during analyze)	: 0
3600.08/3622.05	c number of learned constraints concerned by reduction	: 0
3600.08/3622.05	c number of learning phase by resolution	: 0
3600.08/3622.05	c number of learning phase by cutting planes	: 0
3600.08/3622.05	c number of rounding to 1 operations	: 0
3600.08/3622.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3622.06	c number of reductions of the coefficients by power 2 	: 0
3600.08/3622.06	c number of right shift for reduction by power 2 	: 0
3600.08/3622.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3622.06	c number of ending skipping 	: 0
3600.08/3622.06	c number of internal skipping 	: 0
3600.08/3622.06	c number of derivation steps 	: 0
3600.08/3622.06	c number of skipped derivation steps 	: 0
3600.08/3622.06	c number of remaining unassigned 	: 0
3600.08/3622.06	c number of remaining assigned 	: 0
3600.08/3622.06	c number of falsified literals weakened from reason	: 0
3600.08/3622.06	c number of falsified literals weakened from conflict	: 0
3600.08/3622.06	c time for arithmetic operations	: 0
3600.08/3622.06	c minimum degree of deleted constraints	: null
3600.08/3622.06	c maximum degree of deleted constraints	: null
3600.08/3622.06	c number of deleted constraints	: 0
3600.08/3622.08	c speed (assignments/second)	: 447686.7725381997
3600.08/3622.08	c non guided choices	: 25405
3600.08/3622.08	c timeout
3600.32/3622.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 269684
3600.32/3622.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 48
3600.32/3622.20	s UNKNOWN
3600.32/3622.20	c Total wall clock time (in seconds): 3621.958

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: 64096 MiB (58134 MiB free)
  memory of node 1: 64473 MiB (27892 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=184224, runsolver pid=184221

[startup+0.105664 s]*
/proc/loadavg: 4.18 4.36 4.34 7/324 184242
/proc/meminfo: memFree=88054648/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=18975048 memory=56112 CPUtime=0.13 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 6549 0 0 0 10 3 0 0 20 0 18 0 18807738 19430449152 14028 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4743762 14028 5587 1 0 550876 0
[pid=184224/tid=184226] ppid=184221 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 5479 0 0 0 6 3 0 0 20 0 18 0 18807739 19430449152 14028 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18807744 19430449152 14028 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18807745 19430449152 14028 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56112 KiB

[startup+0.214409 s]*
/proc/loadavg: 4.18 4.36 4.34 7/324 184242
/proc/meminfo: memFree=88044148/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=18975048 memory=66340 CPUtime=0.37 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 7455 0 0 0 32 5 0 0 20 0 18 0 18807738 19430449152 16585 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4743762 16585 5754 1 0 551618 0
[pid=184224/tid=184226] ppid=184221 vsize=18975048 memory=4782652875487838339 CPUtime=0.22 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 5915 0 0 0 18 4 0 0 20 0 18 0 18807739 19430449152 16585 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=18975048 memory=880909 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18807744 19430449152 16585 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18807745 19430449152 16585 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66340 KiB

[startup+0.351048 s]*
/proc/loadavg: 4.40 4.40 4.35 7/324 184242
/proc/meminfo: memFree=88039168/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=18975048 memory=70872 CPUtime=0.57 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 7565 0 0 0 52 5 0 0 20 0 18 0 18807738 19430449152 17718 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4743762 17718 5754 1 0 551670 0
[pid=184224/tid=184226] ppid=184221 vsize=18975048 memory=-9104985869262824124 CPUtime=0.32 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 5955 0 0 0 28 4 0 0 20 0 18 0 18807739 19430449152 17718 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18807744 19430449152 17718 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18807745 19430449152 17718 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70872 KiB

[startup+0.70447 s]
/proc/loadavg: 4.40 4.40 4.35 7/324 184242
/proc/meminfo: memFree=88017964/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19041612 memory=102764 CPUtime=1.21 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 9360 0 0 0 115 6 0 0 20 0 19 0 18807738 19498610688 25691 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4760403 25691 5823 1 0 553098 0
[pid=184224/tid=184226] ppid=184221 vsize=19041612 memory=5572 CPUtime=0.65 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 6068 0 0 0 61 4 0 0 20 0 19 0 18807739 19498610688 25691 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19041612 memory=11652 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18807744 19498610688 25691 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18807745 19498610688 25691 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102764 KiB

[startup+1.50903 s]
/proc/loadavg: 4.40 4.40 4.35 6/325 184243
/proc/meminfo: memFree=87978736/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=180484 CPUtime=2.8 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 16940 0 0 0 270 10 0 0 20 0 20 0 18807738 19566772224 45121 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 45121 5846 1 0 556048 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=11652 CPUtime=1.43 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 6717 0 0 0 137 6 0 0 20 0 20 0 18807739 19566772224 45121 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 45121 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 45121 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 45121 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180484 KiB

[startup+3.10608 s]
/proc/loadavg: 4.40 4.40 4.35 6/326 184244
/proc/meminfo: memFree=87858032/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=193108 CPUtime=5.88 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 21415 0 0 0 576 12 0 0 20 0 20 0 18807738 19566772224 48277 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 48277 5846 1 0 557921 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=0 CPUtime=2.99 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 7610 0 0 0 292 7 0 0 20 0 20 0 18807739 19566772224 48277 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=13560 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 48277 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 48277 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 48277 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193108 KiB

[startup+6.30034 s]
/proc/loadavg: 4.45 4.41 4.36 5/326 184244
/proc/meminfo: memFree=87597140/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=448440 CPUtime=10.44 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 28266 0 0 0 1025 19 0 0 20 0 20 0 18807738 19566772224 112110 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 112110 5846 1 0 558087 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=0 CPUtime=6.15 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 8639 0 0 0 602 13 0 0 20 0 20 0 18807739 19566772224 112110 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 112110 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=13560 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 112110 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=68272 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 112110 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 448440 KiB

[startup+12.7004 s]
/proc/loadavg: 4.41 4.40 4.35 5/326 184246
/proc/meminfo: memFree=87115892/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=772188 CPUtime=16.88 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 30810 0 0 0 1660 28 0 0 20 0 20 0 18807738 19566772224 193047 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 193047 5862 1 0 558087 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=108112 CPUtime=12.5 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 9676 0 0 0 1229 21 0 0 20 0 20 0 18807739 19566772224 193047 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=772160 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 193047 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=193108 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 193047 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 193047 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 16.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 772188 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 4.39 4.35 5/327 184248
/proc/meminfo: memFree=86282628/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=1349844 CPUtime=30.13 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 39447 0 0 0 2966 47 0 0 20 0 20 0 18807738 19566772224 337461 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 337461 5862 1 0 558087 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=772160 CPUtime=25.08 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 11110 0 0 0 2470 38 0 0 20 0 20 0 18807739 19566772224 337461 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=1341644 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 337461 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 337461 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=6656426216303648864 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 337461 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 30.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1349844 KiB

[startup+51.1143 s]
/proc/loadavg: 4.34 4.38 4.35 6/327 184253
/proc/meminfo: memFree=85843440/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=1409608 CPUtime=55.82 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 43968 0 0 0 5522 60 0 0 20 0 20 0 18807738 19566772224 352402 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 352402 5862 1 0 558087 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=1391104 CPUtime=50.24 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 12546 0 0 0 4976 48 0 0 20 0 20 0 18807739 19566772224 352402 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=1391104 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 352402 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=13560 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 352402 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0

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

[startup+3282.3 s]
/proc/loadavg: 3.20 3.74 4.05 4/299 186263
/proc/meminfo: memFree=102379160/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198548 CPUtime=3261.36 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 164301 0 0 0 325260 876 0 0 20 0 20 0 18807738 19566772224 549637 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549637 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=2198548 CPUtime=3230.32 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 73031 0 0 0 322340 692 0 0 20 0 20 0 18807739 19566772224 549637 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2523 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=2198548 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549637 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3442 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549637 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=13560 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549637 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3261.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198548 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.63 3.99 4/299 186275
/proc/meminfo: memFree=102125380/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198556 CPUtime=3321.14 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 166322 0 0 0 331224 890 0 0 20 0 20 0 18807738 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549639 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=2198548 CPUtime=3289.82 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 74175 0 0 0 328281 701 0 0 20 0 20 0 18807739 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2538 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=68488 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=2198556 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3567 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=68488 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3321.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198556 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.53 3.93 4/298 186285
/proc/meminfo: memFree=101873560/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198556 CPUtime=3381.01 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 168608 0 0 0 337199 902 0 0 20 0 20 0 18807738 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549639 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=68488 CPUtime=3349.37 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 75552 0 0 0 334226 711 0 0 20 0 20 0 18807739 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2544 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=2198556 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=2198556 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3591 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=-9104985869262824124 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549639 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3381.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198556 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.45 3.88 4/298 186298
/proc/meminfo: memFree=101626876/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198560 CPUtime=3440.77 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 170959 0 0 0 343161 916 0 0 20 0 20 0 18807738 19566772224 549640 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549640 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=68488 CPUtime=3408.8 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 76914 0 0 0 340159 721 0 0 20 0 20 0 18807739 19566772224 549640 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2549 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=2198556 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549640 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=2198560 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3629 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549640 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=2198560 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549640 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3440.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198560 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.39 3.83 4/298 186309
/proc/meminfo: memFree=101398736/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198568 CPUtime=3500.61 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 174136 0 0 0 349131 930 0 0 20 0 20 0 18807738 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549642 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=68488 CPUtime=3468.21 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 78220 0 0 0 346088 733 0 0 20 0 20 0 18807739 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2566 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=2198560 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=2198568 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3682 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=2198568 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3500.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198568 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.34 3.78 4/297 186321
/proc/meminfo: memFree=101162332/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198568 CPUtime=3560.46 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 176613 0 0 0 355103 943 0 0 20 0 20 0 18807738 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549642 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=68488 CPUtime=3527.73 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 79629 0 0 0 352030 743 0 0 20 0 20 0 18807739 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2582 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=2198568 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3738 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=13560 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549642 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3560.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622 s]*
/proc/loadavg: 3.18 3.32 3.76 4/297 186328
/proc/meminfo: memFree=101013676/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19108176 memory=2198576 CPUtime=3600.08 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 178549 0 0 0 359055 953 0 0 20 0 20 0 18807738 19566772224 549644 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4777044 549644 5862 1 0 561966 0
[pid=184224/tid=184226] ppid=184221 vsize=19108176 memory=-8526551493587542716 CPUtime=3567.07 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) R 184221 184224 176776 0 -1 4194368 80449 0 0 0 355956 751 0 0 20 0 20 0 18807739 19566772224 549644 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2590 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19108176 memory=-7304414900215242110 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18807744 19566772224 549644 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19108176 memory=4880 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3794 0 0 0 0 0 0 0 20 0 20 0 18807745 19566772224 549644 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184243] ppid=184221 vsize=19108176 memory=2198568 CPUtime=0 cores=4,6
/proc/184224/task/184243/stat : 184243 (Timer-0) S 184221 184224 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18807795 19566772224 549644 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198576 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.8 s, system=9.56257 s

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

[startup+3622.2 s]
/proc/loadavg: 3.18 3.32 3.76 4/297 186328
/proc/meminfo: memFree=101013676/131655788 swapFree=131071472/131071996
[pid=184224] ppid=184221 vsize=19307868 memory=2199524 CPUtime=3600.32 cores=4,6
/proc/184224/stat : 184224 (java) S 184221 184224 176776 0 -1 1077936128 181912 0 0 0 359078 954 0 0 20 0 21 0 18807738 19771256832 549881 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
/proc/184224/statm: 4826967 549881 5861 1 0 562901 0
[pid=184224/tid=184226] ppid=184221 vsize=19307868 memory=4912 CPUtime=3567.11 cores=4,6
/proc/184224/task/184226/stat : 184226 (java) S 184221 184224 176776 0 -1 1077936192 80739 0 0 0 355960 751 0 0 20 0 21 0 18807739 19771256832 549881 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2594 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184235] ppid=184221 vsize=19307868 memory=2196588 CPUtime=0 cores=4,6
/proc/184224/task/184235/stat : 184235 (Finalizer) S 184221 184224 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18807744 19771256832 549881 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
[pid=184224/tid=184242] ppid=184221 vsize=19307868 memory=2804 CPUtime=0 cores=4,6
/proc/184224/task/184242/stat : 184242 (Common-Cleaner) S 184221 184224 176776 0 -1 1077936192 3794 0 0 0 0 0 0 0 20 0 21 0 18807745 19771256832 549881 134679101440 94496919076864 94496919080560 140721545957760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94496919088376 94496919089168 94496931438592 140721545962411 140721545962593 140721545962593 140721545969608 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2199524 KiB

Child status: 143

Real time (s): 3622.22
CPU time (s): 3600.36
CPU user time (s): 3590.8
CPU system time (s): 9.56257
CPU usage (%): 99.3965
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2199524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.8
system time used= 9.56257
maximum resident set size= 2200620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10032880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113563
involuntary context switches= 9781


# summary of solver processes directly reported to runsolver:
#   pid: 184224
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3590.8
#   total CPU system time (s): 9.56257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2888 second user time and 39.9513 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-24 15:36:28
IDJOB=4450672
IDBENCH=162192
IDSOLVER=3079
FILE ID=nodeC004/4450672-1721828188
RUNJOBID= nodeC004-1721820325-176943
SLURM_JOB_ID= 7891447
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.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-4450672-1721828188/watcher-4450672-1721828188 -o /tmp/evaluation-result-4450672-1721828188/solver-4450672-1721828188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176943 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450672-1721828188 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450672-1721828188.opb

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

MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=799964272

nodeC004.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		: 3665.937
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	: 6984.13
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		: 3629.932
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        88091576 kB
MemAvailable:   109463780 kB
Buffers:          255968 kB
Cached:         21898364 kB
SwapCached:           60 kB
Active:          2564212 kB
Inactive:       40292252 kB
Active(anon):       1436 kB
Inactive(anon): 20754684 kB
Active(file):    2562776 kB
Inactive(file): 19537568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            239036 kB
Writeback:           108 kB
AnonPages:      20699844 kB
Mapped:           134740 kB
Shmem:             53860 kB
KReclaimable:     224116 kB
Slab:             345076 kB
SReclaimable:     224116 kB
SUnreclaim:       120960 kB
KernelStack:        4960 kB
PageTables:        50728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22151648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20230144 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC004 at 2024-07-24 16:36:50