Trace number 4424284

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 Partial RoundingSAT 2024 2024-07-12OPTIMUM 512.939 506.825

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
MD5SUM3fe609e3abfc3ea6e01c0dbccbf479ce
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.10188
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.61	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.61	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.61	c See www.sat4j.org for details.
0.24/0.63	c version CUSTOM.v20240707
0.24/0.65	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.65	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.65	c java.vm.version	22.0.1+8-16
0.24/0.65	c java.vm.vendor	Oracle Corporation
0.24/0.65	c sun.arch.data.model	64
0.24/0.65	c java.version		22.0.1
0.24/0.65	c os.name		Linux
0.24/0.65	c os.version		4.18.0-301.1.el8.x86_64
0.24/0.65	c os.arch		amd64
0.24/0.66	c Free memory 		2115194816
0.24/0.66	c Max memory 		16282288128
0.24/0.66	c Total memory 		2122317824
0.24/0.67	c Number of processors 	2
0.55/0.84	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.55/0.84	 - never skip resolution steps
0.55/0.84	 - Auto-division on coefficients is disabled
0.55/0.84	 - No postprocessing
0.55/0.84	 - Conflict is considered as is when resolving
0.55/0.84	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.55/0.84	 - Weaken first using unassigned literals
0.55/0.84	 - Bump strategy: ALWAYS_ONE
0.55/0.84	 - Bumper: ASSIGNED
0.55/0.84	--- Begin Solver configuration ---
0.55/0.84	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.55/0.84	Learn all clauses as in MiniSAT
0.55/0.84	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.55/0.84	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.55/0.84	No reason simplification
0.55/0.84	Armin Biere (Picosat) restarts strategy
0.55/0.84	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.55/0.84	timeout=2147483s
0.55/0.84	DB Simplification allowed=false
0.55/0.84	Listener: none
0.55/0.84	--- End Solver configuration ---
0.55/0.84	c Pseudo Boolean Optimization by upper bound
0.55/0.84	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.55/0.84	c  - never skip resolution steps
0.55/0.84	c  - Auto-division on coefficients is disabled
0.55/0.84	c  - No postprocessing
0.55/0.84	c  - Conflict is considered as is when resolving
0.55/0.84	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.55/0.84	c  - Weaken first using unassigned literals
0.55/0.84	c  - Bump strategy: ALWAYS_ONE
0.55/0.84	c  - Bumper: ASSIGNED
0.55/0.84	c --- Begin Solver configuration ---
0.55/0.84	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.55/0.84	c Learn all clauses as in MiniSAT
0.55/0.84	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.55/0.84	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.55/0.84	c No reason simplification
0.55/0.84	c Armin Biere (Picosat) restarts strategy
0.55/0.84	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.55/0.84	c timeout=2147483s
0.55/0.84	c DB Simplification allowed=false
0.55/0.84	c Listener: none
0.55/0.84	c --- End Solver configuration ---
0.55/0.84	c solving HOME/instance-4424284-1720874152.wbo
0.55/0.84	c reading problem ... 
0.74/0.93	c ... done. Wall clock time 0.076s.
0.74/0.93	c declared #vars     169
0.74/0.93	c internal #vars     233
0.74/0.93	c #constraints  102
0.74/0.93	c constraints type 
0.74/0.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.74/0.93	c org.sat4j.specs.Constr$1 => 1
0.74/0.93	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 41
0.74/0.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.74/0.93	c 102 constraints processed.
0.74/0.96	c objective function length is 64 literals
1.31/1.25	c SATISFIABLE
1.31/1.25	c OPTIMIZING...
1.31/1.25	c Got one! Elapsed wall clock time (in seconds):0.398
1.31/1.25	o 1969
2.10/1.63	c Got one! Elapsed wall clock time (in seconds):0.786
2.10/1.63	o 1950
3.09/2.14	c Got one! Elapsed wall clock time (in seconds):1.295
3.09/2.15	o 1945
3.87/2.55	c Got one! Elapsed wall clock time (in seconds):1.707
3.87/2.55	o 1941
5.44/3.33	c Got one! Elapsed wall clock time (in seconds):2.489
5.44/3.33	o 1939
7.82/4.77	c Got one! Elapsed wall clock time (in seconds):3.924
7.82/4.77	o 1929
8.94/5.73	c Got one! Elapsed wall clock time (in seconds):4.881
8.94/5.73	o 1927
11.18/7.79	c Got one! Elapsed wall clock time (in seconds):6.95
11.18/7.79	o 1919
13.84/10.33	c Got one! Elapsed wall clock time (in seconds):9.49
13.84/10.33	o 1918
19.25/15.31	c Got one! Elapsed wall clock time (in seconds):14.466
19.25/15.31	o 1914
21.62/17.53	c Got one! Elapsed wall clock time (in seconds):16.683
21.62/17.53	o 1912
24.72/20.67	c Got one! Elapsed wall clock time (in seconds):19.826
24.72/20.67	o 1892
29.94/25.81	c Got one! Elapsed wall clock time (in seconds):24.971
29.94/25.81	o 1891
39.94/35.86	c Got one! Elapsed wall clock time (in seconds):35.019
39.94/35.86	o 1882
54.32/50.27	c Got one! Elapsed wall clock time (in seconds):49.431
54.32/50.27	o 1881
58.96/54.81	c Got one! Elapsed wall clock time (in seconds):53.967
58.96/54.81	o 1880
64.27/60.19	c Got one! Elapsed wall clock time (in seconds):59.351
64.27/60.19	o 1868
74.69/70.51	c Got one! Elapsed wall clock time (in seconds):69.661
74.69/70.51	o 1856
88.38/84.21	c Got one! Elapsed wall clock time (in seconds):83.367
88.38/84.21	o 1851
115.28/111.14	c Got one! Elapsed wall clock time (in seconds):110.3
115.28/111.14	o 1850
154.70/150.42	c Got one! Elapsed wall clock time (in seconds):149.58
154.70/150.42	o 1846
160.20/155.94	c Got one! Elapsed wall clock time (in seconds):155.1
160.20/155.94	o 1839
171.88/167.65	c Got one! Elapsed wall clock time (in seconds):166.81
171.88/167.65	o 1837
184.29/180.08	c Got one! Elapsed wall clock time (in seconds):179.233
184.29/180.08	o 1835
206.47/202.21	c Got one! Elapsed wall clock time (in seconds):201.367
206.47/202.21	o 1834
244.36/238.75	c Got one! Elapsed wall clock time (in seconds):237.905
244.36/238.75	o 1833
307.40/301.58	c Got one! Elapsed wall clock time (in seconds):300.738
307.40/301.58	o 1830
411.51/405.64	c Got one! Elapsed wall clock time (in seconds):404.792
411.51/405.64	o 1829
422.61/416.74	c Got one! Elapsed wall clock time (in seconds):415.901
422.61/416.74	o 1828
439.13/433.27	c Got one! Elapsed wall clock time (in seconds):432.429
439.13/433.27	o 1825
463.62/457.72	c Got one! Elapsed wall clock time (in seconds):456.875
463.62/457.72	o 1824
502.95/497.01	c Got one! Elapsed wall clock time (in seconds):496.168
502.95/497.01	o 1823
509.57/503.66	c Got one! Elapsed wall clock time (in seconds):502.815
509.57/503.66	o 10
512.81/506.77	c starts		: 66
512.81/506.77	c conflicts		: 9136
512.81/506.77	c decisions		: 37231
512.81/506.77	c propagations		: 305635
512.81/506.77	c inspects		: 126565894
512.81/506.77	c shortcuts		: 0
512.81/506.77	c learnt literals	: 0
512.81/506.77	c learnt binary clauses	: 0
512.81/506.77	c learnt ternary clauses	: 0
512.81/506.77	c learnt constraints	: 9135
512.81/506.77	c ignored constraints	: 0
512.81/506.77	c root simplifications	: 0
512.81/506.77	c removed literals (reason simplification)	: 0
512.81/506.77	c reason swapping (by a shorter reason)	: 0
512.81/506.77	c Calls to reduceDB	: 0
512.81/506.77	c Number of update (reduction) of LBD	: 0
512.81/506.77	c Imported unit clauses	: 0
512.81/506.77	c No decision after first conflict	: false
512.81/506.77	c number of reductions to clauses (during analyze)	: 0
512.81/506.77	c number of learned constraints concerned by reduction	: 0
512.81/506.77	c number of learning phase by resolution	: 0
512.81/506.77	c number of learning phase by cutting planes	: 0
512.81/506.77	c number of rounding to 1 operations	: 47570
512.81/506.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
512.81/506.77	c number of reductions of the coefficients by power 2 	: 0
512.81/506.77	c number of right shift for reduction by power 2 	: 0
512.81/506.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
512.81/506.77	c number of ending skipping 	: 0
512.81/506.77	c number of internal skipping 	: 0
512.81/506.77	c number of derivation steps 	: 71627
512.81/506.77	c number of skipped derivation steps 	: 0
512.81/506.77	c number of remaining unassigned 	: 13229
512.81/506.77	c number of remaining assigned 	: 1864785
512.81/506.77	c number of falsified literals weakened from reason	: 0
512.81/506.77	c number of falsified literals weakened from conflict	: 0
512.81/506.77	c time for arithmetic operations	: 147491593
512.81/506.77	c minimum degree of deleted constraints	: null
512.81/506.77	c maximum degree of deleted constraints	: null
512.81/506.77	c number of deleted constraints	: 0
512.81/506.77	c speed (assignments/second)	: 604.2522147775733
512.81/506.77	c non guided choices	: 796
512.81/506.77	s OPTIMUM FOUND
512.81/506.77	c Found 33 solution(s)
512.81/506.77	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
512.81/506.77	c objective function=10
512.81/506.77	c Total wall clock time (in seconds): 505.929

Verifier Data 

OK	10

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424284-1720874152/watcher-4424284-1720874152 -o /tmp/evaluation-result-4424284-1720874152/solver-4424284-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720874164-697221 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424284-1720874152.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=697284, runsolver pid=697281
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 0.08 0.09 0.09 1/252 697295
/proc/meminfo: memFree=130135828/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=528268 memory=22840 CPUtime=0.01 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 1414 0 12 0 0 1 0 0 20 0 2 0 139571668 540946432 5710 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 132067 5710 3126 1 0 4201 0
[pid=697284/tid=697288] ppid=697281 vsize=528268 memory=4026531971 CPUtime=0.01 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) D 697281 697284 697210 0 -1 4194368 861 0 12 0 0 1 0 0 20 0 2 0 139571669 540946432 6017 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 7 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 528268 KiB
Current children cumulated memory: 22840 KiB

[startup+0.214099 s]*
/proc/loadavg: 0.08 0.09 0.09 1/272 697315
/proc/meminfo: memFree=130092052/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=18175400 memory=34752 CPUtime=0.03 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 3343 0 20 0 1 2 0 0 20 0 7 0 139571668 18611609600 8688 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4543850 8688 3672 1 0 544764 0
[pid=697284/tid=697288] ppid=697281 vsize=18175400 memory=8737651120394928259 CPUtime=0.02 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) D 697281 697284 697210 0 -1 4194368 2778 0 20 0 0 2 0 0 20 0 7 0 139571669 18611609600 8688 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 19 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 34752 KiB

[startup+0.314022 s]*
/proc/loadavg: 0.08 0.09 0.09 1/272 697315
/proc/meminfo: memFree=130068756/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=18175400 memory=38916 CPUtime=0.04 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 4395 0 21 0 1 3 0 0 20 0 7 0 139571668 18611609600 9729 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4543850 9729 3703 1 0 544764 0
[pid=697284/tid=697288] ppid=697281 vsize=18175400 memory=-8670951442272985788 CPUtime=0.03 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) D 697281 697284 697210 0 -1 4194368 3830 0 21 0 0 3 0 0 20 0 7 0 139571669 18611609600 9729 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 29 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 38916 KiB

[startup+0.700469 s]
/proc/loadavg: 0.08 0.09 0.09 11/316 697359
/proc/meminfo: memFree=130009304/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=18975048 memory=63852 CPUtime=0.38 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 7132 0 59 0 31 7 0 0 20 0 18 0 139571668 19430449152 15963 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4743762 15963 5507 1 0 551407 0
[pid=697284/tid=697288] ppid=697281 vsize=18975048 memory=2648 CPUtime=0.24 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 1077936192 5680 0 41 0 19 5 0 0 20 0 18 0 139571669 19430449152 15963 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=18975048 memory=25208 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139571715 19430449152 15963 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=18975048 memory=449 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 139571717 19430449152 15963 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63852 KiB

[startup+1.50036 s]
/proc/loadavg: 0.08 0.09 0.09 14/320 697363
/proc/meminfo: memFree=129950056/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19041612 memory=134384 CPUtime=1.9 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 13798 0 59 0 178 12 0 0 20 0 19 0 139571668 19498610688 33596 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4760403 33596 5832 1 0 556043 0
[pid=697284/tid=697288] ppid=697281 vsize=19041612 memory=2648 CPUtime=0.95 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 6147 0 41 0 88 7 0 0 20 0 19 0 139571669 19498610688 33596 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139571715 19498610688 33596 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19041612 memory=25208 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139571717 19498610688 33596 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19041612 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139571765 19498610688 33596 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134384 KiB

[startup+3.10622 s]
/proc/loadavg: 0.80 0.24 0.14 8/323 697432
/proc/meminfo: memFree=129311268/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=194144 CPUtime=5.06 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 24984 0 59 0 490 16 0 0 20 0 20 0 139571668 19566772224 48536 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 48536 5902 1 0 558883 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=0 CPUtime=2.47 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 6905 0 41 0 238 9 0 0 20 0 20 0 139571669 19566772224 48536 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 48536 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=25208 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 48536 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 48536 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194144 KiB

[startup+6.30122 s]
/proc/loadavg: 0.80 0.24 0.14 5/323 697432
/proc/meminfo: memFree=125816344/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=483764 CPUtime=9.68 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 25690 0 59 0 946 22 0 0 20 0 20 0 139571668 19566772224 120941 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 120941 5902 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=0 CPUtime=5.61 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 7397 0 41 0 547 14 0 0 20 0 20 0 139571669 19566772224 120941 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 120941 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=188084 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 120941 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=401844 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 120941 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 9.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 483764 KiB

[startup+12.7004 s]
/proc/loadavg: 1.06 0.30 0.16 5/323 697433
/proc/meminfo: memFree=123729028/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=735988 CPUtime=16.43 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 31564 0 59 0 1614 29 0 0 20 0 20 0 139571668 19566772224 183997 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 183997 5903 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=-9103297006500553404 CPUtime=11.94 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 9109 0 41 0 1174 20 0 0 20 0 20 0 139571669 19566772224 183997 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 183997 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=735988 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 183997 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 183997 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 16.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 735988 KiB

[startup+25.5005 s]
/proc/loadavg: 1.79 0.50 0.23 5/323 697435
/proc/meminfo: memFree=119363252/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1211308 CPUtime=29.64 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 40922 0 59 0 2923 41 0 0 20 0 20 0 139571668 19566772224 302827 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 302827 5903 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1944 CPUtime=24.63 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 11819 0 41 0 2433 30 0 0 20 0 20 0 139571669 19566772224 302827 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 302827 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 302827 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=1037188 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 302827 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 29.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1211308 KiB

[startup+51.1135 s]
/proc/loadavg: 2.74 0.83 0.34 5/323 697439
/proc/meminfo: memFree=117190452/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1346548 CPUtime=55.23 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 47907 0 59 0 5477 46 0 0 20 0 20 0 139571668 19566772224 336637 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 336637 5903 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1346540 CPUtime=49.93 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 15334 0 41 0 4960 33 0 0 20 0 20 0 139571669 19566772224 336637 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1346540 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 336637 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=1346532 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 336637 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 336637 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 55.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346548 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 1.39 0.56 5/324 697449
/proc/meminfo: memFree=117105788/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1369148 CPUtime=106.47 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 55710 0 59 0 10597 50 0 0 20 0 20 0 139571668 19566772224 342287 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 342287 5903 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=0 CPUtime=100.27 cores=4,6

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

/proc/meminfo: memFree=116871520/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1448204 CPUtime=408.21 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 86031 0 59 0 40748 73 0 0 20 0 20 0 139571668 19566772224 362051 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 362051 5920 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1410660 CPUtime=396.69 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 27505 0 41 0 39634 35 0 0 20 0 20 0 139571669 19566772224 362051 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1418944 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 362051 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 243 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 362051 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=-8765899777364442775 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 362051 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 408.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1448204 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.34 1.74 5/320 697517
/proc/meminfo: memFree=116840136/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1458484 CPUtime=468.22 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 90760 0 59 0 46746 76 0 0 20 0 20 0 139571668 19566772224 364621 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 364621 5920 1 0 558888 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1410660 CPUtime=455.95 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 29726 0 41 0 45559 36 0 0 20 0 20 0 139571669 19566772224 364621 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=-9103297006500553404 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 364621 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=2616 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 269 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 364621 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=1454356 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 364621 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 468.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1458484 KiB

[startup+506.825 s]
# the end of solver process 697284 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=512.117 s, system=0.821453 s

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

[startup+486.4 s]
/proc/loadavg: 4.09 3.40 1.80 5/320 697521
/proc/meminfo: memFree=116829580/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1460572 CPUtime=492.31 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 91151 0 59 0 49153 78 0 0 20 0 20 0 139571668 19566772224 365143 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 365143 5920 1 0 558897 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=32180 CPUtime=479.81 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30026 0 41 0 47945 36 0 0 20 0 20 0 139571669 19566772224 365143 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1458484 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 365143 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=35012 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 365143 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 365143 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 492.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1460572 KiB

[startup+499.2 s]
/proc/loadavg: 4.15 3.44 1.84 5/320 697523
/proc/meminfo: memFree=116821252/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1464680 CPUtime=505.14 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 91737 0 59 0 50435 79 0 0 20 0 20 0 139571668 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 366170 5920 1 0 558918 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1460572 CPUtime=492.46 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30451 0 41 0 49210 36 0 0 20 0 20 0 139571669 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1460572 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 505.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1464680 KiB

[startup+502.4 s]
/proc/loadavg: 4.15 3.44 1.84 5/320 697524
/proc/meminfo: memFree=116821168/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1464680 CPUtime=508.36 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 92657 0 59 0 50757 79 0 0 20 0 20 0 139571668 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 366170 5920 1 0 558918 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=1462628 CPUtime=495.65 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30543 0 41 0 49529 36 0 0 20 0 20 0 139571669 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=35012 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 366170 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 508.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1464680 KiB

[startup+504 s]*
/proc/loadavg: 4.14 3.45 1.85 5/320 697524
/proc/meminfo: memFree=116821168/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1464688 CPUtime=509.98 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 92723 0 59 0 50918 80 0 0 20 0 20 0 139571668 19566772224 366172 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 366172 5920 1 0 558918 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=19096 CPUtime=497.26 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30554 0 41 0 49690 36 0 0 20 0 20 0 139571669 19566772224 366172 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 366172 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=-8765899777364442775 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 366172 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=4956 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 366172 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 509.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1464688 KiB

[startup+505.613 s]
/proc/loadavg: 4.14 3.45 1.85 5/320 697524
/proc/meminfo: memFree=116819108/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1464700 CPUtime=511.62 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 93222 0 59 0 51082 80 0 0 20 0 20 0 139571668 19566772224 366175 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 366175 5920 1 0 558918 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=5512 CPUtime=498.86 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30562 0 41 0 49850 36 0 0 20 0 20 0 139571669 19566772224 366175 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=1464680 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 366175 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 366175 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=1464680 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 366175 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 511.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1464700 KiB

[startup+506.4 s]
/proc/loadavg: 4.14 3.45 1.85 5/320 697524
/proc/meminfo: memFree=116819116/131655788 swapFree=131071996/131071996
[pid=697284] ppid=697281 vsize=19108176 memory=1464920 CPUtime=512.51 cores=4,6
/proc/697284/stat : 697284 (java) S 697281 697284 697210 0 -1 1077936128 93950 0 59 0 51171 80 0 0 20 0 20 0 139571668 19566772224 366230 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
/proc/697284/statm: 4777044 366230 5920 1 0 558918 0
[pid=697284/tid=697288] ppid=697281 vsize=19108176 memory=2312 CPUtime=499.64 cores=4,6
/proc/697284/task/697288/stat : 697288 (java) R 697281 697284 697210 0 -1 4194368 30693 0 41 0 49928 36 0 0 20 0 20 0 139571669 19566772224 366230 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697327] ppid=697281 vsize=19108176 memory=25208 CPUtime=0 cores=4,6
/proc/697284/task/697327/stat : 697327 (Finalizer) S 697281 697284 697210 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571715 19566772224 366230 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697356] ppid=697281 vsize=19108176 memory=2648 CPUtime=0 cores=4,6
/proc/697284/task/697356/stat : 697356 (Common-Cleaner) S 697281 697284 697210 0 -1 1077936192 305 0 0 0 0 0 0 0 20 0 20 0 139571717 19566772224 366230 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
[pid=697284/tid=697362] ppid=697281 vsize=19108176 memory=2312 CPUtime=0 cores=4,6
/proc/697284/task/697362/stat : 697362 (Timer-0) S 697281 697284 697210 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139571765 19566772224 366230 134679101440 94258115321856 94258115325552 140727382551184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94258115333368 94258115334160 94258120998912 140727382553558 140727382553671 140727382553671 140727382560712 0
Current children cumulated CPU time: 512.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1464920 KiB

[startup+506.807 s]*
/proc/loadavg: 4.14 3.45 1.85 5/302 697526
/proc/meminfo: memFree=118233688/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 506.825
CPU time (s): 512.939
CPU user time (s): 512.117
CPU system time (s): 0.821453
CPU usage (%): 101.206
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1464940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 512.117
system time used= 0.821453
maximum resident set size= 1466296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97051
page faults= 59
swaps= 0
block input operations= 10112
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18104
involuntary context switches= 1385


# summary of solver processes directly reported to runsolver:
#   pid: 697284
#   total CPU time (s): 512.939
#   total CPU user time (s): 512.117
#   total CPU system time (s): 0.821453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.71218 second user time and 5.4025 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-13 14:36:05
IDJOB=4424284
IDBENCH=143664
IDSOLVER=3035
FILE ID=nodeC008/4424284-1720874152
RUNJOBID= nodeC008-1720874164-697221
SLURM_JOB_ID= 7483756
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424284-1720874152/watcher-4424284-1720874152 -o /tmp/evaluation-result-4424284-1720874152/solver-4424284-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720874164-697221 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424284-1720874152.wbo

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

MD5SUM BENCH= 3fe609e3abfc3ea6e01c0dbccbf479ce
RANDOM SEED=450756964

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		: 1197.291
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
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.31
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.252
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.91
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.251
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.263
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.262
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.91
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.260
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130176604 kB
MemAvailable:   130001488 kB
Buffers:          317636 kB
Cached:           357444 kB
SwapCached:            0 kB
Active:           446028 kB
Inactive:         540004 kB
Active(anon):       1408 kB
Inactive(anon):   347252 kB
Active(file):     444620 kB
Inactive(file):   192752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2232 kB
Writeback:             0 kB
AnonPages:        308896 kB
Mapped:           107384 kB
Shmem:             37704 kB
KReclaimable:      55084 kB
Slab:             143244 kB
SReclaimable:      55084 kB
SUnreclaim:        88160 kB
KernelStack:        3856 kB
PageTables:         9528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     640060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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:      146248 kB
DirectMap2M:     9195520 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC008 at 2024-07-13 14:44:32