Trace number 4523801

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.21 3646.69

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
MD5SUM6cb38b401990639cbd6e40c3a4829a77
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark5.99084
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1441
Total number of constraints2021
Number of constraints which are clauses932
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 148
Biggest coefficient in the objective function 23
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 438
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1634
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4523801-1751608135.opb
0.12/0.14	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.15	c  objective function found
1.05/0.68	c ... done. Wall clock time 0.537s.
1.05/0.68	c declared #vars     1441
1.05/0.68	c #constraints  2022
1.05/0.68	c constraints type 
1.05/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 931
1.05/0.68	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.05/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1088
1.05/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.05/0.68	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.05/0.68	c 2022 constraints processed.
1.05/0.69	c objective function length is 148 literals
3.63/1.93	c cleaning 2496 clauses out of 5000 with flag 13182/5000
5.02/2.82	c cleaning 4246 clauses out of 8504 with flag 34716/11000
6.09/3.83	c cleaning 5621 clauses out of 11258 with flag 58139/18000
7.31/4.97	c cleaning 6812 clauses out of 13638 with flag 85752/26001
8.62/6.21	c cleaning 7905 clauses out of 15825 with flag 120586/35000
10.12/7.70	c cleaning 8954 clauses out of 17920 with flag 160995/45000
11.77/9.40	c cleaning 9975 clauses out of 19966 with flag 202445/56000
13.67/11.20	c cleaning 10987 clauses out of 21994 with flag 248771/68003
15.59/13.19	c cleaning 11994 clauses out of 24005 with flag 294886/81001
17.78/15.36	c cleaning 13005 clauses out of 26012 with flag 348494/95002
20.57/18.10	c cleaning 14001 clauses out of 28007 with flag 392594/110002
23.73/21.19	c cleaning 15004 clauses out of 30007 with flag 439847/126003
27.25/24.62	c cleaning 15997 clauses out of 32000 with flag 494458/143000
31.08/28.41	c cleaning 17001 clauses out of 34005 with flag 552408/161002
35.18/32.55	c cleaning 18000 clauses out of 36002 with flag 615616/180000
39.63/37.14	c cleaning 18996 clauses out of 38002 with flag 682306/200000
43.91/41.48	c cleaning 19999 clauses out of 40006 with flag 753843/221000
48.74/46.22	c cleaning 20998 clauses out of 42009 with flag 829744/243002
53.35/50.85	c cleaning 22000 clauses out of 44010 with flag 912185/266001
57.84/55.30	c cleaning 23000 clauses out of 46011 with flag 995388/290002
62.25/59.71	c cleaning 23994 clauses out of 48009 with flag 1089940/315000
66.74/64.21	c cleaning 24999 clauses out of 50015 with flag 1200803/341000
71.34/68.86	c cleaning 25999 clauses out of 52016 with flag 1315495/368000
76.54/74.01	c cleaning 27003 clauses out of 54017 with flag 1432709/396000
81.63/79.18	c cleaning 27995 clauses out of 56014 with flag 1557607/425000
87.23/84.70	c cleaning 28998 clauses out of 58020 with flag 1684747/455001
93.04/90.52	c cleaning 30003 clauses out of 60025 with flag 1819739/486004
99.13/96.65	c cleaning 31000 clauses out of 62022 with flag 1956173/518004
105.03/102.56	c cleaning 32001 clauses out of 64018 with flag 2112104/551000
111.13/108.63	c cleaning 32999 clauses out of 66017 with flag 2266838/585000
117.31/114.80	c cleaning 33997 clauses out of 68018 with flag 2436979/620000
124.01/121.57	c cleaning 35000 clauses out of 70021 with flag 2613553/656000
131.31/128.81	c cleaning 36001 clauses out of 72022 with flag 2788642/693001
139.00/136.52	c cleaning 37002 clauses out of 74020 with flag 2973653/731000
147.51/145.06	c cleaning 37999 clauses out of 76018 with flag 3166819/770000
155.71/153.29	c cleaning 39003 clauses out of 78022 with flag 3356502/810003
164.33/161.81	c cleaning 40003 clauses out of 80017 with flag 3558240/851001
173.13/170.68	c cleaning 40994 clauses out of 82014 with flag 3760948/893001
182.35/179.86	c cleaning 42001 clauses out of 84019 with flag 3972142/936000
191.47/188.95	c cleaning 42999 clauses out of 86018 with flag 4193942/980000
200.58/198.05	c cleaning 43999 clauses out of 88020 with flag 4429832/1025001
209.60/207.10	c cleaning 45004 clauses out of 90022 with flag 4677004/1071002
219.62/217.07	c cleaning 45998 clauses out of 92017 with flag 4938485/1118001
230.63/228.37	c cleaning 46999 clauses out of 94019 with flag 5187547/1166001
240.95/238.60	c cleaning 48000 clauses out of 96019 with flag 5434115/1215000
252.31/250.15	c cleaning 49003 clauses out of 98020 with flag 5681444/1265001
264.22/262.06	c cleaning 49999 clauses out of 100017 with flag 5936688/1316001
275.56/273.39	c cleaning 51000 clauses out of 102017 with flag 6207269/1368000
288.11/286.08	c cleaning 51996 clauses out of 104017 with flag 6473798/1421000
300.52/298.34	c cleaning 52995 clauses out of 106021 with flag 6755945/1475000
313.17/310.93	c cleaning 54002 clauses out of 108028 with flag 7041269/1530002
325.54/323.61	c cleaning 55000 clauses out of 110028 with flag 7345494/1586004
338.17/336.26	c cleaning 56004 clauses out of 112024 with flag 7663406/1643000
350.83/354.20	c cleaning 56995 clauses out of 114020 with flag 7986866/1701000
364.05/367.46	c cleaning 58000 clauses out of 116025 with flag 8308776/1760000
377.96/381.56	c cleaning 58998 clauses out of 118025 with flag 8635022/1820000
391.57/395.06	c cleaning 60002 clauses out of 120028 with flag 8967668/1881001
406.32/410.00	c cleaning 61000 clauses out of 122025 with flag 9299150/1943000
420.33/423.91	c cleaning 62005 clauses out of 124025 with flag 9637162/2006000
436.57/440.16	c cleaning 62997 clauses out of 126021 with flag 9979815/2070001
452.14/455.66	c cleaning 64000 clauses out of 128023 with flag 10317503/2135000
469.76/473.21	c cleaning 65005 clauses out of 130024 with flag 10637680/2201001
487.74/491.15	c cleaning 65999 clauses out of 132018 with flag 10976019/2268000
507.07/510.45	c cleaning 67001 clauses out of 134022 with flag 11312141/2336003
526.62/529.92	c cleaning 67999 clauses out of 136018 with flag 11664711/2405000
545.54/548.70	c cleaning 69002 clauses out of 138021 with flag 12020922/2475002
563.49/566.63	c cleaning 70004 clauses out of 140018 with flag 12393614/2546001
583.75/586.80	c cleaning 70993 clauses out of 142013 with flag 12755159/2618000
605.84/608.84	c cleaning 71998 clauses out of 144020 with flag 13117613/2691000
628.44/631.43	c cleaning 73002 clauses out of 146024 with flag 13507529/2765002
650.70/653.65	c cleaning 73996 clauses out of 148020 with flag 13913733/2840000
672.88/675.75	c cleaning 75004 clauses out of 150024 with flag 14336917/2916000
696.25/699.06	c cleaning 75997 clauses out of 152021 with flag 14737861/2993001
719.58/722.38	c cleaning 77002 clauses out of 154024 with flag 15125548/3071001
743.39/746.18	c cleaning 78002 clauses out of 156022 with flag 15522595/3150001
770.03/772.73	c cleaning 79003 clauses out of 158021 with flag 15924641/3230002
795.78/798.49	c cleaning 79994 clauses out of 160016 with flag 16348188/3311000
821.26/823.90	c cleaning 81001 clauses out of 162022 with flag 16773658/3393000
847.32/849.89	c cleaning 82001 clauses out of 164023 with flag 17173208/3476002
872.81/875.21	c cleaning 82998 clauses out of 166020 with flag 17629926/3560000
900.09/902.45	c cleaning 83994 clauses out of 168022 with flag 18079033/3645000
926.64/928.91	c cleaning 85002 clauses out of 170028 with flag 18529777/3731000
954.37/957.08	c cleaning 86002 clauses out of 172028 with flag 18985782/3818002
983.10/985.72	c cleaning 87000 clauses out of 174025 with flag 19444496/3906001
1011.12/1013.72	c cleaning 88000 clauses out of 176024 with flag 19937473/3995000
1037.88/1040.42	c cleaning 89005 clauses out of 178026 with flag 20405126/4085002
1068.53/1071.00	c cleaning 90003 clauses out of 180020 with flag 20852970/4176001
1100.54/1103.13	c cleaning 90997 clauses out of 182016 with flag 21289592/4268000
1134.47/1137.06	c cleaning 91999 clauses out of 184019 with flag 21759822/4361000
1159.08/1161.62	c cleaning 93003 clauses out of 186020 with flag 22204357/4455000
1184.92/1187.31	c cleaning 94005 clauses out of 188017 with flag 22584814/4550000
1212.97/1215.38	c cleaning 94998 clauses out of 190014 with flag 22987134/4646002
1244.59/1253.15	c cleaning 95997 clauses out of 192014 with flag 23427591/4743000
1274.43/1283.10	c cleaning 97001 clauses out of 194017 with flag 23861242/4841000
1304.87/1313.36	c cleaning 97991 clauses out of 196018 with flag 24324451/4940002
1337.14/1346.48	c cleaning 98999 clauses out of 198028 with flag 24758105/5040003
1369.09/1378.05	c cleaning 100001 clauses out of 200026 with flag 25225800/5141000
1405.18/1414.39	c cleaning 100999 clauses out of 202028 with flag 25684729/5243003
1436.43/1445.89	c cleaning 102000 clauses out of 204026 with flag 26187081/5346000
1467.04/1476.34	c cleaning 102998 clauses out of 206029 with flag 26722876/5450003
1498.79/1508.01	c cleaning 104002 clauses out of 208029 with flag 27247334/5555001
1534.50/1543.60	c cleaning 104997 clauses out of 210027 with flag 27737990/5661001
1571.86/1580.90	c cleaning 105997 clauses out of 212030 with flag 28250192/5768001
1609.48/1626.71	c cleaning 107005 clauses out of 214033 with flag 28745011/5876001
1648.28/1665.73	c cleaning 108002 clauses out of 216027 with flag 29238244/5985000
1687.31/1705.14	c cleaning 108996 clauses out of 218025 with flag 29772099/6095000
1727.71/1745.40	c cleaning 110002 clauses out of 220030 with flag 30310016/6206001
1765.57/1783.58	c cleaning 110996 clauses out of 222027 with flag 30888741/6318000
1803.39/1823.93	c cleaning 112000 clauses out of 224031 with flag 31428781/6431000
1841.64/1862.04	c cleaning 113000 clauses out of 226031 with flag 32002460/6545000
1886.41/1906.93	c cleaning 113999 clauses out of 228031 with flag 32561876/6660000
1927.12/1947.58	c cleaning 115003 clauses out of 230035 with flag 33145363/6776003
1972.91/1993.50	c cleaning 116003 clauses out of 232029 with flag 33756644/6893000
2013.00/2033.61	c cleaning 116998 clauses out of 234027 with flag 34414203/7011001
2053.01/2073.78	c cleaning 117990 clauses out of 236028 with flag 35046994/7130000
2096.76/2117.60	c cleaning 119005 clauses out of 238039 with flag 35695631/7250001
2143.67/2164.58	c cleaning 120003 clauses out of 240034 with flag 36370176/7371001
2187.04/2211.86	c cleaning 121000 clauses out of 242031 with flag 37087770/7493001
2234.30/2259.14	c cleaning 121994 clauses out of 244030 with flag 37778974/7616000
2282.80/2308.42	c cleaning 123004 clauses out of 246036 with flag 38484782/7740000
2330.95/2356.65	c cleaning 124003 clauses out of 248033 with flag 39191730/7865001
2379.94/2408.00	c cleaning 125001 clauses out of 250030 with flag 39903325/7991001
2433.55/2461.69	c cleaning 126002 clauses out of 252030 with flag 40643750/8118002
2490.29/2522.55	c cleaning 126997 clauses out of 254026 with flag 41290257/8246000
2548.06/2580.45	c cleaning 128002 clauses out of 256030 with flag 41967573/8375001
2601.97/2634.44	c cleaning 128998 clauses out of 258027 with flag 42649846/8505000
2653.07/2685.61	c cleaning 130001 clauses out of 260030 with flag 43364609/8636001
2697.02/2729.60	c cleaning 131001 clauses out of 262028 with flag 43910269/8768000
2748.15/2786.95	c cleaning 132000 clauses out of 264028 with flag 44482546/8901001
2804.33/2843.54	c cleaning 133000 clauses out of 266027 with flag 45100524/9035000
2858.47/2897.75	c cleaning 134000 clauses out of 268027 with flag 45759242/9170000
2909.96/2948.90	c cleaning 134999 clauses out of 270028 with flag 46437149/9306001
2951.20/2990.22	c cleaning 136001 clauses out of 272028 with flag 47094885/9443000
2995.16/3034.26	c cleaning 137002 clauses out of 274027 with flag 47662103/9581000
3045.19/3084.33	c cleaning 137999 clauses out of 276025 with flag 48256671/9720000
3092.47/3131.54	c cleaning 138998 clauses out of 278026 with flag 48858901/9860000
3144.22/3183.39	c cleaning 140000 clauses out of 280028 with flag 49492421/10001000
3198.52/3237.73	c cleaning 140998 clauses out of 282029 with flag 50121883/10143001
3253.89/3293.10	c cleaning 142005 clauses out of 284030 with flag 50733874/10286000
3305.61/3348.66	c cleaning 142998 clauses out of 286026 with flag 51393882/10430001
3362.19/3405.28	c cleaning 144002 clauses out of 288027 with flag 52059027/10575000
3416.68/3459.87	c cleaning 144996 clauses out of 290025 with flag 52731009/10721000
3478.67/3524.88	c cleaning 146000 clauses out of 292029 with flag 53442358/10868000
3536.71/3583.19	c cleaning 146996 clauses out of 294030 with flag 54172864/11016001
3597.29/3643.80	c cleaning 148004 clauses out of 296033 with flag 54885218/11165000
3600.06/3646.61	c starts		: 2583
3600.06/3646.61	c conflicts		: 11175370
3600.06/3646.61	c decisions		: 12202998
3600.06/3646.61	c propagations		: 158981309
3600.06/3646.61	c inspects		: 29986479038
3600.06/3646.61	c shortcuts		: 0
3600.06/3646.61	c learnt literals	: 0
3600.06/3646.61	c learnt binary clauses	: 0
3600.06/3646.61	c learnt ternary clauses	: 0
3600.06/3646.61	c learnt constraints	: 11175370
3600.06/3646.61	c ignored constraints	: 0
3600.06/3646.61	c root simplifications	: 0
3600.06/3646.61	c removed literals (reason simplification)	: 4377873
3600.06/3646.61	c reason swapping (by a shorter reason)	: 0
3600.06/3646.61	c Calls to reduceDB	: 145
3600.06/3646.61	c Number of update (reduction) of LBD	: 991652
3600.06/3646.61	c Imported unit clauses	: 0
3600.06/3646.61	c No decision after first conflict	: false
3600.06/3646.61	c number of reductions to clauses (during analyze)	: 0
3600.06/3646.61	c number of learned constraints concerned by reduction	: 0
3600.06/3646.61	c number of learning phase by resolution	: 0
3600.06/3646.61	c number of learning phase by cutting planes	: 0
3600.06/3646.61	c number of rounding to 1 operations	: 0
3600.06/3646.61	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3646.61	c number of reductions of the coefficients by power 2 	: 0
3600.06/3646.61	c number of right shift for reduction by power 2 	: 0
3600.06/3646.61	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3646.61	c number of ending skipping 	: 0
3600.06/3646.61	c number of internal skipping 	: 0
3600.06/3646.62	c number of derivation steps 	: 0
3600.06/3646.62	c number of skipped derivation steps 	: 0
3600.06/3646.62	c number of remaining unassigned 	: 0
3600.06/3646.62	c number of remaining assigned 	: 0
3600.06/3646.62	c number of falsified literals weakened from reason	: 0
3600.06/3646.62	c number of falsified literals weakened from conflict	: 0
3600.06/3646.62	c time for arithmetic operations	: 0
3600.06/3646.62	c minimum degree of deleted constraints	: null
3600.06/3646.62	c maximum degree of deleted constraints	: null
3600.06/3646.62	c number of deleted constraints	: 0
3600.06/3646.62	c speed (assignments/second)	: 43605.37297811164
3600.06/3646.62	c non guided choices	: 356
3600.06/3646.64	c timeout
3600.06/3646.67	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 158399
3600.06/3646.67	s UNKNOWN
3600.06/3646.67	c Total wall clock time (in seconds): 3646.536

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (30973 MiB free)
  memory of node 1: 64507 MiB (43806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523801-1751608135/watcher-4523801-1751608135 -o /tmp/evaluation-result-4523801-1751608135/solver-4523801-1751608135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89876 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523801-1751608135 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523801-1751608135.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=90781, runsolver pid=90778

[startup+0.10006 s]*
/proc/loadavg: 4.20 4.15 4.16 5/343 90799
/proc/meminfo: memFree=76550056/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=18930384 memory=55504 CPUtime=0.12 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 6540 0 0 0 11 1 0 0 20 0 18 0 76491242 19384713216 13876 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4732596 13876 5339 1 0 547604 0
[pid=90781/tid=90783] ppid=90778 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5041 0 0 0 6 1 0 0 20 0 18 0 76491243 19384713216 13876 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76491245 19384713216 13876 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=18930384 memory=60684515963265 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76491246 19384713216 13876 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55504 KiB

[startup+0.206054 s]*
/proc/loadavg: 4.20 4.15 4.16 7/343 90799
/proc/meminfo: memFree=76545960/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=18930384 memory=63868 CPUtime=0.29 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 6978 0 0 0 27 2 0 0 20 0 18 0 76491242 19384713216 15967 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4732596 15967 5435 1 0 547878 0
[pid=90781/tid=90783] ppid=90778 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5268 0 0 0 15 1 0 0 20 0 18 0 76491243 19384713216 15967 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=18930384 memory=16198 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76491245 19384713216 15967 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76491246 19384713216 15967 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63868 KiB

[startup+0.306093 s]*
/proc/loadavg: 4.20 4.15 4.16 6/343 90799
/proc/meminfo: memFree=76515524/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=18930384 memory=96608 CPUtime=0.48 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 9608 0 0 0 45 3 0 0 20 0 18 0 76491242 19384713216 24152 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4732596 24152 5435 1 0 548884 0
[pid=90781/tid=90783] ppid=90778 vsize=18930384 memory=-6000919472672828518 CPUtime=0.25 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5282 0 0 0 24 1 0 0 20 0 18 0 76491243 19384713216 24152 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76491245 19384713216 24152 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76491246 19384713216 24152 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96608 KiB

[startup+0.700223 s]
/proc/loadavg: 4.20 4.15 4.16 6/344 90800
/proc/meminfo: memFree=76441512/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=18996948 memory=189464 CPUtime=1.24 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 11180 0 0 0 118 6 0 0 20 0 19 0 76491242 19452874752 47366 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4749237 47366 5499 1 0 550053 0
[pid=90781/tid=90783] ppid=90778 vsize=18996948 memory=18688 CPUtime=0.57 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5443 0 0 0 55 2 0 0 20 0 19 0 76491243 19452874752 47366 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76491245 19452874752 47366 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76491246 19452874752 47366 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 189464 KiB

[startup+1.50025 s]
/proc/loadavg: 4.26 4.16 4.17 6/345 90801
/proc/meminfo: memFree=76409764/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=211780 CPUtime=2.83 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 14290 0 0 0 274 9 0 0 20 0 20 0 76491242 19521036288 52945 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 52945 5499 1 0 551987 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3328 CPUtime=1.27 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5498 0 0 0 124 3 0 0 20 0 20 0 76491243 19521036288 52945 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 52945 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 52945 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 52945 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211780 KiB

[startup+3.10589 s]
/proc/loadavg: 4.26 4.16 4.17 5/345 90801
/proc/meminfo: memFree=76063172/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=550276 CPUtime=5.4 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 15097 0 0 0 524 16 0 0 20 0 20 0 76491242 19521036288 137569 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 137569 5499 1 0 936377 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=14824 CPUtime=2.84 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 5699 0 0 0 274 10 0 0 20 0 20 0 76491243 19521036288 137569 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 137569 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 137569 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 137569 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 550276 KiB

[startup+6.30019 s]
/proc/loadavg: 4.24 4.16 4.17 5/345 90802
/proc/meminfo: memFree=75792572/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=731232 CPUtime=8.72 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 17799 0 0 0 850 22 0 0 20 0 20 0 76491242 19521036288 182808 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 182808 5499 1 0 936523 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=0 CPUtime=6.01 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 6606 0 0 0 585 16 0 0 20 0 20 0 76491243 19521036288 182808 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 182808 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 182808 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=238000 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 182808 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 731232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.16 4.17 5/345 90802
/proc/meminfo: memFree=74843588/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=1624272 CPUtime=15.17 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 21147 0 0 0 1475 42 0 0 20 0 20 0 76491242 19521036288 406068 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 406068 5499 1 0 936527 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=238000 CPUtime=12.37 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 7407 0 0 0 1202 35 0 0 20 0 20 0 76491243 19521036288 406068 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=1624272 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 406068 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 406068 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 406068 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 15.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1624272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.17 4.17 5/345 90803
/proc/meminfo: memFree=74007020/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=2271760 CPUtime=28.17 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 27841 0 0 0 2756 61 0 0 20 0 20 0 76491242 19521036288 567940 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 567940 5531 1 0 936563 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=0 CPUtime=25.11 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 9471 0 0 0 2459 52 0 0 20 0 20 0 76491243 19521036288 567940 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 567940 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=2271760 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 567940 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=2271632 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 567940 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2271760 KiB

[startup+51.1061 s]
/proc/loadavg: 4.22 4.17 4.17 5/347 90872
/proc/meminfo: memFree=92289156/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=2290264 CPUtime=53.65 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 33247 0 0 0 5293 72 0 0 20 0 20 0 76491242 19521036288 572566 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 572566 5531 1 0 936564 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=2271760 CPUtime=50.42 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 11473 0 0 0 4980 62 0 0 20 0 20 0 76491243 19521036288 572566 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=2275900 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 572566 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=2275900 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 572566 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0

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

/proc/meminfo: memFree=83312208/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3243.04 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 148176 0 0 0 322977 1327 0 0 20 0 20 0 76491242 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 927170 5563 1 0 938741 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3210.21 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 76473 0 0 0 319826 1195 0 0 20 0 20 0 76491243 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=3708680 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3243.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3708680 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.65 4.37 4/319 91273
/proc/meminfo: memFree=82607972/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3299.32 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 149922 0 0 0 328590 1342 0 0 20 0 20 0 76491242 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 927170 5563 1 0 938741 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3266.06 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 77801 0 0 0 325397 1209 0 0 20 0 20 0 76491243 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2347 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3299.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3708680 KiB

[startup+3402.3 s]
/proc/loadavg: 3.20 3.58 4.30 4/319 91280
/proc/meminfo: memFree=81837356/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3359.3 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 150586 0 0 0 334572 1358 0 0 20 0 20 0 76491242 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 927170 5563 1 0 938741 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3325.49 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 78247 0 0 0 331326 1223 0 0 20 0 20 0 76491243 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2406 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=3708680 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3359.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3708680 KiB

[startup+3462.3 s]
/proc/loadavg: 3.19 3.50 4.23 4/321 91284
/proc/meminfo: memFree=81080796/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3419.17 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 152396 0 0 0 340542 1375 0 0 20 0 20 0 76491242 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 927170 5563 1 0 938741 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3385 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 79823 0 0 0 337262 1238 0 0 20 0 20 0 76491243 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2407 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=3708680 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 927170 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3419.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3708680 KiB

[startup+3522.3 s]
/proc/loadavg: 3.32 3.47 4.17 4/321 91286
/proc/meminfo: memFree=80395420/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3705696 CPUtime=3476.18 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 154312 0 0 0 346226 1392 0 0 20 0 20 0 76491242 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 926424 5563 1 0 938753 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3708680 CPUtime=3441.6 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 81132 0 0 0 342906 1254 0 0 20 0 20 0 76491243 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2463 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3476.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3705696 KiB

[startup+3582.3 s]
/proc/loadavg: 3.17 3.40 4.10 4/321 91290
/proc/meminfo: memFree=79685092/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3705696 CPUtime=3535.96 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 154828 0 0 0 352189 1407 0 0 20 0 20 0 76491242 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 926424 5563 1 0 938753 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=2764 CPUtime=3501.01 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 81538 0 0 0 348833 1268 0 0 20 0 20 0 76491243 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=3705696 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2522 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=5092 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3535.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3705696 KiB

[startup+3642.3 s]
/proc/loadavg: 2.91 3.30 4.02 3/295 91326
/proc/meminfo: memFree=101414968/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3705696 CPUtime=3595.79 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 156588 0 0 0 358156 1423 0 0 20 0 20 0 76491242 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 926424 5563 1 0 938753 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=3705696 CPUtime=3560.58 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 83005 0 0 0 354775 1283 0 0 20 0 20 0 76491243 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=3705696 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=3705696 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2523 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=3705696 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3595.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3705696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3646.6 s]
/proc/loadavg: 2.91 3.30 4.02 3/295 91326
/proc/meminfo: memFree=101402204/131249996 swapFree=33010672/33010684
[pid=90781] ppid=90778 vsize=19063512 memory=3705696 CPUtime=3600.06 cores=1,3
/proc/90781/stat : 90781 (java) S 90778 90781 89864 0 -1 4194304 156801 0 0 0 358582 1424 0 0 20 0 20 0 76491242 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
/proc/90781/statm: 4765878 926424 5563 1 0 938753 0
[pid=90781/tid=90783] ppid=90778 vsize=19063512 memory=25372 CPUtime=3564.78 cores=1,3
/proc/90781/task/90783/stat : 90783 (java) R 90778 90781 89864 0 -1 4194368 83215 0 0 0 355194 1284 0 0 20 0 20 0 76491243 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90792] ppid=90778 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/90781/task/90792/stat : 90792 (Finalizer) S 90778 90781 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76491245 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90799] ppid=90778 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/90781/task/90799/stat : 90799 (Common-Cleaner) S 90778 90781 89864 0 -1 4194368 2523 0 0 0 0 0 0 0 20 0 20 0 76491246 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
[pid=90781/tid=90801] ppid=90778 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/90781/task/90801/stat : 90801 (Timer-0) S 90778 90781 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76491313 19521036288 926424 18446744073709551615 94386938007552 94386938011248 140736032987248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94386938019064 94386938019856 94386953506816 140736032991536 140736032991718 140736032991718 140736032997320 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3705696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.94 s, system=14.2666 s

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

Child status: 143

Real time (s): 3646.69
CPU time (s): 3600.21
CPU user time (s): 3585.94
CPU system time (s): 14.2666
CPU usage (%): 98.7252
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3708808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.94
system time used= 14.2666
maximum resident set size= 3708808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21794432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122586
involuntary context switches= 13218


# summary of solver processes directly reported to runsolver:
#   pid: 90781
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3585.94
#   total CPU system time (s): 14.2666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68645 second user time and 18.6219 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-04 07:48:55
IDJOB=4523801
IDBENCH=180374
IDSOLVER=3364
FILE ID=nodeC017/4523801-1751608135
RUNJOBID= nodeC017-1751600965-89876
SLURM_JOB_ID= 9598879
Free space on /tmp= 432452 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523801-1751608135/watcher-4523801-1751608135 -o /tmp/evaluation-result-4523801-1751608135/solver-4523801-1751608135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89876 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523801-1751608135 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523801-1751608135.opb

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

MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
RANDOM SEED=1420950218

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        76575564 kB
MemAvailable:   119317404 kB
Buffers:            1688 kB
Cached:         43487888 kB
SwapCached:            8 kB
Active:         10666372 kB
Inactive:       43198044 kB
Active(anon):   10377248 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file): 43181916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           3003636 kB
Writeback:             4 kB
AnonPages:      10377844 kB
Mapped:           124088 kB
Shmem:             18072 kB
KReclaimable:     219676 kB
Slab:             406036 kB
SReclaimable:     219676 kB
SUnreclaim:       186360 kB
KernelStack:        5296 kB
PageTables:        23968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10936652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10059776 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432464 MiB
End job on nodeC017 at 2025-07-04 08:49:42