Trace number 4509725

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.33 3626.83

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
MD5SUM70456d73d2f29031b06a5b292ce0fc7b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark57.2992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints252
Number of constraints which are clauses252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.22	c Free memory 		2104792832
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2113929216
0.29/0.23	c Number of processors 	2
0.29/0.32	c Pseudo Boolean Optimization by upper bound
0.29/0.32	c --- Begin Solver configuration ---
0.29/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.32	c Learn all clauses as in MiniSAT
0.29/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	c Expensive reason simplification
0.29/0.32	c Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	c timeout=2147483s
0.29/0.32	c DB Simplification allowed=false
0.29/0.32	c Listener: none
0.29/0.32	c --- End Solver configuration ---
0.29/0.32	c solving HOME/instance-4509725-1751194144.opb
0.29/0.32	c reading problem ... 
0.45/0.33	c using VERIPB proof format
0.45/0.33	c  no objective function found
0.45/0.39	c ... done. Wall clock time 0.064s.
0.45/0.39	c declared #vars     121
0.45/0.39	c #constraints  252
0.45/0.39	c constraints type 
0.45/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.45/0.39	c 252 constraints processed.
2.33/1.35	c cleaning 2496 clauses out of 5002 with flag 40275/5002
3.31/1.80	c cleaning 4249 clauses out of 8504 with flag 87234/11000
4.05/2.26	c cleaning 5625 clauses out of 11255 with flag 142204/18000
4.64/2.65	c cleaning 6810 clauses out of 13631 with flag 204635/26001
5.21/3.10	c cleaning 7907 clauses out of 15822 with flag 275881/35002
5.82/3.66	c cleaning 8951 clauses out of 17913 with flag 364111/45000
6.79/4.17	c cleaning 9977 clauses out of 19962 with flag 448884/56000
7.63/4.68	c cleaning 10986 clauses out of 21987 with flag 532151/68002
8.43/5.40	c cleaning 11988 clauses out of 23999 with flag 637366/81000
9.33/6.32	c cleaning 12997 clauses out of 26012 with flag 742101/95001
10.22/7.22	c cleaning 14005 clauses out of 28015 with flag 861844/110001
11.21/8.25	c cleaning 14997 clauses out of 30009 with flag 984627/126000
12.59/9.51	c cleaning 15996 clauses out of 32013 with flag 1122467/143001
14.03/10.90	c cleaning 16996 clauses out of 34016 with flag 1260872/161000
16.01/12.93	c cleaning 18001 clauses out of 36021 with flag 1393635/180001
17.90/14.88	c cleaning 19001 clauses out of 38019 with flag 1537879/200000
19.50/16.48	c cleaning 20003 clauses out of 40020 with flag 1682462/221002
21.29/18.24	c cleaning 20998 clauses out of 42015 with flag 1851073/243000
23.29/20.20	c cleaning 22000 clauses out of 44019 with flag 2031324/266002
25.28/22.24	c cleaning 23003 clauses out of 46018 with flag 2212947/290001
27.37/24.36	c cleaning 23991 clauses out of 48014 with flag 2402047/315000
29.48/26.40	c cleaning 25006 clauses out of 50025 with flag 2603880/341002
31.77/28.70	c cleaning 26003 clauses out of 52017 with flag 2788744/368000
34.22/31.28	c cleaning 26997 clauses out of 54014 with flag 2981421/396000
37.03/34.02	c cleaning 28001 clauses out of 56018 with flag 3186591/425001
40.02/37.05	c cleaning 28999 clauses out of 58017 with flag 3401916/455001
43.01/40.06	c cleaning 29998 clauses out of 60017 with flag 3634658/486000
46.20/43.26	c cleaning 30998 clauses out of 62019 with flag 3902574/518000
49.59/46.64	c cleaning 32009 clauses out of 64023 with flag 4185770/551002
53.38/50.40	c cleaning 33002 clauses out of 66012 with flag 4451446/585000
57.46/54.59	c cleaning 33994 clauses out of 68013 with flag 4732776/620003
61.85/58.99	c cleaning 35002 clauses out of 70016 with flag 5011096/656000
66.31/63.42	c cleaning 36002 clauses out of 72014 with flag 5281132/693000
70.40/67.57	c cleaning 36995 clauses out of 74012 with flag 5562551/731000
74.80/71.98	c cleaning 37999 clauses out of 76017 with flag 5859135/770000
79.10/76.28	c cleaning 39003 clauses out of 78018 with flag 6167045/810000
83.78/80.99	c cleaning 39999 clauses out of 80015 with flag 6494540/851000
89.08/86.23	c cleaning 40995 clauses out of 82016 with flag 6828059/893000
93.57/90.72	c cleaning 42002 clauses out of 84021 with flag 7146287/936000
98.84/96.04	c cleaning 43003 clauses out of 86019 with flag 7505413/980000
104.61/101.83	c cleaning 44002 clauses out of 88016 with flag 7872884/1025000
110.30/107.51	c cleaning 44998 clauses out of 90014 with flag 8212531/1071000
115.98/113.25	c cleaning 46004 clauses out of 92016 with flag 8548074/1118000
123.36/120.61	c cleaning 46997 clauses out of 94013 with flag 8922056/1166001
130.73/128.06	c cleaning 47997 clauses out of 96016 with flag 9309296/1215001
137.60/134.98	c cleaning 49003 clauses out of 98019 with flag 9700850/1265001
144.37/141.76	c cleaning 49997 clauses out of 100015 with flag 10095606/1316000
151.36/148.77	c cleaning 51004 clauses out of 102019 with flag 10485519/1368001
158.67/156.19	c cleaning 52003 clauses out of 104015 with flag 10882363/1421001
166.35/163.83	c cleaning 53000 clauses out of 106011 with flag 11280030/1475000
175.63/173.18	c cleaning 54000 clauses out of 108011 with flag 11729418/1530000
183.70/181.24	c cleaning 54996 clauses out of 110012 with flag 12121006/1586001
192.46/190.02	c cleaning 55999 clauses out of 112015 with flag 12543672/1643000
200.93/198.59	c cleaning 57000 clauses out of 114016 with flag 12954440/1701000
210.60/208.26	c cleaning 57998 clauses out of 116017 with flag 13382121/1760001
219.66/217.38	c cleaning 58996 clauses out of 118018 with flag 13822905/1820000
229.35/227.10	c cleaning 60004 clauses out of 120022 with flag 14265285/1881000
240.61/238.32	c cleaning 61000 clauses out of 122019 with flag 14734320/1943001
251.16/249.00	c cleaning 61996 clauses out of 124018 with flag 15215093/2006000
262.35/260.15	c cleaning 63002 clauses out of 126022 with flag 15670199/2070000
273.80/271.69	c cleaning 63998 clauses out of 128021 with flag 16140462/2135001
284.26/282.15	c cleaning 65004 clauses out of 130025 with flag 16627006/2201003
295.61/293.59	c cleaning 66002 clauses out of 132019 with flag 17109984/2268001
307.27/305.24	c cleaning 66999 clauses out of 134016 with flag 17606139/2336000
319.52/317.59	c cleaning 68004 clauses out of 136018 with flag 18109664/2405001
333.78/331.83	c cleaning 68997 clauses out of 138014 with flag 18627574/2475001
346.63/344.70	c cleaning 70002 clauses out of 140016 with flag 19125787/2546000
359.39/357.55	c cleaning 71001 clauses out of 142014 with flag 19614347/2618000
373.24/371.41	c cleaning 72004 clauses out of 144013 with flag 20147551/2691000
386.60/384.82	c cleaning 73003 clauses out of 146011 with flag 20674245/2765002
401.43/400.74	c cleaning 73997 clauses out of 148006 with flag 21186749/2840000
416.58/415.97	c cleaning 74997 clauses out of 150009 with flag 21703223/2916000
432.64/432.07	c cleaning 76001 clauses out of 152012 with flag 22232929/2993000
447.59/447.11	c cleaning 76999 clauses out of 154012 with flag 22791030/3071001
464.91/464.46	c cleaning 78000 clauses out of 156013 with flag 23365742/3150001
483.37/482.97	c cleaning 79001 clauses out of 158012 with flag 23970286/3230000
501.01/500.65	c cleaning 79995 clauses out of 160011 with flag 24565272/3311000
518.65/518.39	c cleaning 81001 clauses out of 162016 with flag 25129834/3393000
536.48/536.27	c cleaning 82006 clauses out of 164017 with flag 25693293/3476002
554.82/554.63	c cleaning 82998 clauses out of 166009 with flag 26279084/3560000
573.66/573.56	c cleaning 84000 clauses out of 168011 with flag 26866600/3645000
598.27/598.23	c cleaning 84998 clauses out of 170013 with flag 27476712/3731002
616.31/616.31	c cleaning 86002 clauses out of 172014 with flag 28067156/3818001
635.15/635.26	c cleaning 86990 clauses out of 174012 with flag 28672771/3906001
655.18/655.34	c cleaning 88000 clauses out of 176021 with flag 29275814/3995000
675.42/675.62	c cleaning 89005 clauses out of 178021 with flag 29888553/4085000
696.24/696.70	c cleaning 90005 clauses out of 180017 with flag 30540254/4176001
719.92/721.29	c cleaning 91001 clauses out of 182011 with flag 31147413/4268000
742.14/743.50	c cleaning 91997 clauses out of 184010 with flag 31757685/4361000
763.09/764.59	c cleaning 92998 clauses out of 186013 with flag 32359064/4455000
785.11/786.67	c cleaning 94005 clauses out of 188015 with flag 32962812/4550000
810.38/811.90	c cleaning 95001 clauses out of 190012 with flag 33578084/4646002
834.61/836.25	c cleaning 95998 clauses out of 192009 with flag 34220375/4743000
858.35/860.06	c cleaning 97001 clauses out of 194012 with flag 34875604/4841001
882.90/884.67	c cleaning 97998 clauses out of 196010 with flag 35541046/4940000
909.41/911.23	c cleaning 99001 clauses out of 198012 with flag 36191188/5040000
936.82/938.71	c cleaning 100000 clauses out of 200012 with flag 36846413/5141001
965.06/967.13	c cleaning 101004 clauses out of 202014 with flag 37513907/5243003
996.34/998.51	c cleaning 101999 clauses out of 204008 with flag 38221345/5346001
1024.96/1027.26	c cleaning 103000 clauses out of 206008 with flag 38911965/5450000
1053.27/1055.64	c cleaning 103997 clauses out of 208008 with flag 39614770/5555000
1082.48/1084.98	c cleaning 105001 clauses out of 210011 with flag 40317351/5661000
1110.59/1113.11	c cleaning 106002 clauses out of 212013 with flag 40994353/5768003
1141.38/1144.04	c cleaning 106997 clauses out of 214009 with flag 41675638/5876001
1171.38/1174.19	c cleaning 107993 clauses out of 216011 with flag 42384116/5985000
1202.93/1205.79	c cleaning 109002 clauses out of 218019 with flag 43086458/6095001
1236.14/1239.03	c cleaning 110000 clauses out of 220016 with flag 43810408/6206000
1270.91/1273.91	c cleaning 111001 clauses out of 222017 with flag 44510611/6318001
1306.81/1309.92	c cleaning 112002 clauses out of 224015 with flag 45254769/6431000
1343.00/1346.20	c cleaning 113004 clauses out of 226016 with flag 46011591/6545003
1377.67/1380.91	c cleaning 113999 clauses out of 228009 with flag 46749722/6660000
1411.84/1415.29	c cleaning 114996 clauses out of 230010 with flag 47469913/6776000
1447.22/1450.75	c cleaning 116000 clauses out of 232014 with flag 48240037/6893000
1483.67/1487.32	c cleaning 116996 clauses out of 234014 with flag 48999942/7011000
1517.05/1520.82	c cleaning 117997 clauses out of 236018 with flag 49786736/7130000
1554.18/1558.15	c cleaning 118997 clauses out of 238022 with flag 50562175/7250001
1596.27/1600.40	c cleaning 120006 clauses out of 240024 with flag 51343811/7371000
1632.36/1636.66	c cleaning 121004 clauses out of 242019 with flag 52138932/7493001
1673.94/1678.31	c cleaning 121995 clauses out of 244014 with flag 52926575/7616000
1716.21/1720.74	c cleaning 122999 clauses out of 246020 with flag 53726848/7740001
1758.14/1762.73	c cleaning 124003 clauses out of 248020 with flag 54541980/7865000
1804.00/1808.75	c cleaning 125009 clauses out of 250019 with flag 55364880/7991002
1849.67/1854.47	c cleaning 125988 clauses out of 252008 with flag 56147566/8118000
1893.93/1898.81	c cleaning 127004 clauses out of 254022 with flag 56969515/8246002
1939.73/1944.77	c cleaning 128002 clauses out of 256018 with flag 57779649/8375002
1988.16/1993.35	c cleaning 128999 clauses out of 258015 with flag 58596410/8505001
2032.11/2037.40	c cleaning 129998 clauses out of 260015 with flag 59384045/8636000
2081.50/2086.91	c cleaning 131000 clauses out of 262019 with flag 60257343/8768002
2132.23/2137.87	c cleaning 132001 clauses out of 264019 with flag 61083779/8901002
2184.21/2190.04	c cleaning 132995 clauses out of 266016 with flag 61942657/9035000
2234.66/2240.68	c cleaning 134004 clauses out of 268021 with flag 62789124/9170000
2286.45/2299.90	c cleaning 135002 clauses out of 270018 with flag 63658095/9306001
2335.56/2352.62	c cleaning 136002 clauses out of 272015 with flag 64521119/9443000
2386.87/2404.06	c cleaning 136999 clauses out of 274014 with flag 65374812/9581001
2439.56/2456.95	c cleaning 138004 clauses out of 276015 with flag 66266539/9720001
2491.19/2508.63	c cleaning 138997 clauses out of 278010 with flag 67129857/9860000
2546.51/2566.24	c cleaning 139996 clauses out of 280013 with flag 68020998/10001000
2604.25/2624.04	c cleaning 140999 clauses out of 282018 with flag 68899140/10143001
2663.58/2683.74	c cleaning 141998 clauses out of 284018 with flag 69806373/10286000
2720.10/2740.37	c cleaning 143008 clauses out of 286021 with flag 70699380/10430001
2777.16/2797.64	c cleaning 143999 clauses out of 288012 with flag 71584186/10575000
2834.19/2854.95	c cleaning 145004 clauses out of 290014 with flag 72474383/10721001
2896.31/2917.22	c cleaning 145999 clauses out of 292012 with flag 73412318/10868003
2960.68/2981.70	c cleaning 146993 clauses out of 294010 with flag 74324930/11016000
3020.00/3041.29	c cleaning 147998 clauses out of 296017 with flag 75220456/11165000
3080.76/3102.14	c cleaning 149003 clauses out of 298022 with flag 76136651/11315003
3146.10/3167.62	c cleaning 150004 clauses out of 300017 with flag 77083005/11466001
3210.06/3235.50	c cleaning 150996 clauses out of 302012 with flag 78019518/11618000
3276.43/3302.11	c cleaning 151999 clauses out of 304016 with flag 78959655/11771000
3347.69/3373.55	c cleaning 153001 clauses out of 306018 with flag 79931486/11925001
3409.73/3435.72	c cleaning 154001 clauses out of 308018 with flag 80902041/12080002
3476.97/3503.13	c cleaning 154996 clauses out of 310016 with flag 81888790/12236001
3544.92/3571.37	c cleaning 155998 clauses out of 312020 with flag 82831187/12393001
3600.05/3626.62	c timeout
3600.05/3626.64	c starts		: 5120
3600.05/3626.66	c conflicts		: 12531583
3600.05/3626.66	c decisions		: 15606702
3600.05/3626.66	c propagations		: 203727634
3600.05/3626.66	c inspects		: 56456619336
3600.05/3626.66	c shortcuts		: 0
3600.05/3626.66	c learnt literals	: 0
3600.05/3626.66	c learnt binary clauses	: 0
3600.05/3626.66	c learnt ternary clauses	: 0
3600.05/3626.66	c learnt constraints	: 12531583
3600.05/3626.66	c ignored constraints	: 0
3600.05/3626.66	c root simplifications	: 0
3600.05/3626.66	c removed literals (reason simplification)	: 31411488
3600.05/3626.67	c reason swapping (by a shorter reason)	: 0
3600.05/3626.67	c Calls to reduceDB	: 153
3600.05/3626.67	c Number of update (reduction) of LBD	: 3970740
3600.05/3626.67	c Imported unit clauses	: 0
3600.05/3626.67	c No decision after first conflict	: false
3600.05/3626.67	c number of reductions to clauses (during analyze)	: 0
3600.05/3626.67	c number of learned constraints concerned by reduction	: 0
3600.05/3626.67	c number of learning phase by resolution	: 0
3600.05/3626.67	c number of learning phase by cutting planes	: 0
3600.05/3626.67	c number of rounding to 1 operations	: 0
3600.05/3626.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3626.67	c number of reductions of the coefficients by power 2 	: 0
3600.05/3626.67	c number of right shift for reduction by power 2 	: 0
3600.05/3626.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3626.67	c number of ending skipping 	: 0
3600.05/3626.67	c number of internal skipping 	: 0
3600.05/3626.67	c number of derivation steps 	: 0
3600.05/3626.67	c number of skipped derivation steps 	: 0
3600.05/3626.67	c number of remaining unassigned 	: 0
3600.05/3626.67	c number of remaining assigned 	: 0
3600.05/3626.67	c number of falsified literals weakened from reason	: 0
3600.05/3626.67	c number of falsified literals weakened from conflict	: 0
3600.05/3626.67	c time for arithmetic operations	: 0
3600.05/3626.67	c minimum degree of deleted constraints	: null
3600.05/3626.67	c maximum degree of deleted constraints	: null
3600.05/3626.67	c number of deleted constraints	: 0
3600.05/3626.69	c speed (assignments/second)	: 56181.012896991735
3600.05/3626.69	c non guided choices	: 36
3600.19/3626.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 294604
3600.19/3626.78	s UNKNOWN
3600.19/3626.78	c Total wall clock time (in seconds): 3626.453

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509725-1751194144/watcher-4509725-1751194144 -o /tmp/evaluation-result-4509725-1751194144/solver-4509725-1751194144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23529 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509725-1751194144 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509725-1751194144.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23980, runsolver pid=23977

[startup+0.100072 s]*
/proc/loadavg: 3.73 3.27 3.71 7/330 23998
/proc/meminfo: memFree=126196636/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=18930384 memory=48444 CPUtime=0.12 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 5799 0 0 0 10 2 0 0 20 0 18 0 35093770 19384713216 12111 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4732596 12111 5339 1 0 547022 0
[pid=23980/tid=23982] ppid=23977 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 4641 0 0 0 5 2 0 0 20 0 18 0 35093772 19384713216 12111 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35093777 19384713216 12111 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=18930384 memory=58494082626307 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35093778 19384713216 12111 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48444 KiB

[startup+0.214069 s]*
/proc/loadavg: 3.73 3.27 3.71 7/330 23998
/proc/meminfo: memFree=126193108/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=18930384 memory=53348 CPUtime=0.29 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 6477 0 0 0 26 3 0 0 20 0 18 0 35093770 19384713216 13337 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4732596 13337 5371 1 0 547558 0
[pid=23980/tid=23982] ppid=23977 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 4994 0 0 0 15 2 0 0 20 0 18 0 35093772 19384713216 13337 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=18930384 memory=12896 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35093777 19384713216 13337 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35093778 19384713216 13337 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53348 KiB

[startup+0.313844 s]*
/proc/loadavg: 3.73 3.27 3.71 6/330 23998
/proc/meminfo: memFree=126188760/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=18930384 memory=58556 CPUtime=0.45 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 6768 0 0 0 42 3 0 0 20 0 18 0 35093770 19384713216 14639 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4732596 14639 5371 1 0 547780 0
[pid=23980/tid=23982] ppid=23977 vsize=18930384 memory=-6000919476967663981 CPUtime=0.26 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 5209 0 0 0 24 2 0 0 20 0 18 0 35093772 19384713216 14639 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35093777 19384713216 14639 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35093778 19384713216 14639 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58556 KiB

[startup+0.701061 s]
/proc/loadavg: 3.73 3.27 3.71 7/331 23999
/proc/meminfo: memFree=126166776/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=18996948 memory=70800 CPUtime=1.14 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 8976 0 0 0 109 5 0 0 20 0 19 0 35093770 19452874752 17700 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4749237 17700 5435 1 0 549328 0
[pid=23980/tid=23982] ppid=23977 vsize=18996948 memory=17152 CPUtime=0.57 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 5351 0 0 0 54 3 0 0 20 0 19 0 35093772 19452874752 17700 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35093777 19452874752 17700 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35093778 19452874752 17700 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35093810 19452874752 17700 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70800 KiB

[startup+1.50027 s]
/proc/loadavg: 3.73 3.27 3.71 6/331 23999
/proc/meminfo: memFree=126108744/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=18996948 memory=128284 CPUtime=2.72 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 18950 0 0 0 264 8 0 0 20 0 19 0 35093770 19452874752 32071 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4749237 32071 5467 1 0 552300 0
[pid=23980/tid=23982] ppid=23977 vsize=18996948 memory=0 CPUtime=1.27 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 6324 0 0 0 122 5 0 0 20 0 19 0 35093772 19452874752 32071 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35093777 19452874752 32071 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35093778 19452874752 32071 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35093810 19452874752 32071 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128284 KiB

[startup+3.10556 s]
/proc/loadavg: 3.83 3.30 3.71 5/332 24000
/proc/meminfo: memFree=125693648/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=170796 CPUtime=5.31 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 22822 0 0 0 520 11 0 0 20 0 20 0 35093770 19521036288 42699 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 42699 5467 1 0 552649 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=11136 CPUtime=2.83 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 6738 0 0 0 277 6 0 0 20 0 20 0 35093772 19521036288 42699 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=-6000919476967663981 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 42699 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 42699 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 42699 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170796 KiB

[startup+6.30024 s]
/proc/loadavg: 3.83 3.30 3.71 5/332 24000
/proc/meminfo: memFree=125325588/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=216964 CPUtime=9.33 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 23331 0 0 0 918 15 0 0 20 0 20 0 35093770 19521036288 54241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 54241 5467 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=0 CPUtime=5.99 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 6889 0 0 0 590 9 0 0 20 0 20 0 35093772 19521036288 54241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 54241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 54241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=138524 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 54241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216964 KiB

[startup+12.7003 s]
/proc/loadavg: 3.84 3.31 3.72 5/332 24000
/proc/meminfo: memFree=124790332/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=477172 CPUtime=15.81 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 26510 0 0 0 1557 24 0 0 20 0 20 0 35093770 19521036288 119293 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 119293 5467 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=138524 CPUtime=12.33 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 8032 0 0 0 1215 18 0 0 20 0 20 0 35093772 19521036288 119293 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=444292 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 119293 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 119293 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 119293 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 15.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 477172 KiB

[startup+25.5005 s]
/proc/loadavg: 3.88 3.34 3.72 5/332 24000
/proc/meminfo: memFree=123814888/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1064964 CPUtime=28.57 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 29954 0 0 0 2815 42 0 0 20 0 20 0 35093770 19521036288 266241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 266241 5467 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=-6000919476967663981 CPUtime=25.04 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 9599 0 0 0 2469 35 0 0 20 0 20 0 35093772 19521036288 266241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=880628 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 266241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 266241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 266241 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1064964 KiB

[startup+51.1137 s]
/proc/loadavg: 4.00 3.41 3.74 5/332 24001
/proc/meminfo: memFree=122145712/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1216516 CPUtime=54.08 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 31141 0 0 0 5354 54 0 0 20 0 20 0 35093770 19521036288 304129 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 304129 5467 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=1067012 CPUtime=50.53 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 10757 0 0 0 5007 46 0 0 20 0 20 0 35093772 19521036288 304129 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 304129 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.22 5/332 24307
/proc/meminfo: memFree=84117156/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3256.77 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 80859 0 0 0 325044 633 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=1610572 CPUtime=3245.55 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 37490 0 0 0 324082 473 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=21512 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=7092 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 1822 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=1610572 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3256.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.21 5/333 24310
/proc/meminfo: memFree=83201856/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3316.57 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 81313 0 0 0 331016 641 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=10240 CPUtime=3305.32 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 37867 0 0 0 330053 479 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3316.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.59 4.30 4.25 5/331 24312
/proc/meminfo: memFree=82664928/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3376.39 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 82563 0 0 0 336988 651 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=10240 CPUtime=3365.1 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 38889 0 0 0 336024 486 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 1995 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3376.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.57 4.36 4.27 5/331 24316
/proc/meminfo: memFree=82508724/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3436.24 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 83356 0 0 0 342965 659 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=10240 CPUtime=3424.73 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 38932 0 0 0 341981 492 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 2003 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3436.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.31 4.26 5/334 24389
/proc/meminfo: memFree=90086740/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3496.1 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 83461 0 0 0 348943 667 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3484.54 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 39030 0 0 0 347956 498 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 2003 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=1647440 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3496.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.27 4.25 5/335 24396
/proc/meminfo: memFree=89399996/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3555.89 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 84075 0 0 0 354913 676 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552885 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3544.07 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 39518 0 0 0 353904 503 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 2003 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3555.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.6 s]
/proc/loadavg: 4.21 4.26 4.25 5/334 24464
/proc/meminfo: memFree=109036624/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19063512 memory=1647440 CPUtime=3600.05 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 84780 0 0 0 359324 681 0 0 20 0 20 0 35093770 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4765878 411860 5499 1 0 552889 0
[pid=23980/tid=23982] ppid=23977 vsize=19063512 memory=60705940439790 CPUtime=3588.2 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) R 23977 23980 23518 0 -1 4194368 40101 0 0 0 358314 506 0 0 20 0 20 0 35093772 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19063512 memory=97026 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35093777 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19063512 memory=5300 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 2120 0 0 0 0 0 0 0 20 0 20 0 35093778 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23999] ppid=23977 vsize=19063512 memory=5100 CPUtime=0 cores=4,6
/proc/23980/task/23999/stat : 23999 (Timer-0) S 23977 23980 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35093810 19521036288 411860 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1647440 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.49 s, system=6.83841 s

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

[startup+3626.71 s]
/proc/loadavg: 4.21 4.26 4.25 5/334 24464
/proc/meminfo: memFree=109036624/131382120 swapFree=33010684/33010684
[pid=23980] ppid=23977 vsize=19263204 memory=1648592 CPUtime=3600.19 cores=4,6
/proc/23980/stat : 23980 (java) S 23977 23980 23518 0 -1 4194304 87865 0 0 0 359337 682 0 0 20 0 21 0 35093770 19725520896 412148 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
/proc/23980/statm: 4815801 412148 5531 1 0 553866 0
[pid=23980/tid=23982] ppid=23977 vsize=19263204 memory=1647440 CPUtime=3588.22 cores=4,6
/proc/23980/task/23982/stat : 23982 (java) S 23977 23980 23518 0 -1 4194368 40623 0 0 0 358316 506 0 0 20 0 21 0 35093772 19725520896 412148 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23991] ppid=23977 vsize=19263204 memory=14304 CPUtime=0 cores=4,6
/proc/23980/task/23991/stat : 23991 (Finalizer) S 23977 23980 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35093777 19725520896 412148 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
[pid=23980/tid=23998] ppid=23977 vsize=19263204 memory=17152 CPUtime=0 cores=4,6
/proc/23980/task/23998/stat : 23998 (Common-Cleaner) S 23977 23980 23518 0 -1 4194368 2120 0 0 0 0 0 0 0 20 0 21 0 35093778 19725520896 412148 18446744073709551615 94327117680640 94327117684336 140728695604672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94327117692152 94327117692944 94327139696640 140728695613744 140728695613926 140728695613926 140728695619528 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1648592 KiB

Child status: 143

Real time (s): 3626.83
CPU time (s): 3600.33
CPU user time (s): 3593.49
CPU system time (s): 6.83841
CPU usage (%): 99.2694
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1648592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.49
system time used= 6.83841
maximum resident set size= 1648720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3028712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104140
involuntary context switches= 24153


# summary of solver processes directly reported to runsolver:
#   pid: 23980
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3593.49
#   total CPU system time (s): 6.83841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1096 second user time and 39.4698 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 12:49:04
IDJOB=4509725
IDBENCH=158790
IDSOLVER=3364
FILE ID=nodeC006/4509725-1751194144
RUNJOBID= nodeC006-1751194066-23529
SLURM_JOB_ID= 9587594
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509725-1751194144/watcher-4509725-1751194144 -o /tmp/evaluation-result-4509725-1751194144/solver-4509725-1751194144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23529 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509725-1751194144 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509725-1751194144.opb

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

MD5SUM BENCH= 70456d73d2f29031b06a5b292ce0fc7b
RANDOM SEED=44564853

nodeC006 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		: 3659.379
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.32
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		: 3661.270
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.32
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.239
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.32
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		: 3700.000
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.140
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.32
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		: 1197.675
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126227076 kB
MemAvailable:   126423564 kB
Buffers:            3280 kB
Cached:          1007200 kB
SwapCached:            0 kB
Active:          3890140 kB
Inactive:         759216 kB
Active(anon):    3656896 kB
Inactive(anon):        0 kB
Active(file):     233244 kB
Inactive(file):   759216 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            133768 kB
Writeback:             0 kB
AnonPages:       3642032 kB
Mapped:           122328 kB
Shmem:             17960 kB
KReclaimable:      86924 kB
Slab:             172268 kB
SReclaimable:      86924 kB
SUnreclaim:        85344 kB
KernelStack:        5088 kB
PageTables:        10816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7776940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3444736 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC006 at 2025-06-29 13:49:31