Trace number 4523525

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 VeriPB 2025-06-06? (TO) 3600.21 3668.91

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
MD5SUMf833be1967b503cfce1013007946cb2b
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 benchmark4
Best CPU time to get the best result obtained on this benchmark5.27099
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1294
Total number of constraints1091
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 785
Biggest coefficient in the objective function 12628
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 55047
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 12628
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 55047
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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4523525-1751604666.opb
0.12/0.13	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.15	c  objective function found
1.05/0.66	c ... done. Wall clock time 0.524s.
1.05/0.66	c declared #vars     1294
1.05/0.66	c #constraints  1092
1.05/0.66	c constraints type 
1.05/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.05/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1088
1.05/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.05/0.66	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.05/0.66	c 1092 constraints processed.
1.05/0.68	c objective function length is 785 literals
3.62/1.92	c cleaning 2493 clauses out of 5000 with flag 14645/5000
4.91/2.86	c cleaning 4250 clauses out of 8507 with flag 31648/11000
6.20/4.05	c cleaning 5628 clauses out of 11259 with flag 50241/18002
7.79/5.45	c cleaning 6812 clauses out of 13629 with flag 72893/26000
9.35/6.93	c cleaning 7904 clauses out of 15818 with flag 98546/35001
10.75/8.32	c cleaning 8951 clauses out of 17915 with flag 131465/45002
12.34/9.90	c cleaning 9976 clauses out of 19963 with flag 162601/56001
14.14/11.72	c cleaning 10986 clauses out of 21986 with flag 200270/68000
16.04/13.67	c cleaning 11992 clauses out of 24000 with flag 243235/81000
18.24/15.83	c cleaning 12998 clauses out of 26009 with flag 288271/95001
20.46/18.09	c cleaning 13996 clauses out of 28010 with flag 333634/110000
22.85/20.48	c cleaning 14997 clauses out of 30014 with flag 382012/126000
25.69/23.26	c cleaning 16000 clauses out of 32020 with flag 435568/143003
28.53/25.99	c cleaning 17000 clauses out of 34018 with flag 484869/161001
31.44/28.89	c cleaning 17998 clauses out of 36017 with flag 537195/180000
34.54/31.98	c cleaning 19001 clauses out of 38019 with flag 591021/200000
38.23/35.60	c cleaning 20001 clauses out of 40018 with flag 662666/221000
41.86/39.29	c cleaning 20996 clauses out of 42018 with flag 736471/243001
45.77/43.15	c cleaning 22003 clauses out of 44024 with flag 811151/266003
49.66/47.03	c cleaning 22996 clauses out of 46019 with flag 884386/290001
53.77/51.18	c cleaning 24008 clauses out of 48027 with flag 956874/315005
58.84/56.23	c cleaning 24996 clauses out of 50014 with flag 1039211/341000
64.14/61.52	c cleaning 26001 clauses out of 52018 with flag 1135757/368000
69.83/67.25	c cleaning 26998 clauses out of 54017 with flag 1236215/396000
75.23/72.65	c cleaning 28000 clauses out of 56020 with flag 1341932/425001
81.04/78.43	c cleaning 28999 clauses out of 58019 with flag 1445283/455000
86.92/84.31	c cleaning 30003 clauses out of 60023 with flag 1557579/486003
93.22/90.69	c cleaning 30999 clauses out of 62019 with flag 1677854/518002
100.35/100.98	c cleaning 32000 clauses out of 64019 with flag 1806722/551001
107.82/108.47	c cleaning 33000 clauses out of 66018 with flag 1932479/585000
115.52/116.13	c cleaning 34004 clauses out of 68019 with flag 2049381/620001
123.55/124.49	c cleaning 34998 clauses out of 70014 with flag 2169528/656000
131.52/132.42	c cleaning 36000 clauses out of 72016 with flag 2291381/693000
140.63/141.52	c cleaning 36995 clauses out of 74016 with flag 2420432/731000
149.60/150.51	c cleaning 37998 clauses out of 76022 with flag 2566418/770001
159.12/160.26	c cleaning 39001 clauses out of 78026 with flag 2722445/810003
169.42/170.57	c cleaning 39999 clauses out of 80022 with flag 2879542/851000
180.11/181.26	c cleaning 40999 clauses out of 82023 with flag 3034602/893000
191.50/192.76	c cleaning 42006 clauses out of 84025 with flag 3196021/936001
202.80/204.07	c cleaning 42998 clauses out of 86018 with flag 3363972/980000
214.40/215.60	c cleaning 44002 clauses out of 88021 with flag 3520549/1025001
226.15/229.95	c cleaning 45001 clauses out of 90019 with flag 3669301/1071001
238.67/242.48	c cleaning 46002 clauses out of 92020 with flag 3823593/1118003
250.61/259.39	c cleaning 46994 clauses out of 94015 with flag 3983317/1166000
262.72/271.47	c cleaning 48002 clauses out of 96021 with flag 4128695/1215000
274.67/283.51	c cleaning 48996 clauses out of 98023 with flag 4279579/1265004
287.49/296.34	c cleaning 50000 clauses out of 100024 with flag 4430511/1316001
301.72/310.54	c cleaning 50995 clauses out of 102024 with flag 4599524/1368001
317.38/326.40	c cleaning 51998 clauses out of 104030 with flag 4774105/1421002
333.42/342.39	c cleaning 53009 clauses out of 106032 with flag 4990612/1475002
348.65/357.55	c cleaning 54000 clauses out of 108021 with flag 5204193/1530000
364.29/373.12	c cleaning 54998 clauses out of 110021 with flag 5399847/1586000
380.24/389.25	c cleaning 56003 clauses out of 112024 with flag 5617421/1643001
398.78/407.80	c cleaning 57001 clauses out of 114021 with flag 5842257/1701001
418.88/427.88	c cleaning 58000 clauses out of 116019 with flag 6071491/1760000
437.43/446.47	c cleaning 59000 clauses out of 118020 with flag 6297245/1820001
457.65/466.66	c cleaning 60002 clauses out of 120022 with flag 6550581/1881003
478.43/487.42	c cleaning 61001 clauses out of 122019 with flag 6810020/1943002
499.07/508.13	c cleaning 61998 clauses out of 124017 with flag 7069739/2006001
520.89/529.90	c cleaning 63001 clauses out of 126020 with flag 7302721/2070002
542.23/551.27	c cleaning 63995 clauses out of 128017 with flag 7543343/2135000
565.27/574.41	c cleaning 65003 clauses out of 130023 with flag 7792294/2201001
588.79/597.99	c cleaning 65999 clauses out of 132022 with flag 8040453/2268003
611.42/620.68	c cleaning 67001 clauses out of 134024 with flag 8297951/2336004
634.04/643.21	c cleaning 67996 clauses out of 136019 with flag 8566984/2405000
659.06/668.34	c cleaning 68997 clauses out of 138024 with flag 8854928/2475001
687.52/696.83	c cleaning 70001 clauses out of 140026 with flag 9127004/2546000
713.17/722.70	c cleaning 71006 clauses out of 142026 with flag 9413322/2618001
737.89/747.57	c cleaning 71997 clauses out of 144019 with flag 9736238/2691000
764.40/776.98	c cleaning 73000 clauses out of 146022 with flag 10072470/2765000
791.32/803.88	c cleaning 74004 clauses out of 148022 with flag 10373524/2840000
818.92/835.23	c cleaning 74997 clauses out of 150019 with flag 10686790/2916001
845.70/862.09	c cleaning 75999 clauses out of 152023 with flag 11012058/2993002
871.46/887.80	c cleaning 76998 clauses out of 154022 with flag 11346364/3071000
900.15/916.50	c cleaning 78003 clauses out of 156024 with flag 11704491/3150000
928.67/945.12	c cleaning 79001 clauses out of 158021 with flag 12033433/3230000
962.52/979.63	c cleaning 79999 clauses out of 160021 with flag 12393876/3311001
995.21/1012.33	c cleaning 81001 clauses out of 162021 with flag 12762321/3393000
1031.92/1049.05	c cleaning 82001 clauses out of 164020 with flag 13118134/3476000
1066.92/1084.06	c cleaning 83003 clauses out of 166020 with flag 13467747/3560001
1102.17/1119.45	c cleaning 83992 clauses out of 168016 with flag 13783017/3645000
1137.78/1155.32	c cleaning 85001 clauses out of 170024 with flag 14108662/3731000
1182.29/1200.07	c cleaning 86002 clauses out of 172024 with flag 14474049/3818001
1223.81/1241.79	c cleaning 87000 clauses out of 174021 with flag 14840473/3906000
1264.45/1288.07	c cleaning 88002 clauses out of 176023 with flag 15180531/3995002
1302.69/1326.31	c cleaning 89000 clauses out of 178021 with flag 15496752/4085002
1346.73/1370.44	c cleaning 89998 clauses out of 180021 with flag 15838559/4176002
1386.64/1410.36	c cleaning 91000 clauses out of 182022 with flag 16134656/4268001
1423.11/1446.84	c cleaning 91998 clauses out of 184021 with flag 16538990/4361000
1465.82/1489.59	c cleaning 93003 clauses out of 186023 with flag 16958614/4455000
1515.69/1539.53	c cleaning 94000 clauses out of 188021 with flag 17362335/4550001
1558.34/1582.24	c cleaning 95001 clauses out of 190020 with flag 17777229/4646000
1601.97/1625.94	c cleaning 95998 clauses out of 192022 with flag 18181299/4743003
1647.76/1671.81	c cleaning 97001 clauses out of 194023 with flag 18590558/4841002
1698.24/1722.42	c cleaning 97994 clauses out of 196020 with flag 19029456/4940000
1748.57/1772.92	c cleaning 99000 clauses out of 198027 with flag 19440754/5040001
1799.57/1823.96	c cleaning 100006 clauses out of 200026 with flag 19899245/5141000
1850.24/1874.43	c cleaning 101002 clauses out of 202021 with flag 20347815/5243001
1901.92/1932.76	c cleaning 102002 clauses out of 204019 with flag 20807713/5346001
1951.65/1982.57	c cleaning 102999 clauses out of 206018 with flag 21290608/5450002
1999.69/2030.71	c cleaning 104000 clauses out of 208019 with flag 21790883/5555002
2056.28/2091.08	c cleaning 104996 clauses out of 210019 with flag 22270230/5661002
2113.12/2147.96	c cleaning 106002 clauses out of 212023 with flag 22762786/5768002
2172.14/2207.22	c cleaning 106997 clauses out of 214019 with flag 23255435/5876000
2230.93/2267.77	c cleaning 107997 clauses out of 216022 with flag 23745161/5985000
2296.68/2333.67	c cleaning 109004 clauses out of 218026 with flag 24219488/6095001
2364.18/2403.91	c cleaning 109999 clauses out of 220021 with flag 24727218/6206000
2429.59/2469.89	c cleaning 111001 clauses out of 222023 with flag 25262909/6318001
2498.01/2546.13	c cleaning 111999 clauses out of 224021 with flag 25793543/6431000
2568.11/2616.26	c cleaning 113000 clauses out of 226023 with flag 26293876/6545001
2638.71/2692.00	c cleaning 113995 clauses out of 228022 with flag 26801787/6660000
2710.36/2763.80	c cleaning 115000 clauses out of 230027 with flag 27325881/6776000
2787.38/2841.99	c cleaning 116006 clauses out of 232030 with flag 27791994/6893003
2875.68/2935.39	c cleaning 117001 clauses out of 234022 with flag 28295650/7011001
2957.24/3017.07	c cleaning 117998 clauses out of 236023 with flag 28808988/7130003
3044.81/3104.76	c cleaning 119000 clauses out of 238024 with flag 29312944/7250002
3119.32/3179.43	c cleaning 119999 clauses out of 240022 with flag 29866643/7371000
3196.65/3260.33	c cleaning 120998 clauses out of 242025 with flag 30413351/7493002
3277.70/3341.55	c cleaning 121999 clauses out of 244028 with flag 30950986/7616003
3368.33/3436.67	c cleaning 123000 clauses out of 246028 with flag 31465768/7740002
3453.58/3522.02	c cleaning 124000 clauses out of 248028 with flag 31988861/7865002
3538.09/3606.70	c cleaning 125000 clauses out of 250026 with flag 32531853/7991000
3600.05/3668.82	c starts		: 467
3600.05/3668.82	c timeout
3600.05/3668.82	c conflicts		: 8081645
3600.05/3668.83	c decisions		: 8710571
3600.05/3668.83	c propagations		: 119005705
3600.05/3668.83	c inspects		: 32878847395
3600.05/3668.83	c shortcuts		: 0
3600.05/3668.83	c learnt literals	: 0
3600.05/3668.83	c learnt binary clauses	: 0
3600.05/3668.83	c learnt ternary clauses	: 0
3600.05/3668.83	c learnt constraints	: 8081645
3600.05/3668.83	c ignored constraints	: 0
3600.05/3668.83	c root simplifications	: 0
3600.05/3668.83	c removed literals (reason simplification)	: 2718137
3600.05/3668.83	c reason swapping (by a shorter reason)	: 0
3600.05/3668.83	c Calls to reduceDB	: 122
3600.05/3668.83	c Number of update (reduction) of LBD	: 712170
3600.05/3668.83	c Imported unit clauses	: 0
3600.05/3668.83	c No decision after first conflict	: false
3600.05/3668.83	c number of reductions to clauses (during analyze)	: 0
3600.05/3668.83	c number of learned constraints concerned by reduction	: 0
3600.05/3668.83	c number of learning phase by resolution	: 0
3600.05/3668.83	c number of learning phase by cutting planes	: 0
3600.05/3668.83	c number of rounding to 1 operations	: 0
3600.05/3668.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3668.83	c number of reductions of the coefficients by power 2 	: 0
3600.05/3668.83	c number of right shift for reduction by power 2 	: 0
3600.05/3668.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3668.83	c number of ending skipping 	: 0
3600.05/3668.83	c number of internal skipping 	: 0
3600.05/3668.83	c number of derivation steps 	: 0
3600.05/3668.83	c number of skipped derivation steps 	: 0
3600.05/3668.83	c number of remaining unassigned 	: 0
3600.05/3668.83	c number of remaining assigned 	: 0
3600.05/3668.83	c number of falsified literals weakened from reason	: 0
3600.05/3668.83	c number of falsified literals weakened from conflict	: 0
3600.05/3668.83	c time for arithmetic operations	: 0
3600.05/3668.83	c minimum degree of deleted constraints	: null
3600.05/3668.83	c maximum degree of deleted constraints	: null
3600.05/3668.83	c number of deleted constraints	: 0
3600.05/3668.83	c speed (assignments/second)	: 32443.144751373384
3600.05/3668.83	c non guided choices	: 0
3600.05/3668.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 215671
3600.05/3668.89	s UNKNOWN
3600.05/3668.89	c Total wall clock time (in seconds): 3668.76

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59608 MiB free)
  memory of node 1: 64507 MiB (57036 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=90499, runsolver pid=90495
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.16 4.26 4.19 7/340 90542
/proc/meminfo: memFree=119371708/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=18930384 memory=55636 CPUtime=0.12 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 6555 0 0 0 11 1 0 0 20 0 18 0 76144405 19384713216 13909 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4732596 13909 5329 1 0 547604 0
[pid=90499/tid=90504] ppid=90495 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5055 0 0 0 6 1 0 0 20 0 18 0 76144406 19384713216 13909 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144408 19384713216 13909 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76144409 19384713216 13909 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55636 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.16 4.26 4.19 8/340 90542
/proc/meminfo: memFree=119349852/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=18930384 memory=65888 CPUtime=0.29 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 6992 0 0 0 27 2 0 0 20 0 18 0 76144405 19384713216 16472 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4732596 16472 5425 1 0 547890 0
[pid=90499/tid=90504] ppid=90495 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5274 0 0 0 14 1 0 0 20 0 18 0 76144406 19384713216 16472 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144408 19384713216 16472 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76144409 19384713216 16472 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65888 KiB

[startup+0.305842 s]*
/proc/loadavg: 4.16 4.26 4.19 7/340 90542
/proc/meminfo: memFree=119291816/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=18930384 memory=100720 CPUtime=0.48 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 8450 0 0 0 46 2 0 0 20 0 18 0 76144405 19384713216 25180 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4732596 25180 5425 1 0 548867 0
[pid=90499/tid=90504] ppid=90495 vsize=18930384 memory=-6000919468478655590 CPUtime=0.24 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5290 0 0 0 23 1 0 0 20 0 18 0 76144406 19384713216 25180 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144408 19384713216 25180 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76144409 19384713216 25180 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100720 KiB

[startup+0.700222 s]
/proc/loadavg: 4.16 4.26 4.19 7/342 90544
/proc/meminfo: memFree=119150788/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=18997524 memory=189304 CPUtime=1.24 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 9568 0 0 0 119 5 0 0 20 0 19 0 76144405 19453464576 47326 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4749381 47326 5521 1 0 549953 0
[pid=90499/tid=90504] ppid=90495 vsize=18997524 memory=18688 CPUtime=0.54 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5437 0 0 0 51 3 0 0 20 0 19 0 76144406 19453464576 47183 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=18997524 memory=10752 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76144408 19453464576 47183 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76144409 19452874752 47183 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18997524 KiB
Current children cumulated memory: 189304 KiB

[startup+1.50025 s]
/proc/loadavg: 4.16 4.26 4.19 7/344 90546
/proc/meminfo: memFree=119058576/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=225472 CPUtime=2.83 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 14687 0 0 0 276 7 0 0 20 0 20 0 76144405 19521036288 56368 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 56368 5521 1 0 989349 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3328 CPUtime=1.23 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5500 0 0 0 120 3 0 0 20 0 20 0 76144406 19521036288 56368 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 56368 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 56368 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 56368 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225472 KiB

[startup+3.10602 s]
/proc/loadavg: 4.16 4.26 4.19 5/344 90546
/proc/meminfo: memFree=118479476/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=568420 CPUtime=5.3 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 15100 0 0 0 515 15 0 0 20 0 20 0 76144405 19521036288 142105 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 142105 5521 1 0 989408 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=10752 CPUtime=2.81 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 5708 0 0 0 270 11 0 0 20 0 20 0 76144406 19521036288 142105 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 142105 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 142105 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 142105 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 568420 KiB

[startup+6.30026 s]
/proc/loadavg: 4.22 4.28 4.19 6/344 90546
/proc/meminfo: memFree=117681928/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=848328 CPUtime=8.75 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 19102 0 0 0 853 22 0 0 20 0 20 0 76144405 19521036288 212082 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 212082 5521 1 0 989412 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=0 CPUtime=5.98 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 6730 0 0 0 581 17 0 0 20 0 20 0 76144406 19521036288 212082 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 212082 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 212082 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=254148 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 212082 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 848328 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.29 4.20 5/344 90546
/proc/meminfo: memFree=115788232/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=2040336 CPUtime=15.14 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 21645 0 0 0 1466 48 0 0 20 0 20 0 76144405 19521036288 510084 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 510084 5521 1 0 989419 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=254148 CPUtime=12.34 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 8059 0 0 0 1191 43 0 0 20 0 20 0 76144406 19521036288 510084 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=1925576 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 510084 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 510084 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=952776 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 510084 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2040336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.29 4.20 5/344 90546
/proc/meminfo: memFree=115069020/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=2396904 CPUtime=28.12 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 28331 0 0 0 2748 64 0 0 20 0 20 0 76144405 19521036288 599226 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 599226 5553 1 0 989421 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=0 CPUtime=25.07 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 10537 0 0 0 2450 57 0 0 20 0 20 0 76144406 19521036288 599226 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 599226 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=68 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 599226 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=2392680 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 599226 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 28.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2396904 KiB

[startup+51.1058 s]
/proc/loadavg: 4.35 4.30 4.20 5/344 90546
/proc/meminfo: memFree=114370228/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=2403192 CPUtime=53.77 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 33843 0 0 0 5300 77 0 0 20 0 20 0 76144405 19521036288 600798 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 600798 5553 1 0 989421 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=14824 CPUtime=50.55 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 12613 0 0 0 4987 68 0 0 20 0 20 0 76144406 19521036288 600798 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=2397032 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 600798 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=2396904 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 600798 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0

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

/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 1933 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3218.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/345 90729
/proc/meminfo: memFree=57982472/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3278.5 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 131755 0 0 0 326971 879 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990092 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3254.68 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 66367 0 0 0 324697 771 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2010 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3278.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/345 90731
/proc/meminfo: memFree=57225316/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3334.15 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 132927 0 0 0 332524 891 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3310.04 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 66890 0 0 0 330223 781 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3462.31 s]
/proc/loadavg: 4.13 4.14 4.16 6/346 90737
/proc/meminfo: memFree=56442292/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3393.99 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 133801 0 0 0 338498 901 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3369.78 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 67748 0 0 0 336187 791 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/348 90873
/proc/meminfo: memFree=92242632/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3453.88 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 135859 0 0 0 344477 911 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3429.38 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 69076 0 0 0 342139 799 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2238 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/348 90875
/proc/meminfo: memFree=91137584/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3513.72 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 137706 0 0 0 350447 925 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3489.02 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 70295 0 0 0 348091 811 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2239 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

[startup+3642.3 s]
/proc/loadavg: 4.34 4.20 4.18 5/348 90943
/proc/meminfo: memFree=105747916/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3573.57 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 138225 0 0 0 356418 939 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=18688 CPUtime=3548.66 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 70694 0 0 0 354042 824 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2316 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3668.8 s]
/proc/loadavg: 4.49 4.25 4.20 5/348 90944
/proc/meminfo: memFree=105047280/131249996 swapFree=33010672/33010684
[pid=90499] ppid=90495 vsize=19063512 memory=3906736 CPUtime=3600.05 cores=0,2
/proc/90499/stat : 90499 (java) S 90495 90499 89864 0 -1 4194304 138827 0 0 0 359062 943 0 0 20 0 20 0 76144405 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
/proc/90499/statm: 4765878 976684 5553 1 0 990093 0
[pid=90499/tid=90504] ppid=90495 vsize=19063512 memory=9216 CPUtime=3575.04 cores=0,2
/proc/90499/task/90504/stat : 90504 (java) R 90495 90499 89864 0 -1 4194368 71222 0 0 0 356676 828 0 0 20 0 20 0 76144406 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90513] ppid=90495 vsize=19063512 memory=29992 CPUtime=0 cores=0,2
/proc/90499/task/90513/stat : 90513 (Finalizer) S 90495 90499 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144408 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90521] ppid=90495 vsize=19063512 memory=7220 CPUtime=0 cores=0,2
/proc/90499/task/90521/stat : 90521 (Common-Cleaner) S 90495 90499 89864 0 -1 4194368 2316 0 0 0 0 0 0 0 20 0 20 0 76144409 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
[pid=90499/tid=90545] ppid=90495 vsize=19063512 memory=3906736 CPUtime=0 cores=0,2
/proc/90499/task/90545/stat : 90545 (Timer-0) S 90495 90499 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144475 19521036288 976684 18446744073709551615 94570396217344 94570396221040 140732681820864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570396228856 94570396229648 94570419265536 140732681824560 140732681824742 140732681824742 140732681830344 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3906736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.75 s, system=9.45551 s

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

[startup+3668.91 s]*
/proc/loadavg: 4.49 4.25 4.20 5/330 90947
/proc/meminfo: memFree=106930208/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3668.91
CPU time (s): 3600.21
CPU user time (s): 3590.75
CPU system time (s): 9.45551
CPU usage (%): 98.1273
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3906736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.75
system time used= 9.45551
maximum resident set size= 3907888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15431592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117030
involuntary context switches= 10368


# summary of solver processes directly reported to runsolver:
#   pid: 90499
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3590.75
#   total CPU system time (s): 9.45551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.16249 second user time and 16.2725 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-04 06:51:07
IDJOB=4523525
IDBENCH=180364
IDSOLVER=3364
FILE ID=nodeC017/4523525-1751604666
RUNJOBID= nodeC017-1751600965-89874
SLURM_JOB_ID= 9598879
Free space on /tmp= 432460 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523525-1751604666/watcher-4523525-1751604666 -o /tmp/evaluation-result-4523525-1751604666/solver-4523525-1751604666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89874 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523525-1751604666 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523525-1751604666.opb

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

MD5SUM BENCH= f833be1967b503cfce1013007946cb2b
RANDOM SEED=394044148

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119443520 kB
MemAvailable:   124724372 kB
Buffers:            1688 kB
Cached:          6048660 kB
SwapCached:            8 kB
Active:          5372036 kB
Inactive:        5759216 kB
Active(anon):    5082912 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  5743088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            433752 kB
Writeback:            20 kB
AnonPages:       5084112 kB
Mapped:           123900 kB
Shmem:             18072 kB
KReclaimable:     175360 kB
Slab:             280548 kB
SReclaimable:     175360 kB
SUnreclaim:       105188 kB
KernelStack:        4896 kB
PageTables:        13292 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8549388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151128 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4925440 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432412 MiB
End job on nodeC017 at 2025-07-04 07:52:16