Trace number 4452694

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 Default 2024-07-07UNSAT 66.3908 63.472

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
MD5SUM5d1633616664d1d404e86526e434c88a
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.56515
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18705
Total number of constraints3742
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints3655
Minimum length of a constraint5
Maximum length of a constraint15
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 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.14/0.12	c version CUSTOM.v20240707
0.14/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.15	c java.vm.version	22.0.1+8-16
0.14/0.15	c java.vm.vendor	Oracle Corporation
0.14/0.15	c sun.arch.data.model	64
0.14/0.15	c java.version		22.0.1
0.14/0.15	c os.name		Linux
0.14/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.15	c os.arch		amd64
0.14/0.15	c Free memory 		2113181440
0.14/0.15	c Max memory 		16282288128
0.14/0.15	c Total memory 		2122317824
0.14/0.16	c Number of processors 	2
0.32/0.25	--- Begin Solver configuration ---
0.32/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.25	Learn all clauses as in MiniSAT
0.32/0.25	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.25	No reason simplification
0.32/0.25	Glucose 2.1 dynamic restart strategy
0.32/0.25	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.32/0.25	timeout=2147483s
0.32/0.25	DB Simplification allowed=false
0.32/0.25	Listener: none
0.32/0.25	--- End Solver configuration ---
0.32/0.25	c Pseudo Boolean Optimization by upper bound
0.32/0.25	c --- Begin Solver configuration ---
0.32/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.25	c Learn all clauses as in MiniSAT
0.32/0.25	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.25	c No reason simplification
0.32/0.25	c Glucose 2.1 dynamic restart strategy
0.32/0.25	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.32/0.25	c timeout=2147483s
0.32/0.25	c DB Simplification allowed=false
0.32/0.25	c Listener: none
0.32/0.25	c --- End Solver configuration ---
0.32/0.26	c solving HOME/instance-4452694-1721450889.opb
0.32/0.26	c reading problem ... 
0.32/0.26	c  no objective function found
0.89/0.61	c ... done. Wall clock time 0.349s.
0.89/0.61	c declared #vars     18705
0.89/0.61	c #constraints  3742
0.89/0.61	c constraints type 
0.89/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3742
0.89/0.61	c 3742 constraints processed.
2.19/1.22	c cleaning 2497 clauses out of 5000 with flag 13257/5000
2.79/1.55	c cleaning 4237 clauses out of 8503 with flag 29327/11000
3.19/1.72	c cleaning 5626 clauses out of 11266 with flag 49197/18000
3.38/1.83	c cleaning 6818 clauses out of 13640 with flag 72652/26000
3.59/1.94	c cleaning 7891 clauses out of 15823 with flag 100122/35001
3.78/2.03	c cleaning 8947 clauses out of 17931 with flag 127685/45000
3.98/2.12	c cleaning 9984 clauses out of 19984 with flag 162357/56000
4.16/2.22	c cleaning 10997 clauses out of 22001 with flag 197234/68001
4.36/2.33	c cleaning 11996 clauses out of 24004 with flag 237039/81001
4.46/2.42	c cleaning 13001 clauses out of 26008 with flag 273865/95001
4.56/2.53	c cleaning 13998 clauses out of 28006 with flag 314964/110000
4.66/2.65	c cleaning 14982 clauses out of 30008 with flag 358985/126000
4.79/2.76	c cleaning 15996 clauses out of 32026 with flag 407606/143000
5.02/2.91	c cleaning 17003 clauses out of 34030 with flag 465461/161000
5.12/3.07	c cleaning 17985 clauses out of 36028 with flag 534690/180001
5.32/3.23	c cleaning 18981 clauses out of 38043 with flag 595668/200001
5.52/3.44	c cleaning 19995 clauses out of 40061 with flag 659035/221000
5.72/3.61	c cleaning 21026 clauses out of 42067 with flag 730842/243001
5.92/3.80	c cleaning 22010 clauses out of 44041 with flag 801121/266001
6.12/4.00	c cleaning 23008 clauses out of 46030 with flag 872224/290000
6.31/4.20	c cleaning 24008 clauses out of 48023 with flag 946571/315001
6.51/4.43	c cleaning 24992 clauses out of 50015 with flag 1028792/341001
6.71/4.63	c cleaning 25963 clauses out of 52025 with flag 1111280/368003
6.91/4.86	c cleaning 27021 clauses out of 54059 with flag 1191745/396000
7.50/5.41	c cleaning 28013 clauses out of 56039 with flag 1283571/425001
8.12/6.01	c cleaning 29003 clauses out of 58026 with flag 1374402/455001
8.51/6.49	c cleaning 29960 clauses out of 60024 with flag 1478424/486002
8.91/6.85	c cleaning 31001 clauses out of 62064 with flag 1569957/518002
9.31/7.24	c cleaning 32026 clauses out of 64061 with flag 1668359/551000
9.61/7.57	c cleaning 33012 clauses out of 66036 with flag 1771904/585001
10.00/7.98	c cleaning 33995 clauses out of 68025 with flag 1876164/620002
10.40/8.36	c cleaning 35004 clauses out of 70028 with flag 1985656/656000
10.80/8.71	c cleaning 35991 clauses out of 72024 with flag 2094426/693000
11.11/9.05	c cleaning 36980 clauses out of 74035 with flag 2203130/731002
11.50/9.45	c cleaning 38007 clauses out of 76053 with flag 2320245/770000
11.80/9.78	c cleaning 39010 clauses out of 78046 with flag 2439324/810000
12.21/10.17	c cleaning 40011 clauses out of 80036 with flag 2561093/851000
12.59/10.51	c cleaning 40969 clauses out of 82025 with flag 2691591/893000
13.10/11.02	c cleaning 42020 clauses out of 84057 with flag 2822246/936001
13.49/11.46	c cleaning 42971 clauses out of 86038 with flag 2957637/980002
13.92/11.89	c cleaning 43972 clauses out of 88065 with flag 3106024/1025000
14.42/12.38	c cleaning 45044 clauses out of 90093 with flag 3250076/1071000
14.93/12.87	c cleaning 46020 clauses out of 92049 with flag 3385748/1118000
15.52/13.45	c cleaning 47001 clauses out of 94030 with flag 3531761/1166001
16.02/13.91	c cleaning 47993 clauses out of 96029 with flag 3674565/1215001
16.62/14.54	c cleaning 48986 clauses out of 98035 with flag 3830163/1265000
17.13/15.09	c cleaning 50000 clauses out of 100049 with flag 3988422/1316000
18.02/15.94	c cleaning 50978 clauses out of 102049 with flag 4142037/1368000
18.52/16.47	c cleaning 51952 clauses out of 104071 with flag 4317612/1421000
19.33/17.29	c cleaning 53031 clauses out of 106119 with flag 4482142/1475000
20.03/17.97	c cleaning 54026 clauses out of 108089 with flag 4640354/1530001
20.64/18.55	c cleaning 55023 clauses out of 110064 with flag 4804105/1586002
21.34/19.21	c cleaning 56013 clauses out of 112039 with flag 4987218/1643000
22.03/19.91	c cleaning 57001 clauses out of 114027 with flag 5155768/1701001
22.73/20.66	c cleaning 58003 clauses out of 116026 with flag 5329225/1760001
23.43/21.32	c cleaning 58999 clauses out of 118023 with flag 5502413/1820001
24.32/22.19	c cleaning 60004 clauses out of 120024 with flag 5677973/1881001
25.10/22.99	c cleaning 60990 clauses out of 122020 with flag 5857546/1943001
25.90/23.79	c cleaning 62001 clauses out of 124029 with flag 6050396/2006000
26.70/24.53	c cleaning 62979 clauses out of 126028 with flag 6248752/2070000
27.41/25.21	c cleaning 63712 clauses out of 128049 with flag 6443718/2135000
28.22/26.06	c cleaning 64348 clauses out of 130338 with flag 6628957/2201001
29.21/27.04	c cleaning 65576 clauses out of 132989 with flag 6821422/2268000
30.07/27.86	c cleaning 66410 clauses out of 135413 with flag 7022500/2336000
31.16/28.91	c cleaning 67661 clauses out of 138003 with flag 7225405/2405000
32.06/29.83	c cleaning 68520 clauses out of 140343 with flag 7428667/2475001
33.03/30.78	c cleaning 69770 clauses out of 142822 with flag 7639521/2546000
34.03/31.72	c cleaning 70509 clauses out of 145053 with flag 7850064/2618001
34.83/32.57	c cleaning 71275 clauses out of 147544 with flag 8061658/2691001
36.09/33.79	c cleaning 72189 clauses out of 150268 with flag 8275592/2765000
37.09/34.73	c cleaning 73511 clauses out of 153079 with flag 8491703/2840000
37.99/35.63	c cleaning 74265 clauses out of 155568 with flag 8717207/2916000
38.89/36.52	c cleaning 75021 clauses out of 158304 with flag 8940539/2993001
39.88/37.56	c cleaning 76370 clauses out of 161282 with flag 9164510/3071000
40.88/38.52	c cleaning 77309 clauses out of 163913 with flag 9398228/3150001
42.14/39.78	c cleaning 78331 clauses out of 166604 with flag 9627555/3230001
43.24/40.86	c cleaning 79341 clauses out of 169272 with flag 9863707/3311000
44.45/42.06	c cleaning 80462 clauses out of 171931 with flag 10110601/3393000
45.55/43.19	c cleaning 81072 clauses out of 174469 with flag 10354141/3476000
46.73/44.31	c cleaning 82013 clauses out of 177397 with flag 10596483/3560000
47.80/45.32	c cleaning 83048 clauses out of 180386 with flag 10856504/3645002
49.20/46.70	c cleaning 84242 clauses out of 183337 with flag 11103134/3731001
50.19/47.74	c cleaning 85110 clauses out of 186094 with flag 11370772/3818000
51.39/48.95	c cleaning 85785 clauses out of 188986 with flag 11622389/3906002
52.50/50.06	c cleaning 87051 clauses out of 192199 with flag 11887507/3995000
53.85/51.38	c cleaning 87866 clauses out of 195148 with flag 12137857/4085000
55.04/52.55	c cleaning 89279 clauses out of 198282 with flag 12416584/4176000
56.34/53.86	c cleaning 90181 clauses out of 201003 with flag 12688742/4268000
57.56/55.06	c cleaning 90891 clauses out of 203823 with flag 12960769/4361001
58.74/56.27	c cleaning 91952 clauses out of 206931 with flag 13243064/4455000
60.32/57.71	c cleaning 92900 clauses out of 209979 with flag 13520207/4550000
61.73/59.14	c cleaning 93907 clauses out of 213081 with flag 13799804/4646002
62.91/60.37	c cleaning 94934 clauses out of 216173 with flag 14089354/4743001
64.41/61.84	c cleaning 95815 clauses out of 219238 with flag 14370314/4841000
65.92/63.27	c starts		: 3451
65.92/63.27	c conflicts		: 4930240
65.92/63.27	c decisions		: 51542790
65.92/63.28	c propagations		: 78947093
65.92/63.28	c inspects		: 598558132
65.92/63.28	c shortcuts		: 0
65.92/63.28	c learnt literals	: 9
65.92/63.28	c learnt binary clauses	: 8
65.92/63.28	c learnt ternary clauses	: 22807
65.92/63.28	c learnt constraints	: 4930230
65.92/63.28	c ignored constraints	: 0
65.92/63.28	c root simplifications	: 0
65.92/63.28	c removed literals (reason simplification)	: 0
65.92/63.28	c reason swapping (by a shorter reason)	: 0
65.92/63.28	c Calls to reduceDB	: 94
65.92/63.28	c Number of update (reduction) of LBD	: 826291
65.92/63.28	c Imported unit clauses	: 0
65.92/63.28	c No decision after first conflict	: false
65.92/63.28	c number of reductions to clauses (during analyze)	: 0
65.92/63.28	c number of learned constraints concerned by reduction	: 0
65.92/63.28	c number of learning phase by resolution	: 0
65.92/63.28	c number of learning phase by cutting planes	: 0
65.92/63.28	c number of rounding to 1 operations	: 0
65.92/63.28	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
65.92/63.28	c number of reductions of the coefficients by power 2 	: 0
65.92/63.28	c number of right shift for reduction by power 2 	: 0
65.92/63.28	c number of reductions of the coefficients by GCD over coefficients 	: 0
65.92/63.28	c number of ending skipping 	: 0
65.92/63.28	c number of internal skipping 	: 0
65.92/63.28	c number of derivation steps 	: 0
65.92/63.28	c number of skipped derivation steps 	: 0
65.92/63.28	c number of remaining unassigned 	: 0
65.92/63.29	c number of remaining assigned 	: 0
65.92/63.29	c number of falsified literals weakened from reason	: 0
65.92/63.29	c number of falsified literals weakened from conflict	: 0
65.92/63.29	c time for arithmetic operations	: 0
66.08/63.30	c minimum degree of deleted constraints	: null
66.08/63.30	c maximum degree of deleted constraints	: null
66.08/63.30	c number of deleted constraints	: 0
66.08/63.30	c speed (assignments/second)	: 1259566.2433389707
66.08/63.30	c non guided choices	: 43149489
66.26/63.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 212645
66.26/63.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 8
66.26/63.45	s UNSATISFIABLE
66.26/63.45	c Total wall clock time (in seconds): 63.192

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452694-1721450889/watcher-4452694-1721450889 -o /tmp/evaluation-result-4452694-1721450889/solver-4452694-1721450889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058422 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452694-1721450889.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=1058601, runsolver pid=1058598

[startup+0.103746 s]*
/proc/loadavg: 1.75 1.80 2.89 9/312 1058619
/proc/meminfo: memFree=123772764/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=18975048 memory=56496 CPUtime=0.14 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 6709 0 0 0 12 2 0 0 20 0 18 0 197244938 19430449152 14124 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4743762 14124 5542 1 0 550990 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 5603 0 0 0 8 1 0 0 20 0 18 0 197244938 19430449152 14124 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244941 19430449152 14124 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197244942 19430449152 14124 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56496 KiB

[startup+0.214994 s]*
/proc/loadavg: 1.75 1.80 2.89 11/312 1058619
/proc/meminfo: memFree=123760228/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=18975048 memory=65568 CPUtime=0.32 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 7298 0 0 0 29 3 0 0 20 0 18 0 197244938 19430449152 16392 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4743762 16392 5711 1 0 551470 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 5786 0 0 0 17 2 0 0 20 0 18 0 197244938 19430449152 16392 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244941 19430449152 16392 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197244942 19430449152 16392 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65568 KiB

[startup+0.320995 s]*
/proc/loadavg: 1.75 1.80 2.89 11/312 1058619
/proc/meminfo: memFree=123748476/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=18975048 memory=68392 CPUtime=0.51 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 7473 0 0 0 48 3 0 0 20 0 18 0 197244938 19430449152 17098 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4743762 17098 5738 1 0 551592 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=18975048 memory=-7235417058883494498 CPUtime=0.29 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 5901 0 0 0 27 2 0 0 20 0 18 0 197244938 19430449152 17098 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197244941 19430449152 17098 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197244942 19430449152 17098 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68392 KiB

[startup+0.700986 s]
/proc/loadavg: 1.75 1.80 2.89 11/312 1058619
/proc/meminfo: memFree=123713836/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19041612 memory=114256 CPUtime=1.2 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 9850 0 0 0 116 4 0 0 20 0 19 0 197244938 19498610688 28564 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4760403 28564 5822 1 0 553426 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19041612 memory=5616 CPUtime=0.63 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 5973 0 0 0 60 3 0 0 20 0 19 0 197244938 19498610688 28564 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244941 19498610688 28564 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197244942 19498610688 28630 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114256 KiB

[startup+1.50098 s]
/proc/loadavg: 1.75 1.80 2.89 6/313 1058620
/proc/meminfo: memFree=123635684/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19041612 memory=134032 CPUtime=2.79 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 20819 0 0 0 273 6 0 0 20 0 19 0 197244938 19498610688 33508 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4760403 33508 5854 1 0 557599 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19041612 memory=11884 CPUtime=1.4 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 6158 0 0 0 137 3 0 0 20 0 19 0 197244938 19498610688 33508 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244941 19498610688 33508 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197244942 19498610688 33508 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197245000 19498610688 33508 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134032 KiB

[startup+3.10598 s]
/proc/loadavg: 1.75 1.80 2.89 5/293 1058659
/proc/meminfo: memFree=123618416/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19041612 memory=173684 CPUtime=5.23 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 22360 0 0 0 515 8 0 0 20 0 19 0 197244938 19498610688 43421 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4760403 43421 5870 1 0 557605 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19041612 memory=0 CPUtime=2.98 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 6817 0 0 0 294 4 0 0 20 0 19 0 197244938 19498610688 43421 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19041612 memory=11596 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197244941 19498610688 43421 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197244942 19498610688 43421 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197245000 19498610688 43421 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 173684 KiB

[startup+6.30042 s]
/proc/loadavg: 2.17 1.89 2.91 9/314 1058756
/proc/meminfo: memFree=123604008/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=190888 CPUtime=8.41 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 23436 0 0 0 832 9 0 0 20 0 20 0 197244938 19566772224 47722 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 47722 5886 1 0 557894 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=0 CPUtime=6.09 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 6826 0 0 0 605 4 0 0 20 0 20 0 197244938 19566772224 47722 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 47722 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 47722 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=49904 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 47722 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190888 KiB

[startup+12.7004 s]
/proc/loadavg: 2.32 1.92 2.92 5/317 1058759
/proc/meminfo: memFree=123353664/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=224132 CPUtime=14.83 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 25179 0 0 0 1472 11 0 0 20 0 20 0 197244938 19566772224 56033 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 56033 5902 1 0 557894 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=0 CPUtime=12.37 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 7374 0 0 0 1232 5 0 0 20 0 20 0 197244938 19566772224 56033 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=203548 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 56033 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=203548 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 56033 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=124488 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 56033 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224132 KiB

[startup+25.5004 s]
/proc/loadavg: 2.65 2.01 2.94 5/317 1058827
/proc/meminfo: memFree=123100844/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=308472 CPUtime=27.71 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 28419 0 0 0 2757 14 0 0 20 0 20 0 197244938 19566772224 77118 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 77118 5902 1 0 557909 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=0 CPUtime=24.9 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 8670 0 0 0 2485 5 0 0 20 0 20 0 197244938 19566772224 77118 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=261176 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 77118 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=190888 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 77118 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=4465 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 77118 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 27.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 308472 KiB

[startup+51.1131 s]
/proc/loadavg: 3.45 2.26 2.99 5/317 1058832
/proc/meminfo: memFree=122087704/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=525592 CPUtime=53.66 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 35307 0 0 0 5345 21 0 0 20 0 20 0 197244938 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 131398 5902 1 0 557910 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=-7235417058883494498 CPUtime=49.99 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 10536 0 0 0 4994 5 0 0 20 0 20 0 197244938 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=437524 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=224132 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 53.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 525592 KiB

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

# cumulated CPU time of all completed processes:  user=66.1264 s, system=0.264411 s

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

[startup+51.2006 s]
/proc/loadavg: 3.45 2.26 2.99 5/317 1058832
/proc/meminfo: memFree=122087704/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=525592 CPUtime=53.75 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 35307 0 0 0 5354 21 0 0 20 0 20 0 197244938 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 131398 5902 1 0 557910 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=177780 CPUtime=50.08 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 10536 0 0 0 5003 5 0 0 20 0 20 0 197244938 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=49904 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 131398 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 53.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 525592 KiB

[startup+57.6004 s]
/proc/loadavg: 3.50 2.29 3.00 5/317 1058833
/proc/meminfo: memFree=121904712/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=578852 CPUtime=60.22 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 35642 0 0 0 5999 23 0 0 20 0 20 0 197244938 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 144713 5902 1 0 557910 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=39916 CPUtime=56.38 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 10666 0 0 0 5632 6 0 0 20 0 20 0 197244938 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=5636 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=578852 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=26108 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 60.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 578852 KiB

[startup+60.8004 s]
/proc/loadavg: 3.50 2.29 3.00 5/317 1058833
/proc/meminfo: memFree=121777432/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=578852 CPUtime=63.41 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 35827 0 0 0 6318 23 0 0 20 0 20 0 197244938 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 144713 5902 1 0 557910 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=525592 CPUtime=59.57 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 10830 0 0 0 5951 6 0 0 20 0 20 0 197244938 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=6441084703434105943 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 144713 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 63.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 578852 KiB

[startup+62.4004 s]
/proc/loadavg: 3.54 2.32 3.01 5/317 1058833
/proc/meminfo: memFree=121777432/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=578856 CPUtime=65.02 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 35908 0 0 0 6478 24 0 0 20 0 20 0 197244938 19566772224 144714 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 144714 5902 1 0 557910 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=1980 CPUtime=61.17 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 10841 0 0 0 6111 6 0 0 20 0 20 0 197244938 19566772224 144714 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=-7235417058883494498 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 144714 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=11524 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 144714 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 144714 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 65.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 578856 KiB

[startup+63.2004 s]
/proc/loadavg: 3.54 2.32 3.01 5/317 1058833
/proc/meminfo: memFree=121726148/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19108176 memory=630376 CPUtime=65.92 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 38586 0 0 0 6567 25 0 0 20 0 20 0 197244938 19566772224 157594 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4777044 157594 5902 1 0 558001 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19108176 memory=11596 CPUtime=61.8 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) R 1058598 1058601 1058409 0 -1 4194368 11640 0 0 0 6174 6 0 0 20 0 20 0 197244938 19566772224 157594 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19108176 memory=49904 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19566772224 157594 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19108176 memory=-7235417058883494498 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197244942 19566772224 157594 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058620] ppid=1058598 vsize=19108176 memory=26108 CPUtime=0 cores=5,7
/proc/1058601/task/1058620/stat : 1058620 (Timer-0) S 1058598 1058601 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197245000 19566772224 157594 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 65.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 630376 KiB

[startup+63.401 s]
/proc/loadavg: 3.54 2.32 3.01 5/317 1058833
/proc/meminfo: memFree=121726148/131655788 swapFree=131071996/131071996
[pid=1058601] ppid=1058598 vsize=19241304 memory=631172 CPUtime=66.26 cores=5,7
/proc/1058601/stat : 1058601 (java) S 1058598 1058601 1058409 0 -1 1077936128 41996 0 0 0 6601 25 0 0 20 0 20 0 197244938 19703095296 157793 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
/proc/1058601/statm: 4810326 157793 5901 1 0 558643 0
[pid=1058601/tid=1058603] ppid=1058598 vsize=19241304 memory=1808 CPUtime=61.83 cores=5,7
/proc/1058601/task/1058603/stat : 1058603 (java) S 1058598 1058601 1058409 0 -1 1077936192 12532 0 0 0 6177 6 0 0 20 0 20 0 197244938 19703095296 157793 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058612] ppid=1058598 vsize=19241304 memory=32868 CPUtime=0 cores=5,7
/proc/1058601/task/1058612/stat : 1058612 (Finalizer) S 1058598 1058601 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197244941 19703095296 157793 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
[pid=1058601/tid=1058619] ppid=1058598 vsize=19241304 memory=-7235417058883494498 CPUtime=0 cores=5,7
/proc/1058601/task/1058619/stat : 1058619 (Common-Cleaner) S 1058598 1058601 1058409 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 197244942 19703095296 157793 134679101440 94836465098752 94836465102448 140726175668304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836465110264 94836465111056 94836491333632 140726175675397 140726175675487 140726175675487 140726175682504 0
Current children cumulated CPU time: 66.26 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 631172 KiB

Child status: 20

Real time (s): 63.472
CPU time (s): 66.3908
CPU user time (s): 66.1264
CPU system time (s): 0.264411
CPU usage (%): 104.599
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 631172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.1264
system time used= 0.264411
maximum resident set size= 632364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2982
involuntary context switches= 432


# summary of solver processes directly reported to runsolver:
#   pid: 1058601
#   total CPU time (s): 66.3908
#   total CPU user time (s): 66.1264
#   total CPU system time (s): 0.264411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.352081 second user time and 0.6871 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:48:20
IDJOB=4452694
IDBENCH=165294
IDSOLVER=3058
FILE ID=nodeC003/4452694-1721450889
RUNJOBID= nodeC003-1721450898-1058422
SLURM_JOB_ID= 7545681
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452694-1721450889/watcher-4452694-1721450889 -o /tmp/evaluation-result-4452694-1721450889/solver-4452694-1721450889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058422 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452694-1721450889.opb

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

MD5SUM BENCH= 5d1633616664d1d404e86526e434c88a
RANDOM SEED=2024193482

nodeC003.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		: 2593.968
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.76
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		: 2693.736
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.30
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		: 2593.968
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.76
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		: 2394.432
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.30
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		: 2593.968
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.76
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		: 3192.591
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123814088 kB
MemAvailable:   129536164 kB
Buffers:          563236 kB
Cached:          5941108 kB
SwapCached:            0 kB
Active:          1055228 kB
Inactive:        6095336 kB
Active(anon):       1452 kB
Inactive(anon):   690672 kB
Active(file):    1053776 kB
Inactive(file):  5404664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5612 kB
Writeback:             0 kB
AnonPages:        646304 kB
Mapped:           128416 kB
Shmem:             45896 kB
KReclaimable:     207332 kB
Slab:             323036 kB
SReclaimable:     207332 kB
SUnreclaim:       115704 kB
KernelStack:        4768 kB
PageTables:        11548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7501132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 06:49:24