Trace number 4450372

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 2024 2024-07-07UNSAT cert. 117.538 113.039

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
MD5SUM2bb0b15a1713ed3ebed857cd771e5926
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 benchmark0.074557
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables301
Total number of constraints151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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 CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2113181440
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4450372-1721827642.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.021s.
0.14/0.15	c declared #vars     301
0.14/0.15	c #constraints  302
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 300
0.14/0.15	c 302 constraints processed.
0.72/0.49	c cleaning 2490 clauses out of 5000 with flag 19257/5000
1.28/0.80	c cleaning 4238 clauses out of 8511 with flag 50105/11001
1.88/1.09	c cleaning 5626 clauses out of 11276 with flag 90951/18004
2.46/1.31	c cleaning 6812 clauses out of 13647 with flag 135932/26001
2.84/1.52	c cleaning 7910 clauses out of 15836 with flag 185886/35002
3.20/1.77	c cleaning 8947 clauses out of 17926 with flag 243674/45002
3.80/2.07	c cleaning 9973 clauses out of 19977 with flag 311376/56000
4.37/2.44	c cleaning 10986 clauses out of 22005 with flag 388214/68001
4.66/2.79	c cleaning 11987 clauses out of 24018 with flag 464188/81000
5.07/3.19	c cleaning 12998 clauses out of 26031 with flag 543010/95000
5.57/3.63	c cleaning 14008 clauses out of 28034 with flag 631153/110001
6.08/4.14	c cleaning 14997 clauses out of 30027 with flag 723674/126002
6.71/4.66	c cleaning 15995 clauses out of 32028 with flag 820593/143000
7.43/5.27	c cleaning 17004 clauses out of 34033 with flag 920388/161000
8.12/5.95	c cleaning 18005 clauses out of 36029 with flag 1027890/180000
8.81/6.69	c cleaning 19000 clauses out of 38024 with flag 1138342/200000
10.22/8.09	c cleaning 19999 clauses out of 40025 with flag 1251576/221001
11.40/9.25	c cleaning 21005 clauses out of 42025 with flag 1370990/243000
12.32/10.15	c cleaning 22006 clauses out of 44021 with flag 1496166/266001
13.31/11.15	c cleaning 23007 clauses out of 46014 with flag 1628551/290000
14.40/12.27	c cleaning 23996 clauses out of 48007 with flag 1767560/315000
15.60/13.45	c cleaning 24996 clauses out of 50012 with flag 1905714/341001
16.90/14.73	c cleaning 25992 clauses out of 52016 with flag 2047069/368001
18.20/16.06	c cleaning 27005 clauses out of 54023 with flag 2193252/396000
19.60/17.48	c cleaning 28001 clauses out of 56019 with flag 2346487/425001
21.09/18.90	c cleaning 29001 clauses out of 58018 with flag 2500873/455001
22.59/20.49	c cleaning 29998 clauses out of 60016 with flag 2663375/486000
24.20/22.06	c cleaning 30999 clauses out of 62019 with flag 2824647/518001
25.88/23.78	c cleaning 32000 clauses out of 64020 with flag 2993919/551001
27.57/25.42	c cleaning 33002 clauses out of 66020 with flag 3156356/585001
29.29/27.17	c cleaning 34002 clauses out of 68019 with flag 3327425/620002
31.29/29.19	c cleaning 35002 clauses out of 70016 with flag 3501325/656001
33.37/31.21	c cleaning 36003 clauses out of 72013 with flag 3675864/693000
35.36/33.22	c cleaning 36998 clauses out of 74012 with flag 3852313/731002
37.47/35.44	c cleaning 37998 clauses out of 76013 with flag 4034461/770001
39.47/37.48	c cleaning 39002 clauses out of 78015 with flag 4211904/810001
41.87/39.80	c cleaning 40000 clauses out of 80013 with flag 4398722/851001
43.96/41.92	c cleaning 40998 clauses out of 82012 with flag 4584618/893000
46.07/44.03	c cleaning 42003 clauses out of 84014 with flag 4771055/936000
48.25/46.23	c cleaning 42999 clauses out of 86011 with flag 4959858/980000
50.45/48.46	c cleaning 43996 clauses out of 88012 with flag 5153417/1025000
52.77/50.73	c cleaning 44999 clauses out of 90016 with flag 5346657/1071000
55.46/53.44	c cleaning 45997 clauses out of 92018 with flag 5560471/1118001
58.16/56.17	c cleaning 47002 clauses out of 94020 with flag 5771377/1166000
61.25/59.22	c cleaning 48004 clauses out of 96019 with flag 5991399/1215001
64.16/62.18	c cleaning 49001 clauses out of 98014 with flag 6207255/1265000
67.34/65.48	c cleaning 50002 clauses out of 100013 with flag 6432767/1316000
70.64/68.74	c cleaning 51002 clauses out of 102011 with flag 6656638/1368000
73.91/71.96	c cleaning 51996 clauses out of 104010 with flag 6880542/1421001
77.70/75.71	c cleaning 53003 clauses out of 106013 with flag 7121906/1475000
81.59/79.68	c cleaning 54000 clauses out of 108012 with flag 7367052/1530002
85.49/83.56	c cleaning 54998 clauses out of 110010 with flag 7612405/1586000
89.87/87.98	c cleaning 56002 clauses out of 112012 with flag 7863161/1643000
95.26/93.32	c cleaning 57002 clauses out of 114010 with flag 8131619/1701000
101.20/99.32	c cleaning 57998 clauses out of 116009 with flag 8407928/1760001
105.80/103.91	c cleaning 59001 clauses out of 118011 with flag 8682719/1820001
111.45/107.72	c cleaning 60001 clauses out of 120008 with flag 8951153/1881000
116.30/111.81	c cleaning 60998 clauses out of 122006 with flag 9229494/1943000
117.30/112.88	c starts		: 2366
117.30/112.89	c conflicts		: 1969511
117.30/112.89	c decisions		: 2553288
117.30/112.89	c propagations		: 18599169
117.30/112.89	c inspects		: 2076397057
117.30/112.89	c shortcuts		: 0
117.30/112.89	c learnt literals	: 14
117.30/112.89	c learnt binary clauses	: 97
117.30/112.89	c learnt ternary clauses	: 421
117.30/112.89	c learnt constraints	: 1969496
117.30/112.89	c ignored constraints	: 0
117.30/112.89	c root simplifications	: 0
117.30/112.89	c removed literals (reason simplification)	: 2070937
117.39/112.90	c reason swapping (by a shorter reason)	: 0
117.39/112.90	c Calls to reduceDB	: 58
117.39/112.90	c Number of update (reduction) of LBD	: 442152
117.39/112.90	c Imported unit clauses	: 0
117.39/112.90	c No decision after first conflict	: false
117.39/112.90	c number of reductions to clauses (during analyze)	: 0
117.39/112.90	c number of learned constraints concerned by reduction	: 0
117.39/112.90	c number of learning phase by resolution	: 0
117.39/112.90	c number of learning phase by cutting planes	: 0
117.39/112.90	c number of rounding to 1 operations	: 0
117.39/112.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
117.39/112.90	c number of reductions of the coefficients by power 2 	: 0
117.39/112.90	c number of right shift for reduction by power 2 	: 0
117.39/112.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
117.39/112.90	c number of ending skipping 	: 0
117.39/112.90	c number of internal skipping 	: 0
117.39/112.90	c number of derivation steps 	: 0
117.39/112.90	c number of skipped derivation steps 	: 0
117.39/112.90	c number of remaining unassigned 	: 0
117.39/112.90	c number of remaining assigned 	: 0
117.39/112.90	c number of falsified literals weakened from reason	: 0
117.39/112.90	c number of falsified literals weakened from conflict	: 0
117.39/112.90	c time for arithmetic operations	: 0
117.39/112.90	c minimum degree of deleted constraints	: null
117.39/112.90	c maximum degree of deleted constraints	: null
117.39/112.90	c number of deleted constraints	: 0
117.39/112.90	c speed (assignments/second)	: 164965.2227130009
117.39/112.90	c non guided choices	: 11360
117.50/113.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 87409
117.50/113.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 97
117.50/113.02	s UNSATISFIABLE
117.50/113.02	c Total wall clock time (in seconds): 112.895

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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: 64059 MiB (55441 MiB free)
  memory of node 1: 64510 MiB (54836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450372-1721827642/watcher-4450372-1721827642 -o /tmp/evaluation-result-4450372-1721827642/solver-4450372-1721827642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231945 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4450372-1721827642 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450372-1721827642.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=237258, runsolver pid=237255
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.93 4.40 4.26 5/321 237276
/proc/meminfo: memFree=112878944/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=18975048 memory=65292 CPUtime=0.14 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 7231 0 0 0 13 1 0 0 20 0 18 0 18753526 19430449152 16323 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4743762 16323 5711 1 0 551453 0
[pid=237258/tid=237260] ppid=237255 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 5774 0 0 0 8 1 0 0 20 0 18 0 18753527 19430449152 16323 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18753529 19430449152 16323 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18753530 19430449152 16323 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65292 KiB

[startup+0.213407 s]*
/proc/loadavg: 4.93 4.40 4.26 6/322 237277
/proc/meminfo: memFree=112871584/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19041612 memory=71828 CPUtime=0.35 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 7716 0 0 0 33 2 0 0 20 0 19 0 18753526 19498610688 17957 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4760403 17957 5845 1 0 552035 0
[pid=237258/tid=237260] ppid=237255 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) S 237255 237258 231903 0 -1 1077936192 6010 0 0 0 18 1 0 0 20 0 19 0 18753527 19498610688 17957 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19041612 memory=605730 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18753529 19498610688 17957 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19041612 memory=15539622046353107 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18753530 19498610688 17957 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18753542 19498610688 17957 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71828 KiB

[startup+0.306553 s]*
/proc/loadavg: 4.93 4.40 4.26 7/322 237277
/proc/meminfo: memFree=112861176/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19041612 memory=83412 CPUtime=0.53 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 9221 0 0 0 51 2 0 0 20 0 19 0 18753526 19498610688 20853 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4760403 20853 5845 1 0 552798 0
[pid=237258/tid=237260] ppid=237255 vsize=19041612 memory=-8815911055379899068 CPUtime=0.28 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 6035 0 0 0 27 1 0 0 20 0 19 0 18753527 19498610688 20853 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18753529 19498610688 20853 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18753530 19498610688 20853 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18753542 19498610688 20853 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83412 KiB

[startup+0.700397 s]
/proc/loadavg: 4.93 4.40 4.26 6/322 237277
/proc/meminfo: memFree=112833288/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19041612 memory=134308 CPUtime=1.28 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 13268 0 0 0 124 4 0 0 20 0 19 0 18753526 19498610688 33577 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4760403 33577 5861 1 0 555287 0
[pid=237258/tid=237260] ppid=237255 vsize=19041612 memory=70328 CPUtime=0.67 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 6113 0 0 0 64 3 0 0 20 0 19 0 18753527 19498610688 33577 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19041612 memory=12928 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18753529 19498610688 33577 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19041612 memory=2316 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18753530 19498610688 33577 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18753542 19498610688 33577 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134308 KiB

[startup+1.50027 s]
/proc/loadavg: 4.93 4.40 4.26 5/323 237280
/proc/meminfo: memFree=112759920/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=178372 CPUtime=2.84 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 19736 0 0 0 278 6 0 0 20 0 20 0 18753526 19566772224 44593 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 44593 5893 1 0 556442 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=12928 CPUtime=1.45 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 6593 0 0 0 141 4 0 0 20 0 20 0 18753527 19566772224 44593 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 44593 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 44593 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 44593 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178372 KiB

[startup+3.1064 s]
/proc/loadavg: 4.93 4.41 4.26 5/323 237280
/proc/meminfo: memFree=112725524/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=198552 CPUtime=5.07 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 22036 0 0 0 498 9 0 0 20 0 20 0 18753526 19566772224 49638 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 49638 5893 1 0 556750 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=0 CPUtime=3.03 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 6994 0 0 0 297 6 0 0 20 0 20 0 18753527 19566772224 49638 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=-8815911055379899068 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 49638 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 49638 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 49638 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198552 KiB

[startup+6.30041 s]
/proc/loadavg: 4.93 4.41 4.26 5/323 237280
/proc/meminfo: memFree=112497864/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=415776 CPUtime=8.51 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 24783 0 0 0 834 17 0 0 20 0 20 0 18753526 19566772224 103944 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 103944 5893 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=12928 CPUtime=6.18 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 7539 0 0 0 605 13 0 0 20 0 20 0 18753527 19566772224 103944 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 103944 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 103944 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=178384 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 103944 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 415776 KiB

[startup+12.7004 s]
/proc/loadavg: 4.86 4.40 4.26 5/323 237281
/proc/meminfo: memFree=112163840/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=651316 CPUtime=14.91 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 27135 0 0 0 1465 26 0 0 20 0 20 0 18753526 19566772224 162829 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 162829 5893 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=178384 CPUtime=12.54 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 8447 0 0 0 1233 21 0 0 20 0 20 0 18753527 19566772224 162829 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=651316 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 162829 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=618528 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 162829 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 162829 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 14.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651316 KiB

[startup+25.5005 s]
/proc/loadavg: 4.82 4.42 4.27 5/323 237284
/proc/meminfo: memFree=111630608/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1050696 CPUtime=27.67 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 29555 0 0 0 2726 41 0 0 20 0 20 0 18753526 19566772224 262674 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 262674 5893 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=1050696 CPUtime=25.26 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 9585 0 0 0 2490 36 0 0 20 0 20 0 18753527 19566772224 262674 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=1050696 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 262674 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 262674 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 262674 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1050696 KiB

[startup+51.1134 s]
/proc/loadavg: 4.67 4.42 4.27 5/323 237288
/proc/meminfo: memFree=111073128/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1329368 CPUtime=53.18 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 35388 0 0 0 5254 64 0 0 20 0 20 0 18753526 19566772224 332342 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 332342 5925 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=1327320 CPUtime=50.6 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 11839 0 0 0 5003 57 0 0 20 0 20 0 18753527 19566772224 332342 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=-8815911055379899068 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 332342 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 332342 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=1325272 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 332342 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 53.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329368 KiB

[startup+102.301 s]
/proc/loadavg: 4.36 4.37 4.26 5/325 237467
/proc/meminfo: memFree=110572648/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1333572 CPUtime=104.19 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 39769 0 0 0 10328 91 0 0 20 0 20 0 18753526 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 333393 5925 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=2316 CPUtime=101.37 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 13771 0 0 0 10054 83 0 0 20 0 20 0 18753527 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=5472 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=1329476 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 132 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 104.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333572 KiB

[startup+113.038 s]
# the end of solver process 237258 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=116.525 s, system=1.01217 s

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

[startup+102.401 s]
/proc/loadavg: 4.36 4.37 4.26 5/325 237467
/proc/meminfo: memFree=110572648/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1333572 CPUtime=104.29 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 39773 0 0 0 10338 91 0 0 20 0 20 0 18753526 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 333393 5925 1 0 556751 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=1050696 CPUtime=101.47 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 13775 0 0 0 10064 83 0 0 20 0 20 0 18753527 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=280307954052752 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 132 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=1333572 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 333393 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 104.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333572 KiB

[startup+108.808 s]
/proc/loadavg: 4.38 4.37 4.27 5/325 237467
/proc/meminfo: memFree=110514704/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1334836 CPUtime=112.66 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 47659 0 0 0 11171 95 0 0 20 0 20 0 18753526 19566772224 333709 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 333709 5925 1 0 556961 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=5472 CPUtime=107.8 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) S 237255 237258 231903 0 -1 1077936192 15590 0 0 0 10694 86 0 0 20 0 20 0 18753527 19566772224 333709 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=5472 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 333709 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=1333572 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 132 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 333709 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=1333572 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 333709 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 112.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1334836 KiB

[startup+110.4 s]
/proc/loadavg: 4.38 4.37 4.27 5/325 237467
/proc/meminfo: memFree=110491076/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1336120 CPUtime=114.26 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 47738 0 0 0 11330 96 0 0 20 0 20 0 18753526 19566772224 334030 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 334030 5925 1 0 556961 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=2688 CPUtime=109.36 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 15594 0 0 0 10850 86 0 0 20 0 20 0 18753527 19566772224 334030 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=26224 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 334030 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=5548 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 137 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 334030 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 334030 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 114.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1336120 KiB

[startup+112 s]*
/proc/loadavg: 4.38 4.37 4.27 5/325 237468
/proc/meminfo: memFree=110459408/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1348464 CPUtime=116.51 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 55032 0 0 0 11553 98 0 0 20 0 20 0 18753526 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 337116 5925 1 0 559311 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=100 CPUtime=110.97 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 15801 0 0 0 11010 87 0 0 20 0 20 0 18753527 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=2032 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=1338932 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 137 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=-7233763581549502588 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 116.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1348464 KiB

[startup+112.8 s]
/proc/loadavg: 4.38 4.37 4.27 5/325 237468
/proc/meminfo: memFree=110459408/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19108176 memory=1348464 CPUtime=117.3 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 55137 0 0 0 11632 98 0 0 20 0 20 0 18753526 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4777044 337116 5925 1 0 559311 0
[pid=237258/tid=237260] ppid=237255 vsize=19108176 memory=1347880 CPUtime=111.76 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) R 237255 237258 231903 0 -1 4194368 15872 0 0 0 11089 87 0 0 20 0 20 0 18753527 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19108176 memory=37008 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19108176 memory=28104 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 137 0 0 0 0 0 0 0 20 0 20 0 18753530 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237277] ppid=237255 vsize=19108176 memory=2032 CPUtime=0 cores=4,6
/proc/237258/task/237277/stat : 237277 (Timer-0) S 237255 237258 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18753542 19566772224 337116 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 117.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1348464 KiB

[startup+113 s]*
/proc/loadavg: 4.35 4.36 4.27 5/325 237470
/proc/meminfo: memFree=110451284/131655788 swapFree=131071472/131071996
[pid=237258] ppid=237255 vsize=19241304 memory=1349044 CPUtime=117.5 cores=4,6
/proc/237258/stat : 237258 (java) S 237255 237258 231903 0 -1 1077936128 56846 0 0 0 11651 99 0 0 20 0 20 0 18753526 19703095296 337261 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
/proc/237258/statm: 4810326 337261 5924 1 0 559945 0
[pid=237258/tid=237260] ppid=237255 vsize=19241304 memory=-8815911055379899068 CPUtime=111.8 cores=4,6
/proc/237258/task/237260/stat : 237260 (java) S 237255 237258 231903 0 -1 1077936192 17117 0 0 0 11092 88 0 0 20 0 20 0 18753527 19703095296 337261 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237269] ppid=237255 vsize=19241304 memory=-4421386517672453220 CPUtime=0 cores=4,6
/proc/237258/task/237269/stat : 237269 (Finalizer) S 237255 237258 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18753529 19703095296 337261 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237276] ppid=237255 vsize=19241304 memory=646092 CPUtime=0 cores=4,6
/proc/237258/task/237276/stat : 237276 (Common-Cleaner) S 237255 237258 231903 0 -1 1077936192 137 0 0 0 0 0 0 0 20 0 20 0 18753530 19703095296 337261 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
[pid=237258/tid=237469] ppid=237255 vsize=19241304 memory=1352735 CPUtime=0.12 cores=4,6
/proc/237258/task/237469/stat : 237469 (Thread-0) R 237255 237258 231903 0 -1 4194368 202 0 0 0 12 0 0 0 20 0 20 0 18764814 19703095296 337261 134679101440 93866178031616 93866178035312 140720815489424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866178043128 93866178043920 93866206724096 140720815498155 140720815498337 140720815498337 140720815505352 0
Current children cumulated CPU time: 117.5 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1349044 KiB

Child status: 20

Real time (s): 113.039
CPU time (s): 117.538
CPU user time (s): 116.525
CPU system time (s): 1.01217
CPU usage (%): 103.98
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1349044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.525
system time used= 1.01217
maximum resident set size= 1350104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 463704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5253
involuntary context switches= 583


# summary of solver processes directly reported to runsolver:
#   pid: 237258
#   total CPU time (s): 117.538
#   total CPU user time (s): 116.525
#   total CPU system time (s): 1.01217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.627378 second user time and 1.17312 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 15:27:22
IDJOB=4450372
IDBENCH=160433
IDSOLVER=3079
FILE ID=nodeC008/4450372-1721827642
RUNJOBID= nodeC008-1721820325-231945
SLURM_JOB_ID= 7891458
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450372-1721827642/watcher-4450372-1721827642 -o /tmp/evaluation-result-4450372-1721827642/solver-4450372-1721827642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231945 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450372-1721827642 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450372-1721827642.opb

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

MD5SUM BENCH= 2bb0b15a1713ed3ebed857cd771e5926
RANDOM SEED=799964272

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3630.200
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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		: 3652.195
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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.124
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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.267
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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		: 3491.608
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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		: 3645.842
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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		: 2893.001
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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.254
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112924520 kB
MemAvailable:   125890308 kB
Buffers:          267136 kB
Cached:         13472652 kB
SwapCached:           48 kB
Active:          2637120 kB
Inactive:       15400600 kB
Active(anon):       1452 kB
Inactive(anon):  4350220 kB
Active(file):    2635668 kB
Inactive(file): 11050380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            123924 kB
Writeback:             0 kB
AnonPages:       4297656 kB
Mapped:           139172 kB
Shmem:             53976 kB
KReclaimable:     239540 kB
Slab:             362308 kB
SReclaimable:     239540 kB
SUnreclaim:       122768 kB
KernelStack:        4812 kB
PageTables:        18584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7408784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4038656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-24 15:29:15