Trace number 4434900

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) 2163.51 2178.81

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
MD5SUMb903151821b4588cc22205dcfedeb810
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 benchmark21601492
Best CPU time to get the best result obtained on this benchmark3600.4
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 1019600
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 312913647916
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 312913647916
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)
26.22/26.34	c Default LC presolving (default).
26.31/26.46	c ** Before presolving: virtualMemUsedAtLc = 16664463956, getVmSize() = 10567139328, SCIPgetMemUsed() = 9810423690, SCIPgetMemTotal() = 10141558450, SCIPgetMemExternEstim() = 6522905506
26.31/26.46	c ** set memory limit for presolving in LC to 8.79109e+12 for SCIP **
1091.33/1096.13	c ** Estimated virtualMemUsedAtSolver = 14711135711, getVmSize() = 17402687488, SCIPgetMemUsed() = 13304531397, SCIPgetMemTotal() = 15543798061, SCIPgetMemExternEstim() = 6522905506
1091.33/1096.13	c ** set memory limit for solvers to 4.39761e+12 for each SCIP **
1091.33/1096.13	c Original Problem   :
1091.33/1096.13	c   Problem name     : instance-4434900-1721145289
1091.33/1096.13	c   Variables        : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
1091.33/1096.13	c   Constraints      : 4920807
1091.33/1096.13	c   Objective sense  : minimize
1091.33/1096.13	c Presolved Problem  :
1091.33/1096.13	c   Variables        : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
1091.33/1096.13	c   Constraints      : 3915954
1091.33/1096.13	c Constraints        : Number
1091.33/1096.13	c   knapsack         : 5250 
1091.33/1096.13	c   setppc           : 2925551 
1091.33/1096.13	c   and              : 980100 
1091.33/1096.13	c   linear           : 3 
1091.33/1096.13	c   logicor          : 5050 
1091.33/1096.13	c ** Instance transfer method used: 0
1104.38/1109.20	c ** ParaScipInstance copy does not increase the number of variables. **
1114.18/1119.14	c LC is working with racing ramp-up and with rebuilding tree after racing.
1114.18/1119.14	c                                Nodes    Active                                            
1114.18/1119.14	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 (34431 MiB free)
  memory of node 1: 64473 MiB (31744 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100089 s]*
/proc/loadavg: 4.17 4.16 4.10 5/264 866068
/proc/meminfo: memFree=67602636/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=194288 memory=176016 CPUtime=0.09 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 24562 0 0 0 4 5 0 0 20 0 1 0 166699643 198950912 44004 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 48572 44004 2318 3032 0 44972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 194288 KiB
Current children cumulated memory: 176016 KiB

[startup+0.206102 s]*
/proc/loadavg: 4.17 4.16 4.10 5/264 866068
/proc/meminfo: memFree=67505700/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=289892 memory=271824 CPUtime=0.2 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 48470 0 0 0 12 8 0 0 20 0 1 0 166699643 296849408 67956 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 72473 67956 2318 3032 0 68873 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 289892 KiB
Current children cumulated memory: 271824 KiB

[startup+0.306205 s]*
/proc/loadavg: 4.17 4.16 4.10 5/264 866068
/proc/meminfo: memFree=67401400/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=393928 memory=374656 CPUtime=0.3 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 73713 0 0 0 19 11 0 0 20 0 1 0 166699643 403382272 93664 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 98482 93664 2318 3032 0 94882 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 393928 KiB
Current children cumulated memory: 374656 KiB

[startup+0.700241 s]
/proc/loadavg: 4.17 4.16 4.10 5/264 866068
/proc/meminfo: memFree=67210508/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=751336 memory=732660 CPUtime=0.69 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 158552 0 0 0 46 23 0 0 20 0 1 0 166699643 769368064 183099 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 187834 183165 2318 3032 0 184234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 751336 KiB
Current children cumulated memory: 732660 KiB

[startup+1.5002 s]
/proc/loadavg: 4.17 4.16 4.10 5/264 866068
/proc/meminfo: memFree=66737148/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=1263184 memory=1242520 CPUtime=1.48 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 270750 0 0 0 109 39 0 0 20 0 1 0 166699643 1293500416 310630 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 315796 310630 2318 3032 0 312196 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1263184 KiB
Current children cumulated memory: 1242520 KiB

[startup+3.10613 s]
/proc/loadavg: 4.16 4.16 4.10 5/264 866068
/proc/meminfo: memFree=65897644/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=1931192 memory=1910472 CPUtime=3.09 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 437254 0 0 0 244 65 0 0 20 0 1 0 166699643 1977540608 477618 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 482798 477618 2318 3032 0 479198 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1931192 KiB
Current children cumulated memory: 1910472 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.16 4.10 5/264 866068
/proc/meminfo: memFree=64819612/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=3036880 memory=3015648 CPUtime=6.27 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 701873 0 0 0 523 104 0 0 20 0 1 0 166699643 3109765120 753912 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 759220 753912 2318 3032 0 755620 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3036880 KiB
Current children cumulated memory: 3015648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 866069
/proc/meminfo: memFree=63626668/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=4293840 memory=4272548 CPUtime=12.65 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 978933 0 0 0 1116 149 0 0 20 0 1 0 166699643 4396892160 1068137 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 1073460 1068137 2318 3032 0 1069860 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4293840 KiB
Current children cumulated memory: 4272548 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.09 5/264 866071
/proc/meminfo: memFree=58029320/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=10023144 memory=9990484 CPUtime=25.41 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 2291040 0 0 0 2188 353 0 0 20 0 1 0 166699643 10263699456 2497621 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 2505786 2497621 2558 3032 0 2502186 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 10023144 KiB
Current children cumulated memory: 9990484 KiB

[startup+51.1062 s]
/proc/loadavg: 4.26 4.18 4.10 5/264 866463
/proc/meminfo: memFree=53364180/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=14712556 memory=14474480 CPUtime=50.93 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 2505740 0 0 0 4580 513 0 0 20 0 1 0 166699643 15065657344 3618620 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3678139 3618620 2702 3032 0 3674539 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 14712556 KiB
Current children cumulated memory: 14474480 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/264 866472
/proc/meminfo: memFree=53793324/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=14264216 memory=14039336 CPUtime=101.93 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 2934208 0 0 0 9589 604 0 0 20 0 1 0 166699643 14606557184 3509834 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3566054 3509834 2734 3032 0 3562454 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 14264216 KiB
Current children cumulated memory: 14039336 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 866484
/proc/meminfo: memFree=52226832/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15861664 memory=15584756 CPUtime=161.72 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3049320 0 0 0 15527 645 0 0 20 0 1 0 166699643 16242343936 3896189 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3965416 3896189 2750 3032 0 3961816 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 15861664 KiB
Current children cumulated memory: 15584756 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 866663
/proc/meminfo: memFree=52133848/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15931796 memory=15661948 CPUtime=221.44 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3053715 0 0 0 21494 650 0 0 20 0 1 0 166699643 16314159104 3915487 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3982949 3915487 2750 3032 0 3979349 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15661948 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/263 866674
/proc/meminfo: memFree=52118484/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15931796 memory=15661948 CPUtime=281.17 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3054644 0 0 0 27463 654 0 0 20 0 1 0 166699643 16314159104 3915487 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3982949 3915487 2750 3032 0 3979349 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15661948 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 866688
/proc/meminfo: memFree=52101848/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15931796 memory=15663996 CPUtime=340.88 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3055682 0 0 0 33431 657 0 0 20 0 1 0 166699643 16314159104 3915999 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3982949 3915999 2750 3032 0 3979349 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15663996 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 866709
/proc/meminfo: memFree=52084668/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15931796 memory=15663996 CPUtime=400.61 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3056535 0 0 0 39400 661 0 0 20 0 1 0 166699643 16314159104 3915999 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3982949 3915999 2750 3032 0 3979349 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 15931796 KiB
Current children cumulated memory: 15663996 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 866720
/proc/meminfo: memFree=52067400/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=15931796 memory=15663996 CPUtime=460.34 cores=1,3
/proc/866067/stat : 866067 (fscip) R 866064 866067 863603 0 -1 4194304 3057457 0 0 0 45369 665 0 0 20 0 1 0 166699643 16314159104 3915999 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 3982949 3915999 2750 3032 0 3979349 0

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

Current children cumulated memory: 29576232 KiB

[startup+1722.3 s]
/proc/loadavg: 4.16 4.27 4.18 5/265 867007
/proc/meminfo: memFree=51976728/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30748372 memory=29586824 CPUtime=1710.38 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 16639483 0 0 0 169147 1891 0 0 20 0 3 0 166699643 31486332928 7396706 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7687093 7396706 2798 3032 0 7582945 0
[pid=866067/tid=866887] ppid=866064 vsize=30748372 memory=29553696 CPUtime=605.97 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 12446678 0 0 0 59597 1000 0 0 20 0 3 0 166809257 31486332928 7396706 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30748372 memory=11440 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 153 0 0 0 0 0 0 0 20 0 3 0 166811573 31486332928 7396706 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 1710.38 s
Current children cumulated vsize: 30748372 KiB
Current children cumulated memory: 29586824 KiB

[startup+1782.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/265 867018
/proc/meminfo: memFree=51953064/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30748372 memory=29597304 CPUtime=1769.68 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 17662928 0 0 0 175015 1953 0 0 20 0 3 0 166699643 31486332928 7399326 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7687093 7399326 2798 3032 0 7585505 0
[pid=866067/tid=866887] ppid=866064 vsize=30748372 memory=16220 CPUtime=665.27 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 13470108 0 0 0 65465 1062 0 0 20 0 3 0 166809257 31486332928 7399326 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30748372 memory=29597304 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 168 0 0 0 0 0 0 0 20 0 3 0 166811573 31486332928 7399326 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 1769.68 s
Current children cumulated vsize: 30748372 KiB
Current children cumulated memory: 29597304 KiB

[startup+1842.3 s]
/proc/loadavg: 4.11 4.22 4.17 6/266 867411
/proc/meminfo: memFree=51934324/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30758088 memory=29609688 CPUtime=1828.97 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 18652227 0 0 0 180885 2012 0 0 20 0 3 0 166699643 31496282112 7402422 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7689522 7402422 2798 3032 0 7590942 0
[pid=866067/tid=866887] ppid=866064 vsize=30758088 memory=16220 CPUtime=724.56 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 14459391 0 0 0 71335 1121 0 0 20 0 3 0 166809257 31496282112 7402422 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30758088 memory=29598376 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 184 0 0 0 0 0 0 0 20 0 3 0 166811573 31496282112 7402422 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 1828.97 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29609688 KiB

[startup+1902.3 s]
/proc/loadavg: 4.15 4.21 4.17 5/262 867423
/proc/meminfo: memFree=51915640/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30758088 memory=29623352 CPUtime=1888.28 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 19655066 0 0 0 186755 2073 0 0 20 0 3 0 166699643 31496282112 7405838 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7689522 7405838 2798 3032 0 7594271 0
[pid=866067/tid=866887] ppid=866064 vsize=30758088 memory=16220 CPUtime=783.87 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 15462215 0 0 0 77205 1182 0 0 20 0 3 0 166809257 31496282112 7405838 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30758088 memory=29598376 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 199 0 0 0 0 0 0 0 20 0 3 0 166811573 31496282112 7405838 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 1888.28 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29623352 KiB

[startup+1962.3 s]
/proc/loadavg: 4.34 4.25 4.19 6/264 867436
/proc/meminfo: memFree=40018404/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30758088 memory=29638356 CPUtime=1947.93 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 20818230 0 0 0 192650 2143 0 0 20 0 3 0 166699643 31496282112 7409589 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7689522 7409589 2798 3032 0 7597983 0
[pid=866067/tid=866887] ppid=866064 vsize=30758088 memory=29634752 CPUtime=843.52 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 16625364 0 0 0 83100 1252 0 0 20 0 3 0 166809257 31496282112 7409589 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30758088 memory=11440 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 214 0 0 0 0 0 0 0 20 0 3 0 166811573 31496282112 7409589 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 1947.93 s
Current children cumulated vsize: 30758088 KiB
Current children cumulated memory: 29638356 KiB

[startup+2022.3 s]
/proc/loadavg: 4.24 4.23 4.18 5/267 867617
/proc/meminfo: memFree=38034496/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30823624 memory=29652580 CPUtime=2007.7 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 21855814 0 0 0 198567 2203 0 0 20 0 3 0 166699643 31563390976 7413145 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7705906 7413145 2798 3032 0 7601441 0
[pid=866067/tid=866887] ppid=866064 vsize=30823624 memory=0 CPUtime=903.29 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 17662932 0 0 0 89017 1312 0 0 20 0 3 0 166809257 31563390976 7413145 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30823624 memory=11440 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 230 0 0 0 0 0 0 0 20 0 3 0 166811573 31563390976 7413145 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 2007.7 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29652580 KiB

[startup+2082.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/267 867627
/proc/meminfo: memFree=37946488/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30823624 memory=29666244 CPUtime=2067.43 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 22857593 0 0 0 204481 2262 0 0 20 0 3 0 166699643 31563390976 7416561 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7705906 7416561 2798 3032 0 7604769 0
[pid=866067/tid=866887] ppid=866064 vsize=30823624 memory=29658220 CPUtime=963.02 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 18664694 0 0 0 94931 1371 0 0 20 0 3 0 166809257 31563390976 7416561 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30823624 memory=29663424 CPUtime=0 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 247 0 0 0 0 0 0 0 20 0 3 0 166811573 31563390976 7416561 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 2067.43 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29666244 KiB

[startup+2142.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/268 867696
/proc/meminfo: memFree=37924628/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=30823624 memory=29680068 CPUtime=2127.15 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 23841032 0 0 0 210395 2320 0 0 20 0 3 0 166699643 31563390976 7420017 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7705906 7420017 2798 3032 0 7608194 0
[pid=866067/tid=866887] ppid=866064 vsize=30823624 memory=29658220 CPUtime=1022.73 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 19648113 0 0 0 100844 1429 0 0 20 0 3 0 166809257 31563390976 7420017 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=30823624 memory=11440 CPUtime=0.01 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 267 0 0 0 0 1 0 0 20 0 3 0 166811573 31563390976 7420017 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 2127.15 s
Current children cumulated vsize: 30823624 KiB
Current children cumulated memory: 29680068 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2178.11 s]
/proc/loadavg: 4.07 4.17 4.17 5/266 867703
/proc/meminfo: memFree=37124460/131524596 swapFree=131071996/131071996
[pid=866067] ppid=866064 vsize=31794376 memory=30577288 CPUtime=2162.8 cores=1,3
/proc/866067/stat : 866067 (fscip) S 866064 866067 863603 0 -1 1077936128 25437856 0 0 0 213854 2426 0 0 20 0 3 0 166699643 32557441024 7644322 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
/proc/866067/statm: 7948594 7644322 2798 3032 0 7853500 0
[pid=866067/tid=866887] ppid=866064 vsize=31794376 memory=29684740 CPUtime=1058.38 cores=1,3
/proc/866067/task/866887/stat : 866887 (fscip) R 866064 866067 863603 0 -1 4194368 21244928 0 0 0 104303 1535 0 0 20 0 3 0 166809257 32557441024 7644322 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
[pid=866067/tid=866893] ppid=866064 vsize=31794376 memory=29686292 CPUtime=0.01 cores=1,3
/proc/866067/task/866893/stat : 866893 (fscip) S 866064 866067 863603 0 -1 1077936192 276 0 0 0 0 1 0 0 20 0 3 0 166811573 32557441024 7644322 134679101440 4194304 16613245 140723768863216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35549184 140723768869909 140723768870025 140723768870025 140723768877040 0
Current children cumulated CPU time: 2162.8 s
Current children cumulated vsize: 31794376 KiB
Current children cumulated memory: 30577288 KiB

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

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

# cumulated CPU time of all completed processes:  user=2138.55 s, system=24.9615 s

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

[startup+2178.4 s]
/proc/loadavg: 4.07 4.17 4.17 5/265 867703
/proc/meminfo: memFree=40645988/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2178.8 s]
/proc/loadavg: 4.07 4.17 4.17 5/265 867703
/proc/meminfo: memFree=40645988/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): 2178.81
CPU time (s): 2163.51
CPU user time (s): 2138.55
CPU system time (s): 24.9615
CPU usage (%): 99.2977
Max. virtual memory (cumulated for all children) (KiB): 31794376
Max. memory (cumulated for all children) (KiB): 30577288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2138.55
system time used= 24.9615
maximum resident set size= 30577480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25439657
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= 1067
involuntary context switches= 11177


# summary of solver processes directly reported to runsolver:
#   pid: 866067
#   total CPU time (s): 2163.51
#   total CPU user time (s): 2138.55
#   total CPU system time (s): 24.9615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65759 second user time and 11.0611 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-16 17:55:03
IDJOB=4434900
IDBENCH=155753
IDSOLVER=3064
FILE ID=nodeC034/4434900-1721145289
RUNJOBID= nodeC034-1721140463-863615
SLURM_JOB_ID= 7505721
Free space on /tmp= 889372 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_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-4434900-1721145289/watcher-4434900-1721145289 -o /tmp/evaluation-result-4434900-1721145289/solver-4434900-1721145289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721140463-863615 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434900-1721145289.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=835667814

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		: 3694.998
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		: 3674.490
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.080
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		: 3612.156
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		: 3694.696
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		: 3690.797
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		: 3601.131
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		: 3613.348
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:        67763972 kB
MemAvailable:   73448676 kB
Buffers:          408400 kB
Cached:          6046280 kB
SwapCached:            0 kB
Active:          1200644 kB
Inactive:       61702812 kB
Active(anon):       1508 kB
Inactive(anon): 56484984 kB
Active(file):    1199136 kB
Inactive(file):  5217828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            250656 kB
Writeback:             4 kB
AnonPages:      56448776 kB
Mapped:           138648 kB
Shmem:             37720 kB
KReclaimable:     215128 kB
Slab:             337020 kB
SReclaimable:     215128 kB
SUnreclaim:       121892 kB
KernelStack:        4240 kB
PageTables:       120560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   36162364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64544 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12546048 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:31:22