Trace number 4523800

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 2025-06-06? (TO) 3600.19 3598.6

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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4523800-1751605519.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
1.09/0.65	c ... done. Wall clock time 0.527s.
1.09/0.66	c declared #vars     1441
1.09/0.66	c #constraints  2022
1.09/0.66	c constraints type 
1.09/0.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 931
1.09/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.09/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1088
1.09/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.09/0.66	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.09/0.66	c 2022 constraints processed.
1.09/0.67	c objective function length is 148 literals
2.99/1.64	c cleaning 2496 clauses out of 5000 with flag 13182/5000
3.69/2.28	c cleaning 4246 clauses out of 8504 with flag 34716/11000
4.57/3.07	c cleaning 5621 clauses out of 11258 with flag 58139/18000
5.68/4.01	c cleaning 6812 clauses out of 13638 with flag 85752/26001
6.68/5.04	c cleaning 7905 clauses out of 15825 with flag 120586/35000
7.87/6.23	c cleaning 8954 clauses out of 17920 with flag 160995/45000
9.33/7.61	c cleaning 9975 clauses out of 19966 with flag 202445/56000
10.83/9.14	c cleaning 10987 clauses out of 21994 with flag 248771/68003
12.54/10.81	c cleaning 11994 clauses out of 24005 with flag 294886/81001
14.34/12.65	c cleaning 13005 clauses out of 26012 with flag 348494/95002
16.70/14.99	c cleaning 14001 clauses out of 28007 with flag 392594/110002
19.45/17.64	c cleaning 15004 clauses out of 30007 with flag 439847/126003
22.47/20.67	c cleaning 15997 clauses out of 32000 with flag 494458/143000
25.80/24.00	c cleaning 17001 clauses out of 34005 with flag 552408/161002
29.51/27.64	c cleaning 18000 clauses out of 36002 with flag 615616/180000
33.30/31.46	c cleaning 18996 clauses out of 38002 with flag 682306/200000
37.09/35.24	c cleaning 19999 clauses out of 40006 with flag 753843/221000
41.30/39.48	c cleaning 20998 clauses out of 42009 with flag 829744/243002
45.29/43.48	c cleaning 22000 clauses out of 44010 with flag 912185/266001
49.18/47.31	c cleaning 23000 clauses out of 46011 with flag 995388/290002
52.89/51.03	c cleaning 23994 clauses out of 48009 with flag 1089940/315000
56.67/54.81	c cleaning 24999 clauses out of 50015 with flag 1200803/341000
60.47/58.69	c cleaning 25999 clauses out of 52016 with flag 1315495/368000
64.87/63.04	c cleaning 27003 clauses out of 54017 with flag 1432709/396000
69.35/67.52	c cleaning 27995 clauses out of 56014 with flag 1557607/425000
73.94/72.15	c cleaning 28998 clauses out of 58020 with flag 1684747/455001
78.83/77.02	c cleaning 30003 clauses out of 60025 with flag 1819739/486004
83.92/82.12	c cleaning 31000 clauses out of 62022 with flag 1956173/518004
88.71/86.97	c cleaning 32001 clauses out of 64018 with flag 2112104/551000
93.80/92.05	c cleaning 32999 clauses out of 66017 with flag 2266838/585000
99.20/97.40	c cleaning 33997 clauses out of 68018 with flag 2436979/620000
104.79/103.05	c cleaning 35000 clauses out of 70021 with flag 2613553/656000
110.78/109.03	c cleaning 36001 clauses out of 72022 with flag 2788642/693001
117.36/115.65	c cleaning 37002 clauses out of 74020 with flag 2973653/731000
124.24/122.54	c cleaning 37999 clauses out of 76018 with flag 3166819/770000
130.93/129.28	c cleaning 39003 clauses out of 78022 with flag 3356502/810003
138.31/136.65	c cleaning 40003 clauses out of 80017 with flag 3558240/851001
146.02/144.35	c cleaning 40994 clauses out of 82014 with flag 3760948/893001
153.90/152.24	c cleaning 42001 clauses out of 84019 with flag 3972142/936000
161.59/159.98	c cleaning 42999 clauses out of 86018 with flag 4193942/980000
169.30/167.65	c cleaning 43999 clauses out of 88020 with flag 4429832/1025001
176.88/175.25	c cleaning 45004 clauses out of 90022 with flag 4677004/1071002
184.77/183.13	c cleaning 45998 clauses out of 92017 with flag 4938485/1118001
193.55/191.92	c cleaning 46999 clauses out of 94019 with flag 5187547/1166001
201.64/200.02	c cleaning 48000 clauses out of 96019 with flag 5434115/1215000
210.63/209.05	c cleaning 49003 clauses out of 98020 with flag 5681444/1265001
220.28/218.77	c cleaning 49999 clauses out of 100017 with flag 5936688/1316001
229.45/227.93	c cleaning 51000 clauses out of 102017 with flag 6207269/1368000
239.57/238.03	c cleaning 51996 clauses out of 104017 with flag 6473798/1421000
249.35/247.81	c cleaning 52995 clauses out of 106021 with flag 6755945/1475000
259.43/257.95	c cleaning 54002 clauses out of 108028 with flag 7041269/1530002
269.34/267.81	c cleaning 55000 clauses out of 110028 with flag 7345494/1586004
279.32/277.82	c cleaning 56004 clauses out of 112024 with flag 7663406/1643000
289.33/287.81	c cleaning 56995 clauses out of 114020 with flag 7986866/1701000
299.91/298.41	c cleaning 58000 clauses out of 116025 with flag 8308776/1760000
310.88/309.46	c cleaning 58998 clauses out of 118025 with flag 8635022/1820000
322.09/320.62	c cleaning 60002 clauses out of 120028 with flag 8967668/1881001
333.77/332.35	c cleaning 61000 clauses out of 122025 with flag 9299150/1943000
344.88/343.41	c cleaning 62005 clauses out of 124025 with flag 9637162/2006000
357.86/356.43	c cleaning 62997 clauses out of 126021 with flag 9979815/2070001
370.28/368.81	c cleaning 64000 clauses out of 128023 with flag 10317503/2135000
384.35/382.90	c cleaning 65005 clauses out of 130024 with flag 10637680/2201001
398.77/397.31	c cleaning 65999 clauses out of 132018 with flag 10976019/2268000
414.34/412.92	c cleaning 67001 clauses out of 134022 with flag 11312141/2336003
430.74/429.39	c cleaning 67999 clauses out of 136018 with flag 11664711/2405000
446.02/444.66	c cleaning 69002 clauses out of 138021 with flag 12020922/2475002
461.22/459.83	c cleaning 70004 clauses out of 140018 with flag 12393614/2546001
477.60/476.20	c cleaning 70993 clauses out of 142013 with flag 12755159/2618000
495.49/494.16	c cleaning 71998 clauses out of 144020 with flag 13117613/2691000
514.09/512.75	c cleaning 73002 clauses out of 146024 with flag 13507529/2765002
532.55/531.21	c cleaning 73996 clauses out of 148020 with flag 13913733/2840000
550.76/549.48	c cleaning 75004 clauses out of 150024 with flag 14336917/2916000
570.02/568.73	c cleaning 75997 clauses out of 152021 with flag 14737861/2993001
589.62/588.33	c cleaning 77002 clauses out of 154024 with flag 15125548/3071001
609.76/608.44	c cleaning 78002 clauses out of 156022 with flag 15522595/3150001
631.81/630.52	c cleaning 79003 clauses out of 158021 with flag 15924641/3230002
653.42/652.19	c cleaning 79994 clauses out of 160016 with flag 16348188/3311000
675.27/673.97	c cleaning 81001 clauses out of 162022 with flag 16773658/3393000
696.94/695.60	c cleaning 82001 clauses out of 164023 with flag 17173208/3476002
718.59/717.24	c cleaning 82998 clauses out of 166020 with flag 17629926/3560000
741.96/740.56	c cleaning 83994 clauses out of 168022 with flag 18079033/3645000
763.82/762.43	c cleaning 85002 clauses out of 170028 with flag 18529777/3731000
787.47/786.03	c cleaning 86002 clauses out of 172028 with flag 18985782/3818002
812.16/810.78	c cleaning 87000 clauses out of 174025 with flag 19444496/3906001
835.67/834.20	c cleaning 88000 clauses out of 176024 with flag 19937473/3995000
858.43/857.05	c cleaning 89005 clauses out of 178026 with flag 20405126/4085002
884.66/883.28	c cleaning 90003 clauses out of 180020 with flag 20852970/4176001
911.90/910.40	c cleaning 90997 clauses out of 182016 with flag 21289592/4268000
940.74/939.39	c cleaning 91999 clauses out of 184019 with flag 21759822/4361000
961.59/960.12	c cleaning 93003 clauses out of 186020 with flag 22204357/4455000
983.36/981.72	c cleaning 94005 clauses out of 188017 with flag 22584814/4550000
1006.93/1005.29	c cleaning 94998 clauses out of 190014 with flag 22987134/4646002
1033.77/1032.08	c cleaning 95997 clauses out of 192014 with flag 23427591/4743000
1058.53/1056.85	c cleaning 97001 clauses out of 194017 with flag 23861242/4841000
1083.84/1082.10	c cleaning 97991 clauses out of 196018 with flag 24324451/4940002
1111.07/1109.33	c cleaning 98999 clauses out of 198028 with flag 24758105/5040003
1137.87/1136.10	c cleaning 100001 clauses out of 200026 with flag 25225800/5141000
1168.63/1166.72	c cleaning 100999 clauses out of 202028 with flag 25684729/5243003
1194.58/1192.74	c cleaning 102000 clauses out of 204026 with flag 26187081/5346000
1219.71/1217.80	c cleaning 102998 clauses out of 206029 with flag 26722876/5450003
1246.33/1244.43	c cleaning 104002 clauses out of 208029 with flag 27247334/5555001
1276.25/1274.31	c cleaning 104997 clauses out of 210027 with flag 27737990/5661001
1307.29/1305.31	c cleaning 105997 clauses out of 212030 with flag 28250192/5768001
1338.22/1336.23	c cleaning 107005 clauses out of 214033 with flag 28745011/5876001
1370.34/1368.34	c cleaning 108002 clauses out of 216027 with flag 29238244/5985000
1401.83/1399.81	c cleaning 108996 clauses out of 218025 with flag 29772099/6095000
1435.04/1433.07	c cleaning 110002 clauses out of 220030 with flag 30310016/6206001
1466.99/1465.08	c cleaning 110996 clauses out of 222027 with flag 30888741/6318000
1498.60/1496.66	c cleaning 112000 clauses out of 224031 with flag 31428781/6431000
1530.38/1528.43	c cleaning 113000 clauses out of 226031 with flag 32002460/6545000
1567.57/1565.62	c cleaning 113999 clauses out of 228031 with flag 32561876/6660000
1601.47/1599.53	c cleaning 115003 clauses out of 230035 with flag 33145363/6776003
1639.16/1637.27	c cleaning 116003 clauses out of 232029 with flag 33756644/6893000
1673.60/1671.31	c cleaning 116998 clauses out of 234027 with flag 34414203/7011001
1706.60/1704.35	c cleaning 117990 clauses out of 236028 with flag 35046994/7130000
1743.59/1741.38	c cleaning 119005 clauses out of 238039 with flag 35695631/7250001
1782.20/1779.97	c cleaning 120003 clauses out of 240034 with flag 36370176/7371001
1819.16/1816.99	c cleaning 121000 clauses out of 242031 with flag 37087770/7493001
1858.83/1856.66	c cleaning 121994 clauses out of 244030 with flag 37778974/7616000
1899.08/1897.00	c cleaning 123004 clauses out of 246036 with flag 38484782/7740000
1938.43/1936.30	c cleaning 124003 clauses out of 248033 with flag 39191730/7865001
1979.00/1976.96	c cleaning 125001 clauses out of 250030 with flag 39903325/7991001
2022.98/2020.99	c cleaning 126002 clauses out of 252030 with flag 40643750/8118002
2069.19/2067.11	c cleaning 126997 clauses out of 254026 with flag 41290257/8246000
2116.44/2114.42	c cleaning 128002 clauses out of 256030 with flag 41967573/8375001
2160.99/2159.03	c cleaning 128998 clauses out of 258027 with flag 42649846/8505000
2203.25/2201.39	c cleaning 130001 clauses out of 260030 with flag 43364609/8636001
2238.64/2236.72	c cleaning 131001 clauses out of 262028 with flag 43910269/8768000
2280.83/2278.81	c cleaning 132000 clauses out of 264028 with flag 44482546/8901001
2326.42/2324.42	c cleaning 133000 clauses out of 266027 with flag 45100524/9035000
2370.49/2368.53	c cleaning 134000 clauses out of 268027 with flag 45759242/9170000
2413.46/2411.50	c cleaning 134999 clauses out of 270028 with flag 46437149/9306001
2453.65/2451.74	c cleaning 136001 clauses out of 272028 with flag 47094885/9443000
2496.84/2494.83	c cleaning 137002 clauses out of 274027 with flag 47662103/9581000
2546.73/2544.74	c cleaning 137999 clauses out of 276025 with flag 48256671/9720000
2593.04/2591.07	c cleaning 138998 clauses out of 278026 with flag 48858901/9860000
2645.33/2643.33	c cleaning 140000 clauses out of 280028 with flag 49492421/10001000
2700.64/2698.63	c cleaning 140998 clauses out of 282029 with flag 50121883/10143001
2756.90/2754.95	c cleaning 142005 clauses out of 284030 with flag 50733874/10286000
2808.87/2806.97	c cleaning 142998 clauses out of 286026 with flag 51393882/10430001
2865.81/2863.96	c cleaning 144002 clauses out of 288027 with flag 52059027/10575000
2920.48/2918.62	c cleaning 144996 clauses out of 290025 with flag 52731009/10721000
2984.23/2982.32	c cleaning 146000 clauses out of 292029 with flag 53442358/10868000
3043.50/3041.30	c cleaning 146996 clauses out of 294030 with flag 54172864/11016001
3105.38/3103.38	c cleaning 148004 clauses out of 296033 with flag 54885218/11165000
3165.02/3163.06	c cleaning 149002 clauses out of 298030 with flag 55593706/11315001
3228.32/3226.47	c cleaning 150001 clauses out of 300027 with flag 56313432/11466000
3296.55/3294.79	c cleaning 150999 clauses out of 302028 with flag 57060369/11618002
3362.88/3361.15	c cleaning 152001 clauses out of 304027 with flag 57813360/11771000
3419.74/3418.08	c cleaning 153007 clauses out of 306027 with flag 58431498/11925001
3475.26/3473.63	c cleaning 154003 clauses out of 308021 with flag 59010704/12080002
3539.52/3537.94	c cleaning 155002 clauses out of 310017 with flag 59634322/12236001
3600.04/3598.51	c starts		: 2615
3600.04/3598.51	c conflicts		: 12387085
3600.04/3598.51	c decisions		: 13502141
3600.04/3598.51	c propagations		: 176345280
3600.04/3598.51	c inspects		: 34878643079
3600.04/3598.51	c shortcuts		: 0
3600.04/3598.51	c learnt literals	: 0
3600.04/3598.51	c learnt binary clauses	: 0
3600.04/3598.51	c learnt ternary clauses	: 0
3600.04/3598.51	c learnt constraints	: 12387085
3600.04/3598.51	c ignored constraints	: 0
3600.04/3598.51	c root simplifications	: 0
3600.04/3598.51	c removed literals (reason simplification)	: 4943079
3600.04/3598.51	c reason swapping (by a shorter reason)	: 0
3600.04/3598.51	c Calls to reduceDB	: 152
3600.04/3598.51	c Number of update (reduction) of LBD	: 1110057
3600.04/3598.51	c Imported unit clauses	: 0
3600.04/3598.51	c No decision after first conflict	: false
3600.04/3598.51	c number of reductions to clauses (during analyze)	: 0
3600.04/3598.51	c number of learned constraints concerned by reduction	: 0
3600.04/3598.51	c number of learning phase by resolution	: 0
3600.04/3598.51	c number of learning phase by cutting planes	: 0
3600.04/3598.51	c number of rounding to 1 operations	: 0
3600.04/3598.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3598.51	c number of reductions of the coefficients by power 2 	: 0
3600.04/3598.51	c number of right shift for reduction by power 2 	: 0
3600.04/3598.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3598.51	c number of ending skipping 	: 0
3600.04/3598.51	c number of internal skipping 	: 0
3600.04/3598.51	c number of derivation steps 	: 0
3600.04/3598.51	c number of skipped derivation steps 	: 0
3600.04/3598.51	c number of remaining unassigned 	: 0
3600.04/3598.51	c number of remaining assigned 	: 0
3600.04/3598.51	c number of falsified literals weakened from reason	: 0
3600.04/3598.51	c number of falsified literals weakened from conflict	: 0
3600.04/3598.51	c time for arithmetic operations	: 0
3600.04/3598.52	c minimum degree of deleted constraints	: null
3600.04/3598.52	c maximum degree of deleted constraints	: null
3600.04/3598.52	c number of deleted constraints	: 0
3600.04/3598.52	c speed (assignments/second)	: 49014.19490188699
3600.04/3598.52	c non guided choices	: 380
3600.04/3598.52	c timeout
3600.04/3598.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306099
3600.04/3598.58	s UNKNOWN
3600.04/3598.58	c Total wall clock time (in seconds): 3598.458

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523800-1751605519/watcher-4523800-1751605519 -o /tmp/evaluation-result-4523800-1751605519/solver-4523800-1751605519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523800-1751605519.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 4.14 4.24 4.36 5/337 86773
/proc/meminfo: memFree=123723032/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=18930384 memory=57736 CPUtime=0.13 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 6613 0 0 0 11 2 0 0 20 0 18 0 76231832 19384713216 14434 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4732596 14434 5319 1 0 547641 0
[pid=86755/tid=86757] ppid=86752 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) D 86752 86755 85745 0 -1 4194368 5104 0 0 0 7 1 0 0 20 0 18 0 76231833 19384713216 14434 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 14434 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=18930384 memory=61784027586760 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 14434 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57736 KiB

[startup+0.205732 s]*
/proc/loadavg: 4.14 4.24 4.36 6/337 86773
/proc/meminfo: memFree=123702364/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=18930384 memory=78080 CPUtime=0.33 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 7655 0 0 0 31 2 0 0 20 0 18 0 76231832 19384713216 19520 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4732596 19520 5415 1 0 548451 0
[pid=86755/tid=86757] ppid=86752 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 5262 0 0 0 17 1 0 0 20 0 18 0 76231833 19384713216 19520 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 19520 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 19520 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 78080 KiB

[startup+0.30563 s]*
/proc/loadavg: 4.14 4.24 4.36 7/337 86773
/proc/meminfo: memFree=123661532/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=18930384 memory=115204 CPUtime=0.52 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 9373 0 0 0 49 3 0 0 20 0 18 0 76231832 19384713216 28801 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4732596 28801 5415 1 0 549428 0
[pid=86755/tid=86757] ppid=86752 vsize=18930384 memory=-6000919498476185191 CPUtime=0.27 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 5278 0 0 0 25 2 0 0 20 0 18 0 76231833 19384713216 28801 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 28801 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76231835 19384713216 28801 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 115204 KiB

[startup+0.700211 s]
/proc/loadavg: 4.14 4.24 4.36 7/338 86774
/proc/meminfo: memFree=123595996/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=189432 CPUtime=1.27 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 9983 0 0 0 123 4 0 0 20 0 20 0 76231832 19521036288 47358 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 47358 5511 1 0 550275 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=18816 CPUtime=0.57 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 5419 0 0 0 54 3 0 0 20 0 20 0 76231833 19521036288 47358 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 47358 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 47358 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189432 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.24 4.36 6/339 86775
/proc/meminfo: memFree=123570164/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=223512 CPUtime=2.83 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 16825 0 0 0 277 6 0 0 20 0 20 0 76231832 19521036288 55878 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 55878 5511 1 0 555024 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=3328 CPUtime=1.3 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 5456 0 0 0 127 3 0 0 20 0 20 0 76231833 19521036288 55878 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 55878 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 55878 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 55878 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 223512 KiB

[startup+3.10548 s]
/proc/loadavg: 4.14 4.24 4.36 5/339 86775
/proc/meminfo: memFree=123395448/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=394020 CPUtime=4.72 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 17551 0 0 0 461 11 0 0 20 0 20 0 76231832 19521036288 98505 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 98505 5511 1 0 991626 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=14720 CPUtime=2.88 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 5576 0 0 0 282 6 0 0 20 0 20 0 76231833 19521036288 98505 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 98505 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 98505 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 98505 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 394020 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.24 4.36 5/339 86775
/proc/meminfo: memFree=123276420/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=531180 CPUtime=7.98 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 19579 0 0 0 784 14 0 0 20 0 20 0 76231832 19521036288 132795 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 132795 5511 1 0 991655 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=0 CPUtime=6.04 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 6411 0 0 0 595 9 0 0 20 0 20 0 76231833 19521036288 132795 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 132795 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 132795 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=223512 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 132795 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 531180 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.23 4.35 5/339 86775
/proc/meminfo: memFree=122870924/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=904040 CPUtime=14.44 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 24746 0 0 0 1422 22 0 0 20 0 20 0 76231832 19521036288 226010 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 226010 5511 1 0 991657 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=223512 CPUtime=12.4 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 7692 0 0 0 1224 16 0 0 20 0 20 0 76231833 19521036288 226010 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=904040 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 226010 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 226010 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 226010 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 904040 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.24 4.35 5/340 86845
/proc/meminfo: memFree=122671084/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=2391160 CPUtime=27.41 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 32726 0 0 0 2687 54 0 0 20 0 20 0 76231832 19521036288 597790 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 597790 5543 1 0 991665 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=0 CPUtime=25.14 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 10348 0 0 0 2468 46 0 0 20 0 20 0 76231833 19521036288 597790 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=18816 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 597790 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 597790 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=132 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 597790 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 27.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2391160 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.22 4.34 5/340 86845
/proc/meminfo: memFree=122027272/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=2407548 CPUtime=52.99 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 34025 0 0 0 5244 55 0 0 20 0 20 0 76231832 19521036288 601887 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 601887 5543 1 0 991665 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=2407548 CPUtime=50.67 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 11543 0 0 0 5020 47 0 0 20 0 20 0 76231833 19521036288 601887 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=2407548 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 601887 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=2393208 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 601887 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0

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

/proc/meminfo: memFree=121657464/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3284.2 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 144050 0 0 0 328247 173 0 0 20 0 20 0 76231832 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881470 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=14720 CPUtime=3265.89 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 72919 0 0 0 326525 64 0 0 20 0 20 0 76231833 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3284.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3525880 KiB

[startup+3342.3 s]
/proc/loadavg: 2.52 3.17 3.66 3/289 87078
/proc/meminfo: memFree=123747520/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3344.12 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 146090 0 0 0 334235 177 0 0 20 0 20 0 76231832 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881470 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=18816 CPUtime=3325.63 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 74206 0 0 0 332496 67 0 0 20 0 20 0 76231833 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=18816 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3344.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3525880 KiB

[startup+3402.3 s]
/proc/loadavg: 2.24 2.97 3.56 3/289 87080
/proc/meminfo: memFree=123747616/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3404 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 148479 0 0 0 340221 179 0 0 20 0 20 0 76231832 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881470 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=18816 CPUtime=3385.42 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 75995 0 0 0 338475 67 0 0 20 0 20 0 76231833 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1750 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3404 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3525880 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.81 3.47 3/289 87082
/proc/meminfo: memFree=123747728/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3463.98 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 149982 0 0 0 346218 180 0 0 20 0 20 0 76231832 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881470 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=18816 CPUtime=3445.08 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 76683 0 0 0 344441 67 0 0 20 0 20 0 76231833 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3463.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3525880 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.68 3.38 3/289 87084
/proc/meminfo: memFree=123756072/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3523.87 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 151013 0 0 0 352205 182 0 0 20 0 20 0 76231832 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881470 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=3525880 CPUtime=3504.87 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 77661 0 0 0 350420 67 0 0 20 0 20 0 76231833 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=-4050210904893736342 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881470 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3523.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3525880 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.57 3.29 3/288 87086
/proc/meminfo: memFree=123755952/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3526008 CPUtime=3583.89 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 153776 0 0 0 358205 184 0 0 20 0 20 0 76231832 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881502 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=10880 CPUtime=3564.52 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 79200 0 0 0 356384 68 0 0 20 0 20 0 76231833 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3525880 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=3526008 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1850 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=-6000919498476185191 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3583.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.5 s]
/proc/loadavg: 2.21 2.57 3.28 2/263 87121
/proc/meminfo: memFree=125908228/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3526008 CPUtime=3600.04 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 154440 0 0 0 359819 185 0 0 20 0 20 0 76231832 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881502 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=14720 CPUtime=3580.67 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 79802 0 0 0 357999 68 0 0 20 0 20 0 76231833 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3526008 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=-6000919498476185191 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1850 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.87122 s

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

[startup+3598.5 s]
/proc/loadavg: 2.21 2.57 3.28 2/263 87121
/proc/meminfo: memFree=125908228/131250000 swapFree=33010416/33010684
[pid=86755] ppid=86752 vsize=19063512 memory=3526008 CPUtime=3600.04 cores=4,6
/proc/86755/stat : 86755 (java) S 86752 86755 85745 0 -1 4194304 154440 0 0 0 359819 185 0 0 20 0 20 0 76231832 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
/proc/86755/statm: 4765878 881502 5543 1 0 896547 0
[pid=86755/tid=86757] ppid=86752 vsize=19063512 memory=14720 CPUtime=3580.67 cores=4,6
/proc/86755/task/86757/stat : 86757 (java) R 86752 86755 85745 0 -1 4194368 79802 0 0 0 357999 68 0 0 20 0 20 0 76231833 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86766] ppid=86752 vsize=19063512 memory=3526008 CPUtime=0 cores=4,6
/proc/86755/task/86766/stat : 86766 (Finalizer) S 86752 86755 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86773] ppid=86752 vsize=19063512 memory=-6000919498476185191 CPUtime=0 cores=4,6
/proc/86755/task/86773/stat : 86773 (Common-Cleaner) S 86752 86755 85745 0 -1 4194368 1850 0 0 0 0 0 0 0 20 0 20 0 76231835 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
[pid=86755/tid=86775] ppid=86752 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/86755/task/86775/stat : 86775 (Timer-0) S 86752 86755 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76231900 19521036288 881502 18446744073709551615 94479029637120 94479029640816 140737428776432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94479029648632 94479029649424 94479046201344 140737428785537 140737428785638 140737428785638 140737428791240 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526008 KiB

Child status: 143

Real time (s): 3598.6
CPU time (s): 3600.19
CPU user time (s): 3598.32
CPU system time (s): 1.87122
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3850452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.87122
maximum resident set size= 3851220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111008
involuntary context switches= 6329


# summary of solver processes directly reported to runsolver:
#   pid: 86755
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.87122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40337 second user time and 16.6186 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 07:05:20
IDJOB=4523800
IDBENCH=180374
IDSOLVER=3363
FILE ID=nodeC027/4523800-1751605519
RUNJOBID= nodeC027-1751598323-85760
SLURM_JOB_ID= 9598871
Free space on /tmp= 431168 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523800-1751605519/watcher-4523800-1751605519 -o /tmp/evaluation-result-4523800-1751605519/solver-4523800-1751605519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523800-1751605519.opb

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

MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
RANDOM SEED=139911336

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123744384 kB
MemAvailable:   124081076 kB
Buffers:            2488 kB
Cached:          1135112 kB
SwapCached:           12 kB
Active:          6325996 kB
Inactive:         594572 kB
Active(anon):    5798232 kB
Inactive(anon):     2792 kB
Active(file):     527764 kB
Inactive(file):   591780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3612 kB
Writeback:             0 kB
AnonPages:       5786060 kB
Mapped:           124196 kB
Shmem:             18056 kB
KReclaimable:     112372 kB
Slab:             202688 kB
SReclaimable:     112372 kB
SUnreclaim:        90316 kB
KernelStack:        5184 kB
PageTables:        14952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7061112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5566464 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431180 MiB
End job on nodeC027 at 2025-07-04 08:05:18