Trace number 4513087

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.28 3610.05

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
MD5SUM1c3bde2857450970636e675d32ef1343
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark595.932
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.21	c os.arch		amd64
0.11/0.22	c Free memory 		2104792832
0.11/0.22	c Max memory 		16282288128
0.11/0.22	c Total memory 		2113929216
0.11/0.23	c Number of processors 	2
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c Expensive reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.33	c solving HOME/instance-4513087-1751211838.opb
0.44/0.33	c reading problem ... 
0.44/0.35	c using VERIPB proof format
0.44/0.35	c  no objective function found
1.10/0.77	c ... done. Wall clock time 0.425s.
1.10/0.77	c declared #vars     4128
1.10/0.77	c #constraints  10048
1.10/0.77	c constraints type 
1.10/0.77	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
1.10/0.77	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
1.10/0.77	c org.sat4j.specs.Constr$1 => 936
1.10/0.77	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
1.10/0.77	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
1.10/0.77	c 10048 constraints processed.
3.86/2.12	c cleaning 2495 clauses out of 4998 with flag 16324/5000
5.03/2.78	c cleaning 4236 clauses out of 8506 with flag 38577/11003
6.42/3.47	c cleaning 5631 clauses out of 11267 with flag 65411/18000
7.63/4.17	c cleaning 6803 clauses out of 13636 with flag 99131/26000
8.86/4.94	c cleaning 7899 clauses out of 15834 with flag 139451/35001
10.14/5.80	c cleaning 8957 clauses out of 17934 with flag 184645/45000
11.06/6.79	c cleaning 9970 clauses out of 19978 with flag 236332/56001
12.80/7.96	c cleaning 10975 clauses out of 22008 with flag 297036/68001
14.10/9.21	c cleaning 12011 clauses out of 24032 with flag 362549/81000
15.51/10.64	c cleaning 13002 clauses out of 26021 with flag 434880/95000
16.90/12.05	c cleaning 14003 clauses out of 28020 with flag 511781/110001
18.48/13.60	c cleaning 14986 clauses out of 30018 with flag 596645/126002
21.06/16.19	c cleaning 16002 clauses out of 32032 with flag 687244/143002
25.21/20.21	c cleaning 16993 clauses out of 34028 with flag 786778/161000
27.40/22.47	c cleaning 18007 clauses out of 36035 with flag 891254/180000
29.59/24.60	c cleaning 19004 clauses out of 38028 with flag 1003485/200000
31.69/26.78	c cleaning 20006 clauses out of 40025 with flag 1122600/221001
34.20/29.18	c cleaning 21004 clauses out of 42019 with flag 1246274/243001
36.89/32.03	c cleaning 21969 clauses out of 44014 with flag 1377818/266000
39.67/34.82	c cleaning 22967 clauses out of 46045 with flag 1513728/290000
42.46/37.68	c cleaning 23984 clauses out of 48078 with flag 1659831/315000
45.45/40.69	c cleaning 25033 clauses out of 50094 with flag 1811669/341000
48.84/43.96	c cleaning 26000 clauses out of 52061 with flag 1970737/368000
52.12/47.27	c cleaning 27006 clauses out of 54061 with flag 2139478/396000
55.62/50.74	c cleaning 28004 clauses out of 56055 with flag 2308798/425000
59.41/54.50	c cleaning 28957 clauses out of 58051 with flag 2486929/455000
63.20/58.36	c cleaning 30026 clauses out of 60096 with flag 2671397/486002
67.30/62.68	c cleaning 30970 clauses out of 62068 with flag 2862043/518000
71.71/67.10	c cleaning 32028 clauses out of 64098 with flag 3060906/551000
76.48/71.88	c cleaning 32999 clauses out of 66070 with flag 3261103/585000
81.46/76.84	c cleaning 34027 clauses out of 68071 with flag 3470659/620000
87.58/82.95	c cleaning 35011 clauses out of 70045 with flag 3682337/656001
92.86/88.27	c cleaning 35988 clauses out of 72033 with flag 3906733/693000
99.35/94.85	c cleaning 37009 clauses out of 74045 with flag 4138006/731000
105.19/100.78	c cleaning 37987 clauses out of 76036 with flag 4372007/770000
112.25/107.83	c cleaning 39010 clauses out of 78049 with flag 4616756/810000
118.64/114.21	c cleaning 40015 clauses out of 80040 with flag 4864891/851001
126.13/121.70	c cleaning 41004 clauses out of 82024 with flag 5119050/893000
133.16/129.01	c cleaning 41950 clauses out of 84020 with flag 5381177/936000
140.44/136.21	c cleaning 43020 clauses out of 86070 with flag 5650511/980000
147.96/143.72	c cleaning 44015 clauses out of 88050 with flag 5924241/1025000
155.64/151.43	c cleaning 45010 clauses out of 90035 with flag 6205266/1071000
164.44/160.40	c cleaning 45989 clauses out of 92025 with flag 6492078/1118000
172.63/168.67	c cleaning 46999 clauses out of 94036 with flag 6789559/1166000
181.40/177.42	c cleaning 48014 clauses out of 96038 with flag 7091028/1215001
190.61/186.84	c cleaning 49000 clauses out of 98023 with flag 7401052/1265000
199.72/195.99	c cleaning 50000 clauses out of 100023 with flag 7718310/1316000
209.70/205.92	c cleaning 50997 clauses out of 102023 with flag 8034677/1368000
220.06/216.59	c cleaning 51989 clauses out of 104027 with flag 8356196/1421001
231.15/227.67	c cleaning 53019 clauses out of 106038 with flag 8696361/1475001
241.43/237.92	c cleaning 53978 clauses out of 108019 with flag 9039350/1530001
252.19/248.97	c cleaning 55007 clauses out of 110040 with flag 9386456/1586000
263.19/260.00	c cleaning 55973 clauses out of 112035 with flag 9742808/1643002
274.65/271.42	c cleaning 57027 clauses out of 114060 with flag 10104273/1701000
287.95/285.01	c cleaning 58005 clauses out of 116033 with flag 10468052/1760000
300.22/297.20	c cleaning 59006 clauses out of 118029 with flag 10844460/1820001
313.27/310.42	c cleaning 59997 clauses out of 120024 with flag 11224562/1881002
327.14/324.39	c cleaning 61006 clauses out of 122025 with flag 11604449/1943000
340.20/337.46	c cleaning 61986 clauses out of 124022 with flag 11992310/2006003
353.60/351.00	c cleaning 63000 clauses out of 126033 with flag 12387373/2070000
369.12/366.42	c cleaning 63987 clauses out of 128034 with flag 12788496/2135001
383.27/380.73	c cleaning 65009 clauses out of 130046 with flag 13197266/2201000
399.18/396.60	c cleaning 65998 clauses out of 132037 with flag 13610778/2268000
415.50/413.07	c cleaning 67001 clauses out of 134039 with flag 14028553/2336000
431.68/429.13	c cleaning 67982 clauses out of 136038 with flag 14448894/2405000
447.72/445.33	c cleaning 69010 clauses out of 138056 with flag 14880476/2475000
465.70/463.44	c cleaning 70009 clauses out of 140047 with flag 15318311/2546001
482.13/479.87	c cleaning 70973 clauses out of 142037 with flag 15759109/2618000
500.27/498.05	c cleaning 71987 clauses out of 144065 with flag 16205139/2691001
517.71/515.59	c cleaning 73031 clauses out of 146079 with flag 16662588/2765002
537.98/535.94	c cleaning 73979 clauses out of 148046 with flag 17125345/2840000
557.99/556.08	c cleaning 75025 clauses out of 150067 with flag 17590720/2916000
577.86/575.95	c cleaning 76005 clauses out of 152042 with flag 18060258/2993000
598.47/596.60	c cleaning 77000 clauses out of 154037 with flag 18541399/3071000
618.31/616.57	c cleaning 77989 clauses out of 156040 with flag 19029436/3150003
639.17/637.57	c cleaning 78969 clauses out of 158049 with flag 19522426/3230001
659.65/658.18	c cleaning 80025 clauses out of 160079 with flag 20023389/3311000
681.40/679.81	c cleaning 80985 clauses out of 162055 with flag 20524575/3393001
702.01/700.48	c cleaning 82021 clauses out of 164070 with flag 21028812/3476001
726.03/724.60	c cleaning 83000 clauses out of 166048 with flag 21543401/3560000
748.68/747.38	c cleaning 84018 clauses out of 168048 with flag 22064649/3645000
773.04/771.71	c cleaning 85000 clauses out of 170030 with flag 22590367/3731000
795.85/794.58	c cleaning 85935 clauses out of 172030 with flag 23120840/3818000
819.57/818.33	c cleaning 87040 clauses out of 174095 with flag 23660419/3906000
844.66/843.65	c cleaning 88028 clauses out of 176055 with flag 24200427/3995000
871.11/870.39	c cleaning 88972 clauses out of 178027 with flag 24750608/4085000
895.60/894.98	c cleaning 90006 clauses out of 180055 with flag 25306539/4176000
920.35/919.76	c cleaning 91008 clauses out of 182049 with flag 25872452/4268000
947.63/947.16	c cleaning 92003 clauses out of 184042 with flag 26437051/4361001
974.24/973.89	c cleaning 92999 clauses out of 186038 with flag 27007988/4455000
1001.95/1001.64	c cleaning 94015 clauses out of 188039 with flag 27590807/4550000
1029.37/1029.15	c cleaning 94964 clauses out of 190026 with flag 28176686/4646002
1058.93/1058.82	c cleaning 95995 clauses out of 192060 with flag 28764758/4743000
1089.38/1089.43	c cleaning 96995 clauses out of 194065 with flag 29362773/4841000
1119.55/1119.79	c cleaning 98012 clauses out of 196070 with flag 29958252/4940000
1149.09/1149.30	c cleaning 99010 clauses out of 198058 with flag 30562700/5040000
1180.72/1180.82	c cleaning 100018 clauses out of 200049 with flag 31175632/5141001
1212.30/1212.53	c cleaning 100979 clauses out of 202030 with flag 31793715/5243000
1244.15/1244.60	c cleaning 101996 clauses out of 204051 with flag 32416761/5346000
1277.55/1278.28	c cleaning 103024 clauses out of 206056 with flag 33046453/5450001
1311.91/1312.78	c cleaning 103989 clauses out of 208032 with flag 33676370/5555001
1346.07/1347.02	c cleaning 105005 clauses out of 210042 with flag 34313184/5661000
1379.67/1380.77	c cleaning 106004 clauses out of 212038 with flag 34960158/5768001
1413.34/1414.58	c cleaning 107017 clauses out of 214033 with flag 35610676/5876000
1448.58/1449.96	c cleaning 107942 clauses out of 216016 with flag 36272053/5985000
1485.74/1487.27	c cleaning 109014 clauses out of 218074 with flag 36934675/6095000
1522.30/1523.90	c cleaning 109986 clauses out of 220061 with flag 37612251/6206001
1561.00/1562.64	c cleaning 111024 clauses out of 222074 with flag 38292359/6318000
1598.82/1600.77	c cleaning 112017 clauses out of 224050 with flag 38975939/6431000
1638.00/1640.04	c cleaning 112992 clauses out of 226033 with flag 39666748/6545000
1676.58/1678.63	c cleaning 113992 clauses out of 228042 with flag 40358710/6660001
1718.15/1720.41	c cleaning 114968 clauses out of 230049 with flag 41064725/6776000
1758.98/1761.55	c cleaning 115998 clauses out of 232081 with flag 41773571/6893000
1801.70/1804.32	c cleaning 116995 clauses out of 234083 with flag 42491084/7011000
1843.27/1846.16	c cleaning 117995 clauses out of 236088 with flag 43211507/7130000
1885.72/1888.72	c cleaning 119021 clauses out of 238094 with flag 43937741/7250001
1928.52/1931.63	c cleaning 120018 clauses out of 240073 with flag 44670719/7371001
1972.52/1975.90	c cleaning 121006 clauses out of 242054 with flag 45406365/7493000
2015.80/2019.48	c cleaning 121977 clauses out of 244049 with flag 46152357/7616001
2059.74/2063.61	c cleaning 123017 clauses out of 246072 with flag 46899180/7740001
2106.80/2110.90	c cleaning 124014 clauses out of 248055 with flag 47656955/7865001
2153.88/2157.83	c cleaning 125003 clauses out of 250040 with flag 48412288/7991000
2203.61/2207.79	c cleaning 125950 clauses out of 252038 with flag 49177970/8118001
2253.43/2257.84	c cleaning 126977 clauses out of 254087 with flag 49940604/8246000
2302.35/2307.03	c cleaning 128038 clauses out of 256110 with flag 50711418/8375000
2349.75/2354.56	c cleaning 128981 clauses out of 258073 with flag 51494101/8505001
2399.08/2404.14	c cleaning 130032 clauses out of 260091 with flag 52279274/8636000
2448.34/2453.56	c cleaning 130992 clauses out of 262059 with flag 53064220/8768000
2500.64/2506.11	c cleaning 132004 clauses out of 264067 with flag 53864280/8901000
2552.26/2557.93	c cleaning 133013 clauses out of 266066 with flag 54667669/9035003
2604.81/2610.60	c cleaning 134007 clauses out of 268050 with flag 55473815/9170000
2658.08/2664.16	c cleaning 134988 clauses out of 270045 with flag 56286531/9306002
2715.49/2721.82	c cleaning 136019 clauses out of 272056 with flag 57101635/9443001
2771.37/2777.95	c cleaning 136983 clauses out of 274036 with flag 57927539/9581000
2827.29/2834.14	c cleaning 137988 clauses out of 276055 with flag 58752870/9720002
2883.34/2890.41	c cleaning 139017 clauses out of 278065 with flag 59585089/9860000
2940.88/2948.07	c cleaning 139984 clauses out of 280048 with flag 60429924/10001000
2998.03/3005.53	c cleaning 141000 clauses out of 282065 with flag 61276765/10143001
3057.28/3065.06	c cleaning 141964 clauses out of 284065 with flag 62140867/10286001
3117.39/3125.44	c cleaning 143033 clauses out of 286101 with flag 63005559/10430001
3177.25/3185.55	c cleaning 144030 clauses out of 288068 with flag 63868107/10575001
3237.58/3246.19	c cleaning 144964 clauses out of 290037 with flag 64737726/10721000
3300.05/3308.97	c cleaning 146017 clauses out of 292074 with flag 65616975/10868001
3362.82/3371.98	c cleaning 147024 clauses out of 294056 with flag 66497949/11016000
3426.09/3435.42	c cleaning 148000 clauses out of 296033 with flag 67379273/11165001
3489.45/3498.90	c cleaning 149003 clauses out of 298032 with flag 68273797/11315000
3554.66/3564.36	c cleaning 149986 clauses out of 300030 with flag 69170129/11466001
3600.01/3609.82	c timeout
3600.01/3609.84	c starts		: 102937
3600.01/3609.85	c conflicts		: 11578875
3600.01/3609.85	c decisions		: 94980383
3600.01/3609.85	c propagations		: 1466059878
3600.01/3609.85	c inspects		: 33657648839
3600.01/3609.85	c shortcuts		: 0
3600.01/3609.85	c learnt literals	: 2
3600.01/3609.85	c learnt binary clauses	: 81
3600.01/3609.85	c learnt ternary clauses	: 1108
3600.01/3609.86	c learnt constraints	: 11578873
3600.01/3609.86	c ignored constraints	: 0
3600.01/3609.86	c root simplifications	: 0
3600.01/3609.86	c removed literals (reason simplification)	: 11624954
3600.01/3609.86	c reason swapping (by a shorter reason)	: 0
3600.01/3609.86	c Calls to reduceDB	: 147
3600.01/3609.86	c Number of update (reduction) of LBD	: 2459725
3600.01/3609.86	c Imported unit clauses	: 0
3600.01/3609.86	c No decision after first conflict	: false
3600.01/3609.86	c number of reductions to clauses (during analyze)	: 0
3600.01/3609.86	c number of learned constraints concerned by reduction	: 0
3600.01/3609.86	c number of learning phase by resolution	: 0
3600.01/3609.86	c number of learning phase by cutting planes	: 0
3600.01/3609.86	c number of rounding to 1 operations	: 0
3600.01/3609.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3609.86	c number of reductions of the coefficients by power 2 	: 0
3600.01/3609.86	c number of right shift for reduction by power 2 	: 0
3600.01/3609.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3609.86	c number of ending skipping 	: 0
3600.01/3609.86	c number of internal skipping 	: 0
3600.01/3609.86	c number of derivation steps 	: 0
3600.01/3609.86	c number of skipped derivation steps 	: 0
3600.01/3609.86	c number of remaining unassigned 	: 0
3600.01/3609.86	c number of remaining assigned 	: 0
3600.01/3609.86	c number of falsified literals weakened from reason	: 0
3600.01/3609.86	c number of falsified literals weakened from conflict	: 0
3600.01/3609.86	c time for arithmetic operations	: 0
3600.01/3609.86	c minimum degree of deleted constraints	: null
3600.01/3609.86	c maximum degree of deleted constraints	: null
3600.01/3609.86	c number of deleted constraints	: 0
3600.01/3609.87	c speed (assignments/second)	: 406215.1927143598
3600.01/3609.87	c non guided choices	: 26995
3600.15/3610.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 262837
3600.15/3610.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 81
3600.25/3610.01	s UNKNOWN
3600.25/3610.01	c Total wall clock time (in seconds): 3609.685

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: 63837 MiB (58289 MiB free)
  memory of node 1: 64465 MiB (63934 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=27974, runsolver pid=27971
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 4.13 4.14 4.11 8/325 27992
/proc/meminfo: memFree=125135136/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=18930384 memory=48400 CPUtime=0.11 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 5786 0 0 0 8 3 0 0 20 0 18 0 36863140 19384713216 12100 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4732596 12100 5338 1 0 546989 0
[pid=27974/tid=27976] ppid=27971 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 4682 0 0 0 4 2 0 0 20 0 18 0 36863142 19384713216 12164 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36863146 19384713216 12164 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36863147 19384713216 12164 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48400 KiB

[startup+0.218952 s]*
/proc/loadavg: 4.13 4.14 4.11 9/325 27992
/proc/meminfo: memFree=125113208/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=18930384 memory=55476 CPUtime=0.28 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 6488 0 0 0 24 4 0 0 20 0 18 0 36863140 19384713216 13869 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4732596 13869 5370 1 0 547572 0
[pid=27974/tid=27976] ppid=27971 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 4997 0 0 0 15 3 0 0 20 0 18 0 36863142 19384713216 13869 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36863146 19384713216 13869 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36863147 19384713216 13869 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55476 KiB

[startup+0.314184 s]*
/proc/loadavg: 4.13 4.14 4.11 8/325 27992
/proc/meminfo: memFree=125099912/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=18930384 memory=58884 CPUtime=0.44 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 6768 0 0 0 40 4 0 0 20 0 18 0 36863140 19384713216 14721 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4732596 14721 5434 1 0 547771 0
[pid=27974/tid=27976] ppid=27971 vsize=18930384 memory=-6000919502737466733 CPUtime=0.26 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 5191 0 0 0 23 3 0 0 20 0 18 0 36863142 19384713216 14721 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36863146 19384713216 14721 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36863147 19384713216 14721 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58884 KiB

[startup+0.701235 s]
/proc/loadavg: 4.13 4.14 4.11 10/326 27993
/proc/meminfo: memFree=125082104/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=18930384 memory=80736 CPUtime=1.1 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 8565 0 0 0 103 7 0 0 20 0 18 0 36863140 19384713216 20184 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4732596 20184 5434 1 0 548998 0
[pid=27974/tid=27976] ppid=27971 vsize=18930384 memory=17280 CPUtime=0.52 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 5316 0 0 0 48 4 0 0 20 0 18 0 36863142 19384713216 20184 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36863146 19384713216 20184 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36863147 19384713216 20184 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 80736 KiB

[startup+1.50027 s]
/proc/loadavg: 4.13 4.14 4.11 8/327 27994
/proc/meminfo: memFree=125010272/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=18996948 memory=140168 CPUtime=2.67 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 19886 0 0 0 256 11 0 0 20 0 19 0 36863140 19452874752 35042 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4749237 35042 5434 1 0 553536 0
[pid=27974/tid=27976] ppid=27971 vsize=18996948 memory=3200 CPUtime=1.22 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 5782 0 0 0 117 5 0 0 20 0 19 0 36863142 19452874752 35042 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36863146 19452874752 35042 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 36863147 19452874752 35042 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36863219 19452874752 35042 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140168 KiB

[startup+3.10599 s]
/proc/loadavg: 4.28 4.18 4.12 7/329 27996
/proc/meminfo: memFree=124814560/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=180784 CPUtime=5.84 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 25292 0 0 0 570 14 0 0 20 0 20 0 36863140 19521036288 45196 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 45196 5466 1 0 554443 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=14720 CPUtime=2.74 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 6765 0 0 0 267 7 0 0 20 0 20 0 36863142 19521036288 45196 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 45196 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 45196 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 45196 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180784 KiB

[startup+6.30021 s]
/proc/loadavg: 4.28 4.18 4.12 5/329 27996
/proc/meminfo: memFree=124452180/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=362376 CPUtime=10.66 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 33239 0 0 0 1046 20 0 0 20 0 20 0 36863140 19521036288 90594 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 90594 5498 1 0 555033 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=0 CPUtime=5.88 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 7222 0 0 0 576 12 0 0 20 0 20 0 36863142 19521036288 90594 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 90594 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 90594 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=147388 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 90594 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 10.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 362376 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.11 5/329 27996
/proc/meminfo: memFree=122814640/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=856276 CPUtime=17.59 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 36995 0 0 0 1727 32 0 0 20 0 20 0 36863140 19521036288 214069 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 214069 5498 1 0 555051 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=147388 CPUtime=12.17 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 8797 0 0 0 1193 24 0 0 20 0 20 0 36863142 19521036288 214069 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=856276 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 214069 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 214069 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 214069 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 856276 KiB

[startup+25.5005 s]
/proc/loadavg: 4.27 4.18 4.12 5/329 27996
/proc/meminfo: memFree=121237344/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=1308992 CPUtime=30.5 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 42207 0 0 0 3004 46 0 0 20 0 20 0 36863140 19521036288 327248 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 327248 5498 1 0 555051 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=0 CPUtime=24.81 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 10241 0 0 0 2445 36 0 0 20 0 20 0 36863142 19521036288 327248 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 327248 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=1308992 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 327248 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=1089844 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 327248 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 30.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308992 KiB

[startup+51.1135 s]
/proc/loadavg: 4.32 4.20 4.12 5/329 27997
/proc/meminfo: memFree=120814248/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=1325432 CPUtime=56.03 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 46199 0 0 0 5545 58 0 0 20 0 20 0 36863140 19521036288 331358 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 331358 5498 1 0 555051 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=1308992 CPUtime=50 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 11045 0 0 0 4954 46 0 0 20 0 20 0 36863142 19521036288 331358 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 331358 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 331358 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0

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

/proc/meminfo: memFree=104717904/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3273.51 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 118439 0 0 0 326415 936 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=4252 CPUtime=3242.63 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 50335 0 0 0 323525 738 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 1600 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.22 4.17 5/334 28313
/proc/meminfo: memFree=104421304/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3333.37 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 120195 0 0 0 332389 948 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3302.06 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 51379 0 0 0 329458 748 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 1691 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/334 28319
/proc/meminfo: memFree=104134012/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3393.08 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 120442 0 0 0 338346 962 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=4252 CPUtime=3361.66 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 51526 0 0 0 335406 760 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/334 28322
/proc/meminfo: memFree=103813088/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3452.92 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 121274 0 0 0 344316 976 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=4252 CPUtime=3421.16 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 52314 0 0 0 341345 771 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=-6000919502737466733 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/334 28324
/proc/meminfo: memFree=103507636/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3512.79 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 123307 0 0 0 350290 989 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3480.55 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 53437 0 0 0 347274 781 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=-6000919502737466733 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/335 28327
/proc/meminfo: memFree=103209268/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3572.61 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 124741 0 0 0 356259 1002 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=14720 CPUtime=3540.09 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 54302 0 0 0 353217 792 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=19584 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 2046 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=2602724 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.22 4.18 4.17 6/332 28395
/proc/meminfo: memFree=110332588/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19063512 memory=2602724 CPUtime=3600.01 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 124757 0 0 0 358992 1009 0 0 20 0 20 0 36863140 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4765878 650681 5530 1 0 664553 0
[pid=27974/tid=27976] ppid=27971 vsize=19063512 memory=4252 CPUtime=3567.25 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) R 27971 27974 27382 0 -1 4194368 54302 0 0 0 355929 796 0 0 20 0 20 0 36863142 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36863146 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19063512 memory=-6000919502737466733 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 2046 0 0 0 0 0 0 0 20 0 20 0 36863147 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27994] ppid=27971 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27974/task/27994/stat : 27994 (Timer-0) S 27971 27974 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36863219 19521036288 650681 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2602724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.16 s, system=10.1181 s

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

[startup+3610 s]*
/proc/loadavg: 4.22 4.18 4.17 5/333 28398
/proc/meminfo: memFree=110328244/131382112 swapFree=33010684/33010684
[pid=27974] ppid=27971 vsize=19263204 memory=2603620 CPUtime=3600.25 cores=5,7
/proc/27974/stat : 27974 (java) S 27971 27974 27382 0 -1 4194304 127363 0 0 0 359016 1009 0 0 20 0 21 0 36863140 19725520896 650905 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
/proc/27974/statm: 4815801 650905 5530 1 0 665511 0
[pid=27974/tid=27976] ppid=27971 vsize=19263204 memory=5240 CPUtime=3567.28 cores=5,7
/proc/27974/task/27976/stat : 27976 (java) S 27971 27974 27382 0 -1 4194368 54712 0 0 0 355931 797 0 0 20 0 21 0 36863142 19725520896 650905 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27985] ppid=27971 vsize=19263204 memory=-6000919498442892397 CPUtime=0 cores=5,7
/proc/27974/task/27985/stat : 27985 (Finalizer) S 27971 27974 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 36863146 19725520896 650905 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=27992] ppid=27971 vsize=19263204 memory=2212 CPUtime=0 cores=5,7
/proc/27974/task/27992/stat : 27992 (Common-Cleaner) S 27971 27974 27382 0 -1 4194368 2046 0 0 0 0 0 0 0 20 0 21 0 36863147 19725520896 650905 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
[pid=27974/tid=28398] ppid=27971 vsize=19263204 memory=2688 CPUtime=0.14 cores=5,7
/proc/27974/task/28398/stat : 28398 (Thread-0) R 27971 27974 27382 0 -1 4194368 309 0 0 0 14 0 0 0 20 0 21 0 37224122 19725520896 650905 18446744073709551615 94667613106176 94667613109872 140734494227344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94667613117688 94667613118480 94667619475456 140734494234928 140734494235110 140734494235110 140734494240712 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2603620 KiB

Child status: 143

Real time (s): 3610.05
CPU time (s): 3600.28
CPU user time (s): 3590.16
CPU system time (s): 10.1181
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2603620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.16
system time used= 10.1181
maximum resident set size= 2603876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10557152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113540
involuntary context switches= 14306


# summary of solver processes directly reported to runsolver:
#   pid: 27974
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3590.16
#   total CPU system time (s): 10.1181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5614 second user time and 37.7391 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 17:43:58
IDJOB=4513087
IDBENCH=162262
IDSOLVER=3364
FILE ID=nodeC005/4513087-1751211838
RUNJOBID= nodeC005-1751208227-27395
SLURM_JOB_ID= 9587639
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513087-1751211838/watcher-4513087-1751211838 -o /tmp/evaluation-result-4513087-1751211838/solver-4513087-1751211838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751208227-27395 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513087-1751211838 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513087-1751211838.opb

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

MD5SUM BENCH= 1c3bde2857450970636e675d32ef1343
RANDOM SEED=327822147

nodeC005 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	: 0xb00001f
cpu MHz		: 3515.545
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125157628 kB
MemAvailable:   127815772 kB
Buffers:            3280 kB
Cached:          3465152 kB
SwapCached:            0 kB
Active:          2496332 kB
Inactive:        3217216 kB
Active(anon):    2263124 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):  3217216 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17004 kB
Writeback:             0 kB
AnonPages:       2248572 kB
Mapped:           122240 kB
Shmem:             17960 kB
KReclaimable:      94696 kB
Slab:             177324 kB
SReclaimable:      94696 kB
SUnreclaim:        82628 kB
KernelStack:        4960 kB
PageTables:         7952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7033228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2066432 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC005 at 2025-06-29 18:44:08