Trace number 4434901

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
FiberSCIP 2024-07-02? (MO) 2033.57 2041.52

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
MD5SUM4f3174f37d2a17c7e83bc7c52ff48d45
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26461978
Best CPU time to get the best result obtained on this benchmark3600.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 308760127022
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 308760127022
Number of bits of the biggest sum of numbers39
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.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
24.42/24.53	c Default LC presolving (default).
24.53/24.62	c ** Before presolving: virtualMemUsedAtLc = 16664463956, getVmSize() = 10567139328, SCIPgetMemUsed() = 9810423690, SCIPgetMemTotal() = 10141558450, SCIPgetMemExternEstim() = 6522905506
24.53/24.62	c ** set memory limit for presolving in LC to 8.79109e+12 for SCIP **
999.35/1003.07	c ** Estimated virtualMemUsedAtSolver = 14711135711, getVmSize() = 17402687488, SCIPgetMemUsed() = 13304531397, SCIPgetMemTotal() = 15543798061, SCIPgetMemExternEstim() = 6522905506
999.35/1003.07	c ** set memory limit for solvers to 4.39761e+12 for each SCIP **
999.35/1003.07	c Original Problem   :
999.35/1003.07	c   Problem name     : instance-4434901-1721144060
999.35/1003.07	c   Variables        : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
999.35/1003.07	c   Constraints      : 4920807
999.35/1003.07	c   Objective sense  : minimize
999.35/1003.07	c Presolved Problem  :
999.35/1003.07	c   Variables        : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
999.35/1003.07	c   Constraints      : 3915954
999.35/1003.07	c Constraints        : Number
999.35/1003.07	c   knapsack         : 5250 
999.35/1003.07	c   setppc           : 2925551 
999.35/1003.07	c   and              : 980100 
999.35/1003.07	c   linear           : 3 
999.35/1003.07	c   logicor          : 5050 
999.35/1003.07	c ** Instance transfer method used: 0
1011.32/1015.05	c ** ParaScipInstance copy does not increase the number of variables. **
1019.97/1023.76	c LC is working with racing ramp-up and with rebuilding tree after racing.
1019.97/1023.76	c                                Nodes    Active                                            
1019.97/1023.76	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (56544 MiB free)
  memory of node 1: 64473 MiB (57807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434901-1721144060/watcher-4434901-1721144060 -o /tmp/evaluation-result-4434901-1721144060/solver-4434901-1721144060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721140463-863616 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434901-1721144060.opb -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=865784, runsolver pid=865781
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=116915456/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=200448 memory=182896 CPUtime=0.1 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 26244 0 0 0 5 5 0 0 20 0 1 0 166576682 205258752 45724 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 50112 45724 2318 3032 0 46512 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 200448 KiB
Current children cumulated memory: 182896 KiB

[startup+0.20603 s]*
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=116799704/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=310832 memory=291984 CPUtime=0.2 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 53500 0 0 0 11 9 0 0 20 0 1 0 166576682 318291968 72930 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 77708 72996 2318 3032 0 74108 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 310832 KiB
Current children cumulated memory: 291984 KiB

[startup+0.305989 s]*
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=116695400/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=403352 memory=384700 CPUtime=0.3 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 76212 0 0 0 18 12 0 0 20 0 1 0 166576682 413032448 96175 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 100838 96175 2318 3032 0 97238 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 403352 KiB
Current children cumulated memory: 384700 KiB

[startup+0.700239 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=116352588/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=798408 memory=778628 CPUtime=0.69 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 168524 0 0 0 43 26 0 0 20 0 1 0 166576682 817569792 194657 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 199602 194657 2318 3032 0 196002 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 798408 KiB
Current children cumulated memory: 778628 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=114979884/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=1269028 memory=1249068 CPUtime=1.49 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 271873 0 0 0 109 40 0 0 20 0 1 0 166576682 1299484672 312267 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 317257 312267 2318 3032 0 313657 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1269028 KiB
Current children cumulated memory: 1249068 KiB

[startup+3.10588 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=111945236/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=2020560 memory=2000020 CPUtime=3.09 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 459639 0 0 0 243 66 0 0 20 0 1 0 166576682 2069053440 500005 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 505140 500005 2318 3032 0 501540 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2020560 KiB
Current children cumulated memory: 2000020 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=108624816/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=3143772 memory=3123580 CPUtime=6.28 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 717162 0 0 0 520 108 0 0 20 0 1 0 166576682 3219222528 780895 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 785943 780895 2318 3032 0 782343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3143772 KiB
Current children cumulated memory: 3123580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.03 5/261 865786
/proc/meminfo: memFree=106187356/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=4463468 memory=4440096 CPUtime=12.66 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 1020278 0 0 0 1109 157 0 0 20 0 1 0 166576682 4570591232 1110024 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 1115867 1110024 2318 3032 0 1112267 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4463468 KiB
Current children cumulated memory: 4440096 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.13 4.04 5/261 865788
/proc/meminfo: memFree=97607960/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=10557536 memory=10460460 CPUtime=25.43 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 2364874 0 0 0 2181 362 0 0 20 0 1 0 166576682 10810916864 2615115 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 2639384 2615115 2590 3032 0 2635784 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 10557536 KiB
Current children cumulated memory: 10460460 KiB

[startup+51.1059 s]
/proc/loadavg: 4.26 4.14 4.05 5/261 865793
/proc/meminfo: memFree=93340600/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=12021856 memory=11798888 CPUtime=50.96 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 2509624 0 0 0 4572 524 0 0 20 0 1 0 166576682 12310380544 2949722 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3005464 2949722 2702 3032 0 3001864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 12021856 KiB
Current children cumulated memory: 11798888 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/261 865806
/proc/meminfo: memFree=84142436/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=14887120 memory=14610128 CPUtime=102 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3013659 0 0 0 9589 611 0 0 20 0 1 0 166576682 15244410880 3652532 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3721780 3652532 2734 3032 0 3718180 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 14887120 KiB
Current children cumulated memory: 14610128 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/261 865817
/proc/meminfo: memFree=78965100/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658004 CPUtime=161.81 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3042555 0 0 0 15541 640 0 0 20 0 1 0 166576682 16314159104 3914501 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914501 2750 3032 0 3979349 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15658004 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/261 865828
/proc/meminfo: memFree=78962952/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658004 CPUtime=221.58 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3043368 0 0 0 21514 644 0 0 20 0 1 0 166576682 16314159104 3914501 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914501 2750 3032 0 3979349 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15658004 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/262 865839
/proc/meminfo: memFree=78956748/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658004 CPUtime=281.36 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3044306 0 0 0 27488 648 0 0 20 0 1 0 166576682 16314159104 3914501 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914501 2750 3032 0 3979349 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15658004 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/261 865849
/proc/meminfo: memFree=78927048/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658004 CPUtime=341.13 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3045302 0 0 0 33462 651 0 0 20 0 1 0 166576682 16314159104 3914501 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914501 2750 3032 0 3979349 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15658004 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/265 865866
/proc/meminfo: memFree=78888116/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658240 CPUtime=400.91 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3046328 0 0 0 39436 655 0 0 20 0 1 0 166576682 16314159104 3914560 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914560 2750 3032 0 3979349 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15658240 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/265 865876
/proc/meminfo: memFree=78859772/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=15931796 memory=15658556 CPUtime=460.69 cores=5,7
/proc/865784/stat : 865784 (fscip) R 865781 865784 863603 0 -1 4194304 3047397 0 0 0 45410 659 0 0 20 0 1 0 166576682 16314159104 3914639 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 3982949 3914639 2750 3032 0 3979349 0

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

/proc/865784/statm: 7687093 7396982 2798 3032 0 7584225 0
[pid=865784/tid=865977] ppid=865781 vsize=30748372 memory=6776 CPUtime=584.96 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 12068878 0 0 0 57544 952 0 0 20 0 3 0 166676989 31486332928 7396982 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30748372 memory=5552 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 145 0 0 0 0 0 0 0 20 0 3 0 166679072 31486332928 7396982 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1596.35 s
Current children cumulated vsize: 30748372 KiB
Current children cumulated memory: 29587928 KiB

[startup+1662.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 866715
/proc/meminfo: memFree=52076456/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30748372 memory=29598864 CPUtime=1656.07 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 17727540 0 0 0 163693 1914 0 0 20 0 3 0 166576682 31486332928 7399716 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7687093 7399716 2798 3032 0 7586913 0
[pid=865784/tid=865977] ppid=865781 vsize=30748372 memory=29595184 CPUtime=644.69 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 13135274 0 0 0 63452 1017 0 0 20 0 3 0 166676989 31486332928 7399716 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30748372 memory=1832 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 161 0 0 0 0 0 0 0 20 0 3 0 166679072 31486332928 7399716 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1656.07 s
Current children cumulated vsize: 30748372 KiB
Current children cumulated memory: 29598864 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 866726
/proc/meminfo: memFree=52057088/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30758088 memory=29612272 CPUtime=1715.8 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 18714453 0 0 0 169607 1973 0 0 20 0 3 0 166576682 31496282112 7403068 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7689522 7403068 2798 3032 0 7592606 0
[pid=865784/tid=865977] ppid=865781 vsize=30758088 memory=29595184 CPUtime=704.41 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 14122171 0 0 0 69366 1075 0 0 20 0 3 0 166676989 31496282112 7403068 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30758088 memory=29598880 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 177 0 0 0 0 0 0 0 20 0 3 0 166679072 31496282112 7403068 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1715.8 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29612272 KiB

[startup+1782.3 s]
/proc/loadavg: 4.39 4.21 4.12 5/263 866737
/proc/meminfo: memFree=52038236/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30758088 memory=29626260 CPUtime=1775.53 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 19713862 0 0 0 175518 2035 0 0 20 0 3 0 166576682 31496282112 7406565 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7689522 7406565 2798 3032 0 7596015 0
[pid=865784/tid=865977] ppid=865781 vsize=30758088 memory=29624360 CPUtime=764.14 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 15121564 0 0 0 75277 1137 0 0 20 0 3 0 166676989 31496282112 7406565 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30758088 memory=29623116 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 193 0 0 0 0 0 0 0 20 0 3 0 166679072 31496282112 7406565 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1775.53 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29626260 KiB

[startup+1842.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/262 866747
/proc/meminfo: memFree=52019968/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30758088 memory=29639372 CPUtime=1835.26 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 20698751 0 0 0 181432 2094 0 0 20 0 3 0 166576682 31496282112 7409843 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7689522 7409843 2798 3032 0 7599263 0
[pid=865784/tid=865977] ppid=865781 vsize=30758088 memory=29630008 CPUtime=823.86 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 16106431 0 0 0 81190 1196 0 0 20 0 3 0 166676989 31496282112 7409843 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30758088 memory=29638136 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 215 0 0 0 0 0 0 0 20 0 3 0 166679072 31496282112 7409843 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1835.26 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29639372 KiB

[startup+1902.3 s]
/proc/loadavg: 4.09 4.16 4.11 5/260 866757
/proc/meminfo: memFree=52002684/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30823624 memory=29652028 CPUtime=1894.98 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 21723053 0 0 0 187344 2154 0 0 20 0 3 0 166576682 31563390976 7413007 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7705906 7413007 2798 3032 0 7602337 0
[pid=865784/tid=865977] ppid=865781 vsize=30823624 memory=11440 CPUtime=883.59 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 17130716 0 0 0 87103 1256 0 0 20 0 3 0 166676989 31563390976 7413007 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30823624 memory=1832 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 232 0 0 0 0 0 0 0 20 0 3 0 166679072 31563390976 7413007 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1894.98 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29652028 KiB

[startup+1962.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/260 866767
/proc/meminfo: memFree=51979564/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30823624 memory=29666084 CPUtime=1954.7 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 22776428 0 0 0 193251 2219 0 0 20 0 3 0 166576682 31563390976 7416521 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7705906 7416521 2798 3032 0 7605762 0
[pid=865784/tid=865977] ppid=865781 vsize=30823624 memory=11440 CPUtime=943.31 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 18184075 0 0 0 93010 1321 0 0 20 0 3 0 166676989 31563390976 7416521 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30823624 memory=29666080 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 3 0 166679072 31563390976 7416521 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 1954.7 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29666084 KiB

[startup+2022.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/260 866778
/proc/meminfo: memFree=51961804/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=30823624 memory=29680632 CPUtime=2014.43 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 23788035 0 0 0 199169 2274 0 0 20 0 3 0 166576682 31563390976 7420158 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7705906 7420158 2798 3032 0 7608866 0
[pid=865784/tid=865977] ppid=865781 vsize=30823624 memory=29680632 CPUtime=1003.03 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 19195666 0 0 0 98928 1375 0 0 20 0 3 0 166676989 31563390976 7420158 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=30823624 memory=29680628 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 264 0 0 0 0 0 0 0 20 0 3 0 166679072 31563390976 7420158 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 2014.43 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29680632 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2040.8 s]
/proc/loadavg: 4.08 4.14 4.10 5/260 866781
/proc/meminfo: memFree=51255632/131524596 swapFree=131071996/131071996
[pid=865784] ppid=865781 vsize=31794376 memory=30573044 CPUtime=2032.85 cores=5,7
/proc/865784/stat : 865784 (fscip) S 865781 865784 863603 0 -1 1077936128 25074449 0 0 0 200921 2364 0 0 20 0 3 0 166576682 32557441024 7643261 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
/proc/865784/statm: 7948594 7643261 2798 3032 0 7853500 0
[pid=865784/tid=865977] ppid=865781 vsize=31794376 memory=16220 CPUtime=1021.45 cores=5,7
/proc/865784/task/865977/stat : 865977 (fscip) R 865781 865784 863603 0 -1 4194368 20482147 0 0 0 100679 1466 0 0 20 0 3 0 166676989 32557441024 7643261 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
[pid=865784/tid=865983] ppid=865781 vsize=31794376 memory=2248 CPUtime=0 cores=5,7
/proc/865784/task/865983/stat : 865983 (fscip) S 865781 865784 863603 0 -1 1077936192 270 0 0 0 0 0 0 0 20 0 3 0 166679072 32557441024 7643261 134679101440 4194304 16613245 140729767154896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44404736 140729767162901 140729767163017 140729767163017 140729767170032 0
Current children cumulated CPU time: 2032.85 s
Current children cumulated vsize: 31794376 KiB
Current children cumulated memory: 30573044 KiB

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

[startup+2041.52 s]
# the end of solver process 865784 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=2009.22 s, system=24.3495 s

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

[startup+2041.2 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 866781
/proc/meminfo: memFree=58970916/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2041.4 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 866781
/proc/meminfo: memFree=58970916/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2041.5 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 866781
/proc/meminfo: memFree=58970916/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 2041.52
CPU time (s): 2033.57
CPU user time (s): 2009.22
CPU system time (s): 24.3495
CPU usage (%): 99.6103
Max. virtual memory (cumulated for all children) (KiB): 31794376
Max. memory (cumulated for all children) (KiB): 30573044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.22
system time used= 24.3495
maximum resident set size= 30573236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25076552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1024
involuntary context switches= 2147


# summary of solver processes directly reported to runsolver:
#   pid: 865784
#   total CPU time (s): 2033.57
#   total CPU user time (s): 2009.22
#   total CPU system time (s): 24.3495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96239 second user time and 10.9813 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-16 17:34:34
IDJOB=4434901
IDBENCH=155748
IDSOLVER=3064
FILE ID=nodeC034/4434901-1721144060
RUNJOBID= nodeC034-1721140463-863616
SLURM_JOB_ID= 7505721
Free space on /tmp= 889576 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434901-1721144060/watcher-4434901-1721144060 -o /tmp/evaluation-result-4434901-1721144060/solver-4434901-1721144060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721140463-863616 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434901-1721144060.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 4f3174f37d2a17c7e83bc7c52ff48d45
RANDOM SEED=772745932

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        117099380 kB
MemAvailable:   122555468 kB
Buffers:          407512 kB
Cached:          5821668 kB
SwapCached:            0 kB
Active:           960512 kB
Inactive:       12710928 kB
Active(anon):       1508 kB
Inactive(anon):  7478476 kB
Active(file):     959004 kB
Inactive(file):  5232452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            506880 kB
Writeback:             0 kB
AnonPages:       7442296 kB
Mapped:           134612 kB
Shmem:             37720 kB
KReclaimable:     208908 kB
Slab:             329980 kB
SReclaimable:     208908 kB
SUnreclaim:       121072 kB
KernelStack:        4192 kB
PageTables:        24068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    5896476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64544 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295636 kB
DirectMap2M:    40372224 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 889344 MiB
End job on nodeC034 at 2024-07-16 18:08:35