Trace number 4431755

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.05 3608.52

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
MD5SUM536cfe435eeefcaf3068230629f950df
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 benchmark1398254
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33244
Total number of constraints456
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
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: 64096 MiB (63274 MiB free)
  memory of node 1: 64473 MiB (62060 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431755-1721071926/watcher-4431755-1721071926 -o /tmp/evaluation-result-4431755-1721071926/solver-4431755-1721071926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815890 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431755-1721071926.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100101 s]*
/proc/loadavg: 3.59 4.01 4.10 6/250 815958
/proc/meminfo: memFree=128316976/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=42620 memory=16768 CPUtime=0.1 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 3656 0 0 0 9 1 0 0 20 0 1 0 159351469 43642880 4126 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 10655 4192 1135 2900 0 7169 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42620 KiB
Current children cumulated memory: 16768 KiB

[startup+0.215512 s]*
/proc/loadavg: 3.59 4.01 4.10 7/247 815966
/proc/meminfo: memFree=128253280/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=105280 memory=83840 CPUtime=0.22 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 19409 0 0 0 16 6 0 0 20 0 1 0 159351469 107806720 20960 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 26320 20960 2383 2900 0 22834 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 83840 KiB

[startup+0.31518 s]*
/proc/loadavg: 3.59 4.01 4.10 4/247 815986
/proc/meminfo: memFree=128223340/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=105280 memory=83840 CPUtime=0.32 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 19412 0 0 0 26 6 0 0 20 0 1 0 159351469 107806720 20960 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 26320 20960 2383 2900 0 22834 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 83840 KiB

[startup+0.700268 s]
/proc/loadavg: 3.59 4.01 4.10 5/240 816038
/proc/meminfo: memFree=128329208/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=105280 memory=83840 CPUtime=0.69 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 19412 0 0 0 63 6 0 0 20 0 1 0 159351469 107806720 20960 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 26320 20960 2383 2900 0 22834 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 83840 KiB

[startup+1.50027 s]
/proc/loadavg: 3.59 4.01 4.10 4/241 816080
/proc/meminfo: memFree=128269484/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=105280 memory=83840 CPUtime=1.49 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 19412 0 0 0 143 6 0 0 20 0 1 0 159351469 107806720 20960 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 26320 20960 2383 2900 0 22834 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 83840 KiB

[startup+3.11296 s]
/proc/loadavg: 3.59 4.01 4.10 5/247 816174
/proc/meminfo: memFree=128170396/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=206220 memory=177908 CPUtime=3.09 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 33432 0 0 0 291 18 0 0 20 0 1 0 159351469 211169280 44477 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 51555 44477 2751 2900 0 48069 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 206220 KiB
Current children cumulated memory: 177908 KiB

[startup+6.30026 s]
/proc/loadavg: 3.62 4.01 4.10 5/252 816190
/proc/meminfo: memFree=127508068/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=233532 memory=205328 CPUtime=6.27 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 38262 0 0 0 575 52 0 0 20 0 1 0 159351469 239136768 51332 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 58383 51332 2751 2900 0 54897 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 233532 KiB
Current children cumulated memory: 205328 KiB

[startup+12.7003 s]
/proc/loadavg: 3.65 4.01 4.10 6/252 816191
/proc/meminfo: memFree=127321816/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=274004 memory=234008 CPUtime=12.65 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 41827 0 0 0 1186 79 0 0 20 0 1 0 159351469 280580096 58502 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 68501 58502 2751 2900 0 65015 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 274004 KiB
Current children cumulated memory: 234008 KiB

[startup+25.5003 s]
/proc/loadavg: 3.80 4.02 4.10 5/252 816193
/proc/meminfo: memFree=126842104/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=341588 memory=295236 CPUtime=25.42 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 51557 0 0 0 2395 147 0 0 20 0 1 0 159351469 349786112 73809 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 85397 73809 2751 2900 0 81911 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 341588 KiB
Current children cumulated memory: 295236 KiB

[startup+51.1134 s]
/proc/loadavg: 3.87 4.02 4.10 5/252 816196
/proc/meminfo: memFree=126529212/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=467980 memory=408480 CPUtime=50.96 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 69823 0 0 0 4876 220 0 0 20 0 1 0 159351469 479211520 102120 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 116995 102120 2751 2900 0 113509 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 467980 KiB
Current children cumulated memory: 408480 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.03 4.09 6/251 816298
/proc/meminfo: memFree=127270172/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=672192 memory=557964 CPUtime=102.02 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 92987 0 0 0 9876 326 0 0 20 0 1 0 159351469 688324608 139491 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 168048 139491 2751 2900 0 164562 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 672192 KiB
Current children cumulated memory: 557964 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.04 4.09 6/251 816310
/proc/meminfo: memFree=127062800/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=717112 memory=669644 CPUtime=161.88 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 106765 0 0 0 15804 384 0 0 20 0 1 0 159351469 734322688 167411 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 179278 167411 2751 2900 0 175792 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 717112 KiB
Current children cumulated memory: 669644 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.05 4.09 6/247 816320
/proc/meminfo: memFree=126940884/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=864980 memory=743380 CPUtime=221.74 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 114666 0 0 0 21749 425 0 0 20 0 1 0 159351469 885739520 185845 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 216245 185845 2751 2900 0 212759 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 864980 KiB
Current children cumulated memory: 743380 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.08 4.10 6/247 816330
/proc/meminfo: memFree=126847896/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=884200 memory=802412 CPUtime=281.59 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 120519 0 0 0 27706 453 0 0 20 0 1 0 159351469 905420800 200603 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 221050 200603 2751 2900 0 217564 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 884200 KiB
Current children cumulated memory: 802412 KiB

[startup+342.301 s]
/proc/loadavg: 4.86 4.30 4.17 6/241 816341
/proc/meminfo: memFree=126709168/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=1053032 memory=937228 CPUtime=341.46 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 146259 0 0 0 33668 478 0 0 20 0 1 0 159351469 1078304768 234307 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 263258 234307 2751 2900 0 259772 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 1053032 KiB
Current children cumulated memory: 937228 KiB

[startup+402.3 s]
/proc/loadavg: 4.51 4.29 4.18 6/241 816351
/proc/meminfo: memFree=126572428/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=1369836 memory=1040256 CPUtime=401.32 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 165547 0 0 0 39633 499 0 0 20 0 1 0 159351469 1402712064 260064 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 342459 260064 2751 2900 0 338973 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 1369836 KiB
Current children cumulated memory: 1040256 KiB

[startup+462.3 s]
/proc/loadavg: 4.77 4.42 4.23 6/241 816361
/proc/meminfo: memFree=126492908/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=1393064 memory=1094600 CPUtime=461.18 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 172690 0 0 0 45596 522 0 0 20 0 1 0 159351469 1426497536 273650 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 348266 273650 2751 2900 0 344780 0

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

Current children cumulated memory: 2556160 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.10 6/244 817377
/proc/meminfo: memFree=124701628/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3128364 memory=2567504 CPUtime=2915.51 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 355915 0 0 0 290592 959 0 0 20 0 1 0 159351469 3203444736 641876 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 782091 641876 2751 2900 0 778605 0
Current children cumulated CPU time: 2915.51 s
Current children cumulated vsize: 3128364 KiB
Current children cumulated memory: 2567504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.63 4.24 4.15 6/244 817478
/proc/meminfo: memFree=124894492/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3129644 memory=2576612 CPUtime=2975.36 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 356960 0 0 0 296571 965 0 0 20 0 1 0 159351469 3204755456 644153 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 782411 644153 2751 2900 0 778925 0
Current children cumulated CPU time: 2975.36 s
Current children cumulated vsize: 3129644 KiB
Current children cumulated memory: 2576612 KiB

[startup+3042.3 s]
/proc/loadavg: 4.40 4.25 4.16 6/244 817535
/proc/meminfo: memFree=124960228/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3131948 memory=2588440 CPUtime=3035.23 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 358370 0 0 0 302552 971 0 0 20 0 1 0 159351469 3207114752 647110 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 782987 647110 2751 2900 0 779501 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 3131948 KiB
Current children cumulated memory: 2588440 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.23 4.16 6/244 818234
/proc/meminfo: memFree=124894412/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3138352 memory=2600640 CPUtime=3095.09 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 360422 0 0 0 308531 978 0 0 20 0 1 0 159351469 3213672448 650160 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 784588 650160 2751 2900 0 781102 0
Current children cumulated CPU time: 3095.09 s
Current children cumulated vsize: 3138352 KiB
Current children cumulated memory: 2600640 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.20 4.15 6/244 818245
/proc/meminfo: memFree=124855032/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3143984 memory=2615276 CPUtime=3154.94 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 362385 0 0 0 314511 983 0 0 20 0 1 0 159351469 3219439616 653819 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 785996 653819 2751 2900 0 782510 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 3143984 KiB
Current children cumulated memory: 2615276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.15 6/243 818640
/proc/meminfo: memFree=124828508/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3146032 memory=2624608 CPUtime=3214.79 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 363451 0 0 0 320491 988 0 0 20 0 1 0 159351469 3221536768 656152 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 786508 656152 2751 2900 0 783022 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 3146032 KiB
Current children cumulated memory: 2624608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.14 6/243 818650
/proc/meminfo: memFree=124800088/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3146544 memory=2633360 CPUtime=3274.64 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 364672 0 0 0 326470 994 0 0 20 0 1 0 159351469 3222061056 658340 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 786636 658340 2751 2900 0 783150 0
Current children cumulated CPU time: 3274.64 s
Current children cumulated vsize: 3146544 KiB
Current children cumulated memory: 2633360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.14 4.14 6/243 818660
/proc/meminfo: memFree=124786148/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3147056 memory=2641924 CPUtime=3334.49 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 365897 0 0 0 332450 999 0 0 20 0 1 0 159351469 3222585344 660481 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 786764 660481 2751 2900 0 783278 0
Current children cumulated CPU time: 3334.49 s
Current children cumulated vsize: 3147056 KiB
Current children cumulated memory: 2641924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.14 6/244 818839
/proc/meminfo: memFree=124770352/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3151664 memory=2650888 CPUtime=3394.34 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 367547 0 0 0 338429 1005 0 0 20 0 1 0 159351469 3227303936 662722 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 787916 662722 2751 2900 0 784430 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 3151664 KiB
Current children cumulated memory: 2650888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.14 6/244 818853
/proc/meminfo: memFree=124758016/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3152944 memory=2660964 CPUtime=3454.19 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 369152 0 0 0 344406 1013 0 0 20 0 1 0 159351469 3228614656 665241 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 788236 665241 2751 2900 0 784750 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 3152944 KiB
Current children cumulated memory: 2660964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/244 818920
/proc/meminfo: memFree=124743204/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3153712 memory=2670708 CPUtime=3514.03 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 370605 0 0 0 350385 1018 0 0 20 0 1 0 159351469 3229401088 667677 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 788428 667677 2751 2900 0 784942 0
Current children cumulated CPU time: 3514.03 s
Current children cumulated vsize: 3153712 KiB
Current children cumulated memory: 2670708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.11 4.12 6/244 818930
/proc/meminfo: memFree=124731996/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3154224 memory=2679296 CPUtime=3573.88 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 371590 0 0 0 356364 1024 0 0 20 0 1 0 159351469 3229925376 669824 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 788556 669824 2751 2900 0 785070 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 3154224 KiB
Current children cumulated memory: 2679296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.08 4.11 4.12 5/244 818934
/proc/meminfo: memFree=124720724/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3154480 memory=2683564 CPUtime=3600.01 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 372239 0 0 0 358975 1026 0 0 20 0 1 0 159351469 3230187520 670891 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 788620 670891 2751 2900 0 785134 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3154480 KiB
Current children cumulated memory: 2683564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.76 s, system=10.2874 s

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

[startup+3608.5 s]
/proc/loadavg: 4.08 4.11 4.12 5/244 818934
/proc/meminfo: memFree=124720724/131655788 swapFree=131071996/131071996
[pid=815950] ppid=815940 vsize=3154480 memory=2683564 CPUtime=3600.01 cores=4,6
/proc/815950/stat : 815950 (ipbhs_static_sc) R 815940 815950 815879 0 -1 4194304 372239 0 0 0 358975 1026 0 0 20 0 1 0 159351469 3230187520 670891 134679101440 4194304 16068861 140727431240752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39374848 140727431246886 140727431246973 140727431246973 140727431253988 0
/proc/815950/statm: 788620 670891 2751 2900 0 785134 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3154480 KiB
Current children cumulated memory: 2683564 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.52
CPU time (s): 3600.05
CPU user time (s): 3589.76
CPU system time (s): 10.2874
CPU usage (%): 99.765
Max. virtual memory (cumulated for all children) (KiB): 3154480
Max. memory (cumulated for all children) (KiB): 2683564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.76
system time used= 10.2874
maximum resident set size= 2683564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372239
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= 245
involuntary context switches= 4714


# summary of solver processes directly reported to runsolver:
#   pid: 815950
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3589.76
#   total CPU system time (s): 10.2874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2891 second user time and 35.1168 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 21:32:18
IDJOB=4431755
IDBENCH=146850
IDSOLVER=3057
FILE ID=nodeC005/4431755-1721071926
RUNJOBID= nodeC005-1721071938-815890
SLURM_JOB_ID= 7505537
Free space on /tmp= 723764 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431755-1721071926/watcher-4431755-1721071926 -o /tmp/evaluation-result-4431755-1721071926/solver-4431755-1721071926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815890 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431755-1721071926.opb

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

MD5SUM BENCH= 536cfe435eeefcaf3068230629f950df
RANDOM SEED=850641592

nodeC005.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	: 0xb00001f
cpu MHz		: 1360.402
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.172
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.173
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128344148 kB
MemAvailable:   129969464 kB
Buffers:          359028 kB
Cached:          2092708 kB
SwapCached:            0 kB
Active:           641204 kB
Inactive:        2105992 kB
Active(anon):       3328 kB
Inactive(anon):   330176 kB
Active(file):     637876 kB
Inactive(file):  1775816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            218252 kB
Writeback:             0 kB
AnonPages:        294856 kB
Mapped:           104688 kB
Shmem:             37704 kB
KReclaimable:     103648 kB
Slab:             204764 kB
SReclaimable:     103648 kB
SUnreclaim:       101116 kB
KernelStack:        3776 kB
PageTables:         9508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     686348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723568 MiB
End job on nodeC005 at 2024-07-15 22:32:27