Trace number 4520764

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) 3604.11 3063.66

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
MD5SUMae0481323a61a83bdee40ab7f1cf5730
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 benchmark1016
Best CPU time to get the best result obtained on this benchmark6.47998
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4060
Total number of constraints4060
Number of constraints which are clauses4060
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 4060
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4060
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	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-4520764-1751572529.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.32/0.24	c ... done. Wall clock time 0.107s.
0.32/0.24	c declared #vars     4060
0.32/0.24	c #constraints  4060
0.32/0.24	c constraints type 
0.32/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4060
0.32/0.24	c 4060 constraints processed.
0.32/0.26	c objective function length is 4060 literals
0.32/0.28	c SATISFIABLE
0.32/0.28	c OPTIMIZING...
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.149
0.32/0.28	o 1236
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.18
0.52/0.31	o 1235
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.203
0.52/0.33	o 1234
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.233
0.52/0.36	o 1233
0.71/0.41	c Got one! Elapsed wall clock time (in seconds):0.283
0.71/0.41	o 1232
0.71/0.47	c Got one! Elapsed wall clock time (in seconds):0.34
0.71/0.47	o 1231
2.37/1.46	c cleaning 2533 clauses out of 5070 with flag 11250/5070
3.63/2.48	c cleaning 4262 clauses out of 8536 with flag 25591/11069
4.97/3.61	c cleaning 5636 clauses out of 11275 with flag 41105/18070
5.17/3.85	c Got one! Elapsed wall clock time (in seconds):3.719
5.17/3.85	o 1230
6.12/4.54	c cleaning 5689 clauses out of 11392 with flag 9079/23823
7.34/5.63	c cleaning 5842 clauses out of 11703 with flag 24049/29823
8.58/6.69	c cleaning 6423 clauses out of 12861 with flag 39564/36823
9.91/7.86	c cleaning 7215 clauses out of 14438 with flag 57337/44823
11.49/9.25	c cleaning 8108 clauses out of 16223 with flag 77386/53823
13.18/10.75	c cleaning 9051 clauses out of 18115 with flag 99793/63823
15.08/12.46	c cleaning 10028 clauses out of 20066 with flag 124082/74825
17.28/14.47	c cleaning 11005 clauses out of 22036 with flag 151020/86823
20.03/16.91	c cleaning 12008 clauses out of 24031 with flag 180305/99823
22.58/19.28	c cleaning 13003 clauses out of 26023 with flag 212053/113823
25.35/21.77	c cleaning 14003 clauses out of 28020 with flag 245440/128823
28.29/24.41	c cleaning 15004 clauses out of 30017 with flag 281164/144823
31.12/27.08	c cleaning 15997 clauses out of 32014 with flag 318644/161824
34.94/30.46	c cleaning 16999 clauses out of 34016 with flag 358704/179823
38.39/33.62	c cleaning 18000 clauses out of 36018 with flag 401270/198824
41.78/36.82	c cleaning 18999 clauses out of 38018 with flag 445414/218824
47.78/41.29	c cleaning 19999 clauses out of 40018 with flag 491723/239823
52.31/45.03	c cleaning 20999 clauses out of 42019 with flag 540430/261823
57.08/49.26	c cleaning 22000 clauses out of 44020 with flag 590945/284823
61.67/53.54	c cleaning 22996 clauses out of 46020 with flag 644183/308823
67.50/58.85	c cleaning 24005 clauses out of 48024 with flag 701581/333823
74.41/65.49	c cleaning 25001 clauses out of 50020 with flag 762615/359824
81.02/71.49	c cleaning 26002 clauses out of 52019 with flag 825493/386824
86.77/76.60	c cleaning 26995 clauses out of 54016 with flag 889054/414823
94.25/82.05	c cleaning 28002 clauses out of 56022 with flag 955838/443824
100.77/88.08	c cleaning 29000 clauses out of 58019 with flag 1025007/473823
108.06/94.73	c cleaning 29998 clauses out of 60019 with flag 1094771/504823
115.33/101.38	c cleaning 31002 clauses out of 62021 with flag 1167424/536823
122.21/107.55	c cleaning 31996 clauses out of 64019 with flag 1241434/569823
132.08/116.70	c cleaning 33003 clauses out of 66023 with flag 1321998/603823
144.17/126.06	c cleaning 34000 clauses out of 68020 with flag 1402460/638823
153.11/134.63	c cleaning 35002 clauses out of 70020 with flag 1485587/674823
163.14/144.25	c cleaning 36003 clauses out of 72019 with flag 1574228/711824
171.49/152.00	c cleaning 36997 clauses out of 74015 with flag 1659466/749823
183.09/162.50	c cleaning 38002 clauses out of 76019 with flag 1750944/788824
193.61/172.39	c cleaning 39000 clauses out of 78017 with flag 1842001/828824
206.03/184.00	c cleaning 39997 clauses out of 80017 with flag 1935648/869824
219.52/196.84	c cleaning 40998 clauses out of 82019 with flag 2032487/911823
231.19/207.82	c cleaning 41998 clauses out of 84021 with flag 2132665/954823
242.40/218.14	c cleaning 43004 clauses out of 86023 with flag 2233506/998823
257.61/229.98	c cleaning 44000 clauses out of 88020 with flag 2341426/1043824
270.90/241.53	c cleaning 45004 clauses out of 90020 with flag 2446841/1089824
283.91/254.16	c cleaning 46004 clauses out of 92015 with flag 2553522/1136823
296.80/266.41	c cleaning 46998 clauses out of 94012 with flag 2667545/1184824
309.81/278.78	c cleaning 47997 clauses out of 96014 with flag 2778383/1233824
323.67/291.71	c cleaning 49002 clauses out of 98016 with flag 2892374/1283823
340.69/308.09	c cleaning 49999 clauses out of 100014 with flag 3012405/1334823
354.28/320.66	c cleaning 51001 clauses out of 102016 with flag 3130495/1386824
367.69/333.49	c cleaning 52001 clauses out of 104014 with flag 3257660/1439823
383.79/348.44	c cleaning 52998 clauses out of 106013 with flag 3380039/1493823
405.36/365.43	c cleaning 54004 clauses out of 108015 with flag 3504684/1548823
421.67/380.04	c cleaning 54996 clauses out of 110012 with flag 3637230/1604824
441.60/399.16	c cleaning 56000 clauses out of 112017 with flag 3770794/1661825
460.05/416.79	c cleaning 57006 clauses out of 114015 with flag 3902634/1719823
476.87/432.06	c cleaning 57995 clauses out of 116009 with flag 4037194/1778823
492.77/447.03	c cleaning 59002 clauses out of 118014 with flag 4177886/1838823
509.74/463.12	c cleaning 59995 clauses out of 120012 with flag 4316188/1899823
529.35/481.53	c cleaning 60999 clauses out of 122017 with flag 4456943/1961823
551.04/498.91	c cleaning 62005 clauses out of 124020 with flag 4606251/2024825
565.71/512.39	c cleaning 62998 clauses out of 126014 with flag 4754088/2088824
578.61/524.30	c cleaning 64000 clauses out of 128015 with flag 4898158/2153823
592.83/537.01	c cleaning 64998 clauses out of 130015 with flag 5044724/2219823
607.08/549.98	c cleaning 66003 clauses out of 132019 with flag 5193883/2286825
621.44/563.37	c cleaning 67003 clauses out of 134014 with flag 5345358/2354823
636.91/577.60	c cleaning 67994 clauses out of 136011 with flag 5498709/2423823
657.26/592.61	c cleaning 69001 clauses out of 138018 with flag 5654811/2493824
673.19/607.61	c cleaning 70001 clauses out of 140016 with flag 5813025/2564823
690.65/623.86	c cleaning 71002 clauses out of 142015 with flag 5974838/2636823
708.53/640.30	c cleaning 71997 clauses out of 144013 with flag 6138093/2709823
726.10/656.54	c cleaning 72999 clauses out of 146016 with flag 6303511/2783823
743.78/672.85	c cleaning 74005 clauses out of 148017 with flag 6473083/2858823
765.89/689.36	c cleaning 74997 clauses out of 150012 with flag 6642806/2934823
783.08/705.11	c cleaning 76001 clauses out of 152015 with flag 6813928/3011823
800.02/720.67	c cleaning 77005 clauses out of 154014 with flag 6988167/3089823
817.09/736.20	c cleaning 77997 clauses out of 156010 with flag 7164158/3168824
834.52/752.28	c cleaning 78999 clauses out of 158012 with flag 7342585/3248823
856.53/767.95	c cleaning 80000 clauses out of 160014 with flag 7523136/3329824
875.74/785.48	c cleaning 80998 clauses out of 162013 with flag 7706173/3411823
894.27/802.43	c cleaning 81998 clauses out of 164015 with flag 7892081/3494823
912.77/819.42	c cleaning 83004 clauses out of 166017 with flag 8078033/3578823
933.48/838.86	c cleaning 83995 clauses out of 168014 with flag 8265614/3663824
957.75/856.88	c cleaning 84998 clauses out of 170019 with flag 8456166/3749824
978.61/876.25	c cleaning 86001 clauses out of 172020 with flag 8649297/3836823
1001.06/896.66	c cleaning 87003 clauses out of 174019 with flag 8844421/3924823
1020.55/914.67	c cleaning 87998 clauses out of 176017 with flag 9041069/4013824
1048.31/934.83	c cleaning 89002 clauses out of 178018 with flag 9240808/4103823
1069.60/954.68	c cleaning 89998 clauses out of 180017 with flag 9442694/4194824
1092.23/975.44	c cleaning 91001 clauses out of 182019 with flag 9648298/4286824
1113.25/994.90	c cleaning 92000 clauses out of 184017 with flag 9856915/4379823
1141.52/1016.50	c cleaning 93001 clauses out of 186018 with flag 10066678/4473824
1163.77/1036.98	c cleaning 94001 clauses out of 188016 with flag 10277784/4568823
1187.94/1059.00	c cleaning 95003 clauses out of 190017 with flag 10491353/4664825
1235.36/1097.11	c cleaning 95996 clauses out of 192012 with flag 10729961/4761823
1267.64/1127.62	c cleaning 96999 clauses out of 194017 with flag 10970235/4859824
1298.60/1156.60	c cleaning 97999 clauses out of 196020 with flag 11203421/4958826
1345.58/1193.11	c cleaning 98999 clauses out of 198018 with flag 11446105/5058823
1372.08/1217.58	c cleaning 100001 clauses out of 200019 with flag 11691121/5159823
1400.19/1243.63	c cleaning 101001 clauses out of 202018 with flag 11923384/5261823
1433.17/1267.95	c cleaning 102005 clauses out of 204019 with flag 12158334/5364825
1458.40/1291.22	c cleaning 103002 clauses out of 206013 with flag 12393818/5468824
1485.36/1316.12	c cleaning 103997 clauses out of 208010 with flag 12632525/5573823
1521.46/1342.72	c cleaning 105001 clauses out of 210013 with flag 12873022/5679823
1549.09/1368.61	c cleaning 105999 clauses out of 212012 with flag 13114126/5786823
1575.33/1392.45	c cleaning 107001 clauses out of 214013 with flag 13354930/5894823
1610.52/1418.54	c cleaning 108003 clauses out of 216013 with flag 13598407/6003824
1645.29/1451.46	c cleaning 109000 clauses out of 218009 with flag 13846073/6113823
1678.47/1482.13	c cleaning 109990 clauses out of 220009 with flag 14100559/6224823
1714.64/1510.07	c cleaning 111001 clauses out of 222020 with flag 14352170/6336824
1741.61/1535.12	c cleaning 111997 clauses out of 224018 with flag 14605195/6449823
1772.08/1563.21	c cleaning 112995 clauses out of 226022 with flag 14860947/6563824
1807.71/1590.62	c cleaning 114005 clauses out of 228027 with flag 15120258/6678824
1836.90/1617.59	c cleaning 114999 clauses out of 230022 with flag 15380555/6794824
1878.37/1647.82	c cleaning 116000 clauses out of 232022 with flag 15645851/6911823
1913.88/1680.20	c cleaning 117002 clauses out of 234025 with flag 15915596/7029826
1950.94/1714.87	c cleaning 118002 clauses out of 236021 with flag 16185253/7148824
1991.94/1747.12	c cleaning 119002 clauses out of 238018 with flag 16455770/7268823
2025.22/1778.10	c cleaning 119998 clauses out of 240017 with flag 16725764/7389824
2072.58/1813.14	c cleaning 121002 clauses out of 242018 with flag 17001045/7511823
2113.33/1851.42	c cleaning 122005 clauses out of 244017 with flag 17308128/7634824
2172.76/1908.75	c cleaning 122997 clauses out of 246012 with flag 17619969/7758824
2230.85/1958.21	c cleaning 123995 clauses out of 248016 with flag 17925873/7883825
2275.11/1998.72	c cleaning 124998 clauses out of 250019 with flag 18220586/8009823
2331.34/2042.75	c cleaning 125999 clauses out of 252022 with flag 18526390/8136824
2375.35/2084.41	c cleaning 127001 clauses out of 254023 with flag 18839236/8264824
2423.42/2119.58	c cleaning 127998 clauses out of 256021 with flag 19129319/8393823
2459.27/2152.39	c cleaning 129006 clauses out of 258023 with flag 19423055/8523823
2505.71/2186.00	c cleaning 130001 clauses out of 260019 with flag 19724812/8654825
2543.49/2220.32	c cleaning 131003 clauses out of 262016 with flag 20019723/8786823
2595.66/2258.50	c cleaning 132003 clauses out of 264013 with flag 20319420/8919823
2634.43/2293.70	c cleaning 133001 clauses out of 266011 with flag 20626006/9053824
2684.84/2330.07	c cleaning 133998 clauses out of 268009 with flag 20927124/9188823
2720.21/2362.69	c cleaning 135003 clauses out of 270012 with flag 21230347/9324824
2767.61/2395.98	c cleaning 135996 clauses out of 272008 with flag 21536546/9461823
2802.20/2428.17	c cleaning 136997 clauses out of 274013 with flag 21844986/9599824
2850.58/2462.54	c cleaning 138002 clauses out of 276016 with flag 22156197/9738824
2894.24/2502.96	c cleaning 138995 clauses out of 278015 with flag 22468155/9878825
2942.32/2537.17	c cleaning 140002 clauses out of 280018 with flag 22782927/10019823
2978.40/2569.50	c cleaning 141001 clauses out of 282017 with flag 23100586/10161824
3030.88/2607.15	c cleaning 142001 clauses out of 284015 with flag 23427565/10304823
3071.82/2645.18	c cleaning 142998 clauses out of 286014 with flag 23760764/10448823
3133.83/2688.64	c cleaning 144003 clauses out of 288019 with flag 24086509/10593826
3194.19/2734.39	c cleaning 145003 clauses out of 290014 with flag 24413477/10739824
3234.31/2770.42	c cleaning 145998 clauses out of 292011 with flag 24748084/10886824
3296.40/2815.66	c cleaning 146999 clauses out of 294012 with flag 25080962/11034823
3362.64/2865.89	c cleaning 147998 clauses out of 296014 with flag 25417055/11183824
3402.21/2902.00	c cleaning 149001 clauses out of 298016 with flag 25756562/11333824
3458.45/2944.84	c cleaning 149998 clauses out of 300015 with flag 26099872/11484824
3524.29/2994.00	c cleaning 150997 clauses out of 302016 with flag 26443548/11636823
3567.78/3034.54	c cleaning 152004 clauses out of 304019 with flag 26794784/11789823

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520764-1751572529/watcher-4520764-1751572529 -o /tmp/evaluation-result-4520764-1751572529/solver-4520764-1751572529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81260 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520764-1751572529.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 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=82258, runsolver pid=82255

[startup+0.100062 s]*
/proc/loadavg: 5.01 5.02 5.00 6/336 82276
/proc/meminfo: memFree=76353920/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=18930384 memory=57840 CPUtime=0.12 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 6576 0 0 0 11 1 0 0 20 0 18 0 72930694 19384713216 14460 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4732596 14460 5371 1 0 547620 0
[pid=82258/tid=82260] ppid=82255 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5088 0 0 0 7 1 0 0 20 0 18 0 72930695 19384713216 14460 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72930697 19384713216 14460 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72930698 19384713216 14460 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57840 KiB

[startup+0.205728 s]*
/proc/loadavg: 5.01 5.02 5.00 8/336 82276
/proc/meminfo: memFree=76339616/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=18930384 memory=68420 CPUtime=0.32 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 7088 0 0 0 30 2 0 0 20 0 18 0 72930694 19384713216 17105 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4732596 17105 5435 1 0 547978 0
[pid=82258/tid=82260] ppid=82255 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5279 0 0 0 15 1 0 0 20 0 18 0 72930695 19384713216 17105 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72930697 19384713216 17105 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72930698 19384713216 17105 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68420 KiB

[startup+0.305678 s]*
/proc/loadavg: 5.01 5.02 5.00 7/337 82277
/proc/meminfo: memFree=76328716/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=18996948 memory=80528 CPUtime=0.52 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 9144 0 0 0 49 3 0 0 20 0 19 0 72930694 19452874752 20132 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4749237 20132 5467 1 0 549609 0
[pid=82258/tid=82260] ppid=82255 vsize=18996948 memory=-6000919485591612007 CPUtime=0.24 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5404 0 0 0 23 1 0 0 20 0 19 0 72930695 19452874752 20132 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72930697 19452874752 20132 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72930698 19452874752 20132 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72930721 19452874752 20132 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80528 KiB

[startup+0.700236 s]
/proc/loadavg: 5.01 5.02 5.00 6/337 82277
/proc/meminfo: memFree=76312900/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=18996948 memory=113524 CPUtime=1.28 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 12053 0 0 0 124 4 0 0 20 0 19 0 72930694 19452874752 28381 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4749237 28381 5499 1 0 551579 0
[pid=82258/tid=82260] ppid=82255 vsize=18996948 memory=18688 CPUtime=0.63 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5418 0 0 0 61 2 0 0 20 0 19 0 72930695 19452874752 28381 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72930697 19452874752 28381 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72930698 19452874752 28381 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72930721 19452874752 28381 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113524 KiB

[startup+1.50024 s]
/proc/loadavg: 5.01 5.02 5.00 5/337 82277
/proc/meminfo: memFree=76250328/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=238416 CPUtime=2.53 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 12627 0 0 0 246 7 0 0 20 0 20 0 72930694 19521036288 59604 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 59604 5531 1 0 552093 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=10752 CPUtime=1.37 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5503 0 0 0 134 3 0 0 20 0 20 0 72930695 19521036288 59604 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 59604 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 59604 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 59604 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 238416 KiB

[startup+3.10551 s]
/proc/loadavg: 5.01 5.02 5.00 6/338 82278
/proc/meminfo: memFree=75951356/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=544476 CPUtime=4.47 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 14706 0 0 0 434 13 0 0 20 0 20 0 72930694 19521036288 136119 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 136119 5531 1 0 1078476 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=10752 CPUtime=2.67 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 5946 0 0 0 264 3 0 0 20 0 20 0 72930695 19521036288 136119 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=-6000919485591612007 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 136119 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 136119 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 136119 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 544476 KiB

[startup+6.30025 s]
/proc/loadavg: 5.01 5.02 5.00 5/338 82278
/proc/meminfo: memFree=75344896/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=1141952 CPUtime=8.23 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 19868 0 0 0 797 26 0 0 20 0 20 0 72930694 19521036288 285488 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 285488 5531 1 0 1078489 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=0 CPUtime=5.5 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) S 82255 82258 81250 0 -1 4194368 6654 0 0 0 543 7 0 0 20 0 20 0 72930695 19521036288 285488 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 285488 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 285488 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=301952 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 285488 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141952 KiB

[startup+12.7002 s]
/proc/loadavg: 4.93 5.00 4.99 8/338 82279
/proc/meminfo: memFree=74087316/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=2354288 CPUtime=15.39 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 22156 0 0 0 1491 48 0 0 20 0 20 0 72930694 19521036288 588572 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 588572 5563 1 0 1680109 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=301952 CPUtime=11.1 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 7357 0 0 0 1099 11 0 0 20 0 20 0 72930695 19521036288 588572 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 588572 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=2116716 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 588572 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 588572 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2354288 KiB

[startup+25.5002 s]
/proc/loadavg: 4.94 5.00 5.00 6/338 82279
/proc/meminfo: memFree=71853988/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=4699224 CPUtime=29.61 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 24848 0 0 0 2866 95 0 0 20 0 20 0 72930694 19521036288 1174806 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 1174806 5563 1 0 2315135 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=10752 CPUtime=22.44 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 8090 0 0 0 2219 25 0 0 20 0 20 0 72930695 19521036288 1174806 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=2116716 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 1174806 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 1174806 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 1174806 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 29.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4699224 KiB

[startup+51.1056 s]
/proc/loadavg: 4.76 4.95 4.98 6/338 82279
/proc/meminfo: memFree=68964512/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=7440432 CPUtime=58.98 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 52247 0 0 0 5746 152 0 0 20 0 20 0 72930694 19521036288 1860108 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 1860108 5595 1 0 2588013 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=7352368 CPUtime=45.58 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 10749 0 0 0 4516 42 0 0 20 0 20 0 72930695 19521036288 1860108 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0

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

/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 608371 0 0 0 334978 590 0 0 20 0 20 0 72930694 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078504 5595 1 0 4090406 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=16314052 CPUtime=2621.37 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 275222 0 0 0 262008 129 0 0 20 0 20 0 72930695 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=16314016 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=16314016 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3355.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314016 KiB

[startup+2922.3 s]
/proc/loadavg: 4.55 4.76 5.01 5/340 82695
/proc/meminfo: memFree=86944248/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314016 CPUtime=3424.13 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 619597 0 0 0 341820 593 0 0 20 0 20 0 72930694 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078504 5595 1 0 4090406 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=16314052 CPUtime=2676.49 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 279624 0 0 0 267520 129 0 0 20 0 20 0 72930695 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=16314016 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=16314016 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078504 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3424.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314016 KiB

[startup+2982.3 s]
/proc/loadavg: 5.02 4.86 5.02 6/339 82697
/proc/meminfo: memFree=86943904/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314368 CPUtime=3501.5 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 641170 0 0 0 349550 600 0 0 20 0 20 0 72930694 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078592 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=18688 CPUtime=2724.6 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 290699 0 0 0 272330 130 0 0 20 0 20 0 72930695 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=16314240 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=16314400 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1136 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=16314368 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3501.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314368 KiB

[startup+3042.3 s]
/proc/loadavg: 4.62 4.79 4.99 5/338 82699
/proc/meminfo: memFree=86149168/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314368 CPUtime=3575.96 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 648387 0 0 0 356987 609 0 0 20 0 20 0 72930694 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078592 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=16314368 CPUtime=2780.88 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) R 82255 82258 81250 0 -1 4194368 293795 0 0 0 277957 131 0 0 20 0 20 0 72930695 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=16314368 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3575.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3061.6 s]
/proc/loadavg: 4.74 4.80 4.99 7/338 82699
/proc/meminfo: memFree=84801584/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314368 CPUtime=3600.08 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 653193 0 0 0 359396 612 0 0 20 0 20 0 72930694 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078592 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=14384 CPUtime=2798.34 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) S 82255 82258 81250 0 -1 4194368 297158 0 0 0 279703 131 0 0 20 0 20 0 72930695 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=10240 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078592 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314368 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3063.66 s]
# the end of solver process 82258 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3597.95 s, system=6.16386 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3062.4 s]
/proc/loadavg: 4.74 4.80 4.99 7/338 82699
/proc/meminfo: memFree=84789296/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314496 CPUtime=3601.67 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 653786 0 0 0 359555 612 0 0 20 0 20 0 72930694 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078624 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=14384 CPUtime=2798.34 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) S 82255 82258 81250 0 -1 4194368 297158 0 0 0 279703 131 0 0 20 0 20 0 72930695 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=16314368 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3601.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314496 KiB

[startup+3063.2 s]
/proc/loadavg: 4.74 4.80 4.99 7/338 82699
/proc/meminfo: memFree=84777008/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314496 CPUtime=3603.26 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 653804 0 0 0 359714 612 0 0 20 0 20 0 72930694 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078624 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=10752 CPUtime=2798.34 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) S 82255 82258 81250 0 -1 4194368 297158 0 0 0 279703 131 0 0 20 0 20 0 72930695 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=16314496 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=5236 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3603.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314496 KiB

[startup+3063.6 s]
/proc/loadavg: 4.74 4.80 4.99 7/338 82699
/proc/meminfo: memFree=84777008/131249996 swapFree=33010416/33010684
[pid=82258] ppid=82255 vsize=19063512 memory=16314496 CPUtime=3604.06 cores=0,2
/proc/82258/stat : 82258 (java) S 82255 82258 81250 0 -1 4194304 653816 0 0 0 359794 612 0 0 20 0 20 0 72930694 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
/proc/82258/statm: 4765878 4078624 5595 1 0 4090499 0
[pid=82258/tid=82260] ppid=82255 vsize=19063512 memory=5276 CPUtime=2798.34 cores=0,2
/proc/82258/task/82260/stat : 82260 (java) S 82255 82258 81250 0 -1 4194368 297158 0 0 0 279703 131 0 0 20 0 20 0 72930695 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82269] ppid=82255 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/82258/task/82269/stat : 82269 (Finalizer) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930697 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82276] ppid=82255 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/82258/task/82276/stat : 82276 (Common-Cleaner) S 82255 82258 81250 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 72930698 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
[pid=82258/tid=82277] ppid=82255 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/82258/task/82277/stat : 82277 (Timer-0) S 82255 82258 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72930721 19521036288 4078624 18446744073709551615 94150434029568 94150434033264 140723702311552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150434041080 94150434041872 94150462611456 140723702315393 140723702315494 140723702315494 140723702321096 0
Current children cumulated CPU time: 3604.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16314496 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3063.66
CPU time (s): 3604.11
CPU user time (s): 3597.95
CPU system time (s): 6.16386
CPU usage (%): 117.641
Max. virtual memory (cumulated for all children) (KiB): 19069672
Max. memory (cumulated for all children) (KiB): 16314496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 6.16386
maximum resident set size= 16314496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114560
involuntary context switches= 40374


# summary of solver processes directly reported to runsolver:
#   pid: 82258
#   total CPU time (s): 3604.11
#   total CPU user time (s): 3597.95
#   total CPU system time (s): 6.16386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54361 second user time and 15.5747 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-03 21:55:29
IDJOB=4520764
IDBENCH=178124
IDSOLVER=3363
FILE ID=nodeC022/4520764-1751572529
RUNJOBID= nodeC022-1751565552-81260
SLURM_JOB_ID= 9598772
Free space on /tmp= 432384 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520764-1751572529/watcher-4520764-1751572529 -o /tmp/evaluation-result-4520764-1751572529/solver-4520764-1751572529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81260 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4520764-1751572529.opb

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

MD5SUM BENCH= ae0481323a61a83bdee40ab7f1cf5730
RANDOM SEED=1063648711

nodeC022 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		: 3599.718
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	: 6999.44
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		: 3599.710
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	: 6999.44
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.824
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	: 6999.44
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		: 3599.735
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	: 6999.44
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		: 3599.742
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	: 6999.44
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		: 3599.725
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	: 6999.44
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		: 3601.468
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	: 6999.44
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        76378228 kB
MemAvailable:   81301848 kB
Buffers:            2128 kB
Cached:          5699320 kB
SwapCached:           32 kB
Active:         48985132 kB
Inactive:        5156964 kB
Active(anon):   48454500 kB
Inactive(anon):     4176 kB
Active(file):     530632 kB
Inactive(file):  5152788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1028 kB
Writeback:             0 kB
AnonPages:      48443688 kB
Mapped:           123508 kB
Shmem:             18028 kB
KReclaimable:     158480 kB
Slab:             248984 kB
SReclaimable:     158480 kB
SUnreclaim:        90504 kB
KernelStack:        5152 kB
PageTables:        98392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   49424340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  47888384 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432364 MiB
End job on nodeC022 at 2025-07-03 22:46:33