Trace number 4542589

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.16 3589.71

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
MD5SUM5315000b872825a9c3a3b6787ef04708
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark29.9883
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables227556
Total number of constraints20632
Number of constraints which are clauses10505
Number of constraints which are cardinality constraints (but not clauses)8696
Number of constraints which are nor clauses,nor cardinality constraints1431
Minimum length of a constraint24
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.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.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	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.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4542589-1753221228.opb
0.12/0.12	c reading problem ... 
0.12/0.12	c using VERIPB proof format
0.12/0.13	c  no objective function found
5.02/4.03	c ... done. Wall clock time 3.908s.
5.02/4.03	c declared #vars     227556
5.02/4.03	c #constraints  20632
5.02/4.03	c constraints type 
5.02/4.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10127
5.02/4.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10505
5.02/4.03	c 20632 constraints processed.
7.75/5.41	c cleaning 2490 clauses out of 5000 with flag 30610/5000
9.44/6.53	c cleaning 4247 clauses out of 8510 with flag 72490/11000
11.30/8.17	c cleaning 5544 clauses out of 11263 with flag 133068/18000
13.60/10.30	c cleaning 6852 clauses out of 13719 with flag 219313/26000
16.10/12.77	c cleaning 7931 clauses out of 15867 with flag 315338/35000
19.75/16.33	c cleaning 8967 clauses out of 17937 with flag 423233/45001
24.73/21.31	c cleaning 9983 clauses out of 19969 with flag 555913/56000
29.12/25.77	c cleaning 10995 clauses out of 21993 with flag 669195/68007
35.41/32.09	c cleaning 11990 clauses out of 23992 with flag 780984/81001
43.36/39.91	c cleaning 12998 clauses out of 26001 with flag 887220/95000
53.22/49.70	c cleaning 13990 clauses out of 28004 with flag 994927/110001
64.57/61.07	c cleaning 15005 clauses out of 30014 with flag 1105921/126001
79.08/75.59	c cleaning 15998 clauses out of 32008 with flag 1226598/143000
94.49/90.83	c cleaning 16998 clauses out of 34010 with flag 1352380/161000
113.39/109.61	c cleaning 18003 clauses out of 36014 with flag 1482526/180002
128.36/124.59	c cleaning 19005 clauses out of 38011 with flag 1640611/200002
147.21/143.30	c cleaning 20003 clauses out of 40005 with flag 1787949/221001
169.43/165.33	c cleaning 20994 clauses out of 42003 with flag 1946148/243002
185.71/181.59	c cleaning 22003 clauses out of 44010 with flag 2101417/266003
204.56/200.11	c cleaning 22995 clauses out of 46004 with flag 2283820/290000
218.11/213.73	c cleaning 23996 clauses out of 48012 with flag 2471071/315003
231.70/227.26	c cleaning 25000 clauses out of 50013 with flag 2665936/341000
248.61/244.00	c cleaning 26001 clauses out of 52013 with flag 2864958/368000
269.29/264.44	c cleaning 27000 clauses out of 54014 with flag 3078108/396002
292.73/287.94	c cleaning 27997 clauses out of 56012 with flag 3294643/425000
318.75/313.94	c cleaning 28999 clauses out of 58016 with flag 3515512/455001
347.20/342.02	c cleaning 30004 clauses out of 60020 with flag 3764785/486004
379.01/373.99	c cleaning 30999 clauses out of 62014 with flag 4021309/518002
412.47/407.15	c cleaning 32003 clauses out of 64014 with flag 4274071/551001
442.60/437.30	c cleaning 33002 clauses out of 66010 with flag 4525819/585000
476.18/470.65	c cleaning 33996 clauses out of 68009 with flag 4821095/620001
509.06/503.40	c cleaning 34997 clauses out of 70012 with flag 5092780/656000
546.84/541.17	c cleaning 35999 clauses out of 72016 with flag 5403211/693001
583.99/578.21	c cleaning 37002 clauses out of 74017 with flag 5718927/731001
623.58/617.71	c cleaning 38003 clauses out of 76015 with flag 6036783/770001
665.98/659.82	c cleaning 39001 clauses out of 78011 with flag 6360972/810000
708.60/702.44	c cleaning 39999 clauses out of 80011 with flag 6709902/851001
754.06/747.61	c cleaning 41000 clauses out of 82013 with flag 7028036/893002
804.48/797.08	c cleaning 41995 clauses out of 84011 with flag 7357154/936000
859.66/852.26	c cleaning 42995 clauses out of 86016 with flag 7718589/980000
939.42/932.06	c cleaning 44002 clauses out of 88024 with flag 8090479/1025003
1007.51/999.91	c cleaning 45003 clauses out of 90019 with flag 8464846/1071000
1064.49/1056.71	c cleaning 46002 clauses out of 92018 with flag 8850247/1118002
1116.16/1108.48	c cleaning 47000 clauses out of 94017 with flag 9234693/1166003
1180.10/1172.17	c cleaning 48001 clauses out of 96016 with flag 9605695/1215002
1245.97/1237.85	c cleaning 48997 clauses out of 98013 with flag 9963969/1265000
1324.35/1316.22	c cleaning 49998 clauses out of 100016 with flag 10389559/1316000
1404.34/1396.09	c cleaning 50997 clauses out of 102019 with flag 10826987/1368001
1486.79/1478.55	c cleaning 51997 clauses out of 104021 with flag 11251726/1421000
1567.27/1559.09	c cleaning 53004 clauses out of 106024 with flag 11704337/1475000
1661.77/1653.48	c cleaning 54005 clauses out of 108021 with flag 12149865/1530001
1740.25/1731.83	c cleaning 54998 clauses out of 110015 with flag 12602321/1586000
1826.52/1817.36	c cleaning 56004 clauses out of 112019 with flag 13033334/1643002
1929.93/1920.90	c cleaning 57000 clauses out of 114013 with flag 13537811/1701000
2036.07/2027.19	c cleaning 58001 clauses out of 116013 with flag 14055010/1760000
2134.41/2125.62	c cleaning 58997 clauses out of 118012 with flag 14542907/1820000
2256.62/2247.42	c cleaning 60002 clauses out of 120015 with flag 15075155/1881000
2361.48/2352.18	c cleaning 61002 clauses out of 122013 with flag 15578806/1943000
2464.83/2455.31	c cleaning 62000 clauses out of 124012 with flag 16067485/2006001
2584.15/2574.88	c cleaning 62995 clauses out of 126011 with flag 16596198/2070000
2710.26/2700.69	c cleaning 64002 clauses out of 128017 with flag 17156792/2135001
2838.29/2828.63	c cleaning 65000 clauses out of 130016 with flag 17706604/2201002
3010.76/3001.15	c cleaning 66000 clauses out of 132014 with flag 18236503/2268000
3134.60/3124.92	c cleaning 67002 clauses out of 134017 with flag 18768570/2336003
3284.67/3274.94	c cleaning 67999 clauses out of 136012 with flag 19294133/2405000
3438.46/3428.01	c cleaning 69000 clauses out of 138013 with flag 19850518/2475000
3591.33/3580.95	c cleaning 70000 clauses out of 140014 with flag 20375298/2546001
3600.02/3589.61	c timeout
3600.02/3589.62	c starts		: 888
3600.02/3589.63	c conflicts		: 2555829
3600.02/3589.63	c decisions		: 3611987
3600.02/3589.63	c propagations		: 39197864
3600.02/3589.63	c inspects		: 13603180087
3600.02/3589.63	c shortcuts		: 0
3600.02/3589.63	c learnt literals	: 0
3600.02/3589.63	c learnt binary clauses	: 0
3600.02/3589.63	c learnt ternary clauses	: 0
3600.02/3589.63	c learnt constraints	: 2555829
3600.02/3589.63	c ignored constraints	: 0
3600.02/3589.63	c root simplifications	: 0
3600.02/3589.63	c removed literals (reason simplification)	: 33774244
3600.02/3589.63	c reason swapping (by a shorter reason)	: 0
3600.02/3589.63	c Calls to reduceDB	: 67
3600.02/3589.63	c Number of update (reduction) of LBD	: 1688571
3600.02/3589.63	c Imported unit clauses	: 0
3600.02/3589.63	c No decision after first conflict	: false
3600.02/3589.63	c number of reductions to clauses (during analyze)	: 0
3600.02/3589.63	c number of learned constraints concerned by reduction	: 0
3600.02/3589.63	c number of learning phase by resolution	: 0
3600.02/3589.63	c number of learning phase by cutting planes	: 0
3600.02/3589.63	c number of rounding to 1 operations	: 0
3600.02/3589.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3589.63	c number of reductions of the coefficients by power 2 	: 0
3600.02/3589.63	c number of right shift for reduction by power 2 	: 0
3600.02/3589.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3589.63	c number of ending skipping 	: 0
3600.02/3589.63	c number of internal skipping 	: 0
3600.02/3589.63	c number of derivation steps 	: 0
3600.02/3589.63	c number of skipped derivation steps 	: 0
3600.02/3589.63	c number of remaining unassigned 	: 0
3600.02/3589.63	c number of remaining assigned 	: 0
3600.02/3589.63	c number of falsified literals weakened from reason	: 0
3600.02/3589.63	c number of falsified literals weakened from conflict	: 0
3600.02/3589.63	c time for arithmetic operations	: 0
3600.02/3589.63	c minimum degree of deleted constraints	: null
3600.02/3589.63	c maximum degree of deleted constraints	: null
3600.02/3589.63	c number of deleted constraints	: 0
3600.02/3589.63	c speed (assignments/second)	: 10932.121214825656
3600.02/3589.63	c non guided choices	: 462575
3600.02/3589.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 79842
3600.02/3589.68	s UNKNOWN
3600.02/3589.68	c Total wall clock time (in seconds): 3589.559

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542589-1753221228/watcher-4542589-1753221228 -o /tmp/evaluation-result-4542589-1753221228/solver-4542589-1753221228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170145 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542589-1753221228 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542589-1753221228.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=170198, runsolver pid=170195
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.15 1.89 2.95 7/291 170216
/proc/meminfo: memFree=128989588/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18930384 memory=57800 CPUtime=0.12 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 6593 0 0 0 10 2 0 0 20 0 18 0 237800766 19384713216 14450 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4732596 14450 5336 1 0 547639 0
[pid=170198/tid=170200] ppid=170195 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 5100 0 0 0 6 1 0 0 20 0 18 0 237800767 19384713216 14450 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237800769 19384713216 14450 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18930384 memory=59585004324181 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237800770 19384713216 14450 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB

[startup+0.205585 s]*
/proc/loadavg: 1.15 1.89 2.95 8/293 170218
/proc/meminfo: memFree=128828152/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18996948 memory=156564 CPUtime=0.33 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 7152 0 0 0 28 5 0 0 20 0 19 0 237800766 19452874752 39141 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4749237 39141 5464 1 0 548196 0
[pid=170198/tid=170200] ppid=170195 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 5328 0 0 0 14 3 0 0 20 0 19 0 237800767 19452874752 39141 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18996948 memory=18954 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237800769 19452874752 39141 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237800770 19452874752 39141 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 156564 KiB

[startup+0.305685 s]*
/proc/loadavg: 1.15 1.89 2.95 8/289 170218
/proc/meminfo: memFree=128665076/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18996948 memory=309364 CPUtime=0.52 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 9483 0 0 0 44 8 0 0 20 0 19 0 237800766 19452874752 77341 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4749237 77341 5464 1 0 1073537 0
[pid=170198/tid=170200] ppid=170195 vsize=18996948 memory=-8814786284982411964 CPUtime=0.25 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 5394 0 0 0 19 6 0 0 20 0 19 0 237800767 19452874752 77341 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18996948 memory=-3689348738344574767 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237800769 19452874752 77341 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18996948 memory=-7024988446124500582 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237800770 19452874752 77341 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 309364 KiB

[startup+0.700239 s]
/proc/loadavg: 1.15 1.89 2.95 8/322 170261
/proc/meminfo: memFree=128022960/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18996948 memory=982972 CPUtime=1.25 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 12142 0 0 0 105 20 0 0 20 0 19 0 237800766 19452874752 245743 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4749237 245743 5464 1 0 1074978 0
[pid=170198/tid=170200] ppid=170195 vsize=18996948 memory=5632 CPUtime=0.6 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 5704 0 0 0 42 18 0 0 20 0 19 0 237800767 19452874752 245743 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237800769 19452874752 245743 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18996948 memory=3467830211455761653 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237800770 19452874752 245743 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 982972 KiB

[startup+1.50025 s]
/proc/loadavg: 1.15 1.89 2.95 8/336 170275
/proc/meminfo: memFree=125831096/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18996948 memory=2939844 CPUtime=2.41 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 15462 0 0 0 184 57 0 0 20 0 19 0 237800766 19452874752 734961 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4749237 734961 5464 1 0 1633657 0
[pid=170198/tid=170200] ppid=170195 vsize=18996948 memory=0 CPUtime=1.35 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 6636 0 0 0 83 52 0 0 20 0 19 0 237800767 19452874752 734961 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237800769 19452874752 734961 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237800770 19452874752 734961 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2939844 KiB

[startup+3.10588 s]
/proc/loadavg: 1.37 1.93 2.96 6/336 170275
/proc/meminfo: memFree=121523164/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=18996948 memory=4428868 CPUtime=4.08 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 16241 0 0 0 324 84 0 0 20 0 19 0 237800766 19452874752 1107217 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4749237 1107217 5464 1 0 1633677 0
[pid=170198/tid=170200] ppid=170195 vsize=18996948 memory=10752 CPUtime=2.91 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 7363 0 0 0 211 80 0 0 20 0 19 0 237800767 19452874752 1107217 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237800769 19452874752 1107217 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237800770 19452874752 1107217 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4428868 KiB

[startup+6.30024 s]
/proc/loadavg: 1.37 1.93 2.96 5/337 170276
/proc/meminfo: memFree=120599632/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=4438844 CPUtime=9.22 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 19449 0 0 0 834 88 0 0 20 0 20 0 237800766 19521036288 1109711 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1109711 5496 1 0 1635931 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=-8814786284982411964 CPUtime=5.87 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 7583 0 0 0 506 81 0 0 20 0 20 0 237800767 19521036288 1109711 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1109711 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1109711 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=3343300 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1109711 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4438844 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.96 2.97 5/337 170276
/proc/meminfo: memFree=119606492/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=4434476 CPUtime=16.1 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 20282 0 0 0 1513 97 0 0 20 0 20 0 237800766 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1108619 5496 1 0 1635934 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=4434476 CPUtime=12.23 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 8346 0 0 0 1134 89 0 0 20 0 20 0 237800767 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=4428868 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=-8814786284982411964 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4434476 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 2.08 2.99 5/337 170276
/proc/meminfo: memFree=118283572/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=4434476 CPUtime=28.92 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 22211 0 0 0 2783 109 0 0 20 0 20 0 237800766 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1108619 5496 1 0 1635934 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=4428868 CPUtime=24.93 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 10193 0 0 0 2392 101 0 0 20 0 20 0 237800767 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=16620 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=4434476 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1108619 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4434476 KiB

[startup+51.1058 s]
/proc/loadavg: 2.93 2.27 3.03 5/337 170277
/proc/meminfo: memFree=117338868/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=4549812 CPUtime=54.7 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 30699 0 0 0 5334 136 0 0 20 0 20 0 237800766 19521036288 1137453 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1137453 5496 1 0 1635934 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=4442952 CPUtime=50.21 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 12777 0 0 0 4897 124 0 0 20 0 20 0 237800767 19521036288 1137453 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=4442952 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1137453 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=4442952 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1137453 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1137453 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 54.7 s
Current children cumulated vsize: 19063512 KiB

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

/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1622974 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=6491896 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 2693 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1622974 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=6491896 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1622974 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3231.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6491896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/339 170534
/proc/meminfo: memFree=72484292/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494076 CPUtime=3292.05 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 221045 0 0 0 327876 1329 0 0 20 0 20 0 237800766 19521036288 1623519 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623519 5496 1 0 1637392 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=6494076 CPUtime=3259.66 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 123939 0 0 0 324768 1198 0 0 20 0 20 0 237800767 19521036288 1623519 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=6492024 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623519 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 2785 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623519 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=-4421386500559629152 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623519 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3292.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.20 4.17 6/339 170543
/proc/meminfo: memFree=72076720/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3352.82 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 227316 0 0 0 333931 1351 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637511 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=5276 CPUtime=3319.35 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 127421 0 0 0 330716 1219 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 2922 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3352.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.24 4.19 5/339 170545
/proc/meminfo: memFree=71599884/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3412.83 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 229751 0 0 0 339916 1367 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637511 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=6491896 CPUtime=3379 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 129689 0 0 0 336666 1234 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 2922 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3412.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.22 4.18 5/339 170547
/proc/meminfo: memFree=71089516/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3472.67 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 232818 0 0 0 345880 1387 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637515 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3438.81 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 132615 0 0 0 342629 1252 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 3015 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3472.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/339 170549
/proc/meminfo: memFree=70674168/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3532.86 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 236207 0 0 0 351883 1403 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637515 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=4756 CPUtime=3498.3 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 133983 0 0 0 348563 1267 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 3102 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3532.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/340 170686
/proc/meminfo: memFree=102894956/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3592.73 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 238575 0 0 0 357856 1417 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637516 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3558.15 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 136197 0 0 0 354535 1280 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 3189 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=6494588 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3592.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.6 s]
/proc/loadavg: 4.07 4.18 4.17 5/340 170686
/proc/meminfo: memFree=102698992/131249996 swapFree=33010672/33010684
[pid=170198] ppid=170195 vsize=19063512 memory=6494588 CPUtime=3600.02 cores=5,7
/proc/170198/stat : 170198 (java) S 170195 170198 170132 0 -1 4194304 239190 0 0 0 358580 1422 0 0 20 0 20 0 237800766 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
/proc/170198/statm: 4765878 1623647 5496 1 0 1637517 0
[pid=170198/tid=170200] ppid=170195 vsize=19063512 memory=27264 CPUtime=3565.42 cores=5,7
/proc/170198/task/170200/stat : 170200 (java) R 170195 170198 170132 0 -1 4194368 136811 0 0 0 355258 1284 0 0 20 0 20 0 237800767 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170209] ppid=170195 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170198/task/170209/stat : 170209 (Finalizer) S 170195 170198 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237800769 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170216] ppid=170195 vsize=19063512 memory=-8814786284982411964 CPUtime=0 cores=5,7
/proc/170198/task/170216/stat : 170216 (Common-Cleaner) S 170195 170198 170132 0 -1 4194368 3189 0 0 0 0 0 0 0 20 0 20 0 237800770 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
[pid=170198/tid=170276] ppid=170195 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/170198/task/170276/stat : 170276 (Timer-0) S 170195 170198 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237801172 19521036288 1623647 18446744073709551615 94737124052992 94737124056688 140721017336336 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94737124064504 94737124065296 94737155395584 140721017338196 140721017338340 140721017338340 140721017343944 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6494588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.92 s, system=14.2449 s

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

[startup+3589.7 s]*
/proc/loadavg: 4.07 4.18 4.17 5/322 170689
/proc/meminfo: memFree=109002944/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3589.71
CPU time (s): 3600.16
CPU user time (s): 3585.92
CPU system time (s): 14.2449
CPU usage (%): 100.291
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6494588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.92
system time used= 14.2449
maximum resident set size= 6495740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12637736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110192
involuntary context switches= 8055


# summary of solver processes directly reported to runsolver:
#   pid: 170198
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3585.92
#   total CPU system time (s): 14.2449

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13615 second user time and 17.3147 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-22 23:53:49
IDJOB=4542589
IDBENCH=163937
IDSOLVER=3364
FILE ID=nodeC024/4542589-1753221228
RUNJOBID= nodeC024-1753221228-170145
SLURM_JOB_ID= 9687809
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542589-1753221228/watcher-4542589-1753221228 -o /tmp/evaluation-result-4542589-1753221228/solver-4542589-1753221228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170145 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542589-1753221228 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542589-1753221228.opb

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

MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=1017199242

nodeC024 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.643
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.36
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.684
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.36
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		: 3599.821
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.36
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		: 3438.171
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.36
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		: 3601.862
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.36
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		: 3621.999
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.36
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		: 3599.687
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.36
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		: 3599.685
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129042820 kB
MemAvailable:   129597036 kB
Buffers:            2128 kB
Cached:          1316928 kB
SwapCached:            8 kB
Active:          1216912 kB
Inactive:         189392 kB
Active(anon):     112232 kB
Inactive(anon):     1588 kB
Active(file):    1104680 kB
Inactive(file):   187804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30460 kB
Writeback:             0 kB
AnonPages:         89808 kB
Mapped:           117996 kB
Shmem:             26248 kB
KReclaimable:     201540 kB
Slab:             297532 kB
SReclaimable:     201540 kB
SUnreclaim:        95992 kB
KernelStack:        4224 kB
PageTables:         2976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     402648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 418608 MiB
End job on nodeC024 at 2025-07-23 00:53:39