Trace number 4450762

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.28 3619.14

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-1.opb
MD5SUM24b841e180e6c10fba8d79de5f0eab8c
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 benchmark6.02162
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7936
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints832
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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.15	c version CUSTOM.v20240707
0.13/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.17	c java.vm.version	22.0.1+8-16
0.13/0.17	c java.vm.vendor	Oracle Corporation
0.13/0.17	c sun.arch.data.model	64
0.13/0.17	c java.version		22.0.1
0.13/0.17	c os.name		Linux
0.13/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.17	c os.arch		amd64
0.13/0.18	c Free memory 		2113181440
0.13/0.18	c Max memory 		16282288128
0.13/0.18	c Total memory 		2122317824
0.13/0.18	c Number of processors 	2
0.30/0.27	--- Begin Solver configuration ---
0.30/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.27	Learn all clauses as in MiniSAT
0.30/0.27	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.27	Expensive reason simplification
0.30/0.27	Glucose 2.1 dynamic restart strategy
0.30/0.27	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.30/0.27	timeout=2147483s
0.30/0.27	DB Simplification allowed=false
0.30/0.27	Listener: none
0.30/0.27	--- End Solver configuration ---
0.30/0.27	c Pseudo Boolean Optimization by upper bound
0.30/0.27	c --- Begin Solver configuration ---
0.30/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.27	c Learn all clauses as in MiniSAT
0.30/0.27	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.27	c Expensive reason simplification
0.30/0.27	c Glucose 2.1 dynamic restart strategy
0.30/0.27	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.30/0.27	c timeout=2147483s
0.30/0.27	c DB Simplification allowed=false
0.30/0.27	c Listener: none
0.30/0.27	c --- End Solver configuration ---
0.30/0.27	c solving HOME/instance-4450762-1721828323.opb
0.30/0.27	c reading problem ... 
0.30/0.29	c using VERIPB proof format
0.30/0.29	c  no objective function found
0.83/0.55	c ... done. Wall clock time 0.282s.
0.83/0.55	c declared #vars     3968
0.83/0.55	c #constraints  9216
0.83/0.55	c constraints type 
0.83/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.83/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
0.83/0.55	c org.sat4j.specs.Constr$1 => 936
0.83/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5952
0.83/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
0.83/0.55	c 9216 constraints processed.
2.96/1.68	c cleaning 2491 clauses out of 4999 with flag 15372/5001
4.36/2.32	c cleaning 4249 clauses out of 8507 with flag 36642/11000
5.35/2.93	c cleaning 5621 clauses out of 11258 with flag 63491/18000
6.26/3.66	c cleaning 6805 clauses out of 13637 with flag 97923/26000
7.45/4.45	c cleaning 7909 clauses out of 15833 with flag 138454/35001
8.50/5.33	c cleaning 8954 clauses out of 17923 with flag 185678/45000
9.91/6.78	c cleaning 9976 clauses out of 19969 with flag 239732/56000
11.45/8.22	c cleaning 10973 clauses out of 21993 with flag 298790/68000
12.75/9.57	c cleaning 12001 clauses out of 24020 with flag 365084/81000
14.16/10.99	c cleaning 12987 clauses out of 26020 with flag 437480/95001
15.87/12.63	c cleaning 14012 clauses out of 28032 with flag 516349/110000
17.46/14.28	c cleaning 15005 clauses out of 30020 with flag 603106/126000
19.58/16.08	c cleaning 15996 clauses out of 32015 with flag 697393/143000
22.22/18.05	c cleaning 17007 clauses out of 34019 with flag 798350/161000
24.51/20.24	c cleaning 17964 clauses out of 36014 with flag 906266/180002
26.71/22.45	c cleaning 19002 clauses out of 38048 with flag 1024496/200000
29.11/24.87	c cleaning 20007 clauses out of 40046 with flag 1149247/221000
31.80/27.45	c cleaning 21020 clauses out of 42039 with flag 1279980/243000
34.60/30.23	c cleaning 22006 clauses out of 44020 with flag 1417902/266001
37.50/33.13	c cleaning 22984 clauses out of 46013 with flag 1563186/290000
40.51/36.35	c cleaning 23997 clauses out of 48030 with flag 1718214/315001
43.80/39.62	c cleaning 25006 clauses out of 50032 with flag 1875604/341000
47.21/43.10	c cleaning 25994 clauses out of 52026 with flag 2041025/368000
50.79/46.66	c cleaning 27005 clauses out of 54032 with flag 2210878/396000
54.48/50.36	c cleaning 27998 clauses out of 56027 with flag 2388474/425000
58.48/54.36	c cleaning 28999 clauses out of 58030 with flag 2573354/455001
62.67/58.50	c cleaning 29986 clauses out of 60032 with flag 2763283/486002
67.16/63.07	c cleaning 30972 clauses out of 62044 with flag 2960018/518000
71.87/68.30	c cleaning 31998 clauses out of 64073 with flag 3160957/551001
76.46/72.99	c cleaning 33038 clauses out of 66075 with flag 3370165/585001
81.56/78.05	c cleaning 34014 clauses out of 68037 with flag 3586522/620001
86.84/83.38	c cleaning 34980 clauses out of 70022 with flag 3809803/656000
92.43/88.94	c cleaning 35992 clauses out of 72042 with flag 4040089/693000
98.24/94.80	c cleaning 37015 clauses out of 74050 with flag 4276440/731000
104.94/102.07	c cleaning 37975 clauses out of 76036 with flag 4522468/770001
111.11/108.24	c cleaning 38997 clauses out of 78061 with flag 4777759/810001
117.60/114.71	c cleaning 40005 clauses out of 80063 with flag 5037054/851000
124.29/121.43	c cleaning 41007 clauses out of 82060 with flag 5301600/893002
131.95/131.03	c cleaning 41974 clauses out of 84052 with flag 5576541/936001
139.16/138.22	c cleaning 43011 clauses out of 86077 with flag 5858966/980000
146.45/145.59	c cleaning 43987 clauses out of 88069 with flag 6144539/1025003
154.12/153.28	c cleaning 45019 clauses out of 90079 with flag 6441632/1071000
162.21/161.32	c cleaning 46012 clauses out of 92060 with flag 6741990/1118000
170.41/169.84	c cleaning 47015 clauses out of 94048 with flag 7050467/1166000
178.94/178.33	c cleaning 48008 clauses out of 96033 with flag 7370161/1215000
187.73/187.13	c cleaning 48996 clauses out of 98025 with flag 7692569/1265000
196.92/196.77	c cleaning 49994 clauses out of 100029 with flag 8023588/1316000
206.51/206.30	c cleaning 51013 clauses out of 102035 with flag 8358989/1368000
215.99/215.84	c cleaning 52003 clauses out of 104023 with flag 8701578/1421001
226.21/226.41	c cleaning 52982 clauses out of 106019 with flag 9052083/1475000
236.52/236.71	c cleaning 53985 clauses out of 108038 with flag 9410278/1530001
247.35/247.52	c cleaning 55001 clauses out of 110052 with flag 9774096/1586000
258.24/258.79	c cleaning 55986 clauses out of 112054 with flag 10146553/1643003
269.72/270.26	c cleaning 57021 clauses out of 114066 with flag 10521809/1701001
281.65/282.17	c cleaning 57982 clauses out of 116044 with flag 10905763/1760000
294.00/294.66	c cleaning 59013 clauses out of 118063 with flag 11300615/1820001
307.00/307.64	c cleaning 60022 clauses out of 120050 with flag 11696142/1881001
320.49/321.22	c cleaning 60997 clauses out of 122027 with flag 12103007/1943000
333.77/334.53	c cleaning 62002 clauses out of 124030 with flag 12517459/2006000
347.93/348.82	c cleaning 62980 clauses out of 126028 with flag 12935815/2070000
361.83/362.75	c cleaning 64015 clauses out of 128049 with flag 13358952/2135001
377.01/378.07	c cleaning 64965 clauses out of 130033 with flag 13790915/2201000
392.15/393.18	c cleaning 66029 clauses out of 132069 with flag 14234924/2268001
407.90/408.91	c cleaning 67011 clauses out of 134039 with flag 14682808/2336000
423.90/424.96	c cleaning 68015 clauses out of 136029 with flag 15136984/2405001
440.64/441.96	c cleaning 68982 clauses out of 138014 with flag 15595833/2475001
457.39/458.68	c cleaning 69986 clauses out of 140031 with flag 16060657/2546000
474.75/476.19	c cleaning 71021 clauses out of 142046 with flag 16535851/2618001
492.38/493.78	c cleaning 71989 clauses out of 144024 with flag 17016330/2691000
510.30/511.86	c cleaning 73002 clauses out of 146035 with flag 17501597/2765000
528.73/530.22	c cleaning 74009 clauses out of 148033 with flag 17997465/2840000
547.48/549.39	c cleaning 74982 clauses out of 150024 with flag 18496872/2916000
566.98/568.94	c cleaning 75977 clauses out of 152042 with flag 19003056/2993000
586.89/588.83	c cleaning 77016 clauses out of 154065 with flag 19515693/3071000
607.58/609.64	c cleaning 77987 clauses out of 156049 with flag 20034042/3150000
628.22/630.49	c cleaning 78988 clauses out of 158062 with flag 20560821/3230000
649.11/651.30	c cleaning 80016 clauses out of 160075 with flag 21095100/3311001
670.31/672.73	c cleaning 81014 clauses out of 162058 with flag 21636332/3393000
692.46/694.95	c cleaning 82002 clauses out of 164044 with flag 22184610/3476000
715.11/717.85	c cleaning 83013 clauses out of 166043 with flag 22735935/3560001
738.19/740.93	c cleaning 83973 clauses out of 168030 with flag 23293485/3645001
761.92/764.74	c cleaning 85017 clauses out of 170056 with flag 23855261/3731000
786.17/789.16	c cleaning 86000 clauses out of 172039 with flag 24432652/3818000
811.07/814.03	c cleaning 87016 clauses out of 174039 with flag 25015024/3906000
836.07/839.09	c cleaning 87992 clauses out of 176024 with flag 25601810/3995001
861.23/864.11	c cleaning 89007 clauses out of 178031 with flag 26197266/4085000
886.97/890.00	c cleaning 89988 clauses out of 180024 with flag 26799604/4176000
913.57/916.51	c cleaning 91002 clauses out of 182036 with flag 27408499/4268000
940.62/943.61	c cleaning 91981 clauses out of 184035 with flag 28024418/4361001
968.35/972.71	c cleaning 92990 clauses out of 186054 with flag 28641187/4455001
996.32/1000.71	c cleaning 94017 clauses out of 188063 with flag 29271278/4550000
1024.46/1029.00	c cleaning 95024 clauses out of 190047 with flag 29903426/4646001
1054.50/1059.04	c cleaning 95965 clauses out of 192022 with flag 30541493/4743000
1084.26/1089.18	c cleaning 97017 clauses out of 194057 with flag 31185913/4841000
1114.03/1119.01	c cleaning 98000 clauses out of 196040 with flag 31836416/4940000
1143.84/1148.99	c cleaning 98994 clauses out of 198040 with flag 32492997/5040000
1175.40/1180.48	c cleaning 99992 clauses out of 200046 with flag 33154540/5141000
1207.24/1212.22	c cleaning 100991 clauses out of 202055 with flag 33828964/5243001
1239.67/1244.79	c cleaning 102011 clauses out of 204064 with flag 34504928/5346001
1272.85/1277.94	c cleaning 103004 clauses out of 206052 with flag 35186832/5450000
1306.06/1311.28	c cleaning 104017 clauses out of 208048 with flag 35873071/5555000
1340.23/1345.40	c cleaning 104999 clauses out of 210031 with flag 36572509/5661000
1374.86/1380.18	c cleaning 105979 clauses out of 212034 with flag 37278360/5768002
1410.45/1415.83	c cleaning 107010 clauses out of 214053 with flag 37984299/5876000
1446.92/1452.38	c cleaning 108004 clauses out of 216044 with flag 38697121/5985001
1483.43/1488.91	c cleaning 108992 clauses out of 218040 with flag 39422001/6095001
1520.24/1525.77	c cleaning 110015 clauses out of 220047 with flag 40151231/6206000
1557.70/1563.33	c cleaning 111004 clauses out of 222032 with flag 40885260/6318000
1596.21/1602.01	c cleaning 111986 clauses out of 224030 with flag 41619834/6431002
1635.60/1641.69	c cleaning 112998 clauses out of 226042 with flag 42367784/6545000
1675.26/1681.45	c cleaning 114013 clauses out of 228045 with flag 43119666/6660001
1715.47/1721.98	c cleaning 115003 clauses out of 230031 with flag 43879347/6776000
1757.02/1763.76	c cleaning 115993 clauses out of 232028 with flag 44640880/6893000
1798.72/1805.72	c cleaning 116972 clauses out of 234035 with flag 45411760/7011000
1842.37/1849.29	c cleaning 118002 clauses out of 236063 with flag 46188332/7130000
1885.70/1892.68	c cleaning 119013 clauses out of 238061 with flag 46968182/7250000
1929.17/1936.06	c cleaning 120005 clauses out of 240048 with flag 47755288/7371000
1972.78/1979.90	c cleaning 120975 clauses out of 242043 with flag 48553858/7493000
2017.38/2024.69	c cleaning 122014 clauses out of 244068 with flag 49357717/7616000
2062.91/2070.21	c cleaning 123006 clauses out of 246054 with flag 50164462/7740000
2109.34/2116.65	c cleaning 124003 clauses out of 248048 with flag 50976078/7865000
2156.62/2164.08	c cleaning 125010 clauses out of 250045 with flag 51792474/7991000
2204.40/2211.98	c cleaning 126016 clauses out of 252035 with flag 52614191/8118000
2252.64/2260.24	c cleaning 126982 clauses out of 254019 with flag 53449482/8246000
2300.76/2308.30	c cleaning 128005 clauses out of 256037 with flag 54287222/8375000
2351.24/2364.37	c cleaning 128996 clauses out of 258032 with flag 55124619/8505000
2400.80/2414.11	c cleaning 130009 clauses out of 260036 with flag 55973106/8636000
2451.52/2464.96	c cleaning 131008 clauses out of 262027 with flag 56828561/8768000
2503.28/2517.03	c cleaning 131990 clauses out of 264021 with flag 57685407/8901002
2555.99/2569.84	c cleaning 133003 clauses out of 266029 with flag 58550154/9035000
2609.39/2623.34	c cleaning 133994 clauses out of 268027 with flag 59416669/9170001
2662.93/2676.86	c cleaning 135004 clauses out of 270032 with flag 60302336/9306000
2718.61/2732.44	c cleaning 136006 clauses out of 272028 with flag 61190877/9443000
2773.40/2787.45	c cleaning 136999 clauses out of 274022 with flag 62079758/9581000
2829.24/2843.59	c cleaning 137988 clauses out of 276024 with flag 62981381/9720001
2885.97/2900.39	c cleaning 139008 clauses out of 278035 with flag 63882464/9860000
2943.12/2958.01	c cleaning 139998 clauses out of 280027 with flag 64788406/10001000
3001.19/3016.53	c cleaning 140996 clauses out of 282029 with flag 65705574/10143000
3059.79/3075.49	c cleaning 142010 clauses out of 284033 with flag 66624975/10286000
3119.20/3135.10	c cleaning 142989 clauses out of 286023 with flag 67556654/10430000
3175.81/3191.68	c cleaning 143986 clauses out of 288035 with flag 68495409/10575001
3229.68/3246.59	c cleaning 145025 clauses out of 290050 with flag 69439626/10721002
3282.96/3299.87	c cleaning 146005 clauses out of 292024 with flag 70383147/10868001
3337.56/3354.59	c cleaning 146968 clauses out of 294018 with flag 71327510/11016000
3393.02/3410.07	c cleaning 147995 clauses out of 296051 with flag 72282256/11165001
3450.11/3468.36	c cleaning 149017 clauses out of 298055 with flag 73238978/11315000
3507.02/3525.92	c cleaning 150000 clauses out of 300038 with flag 74206200/11466000
3564.98/3583.91	c cleaning 150995 clauses out of 302038 with flag 75184605/11618000
3600.04/3619.04	c timeout
3600.04/3619.05	c starts		: 112436
3600.04/3619.06	c conflicts		: 11721265
3600.04/3619.06	c decisions		: 93656268
3600.04/3619.06	c propagations		: 1509882190
3600.04/3619.06	c inspects		: 37003939334
3600.04/3619.06	c shortcuts		: 0
3600.04/3619.06	c learnt literals	: 2
3600.04/3619.06	c learnt binary clauses	: 73
3600.04/3619.06	c learnt ternary clauses	: 967
3600.04/3619.06	c learnt constraints	: 11721263
3600.04/3619.06	c ignored constraints	: 0
3600.04/3619.06	c root simplifications	: 0
3600.04/3619.06	c removed literals (reason simplification)	: 14118363
3600.04/3619.06	c reason swapping (by a shorter reason)	: 0
3600.04/3619.06	c Calls to reduceDB	: 148
3600.04/3619.06	c Number of update (reduction) of LBD	: 2493827
3600.04/3619.06	c Imported unit clauses	: 0
3600.04/3619.06	c No decision after first conflict	: false
3600.04/3619.06	c number of reductions to clauses (during analyze)	: 0
3600.04/3619.06	c number of learned constraints concerned by reduction	: 0
3600.04/3619.06	c number of learning phase by resolution	: 0
3600.04/3619.06	c number of learning phase by cutting planes	: 0
3600.04/3619.06	c number of rounding to 1 operations	: 0
3600.04/3619.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3619.06	c number of reductions of the coefficients by power 2 	: 0
3600.04/3619.06	c number of right shift for reduction by power 2 	: 0
3600.04/3619.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3619.06	c number of ending skipping 	: 0
3600.04/3619.06	c number of internal skipping 	: 0
3600.04/3619.06	c number of derivation steps 	: 0
3600.04/3619.06	c number of skipped derivation steps 	: 0
3600.04/3619.06	c number of remaining unassigned 	: 0
3600.04/3619.06	c number of remaining assigned 	: 0
3600.04/3619.06	c number of falsified literals weakened from reason	: 0
3600.04/3619.06	c number of falsified literals weakened from conflict	: 0
3600.04/3619.06	c time for arithmetic operations	: 0
3600.04/3619.06	c minimum degree of deleted constraints	: null
3600.04/3619.06	c maximum degree of deleted constraints	: null
3600.04/3619.06	c number of deleted constraints	: 0
3600.04/3619.06	c speed (assignments/second)	: 417268.4663303018
3600.04/3619.06	c non guided choices	: 15110
3600.24/3619.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 254235
3600.24/3619.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 73
3600.24/3619.12	s UNKNOWN
3600.24/3619.12	c Total wall clock time (in seconds): 3618.858

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450762-1721828323/watcher-4450762-1721828323 -o /tmp/evaluation-result-4450762-1721828323/solver-4450762-1721828323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187249 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4450762-1721828323 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450762-1721828323.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
solver pid=193135, runsolver pid=193132
Current StackSize limit: 8192 KiB


[startup+0.101615 s]*
/proc/loadavg: 4.36 4.45 4.41 6/327 193153
/proc/meminfo: memFree=96389420/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=18975048 memory=57244 CPUtime=0.13 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 6380 0 0 0 10 3 0 0 20 0 18 0 18821103 19430449152 14311 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4743762 14311 5559 1 0 550811 0
[pid=193135/tid=193137] ppid=193132 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 5327 0 0 0 6 2 0 0 20 0 18 0 18821104 19430449152 14311 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18821109 19430449152 14311 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=18975048 memory=3834591019379458080 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18821110 19430449152 14311 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57244 KiB

[startup+0.213459 s]*
/proc/loadavg: 4.36 4.45 4.41 7/327 193153
/proc/meminfo: memFree=96377928/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=18975048 memory=66268 CPUtime=0.3 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 7138 0 0 0 27 3 0 0 20 0 18 0 18821103 19430449152 16567 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4743762 16567 5566 1 0 551425 0
[pid=193135/tid=193137] ppid=193132 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 1077936192 5702 0 0 0 15 3 0 0 20 0 18 0 18821104 19430449152 16567 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=18975048 memory=1361999 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18821109 19430449152 16567 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18821110 19430449152 16567 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66268 KiB

[startup+0.31268 s]*
/proc/loadavg: 4.36 4.45 4.41 9/327 193153
/proc/meminfo: memFree=96375872/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=18975048 memory=67988 CPUtime=0.46 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 7409 0 0 0 42 4 0 0 20 0 18 0 18821103 19430449152 16997 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4743762 16997 5705 1 0 551632 0
[pid=193135/tid=193137] ppid=193132 vsize=18975048 memory=-9032647904038003388 CPUtime=0.25 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 1077936192 5855 0 0 0 22 3 0 0 20 0 18 0 18821104 19430449152 16997 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18821109 19430449152 16997 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18821110 19430449152 16997 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67988 KiB

[startup+0.700718 s]
/proc/loadavg: 4.36 4.45 4.41 7/327 193153
/proc/meminfo: memFree=96352232/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19041612 memory=100724 CPUtime=1.18 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 9400 0 0 0 113 5 0 0 20 0 19 0 18821103 19498610688 25181 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4760403 25181 5781 1 0 553208 0
[pid=193135/tid=193137] ppid=193132 vsize=19041612 memory=5500 CPUtime=0.57 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 5986 0 0 0 53 4 0 0 20 0 19 0 18821104 19498610688 25181 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19041612 memory=11880 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18821109 19498610688 25181 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18821110 19498610688 25181 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100724 KiB

[startup+1.50072 s]
/proc/loadavg: 4.36 4.45 4.41 6/328 193154
/proc/meminfo: memFree=96317452/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19041612 memory=169452 CPUtime=2.77 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 17261 0 0 0 269 8 0 0 20 0 19 0 18821103 19498610688 42363 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4760403 42363 5797 1 0 555761 0
[pid=193135/tid=193137] ppid=193132 vsize=19041612 memory=11880 CPUtime=1.31 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 6456 0 0 0 126 5 0 0 20 0 19 0 18821104 19498610688 42363 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18821109 19498610688 42363 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18821110 19498610688 42363 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18821160 19498610688 42363 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 169452 KiB

[startup+3.10672 s]
/proc/loadavg: 4.41 4.46 4.41 6/329 193155
/proc/meminfo: memFree=96215820/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=186000 CPUtime=5.71 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 22346 0 0 0 561 10 0 0 20 0 20 0 18821103 19566772224 46500 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 46500 5845 1 0 557290 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=0 CPUtime=2.86 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 7450 0 0 0 279 7 0 0 20 0 20 0 18821104 19566772224 46500 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 46500 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18821110 19566772224 46500 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 46500 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186000 KiB

[startup+6.30028 s]
/proc/loadavg: 4.41 4.46 4.41 5/329 193155
/proc/meminfo: memFree=95956040/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=410156 CPUtime=9.51 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 24248 0 0 0 935 16 0 0 20 0 20 0 18821103 19566772224 102539 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 102539 5845 1 0 557998 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=0 CPUtime=6.01 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 7713 0 0 0 589 12 0 0 20 0 20 0 18821104 19566772224 102539 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 102539 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18821110 19566772224 102539 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 102539 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 9.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410156 KiB

[startup+12.7005 s]
/proc/loadavg: 4.43 4.47 4.41 5/329 193156
/proc/meminfo: memFree=95159612/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=1141740 CPUtime=15.96 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 28240 0 0 0 1561 35 0 0 20 0 20 0 18821103 19566772224 285435 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 285435 5876 1 0 557998 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=107508 CPUtime=12.34 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 9375 0 0 0 1205 29 0 0 20 0 20 0 18821104 19566772224 285435 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=1051584 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 285435 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=186000 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18821110 19566772224 285435 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 285435 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1141740 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.47 4.41 5/329 193158
/proc/meminfo: memFree=94909688/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=1148664 CPUtime=29.81 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 37933 0 0 0 2939 42 0 0 20 0 20 0 18821103 19566772224 287166 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 287166 5876 1 0 557998 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=1051584 CPUtime=25.03 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 10809 0 0 0 2469 34 0 0 20 0 20 0 18821104 19566772224 287166 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=1144560 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 287166 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18821110 19566772224 287166 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 287166 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 29.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1148664 KiB

[startup+51.114 s]
/proc/loadavg: 4.35 4.44 4.40 5/329 193162
/proc/meminfo: memFree=94383716/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=1333028 CPUtime=55.29 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 41771 0 0 0 5472 57 0 0 20 0 20 0 18821103 19566772224 333257 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 333257 5876 1 0 557998 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=1333028 CPUtime=50.31 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 13345 0 0 0 4983 48 0 0 20 0 20 0 18821104 19566772224 333257 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=1333028 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 333257 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18821110 19566772224 333257 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0

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

[startup+3282.3 s]
/proc/loadavg: 1.32 2.21 3.19 2/247 195066
/proc/meminfo: memFree=119196572/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195168 CPUtime=3265.49 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 164602 0 0 0 325537 1012 0 0 20 0 20 0 18821103 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548792 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=2195164 CPUtime=3229.36 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 73267 0 0 0 322110 826 0 0 20 0 20 0 18821104 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2378 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=2195164 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=1469645082924843353 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3182 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3265.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195168 KiB

[startup+3342.3 s]
/proc/loadavg: 1.21 2.02 3.06 2/247 195077
/proc/meminfo: memFree=119109524/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195168 CPUtime=3325.38 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 165145 0 0 0 331512 1026 0 0 20 0 20 0 18821103 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548792 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=2195164 CPUtime=3288.97 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 73659 0 0 0 328059 838 0 0 20 0 20 0 18821104 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2390 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=2195168 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=2195168 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3243 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=2195168 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548792 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3325.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195168 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.84 2.94 2/244 195089
/proc/meminfo: memFree=119023488/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195180 CPUtime=3385.32 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 167207 0 0 0 337489 1043 0 0 20 0 20 0 18821103 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548795 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=2195168 CPUtime=3348.43 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 74518 0 0 0 333991 852 0 0 20 0 20 0 18821104 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2408 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=2195168 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3244 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=16132 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3385.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195180 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.70 2.82 2/243 195100
/proc/meminfo: memFree=118940988/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195180 CPUtime=3444.11 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 167740 0 0 0 343349 1062 0 0 20 0 20 0 18821103 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548795 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=2195168 CPUtime=3406.83 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 74913 0 0 0 339816 867 0 0 20 0 20 0 18821104 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2534 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=2195180 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=2195180 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3304 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=1469645082924843353 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548795 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3444.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195180 KiB

[startup+3522.3 s]
/proc/loadavg: 1.20 1.62 2.72 2/242 195111
/proc/meminfo: memFree=118856668/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195184 CPUtime=3503.42 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 168460 0 0 0 349264 1078 0 0 20 0 20 0 18821103 19566772224 548796 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548796 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=2195184 CPUtime=3465.83 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 75586 0 0 0 345702 881 0 0 20 0 20 0 18821104 19566772224 548796 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2605 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=2195180 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548796 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=11880 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3304 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548796 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548796 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3503.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195184 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.52 2.61 2/242 195121
/proc/meminfo: memFree=118772784/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195188 CPUtime=3563.38 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 170500 0 0 0 355245 1093 0 0 20 0 20 0 18821103 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548797 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=75588 CPUtime=3525.31 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 76347 0 0 0 351639 892 0 0 20 0 20 0 18821104 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2620 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=2195188 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=11412 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3366 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=2195188 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3563.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619 s]*
/proc/loadavg: 1.11 1.47 2.55 2/242 195128
/proc/meminfo: memFree=118714024/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19108176 memory=2195188 CPUtime=3600.04 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 171397 0 0 0 358901 1103 0 0 20 0 20 0 18821103 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4777044 548797 5876 1 0 561250 0
[pid=193135/tid=193137] ppid=193132 vsize=19108176 memory=-9032647904038003388 CPUtime=3561.81 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) R 193132 193135 187238 0 -1 4194368 77058 0 0 0 355281 900 0 0 20 0 20 0 18821104 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2626 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19108176 memory=-9126187743242011031 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18821109 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19108176 memory=11648 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3367 0 0 0 0 1 0 0 20 0 20 0 18821110 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193154] ppid=193132 vsize=19108176 memory=2836 CPUtime=0 cores=4,6
/proc/193135/task/193154/stat : 193154 (Timer-0) S 193132 193135 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18821160 19566772224 548797 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.22 s, system=11.058 s

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

[startup+3619.12 s]
/proc/loadavg: 1.11 1.47 2.55 2/242 195128
/proc/meminfo: memFree=118714024/131655788 swapFree=131070192/131071996
[pid=193135] ppid=193132 vsize=19307868 memory=2195832 CPUtime=3600.24 cores=4,6
/proc/193135/stat : 193135 (java) S 193132 193135 187238 0 -1 1077936128 175181 0 0 0 358920 1104 0 0 20 0 21 0 18821103 19771256832 548958 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
/proc/193135/statm: 4826967 548958 5875 1 0 562169 0
[pid=193135/tid=193137] ppid=193132 vsize=19307868 memory=2195188 CPUtime=3561.86 cores=4,6
/proc/193135/task/193137/stat : 193137 (java) S 193132 193135 187238 0 -1 1077936192 77559 0 0 0 355285 901 0 0 20 0 21 0 18821104 19771256832 548958 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2626 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193146] ppid=193132 vsize=19307868 memory=2195188 CPUtime=0 cores=4,6
/proc/193135/task/193146/stat : 193146 (Finalizer) S 193132 193135 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18821109 19771256832 548958 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
[pid=193135/tid=193153] ppid=193132 vsize=19307868 memory=2195188 CPUtime=0.01 cores=4,6
/proc/193135/task/193153/stat : 193153 (Common-Cleaner) S 193132 193135 187238 0 -1 1077936192 3367 0 0 0 0 1 0 0 20 0 21 0 18821110 19771256832 548958 134679101440 94237033988096 94237033991792 140728677689232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94237033999608 94237034000400 94237046898688 140728677696427 140728677696609 140728677696609 140728677703624 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2195832 KiB

Child status: 143

Real time (s): 3619.14
CPU time (s): 3600.28
CPU user time (s): 3589.22
CPU system time (s): 11.058
CPU usage (%): 99.4788
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2195832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.22
system time used= 11.058
maximum resident set size= 2196724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12007448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115438
involuntary context switches= 7151


# summary of solver processes directly reported to runsolver:
#   pid: 193135
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3589.22
#   total CPU system time (s): 11.058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8045 second user time and 38.6548 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 15:38:43
IDJOB=4450762
IDBENCH=162227
IDSOLVER=3079
FILE ID=nodeC002/4450762-1721828323
RUNJOBID= nodeC002-1721820325-187249
SLURM_JOB_ID= 7891441
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round21-1.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-4450762-1721828323/watcher-4450762-1721828323 -o /tmp/evaluation-result-4450762-1721828323/solver-4450762-1721828323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187249 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450762-1721828323 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450762-1721828323.opb

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

MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=799964272

nodeC002.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		: 3643.818
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.43
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		: 3639.081
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.41
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.367
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.43
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.372
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.41
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		: 1197.172
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.43
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		: 3590.000
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.41
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		: 3491.742
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.43
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.236
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        96427972 kB
MemAvailable:   111227392 kB
Buffers:          260684 kB
Cached:         15346020 kB
SwapCached:           72 kB
Active:          2222480 kB
Inactive:       32366944 kB
Active(anon):       1552 kB
Inactive(anon): 19034780 kB
Active(file):    2220928 kB
Inactive(file): 13332164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:             75780 kB
Writeback:             0 kB
AnonPages:      18981392 kB
Mapped:           123768 kB
Shmem:             53844 kB
KReclaimable:     173056 kB
Slab:             287304 kB
SReclaimable:     173056 kB
SUnreclaim:       114248 kB
KernelStack:        4908 kB
PageTables:        47236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   20869456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18565120 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:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC002 at 2024-07-24 16:39:02