Trace number 4523524

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.25 3598.17

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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.29/0.23	c Number of processors 	2
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c Expensive reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.33	c solving HOME/instance-4523524-1751602324.opb
0.44/0.33	c reading problem ... 
0.44/0.34	c  objective function found
2.26/1.31	c ... done. Wall clock time 0.974s.
2.26/1.31	c declared #vars     1294
2.26/1.32	c #constraints  1092
2.26/1.32	c constraints type 
2.26/1.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
2.26/1.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1088
2.26/1.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
2.26/1.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
2.26/1.32	c 1092 constraints processed.
2.26/1.33	c objective function length is 785 literals
3.88/2.28	c cleaning 2493 clauses out of 5000 with flag 14645/5000
4.87/3.07	c cleaning 4250 clauses out of 8507 with flag 31648/11000
6.10/4.07	c cleaning 5628 clauses out of 11259 with flag 50241/18002
7.67/5.29	c cleaning 6812 clauses out of 13629 with flag 72893/26000
9.10/6.53	c cleaning 7904 clauses out of 15818 with flag 98546/35001
10.19/7.62	c cleaning 8951 clauses out of 17915 with flag 131465/45002
11.39/8.88	c cleaning 9976 clauses out of 19963 with flag 162601/56001
13.70/11.15	c cleaning 10986 clauses out of 21986 with flag 200270/68000
15.38/12.83	c cleaning 11992 clauses out of 24000 with flag 243235/81000
17.20/14.69	c cleaning 12998 clauses out of 26009 with flag 288271/95001
19.09/16.56	c cleaning 13996 clauses out of 28010 with flag 333634/110000
21.18/18.62	c cleaning 14997 clauses out of 30014 with flag 382012/126000
23.66/21.04	c cleaning 16000 clauses out of 32020 with flag 435568/143003
26.13/23.37	c cleaning 17000 clauses out of 34018 with flag 484869/161001
28.72/25.90	c cleaning 17998 clauses out of 36017 with flag 537195/180000
31.32/28.50	c cleaning 19001 clauses out of 38019 with flag 591021/200000
34.31/31.56	c cleaning 20001 clauses out of 40018 with flag 662666/221000
37.51/34.76	c cleaning 20996 clauses out of 42018 with flag 736471/243001
40.81/38.06	c cleaning 22003 clauses out of 44024 with flag 811151/266003
44.09/41.37	c cleaning 22996 clauses out of 46019 with flag 884386/290001
47.58/44.89	c cleaning 24008 clauses out of 48027 with flag 956874/315005
52.17/49.42	c cleaning 24996 clauses out of 50014 with flag 1039211/341000
56.97/54.22	c cleaning 26001 clauses out of 52018 with flag 1135757/368000
62.25/59.55	c cleaning 26998 clauses out of 54017 with flag 1236215/396000
67.24/64.52	c cleaning 28000 clauses out of 56020 with flag 1341932/425001
72.53/69.82	c cleaning 28999 clauses out of 58019 with flag 1445283/455000
77.93/75.28	c cleaning 30003 clauses out of 60023 with flag 1557579/486003
83.96/81.23	c cleaning 30999 clauses out of 62019 with flag 1677854/518002
91.65/88.95	c cleaning 32000 clauses out of 64019 with flag 1806722/551001
100.15/97.41	c cleaning 33000 clauses out of 66018 with flag 1932479/585000
107.44/104.78	c cleaning 34004 clauses out of 68019 with flag 2049381/620001
115.03/112.38	c cleaning 34998 clauses out of 70014 with flag 2169528/656000
124.16/121.47	c cleaning 36000 clauses out of 72016 with flag 2291381/693000
132.76/130.03	c cleaning 36995 clauses out of 74016 with flag 2420432/731000
141.13/138.43	c cleaning 37998 clauses out of 76022 with flag 2566418/770001
150.21/147.51	c cleaning 39001 clauses out of 78026 with flag 2722445/810003
160.73/158.05	c cleaning 39999 clauses out of 80022 with flag 2879542/851000
172.51/169.83	c cleaning 40999 clauses out of 82023 with flag 3034602/893000
184.22/181.66	c cleaning 42006 clauses out of 84025 with flag 3196021/936001
195.10/192.57	c cleaning 42998 clauses out of 86018 with flag 3363972/980000
207.22/204.66	c cleaning 44002 clauses out of 88021 with flag 3520549/1025001
218.10/215.59	c cleaning 45001 clauses out of 90019 with flag 3669301/1071001
229.78/227.28	c cleaning 46002 clauses out of 92020 with flag 3823593/1118003
240.92/238.38	c cleaning 46994 clauses out of 94015 with flag 3983317/1166000
252.10/249.59	c cleaning 48002 clauses out of 96021 with flag 4128695/1215000
263.09/260.48	c cleaning 48996 clauses out of 98023 with flag 4279579/1265004
274.86/272.28	c cleaning 50000 clauses out of 100024 with flag 4430511/1316001
287.84/285.21	c cleaning 50995 clauses out of 102024 with flag 4599524/1368001
303.92/301.27	c cleaning 51998 clauses out of 104030 with flag 4774105/1421002
320.09/317.32	c cleaning 53009 clauses out of 106032 with flag 4990612/1475002
333.37/330.62	c cleaning 54000 clauses out of 108021 with flag 5204193/1530000
348.92/346.16	c cleaning 54998 clauses out of 110021 with flag 5399847/1586000
363.28/360.59	c cleaning 56003 clauses out of 112024 with flag 5617421/1643001
379.95/377.23	c cleaning 57001 clauses out of 114021 with flag 5842257/1701001
398.24/395.48	c cleaning 58000 clauses out of 116019 with flag 6071491/1760000
415.45/412.52	c cleaning 59000 clauses out of 118020 with flag 6297245/1820001
433.62/430.75	c cleaning 60002 clauses out of 120022 with flag 6550581/1881003
452.42/449.46	c cleaning 61001 clauses out of 122019 with flag 6810020/1943002
471.19/468.23	c cleaning 61998 clauses out of 124017 with flag 7069739/2006001
491.07/488.07	c cleaning 63001 clauses out of 126020 with flag 7302721/2070002
510.53/507.54	c cleaning 63995 clauses out of 128017 with flag 7543343/2135000
533.16/530.19	c cleaning 65003 clauses out of 130023 with flag 7792294/2201001
554.82/551.81	c cleaning 65999 clauses out of 132022 with flag 8040453/2268003
575.58/572.58	c cleaning 67001 clauses out of 134024 with flag 8297951/2336004
597.54/594.45	c cleaning 67996 clauses out of 136019 with flag 8566984/2405000
620.21/617.12	c cleaning 68997 clauses out of 138024 with flag 8854928/2475001
647.68/644.68	c cleaning 70001 clauses out of 140026 with flag 9127004/2546000
670.83/667.80	c cleaning 71006 clauses out of 142026 with flag 9413322/2618001
694.72/691.75	c cleaning 71997 clauses out of 144019 with flag 9736238/2691000
718.58/715.64	c cleaning 73000 clauses out of 146022 with flag 10072470/2765000
744.58/741.63	c cleaning 74004 clauses out of 148022 with flag 10373524/2840000
769.62/766.63	c cleaning 74997 clauses out of 150019 with flag 10686790/2916001
794.27/791.33	c cleaning 75999 clauses out of 152023 with flag 11012058/2993002
819.38/816.47	c cleaning 76998 clauses out of 154022 with flag 11346364/3071000
845.44/842.58	c cleaning 78003 clauses out of 156024 with flag 11704491/3150000
873.47/870.60	c cleaning 79001 clauses out of 158021 with flag 12033433/3230000
904.51/901.63	c cleaning 79999 clauses out of 160021 with flag 12393876/3311001
934.57/931.78	c cleaning 81001 clauses out of 162021 with flag 12762321/3393000
969.95/967.29	c cleaning 82001 clauses out of 164020 with flag 13118134/3476000
1003.67/1001.00	c cleaning 83003 clauses out of 166020 with flag 13467747/3560001
1036.69/1033.96	c cleaning 83992 clauses out of 168016 with flag 13783017/3645000
1069.13/1066.45	c cleaning 85001 clauses out of 170024 with flag 14108662/3731000
1112.34/1109.64	c cleaning 86002 clauses out of 172024 with flag 14474049/3818001
1152.16/1149.41	c cleaning 87000 clauses out of 174021 with flag 14840473/3906000
1190.10/1187.46	c cleaning 88002 clauses out of 176023 with flag 15180531/3995002
1226.57/1224.00	c cleaning 89000 clauses out of 178021 with flag 15496752/4085002
1267.94/1265.29	c cleaning 89998 clauses out of 180021 with flag 15838559/4176002
1305.20/1302.20	c cleaning 91000 clauses out of 182022 with flag 16134656/4268001
1338.90/1335.89	c cleaning 91998 clauses out of 184021 with flag 16538990/4361000
1378.42/1375.49	c cleaning 93003 clauses out of 186023 with flag 16958614/4455000
1426.66/1423.79	c cleaning 94000 clauses out of 188021 with flag 17362335/4550001
1466.47/1463.59	c cleaning 95001 clauses out of 190020 with flag 17777229/4646000
1507.02/1504.02	c cleaning 95998 clauses out of 192022 with flag 18181299/4743003
1549.71/1546.76	c cleaning 97001 clauses out of 194023 with flag 18590558/4841002
1598.19/1595.29	c cleaning 97994 clauses out of 196020 with flag 19029456/4940000
1646.31/1643.38	c cleaning 99000 clauses out of 198027 with flag 19440754/5040001
1694.57/1691.52	c cleaning 100006 clauses out of 200026 with flag 19899245/5141000
1743.19/1739.13	c cleaning 101002 clauses out of 202021 with flag 20347815/5243001
1792.35/1788.42	c cleaning 102002 clauses out of 204019 with flag 20807713/5346001
1839.86/1835.93	c cleaning 102999 clauses out of 206018 with flag 21290608/5450002
1885.95/1882.08	c cleaning 104000 clauses out of 208019 with flag 21790883/5555002
1939.56/1935.70	c cleaning 104996 clauses out of 210019 with flag 22270230/5661002
1992.83/1989.02	c cleaning 106002 clauses out of 212023 with flag 22762786/5768002
2047.76/2044.02	c cleaning 106997 clauses out of 214019 with flag 23255435/5876000
2102.06/2098.42	c cleaning 107997 clauses out of 216022 with flag 23745161/5985000
2164.31/2160.75	c cleaning 109004 clauses out of 218026 with flag 24219488/6095001
2228.64/2225.19	c cleaning 109999 clauses out of 220021 with flag 24727218/6206000
2289.41/2286.01	c cleaning 111001 clauses out of 222023 with flag 25262909/6318001
2355.06/2351.63	c cleaning 111999 clauses out of 224021 with flag 25793543/6431000
2422.27/2418.88	c cleaning 113000 clauses out of 226023 with flag 26293876/6545001
2490.12/2486.98	c cleaning 113995 clauses out of 228022 with flag 26801787/6660000
2558.08/2554.95	c cleaning 115000 clauses out of 230027 with flag 27325881/6776000
2631.76/2628.75	c cleaning 116006 clauses out of 232030 with flag 27791994/6893003
2716.29/2713.30	c cleaning 117001 clauses out of 234022 with flag 28295650/7011001
2794.65/2791.84	c cleaning 117998 clauses out of 236023 with flag 28808988/7130003
2879.55/2876.80	c cleaning 119000 clauses out of 238024 with flag 29312944/7250002
2949.61/2946.95	c cleaning 119999 clauses out of 240022 with flag 29866643/7371000
3022.70/3020.18	c cleaning 120998 clauses out of 242025 with flag 30413351/7493002
3100.57/3098.07	c cleaning 121999 clauses out of 244028 with flag 30950986/7616003
3186.97/3184.53	c cleaning 123000 clauses out of 246028 with flag 31465768/7740002
3269.05/3266.79	c cleaning 124000 clauses out of 248028 with flag 31988861/7865002
3350.95/3348.72	c cleaning 125000 clauses out of 250026 with flag 32531853/7991000
3446.21/3444.13	c cleaning 126002 clauses out of 252026 with flag 33062420/8118000
3550.22/3548.17	c cleaning 126999 clauses out of 254025 with flag 33608214/8246001
3600.04/3598.03	c timeout
3600.04/3598.04	c starts		: 467
3600.04/3598.05	c conflicts		: 8318273
3600.04/3598.05	c decisions		: 8964177
3600.04/3598.05	c propagations		: 122366457
3600.04/3598.05	c inspects		: 34526953750
3600.04/3598.05	c shortcuts		: 0
3600.04/3598.05	c learnt literals	: 0
3600.04/3598.05	c learnt binary clauses	: 0
3600.04/3598.05	c learnt ternary clauses	: 0
3600.04/3598.05	c learnt constraints	: 8318273
3600.04/3598.05	c ignored constraints	: 0
3600.04/3598.05	c root simplifications	: 0
3600.04/3598.05	c removed literals (reason simplification)	: 2825868
3600.04/3598.05	c reason swapping (by a shorter reason)	: 0
3600.04/3598.05	c Calls to reduceDB	: 124
3600.04/3598.05	c Number of update (reduction) of LBD	: 733973
3600.04/3598.05	c Imported unit clauses	: 0
3600.04/3598.05	c No decision after first conflict	: false
3600.04/3598.05	c number of reductions to clauses (during analyze)	: 0
3600.04/3598.05	c number of learned constraints concerned by reduction	: 0
3600.04/3598.05	c number of learning phase by resolution	: 0
3600.04/3598.05	c number of learning phase by cutting planes	: 0
3600.04/3598.05	c number of rounding to 1 operations	: 0
3600.04/3598.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3598.05	c number of reductions of the coefficients by power 2 	: 0
3600.04/3598.05	c number of right shift for reduction by power 2 	: 0
3600.04/3598.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3598.05	c number of ending skipping 	: 0
3600.04/3598.05	c number of internal skipping 	: 0
3600.04/3598.05	c number of derivation steps 	: 0
3600.04/3598.05	c number of skipped derivation steps 	: 0
3600.04/3598.05	c number of remaining unassigned 	: 0
3600.04/3598.05	c number of remaining assigned 	: 0
3600.04/3598.05	c number of falsified literals weakened from reason	: 0
3600.04/3598.05	c number of falsified literals weakened from conflict	: 0
3600.04/3598.05	c time for arithmetic operations	: 0
3600.04/3598.05	c minimum degree of deleted constraints	: null
3600.04/3598.05	c maximum degree of deleted constraints	: null
3600.04/3598.05	c number of deleted constraints	: 0
3600.04/3598.05	c speed (assignments/second)	: 34021.76516267223
3600.04/3598.05	c non guided choices	: 0
3600.21/3598.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 199298
3600.21/3598.12	s UNKNOWN
3600.21/3598.12	c Total wall clock time (in seconds): 3597.783

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86898, runsolver pid=86895

[startup+0.100072 s]*
/proc/loadavg: 4.16 4.16 4.23 7/324 86916
/proc/meminfo: memFree=114382960/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=48496 CPUtime=0.12 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 5778 0 0 0 9 3 0 0 20 0 18 0 75911795 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 12124 5339 1 0 546986 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 4678 0 0 0 5 2 0 0 20 0 18 0 75911796 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48496 KiB

[startup+0.213515 s]*
/proc/loadavg: 4.16 4.16 4.23 5/324 86916
/proc/meminfo: memFree=114378864/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=53436 CPUtime=0.29 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 6472 0 0 0 25 4 0 0 20 0 18 0 75911795 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 13359 5371 1 0 547567 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 4989 0 0 0 15 2 0 0 20 0 18 0 75911796 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53436 KiB

[startup+0.313447 s]*
/proc/loadavg: 4.16 4.16 4.23 7/324 86916
/proc/meminfo: memFree=114378612/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=58656 CPUtime=0.44 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 6753 0 0 0 40 4 0 0 20 0 18 0 75911795 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 14664 5371 1 0 547769 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=-6000919485524108903 CPUtime=0.25 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5179 0 0 0 23 2 0 0 20 0 18 0 75911796 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58656 KiB

[startup+0.700276 s]
/proc/loadavg: 4.16 4.16 4.23 6/324 86916
/proc/meminfo: memFree=114364812/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=103188 CPUtime=1.15 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 8561 0 0 0 109 6 0 0 20 0 18 0 75911795 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 25797 5435 1 0 549007 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=14464 CPUtime=0.59 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5265 0 0 0 56 3 0 0 20 0 18 0 75911796 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103188 KiB

[startup+1.50025 s]
/proc/loadavg: 4.16 4.16 4.23 6/325 86917
/proc/meminfo: memFree=114270920/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=190280 CPUtime=2.66 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 9621 0 0 0 257 9 0 0 20 0 20 0 75911795 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 47570 5531 1 0 549894 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=3200 CPUtime=1.23 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5419 0 0 0 118 5 0 0 20 0 20 0 75911796 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190280 KiB

[startup+3.10536 s]
/proc/loadavg: 4.16 4.16 4.23 6/326 86918
/proc/meminfo: memFree=114148932/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=308072 CPUtime=5.02 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 14354 0 0 0 490 12 0 0 20 0 20 0 75911795 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 77018 5531 1 0 1043850 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=11136 CPUtime=2.78 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5853 0 0 0 271 7 0 0 20 0 20 0 75911796 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 308072 KiB

[startup+6.30024 s]
/proc/loadavg: 4.15 4.15 4.23 5/326 86918
/proc/meminfo: memFree=113811044/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=618672 CPUtime=8.9 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 18006 0 0 0 870 20 0 0 20 0 20 0 75911795 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 154668 5531 1 0 1044121 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=0 CPUtime=5.91 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 6413 0 0 0 578 13 0 0 20 0 20 0 75911796 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 618672 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.15 4.23 5/326 86919
/proc/meminfo: memFree=113622140/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=811784 CPUtime=15.28 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 18858 0 0 0 1502 26 0 0 20 0 20 0 75911795 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 202946 5531 1 0 1044122 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=0 CPUtime=12.26 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 7205 0 0 0 1208 18 0 0 20 0 20 0 75911796 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=793352 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 15.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 811784 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 4.14 4.23 5/326 86919
/proc/meminfo: memFree=112140964/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=2246096 CPUtime=28.33 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 25895 0 0 0 2778 55 0 0 20 0 20 0 75911795 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 561524 5563 1 0 1044130 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=24.97 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 9773 0 0 0 2452 45 0 0 20 0 20 0 75911796 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=3196 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=1772296 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=1606408 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2246096 KiB

[startup+51.1133 s]
/proc/loadavg: 4.13 4.15 4.22 5/326 86919
/proc/meminfo: memFree=112141468/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=2246096 CPUtime=53.88 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 27052 0 0 0 5333 55 0 0 20 0 20 0 75911795 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 561524 5563 1 0 1044131 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=2246096 CPUtime=50.33 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 10813 0 0 0 4988 45 0 0 20 0 20 0 75911796 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=2246096 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=2145672 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0

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

[startup+3282.3 s]
/proc/loadavg: 4.67 4.27 4.19 5/326 87277
/proc/meminfo: memFree=113976880/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3284.62 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 148853 0 0 0 328164 298 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3262.47 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 82607 0 0 0 326172 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2171 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3284.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.26 4.19 6/326 87279
/proc/meminfo: memFree=113976888/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3344.56 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 151348 0 0 0 334154 302 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3322.28 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 84254 0 0 0 332153 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2172 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3344.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/325 87281
/proc/meminfo: memFree=113976904/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3404.46 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 154298 0 0 0 340141 305 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3381.99 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 86043 0 0 0 338124 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2254 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3404.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/325 87283
/proc/meminfo: memFree=113978012/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3464.37 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 154992 0 0 0 346128 309 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3441.84 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 86641 0 0 0 344109 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2345 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3464.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/326 87290
/proc/meminfo: memFree=113977088/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3524.33 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 156991 0 0 0 352122 311 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=14464 CPUtime=3501.55 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 88422 0 0 0 350080 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2345 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3524.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.17 4.17 5/326 87292
/proc/meminfo: memFree=113976856/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3584.35 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 158999 0 0 0 358120 315 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=14464 CPUtime=3561.25 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 89477 0 0 0 356049 76 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598 s]*
/proc/loadavg: 4.05 4.16 4.16 5/326 87292
/proc/meminfo: memFree=113972760/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3600.04 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 159183 0 0 0 359688 316 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=-6000919498459800935 CPUtime=3576.92 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 89661 0 0 0 357616 76 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=5744 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=7348 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.05 s, system=3.20211 s

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

[startup+3598.12 s]
/proc/loadavg: 4.05 4.16 4.16 5/326 87292
/proc/meminfo: memFree=113972760/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19263204 memory=4137176 CPUtime=3600.21 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 161901 0 0 0 359704 317 0 0 20 0 21 0 75911795 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4815801 1034294 5595 1 0 1048994 0
[pid=86898/tid=86900] ppid=86895 vsize=19263204 memory=4136024 CPUtime=3576.94 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) S 86895 86898 85904 0 -1 4194368 89989 0 0 0 357618 76 0 0 20 0 21 0 75911796 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19263204 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75911801 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19263204 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 21 0 75911802 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4137176 KiB

Child status: 143

Real time (s): 3598.17
CPU time (s): 3600.25
CPU user time (s): 3597.05
CPU system time (s): 3.20211
CPU usage (%): 100.058
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4137176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.05
system time used= 3.20211
maximum resident set size= 4137304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107488
involuntary context switches= 7224


# summary of solver processes directly reported to runsolver:
#   pid: 86898
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3597.05
#   total CPU system time (s): 3.20211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.0395 second user time and 31.1881 second system time

The end

Launcher Data

Begin job on nodeC005 at 2025-07-04 06:12:04
IDJOB=4523524
IDBENCH=180364
IDSOLVER=3363
FILE ID=nodeC005/4523524-1751602324
RUNJOBID= nodeC005-1751595442-85917
SLURM_JOB_ID= 9598861
Free space on /tmp= 429476 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523524-1751602324/watcher-4523524-1751602324 -o /tmp/evaluation-result-4523524-1751602324/solver-4523524-1751602324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85917 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523524-1751602324.opb

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

MD5SUM BENCH= f833be1967b503cfce1013007946cb2b
RANDOM SEED=293915761

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        114395248 kB
MemAvailable:   114227716 kB
Buffers:              12 kB
Cached:           619952 kB
SwapCached:          240 kB
Active:         15992512 kB
Inactive:         364912 kB
Active(anon):   15709528 kB
Inactive(anon):    40832 kB
Active(file):     282984 kB
Inactive(file):   324080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3924 kB
Writeback:             0 kB
AnonPages:      15740352 kB
Mapped:           118572 kB
Shmem:             12868 kB
KReclaimable:     130064 kB
Slab:             216928 kB
SReclaimable:     130064 kB
SUnreclaim:        86864 kB
KernelStack:        4960 kB
PageTables:        34560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   19310252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15292416 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429472 MiB
End job on nodeC005 at 2025-07-04 07:12:02