Trace number 4521960

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.29 3564.74

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
MD5SUMe5d29c038ae9b08512816a1a7bdfca9c
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 benchmark595
Best CPU time to get the best result obtained on this benchmark95.7268
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables668780
Total number of constraints43231
Number of constraints which are clauses21913
Number of constraints which are cardinality constraints (but not clauses)19040
Number of constraints which are nor clauses,nor cardinality constraints2278
Minimum length of a constraint33
Maximum length of a constraint38
Number of terms in the objective function 1190
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 1190
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1190
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4521960-1751595442.opb
0.42/0.37	c reading problem ... 
0.42/0.38	c  objective function found
27.86/24.99	c ... done. Wall clock time 24.619s.
27.86/24.99	c declared #vars     668780
27.86/24.99	c #constraints  43231
27.86/24.99	c constraints type 
27.86/24.99	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21318
27.86/24.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21913
27.86/24.99	c 43231 constraints processed.
27.86/25.00	c objective function length is 1190 literals
31.58/27.05	c cleaning 2494 clauses out of 5002 with flag 30809/5002
33.47/28.86	c cleaning 4241 clauses out of 8508 with flag 69755/11002
35.68/30.81	c cleaning 5615 clauses out of 11268 with flag 114357/18003
37.70/32.66	c cleaning 6815 clauses out of 13652 with flag 168898/26002
40.09/34.53	c cleaning 7891 clauses out of 15835 with flag 226823/35000
42.09/36.55	c cleaning 8943 clauses out of 17946 with flag 292706/45002
44.48/38.98	c cleaning 9970 clauses out of 20005 with flag 360646/56004
46.98/41.42	c cleaning 10975 clauses out of 22032 with flag 443625/68001
51.58/46.06	c cleaning 11799 clauses out of 24056 with flag 610432/81000
55.77/50.29	c cleaning 13125 clauses out of 26258 with flag 807975/95001
70.41/64.78	c cleaning 14065 clauses out of 28134 with flag 1002691/110002
76.67/70.76	c cleaning 15022 clauses out of 30067 with flag 1224265/126000
85.53/79.53	c cleaning 16016 clauses out of 32045 with flag 1483898/143000
105.55/99.13	c cleaning 17009 clauses out of 34029 with flag 1736149/161000
127.58/121.28	c cleaning 18011 clauses out of 36022 with flag 2013615/180002
139.68/132.86	c cleaning 19003 clauses out of 38010 with flag 2289285/200001
159.04/152.24	c cleaning 19998 clauses out of 40006 with flag 2614800/221000
191.26/184.03	c cleaning 21002 clauses out of 42009 with flag 2928828/243001
209.61/202.41	c cleaning 21998 clauses out of 44006 with flag 3263358/266000
234.38/226.88	c cleaning 23000 clauses out of 46008 with flag 3596918/290000
258.72/251.28	c cleaning 23999 clauses out of 48008 with flag 3887807/315000
282.08/274.14	c cleaning 25003 clauses out of 50009 with flag 4110760/341000
308.19/299.70	c cleaning 25996 clauses out of 52007 with flag 4335382/368001
340.12/331.75	c cleaning 27002 clauses out of 54011 with flag 4539985/396001
380.35/371.59	c cleaning 27996 clauses out of 56009 with flag 4752737/425001
422.35/413.10	c cleaning 29003 clauses out of 58012 with flag 4988273/455000
455.16/445.97	c cleaning 29998 clauses out of 60010 with flag 5204848/486001
498.22/488.59	c cleaning 31006 clauses out of 62013 with flag 5438089/518002
554.15/544.11	c cleaning 31997 clauses out of 64006 with flag 5724767/551001
589.76/579.74	c cleaning 32993 clauses out of 66008 with flag 5966635/585000
640.28/629.99	c cleaning 33997 clauses out of 68015 with flag 6205914/620000
691.40/680.61	c cleaning 34999 clauses out of 70018 with flag 6462038/656000
750.46/737.64	c cleaning 36000 clauses out of 72019 with flag 6727764/693000
801.64/788.62	c cleaning 36991 clauses out of 74019 with flag 7002311/731000
858.16/845.10	c cleaning 38004 clauses out of 76028 with flag 7294772/770000
916.88/903.21	c cleaning 38999 clauses out of 78024 with flag 7574456/810000
972.91/959.07	c cleaning 39976 clauses out of 80026 with flag 7875612/851001
1024.53/1010.29	c cleaning 41017 clauses out of 82049 with flag 8214696/893000
1090.42/1075.98	c cleaning 42015 clauses out of 84035 with flag 8520177/936003
1147.35/1130.48	c cleaning 43004 clauses out of 86018 with flag 8842237/980001
1190.13/1172.61	c cleaning 44002 clauses out of 88015 with flag 9180494/1025002
1254.26/1236.57	c cleaning 45004 clauses out of 90016 with flag 9550477/1071005
1309.01/1290.76	c cleaning 45999 clauses out of 92008 with flag 9942662/1118001
1369.50/1350.72	c cleaning 46995 clauses out of 94008 with flag 10330372/1166000
1438.67/1419.38	c cleaning 48003 clauses out of 96013 with flag 10751931/1215000
1514.93/1493.64	c cleaning 49002 clauses out of 98011 with flag 11174304/1265001
1565.91/1544.02	c cleaning 49999 clauses out of 100009 with flag 11645059/1316001
1644.95/1622.55	c cleaning 50990 clauses out of 102009 with flag 12019381/1368000
1731.23/1708.40	c cleaning 51998 clauses out of 104019 with flag 12481514/1421000
1813.22/1789.83	c cleaning 53006 clauses out of 106025 with flag 12948768/1475004
1897.90/1874.09	c cleaning 54000 clauses out of 108015 with flag 13380282/1530000
1998.11/1973.85	c cleaning 55000 clauses out of 110016 with flag 13824261/1586001
2075.45/2050.80	c cleaning 56003 clauses out of 112019 with flag 14305952/1643004
2164.23/2139.12	c cleaning 56997 clauses out of 114012 with flag 14768758/1701000
2272.86/2245.40	c cleaning 57999 clauses out of 116015 with flag 15265883/1760000
2366.41/2338.57	c cleaning 59000 clauses out of 118018 with flag 15768201/1820002
2500.12/2471.95	c cleaning 60001 clauses out of 120017 with flag 16279236/1881001
2620.27/2591.69	c cleaning 60964 clauses out of 122016 with flag 16963837/1943001
2733.11/2704.00	c cleaning 62019 clauses out of 124051 with flag 17585448/2006000
2849.08/2819.06	c cleaning 62998 clauses out of 126032 with flag 18384596/2070000
2955.05/2924.58	c cleaning 63983 clauses out of 128039 with flag 19006018/2135005
3048.81/3017.75	c cleaning 65021 clauses out of 130055 with flag 19674879/2201004
3133.54/3100.07	c cleaning 66013 clauses out of 132036 with flag 20485321/2268006
3276.13/3242.27	c cleaning 67000 clauses out of 134019 with flag 21134268/2336002
3397.86/3363.36	c cleaning 68000 clauses out of 136018 with flag 21798078/2405001
3516.29/3481.12	c cleaning 69007 clauses out of 138019 with flag 22539880/2475002
3600.08/3564.63	c timeout
3600.08/3564.64	c starts		: 4630
3600.08/3564.65	c conflicts		: 2531905
3600.08/3564.65	c decisions		: 11982851
3600.08/3564.65	c propagations		: 52582968
3600.08/3564.65	c inspects		: 10069142211
3600.08/3564.65	c shortcuts		: 0
3600.08/3564.65	c learnt literals	: 0
3600.08/3564.65	c learnt binary clauses	: 0
3600.08/3564.65	c learnt ternary clauses	: 0
3600.08/3564.65	c learnt constraints	: 2531905
3600.08/3564.65	c ignored constraints	: 0
3600.08/3564.65	c root simplifications	: 0
3600.08/3564.65	c removed literals (reason simplification)	: 64232432
3600.08/3564.65	c reason swapping (by a shorter reason)	: 0
3600.08/3564.65	c Calls to reduceDB	: 66
3600.08/3564.65	c Number of update (reduction) of LBD	: 1843518
3600.08/3564.65	c Imported unit clauses	: 0
3600.08/3564.65	c No decision after first conflict	: false
3600.08/3564.65	c number of reductions to clauses (during analyze)	: 0
3600.08/3564.65	c number of learned constraints concerned by reduction	: 0
3600.08/3564.65	c number of learning phase by resolution	: 0
3600.08/3564.65	c number of learning phase by cutting planes	: 0
3600.08/3564.65	c number of rounding to 1 operations	: 0
3600.08/3564.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3564.65	c number of reductions of the coefficients by power 2 	: 0
3600.08/3564.65	c number of right shift for reduction by power 2 	: 0
3600.08/3564.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3564.65	c number of ending skipping 	: 0
3600.08/3564.65	c number of internal skipping 	: 0
3600.08/3564.65	c number of derivation steps 	: 0
3600.08/3564.65	c number of skipped derivation steps 	: 0
3600.08/3564.65	c number of remaining unassigned 	: 0
3600.08/3564.65	c number of remaining assigned 	: 0
3600.08/3564.65	c number of falsified literals weakened from reason	: 0
3600.08/3564.65	c number of falsified literals weakened from conflict	: 0
3600.08/3564.65	c time for arithmetic operations	: 0
3600.08/3564.65	c minimum degree of deleted constraints	: null
3600.08/3564.65	c maximum degree of deleted constraints	: null
3600.08/3564.65	c number of deleted constraints	: 0
3600.08/3564.65	c speed (assignments/second)	: 14855.779654155047
3600.08/3564.65	c non guided choices	: 6288977
3600.08/3564.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 125915
3600.26/3564.70	s UNKNOWN
3600.26/3564.70	c Total wall clock time (in seconds): 3564.335

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63225 MiB free)
  memory of node 1: 64465 MiB (63736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521960-1751595442/watcher-4521960-1751595442 -o /tmp/evaluation-result-4521960-1751595442/solver-4521960-1751595442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85914 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521960-1751595442.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86025, runsolver pid=86022

[startup+0.10007 s]*
/proc/loadavg: 0.71 2.77 3.59 7/322 86043
/proc/meminfo: memFree=129992688/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18930384 memory=47668 CPUtime=0.11 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 5682 0 0 0 7 4 0 0 20 0 18 0 75223663 19384713216 11917 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4732596 11917 5243 1 0 546907 0
[pid=86025/tid=86027] ppid=86022 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 4612 0 0 0 4 3 0 0 20 0 18 0 75223665 19384713216 11917 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223670 19384713216 11949 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18930384 memory=58494082630061 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223671 19384713216 11949 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47668 KiB

[startup+0.214433 s]*
/proc/loadavg: 0.71 2.77 3.59 7/322 86043
/proc/meminfo: memFree=129978952/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18930384 memory=52828 CPUtime=0.27 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 6385 0 0 0 22 5 0 0 20 0 18 0 75223663 19384713216 13207 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4732596 13207 5339 1 0 547486 0
[pid=86025/tid=86027] ppid=86022 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 4962 0 0 0 13 3 0 0 20 0 18 0 75223665 19384713216 13207 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18930384 memory=13926 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223670 19384713216 13207 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223671 19384713216 13207 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52828 KiB

[startup+0.314278 s]*
/proc/loadavg: 0.71 2.77 3.59 3/322 86043
/proc/meminfo: memFree=129972840/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18930384 memory=58028 CPUtime=0.42 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 6664 0 0 0 36 6 0 0 20 0 18 0 75223663 19384713216 14507 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4732596 14507 5339 1 0 547688 0
[pid=86025/tid=86027] ppid=86022 vsize=18930384 memory=-6000919498526975591 CPUtime=0.25 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 5124 0 0 0 21 4 0 0 20 0 18 0 75223665 19384713216 14507 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223670 19384713216 14507 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223671 19384713216 14507 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58028 KiB

[startup+0.700444 s]
/proc/loadavg: 0.71 2.77 3.59 9/323 86044
/proc/meminfo: memFree=129837232/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18930384 memory=528972 CPUtime=1.08 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 8066 0 0 0 87 21 0 0 20 0 18 0 75223663 19384713216 132243 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4732596 132243 5435 1 0 548492 0
[pid=86025/tid=86027] ppid=86022 vsize=18930384 memory=14464 CPUtime=0.58 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 5500 0 0 0 40 18 0 0 20 0 18 0 75223665 19384713216 132243 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18930384 memory=11136 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223670 19384713216 132243 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75223671 19384713216 132243 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 528972 KiB

[startup+1.50029 s]
/proc/loadavg: 0.71 2.77 3.59 10/327 86048
/proc/meminfo: memFree=129011020/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18996948 memory=823196 CPUtime=2.54 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 11237 0 0 0 221 33 0 0 20 0 19 0 75223663 19452874752 205799 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4749237 205799 5467 1 0 550247 0
[pid=86025/tid=86027] ppid=86022 vsize=18996948 memory=3200 CPUtime=1.3 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 5684 0 0 0 104 26 0 0 20 0 19 0 75223665 19452874752 205799 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223670 19452874752 205799 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223671 19452874752 205799 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 823196 KiB

[startup+3.10571 s]
/proc/loadavg: 0.71 2.77 3.59 6/328 86049
/proc/meminfo: memFree=128132616/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18996948 memory=1478572 CPUtime=4.7 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 19898 0 0 0 421 49 0 0 20 0 19 0 75223663 19452874752 369643 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4749237 369643 5499 1 0 978456 0
[pid=86025/tid=86027] ppid=86022 vsize=18996948 memory=11136 CPUtime=2.79 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 6038 0 0 0 240 39 0 0 20 0 19 0 75223665 19452874752 369643 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223670 19452874752 369643 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223671 19452874752 369643 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1478572 KiB

[startup+6.3004 s]
/proc/loadavg: 1.05 2.81 3.60 5/328 86049
/proc/meminfo: memFree=126942116/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18996948 memory=2944480 CPUtime=8.06 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 22847 0 0 0 726 80 0 0 20 0 19 0 75223663 19452874752 736120 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4749237 736120 5499 1 0 1976954 0
[pid=86025/tid=86027] ppid=86022 vsize=18996948 memory=11136 CPUtime=5.6 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 6900 0 0 0 495 65 0 0 20 0 19 0 75223665 19452874752 736120 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223670 19452874752 736120 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18996948 memory=-6000919498526975591 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223671 19452874752 736120 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2944480 KiB

[startup+12.7003 s]
/proc/loadavg: 1.37 2.84 3.61 5/328 86050
/proc/meminfo: memFree=124432916/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=18996948 memory=3857124 CPUtime=14.73 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 25212 0 0 0 1374 99 0 0 20 0 19 0 75223663 19452874752 964281 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4749237 964281 5499 1 0 2499181 0
[pid=86025/tid=86027] ppid=86022 vsize=18996948 memory=14848 CPUtime=11.25 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 7811 0 0 0 1046 79 0 0 20 0 19 0 75223665 19452874752 964281 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75223670 19452874752 964281 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75223671 19452874752 964281 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3857124 KiB

[startup+25.5004 s]
/proc/loadavg: 2.03 2.92 3.62 7/329 86051
/proc/meminfo: memFree=121914616/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=4893116 CPUtime=28.92 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 27994 0 0 0 2769 123 0 0 20 0 20 0 75223663 19521036288 1223279 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 1223279 5531 1 0 2971690 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=5632 CPUtime=22.7 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 8977 0 0 0 2176 94 0 0 20 0 20 0 75223665 19521036288 1223279 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=3375148 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 1223279 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=4823788 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 1223279 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4893116 KiB

[startup+51.1136 s]
/proc/loadavg: 2.76 3.02 3.64 5/330 86052
/proc/meminfo: memFree=118789624/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=5281484 CPUtime=56.7 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 30695 0 0 0 5537 133 0 0 20 0 20 0 75223663 19521036288 1320371 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 1320371 5563 1 0 2971758 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=14848 CPUtime=48.22 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 10312 0 0 0 4721 101 0 0 20 0 20 0 75223665 19521036288 1320371 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 1320371 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 1320371 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 1320371 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 56.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5281484 KiB

[startup+102.301 s]
/proc/loadavg: 3.77 3.26 3.69 5/330 86124
/proc/meminfo: memFree=114749124/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=5431248 CPUtime=108.73 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 40887 0 0 0 10732 141 0 0 20 0 20 0 75223663 19521036288 1357812 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0

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

[startup+3222.3 s]
/proc/loadavg: 4.31 4.34 4.29 5/326 86275
/proc/meminfo: memFree=74862436/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3256.27 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 198192 0 0 0 325237 390 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=7228816 CPUtime=3183.29 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 82726 0 0 0 318199 130 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 2632 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3256.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.28 5/326 86279
/proc/meminfo: memFree=74861812/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3316.57 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 201796 0 0 0 331264 393 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3242.66 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 85176 0 0 0 324136 130 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 2753 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3316.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.34 4.29 6/324 86346
/proc/meminfo: memFree=91063948/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3376.43 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 204367 0 0 0 337247 396 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3302.47 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 87568 0 0 0 330117 130 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 2888 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3376.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.31 4.28 5/325 86350
/proc/meminfo: memFree=85319472/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3437.14 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 208289 0 0 0 343315 399 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3361.43 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 89083 0 0 0 336013 130 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=7040 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 3007 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3437.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.30 4.27 5/325 86418
/proc/meminfo: memFree=100526600/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3497.52 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 211863 0 0 0 349348 404 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=11136 CPUtime=3420.78 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 91246 0 0 0 341947 131 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 3008 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3497.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.30 4.28 5/326 86421
/proc/meminfo: memFree=99691112/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3557.86 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 215275 0 0 0 355380 406 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3480.11 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 93184 0 0 0 347879 132 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=-6000919498526975591 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 3089 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=-6000919498526975591 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564.6 s]
/proc/loadavg: 4.22 4.28 4.27 5/326 86421
/proc/meminfo: memFree=99596656/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19063512 memory=8047212 CPUtime=3600.08 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 216293 0 0 0 359599 409 0 0 20 0 20 0 75223663 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4765878 2011803 5563 1 0 2427047 0
[pid=86025/tid=86027] ppid=86022 vsize=19063512 memory=19456 CPUtime=3522.29 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) R 86022 86025 85904 0 -1 4194368 94119 0 0 0 352097 132 0 0 20 0 20 0 75223665 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223670 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 3169 0 0 0 0 0 0 0 20 0 20 0 75223671 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86052] ppid=86022 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/86025/task/86052/stat : 86052 (Timer-0) S 86022 86025 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75226171 19521036288 2011803 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8047212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.17 s, system=4.12526 s

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

[startup+3564.71 s]
/proc/loadavg: 4.22 4.28 4.27 5/326 86421
/proc/meminfo: memFree=99596656/131382112 swapFree=33002444/33010684
[pid=86025] ppid=86022 vsize=19263204 memory=8047724 CPUtime=3600.26 cores=0,2
/proc/86025/stat : 86025 (java) S 86022 86025 85904 0 -1 4194304 218516 0 0 0 359616 410 0 0 20 0 21 0 75223663 19725520896 2011931 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
/proc/86025/statm: 4815801 2011931 5563 1 0 2427955 0
[pid=86025/tid=86027] ppid=86022 vsize=19263204 memory=8047212 CPUtime=3522.32 cores=0,2
/proc/86025/task/86027/stat : 86027 (java) S 86022 86025 85904 0 -1 4194368 94411 0 0 0 352100 132 0 0 20 0 21 0 75223665 19725520896 2011931 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86036] ppid=86022 vsize=19263204 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86036/stat : 86036 (Finalizer) S 86022 86025 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75223670 19725520896 2011931 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
[pid=86025/tid=86043] ppid=86022 vsize=19263204 memory=8047212 CPUtime=0 cores=0,2
/proc/86025/task/86043/stat : 86043 (Common-Cleaner) S 86022 86025 85904 0 -1 4194368 3169 0 0 0 0 0 0 0 20 0 21 0 75223671 19725520896 2011931 18446744073709551615 94576478617600 94576478621296 140725868962528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94576478629112 94576478629904 94576491675648 140725868964225 140725868964326 140725868964326 140725868969928 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8047724 KiB

Child status: 143

Real time (s): 3564.74
CPU time (s): 3600.29
CPU user time (s): 3596.17
CPU system time (s): 4.12526
CPU usage (%): 100.997
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8047724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.17
system time used= 4.12526
maximum resident set size= 8047964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109755
involuntary context switches= 12225


# summary of solver processes directly reported to runsolver:
#   pid: 86025
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3596.17
#   total CPU system time (s): 4.12526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8483 second user time and 36.216 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 04:17:23
IDJOB=4521960
IDBENCH=178523
IDSOLVER=3363
FILE ID=nodeC005/4521960-1751595442
RUNJOBID= nodeC005-1751595442-85914
SLURM_JOB_ID= 9598861
Free space on /tmp= 429468 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521960-1751595442/watcher-4521960-1751595442 -o /tmp/evaluation-result-4521960-1751595442/solver-4521960-1751595442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85914 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4521960-1751595442.opb

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

MD5SUM BENCH= e5d29c038ae9b08512816a1a7bdfca9c
RANDOM SEED=553044581

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130038140 kB
MemAvailable:   129873740 kB
Buffers:              12 kB
Cached:           623168 kB
SwapCached:          240 kB
Active:           380068 kB
Inactive:         368744 kB
Active(anon):      97720 kB
Inactive(anon):    40840 kB
Active(file):     282348 kB
Inactive(file):   327904 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20548 kB
Writeback:             0 kB
AnonPages:        128956 kB
Mapped:           110752 kB
Shmem:             12868 kB
KReclaimable:     129948 kB
Slab:             217164 kB
SReclaimable:     129948 kB
SUnreclaim:        87216 kB
KernelStack:        4384 kB
PageTables:         3552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6934976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149688 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429428 MiB
End job on nodeC005 at 2025-07-04 05:16:48