Trace number 4431768

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
IPBHS-SCIP 2024-07-09? (TO) 3600.1 3609.8

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM881f02ab7f3f3b5ffe74a08302b7945a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark409600
Best CPU time to get the best result obtained on this benchmark42.4087
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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: 63931 MiB (61631 MiB free)
  memory of node 1: 64510 MiB (63104 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431768-1721068503/watcher-4431768-1721068503 -o /tmp/evaluation-result-4431768-1721068503/solver-4431768-1721068503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820555 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431768-1721068503.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100093 s]*
/proc/loadavg: 1.11 1.14 1.78 5/261 820664
/proc/meminfo: memFree=127660744/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=91620 memory=74696 CPUtime=0.09 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 16426 0 0 0 7 2 0 0 20 0 1 0 159018592 93818880 18674 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 22905 18674 2559 2900 0 19419 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91620 KiB
Current children cumulated memory: 74696 KiB

[startup+0.205828 s]*
/proc/loadavg: 1.11 1.14 1.78 5/261 820664
/proc/meminfo: memFree=127599608/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=100492 CPUtime=0.2 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25054 0 0 0 17 3 0 0 20 0 1 0 159018592 124456960 25123 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25123 2671 2900 0 26899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 100492 KiB

[startup+0.305653 s]*
/proc/loadavg: 1.11 1.14 1.78 5/261 820664
/proc/meminfo: memFree=127597816/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=100492 CPUtime=0.3 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25102 0 0 0 26 4 0 0 20 0 1 0 159018592 124456960 25123 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25123 2671 2900 0 26899 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 100492 KiB

[startup+0.700205 s]
/proc/loadavg: 1.11 1.14 1.78 5/261 820664
/proc/meminfo: memFree=127594352/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=100492 CPUtime=0.69 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25102 0 0 0 65 4 0 0 20 0 1 0 159018592 124456960 25123 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25123 2671 2900 0 26899 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 100492 KiB

[startup+1.50023 s]
/proc/loadavg: 1.11 1.14 1.78 5/261 820664
/proc/meminfo: memFree=127584932/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=101140 CPUtime=1.49 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25192 0 0 0 144 5 0 0 20 0 1 0 159018592 124456960 25285 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25285 2703 2900 0 26899 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 101140 KiB

[startup+3.10549 s]
/proc/loadavg: 1.34 1.19 1.79 5/261 820664
/proc/meminfo: memFree=127543080/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=101928 CPUtime=3.08 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25394 0 0 0 303 5 0 0 20 0 1 0 159018592 124456960 25482 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25482 2703 2900 0 26899 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 101928 KiB

[startup+6.30022 s]
/proc/loadavg: 1.34 1.19 1.79 5/261 820666
/proc/meminfo: memFree=127482188/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=121540 memory=102188 CPUtime=6.28 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25474 0 0 0 621 7 0 0 20 0 1 0 159018592 124456960 25547 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 30385 25547 2703 2900 0 26899 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 121540 KiB
Current children cumulated memory: 102188 KiB

[startup+12.7002 s]
/proc/loadavg: 1.63 1.25 1.81 5/261 820666
/proc/meminfo: memFree=127423996/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=124260 memory=102896 CPUtime=12.66 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25644 0 0 0 1257 9 0 0 20 0 1 0 159018592 127242240 25724 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 31065 25724 2703 2900 0 27579 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 124260 KiB
Current children cumulated memory: 102896 KiB

[startup+25.5002 s]
/proc/loadavg: 2.24 1.40 1.85 5/259 820669
/proc/meminfo: memFree=127354328/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=125624 memory=106252 CPUtime=25.43 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 25988 0 0 0 2530 13 0 0 20 0 1 0 159018592 128638976 26563 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 31406 26563 2703 2900 0 27920 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 125624 KiB
Current children cumulated memory: 106252 KiB

[startup+51.1054 s]
/proc/loadavg: 2.84 1.61 1.91 5/259 820673
/proc/meminfo: memFree=127301716/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=150556 memory=130116 CPUtime=50.98 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 33214 0 0 0 5037 61 0 0 20 0 1 0 159018592 154169344 32529 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 37639 32529 2719 2900 0 34153 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 150556 KiB
Current children cumulated memory: 130116 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.00 2.02 5/258 820682
/proc/meminfo: memFree=127104380/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=160064 memory=140116 CPUtime=102.06 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 33650 0 0 0 10134 72 0 0 20 0 1 0 159018592 163905536 35029 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 40016 35029 2719 2900 0 36530 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 160064 KiB
Current children cumulated memory: 140116 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.16 5/258 820693
/proc/meminfo: memFree=127051032/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=163204 memory=142716 CPUtime=161.92 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 34361 0 0 0 16111 81 0 0 20 0 1 0 159018592 167120896 35679 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 40801 35679 2719 2900 0 37315 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 163204 KiB
Current children cumulated memory: 142716 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.70 2.28 5/258 820703
/proc/meminfo: memFree=126971780/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=165396 memory=144808 CPUtime=221.75 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 34882 0 0 0 22086 89 0 0 20 0 1 0 159018592 169365504 36202 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 41349 36202 2719 2900 0 37863 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 165396 KiB
Current children cumulated memory: 144808 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 2.99 2.41 5/258 820713
/proc/meminfo: memFree=126959724/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=167776 memory=146880 CPUtime=281.58 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 35397 0 0 0 28061 97 0 0 20 0 1 0 159018592 171802624 36720 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 41944 36720 2719 2900 0 38458 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 167776 KiB
Current children cumulated memory: 146880 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 3.21 2.52 5/257 820728
/proc/meminfo: memFree=126767920/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=168244 memory=147408 CPUtime=341.41 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 35516 0 0 0 34034 107 0 0 20 0 1 0 159018592 172281856 36852 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 42061 36852 2719 2900 0 38575 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 168244 KiB
Current children cumulated memory: 147408 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.37 2.62 5/257 820739
/proc/meminfo: memFree=126710520/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=181492 memory=152168 CPUtime=401.23 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 36209 0 0 0 40005 118 0 0 20 0 1 0 159018592 185847808 38042 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 45373 38042 2719 2900 0 41887 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 181492 KiB
Current children cumulated memory: 152168 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.52 2.72 5/257 820750
/proc/meminfo: memFree=126664992/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=182112 memory=152696 CPUtime=461.05 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 36313 0 0 0 45980 125 0 0 20 0 1 0 159018592 186482688 38174 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 45528 38174 2719 2900 0 42042 0

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

Current children cumulated memory: 193684 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.13 4.06 5/258 821762
/proc/meminfo: memFree=125970764/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=215400 memory=197068 CPUtime=2854.89 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 44288 0 0 0 285072 417 0 0 20 0 1 0 159018592 220569600 49267 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 53850 49267 2719 2900 0 50364 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 215400 KiB
Current children cumulated memory: 197068 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/258 821772
/proc/meminfo: memFree=125934360/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=217448 memory=198716 CPUtime=2914.71 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 44723 0 0 0 291052 419 0 0 20 0 1 0 159018592 222666752 49679 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 54362 49679 2719 2900 0 50876 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 217448 KiB
Current children cumulated memory: 198716 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/258 821784
/proc/meminfo: memFree=125931568/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=237184 memory=200600 CPUtime=2974.52 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 45268 0 0 0 297029 423 0 0 20 0 1 0 159018592 242876416 50150 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 59296 50150 2719 2900 0 55810 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 237184 KiB
Current children cumulated memory: 200600 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/257 822179
/proc/meminfo: memFree=125926172/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=237952 memory=204348 CPUtime=3034.34 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 45724 0 0 0 303009 425 0 0 20 0 1 0 159018592 243662848 51087 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 59488 51087 2719 2900 0 56002 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 237952 KiB
Current children cumulated memory: 204348 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/257 822189
/proc/meminfo: memFree=125892816/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=239744 memory=206076 CPUtime=3094.16 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 46216 0 0 0 308987 429 0 0 20 0 1 0 159018592 245497856 51519 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 59936 51519 2719 2900 0 56450 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 239744 KiB
Current children cumulated memory: 206076 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.08 5/257 822200
/proc/meminfo: memFree=125848220/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=240000 memory=208632 CPUtime=3153.97 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 46408 0 0 0 314967 430 0 0 20 0 1 0 159018592 245760000 52158 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 60000 52158 2719 2900 0 56514 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 240000 KiB
Current children cumulated memory: 208632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/260 822381
/proc/meminfo: memFree=125805440/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=240640 memory=209172 CPUtime=3213.8 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 46627 0 0 0 320947 433 0 0 20 0 1 0 159018592 246415360 52293 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 60160 52293 2719 2900 0 56674 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 240640 KiB
Current children cumulated memory: 209172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/260 822391
/proc/meminfo: memFree=125761360/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=241920 memory=212172 CPUtime=3273.61 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 46906 0 0 0 326926 435 0 0 20 0 1 0 159018592 247726080 53043 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 60480 53043 2719 2900 0 56994 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 241920 KiB
Current children cumulated memory: 212172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/262 822461
/proc/meminfo: memFree=125703912/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=242176 memory=212576 CPUtime=3333.42 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 47103 0 0 0 332906 436 0 0 20 0 1 0 159018592 247988224 53144 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 60544 53144 2719 2900 0 57058 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 242176 KiB
Current children cumulated memory: 212576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/260 822471
/proc/meminfo: memFree=125699556/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=243456 memory=215660 CPUtime=3393.23 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 47399 0 0 0 338885 438 0 0 20 0 1 0 159018592 249298944 53915 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 60864 53915 2719 2900 0 57378 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 215660 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/260 822482
/proc/meminfo: memFree=125694912/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=244096 memory=216192 CPUtime=3453.04 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 47611 0 0 0 344864 440 0 0 20 0 1 0 159018592 249954304 54048 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 61024 54048 2719 2900 0 57538 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 244096 KiB
Current children cumulated memory: 216192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 822492
/proc/meminfo: memFree=125684400/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=245632 memory=217252 CPUtime=3512.86 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 47957 0 0 0 350844 442 0 0 20 0 1 0 159018592 251527168 54313 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 61408 54313 2719 2900 0 57922 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 217252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/258 822503
/proc/meminfo: memFree=125672204/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=246400 memory=220104 CPUtime=3572.68 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 48191 0 0 0 356824 444 0 0 20 0 1 0 159018592 252313600 55026 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 61600 55026 2719 2900 0 58114 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 246400 KiB
Current children cumulated memory: 220104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.17 4.13 4.09 4/255 822508
/proc/meminfo: memFree=126087712/131524600 swapFree=131071996/131071996
[pid=820663] ppid=820660 vsize=247168 memory=220616 CPUtime=3600.08 cores=5,7
/proc/820663/stat : 820663 (ipbhs_static_sc) R 820660 820663 820542 0 -1 4194304 48335 0 0 0 359564 444 0 0 20 0 1 0 159018592 253100032 55154 134679101440 4194304 16068861 140725599867056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 42659840 140725599876134 140725599876221 140725599876221 140725599883236 0
/proc/820663/statm: 61792 55154 2719 2900 0 58306 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 247168 KiB
Current children cumulated memory: 220616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.65 s, system=4.44977 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.8
CPU time (s): 3600.1
CPU user time (s): 3595.65
CPU system time (s): 4.44977
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 247168
Max. memory (cumulated for all children) (KiB): 220616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.44977
maximum resident set size= 220700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48335
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= 43
involuntary context switches= 3144


# summary of solver processes directly reported to runsolver:
#   pid: 820663
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3595.65
#   total CPU system time (s): 4.44977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4459 second user time and 16.4316 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-15 20:35:16
IDJOB=4431768
IDBENCH=146791
IDSOLVER=3057
FILE ID=nodeC031/4431768-1721068503
RUNJOBID= nodeC031-1721068515-820555
SLURM_JOB_ID= 7505521
Free space on /tmp= 889920 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431768-1721068503/watcher-4431768-1721068503 -o /tmp/evaluation-result-4431768-1721068503/solver-4431768-1721068503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820555 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431768-1721068503.opb

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

MD5SUM BENCH= 881f02ab7f3f3b5ffe74a08302b7945a
RANDOM SEED=1024582441

nodeC031.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		: 3674.701
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.55
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		: 3677.387
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.778
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.55
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		: 3608.218
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	: 7006.11
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		: 3674.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.55
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		: 3667.029
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	: 7006.11
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.784
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.55
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		: 3682.880
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127737268 kB
MemAvailable:   129475652 kB
Buffers:          360944 kB
Cached:          2201436 kB
SwapCached:            0 kB
Active:           679436 kB
Inactive:        2487980 kB
Active(anon):       1536 kB
Inactive(anon):   641216 kB
Active(file):     677900 kB
Inactive(file):  1846764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            222540 kB
Writeback:             0 kB
AnonPages:        603356 kB
Mapped:           136900 kB
Shmem:             37720 kB
KReclaimable:     106732 kB
Slab:             213652 kB
SReclaimable:     106732 kB
SUnreclaim:       106920 kB
KernelStack:        4192 kB
PageTables:        10420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     877088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889868 MiB
End job on nodeC031 at 2024-07-15 21:35:26