Trace number 4494531

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 CP VeriPB 2025-06-06? (TO) 3600.37 3516.64

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUM4e71f8d633240b9029e11e93d5a0a0b4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.48426
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
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.14/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.16	c See www.sat4j.org for details.
0.14/0.18	c version PB25.v20250606
0.14/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.20	c java.vm.version	22.0.1+8-16
0.14/0.20	c java.vm.vendor	Oracle Corporation
0.14/0.20	c sun.arch.data.model	64
0.14/0.20	c java.version		22.0.1
0.14/0.20	c os.name		Linux
0.14/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.14/0.21	c os.arch		amd64
0.14/0.21	c Free memory 		2104792832
0.14/0.21	c Max memory 		16282288128
0.14/0.22	c Total memory 		2113929216
0.14/0.22	c Number of processors 	2
0.48/0.39	c Pseudo Boolean Optimization by upper bound
0.48/0.39	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.48/0.39	c  - never skip resolution steps
0.48/0.39	c  - Auto-division on coefficients is disabled
0.48/0.39	c  - No postprocessing
0.48/0.39	c  - Conflict is considered as is when resolving
0.48/0.39	c  - Use constraints as they come during conflict analysis
0.48/0.39	c  - Weaken first using unassigned literals
0.48/0.39	c  - Bump strategy: ALWAYS_ONE
0.48/0.39	c  - Bumper: EFFECTIVE
0.48/0.39	c --- Begin Solver configuration ---
0.48/0.39	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.48/0.39	c Learn all clauses as in MiniSAT
0.48/0.39	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.48/0.39	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.48/0.39	c No reason simplification
0.48/0.39	c Dynamic restart strategy considering the size of the coefficients
0.48/0.39	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.48/0.39	c timeout=2147483s
0.48/0.39	c DB Simplification allowed=false
0.48/0.39	c Listener: none
0.48/0.39	c --- End Solver configuration ---
0.48/0.39	c solving HOME/instance-4494531-1751153966.opb
0.48/0.39	c reading problem ... 
0.48/0.40	c using VERIPB proof format
0.48/0.40	c  no objective function found
2.63/1.55	c ... done. Wall clock time 1.148s.
2.63/1.55	c declared #vars     1440
2.63/1.55	c #constraints  86400
2.63/1.55	c constraints type 
2.63/1.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 360
2.63/1.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 86040
2.63/1.55	c 86400 constraints processed.
7.15/3.89	c cleaning 2491 clauses out of 5000 with flag 0/5000
10.69/6.02	c cleaning 4253 clauses out of 8509 with flag 0/11000
13.69/8.11	c cleaning 5618 clauses out of 11256 with flag 0/18000
16.79/11.06	c cleaning 6812 clauses out of 13638 with flag 0/26000
19.72/13.95	c cleaning 7906 clauses out of 15826 with flag 0/35000
23.38/17.47	c cleaning 8953 clauses out of 17920 with flag 0/45000
27.49/21.25	c cleaning 9980 clauses out of 19967 with flag 0/56000
31.39/25.01	c cleaning 10990 clauses out of 21992 with flag 0/68005
36.23/29.60	c cleaning 11991 clauses out of 23997 with flag 0/81000
40.75/34.02	c cleaning 12995 clauses out of 26008 with flag 0/95002
45.60/38.98	c cleaning 13997 clauses out of 28012 with flag 0/110001
51.08/44.05	c cleaning 14997 clauses out of 30014 with flag 0/126000
57.33/50.03	c cleaning 15998 clauses out of 32017 with flag 0/143000
63.61/56.18	c cleaning 17000 clauses out of 34020 with flag 0/161001
71.68/64.21	c cleaning 18004 clauses out of 36020 with flag 0/180001
79.25/71.89	c cleaning 19005 clauses out of 38016 with flag 0/200001
87.28/79.87	c cleaning 20001 clauses out of 40011 with flag 0/221001
96.19/88.78	c cleaning 20994 clauses out of 42009 with flag 0/243000
104.69/97.05	c cleaning 22001 clauses out of 44015 with flag 0/266000
116.09/108.39	c cleaning 22999 clauses out of 46014 with flag 0/290000
124.74/116.85	c cleaning 23995 clauses out of 48015 with flag 0/315000
133.73/125.63	c cleaning 25007 clauses out of 50021 with flag 0/341001
147.12/138.85	c cleaning 25996 clauses out of 52013 with flag 0/368000
158.56/150.04	c cleaning 27003 clauses out of 54018 with flag 0/396001
171.53/162.02	c cleaning 28006 clauses out of 56014 with flag 0/425000
183.44/173.67	c cleaning 29000 clauses out of 58008 with flag 0/455000
197.90/187.44	c cleaning 30001 clauses out of 60010 with flag 0/486002
210.93/200.01	c cleaning 30990 clauses out of 62007 with flag 0/518000
224.75/213.49	c cleaning 31998 clauses out of 64018 with flag 0/551001
238.80/227.24	c cleaning 33003 clauses out of 66020 with flag 0/585001
254.46/242.69	c cleaning 34003 clauses out of 68017 with flag 0/620001
268.04/255.88	c cleaning 34994 clauses out of 70014 with flag 0/656001
283.19/270.76	c cleaning 35996 clauses out of 72019 with flag 0/693000
298.95/286.07	c cleaning 37006 clauses out of 74024 with flag 0/731001
317.83/304.23	c cleaning 37993 clauses out of 76018 with flag 0/770001
335.33/321.57	c cleaning 39006 clauses out of 78024 with flag 0/810000
352.35/338.33	c cleaning 39998 clauses out of 80018 with flag 0/851000
368.91/354.88	c cleaning 41000 clauses out of 82022 with flag 0/893002
384.07/369.73	c cleaning 42004 clauses out of 84020 with flag 0/936000
403.73/389.03	c cleaning 42999 clauses out of 86017 with flag 0/980001
422.58/407.36	c cleaning 43990 clauses out of 88019 with flag 0/1025002
440.85/425.28	c cleaning 45003 clauses out of 90027 with flag 0/1071000
463.12/447.16	c cleaning 46004 clauses out of 92026 with flag 0/1118002
484.12/467.62	c cleaning 47003 clauses out of 94021 with flag 0/1166001
502.79/485.99	c cleaning 48002 clauses out of 96019 with flag 0/1215002
527.74/510.47	c cleaning 48996 clauses out of 98016 with flag 0/1265001
548.31/530.67	c cleaning 50000 clauses out of 100019 with flag 0/1316000
572.48/554.28	c cleaning 51001 clauses out of 102019 with flag 0/1368000
595.91/577.12	c cleaning 51994 clauses out of 104020 with flag 0/1421002
614.32/595.29	c cleaning 52998 clauses out of 106025 with flag 0/1475001
636.69/617.27	c cleaning 54005 clauses out of 108026 with flag 0/1530000
663.23/643.36	c cleaning 55006 clauses out of 110023 with flag 0/1586002
691.68/671.24	c cleaning 56002 clauses out of 112015 with flag 0/1643000
718.58/697.61	c cleaning 56999 clauses out of 114013 with flag 0/1701000
750.08/728.37	c cleaning 57998 clauses out of 116016 with flag 0/1760002
776.04/753.81	c cleaning 59003 clauses out of 118018 with flag 0/1820002
801.13/778.16	c cleaning 60002 clauses out of 120014 with flag 0/1881001
827.89/804.77	c cleaning 61001 clauses out of 122012 with flag 0/1943001
853.31/830.00	c cleaning 61985 clauses out of 124013 with flag 0/2006003
880.85/857.28	c cleaning 63001 clauses out of 126027 with flag 0/2070002
908.78/884.78	c cleaning 63998 clauses out of 128025 with flag 0/2135001
939.81/915.19	c cleaning 65006 clauses out of 130026 with flag 0/2201000
969.49/944.47	c cleaning 66004 clauses out of 132022 with flag 0/2268002
999.37/973.74	c cleaning 66998 clauses out of 134016 with flag 0/2336000
1030.87/1004.77	c cleaning 67994 clauses out of 136018 with flag 0/2405000
1066.12/1039.46	c cleaning 69005 clauses out of 138024 with flag 0/2475000
1100.17/1072.91	c cleaning 69995 clauses out of 140019 with flag 0/2546000
1137.17/1109.47	c cleaning 71003 clauses out of 142024 with flag 0/2618000
1170.09/1141.81	c cleaning 72004 clauses out of 144022 with flag 0/2691001
1211.82/1182.90	c cleaning 73001 clauses out of 146017 with flag 0/2765000
1243.24/1213.97	c cleaning 73995 clauses out of 148016 with flag 0/2840000
1282.14/1252.29	c cleaning 75002 clauses out of 150021 with flag 0/2916000
1319.44/1288.83	c cleaning 75995 clauses out of 152020 with flag 0/2993001
1358.50/1327.31	c cleaning 76993 clauses out of 154024 with flag 0/3071000
1396.89/1365.24	c cleaning 78010 clauses out of 156035 with flag 0/3150004
1438.56/1406.24	c cleaning 78999 clauses out of 158022 with flag 0/3230001
1477.08/1444.16	c cleaning 80005 clauses out of 160023 with flag 0/3311001
1514.93/1481.56	c cleaning 81004 clauses out of 162017 with flag 0/3393000
1559.26/1525.18	c cleaning 81995 clauses out of 164013 with flag 0/3476000
1600.16/1565.36	c cleaning 83005 clauses out of 166020 with flag 0/3560002
1638.99/1603.33	c cleaning 83998 clauses out of 168013 with flag 0/3645000
1682.21/1645.71	c cleaning 85001 clauses out of 170015 with flag 0/3731000
1725.64/1688.43	c cleaning 86004 clauses out of 172017 with flag 0/3818003
1766.57/1728.75	c cleaning 87001 clauses out of 174011 with flag 0/3906001
1818.55/1779.76	c cleaning 87992 clauses out of 176010 with flag 0/3995001
1864.73/1825.11	c cleaning 88995 clauses out of 178017 with flag 0/4085000
1910.49/1870.07	c cleaning 90007 clauses out of 180026 with flag 0/4176004
1950.16/1909.12	c cleaning 90999 clauses out of 182015 with flag 0/4268000
1992.56/1950.78	c cleaning 92002 clauses out of 184016 with flag 0/4361000
2034.43/1991.93	c cleaning 92988 clauses out of 186014 with flag 0/4455000
2081.98/2038.71	c cleaning 94007 clauses out of 188028 with flag 0/4550002
2131.99/2087.63	c cleaning 94996 clauses out of 190020 with flag 0/4646001
2183.19/2137.97	c cleaning 96003 clauses out of 192024 with flag 0/4743001
2236.11/2189.99	c cleaning 97003 clauses out of 194020 with flag 0/4841000
2290.78/2243.81	c cleaning 98000 clauses out of 196018 with flag 0/4940001
2333.82/2286.20	c cleaning 98993 clauses out of 198018 with flag 0/5040001
2382.95/2334.05	c cleaning 100011 clauses out of 200024 with flag 0/5141000
2435.82/2385.97	c cleaning 100988 clauses out of 202015 with flag 0/5243002
2486.28/2435.30	c cleaning 101997 clauses out of 204025 with flag 0/5346000
2537.62/2485.51	c cleaning 103002 clauses out of 206028 with flag 0/5450000
2585.48/2532.62	c cleaning 104009 clauses out of 208027 with flag 0/5555001
2635.51/2581.93	c cleaning 104998 clauses out of 210018 with flag 0/5661001
2704.14/2644.58	c cleaning 106003 clauses out of 212019 with flag 0/5768000
2775.44/2710.57	c cleaning 107001 clauses out of 214017 with flag 0/5876001
2838.32/2766.96	c cleaning 107997 clauses out of 216017 with flag 0/5985002
2892.64/2820.24	c cleaning 108998 clauses out of 218020 with flag 0/6095002
2937.84/2864.71	c cleaning 110005 clauses out of 220021 with flag 0/6206001
2985.63/2911.72	c cleaning 110999 clauses out of 222015 with flag 0/6318000
3033.13/2958.23	c cleaning 111999 clauses out of 224017 with flag 0/6431001
3081.47/3005.80	c cleaning 113001 clauses out of 226020 with flag 0/6545003
3133.30/3056.99	c cleaning 113981 clauses out of 228016 with flag 0/6660000
3191.70/3114.68	c cleaning 115011 clauses out of 230036 with flag 0/6776001
3248.79/3170.52	c cleaning 116002 clauses out of 232025 with flag 0/6893001
3309.62/3230.36	c cleaning 117003 clauses out of 234022 with flag 0/7011000
3368.97/3289.00	c cleaning 118005 clauses out of 236019 with flag 0/7130000
3442.08/3361.33	c cleaning 118996 clauses out of 238015 with flag 0/7250001
3503.20/3421.48	c cleaning 119999 clauses out of 240019 with flag 0/7371001
3557.58/3474.83	c cleaning 121000 clauses out of 242019 with flag 0/7493000
3600.06/3516.42	c starts		: 1187
3600.06/3516.43	c conflicts		: 7590475
3600.06/3516.43	c decisions		: 9282066
3600.06/3516.43	c propagations		: 771393928
3600.06/3516.43	c inspects		: 12329468016
3600.06/3516.43	c shortcuts		: 0
3600.06/3516.43	c learnt literals	: 0
3600.06/3516.43	c learnt binary clauses	: 0
3600.06/3516.43	c learnt ternary clauses	: 0
3600.06/3516.43	c learnt constraints	: 7590474
3600.06/3516.43	c ignored constraints	: 0
3600.06/3516.43	c root simplifications	: 0
3600.06/3516.43	c removed literals (reason simplification)	: 0
3600.06/3516.43	c timeout
3600.06/3516.44	c reason swapping (by a shorter reason)	: 0
3600.06/3516.44	c Calls to reduceDB	: 118
3600.06/3516.44	c Number of update (reduction) of LBD	: 10542273
3600.06/3516.44	c Imported unit clauses	: 0
3600.06/3516.44	c No decision after first conflict	: false
3600.06/3516.44	c number of reductions to clauses (during analyze)	: 0
3600.06/3516.44	c number of learned constraints concerned by reduction	: 0
3600.06/3516.44	c number of learning phase by resolution	: 0
3600.06/3516.44	c number of learning phase by cutting planes	: 0
3600.06/3516.44	c number of rounding to 1 operations	: 0
3600.06/3516.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3516.44	c number of reductions of the coefficients by power 2 	: 0
3600.06/3516.44	c number of right shift for reduction by power 2 	: 0
3600.06/3516.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3516.44	c number of ending skipping 	: 0
3600.06/3516.44	c number of internal skipping 	: 0
3600.06/3516.44	c number of derivation steps 	: 231809728
3600.06/3516.44	c number of skipped derivation steps 	: 0
3600.06/3516.44	c number of remaining unassigned 	: 2022
3600.06/3516.44	c number of remaining assigned 	: 104366539
3600.06/3516.44	c number of falsified literals weakened from reason	: 0
3600.06/3516.44	c number of falsified literals weakened from conflict	: 0
3600.06/3516.44	c time for arithmetic operations	: 9564654560
3600.06/3516.45	c minimum degree of deleted constraints	: 1
3600.06/3516.45	c maximum degree of deleted constraints	: 64
3600.06/3516.45	c number of deleted constraints	: 7371981
3600.06/3516.45	c speed (assignments/second)	: 219464.53759163513
3600.06/3516.45	c non guided choices	: 214
3600.21/3516.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204067
3600.21/3516.59	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 17
3600.21/3516.59	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 14409
3600.21/3516.60	s UNKNOWN
3600.21/3516.60	c Total wall clock time (in seconds): 3516.203

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494531-1751153966/watcher-4494531-1751153966 -o /tmp/evaluation-result-4494531-1751153966/solver-4494531-1751153966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751145946-15155 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4494531-1751153966 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4494531-1751153966.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100072 s]*
/proc/loadavg: 4.35 4.29 4.26 6/330 18311
/proc/meminfo: memFree=114367264/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=18930384 memory=48540 CPUtime=0.14 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 5820 0 0 0 11 3 0 0 20 0 18 0 31075785 19384713216 12135 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4732596 12135 5333 1 0 547010 0
[pid=18293/tid=18295] ppid=18290 vsize=18930384 memory=4026531960 CPUtime=0.09 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 4711 0 0 0 7 2 0 0 20 0 18 0 31075787 19384713216 12135 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31075792 19384713216 12135 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=18930384 memory=58494082638250 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31075793 19384713216 12135 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48540 KiB

[startup+0.228445 s]*
/proc/loadavg: 4.35 4.29 4.26 8/330 18311
/proc/meminfo: memFree=114362224/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=18930384 memory=57632 CPUtime=0.34 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 6554 0 0 0 30 4 0 0 20 0 18 0 31075785 19384713216 14408 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4732596 14408 5333 1 0 547604 0
[pid=18293/tid=18295] ppid=18290 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 5062 0 0 0 18 2 0 0 20 0 18 0 31075787 19384713216 14408 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=18930384 memory=17127 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31075792 19384713216 14408 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31075793 19384713216 14408 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57632 KiB

[startup+0.319096 s]*
/proc/loadavg: 4.35 4.29 4.26 7/330 18311
/proc/meminfo: memFree=114358128/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=18930384 memory=58912 CPUtime=0.48 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 6817 0 0 0 44 4 0 0 20 0 18 0 31075785 19384713216 14728 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4732596 14728 5397 1 0 547829 0
[pid=18293/tid=18295] ppid=18290 vsize=18930384 memory=-6000919506999338094 CPUtime=0.3 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 5235 0 0 0 27 3 0 0 20 0 18 0 31075787 19384713216 14728 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31075792 19384713216 14728 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31075793 19384713216 14728 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58912 KiB

[startup+0.700313 s]
/proc/loadavg: 4.35 4.29 4.26 7/330 18311
/proc/meminfo: memFree=114337712/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=18930384 memory=138720 CPUtime=1.12 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 7958 0 0 0 105 7 0 0 20 0 18 0 31075785 19384713216 34680 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4732596 34680 5461 1 0 548581 0
[pid=18293/tid=18295] ppid=18290 vsize=18930384 memory=17408 CPUtime=0.59 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 5440 0 0 0 55 4 0 0 20 0 18 0 31075787 19384713216 34680 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31075792 19384713216 34680 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31075793 19384713216 34680 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 138720 KiB

[startup+1.50024 s]
/proc/loadavg: 4.35 4.29 4.26 6/331 18312
/proc/meminfo: memFree=114251004/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=18996948 memory=546544 CPUtime=2.63 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 17156 0 0 0 245 18 0 0 20 0 19 0 31075785 19452874752 136636 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4749237 136636 5461 1 0 552872 0
[pid=18293/tid=18295] ppid=18290 vsize=18996948 memory=3328 CPUtime=1.29 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 5621 0 0 0 117 12 0 0 20 0 19 0 31075787 19452874752 136636 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31075792 19452874752 136636 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31075793 19452874752 136636 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 546544 KiB

[startup+3.1057 s]
/proc/loadavg: 4.35 4.29 4.26 6/332 18313
/proc/meminfo: memFree=113590376/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=861456 CPUtime=5.78 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 25448 0 0 0 551 27 0 0 20 0 20 0 31075785 19521036288 215364 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 215364 5461 1 0 1083318 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=11264 CPUtime=2.82 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 5830 0 0 0 264 18 0 0 20 0 20 0 31075787 19521036288 215364 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 215364 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 215364 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 215364 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 861456 KiB

[startup+6.3004 s]
/proc/loadavg: 4.32 4.29 4.26 5/332 18313
/proc/meminfo: memFree=113051156/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=1477868 CPUtime=11.25 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 27437 0 0 0 1083 42 0 0 20 0 20 0 31075785 19521036288 369467 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 369467 5461 1 0 1083437 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=0 CPUtime=5.91 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 6173 0 0 0 559 32 0 0 20 0 20 0 31075787 19521036288 369467 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 369467 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=-6000919506999338094 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 369467 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 369467 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 11.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1477868 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.28 4.26 5/332 18313
/proc/meminfo: memFree=111824756/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=2531936 CPUtime=18.52 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 35507 0 0 0 1789 63 0 0 20 0 20 0 31075785 19521036288 632984 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 632984 5461 1 0 1083489 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=0 CPUtime=12.14 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 7936 0 0 0 1164 50 0 0 20 0 20 0 31075787 19521036288 632984 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=2527840 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 632984 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 632984 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 632984 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 18.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2531936 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.27 4.25 5/332 18313
/proc/meminfo: memFree=111333076/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=2902752 CPUtime=31.88 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 42525 0 0 0 3112 76 0 0 20 0 20 0 31075785 19521036288 725688 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 725688 5461 1 0 1083493 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=-6000919506999338094 CPUtime=24.57 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 10548 0 0 0 2396 61 0 0 20 0 20 0 31075787 19521036288 725688 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3196 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 725688 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=2902752 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 725688 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=2900704 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 725688 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2902752 KiB

[startup+51.1136 s]
/proc/loadavg: 4.22 4.26 4.25 5/332 18314
/proc/meminfo: memFree=111127820/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=2907384 CPUtime=58.62 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 52945 0 0 0 5778 84 0 0 20 0 20 0 31075785 19521036288 726846 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 726846 5493 1 0 1083510 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=2907256 CPUtime=49.58 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 13192 0 0 0 4891 67 0 0 20 0 20 0 31075787 19521036288 726846 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=-6000919506999338094 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 726846 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=2903008 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 726846 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=2902752 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 726846 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0

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

[startup+3162.3 s]
/proc/loadavg: 2.11 2.49 3.31 3/280 18557
/proc/meminfo: memFree=118311812/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3847308 CPUtime=3240.34 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 194761 0 0 0 322970 1064 0 0 20 0 20 0 31075785 19521036288 961827 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 961827 5525 1 0 985548 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=21484 CPUtime=3065.72 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 83351 0 0 0 305778 794 0 0 20 0 20 0 31075787 19521036288 961827 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3847180 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 961827 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=3847308 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 961827 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=-6000919506999338094 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 961827 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3240.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3847308 KiB

[startup+3222.3 s]
/proc/loadavg: 2.57 2.54 3.27 4/281 18560
/proc/meminfo: memFree=118240228/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3847692 CPUtime=3301.52 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 198100 0 0 0 329077 1075 0 0 20 0 20 0 31075785 19521036288 961923 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 961923 5525 1 0 985548 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=21484 CPUtime=3123.76 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 85659 0 0 0 311575 801 0 0 20 0 20 0 31075787 19521036288 961923 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3847180 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 961923 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=3847564 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 1905 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 961923 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 961923 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3301.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3847692 KiB

[startup+3282.3 s]
/proc/loadavg: 2.61 2.56 3.23 3/280 18562
/proc/meminfo: memFree=117691152/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3847948 CPUtime=3361.82 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 198541 0 0 0 335097 1085 0 0 20 0 20 0 31075785 19521036288 961987 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 961987 5525 1 0 985548 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=3847692 CPUtime=3181.41 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 85855 0 0 0 317332 809 0 0 20 0 20 0 31075787 19521036288 961987 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3847692 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 961987 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=3847692 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 961987 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=2724 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 961987 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3361.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3847948 KiB

[startup+3342.3 s]
/proc/loadavg: 2.31 2.49 3.16 3/280 18564
/proc/meminfo: memFree=117586368/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3422.76 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 205650 0 0 0 341177 1099 0 0 20 0 20 0 31075785 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 973407 5525 1 0 985550 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3239.61 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 86606 0 0 0 323145 816 0 0 20 0 20 0 31075787 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3893628 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=3893628 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=-6000919506999338094 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3422.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3893628 KiB

[startup+3402.3 s]
/proc/loadavg: 2.24 2.44 3.10 3/280 18566
/proc/meminfo: memFree=117520952/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3483.84 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 208415 0 0 0 347276 1108 0 0 20 0 20 0 31075785 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 973407 5525 1 0 985550 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3297.61 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 88611 0 0 0 328938 823 0 0 20 0 20 0 31075787 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3893628 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=14340 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3483.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3893628 KiB

[startup+3462.3 s]
/proc/loadavg: 1.59 2.23 2.99 2/256 18602
/proc/meminfo: memFree=124157048/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3544.67 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 211249 0 0 0 353344 1123 0 0 20 0 20 0 31075785 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 973407 5525 1 0 985550 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3355.59 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 90607 0 0 0 334726 833 0 0 20 0 20 0 31075787 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=3893628 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=14340 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 2005 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3544.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3893628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3516.4 s]
/proc/loadavg: 1.28 2.04 2.87 2/255 18604
/proc/meminfo: memFree=124117116/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3600.06 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 211615 0 0 0 358873 1133 0 0 20 0 20 0 31075785 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4765878 973407 5525 1 0 985550 0
[pid=18293/tid=18295] ppid=18290 vsize=19063512 memory=3893628 CPUtime=3407.78 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 15143 0 -1 4194368 90755 0 0 0 339940 838 0 0 20 0 20 0 31075787 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19063512 memory=2724 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19063512 memory=17448 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 2053 0 0 0 0 0 0 0 20 0 20 0 31075793 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18313] ppid=18290 vsize=19063512 memory=46464 CPUtime=0 cores=1,3
/proc/18293/task/18313/stat : 18313 (Timer-0) S 18290 18293 15143 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31075941 19521036288 973407 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3893628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.99 s, system=11.3726 s

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

[startup+3516.6 s]
/proc/loadavg: 1.28 2.04 2.87 2/255 18604
/proc/meminfo: memFree=124117116/131382112 swapFree=33010684/33010684
[pid=18293] ppid=18290 vsize=19263204 memory=3894524 CPUtime=3600.33 cores=1,3
/proc/18293/stat : 18293 (java) S 18290 18293 15143 0 -1 4194304 213822 0 0 0 358899 1134 0 0 20 0 20 0 31075785 19725520896 973631 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
/proc/18293/statm: 4815801 973631 5557 1 0 986495 0
[pid=18293/tid=18295] ppid=18290 vsize=19263204 memory=4760 CPUtime=3407.81 cores=1,3
/proc/18293/task/18295/stat : 18295 (java) S 18290 18293 15143 0 -1 4194368 91070 0 0 0 339942 839 0 0 20 0 20 0 31075787 19725520896 973631 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18304] ppid=18290 vsize=19263204 memory=2764 CPUtime=0 cores=1,3
/proc/18293/task/18304/stat : 18304 (Finalizer) S 18290 18293 15143 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31075792 19725520896 973631 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
[pid=18293/tid=18311] ppid=18290 vsize=19263204 memory=21484 CPUtime=0 cores=1,3
/proc/18293/task/18311/stat : 18311 (Common-Cleaner) S 18290 18293 15143 0 -1 4194368 2053 0 0 0 0 0 0 0 20 0 20 0 31075793 19725520896 973631 18446744073709551615 94406376603648 94406376607344 140731930270496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94406376615160 94406376615952 94406394290176 140731930278189 140731930278374 140731930278374 140731930283976 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3894524 KiB

Child status: 143

Real time (s): 3516.64
CPU time (s): 3600.37
CPU user time (s): 3588.99
CPU system time (s): 11.3726
CPU usage (%): 102.381
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4285056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.99
system time used= 11.3726
maximum resident set size= 4285056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4281720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141477
involuntary context switches= 22000


# summary of solver processes directly reported to runsolver:
#   pid: 18293
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3588.99
#   total CPU system time (s): 11.3726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5305 second user time and 35.3242 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 01:39:26
IDJOB=4494531
IDBENCH=147893
IDSOLVER=3362
FILE ID=nodeC007/4494531-1751153966
RUNJOBID= nodeC007-1751145946-15155
SLURM_JOB_ID= 9587454
Free space on /tmp= 432992 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494531-1751153966/watcher-4494531-1751153966 -o /tmp/evaluation-result-4494531-1751153966/solver-4494531-1751153966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751145946-15155 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4494531-1751153966 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4494531-1751153966.opb

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

MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1578517914

nodeC007 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		: 3660.814
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.68
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.200
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.68
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.361
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.68
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.399
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.68
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		: 3591.602
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.68
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		: 3525.192
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.68
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.68
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		: 3700.000
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        114388528 kB
MemAvailable:   114632012 kB
Buffers:            3280 kB
Cached:          1054404 kB
SwapCached:            0 kB
Active:         15645388 kB
Inactive:         809236 kB
Active(anon):   15414984 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   809236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8660 kB
Writeback:             0 kB
AnonPages:      15400452 kB
Mapped:           122164 kB
Shmem:             17960 kB
KReclaimable:      86944 kB
Slab:             168556 kB
SReclaimable:      86944 kB
SUnreclaim:        81612 kB
KernelStack:        5036 kB
PageTables:        33836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   17013600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15153152 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:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC007 at 2025-06-29 02:38:03