Trace number 4452382

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-07? (TO) 3600.21 3352.34

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.u.opb
MD5SUM85c335a5d84e5af9815833eb64512629
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.043724
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6400
Total number of constraints476
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)472
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint6400
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 81
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 6481
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.11	c version CUSTOM.v20240707
0.06/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.12	c java.vm.version	22.0.1+8-16
0.06/0.12	c java.vm.vendor	Oracle Corporation
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		22.0.1
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.13	c Free memory 		2104792832
0.06/0.13	c Max memory 		16282288128
0.06/0.13	c Total memory 		2113929216
0.06/0.13	c Number of processors 	2
0.06/0.17	--- Begin Solver configuration ---
0.06/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	Learn all clauses as in MiniSAT
0.06/0.17	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	Expensive reason simplification
0.06/0.17	Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	timeout=2147483s
0.06/0.17	DB Simplification allowed=false
0.06/0.17	Listener: none
0.06/0.17	--- End Solver configuration ---
0.06/0.17	c Pseudo Boolean Optimization by upper bound
0.06/0.17	c --- Begin Solver configuration ---
0.06/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	c Learn all clauses as in MiniSAT
0.06/0.17	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	c Expensive reason simplification
0.06/0.17	c Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	c timeout=2147483s
0.06/0.17	c DB Simplification allowed=false
0.06/0.17	c Listener: none
0.06/0.17	c --- End Solver configuration ---
0.06/0.17	c solving HOME/instance-4452382-1721841378.opb
0.06/0.17	c reading problem ... 
0.06/0.17	c using VERIPB proof format
0.06/0.17	c  no objective function found
0.43/0.32	c ... done. Wall clock time 0.133s.
0.43/0.32	c declared #vars     6400
0.43/0.32	c #constraints  477
0.43/0.32	c constraints type 
0.43/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4
0.43/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 473
0.43/0.32	c 477 constraints processed.
30.81/27.91	c cleaning 2521 clauses out of 5042 with flag 10084/5042
59.06/55.12	c cleaning 4245 clauses out of 8489 with flag 22020/11010
77.20/71.71	c cleaning 5638 clauses out of 11275 with flag 36082/18041
97.99/91.95	c cleaning 6801 clauses out of 13601 with flag 52010/26005
119.28/111.35	c cleaning 7841 clauses out of 15798 with flag 70009/35003
153.47/144.62	c cleaning 8983 clauses out of 17965 with flag 90027/45011
186.25/171.60	c cleaning 9990 clauses out of 19980 with flag 112025/56009
216.53/200.79	c cleaning 11012 clauses out of 22024 with flag 136094/68043
250.29/232.98	c cleaning 11992 clauses out of 23984 with flag 162038/81015
294.97/273.85	c cleaning 13005 clauses out of 26010 with flag 190074/95033
339.24/316.88	c cleaning 13997 clauses out of 27994 with flag 220052/110022
393.10/364.58	c cleaning 15005 clauses out of 30009 with flag 252076/126034
446.36/416.02	c cleaning 15990 clauses out of 31980 with flag 286028/143010
500.14/461.92	c cleaning 16991 clauses out of 33982 with flag 322016/161002
555.67/514.50	c cleaning 17996 clauses out of 35991 with flag 360019/180002
641.87/591.39	c cleaning 19020 clauses out of 38039 with flag 400108/200046
711.89/659.19	c cleaning 19999 clauses out of 39997 with flag 442068/221024
802.16/740.02	c cleaning 20990 clauses out of 41980 with flag 486035/243006
891.23/818.04	c cleaning 22010 clauses out of 44026 with flag 532120/266042
1049.19/962.17	c cleaning 23006 clauses out of 46011 with flag 580125/290037
1181.17/1078.41	c cleaning 23956 clauses out of 47968 with flag 630063/315000
1458.11/1349.25	c cleaning 25002 clauses out of 50012 with flag 682083/341000
1907.08/1788.07	c cleaning 26035 clauses out of 52072 with flag 736236/368062
2505.46/2374.41	c cleaning 27008 clauses out of 54015 with flag 792205/396040
2841.60/2697.20	c cleaning 27987 clauses out of 55977 with flag 850154/425010
3064.13/2907.10	c cleaning 29016 clauses out of 58032 with flag 910243/455052
3214.98/3030.83	c cleaning 30006 clauses out of 60012 with flag 972238/486048
3366.33/3153.60	c cleaning 31000 clauses out of 62000 with flag 1036234/518042
3539.15/3301.60	c cleaning 31976 clauses out of 63961 with flag 1102159/551003
3600.00/3351.91	c starts		: 1
3600.00/3351.91	c conflicts		: 563514
3600.00/3351.91	c decisions		: 569712
3600.00/3351.91	c propagations		: 15675309
3600.00/3351.91	c inspects		: 1117934086
3600.00/3351.91	c shortcuts		: 0
3600.00/3351.91	c learnt literals	: 0
3600.00/3351.91	c learnt binary clauses	: 0
3600.00/3351.91	c learnt ternary clauses	: 0
3600.00/3351.91	c learnt constraints	: 563514
3600.00/3351.91	c ignored constraints	: 0
3600.00/3351.91	c root simplifications	: 0
3600.00/3351.91	c removed literals (reason simplification)	: 49982919
3600.00/3351.91	c reason swapping (by a shorter reason)	: 0
3600.00/3351.91	c Calls to reduceDB	: 29
3600.00/3351.91	c Number of update (reduction) of LBD	: 10
3600.00/3351.91	c Imported unit clauses	: 0
3600.00/3351.91	c No decision after first conflict	: false
3600.00/3351.91	c number of reductions to clauses (during analyze)	: 0
3600.00/3351.91	c number of learned constraints concerned by reduction	: 0
3600.00/3351.91	c number of learning phase by resolution	: 0
3600.00/3351.91	c number of learning phase by cutting planes	: 0
3600.00/3351.92	c number of rounding to 1 operations	: 0
3600.00/3351.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3351.92	c number of reductions of the coefficients by power 2 	: 0
3600.00/3351.92	c number of right shift for reduction by power 2 	: 0
3600.00/3351.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3351.92	c number of ending skipping 	: 0
3600.00/3351.92	c number of internal skipping 	: 0
3600.00/3351.92	c number of derivation steps 	: 0
3600.00/3351.92	c number of skipped derivation steps 	: 0
3600.00/3351.92	c number of remaining unassigned 	: 0
3600.00/3351.92	c number of remaining assigned 	: 0
3600.00/3351.92	c number of falsified literals weakened from reason	: 0
3600.00/3351.92	c number of falsified literals weakened from conflict	: 0
3600.00/3351.92	c time for arithmetic operations	: 0
3600.00/3351.92	c minimum degree of deleted constraints	: null
3600.00/3351.92	c maximum degree of deleted constraints	: null
3600.00/3351.92	c number of deleted constraints	: 0
3600.00/3351.92	c speed (assignments/second)	: 4676.9601521899085
3600.00/3351.92	c non guided choices	: 6319
3600.00/3351.94	c timeout
3600.00/3351.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 44496
3600.00/3351.97	s UNKNOWN
3600.00/3351.97	c Total wall clock time (in seconds): 3351.805

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: 63968 MiB (61891 MiB free)
  memory of node 1: 64473 MiB (61064 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=197308, runsolver pid=197304

[startup+0.101288 s]*
/proc/loadavg: 1.10 1.92 2.65 10/327 197402
/proc/meminfo: memFree=125758332/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=18975048 memory=55960 CPUtime=0.06 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 6632 0 10 0 5 1 0 0 20 0 18 0 20667543 19430449152 13990 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4743762 13990 5511 1 0 548860 0
[pid=197308/tid=197310] ppid=197304 vsize=18975048 memory=4026531971 CPUtime=0.04 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 5521 0 9 0 3 1 0 0 20 0 18 0 20667543 19430449152 13990 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=18975048 memory=1376128 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667550 19430449152 13990 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 20667551 19430449152 13990 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55960 KiB

[startup+0.206401 s]*
/proc/loadavg: 1.10 1.92 2.65 13/327 197402
/proc/meminfo: memFree=125698868/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=18975048 memory=71160 CPUtime=0.25 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 7572 0 10 0 23 2 0 0 20 0 18 0 20667543 19430449152 17790 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4743762 17790 5818 1 0 549555 0
[pid=197308/tid=197310] ppid=197304 vsize=18975048 memory=4782652875487838339 CPUtime=0.14 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 5922 0 9 0 13 1 0 0 20 0 18 0 20667543 19430449152 17790 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=18975048 memory=1376128 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667550 19430449152 17790 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 20667551 19430449152 17790 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71160 KiB

[startup+0.306243 s]*
/proc/loadavg: 1.10 1.92 2.65 13/330 197405
/proc/meminfo: memFree=125459604/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=18975048 memory=118264 CPUtime=0.43 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 9113 0 10 0 40 3 0 0 20 0 18 0 20667543 19430449152 29566 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4743762 29566 5818 1 0 550568 0
[pid=197308/tid=197310] ppid=197304 vsize=18975048 memory=-8672076242668528316 CPUtime=0.22 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 1077936192 5980 0 9 0 20 2 0 0 20 0 18 0 20667543 19430449152 29566 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=18975048 memory=1469368018913100121 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667550 19430449152 29566 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 20667551 19430449152 29566 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118264 KiB

[startup+0.700394 s]
/proc/loadavg: 1.10 1.92 2.65 13/332 197407
/proc/meminfo: memFree=124650676/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=187944 CPUtime=1.19 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 15678 0 10 0 113 6 0 0 20 0 20 0 20667543 19566772224 46986 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 46986 5834 1 0 555627 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16024 CPUtime=0.58 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 6069 0 9 0 55 3 0 0 20 0 20 0 20667543 19566772224 46986 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 46986 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 46986 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=32692 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 46986 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187944 KiB

[startup+1.50024 s]
/proc/loadavg: 1.81 2.05 2.69 7/335 197410
/proc/meminfo: memFree=124425992/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=403336 CPUtime=2.76 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 16523 0 10 0 264 12 0 0 20 0 20 0 20667543 19566772224 100834 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 100834 5866 1 0 937890 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=12928 CPUtime=1.27 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) S 197304 197308 197258 0 -1 1077936192 6160 0 9 0 120 7 0 0 20 0 20 0 20667543 19566772224 100834 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 100834 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 100834 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=32692 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 100834 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 403336 KiB

[startup+3.10639 s]
/proc/loadavg: 1.81 2.05 2.69 8/333 197476
/proc/meminfo: memFree=123993020/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=896076 CPUtime=4.73 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 17984 0 10 0 449 24 0 0 20 0 20 0 20667543 19566772224 224019 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 224019 5882 1 0 1606357 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=0 CPUtime=2.64 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 6304 0 9 0 248 16 0 0 20 0 20 0 20667543 19566772224 224019 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 224019 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 224019 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 224019 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 896076 KiB

[startup+6.30027 s]
/proc/loadavg: 2.15 2.12 2.71 8/334 197477
/proc/meminfo: memFree=122258224/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=1550888 CPUtime=8.13 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 19255 0 10 0 771 42 0 0 20 0 20 0 20667543 19566772224 387722 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 387722 5882 1 0 1984451 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=12928 CPUtime=5.64 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 6517 0 9 0 536 28 0 0 20 0 20 0 20667543 19566772224 387722 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 387722 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 387722 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 387722 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1550888 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 2.15 2.72 6/333 197545
/proc/meminfo: memFree=122025688/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=1938428 CPUtime=14.81 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 20310 0 10 0 1428 53 0 0 20 0 20 0 20667543 19566772224 484607 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 484607 5882 1 0 1984451 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=1938004 CPUtime=11.75 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 7018 0 9 0 1141 34 0 0 20 0 20 0 20667543 19566772224 484607 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 484607 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=-8889374924689154748 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 484607 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=16024 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 484607 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 14.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1938428 KiB

[startup+25.5003 s]
/proc/loadavg: 2.71 2.24 2.74 5/335 197549
/proc/meminfo: memFree=116920116/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=2448788 CPUtime=28.26 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 26311 0 10 0 2756 70 0 0 20 0 20 0 20667543 19566772224 612197 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 612197 5882 1 0 1984454 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=1847880 CPUtime=23.79 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 8286 0 9 0 2337 42 0 0 20 0 20 0 20667543 19566772224 612197 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 612197 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 612197 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=2325788 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 612197 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2448788 KiB

[startup+51.1059 s]
/proc/loadavg: 3.28 2.43 2.79 5/335 197553
/proc/meminfo: memFree=111549500/131524600 swapFree=131064476/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=3723064 CPUtime=55.37 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 36457 0 10 0 5425 112 0 0 20 0 20 0 20667543 19566772224 930766 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 930766 5882 1 0 1984492 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=3571492 CPUtime=47.86 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 11570 0 9 0 4727 59 0 0 20 0 20 0 20667543 19566772224 930766 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=2750168 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 930766 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0

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

/proc/197308/statm: 4777044 4071435 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16283628 CPUtime=2906.26 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 161275 0 9 0 288753 1873 0 0 20 0 20 0 20667543 19566772224 4071435 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5792 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071435 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=16283688 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1487 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071435 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=67736 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071435 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3298.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.46 4.37 4.24 5/350 199368
/proc/meminfo: memFree=734400/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=16285748 CPUtime=3375.46 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 675925 0 10 0 335309 2237 0 0 20 0 20 0 20667543 19566772224 4071437 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 4071437 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16285748 CPUtime=2962.07 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 161512 0 9 0 294280 1927 0 0 20 0 20 0 20667543 19566772224 4071437 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5829 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=-8889374924689154748 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071437 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=16285748 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1487 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071437 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=16285748 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071437 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3375.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.45 4.39 4.26 5/351 199380
/proc/meminfo: memFree=624444/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=16285772 CPUtime=3445.66 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 677270 0 10 0 342276 2290 0 0 20 0 20 0 20667543 19566772224 4071443 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 4071443 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=11588 CPUtime=3015.57 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 161954 0 9 0 299581 1976 0 0 20 0 20 0 20667543 19566772224 4071443 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6081 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=16285772 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071443 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=16285748 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1487 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071443 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=5528 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071443 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3445.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285772 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.39 4.27 5/350 199395
/proc/meminfo: memFree=518256/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=16285776 CPUtime=3519.75 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 714005 0 10 0 349630 2345 0 0 20 0 20 0 20667543 19566772224 4071444 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 4071444 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16285772 CPUtime=3070.56 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) S 197304 197308 197258 0 -1 1077936192 168962 0 9 0 305033 2023 0 0 20 0 20 0 20667543 19566772224 4071444 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6269 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071444 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=16285772 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1560 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071444 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071444 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3519.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.41 4.28 5/349 199409
/proc/meminfo: memFree=616184/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=16285780 CPUtime=3589.8 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 719033 0 10 0 356580 2400 0 0 20 0 20 0 20667543 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 4071445 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16285776 CPUtime=3124.87 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 170691 0 9 0 310413 2074 0 0 20 0 20 0 20667543 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6459 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=16285780 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=-8889374924689154748 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1560 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=25880 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3589.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3351.9 s]
/proc/loadavg: 4.41 4.40 4.28 5/349 199410
/proc/meminfo: memFree=496928/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19108176 memory=16285780 CPUtime=3600 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 719390 0 10 0 357594 2406 0 0 20 0 20 0 20667543 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4777044 4071445 5910 1 0 4084913 0
[pid=197308/tid=197310] ppid=197304 vsize=19108176 memory=16285776 CPUtime=3133.8 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) R 197304 197308 197258 0 -1 4194368 170860 0 9 0 311300 2080 0 0 20 0 20 0 20667543 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6459 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19108176 memory=16285780 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1560 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197406] ppid=197304 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/197308/task/197406/stat : 197406 (Timer-0) S 197304 197308 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667575 19566772224 4071445 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.05 s, system=24.1547 s

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

[startup+3352 s]*
/proc/loadavg: 4.38 4.40 4.28 4/344 199413
/proc/meminfo: memFree=615308/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19307868 memory=16286864 CPUtime=3600.13 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 722398 0 10 0 357604 2409 0 0 20 0 15 0 20667543 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4826967 4071716 5906 1 0 4085963 0
[pid=197308/tid=197310] ppid=197304 vsize=19307868 memory=-8888809775712477884 CPUtime=3133.84 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) D 197304 197308 197258 0 -1 4194368 171060 0 9 0 311301 2083 0 0 20 0 15 0 20667543 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6462 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19307868 memory=-4421386504754061918 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20667550 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19307868 memory=4976 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1560 0 0 0 0 0 0 0 20 0 15 0 20667551 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16286864 KiB

[startup+3352.2 s]
/proc/loadavg: 4.38 4.40 4.28 4/344 199413
/proc/meminfo: memFree=615308/131524600 swapFree=131055836/131071996
[pid=197308] ppid=197304 vsize=19307868 memory=16286864 CPUtime=3600.15 cores=5,7
/proc/197308/stat : 197308 (java) S 197304 197308 197258 0 -1 1077936128 722398 0 10 0 357605 2410 0 0 20 0 15 0 20667543 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
/proc/197308/statm: 4826967 4071716 5906 1 0 4085963 0
[pid=197308/tid=197310] ppid=197304 vsize=19307868 memory=-8889374924689154748 CPUtime=3133.85 cores=5,7
/proc/197308/task/197310/stat : 197310 (java) D 197304 197308 197258 0 -1 4194368 171060 0 9 0 311302 2083 0 0 20 0 15 0 20667543 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6494 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197368] ppid=197304 vsize=19307868 memory=2716 CPUtime=0 cores=5,7
/proc/197308/task/197368/stat : 197368 (Finalizer) S 197304 197308 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20667550 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
[pid=197308/tid=197388] ppid=197304 vsize=19307868 memory=5104 CPUtime=0 cores=5,7
/proc/197308/task/197388/stat : 197388 (Common-Cleaner) S 197304 197308 197258 0 -1 1077936192 1560 0 0 0 0 0 0 0 20 0 15 0 20667551 19771256832 4071716 134679101440 94772409483264 94772409486960 140727046600496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94772409494776 94772409495568 94772435259392 140727046603691 140727046603873 140727046603873 140727046610888 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16286864 KiB

[startup+3352.3 s]*
/proc/loadavg: 4.38 4.40 4.28 5/331 199413
/proc/meminfo: memFree=3236968/131524600 swapFree=131055836/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3352.34
CPU time (s): 3600.21
CPU user time (s): 3576.05
CPU system time (s): 24.1547
CPU usage (%): 107.394
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16286864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.05
system time used= 24.1547
maximum resident set size= 16287852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722448
page faults= 10
swaps= 0
block input operations= 6488
block output operations= 53732736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134575
involuntary context switches= 27665


# summary of solver processes directly reported to runsolver:
#   pid: 197308
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3576.05
#   total CPU system time (s): 24.1547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94244 second user time and 16.7755 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 19:16:18
IDJOB=4452382
IDBENCH=164294
IDSOLVER=3079
FILE ID=nodeC033/4452382-1721841378
RUNJOBID= nodeC033-1721841378-197271
SLURM_JOB_ID= 7891561
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-777800.0.u.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-4452382-1721841378/watcher-4452382-1721841378 -o /tmp/evaluation-result-4452382-1721841378/solver-4452382-1721841378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721841378-197271 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452382-1721841378 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452382-1721841378.opb

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

MD5SUM BENCH= 85c335a5d84e5af9815833eb64512629
RANDOM SEED=1897182615

nodeC033.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	: 0xb00002a
cpu MHz		: 3600.442
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3485.563
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.206
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3569.379
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.933
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3490.119
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3629.802
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3633.645
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125918800 kB
MemAvailable:   129692040 kB
Buffers:          264296 kB
Cached:          4305000 kB
SwapCached:          784 kB
Active:          2429748 kB
Inactive:        2515744 kB
Active(anon):       1684 kB
Inactive(anon):   427776 kB
Active(file):    2428064 kB
Inactive(file):  2087968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:              2972 kB
Writeback:             0 kB
AnonPages:        373300 kB
Mapped:           109644 kB
Shmem:             53264 kB
KReclaimable:     194064 kB
Slab:             309152 kB
SReclaimable:     194064 kB
SUnreclaim:       115088 kB
KernelStack:        3892 kB
PageTables:        10092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     751288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC033 at 2024-07-24 20:12:11