Trace number 4521961

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) 3600.16 3638.42

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
MD5SUMe5d29c038ae9b08512816a1a7bdfca9c
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 benchmark595
Best CPU time to get the best result obtained on this benchmark95.7268
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables668780
Total number of constraints43231
Number of constraints which are clauses21913
Number of constraints which are cardinality constraints (but not clauses)19040
Number of constraints which are nor clauses,nor cardinality constraints2278
Minimum length of a constraint33
Maximum length of a constraint38
Number of terms in the objective function 1190
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 1190
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1190
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.09	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.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.11	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.15	c Pseudo Boolean Optimization by upper bound
0.11/0.15	c --- Begin Solver configuration ---
0.11/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.15	c Learn all clauses as in MiniSAT
0.11/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.15	c Expensive reason simplification
0.11/0.15	c Glucose 2.1 dynamic restart strategy
0.11/0.15	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.15	c timeout=2147483s
0.11/0.15	c DB Simplification allowed=false
0.11/0.15	c Listener: none
0.11/0.15	c --- End Solver configuration ---
0.11/0.15	c solving HOME/instance-4521961-1751594301.opb
0.11/0.15	c reading problem ... 
0.11/0.17	c using VERIPB proof format
0.11/0.18	c  objective function found
23.04/21.15	c ... done. Wall clock time 20.998s.
23.04/21.15	c declared #vars     668780
23.04/21.15	c #constraints  43231
23.04/21.15	c constraints type 
23.04/21.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21318
23.04/21.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21913
23.04/21.15	c 43231 constraints processed.
23.04/21.16	c objective function length is 1190 literals
27.11/23.25	c cleaning 2494 clauses out of 5002 with flag 30809/5002
29.18/24.96	c cleaning 4241 clauses out of 8508 with flag 69755/11002
31.55/27.23	c cleaning 5615 clauses out of 11268 with flag 114357/18003
34.42/29.91	c cleaning 6815 clauses out of 13652 with flag 168898/26002
36.74/32.15	c cleaning 7891 clauses out of 15835 with flag 226823/35000
39.35/34.72	c cleaning 8943 clauses out of 17946 with flag 292706/45002
42.65/38.10	c cleaning 9970 clauses out of 20005 with flag 360646/56004
45.97/41.39	c cleaning 10975 clauses out of 22032 with flag 443625/68001
54.04/49.37	c cleaning 11799 clauses out of 24056 with flag 610432/81000
61.38/56.73	c cleaning 13125 clauses out of 26258 with flag 807975/95001
81.53/76.93	c cleaning 14065 clauses out of 28134 with flag 1002691/110002
91.46/86.91	c cleaning 15022 clauses out of 30067 with flag 1224265/126000
105.56/100.95	c cleaning 16016 clauses out of 32045 with flag 1483898/143000
134.05/129.42	c cleaning 17009 clauses out of 34029 with flag 1736149/161000
166.23/161.55	c cleaning 18011 clauses out of 36022 with flag 2013615/180002
184.34/179.42	c cleaning 19003 clauses out of 38010 with flag 2289285/200001
213.02/207.88	c cleaning 19998 clauses out of 40006 with flag 2614800/221000
254.94/249.91	c cleaning 21002 clauses out of 42009 with flag 2928828/243001
284.57/279.18	c cleaning 21998 clauses out of 44006 with flag 3263358/266000
319.33/313.95	c cleaning 23000 clauses out of 46008 with flag 3596918/290000
356.52/350.79	c cleaning 23999 clauses out of 48008 with flag 3887807/315000
387.70/384.49	c cleaning 25003 clauses out of 50009 with flag 4110760/341000
419.42/423.78	c cleaning 25996 clauses out of 52007 with flag 4335382/368001
457.50/461.52	c cleaning 27002 clauses out of 54011 with flag 4539985/396001
503.16/506.96	c cleaning 27996 clauses out of 56009 with flag 4752737/425001
551.21/554.70	c cleaning 29003 clauses out of 58012 with flag 4988273/455000
590.64/593.93	c cleaning 29998 clauses out of 60010 with flag 5204848/486001
643.26/645.48	c cleaning 31006 clauses out of 62013 with flag 5438089/518002
706.66/709.00	c cleaning 31997 clauses out of 64006 with flag 5724767/551001
750.49/752.43	c cleaning 32993 clauses out of 66008 with flag 5966635/585000
807.82/809.80	c cleaning 33997 clauses out of 68015 with flag 6205914/620000
865.89/867.86	c cleaning 34999 clauses out of 70018 with flag 6462038/656000
932.21/934.04	c cleaning 36000 clauses out of 72019 with flag 6727764/693000
992.86/994.79	c cleaning 36991 clauses out of 74019 with flag 7002311/731000
1059.97/1061.73	c cleaning 38004 clauses out of 76028 with flag 7294772/770000
1126.43/1128.08	c cleaning 38999 clauses out of 78024 with flag 7574456/810000
1196.80/1197.49	c cleaning 39976 clauses out of 80026 with flag 7875612/851001
1258.52/1258.95	c cleaning 41017 clauses out of 82049 with flag 8214696/893000
1337.08/1339.62	c cleaning 42015 clauses out of 84035 with flag 8520177/936003
1402.37/1404.58	c cleaning 43004 clauses out of 86018 with flag 8842237/980001
1452.50/1454.30	c cleaning 44002 clauses out of 88015 with flag 9180494/1025002
1529.31/1530.71	c cleaning 45004 clauses out of 90016 with flag 9550477/1071005
1597.15/1596.76	c cleaning 45999 clauses out of 92008 with flag 9942662/1118001
1667.77/1667.33	c cleaning 46995 clauses out of 94008 with flag 10330372/1166000
1749.07/1751.31	c cleaning 48003 clauses out of 96013 with flag 10751931/1215000
1837.88/1839.06	c cleaning 49002 clauses out of 98011 with flag 11174304/1265001
1901.79/1902.44	c cleaning 49999 clauses out of 100009 with flag 11645059/1316001
1993.86/1992.51	c cleaning 50990 clauses out of 102009 with flag 12019381/1368000
2093.53/2098.34	c cleaning 51998 clauses out of 104019 with flag 12481514/1421000
2188.37/2192.26	c cleaning 53006 clauses out of 106025 with flag 12948768/1475004
2287.11/2301.46	c cleaning 54000 clauses out of 108015 with flag 13380282/1530000
2401.43/2414.42	c cleaning 55000 clauses out of 110016 with flag 13824261/1586001
2491.38/2503.90	c cleaning 56003 clauses out of 112019 with flag 14305952/1643004
2595.77/2606.93	c cleaning 56997 clauses out of 114012 with flag 14768758/1701000
2716.44/2727.58	c cleaning 57999 clauses out of 116015 with flag 15265883/1760000
2827.91/2846.68	c cleaning 59000 clauses out of 118018 with flag 15768201/1820002
2976.12/2994.88	c cleaning 60001 clauses out of 120017 with flag 16279236/1881001
3116.09/3142.39	c cleaning 60964 clauses out of 122016 with flag 16963837/1943001
3244.01/3278.00	c cleaning 62019 clauses out of 124051 with flag 17585448/2006000
3376.09/3408.89	c cleaning 62998 clauses out of 126032 with flag 18384596/2070000
3493.40/3525.70	c cleaning 63983 clauses out of 128039 with flag 19006018/2135005
3591.84/3630.01	c cleaning 65021 clauses out of 130055 with flag 19674879/2201004
3600.00/3638.21	c starts		: 4630
3600.00/3638.21	c timeout
3600.00/3638.22	c conflicts		: 2209073
3600.00/3638.22	c decisions		: 11582396
3600.00/3638.22	c propagations		: 47280416
3600.00/3638.22	c inspects		: 8560299470
3600.00/3638.22	c shortcuts		: 0
3600.00/3638.22	c learnt literals	: 0
3600.00/3638.22	c learnt binary clauses	: 0
3600.00/3638.22	c learnt ternary clauses	: 0
3600.00/3638.22	c learnt constraints	: 2209073
3600.00/3638.22	c ignored constraints	: 0
3600.00/3638.22	c root simplifications	: 0
3600.00/3638.22	c removed literals (reason simplification)	: 50019730
3600.00/3638.22	c reason swapping (by a shorter reason)	: 0
3600.00/3638.22	c Calls to reduceDB	: 62
3600.00/3638.22	c Number of update (reduction) of LBD	: 1588597
3600.00/3638.22	c Imported unit clauses	: 0
3600.00/3638.22	c No decision after first conflict	: false
3600.00/3638.22	c number of reductions to clauses (during analyze)	: 0
3600.00/3638.22	c number of learned constraints concerned by reduction	: 0
3600.00/3638.22	c number of learning phase by resolution	: 0
3600.00/3638.22	c number of learning phase by cutting planes	: 0
3600.00/3638.22	c number of rounding to 1 operations	: 0
3600.00/3638.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3638.23	c number of reductions of the coefficients by power 2 	: 0
3600.00/3638.23	c number of right shift for reduction by power 2 	: 0
3600.00/3638.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3638.23	c number of ending skipping 	: 0
3600.00/3638.23	c number of internal skipping 	: 0
3600.00/3638.23	c number of derivation steps 	: 0
3600.00/3638.23	c number of skipped derivation steps 	: 0
3600.00/3638.23	c number of remaining unassigned 	: 0
3600.00/3638.23	c number of remaining assigned 	: 0
3600.00/3638.23	c number of falsified literals weakened from reason	: 0
3600.00/3638.23	c number of falsified literals weakened from conflict	: 0
3600.00/3638.23	c time for arithmetic operations	: 0
3600.00/3638.23	c minimum degree of deleted constraints	: null
3600.00/3638.23	c maximum degree of deleted constraints	: null
3600.00/3638.23	c number of deleted constraints	: 0
3600.00/3638.23	c speed (assignments/second)	: 13071.652650981376
3600.00/3638.23	c non guided choices	: 6288977
3600.00/3638.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 73103
3600.00/3638.27	s UNKNOWN
3600.00/3638.27	c Total wall clock time (in seconds): 3638.125

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: 63708 MiB (60716 MiB free)
  memory of node 1: 64465 MiB (29990 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=84070, runsolver pid=84067

[startup+0.100061 s]*
/proc/loadavg: 4.36 4.27 4.21 6/344 84088
/proc/meminfo: memFree=92860496/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18930384 memory=53156 CPUtime=0.11 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 6440 0 0 0 9 2 0 0 20 0 18 0 75108000 19384713216 13289 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4732596 13289 5351 1 0 547531 0
[pid=84070/tid=84072] ppid=84067 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 4983 0 0 0 6 1 0 0 20 0 18 0 75108002 19384713216 13289 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75108004 19384713216 13289 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75108005 19384713216 13289 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53156 KiB

[startup+0.206097 s]*
/proc/loadavg: 4.36 4.27 4.21 7/344 84088
/proc/meminfo: memFree=92817648/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18930384 memory=85988 CPUtime=0.26 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 6923 0 0 0 23 3 0 0 20 0 18 0 75108000 19384713216 21497 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4732596 21497 5415 1 0 547840 0
[pid=84070/tid=84072] ppid=84067 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 5294 0 0 0 13 2 0 0 20 0 18 0 75108002 19384713216 21497 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75108004 19384713216 21497 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75108005 19384713216 21497 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 85988 KiB

[startup+0.306021 s]*
/proc/loadavg: 4.41 4.28 4.21 5/344 84088
/proc/meminfo: memFree=92493308/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18930636 memory=417492 CPUtime=0.43 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 7694 0 0 0 34 9 0 0 20 0 18 0 75108000 19384971264 104373 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4732659 104373 5415 1 0 548226 0
[pid=84070/tid=84072] ppid=84067 vsize=18930636 memory=-6000919476985030759 CPUtime=0.24 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 5491 0 0 0 16 8 0 0 20 0 18 0 75108002 19384971264 104373 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18930636 memory=0 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75108004 19384971264 104373 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18930636 memory=0 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75108005 19384971264 104373 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930636 KiB
Current children cumulated memory: 417492 KiB

[startup+0.700249 s]
/proc/loadavg: 4.41 4.28 4.21 6/345 84089
/proc/meminfo: memFree=92080500/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18996948 memory=825056 CPUtime=1.11 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 10138 0 0 0 93 18 0 0 20 0 19 0 75108000 19452874752 206264 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4749237 206264 5447 1 0 549699 0
[pid=84070/tid=84072] ppid=84067 vsize=18996948 memory=14336 CPUtime=0.59 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 5667 0 0 0 44 15 0 0 20 0 19 0 75108002 19452874752 206264 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75108004 19452874752 206264 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75108005 19452874752 206264 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 825056 KiB

[startup+1.50027 s]
/proc/loadavg: 4.41 4.28 4.21 5/345 84089
/proc/meminfo: memFree=92057672/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18996948 memory=1009188 CPUtime=2.2 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 11719 0 0 0 198 22 0 0 20 0 19 0 75108000 19452874752 252297 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4749237 252297 5511 1 0 673491 0
[pid=84070/tid=84072] ppid=84067 vsize=18996948 memory=3200 CPUtime=1.33 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 5827 0 0 0 115 18 0 0 20 0 19 0 75108002 19452874752 252297 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75108004 19452874752 252297 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75108005 19452874752 252297 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1009188 KiB

[startup+3.10585 s]
/proc/loadavg: 4.41 4.28 4.21 5/345 84089
/proc/meminfo: memFree=91139456/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18996948 memory=1759296 CPUtime=4.17 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 19899 0 0 0 377 40 0 0 20 0 19 0 75108000 19452874752 439824 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4749237 439824 5511 1 0 1157664 0
[pid=84070/tid=84072] ppid=84067 vsize=18996948 memory=10624 CPUtime=2.81 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 6211 0 0 0 249 32 0 0 20 0 19 0 75108002 19452874752 439824 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75108004 19452874752 439824 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75108005 19452874752 439824 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1759296 KiB

[startup+6.30022 s]
/proc/loadavg: 4.38 4.28 4.21 5/345 84089
/proc/meminfo: memFree=90240436/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18996948 memory=2631164 CPUtime=7.49 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 22045 0 0 0 691 58 0 0 20 0 19 0 75108000 19452874752 657791 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4749237 657791 5511 1 0 1707046 0
[pid=84070/tid=84072] ppid=84067 vsize=18996948 memory=5632 CPUtime=5.76 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 6817 0 0 0 530 46 0 0 20 0 19 0 75108002 19452874752 657791 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75108004 19452874752 657791 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18996948 memory=-6000919476985030759 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75108005 19452874752 657791 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2631164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.27 4.21 5/345 84089
/proc/meminfo: memFree=89690112/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=18996948 memory=3407140 CPUtime=14.19 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 23977 0 0 0 1344 75 0 0 20 0 19 0 75108000 19452874752 851785 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4749237 851785 5511 1 0 2068426 0
[pid=84070/tid=84072] ppid=84067 vsize=18996948 memory=2663952 CPUtime=11.57 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 7547 0 0 0 1101 56 0 0 20 0 19 0 75108002 19452874752 851785 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=18996948 memory=14336 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75108004 19452874752 851785 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=18996948 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75108005 19452874752 851785 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3407140 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.26 4.20 6/346 84090
/proc/meminfo: memFree=88668168/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=4179456 CPUtime=29.87 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 27208 0 0 0 2892 95 0 0 20 0 20 0 75108000 19521036288 1044864 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1044864 5575 1 0 2150583 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=2663952 CPUtime=23.56 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 8338 0 0 0 2284 72 0 0 20 0 20 0 75108002 19521036288 1044864 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=-6000919476985030759 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1044864 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=-6000919476985030759 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1044864 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1044864 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 29.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4179456 KiB

[startup+51.106 s]
/proc/loadavg: 4.23 4.25 4.20 5/346 84092
/proc/meminfo: memFree=85847016/131249996 swapFree=33003212/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=6664016 CPUtime=55.84 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 37769 0 0 0 5418 166 0 0 20 0 20 0 75108000 19521036288 1666004 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1666004 5575 1 0 2150590 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=-6000919476985030759 CPUtime=48.96 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 12698 0 0 0 4755 141 0 0 20 0 20 0 75108002 19521036288 1666004 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1666004 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1666004 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=3407140 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1666004 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 55.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6664016 KiB

[startup+102.3 s]

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

/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3288 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3192.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.38 4.36 5/347 84491
/proc/meminfo: memFree=14286524/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3249.88 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 355691 0 0 0 323320 1668 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3169.93 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 178341 0 0 0 315486 1507 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3290 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3249.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.35 4.35 5/347 84493
/proc/meminfo: memFree=12991492/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3309.5 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 361339 0 0 0 329257 1693 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=14156 CPUtime=3228.72 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 181711 0 0 0 321341 1531 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3377 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3309.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.33 4.35 5/346 84495
/proc/meminfo: memFree=11690500/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3369.61 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 366547 0 0 0 335247 1714 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=14156 CPUtime=3288.01 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 184158 0 0 0 327250 1551 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3423 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3369.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.35 4.35 6/346 84630
/proc/meminfo: memFree=69827820/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3428.09 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 367187 0 0 0 341066 1743 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=5148 CPUtime=3345.04 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 184365 0 0 0 332927 1577 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3427 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3428.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.49 4.39 4.36 5/346 84633
/proc/meminfo: memFree=66228980/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3490.01 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 373723 0 0 0 347236 1765 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3404.09 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 187590 0 0 0 338814 1595 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3428 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=7004264 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3490.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.52 4.40 4.37 3/347 84637
/proc/meminfo: memFree=64530704/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3549.43 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 380231 0 0 0 353152 1791 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=14156 CPUtime=3462.35 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) D 84067 84070 83609 0 -1 4194368 192166 0 0 0 344617 1618 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3476 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3549.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3638.2 s]
/proc/loadavg: 4.46 4.42 4.38 5/348 84639
/proc/meminfo: memFree=63549336/131249996 swapFree=33000896/33010684
[pid=84070] ppid=84067 vsize=19063512 memory=7004264 CPUtime=3600 cores=0,2
/proc/84070/stat : 84070 (java) S 84067 84070 83609 0 -1 4194304 384536 0 0 0 358188 1812 0 0 20 0 20 0 75108000 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
/proc/84070/statm: 4765878 1751066 5607 1 0 1765739 0
[pid=84070/tid=84072] ppid=84067 vsize=19063512 memory=16267696 CPUtime=3511.75 cores=0,2
/proc/84070/task/84072/stat : 84072 (java) R 84067 84070 83609 0 -1 4194368 194583 0 0 0 349536 1639 0 0 20 0 20 0 75108002 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84081] ppid=84067 vsize=19063512 memory=6896 CPUtime=0 cores=0,2
/proc/84070/task/84081/stat : 84081 (Finalizer) S 84067 84070 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75108004 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84088] ppid=84067 vsize=19063512 memory=4177048 CPUtime=0 cores=0,2
/proc/84070/task/84088/stat : 84088 (Common-Cleaner) S 84067 84070 83609 0 -1 4194368 3560 0 0 0 0 0 0 0 20 0 20 0 75108005 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
[pid=84070/tid=84090] ppid=84067 vsize=19063512 memory=6900 CPUtime=0 cores=0,2
/proc/84070/task/84090/stat : 84090 (Timer-0) S 84067 84070 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75110121 19521036288 1751066 18446744073709551615 93954793619456 93954793623152 140721447181936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93954793630968 93954793631760 93954811994112 140721447184688 140721447184870 140721447184870 140721447190472 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7004264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.99 s, system=18.169 s

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

[startup+3638.4 s]*
/proc/loadavg: 4.46 4.42 4.38 5/330 84642
/proc/meminfo: memFree=63550096/131249996 swapFree=33000896/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): 3638.42
CPU time (s): 3600.16
CPU user time (s): 3581.99
CPU system time (s): 18.169
CPU usage (%): 98.9483
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9894556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.99
system time used= 18.169
maximum resident set size= 9894556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21049592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120752
involuntary context switches= 16485


# summary of solver processes directly reported to runsolver:
#   pid: 84070
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3581.99
#   total CPU system time (s): 18.169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07412 second user time and 16.7113 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 03:58:21
IDJOB=4521961
IDBENCH=178523
IDSOLVER=3364
FILE ID=nodeC023/4521961-1751594301
RUNJOBID= nodeC023-1751590761-83619
SLURM_JOB_ID= 9598847
Free space on /tmp= 431744 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521961-1751594301/watcher-4521961-1751594301 -o /tmp/evaluation-result-4521961-1751594301/solver-4521961-1751594301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751590761-83619 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521961-1751594301 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4521961-1751594301.opb

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

MD5SUM BENCH= e5d29c038ae9b08512816a1a7bdfca9c
RANDOM SEED=336097983

nodeC023 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		: 3605.405
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.78
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.911
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.78
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.961
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.78
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		: 3652.228
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.78
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		: 3599.926
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.78
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.878
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.78
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		: 3582.622
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.78
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		: 3605.955
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        92884500 kB
MemAvailable:   109953336 kB
Buffers:              16 kB
Cached:         17796924 kB
SwapCached:          912 kB
Active:         19966752 kB
Inactive:       17629348 kB
Active(anon):   19776580 kB
Inactive(anon):    35520 kB
Active(file):     190172 kB
Inactive(file): 17593828 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003212 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81916 kB
Writeback:             0 kB
AnonPages:      19801488 kB
Mapped:           118752 kB
Shmem:             12800 kB
KReclaimable:     248152 kB
Slab:             343216 kB
SReclaimable:     248152 kB
SUnreclaim:        95064 kB
KernelStack:        5280 kB
PageTables:        42464 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   23001304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19429376 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431844 MiB
End job on nodeC023 at 2025-07-04 04:59:00