Trace number 4522605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3601.16 2864.99

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
MD5SUMf516066f51c8bae055825e7ba19c7fb5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1176
Best CPU time to get the best result obtained on this benchmark11.1543
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables50000
Total number of constraints50001
Number of constraints which are clauses30000
Number of constraints which are cardinality constraints (but not clauses)20000
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint20000
Number of terms in the objective function 20000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 20000
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20000
Number of bits of the biggest sum of numbers15
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4522605-1751647261.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c using VERIPB proof format
0.11/0.14	c  objective function found
3.31/1.97	c ... done. Wall clock time 1.834s.
3.31/1.97	c declared #vars     50000
3.31/1.97	c #constraints  70002
3.31/1.97	c constraints type 
3.31/1.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3055
3.31/1.97	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 18073
3.31/1.97	c org.sat4j.specs.Constr$1 => 532
3.31/1.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 47843
3.31/1.97	c org.sat4j.pb.constraints.pb.UnitClausePB => 499
3.31/1.97	c 70002 constraints processed.
3.31/1.99	c objective function length is 20000 literals
32.37/26.90	c cleaning 2488 clauses out of 4976 with flag 10337/5001
66.12/58.55	c cleaning 4243 clauses out of 8486 with flag 22804/11000
103.64/93.65	c cleaning 5620 clauses out of 11239 with flag 37414/18000
148.16/135.45	c cleaning 6810 clauses out of 13620 with flag 53964/26001
203.76/183.13	c cleaning 7904 clauses out of 15808 with flag 72947/35001
259.39/235.41	c cleaning 8952 clauses out of 17903 with flag 93949/45000
334.69/301.68	c cleaning 9976 clauses out of 19951 with flag 116694/56001
419.33/374.69	c cleaning 10987 clauses out of 21974 with flag 141631/68000
496.46/447.43	c cleaning 11992 clauses out of 23987 with flag 168805/81000
587.05/527.07	c cleaning 12995 clauses out of 25996 with flag 198047/95001
695.12/620.48	c cleaning 13997 clauses out of 28000 with flag 229144/110000
814.81/723.72	c cleaning 15002 clauses out of 30003 with flag 263579/126000
944.68/837.86	c cleaning 15998 clauses out of 32002 with flag 299097/143001
1064.58/942.93	c cleaning 17002 clauses out of 34003 with flag 335140/161000
1194.88/1056.61	c cleaning 17997 clauses out of 35999 with flag 373498/180000
1352.30/1171.24	c cleaning 18999 clauses out of 38002 with flag 415843/200000
1512.25/1300.41	c cleaning 19998 clauses out of 40002 with flag 460622/221000
1692.89/1449.98	c cleaning 21002 clauses out of 42004 with flag 506553/243000
1888.11/1599.72	c cleaning 21999 clauses out of 44002 with flag 555055/266000
2096.72/1753.98	c cleaning 23000 clauses out of 46001 with flag 604794/290000
2307.73/1912.58	c cleaning 23999 clauses out of 48002 with flag 656231/315001
2549.06/2084.44	c cleaning 25001 clauses out of 50002 with flag 709389/341000
2820.87/2286.89	c cleaning 25999 clauses out of 52002 with flag 769146/368001
3102.97/2495.29	c cleaning 27002 clauses out of 54003 with flag 826803/396001
3409.67/2716.26	c cleaning 28001 clauses out of 56001 with flag 887809/425001
3600.06/2853.91	c starts		: 1
3600.06/2853.92	c timeout
3600.06/2853.92	c conflicts		: 444856
3600.06/2853.92	c decisions		: 887427
3600.06/2853.92	c propagations		: 3850342346
3600.06/2853.92	c inspects		: 1144020783
3600.06/2853.92	c shortcuts		: 0
3600.06/2853.92	c learnt literals	: 39
3600.06/2853.92	c learnt binary clauses	: 9
3600.06/2853.92	c learnt ternary clauses	: 6
3600.06/2853.92	c learnt constraints	: 444817
3600.06/2853.92	c ignored constraints	: 0
3600.06/2853.92	c root simplifications	: 0
3600.06/2853.92	c removed literals (reason simplification)	: 4578859
3600.06/2853.92	c reason swapping (by a shorter reason)	: 0
3600.06/2853.92	c Calls to reduceDB	: 25
3600.06/2853.92	c Number of update (reduction) of LBD	: 4401
3600.06/2853.92	c Imported unit clauses	: 0
3600.06/2853.92	c No decision after first conflict	: false
3600.06/2853.92	c number of reductions to clauses (during analyze)	: 0
3600.06/2853.92	c number of learned constraints concerned by reduction	: 0
3600.06/2853.92	c number of learning phase by resolution	: 0
3600.06/2853.92	c number of learning phase by cutting planes	: 0
3600.06/2853.92	c number of rounding to 1 operations	: 0
3600.06/2853.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/2853.92	c number of reductions of the coefficients by power 2 	: 0
3600.06/2853.92	c number of right shift for reduction by power 2 	: 0
3600.06/2853.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/2853.92	c number of ending skipping 	: 0
3600.06/2853.92	c number of internal skipping 	: 0
3600.06/2853.92	c number of derivation steps 	: 0
3600.06/2853.92	c number of skipped derivation steps 	: 0
3600.06/2853.92	c number of remaining unassigned 	: 0
3600.06/2853.92	c number of remaining assigned 	: 0
3600.06/2853.92	c number of falsified literals weakened from reason	: 0
3600.06/2853.92	c number of falsified literals weakened from conflict	: 0
3600.06/2853.92	c time for arithmetic operations	: 0
3600.06/2853.93	c minimum degree of deleted constraints	: null
3600.06/2853.93	c maximum degree of deleted constraints	: null
3600.06/2853.93	c number of deleted constraints	: 0
3600.06/2853.93	c speed (assignments/second)	: 1350116.1859277803
3600.06/2853.93	c non guided choices	: 0
3600.06/2853.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 47845
3600.06/2853.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 9
3600.06/2853.96	s UNKNOWN
3600.06/2853.97	c Total wall clock time (in seconds): 2853.827

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: 63665 MiB (62372 MiB free)
  memory of node 1: 64507 MiB (63749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522605-1751647261/watcher-4522605-1751647261 -o /tmp/evaluation-result-4522605-1751647261/solver-4522605-1751647261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751647260-92975 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522605-1751647261 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522605-1751647261.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=93003, runsolver pid=92999
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 3.26 3.13 3.14 5/275 93032
/proc/meminfo: memFree=129117164/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=18930384 memory=55372 CPUtime=0.11 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 6504 0 0 0 9 2 0 0 20 0 18 0 80405950 19384713216 13843 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4732596 13843 5331 1 0 547589 0
[pid=93003/tid=93006] ppid=92999 vsize=18930384 memory=4026532379 CPUtime=0.07 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 5031 0 0 0 6 1 0 0 20 0 18 0 80405952 19384713216 13843 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=18930384 memory=219932787024 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80405954 19384713216 13875 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=18930384 memory=57385981081806 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80405954 19384713216 13875 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55372 KiB

[startup+0.205627 s]*
/proc/loadavg: 3.26 3.13 3.14 9/313 93074
/proc/meminfo: memFree=129045064/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=18930656 memory=71428 CPUtime=0.31 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 7601 0 0 0 28 3 0 0 20 0 18 0 80405950 19384991744 17857 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4732664 17857 5427 1 0 548315 0
[pid=93003/tid=93006] ppid=92999 vsize=18930656 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 5266 0 0 0 15 2 0 0 20 0 18 0 80405952 19384991744 17857 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=18930656 memory=18954 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80405954 19384991744 17857 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=18930656 memory=60684515935208 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80405954 19384991744 17857 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930656 KiB
Current children cumulated memory: 71428 KiB

[startup+0.305622 s]*
/proc/loadavg: 3.26 3.13 3.14 7/313 93076
/proc/meminfo: memFree=128881700/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=18996948 memory=159900 CPUtime=0.5 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 9172 0 0 0 45 5 0 0 20 0 19 0 80405950 19452874752 39975 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4749237 39975 5459 1 0 549585 0
[pid=93003/tid=93006] ppid=92999 vsize=18996948 memory=-6000919494147533414 CPUtime=0.25 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 5325 0 0 0 22 3 0 0 20 0 19 0 80405952 19452874752 39975 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 39975 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 39975 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159900 KiB

[startup+0.700259 s]
/proc/loadavg: 3.26 3.13 3.14 8/336 93104
/proc/meminfo: memFree=128001136/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=18996948 memory=1526480 CPUtime=1.21 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 11178 0 0 0 90 31 0 0 20 0 19 0 80405950 19452874752 381620 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4749237 381620 5459 1 0 1076275 0
[pid=93003/tid=93006] ppid=92999 vsize=18996948 memory=18944 CPUtime=0.63 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 5983 0 0 0 34 29 0 0 20 0 19 0 80405952 19452874752 381620 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 381620 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 381620 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1526480 KiB

[startup+1.50027 s]
/proc/loadavg: 3.26 3.13 3.14 7/337 93105
/proc/meminfo: memFree=124088584/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=18996948 memory=3086420 CPUtime=2.74 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 21080 0 0 0 212 62 0 0 20 0 19 0 80405950 19452874752 771605 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4749237 771605 5459 1 0 1081653 0
[pid=93003/tid=93006] ppid=92999 vsize=18996948 memory=3328 CPUtime=1.36 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 6745 0 0 0 79 57 0 0 20 0 19 0 80405952 19452874752 771605 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 771605 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80405954 19452874752 771605 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3086420 KiB

[startup+3.10569 s]
/proc/loadavg: 3.40 3.16 3.15 6/338 93106
/proc/meminfo: memFree=116848104/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=3094784 CPUtime=5.68 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 22607 0 0 0 504 64 0 0 20 0 20 0 80405950 19521036288 773696 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 773696 5523 1 0 1082488 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=10880 CPUtime=2.83 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 6900 0 0 0 224 59 0 0 20 0 20 0 80405952 19521036288 773696 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 773696 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 773696 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 773696 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3094784 KiB

[startup+6.30026 s]
/proc/loadavg: 3.40 3.16 3.15 5/338 93106
/proc/meminfo: memFree=115019224/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=3090668 CPUtime=10.3 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 23029 0 0 0 961 69 0 0 20 0 20 0 80405950 19521036288 772667 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 772667 5523 1 0 1082512 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=0 CPUtime=5.98 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 7069 0 0 0 535 63 0 0 20 0 20 0 80405952 19521036288 772667 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 772667 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=3090668 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 772667 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=-6000919468344175206 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 772667 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 10.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3090668 KiB

[startup+12.7002 s]
/proc/loadavg: 3.72 3.24 3.18 5/342 93110
/proc/meminfo: memFree=111130156/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=4454488 CPUtime=17.25 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 24569 0 0 0 1621 104 0 0 20 0 20 0 80405950 19521036288 1113622 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 1113622 5523 1 0 1684118 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=3090668 CPUtime=11.58 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 7709 0 0 0 1072 86 0 0 20 0 20 0 80405952 19521036288 1113622 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=-6000919468344175206 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 1113622 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 1113622 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 1113622 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 17.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4454488 KiB

[startup+25.5002 s]
/proc/loadavg: 3.84 3.28 3.19 5/344 93112
/proc/meminfo: memFree=106926276/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=7882120 CPUtime=31.07 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 27813 0 0 0 2918 189 0 0 20 0 20 0 80405950 19521036288 1970530 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 1970530 5555 1 0 2235587 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=6001888 CPUtime=23.36 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 9521 0 0 0 2189 147 0 0 20 0 20 0 80405952 19521036288 1970530 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=4209625000250601114 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 1970530 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=3090668 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 1970530 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=3086420 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 1970530 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7882120 KiB

[startup+51.1058 s]
/proc/loadavg: 4.04 3.37 3.22 5/344 93114
/proc/meminfo: memFree=104187480/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=9982360 CPUtime=58.36 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 38055 0 0 0 5577 259 0 0 20 0 20 0 80405950 19521036288 2495590 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 2495590 5555 1 0 2739047 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=9982360 CPUtime=47.2 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 12825 0 0 0 4508 212 0 0 20 0 20 0 80405952 19521036288 2495590 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=9982360 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 2495590 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=9982360 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 2495590 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3

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

[pid=93003] ppid=92999 vsize=19063512 memory=16291720 CPUtime=3196.08 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 519095 0 0 0 316702 2906 0 0 20 0 20 0 80405950 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072930 5555 1 0 4085812 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291464 CPUtime=2396.12 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 244053 0 0 0 237034 2578 0 0 20 0 20 0 80405952 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=16291464 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=16291720 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3196.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291720 KiB

[startup+2622.3 s]
/proc/loadavg: 4.45 4.77 4.92 5/347 93313
/proc/meminfo: memFree=33195696/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=16291720 CPUtime=3273.57 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 528627 0 0 0 324398 2959 0 0 20 0 20 0 80405950 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072930 5555 1 0 4085812 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291720 CPUtime=2453.29 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 250983 0 0 0 242706 2623 0 0 20 0 20 0 80405952 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=-6000919468344175206 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291720 KiB

[startup+2682.3 s]
/proc/loadavg: 4.78 4.80 4.92 6/347 93315
/proc/meminfo: memFree=32061268/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=16291720 CPUtime=3361.12 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 539981 0 0 0 333093 3019 0 0 20 0 20 0 80405950 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072930 5555 1 0 4085812 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291720 CPUtime=2510.3 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 257245 0 0 0 248357 2673 0 0 20 0 20 0 80405952 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=16291720 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=16291720 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1750 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=16291720 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072930 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3361.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291720 KiB

[startup+2742.3 s]
/proc/loadavg: 4.77 4.78 4.90 6/346 93317
/proc/meminfo: memFree=29742328/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=16291848 CPUtime=3449.11 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 547477 0 0 0 341827 3084 0 0 20 0 20 0 80405950 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072962 5555 1 0 4085825 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291720 CPUtime=2567.02 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 261928 0 0 0 253974 2728 0 0 20 0 20 0 80405952 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=-6000919468344175206 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1756 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3449.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291848 KiB

[startup+2802.3 s]
/proc/loadavg: 4.80 4.78 4.90 6/346 93319
/proc/meminfo: memFree=27766812/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=16291848 CPUtime=3528.14 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 560761 0 0 0 349666 3148 0 0 20 0 20 0 80405950 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072962 5555 1 0 4085827 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291848 CPUtime=2622.12 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 268898 0 0 0 259426 2786 0 0 20 0 20 0 80405952 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=16291848 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1788 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=16291848 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3528.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2853.9 s]
/proc/loadavg: 4.62 4.73 4.88 5/344 93320
/proc/meminfo: memFree=26691236/131250000 swapFree=33010416/33010684
[pid=93003] ppid=92999 vsize=19063512 memory=16291848 CPUtime=3600.06 cores=1,3
/proc/93003/stat : 93003 (java) S 92999 93003 92592 0 -1 4194304 569396 0 0 0 356799 3207 0 0 20 0 20 0 80405950 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
/proc/93003/statm: 4765878 4072962 5555 1 0 4085827 0
[pid=93003/tid=93006] ppid=92999 vsize=19063512 memory=16291848 CPUtime=2670.73 cores=1,3
/proc/93003/task/93006/stat : 93006 (java) R 92999 93003 92592 0 -1 4194368 273814 0 0 0 264236 2837 0 0 20 0 20 0 80405952 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93018] ppid=92999 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/93003/task/93018/stat : 93018 (Finalizer) S 92999 93003 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93025] ppid=92999 vsize=19063512 memory=16291848 CPUtime=0 cores=1,3
/proc/93003/task/93025/stat : 93025 (Common-Cleaner) S 92999 93003 92592 0 -1 4194368 1839 0 0 0 0 0 0 0 20 0 20 0 80405954 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
[pid=93003/tid=93106] ppid=92999 vsize=19063512 memory=16291848 CPUtime=0 cores=1,3
/proc/93003/task/93106/stat : 93106 (Timer-0) S 92999 93003 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80406157 19521036288 4072962 18446744073709551615 93977842946048 93977842949744 140734336885136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93977842957560 93977842958352 93977869926400 140734336887087 140734336887269 140734336887269 140734336892872 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16291848 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3568.14 s, system=33.0255 s

Solver just ended.
Dumping a history of the last processes samples

[startup+2854.41 s]
/proc/loadavg: 4.62 4.73 4.88 5/326 93323
/proc/meminfo: memFree=26631008/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2855.2 s]
/proc/loadavg: 4.62 4.73 4.88 4/326 93323
/proc/meminfo: memFree=26603224/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2855.6 s]
/proc/loadavg: 4.62 4.73 4.88 4/326 93323
/proc/meminfo: memFree=26603224/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2855.8 s]
/proc/loadavg: 4.62 4.73 4.88 4/326 93323
/proc/meminfo: memFree=26603224/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2855.9 s]
/proc/loadavg: 4.62 4.73 4.88 4/326 93323
/proc/meminfo: memFree=26603224/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 2864.99
CPU time (s): 3601.16
CPU user time (s): 3568.14
CPU system time (s): 33.0255
CPU usage (%): 125.695
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16292616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.14
system time used= 33.0255
maximum resident set size= 16292744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571688
page faults= 0
swaps= 0
block input operations= 8
block output operations= 74048032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289434
involuntary context switches= 45672


# summary of solver processes directly reported to runsolver:
#   pid: 93003
#   total CPU time (s): 3601.16
#   total CPU user time (s): 3568.14
#   total CPU system time (s): 33.0255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08477 second user time and 14.2002 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 18:41:01
IDJOB=4522605
IDBENCH=179216
IDSOLVER=3364
FILE ID=nodeC027/4522605-1751647261
RUNJOBID= nodeC027-1751647260-92975
SLURM_JOB_ID= 9672332
Free space on /tmp= 431160 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522605-1751647261/watcher-4522605-1751647261 -o /tmp/evaluation-result-4522605-1751647261/solver-4522605-1751647261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751647260-92975 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522605-1751647261 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522605-1751647261.opb

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

MD5SUM BENCH= f516066f51c8bae055825e7ba19c7fb5
RANDOM SEED=1378502745

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129167072 kB
MemAvailable:   129567876 kB
Buffers:            2488 kB
Cached:          1197648 kB
SwapCached:           12 kB
Active:           641876 kB
Inactive:         657004 kB
Active(anon):     114012 kB
Inactive(anon):     2792 kB
Active(file):     527864 kB
Inactive(file):   654212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23988 kB
Writeback:             0 kB
AnonPages:        101412 kB
Mapped:           104612 kB
Shmem:             18056 kB
KReclaimable:     115536 kB
Slab:             201120 kB
SReclaimable:     115536 kB
SUnreclaim:        85584 kB
KernelStack:        4116 kB
PageTables:         2668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     367120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431072 MiB
End job on nodeC027 at 2025-07-04 19:28:46