Trace number 4500002

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.29 3601.85

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
MD5SUMf0efccbc116c51a095a75c7835df95b0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark437.366
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256237
Number of constraints which are clauses255037
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint95
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.14/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.18	c See www.sat4j.org for details.
0.14/0.19	c version PB25.v20250606
0.14/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.22	c java.vm.version	22.0.1+8-16
0.14/0.22	c java.vm.vendor	Oracle Corporation
0.14/0.22	c sun.arch.data.model	64
0.14/0.22	c java.version		22.0.1
0.14/0.22	c os.name		Linux
0.14/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.14/0.22	c os.arch		amd64
0.14/0.23	c Free memory 		2104792832
0.14/0.23	c Max memory 		16282288128
0.14/0.23	c Total memory 		2113929216
0.14/0.24	c Number of processors 	2
0.44/0.34	c Pseudo Boolean Optimization by upper bound
0.44/0.34	c --- Begin Solver configuration ---
0.44/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.34	c Learn all clauses as in MiniSAT
0.44/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	c Expensive reason simplification
0.44/0.34	c Glucose 2.1 dynamic restart strategy
0.44/0.34	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.34	c timeout=2147483s
0.44/0.34	c DB Simplification allowed=false
0.44/0.34	c Listener: none
0.44/0.34	c --- End Solver configuration ---
0.44/0.34	c solving HOME/instance-4500002-1751413703.opb
0.44/0.34	c reading problem ... 
0.44/0.35	c  objective function found
3.48/1.94	c ... done. Wall clock time 1.586s.
3.48/1.94	c declared #vars     72842
3.48/1.94	c #constraints  256237
3.48/1.94	c constraints type 
3.48/1.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 201459
3.48/1.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1200
3.48/1.94	c org.sat4j.specs.Constr$1 => 15654
3.48/1.94	c org.sat4j.pb.constraints.pb.UnitClausePB => 6317
3.48/1.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31607
3.48/1.94	c 256237 constraints processed.
3.48/1.96	c objective function length is 300 literals
5.06/2.77	c SATISFIABLE
5.06/2.77	c OPTIMIZING...
5.06/2.77	c Got one! Elapsed wall clock time (in seconds):2.426
5.06/2.77	o 115
5.66/3.06	c Got one! Elapsed wall clock time (in seconds):2.721
5.66/3.06	o 107
6.63/3.85	c cleaning 2782 clauses out of 5563 with flag 35904/5563
7.44/4.31	c Got one! Elapsed wall clock time (in seconds):3.964
7.44/4.31	o 106
8.18/4.81	c Got one! Elapsed wall clock time (in seconds):4.466
8.18/4.81	o 105
8.55/5.02	c Got one! Elapsed wall clock time (in seconds):4.677
8.55/5.02	o 104
8.91/5.27	c cleaning 4392 clauses out of 8792 with flag 13412/11574
9.03/5.34	c Got one! Elapsed wall clock time (in seconds):5.001
9.03/5.34	o 103
10.46/6.52	c cleaning 4943 clauses out of 9893 with flag 83186/17067
11.53/7.34	c cleaning 5470 clauses out of 10949 with flag 118602/23066
12.53/8.31	c cleaning 6236 clauses out of 12479 with flag 163900/30066
13.62/9.46	c cleaning 7117 clauses out of 14244 with flag 227958/38067
13.62/9.49	c Got one! Elapsed wall clock time (in seconds):9.151
13.62/9.49	o 102
14.80/10.47	c cleaning 6155 clauses out of 12319 with flag 76802/43259
15.60/11.21	c cleaning 6066 clauses out of 12165 with flag 126528/49260
16.63/12.22	c cleaning 6535 clauses out of 13098 with flag 204968/56259
17.89/13.42	c cleaning 7280 clauses out of 14563 with flag 275514/64259
19.16/14.28	c Got one! Elapsed wall clock time (in seconds):13.937
19.16/14.28	o 101
20.15/15.29	c cleaning 8931 clauses out of 17883 with flag 92564/74859
21.58/16.24	c cleaning 7465 clauses out of 14951 with flag 158554/80858
22.88/17.52	c cleaning 7232 clauses out of 14486 with flag 237135/87858
24.39/19.04	c cleaning 7612 clauses out of 15254 with flag 332072/95858
25.88/20.55	c cleaning 8313 clauses out of 16642 with flag 430559/104858
27.58/22.27	c cleaning 9161 clauses out of 18331 with flag 549891/114860
29.46/24.05	c cleaning 10067 clauses out of 20168 with flag 684515/125858
31.74/26.06	c cleaning 11048 clauses out of 22102 with flag 840776/137859
33.89/28.17	c cleaning 12010 clauses out of 24054 with flag 1015235/150859
36.48/30.73	c cleaning 13017 clauses out of 26043 with flag 1196134/164858
39.38/33.64	c cleaning 13998 clauses out of 28027 with flag 1415550/179859
42.57/36.86	c cleaning 15003 clauses out of 30029 with flag 1670716/195859
46.06/40.33	c cleaning 16005 clauses out of 32026 with flag 1955335/212859
49.76/44.05	c cleaning 17008 clauses out of 34021 with flag 2249711/230859
53.65/47.98	c cleaning 18006 clauses out of 36012 with flag 2588540/249858
58.04/52.31	c cleaning 19000 clauses out of 38006 with flag 2955025/269858
62.42/56.72	c cleaning 19995 clauses out of 40006 with flag 3317400/290858
68.60/62.96	c cleaning 20997 clauses out of 42012 with flag 3718263/312859
74.06/68.46	c cleaning 21990 clauses out of 44014 with flag 4140312/335858
79.51/73.97	c cleaning 23009 clauses out of 46025 with flag 4583026/359859
86.79/81.20	c cleaning 24004 clauses out of 48016 with flag 5061302/384859
93.27/87.73	c cleaning 25001 clauses out of 50011 with flag 5571579/410858
100.26/94.78	c cleaning 25996 clauses out of 52012 with flag 6131549/437860
107.34/101.83	c cleaning 26999 clauses out of 54014 with flag 6716532/465858
114.72/109.27	c cleaning 27995 clauses out of 56016 with flag 7290536/494859
122.20/116.77	c cleaning 29005 clauses out of 58020 with flag 7855445/524858
130.79/125.35	c cleaning 30004 clauses out of 60015 with flag 8414823/555858
140.35/134.96	c cleaning 31001 clauses out of 62011 with flag 9041937/587858
148.93/143.50	c cleaning 32001 clauses out of 64011 with flag 9704369/620859
157.61/152.23	c cleaning 32998 clauses out of 66010 with flag 10395093/654859
167.09/161.73	c cleaning 34002 clauses out of 68011 with flag 11108455/689858
177.07/171.79	c cleaning 34987 clauses out of 70010 with flag 11859845/725859
187.45/182.19	c cleaning 36001 clauses out of 72023 with flag 12646769/762859
199.28/193.97	c cleaning 37005 clauses out of 74022 with flag 13500218/800859
210.54/205.20	c cleaning 38005 clauses out of 76017 with flag 14315809/839859
222.12/216.85	c cleaning 39003 clauses out of 78011 with flag 15166747/879858
234.09/228.85	c cleaning 39999 clauses out of 80009 with flag 16018376/920859
247.07/241.82	c cleaning 40997 clauses out of 82009 with flag 16932856/962858
259.24/254.07	c cleaning 41998 clauses out of 84012 with flag 17816773/1005858
272.36/267.19	c cleaning 43002 clauses out of 86014 with flag 18725399/1049858
286.61/281.45	c cleaning 44006 clauses out of 88013 with flag 19752049/1094859
300.29/295.16	c cleaning 44991 clauses out of 90010 with flag 20740376/1140862
315.16/310.02	c cleaning 46009 clauses out of 92017 with flag 21812153/1187860
330.02/325.00	c cleaning 46998 clauses out of 94007 with flag 22874651/1235859
347.82/342.72	c cleaning 47995 clauses out of 96009 with flag 24048110/1284859
363.58/358.58	c cleaning 48990 clauses out of 98014 with flag 25181296/1334859
379.94/374.94	c cleaning 50006 clauses out of 100025 with flag 26391611/1385860
398.19/393.25	c cleaning 51003 clauses out of 102019 with flag 27657692/1437860
417.16/412.29	c cleaning 52004 clauses out of 104016 with flag 28940067/1490860
435.78/430.80	c cleaning 52985 clauses out of 106010 with flag 30178796/1544858
453.65/448.80	c cleaning 54002 clauses out of 108025 with flag 31333976/1599858
472.11/467.21	c cleaning 55005 clauses out of 110024 with flag 32605105/1655859
491.26/486.41	c cleaning 56003 clauses out of 112018 with flag 33935884/1712858
511.00/506.13	c cleaning 57005 clauses out of 114015 with flag 35329738/1770858
531.53/526.71	c cleaning 58001 clauses out of 116010 with flag 36659309/1829858
551.80/547.09	c cleaning 59005 clauses out of 118011 with flag 38010170/1889860
574.03/569.32	c cleaning 59994 clauses out of 120004 with flag 39435590/1950858
596.14/591.45	c cleaning 60995 clauses out of 122011 with flag 40929603/2012859
618.88/614.29	c cleaning 62004 clauses out of 124015 with flag 42429941/2075858
642.02/637.48	c cleaning 62997 clauses out of 126011 with flag 43941232/2139858
665.69/661.15	c cleaning 64006 clauses out of 128014 with flag 45581263/2204858
688.87/684.39	c cleaning 64996 clauses out of 130008 with flag 47052578/2270858
712.70/708.23	c cleaning 66000 clauses out of 132012 with flag 48562477/2337858
737.75/733.32	c cleaning 66988 clauses out of 134012 with flag 50205760/2405858
763.37/758.93	c cleaning 68008 clauses out of 136027 with flag 51735172/2474861
789.70/785.32	c cleaning 69001 clauses out of 138016 with flag 53319230/2544858
816.44/812.15	c cleaning 70004 clauses out of 140015 with flag 55003383/2615858
844.57/840.36	c cleaning 71002 clauses out of 142011 with flag 56716682/2687858
872.16/867.93	c cleaning 71994 clauses out of 144011 with flag 58460794/2760860
900.99/896.87	c cleaning 73006 clauses out of 146016 with flag 60234425/2834859
929.93/925.83	c cleaning 73993 clauses out of 148009 with flag 61991739/2909858
961.15/957.09	c cleaning 75002 clauses out of 150016 with flag 63785391/2985858
993.06/989.06	c cleaning 75998 clauses out of 152014 with flag 65661027/3062858
1023.78/1019.87	c cleaning 77002 clauses out of 154016 with flag 67483145/3140858
1055.20/1051.37	c cleaning 77992 clauses out of 156014 with flag 69358277/3219858
1086.12/1082.36	c cleaning 79003 clauses out of 158024 with flag 71145990/3299860
1122.29/1118.50	c cleaning 80002 clauses out of 160020 with flag 73159331/3380859
1155.00/1151.33	c cleaning 80999 clauses out of 162018 with flag 75065988/3462859
1189.41/1185.85	c cleaning 81996 clauses out of 164018 with flag 77052574/3545858
1225.82/1222.32	c cleaning 83002 clauses out of 166022 with flag 79125499/3629858
1265.73/1262.31	c cleaning 84011 clauses out of 168021 with flag 81205814/3714859
1303.69/1300.30	c cleaning 85000 clauses out of 170010 with flag 83084763/3800859
1340.59/1337.39	c cleaning 85990 clauses out of 172009 with flag 85291896/3887858
1379.31/1376.18	c cleaning 86997 clauses out of 174019 with flag 87471733/3975858
1419.22/1416.12	c cleaning 88010 clauses out of 176025 with flag 89636159/4064861
1459.96/1456.91	c cleaning 88998 clauses out of 178015 with flag 91874093/4154861
1503.06/1500.16	c cleaning 89995 clauses out of 180014 with flag 94159915/4245858
1546.34/1543.56	c cleaning 90997 clauses out of 182019 with flag 96389677/4337858
1588.63/1585.93	c cleaning 92001 clauses out of 184022 with flag 98639905/4430858
1630.32/1627.72	c cleaning 93000 clauses out of 186023 with flag 100886346/4524860
1674.51/1671.92	c cleaning 93994 clauses out of 188021 with flag 103138162/4619858
1721.69/1719.21	c cleaning 95007 clauses out of 190029 with flag 105505223/4715860
1769.48/1767.13	c cleaning 96003 clauses out of 192020 with flag 107881314/4812858
1814.37/1812.19	c cleaning 96982 clauses out of 194017 with flag 110014376/4910858
1859.25/1857.19	c cleaning 98005 clauses out of 196035 with flag 112234797/5009858
1904.64/1902.52	c cleaning 99014 clauses out of 198033 with flag 114479216/5109861
1952.31/1950.30	c cleaning 100006 clauses out of 200018 with flag 116917334/5210860
2005.67/2003.82	c cleaning 100996 clauses out of 202012 with flag 119417294/5312860
2054.54/2052.82	c cleaning 101999 clauses out of 204014 with flag 121689409/5415858
2105.51/2103.90	c cleaning 103002 clauses out of 206021 with flag 124068915/5519864
2158.79/2157.38	c cleaning 103994 clauses out of 208014 with flag 126448671/5624859
2211.69/2210.21	c cleaning 105000 clauses out of 210019 with flag 128889347/5730858
2265.46/2264.17	c cleaning 106003 clauses out of 212020 with flag 131286808/5837859
2319.40/2318.24	c cleaning 106991 clauses out of 214017 with flag 133740259/5945859
2375.56/2374.51	c cleaning 107998 clauses out of 216025 with flag 136140108/6054858
2432.52/2431.67	c cleaning 109013 clauses out of 218029 with flag 138706133/6164860
2488.17/2487.34	c cleaning 109999 clauses out of 220014 with flag 141304203/6275858
2544.53/2543.82	c cleaning 111004 clauses out of 222016 with flag 143830068/6387859
2601.18/2600.68	c cleaning 111995 clauses out of 224011 with flag 146384682/6500858
2662.13/2661.74	c cleaning 113003 clauses out of 226016 with flag 149038129/6614858
2722.79/2722.44	c cleaning 114003 clauses out of 228013 with flag 151752027/6729858
2781.64/2781.45	c cleaning 114999 clauses out of 230011 with flag 154470318/6845859
2842.78/2842.74	c cleaning 115994 clauses out of 232012 with flag 157244967/6962859
2905.61/2905.72	c cleaning 117006 clauses out of 234018 with flag 159912330/7080859
2970.95/2971.23	c cleaning 117988 clauses out of 236011 with flag 162497777/7199858
3031.39/3031.74	c cleaning 119001 clauses out of 238025 with flag 165153304/7319860
3097.32/3097.81	c cleaning 120011 clauses out of 240023 with flag 168013564/7440859
3166.24/3166.93	c cleaning 120991 clauses out of 242013 with flag 170891558/7562860
3236.97/3237.82	c cleaning 122003 clauses out of 244021 with flag 173866046/7685859
3305.19/3306.22	c cleaning 123000 clauses out of 246017 with flag 176774295/7809858
3378.39/3379.59	c cleaning 123998 clauses out of 248017 with flag 179603581/7934858
3445.41/3446.72	c cleaning 124997 clauses out of 250019 with flag 182454280/8060858
3514.33/3515.82	c cleaning 126006 clauses out of 252022 with flag 185470362/8187858
3588.15/3589.81	c cleaning 127005 clauses out of 254018 with flag 188460666/8315860
3600.02/3601.74	c starts		: 26885
3600.02/3601.77	c conflicts		: 8341052
3600.02/3601.77	c decisions		: 12299385
3600.02/3601.77	c propagations		: 3857505663
3600.02/3601.77	c inspects		: 43418860675
3600.02/3601.77	c shortcuts		: 0
3600.02/3601.77	c learnt literals	: 0
3600.02/3601.77	c learnt binary clauses	: 13
3600.02/3601.77	c learnt ternary clauses	: 1679
3600.02/3601.77	c learnt constraints	: 8341052
3600.02/3601.77	c ignored constraints	: 0
3600.02/3601.77	c root simplifications	: 0
3600.02/3601.77	c removed literals (reason simplification)	: 299948248
3600.02/3601.77	c reason swapping (by a shorter reason)	: 0
3600.02/3601.77	c Calls to reduceDB	: 134
3600.02/3601.77	c Number of update (reduction) of LBD	: 3905720
3600.02/3601.77	c Imported unit clauses	: 0
3600.02/3601.77	c No decision after first conflict	: false
3600.02/3601.77	c number of reductions to clauses (during analyze)	: 0
3600.02/3601.78	c number of learned constraints concerned by reduction	: 0
3600.02/3601.78	c number of learning phase by resolution	: 0
3600.02/3601.78	c number of learning phase by cutting planes	: 0
3600.02/3601.78	c number of rounding to 1 operations	: 0
3600.02/3601.78	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3601.78	c number of reductions of the coefficients by power 2 	: 0
3600.02/3601.78	c number of right shift for reduction by power 2 	: 0
3600.02/3601.78	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3601.78	c number of ending skipping 	: 0
3600.02/3601.78	c number of internal skipping 	: 0
3600.02/3601.78	c number of derivation steps 	: 0
3600.02/3601.78	c number of skipped derivation steps 	: 0
3600.02/3601.78	c number of remaining unassigned 	: 0
3600.02/3601.78	c number of remaining assigned 	: 0
3600.02/3601.78	c number of falsified literals weakened from reason	: 0
3600.02/3601.78	c number of falsified literals weakened from conflict	: 0
3600.02/3601.78	c time for arithmetic operations	: 0
3600.02/3601.78	c minimum degree of deleted constraints	: null
3600.02/3601.78	c maximum degree of deleted constraints	: null
3600.02/3601.78	c number of deleted constraints	: 0
3600.22/3601.80	c speed (assignments/second)	: 1071594.539501153
3600.22/3601.80	c non guided choices	: 622
3600.22/3601.83	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.22/3601.84		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.22/3601.84		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.22/3601.84		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.22/3601.84		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.22/3601.84		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.22/3601.84		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.22/3601.84		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4500002-1751413703/watcher-4500002-1751413703 -o /tmp/evaluation-result-4500002-1751413703/solver-4500002-1751413703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751410050-60835 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4500002-1751413703.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=61649, runsolver pid=61646

[startup+0.100076 s]*
/proc/loadavg: 1.63 1.26 1.22 4/251 61667
/proc/meminfo: memFree=129044432/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=18930384 memory=48396 CPUtime=0.14 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 5786 0 0 0 10 4 0 0 20 0 18 0 57049729 19384713216 12099 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4732596 12099 5336 1 0 546995 0
[pid=61649/tid=61651] ppid=61646 vsize=18930384 memory=4026532029 CPUtime=0.08 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 4693 0 0 0 6 2 0 0 20 0 18 0 57049731 19384713216 12099 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=18930384 memory=232800911689 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57049736 19384713216 12099 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=18930384 memory=62917882163757 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57049738 19384713216 12099 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48396 KiB

[startup+0.228185 s]*
/proc/loadavg: 1.63 1.26 1.22 3/251 61667
/proc/meminfo: memFree=129038636/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=18930384 memory=55372 CPUtime=0.32 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 6467 0 0 0 27 5 0 0 20 0 18 0 57049729 19384713216 13843 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4732596 13843 5336 1 0 547552 0
[pid=61649/tid=61651] ppid=61646 vsize=18930384 memory=32758254098972917 CPUtime=0.2 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 4999 0 0 0 17 3 0 0 20 0 18 0 57049731 19384713216 13843 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=18930384 memory=13899 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57049736 19384713216 13843 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=18930384 memory=61818370524117 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57049738 19384713216 13843 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55372 KiB

[startup+0.314782 s]*
/proc/loadavg: 1.63 1.26 1.22 4/251 61667
/proc/meminfo: memFree=129036620/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=18930384 memory=58276 CPUtime=0.44 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 6723 0 0 0 39 5 0 0 20 0 18 0 57049729 19384713216 14569 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4732596 14569 5336 1 0 547753 0
[pid=61649/tid=61651] ppid=61646 vsize=18930384 memory=-6000919481313160041 CPUtime=0.28 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 5176 0 0 0 25 3 0 0 20 0 18 0 57049731 19384713216 14569 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57049736 19384713216 14569 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57049738 19384713216 14569 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58276 KiB

[startup+0.700375 s]
/proc/loadavg: 1.63 1.26 1.22 4/251 61667
/proc/meminfo: memFree=129036620/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=18930384 memory=94264 CPUtime=1.15 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 8388 0 0 0 107 8 0 0 20 0 18 0 57049729 19384713216 23566 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4732596 23566 5432 1 0 548866 0
[pid=61649/tid=61651] ppid=61646 vsize=18930384 memory=18816 CPUtime=0.64 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 5272 0 0 0 60 4 0 0 20 0 18 0 57049731 19384713216 23566 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57049736 19384713216 23566 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=18930384 memory=19584 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57049738 19384713216 23566 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 94264 KiB

[startup+1.50027 s]
/proc/loadavg: 1.63 1.26 1.22 3/252 61668
/proc/meminfo: memFree=128968628/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=18996948 memory=195104 CPUtime=2.68 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 17722 0 0 0 256 12 0 0 20 0 19 0 57049729 19452874752 48776 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4749237 48776 5464 1 0 552553 0
[pid=61649/tid=61651] ppid=61646 vsize=18996948 memory=0 CPUtime=1.29 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 6187 0 0 0 122 7 0 0 20 0 19 0 57049731 19452874752 48776 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 57049736 19452874752 48776 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=18996948 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 19 0 57049738 19452874752 48776 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 195104 KiB

[startup+3.10527 s]
/proc/loadavg: 1.66 1.28 1.23 2/253 61669
/proc/meminfo: memFree=128824960/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=306712 CPUtime=5.83 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 23841 0 0 0 566 17 0 0 20 0 20 0 57049729 19521036288 76678 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 76678 5496 1 0 941652 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=11264 CPUtime=2.75 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 7654 0 0 0 265 10 0 0 20 0 20 0 57049731 19521036288 76678 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 76678 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=110904 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 76678 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 76678 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 306712 KiB

[startup+6.30037 s]
/proc/loadavg: 1.66 1.28 1.23 2/253 61669
/proc/meminfo: memFree=128783244/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=346288 CPUtime=10.26 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 24163 0 0 0 1008 18 0 0 20 0 20 0 57049729 19521036288 86572 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 86572 5528 1 0 941688 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=0 CPUtime=5.94 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 7818 0 0 0 583 11 0 0 20 0 20 0 57049731 19521036288 86572 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=110904 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 86572 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=7019257425709197167 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 86572 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=195360 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 86572 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 346288 KiB

[startup+12.7004 s]
/proc/loadavg: 1.63 1.28 1.23 2/253 61670
/proc/meminfo: memFree=128729492/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=390616 CPUtime=17.13 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 28978 0 0 0 1692 21 0 0 20 0 20 0 57049729 19521036288 97654 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 97654 5528 1 0 941704 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=195360 CPUtime=12.27 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 8795 0 0 0 1216 11 0 0 20 0 20 0 57049731 19521036288 97654 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=390616 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 97654 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=-6000919481313160041 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 97654 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 97654 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 17.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 390616 KiB

[startup+25.5004 s]
/proc/loadavg: 1.54 1.27 1.23 2/253 61670
/proc/meminfo: memFree=128729492/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=399064 CPUtime=31.23 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 38953 0 0 0 3100 23 0 0 20 0 20 0 57049729 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 99766 5528 1 0 941704 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=390616 CPUtime=25.03 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 10506 0 0 0 2492 11 0 0 20 0 20 0 57049731 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=398936 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=398936 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 399064 KiB

[startup+51.1128 s]
/proc/loadavg: 1.41 1.27 1.22 2/253 61670
/proc/meminfo: memFree=128729492/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=399064 CPUtime=56.85 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 39811 0 0 0 5660 25 0 0 20 0 20 0 57049729 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 99766 5528 1 0 941704 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=399064 CPUtime=50.56 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 11130 0 0 0 5044 12 0 0 20 0 20 0 57049731 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=390616 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=473 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 99766 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 56.85 s

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

[startup+3282.3 s]
/proc/loadavg: 1.12 1.10 1.09 2/251 61837
/proc/meminfo: memFree=127138784/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=1990728 CPUtime=3281.35 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 65493 0 0 0 327881 254 0 0 20 0 20 0 57049729 19521036288 497682 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 497682 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=18816 CPUtime=3268.79 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 24724 0 0 0 326839 40 0 0 20 0 20 0 57049731 19521036288 497682 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=1990728 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 497682 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 497682 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 497682 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3281.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1990728 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.10 1.09 2/250 61839
/proc/meminfo: memFree=126998764/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3341.28 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 66076 0 0 0 333867 261 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=18816 CPUtime=3328.38 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 24909 0 0 0 332798 40 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3341.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.11 1.09 2/251 61844
/proc/meminfo: memFree=126999284/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3401.13 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 66402 0 0 0 339847 266 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3388.18 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 25212 0 0 0 338777 41 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=19584 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3401.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/251 61846
/proc/meminfo: memFree=126999536/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3460.96 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 67072 0 0 0 345827 269 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3447.97 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 25833 0 0 0 344755 42 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3460.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB

[startup+3522.3 s]
/proc/loadavg: 1.16 1.11 1.09 2/251 61848
/proc/meminfo: memFree=126999788/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3520.81 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 67856 0 0 0 351809 272 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3507.77 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 26491 0 0 0 350734 43 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1626 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3520.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.11 1.09 2/252 61855
/proc/meminfo: memFree=127000292/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3580.66 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 67984 0 0 0 357790 276 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=18816 CPUtime=3567.57 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 26520 0 0 0 356714 43 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1698 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3580.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.7 s]
/proc/loadavg: 1.08 1.10 1.09 2/252 61855
/proc/meminfo: memFree=127000292/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19063512 memory=2132060 CPUtime=3600.02 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 68055 0 0 0 359724 278 0 0 20 0 20 0 57049729 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4765878 533015 5528 1 0 941707 0
[pid=61649/tid=61651] ppid=61646 vsize=19063512 memory=18816 CPUtime=3586.9 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 26545 0 0 0 358647 43 0 0 20 0 20 0 57049731 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57049736 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1698 0 0 0 0 0 0 0 20 0 20 0 57049738 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61669] ppid=61646 vsize=19063512 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61669/stat : 61669 (Timer-0) S 61646 61649 60790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57049929 19521036288 533015 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.49 s, system=2.80007 s

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

[startup+3601.8 s]
/proc/loadavg: 1.08 1.10 1.09 2/252 61855
/proc/meminfo: memFree=127000292/131382112 swapFree=33010684/33010684
[pid=61649] ppid=61646 vsize=19263204 memory=2132828 CPUtime=3600.22 cores=1,3
/proc/61649/stat : 61649 (java) S 61646 61649 60790 0 -1 4194304 70250 0 0 0 359743 279 0 0 20 0 21 0 57049729 19725520896 533207 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
/proc/61649/statm: 4815801 533207 5528 1 0 942658 0
[pid=61649/tid=61651] ppid=61646 vsize=19263204 memory=18816 CPUtime=3586.99 cores=1,3
/proc/61649/task/61651/stat : 61651 (java) R 61646 61649 60790 0 -1 4194368 26750 0 0 0 358656 43 0 0 20 0 21 0 57049731 19725520896 533207 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61660] ppid=61646 vsize=19263204 memory=2132060 CPUtime=0 cores=1,3
/proc/61649/task/61660/stat : 61660 (Finalizer) S 61646 61649 60790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 57049736 19725520896 533207 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
[pid=61649/tid=61667] ppid=61646 vsize=19263204 memory=-6000919481313160041 CPUtime=0 cores=1,3
/proc/61649/task/61667/stat : 61667 (Common-Cleaner) S 61646 61649 60790 0 -1 4194368 1698 0 0 0 0 0 0 0 20 0 21 0 57049738 19725520896 533207 18446744073709551615 94578485616640 94578485620336 140730759122496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94578485628152 94578485628944 94578487947264 140730759125377 140730759125478 140730759125478 140730759131080 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2132828 KiB

Child status: 143

Real time (s): 3601.85
CPU time (s): 3600.29
CPU user time (s): 3597.49
CPU system time (s): 2.80007
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2132828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.49
system time used= 2.80007
maximum resident set size= 2132956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70332
page faults= 0
swaps= 0
block input operations= 8
block output operations= 7280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117354
involuntary context switches= 3456


# summary of solver processes directly reported to runsolver:
#   pid: 61649
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3597.49
#   total CPU system time (s): 2.80007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3244 second user time and 36.2633 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-02 01:48:23
IDJOB=4500002
IDBENCH=149053
IDSOLVER=3363
FILE ID=nodeC005/4500002-1751413703
RUNJOBID= nodeC005-1751410050-60835
SLURM_JOB_ID= 9598317
Free space on /tmp= 430624 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4500002-1751413703/watcher-4500002-1751413703 -o /tmp/evaluation-result-4500002-1751413703/solver-4500002-1751413703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751410050-60835 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4500002-1751413703.opb

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

MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=1348260130

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		: 1197.486
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.264
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.325
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.154
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		: 3700.000
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		: 1198.030
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		: 3700.000
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.351
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:        129064088 kB
MemAvailable:   129870568 kB
Buffers:            2752 kB
Cached:          1604872 kB
SwapCached:            0 kB
Active:           417988 kB
Inactive:        1255072 kB
Active(anon):      75232 kB
Inactive(anon):     8164 kB
Active(file):     342756 kB
Inactive(file):  1246908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8716 kB
Writeback:             0 kB
AnonPages:         68828 kB
Mapped:           103356 kB
Shmem:             17960 kB
KReclaimable:     112884 kB
Slab:             197828 kB
SReclaimable:     112884 kB
SUnreclaim:        84944 kB
KernelStack:        3792 kB
PageTables:         2612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     336564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 430624 MiB
End job on nodeC005 at 2025-07-02 02:48:26