Trace number 4431931

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.07 3611.3

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUMe3f6e03fc0c8fc921c0242da7dc19bcf
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 benchmark21
Best CPU time to get the best result obtained on this benchmark191.711
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
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 (57681 MiB free)
  memory of node 1: 64510 MiB (58196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431931-1721112477/watcher-4431931-1721112477 -o /tmp/evaluation-result-4431931-1721112477/solver-4431931-1721112477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866903 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431931-1721112477.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100084 s]*
/proc/loadavg: 4.43 4.23 4.13 5/255 869461
/proc/meminfo: memFree=118643552/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=39460 memory=17904 CPUtime=0.09 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 3437 0 0 0 7 2 0 0 20 0 1 0 163413066 40407040 4476 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 9865 4476 1135 2900 0 6379 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39460 KiB
Current children cumulated memory: 17904 KiB

[startup+0.204776 s]*
/proc/loadavg: 4.43 4.23 4.13 5/255 869461
/proc/meminfo: memFree=118593320/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=93540 memory=74288 CPUtime=0.2 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 16124 0 0 0 15 5 0 0 20 0 1 0 163413066 95784960 18572 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 23385 18572 2655 2900 0 19899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 74288 KiB

[startup+0.30561 s]*
/proc/loadavg: 4.43 4.23 4.13 5/255 869461
/proc/meminfo: memFree=118592172/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=93884 memory=74552 CPUtime=0.3 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 16183 0 0 0 24 6 0 0 20 0 1 0 163413066 96137216 18638 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 23471 18638 2655 2900 0 19985 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93884 KiB
Current children cumulated memory: 74552 KiB

[startup+0.700152 s]
/proc/loadavg: 4.43 4.23 4.13 5/255 869461
/proc/meminfo: memFree=118592032/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=97784 memory=80912 CPUtime=0.69 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 17719 0 0 0 62 7 0 0 20 0 1 0 163413066 100130816 20228 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 24446 20228 2735 2900 0 20960 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97784 KiB
Current children cumulated memory: 80912 KiB

[startup+1.50015 s]
/proc/loadavg: 4.43 4.23 4.13 5/255 869461
/proc/meminfo: memFree=118582956/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=100504 memory=84048 CPUtime=1.48 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 18490 0 0 0 138 10 0 0 20 0 1 0 163413066 102916096 21012 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 25126 21012 2751 2900 0 21640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 84048 KiB

[startup+3.1056 s]
/proc/loadavg: 4.48 4.25 4.14 5/255 869461
/proc/meminfo: memFree=118568860/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=112104 memory=89864 CPUtime=3.08 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 19429 0 0 0 297 11 0 0 20 0 1 0 163413066 114794496 22466 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 28026 22466 2751 2900 0 24540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 89864 KiB

[startup+6.30015 s]
/proc/loadavg: 4.48 4.25 4.14 5/255 869461
/proc/meminfo: memFree=118552268/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=123780 memory=99684 CPUtime=6.27 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 20354 0 0 0 615 12 0 0 20 0 1 0 163413066 126750720 24921 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 30945 24921 2751 2900 0 27459 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123780 KiB
Current children cumulated memory: 99684 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.24 4.14 5/255 869462
/proc/meminfo: memFree=118529320/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=125924 memory=110208 CPUtime=12.65 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 20947 0 0 0 1251 14 0 0 20 0 1 0 163413066 128946176 27552 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 31481 27552 2751 2900 0 27995 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125924 KiB
Current children cumulated memory: 110208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.42 4.25 4.14 5/255 869464
/proc/meminfo: memFree=118501748/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=150088 memory=127468 CPUtime=25.41 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 22701 0 0 0 2522 19 0 0 20 0 1 0 163413066 153690112 31867 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 37522 31867 2751 2900 0 34036 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150088 KiB
Current children cumulated memory: 127468 KiB

[startup+51.1053 s]
/proc/loadavg: 4.27 4.23 4.14 5/255 869468
/proc/meminfo: memFree=118441876/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=189500 memory=145084 CPUtime=50.93 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 25074 0 0 0 5065 28 0 0 20 0 1 0 163413066 194048000 36271 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 47375 36271 2751 2900 0 43889 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 189500 KiB
Current children cumulated memory: 145084 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.20 4.13 5/255 869477
/proc/meminfo: memFree=118381436/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=195388 memory=155420 CPUtime=101.96 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 26639 0 0 0 10154 42 0 0 20 0 1 0 163413066 200077312 38855 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 48847 38855 2751 2900 0 45361 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 195388 KiB
Current children cumulated memory: 155420 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/257 869492
/proc/meminfo: memFree=118359252/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=196496 memory=158960 CPUtime=161.77 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 27040 0 0 0 16113 64 0 0 20 0 1 0 163413066 201211904 39740 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 49124 39740 2751 2900 0 45638 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 196496 KiB
Current children cumulated memory: 158960 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/257 869503
/proc/meminfo: memFree=118335460/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=201264 memory=174132 CPUtime=221.58 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 28292 0 0 0 22073 85 0 0 20 0 1 0 163413066 206094336 43533 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 50316 43533 2751 2900 0 46830 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 201264 KiB
Current children cumulated memory: 174132 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/257 869515
/proc/meminfo: memFree=118272868/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=252228 memory=213112 CPUtime=281.37 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 28875 0 0 0 28033 104 0 0 20 0 1 0 163413066 258281472 53278 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 63057 53278 2751 2900 0 59571 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 252228 KiB
Current children cumulated memory: 213112 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/257 869526
/proc/meminfo: memFree=118210128/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=254828 memory=230004 CPUtime=341.18 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 29519 0 0 0 34005 113 0 0 20 0 1 0 163413066 260943872 57501 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 63707 57501 2751 2900 0 60221 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 254828 KiB
Current children cumulated memory: 230004 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/257 869537
/proc/meminfo: memFree=118186064/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=342132 memory=254292 CPUtime=401 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 31051 0 0 0 39978 122 0 0 20 0 1 0 163413066 350343168 63573 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 85533 63573 2751 2900 0 82047 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 342132 KiB
Current children cumulated memory: 254292 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/257 869931
/proc/meminfo: memFree=118159912/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=350152 memory=274404 CPUtime=460.8 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 32487 0 0 0 45937 143 0 0 20 0 1 0 163413066 358555648 68601 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 87538 68601 2751 2900 0 84052 0

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

Current children cumulated memory: 483316 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 871273
/proc/meminfo: memFree=122215728/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=517296 memory=483720 CPUtime=2913.13 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 45570 0 0 0 290413 900 0 0 20 0 1 0 163413066 529711104 120930 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 129324 120930 2751 2900 0 125838 0
Current children cumulated CPU time: 2913.13 s
Current children cumulated vsize: 517296 KiB
Current children cumulated memory: 483720 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/255 871285
/proc/meminfo: memFree=122200940/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=517296 memory=483752 CPUtime=2972.95 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 45757 0 0 0 296373 922 0 0 20 0 1 0 163413066 529711104 120938 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 129324 120938 2751 2900 0 125838 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 517296 KiB
Current children cumulated memory: 483752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 871295
/proc/meminfo: memFree=122199372/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=517296 memory=483812 CPUtime=3032.78 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 45927 0 0 0 302343 935 0 0 20 0 1 0 163413066 529711104 120953 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 129324 120953 2751 2900 0 125838 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 517296 KiB
Current children cumulated memory: 483812 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 871305
/proc/meminfo: memFree=122194164/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=517296 memory=483812 CPUtime=3092.61 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 46114 0 0 0 308318 943 0 0 20 0 1 0 163413066 529711104 120953 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 129324 120953 2751 2900 0 125838 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 517296 KiB
Current children cumulated memory: 483812 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 871320
/proc/meminfo: memFree=122176888/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=517296 memory=500196 CPUtime=3152.43 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 46356 0 0 0 314293 950 0 0 20 0 1 0 163413066 529711104 125049 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 129324 125049 2751 2900 0 125838 0
Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 517296 KiB
Current children cumulated memory: 500196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 871331
/proc/meminfo: memFree=122082972/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=733432 memory=513480 CPUtime=3212.26 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 47175 0 0 0 320255 971 0 0 20 0 1 0 163413066 751034368 128370 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 183358 128370 2751 2900 0 179872 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 733432 KiB
Current children cumulated memory: 513480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 871341
/proc/meminfo: memFree=122073520/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=733432 memory=513704 CPUtime=3272.07 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 47330 0 0 0 326211 996 0 0 20 0 1 0 163413066 751034368 128426 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 183358 128426 2751 2900 0 179872 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 733432 KiB
Current children cumulated memory: 513704 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 871352
/proc/meminfo: memFree=122069180/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=733736 memory=513916 CPUtime=3331.9 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 47526 0 0 0 332172 1018 0 0 20 0 1 0 163413066 751345664 128479 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 183434 128479 2751 2900 0 179948 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 733736 KiB
Current children cumulated memory: 513916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 871364
/proc/meminfo: memFree=122052192/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=748708 memory=522556 CPUtime=3391.73 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 49738 0 0 0 338132 1041 0 0 20 0 1 0 163413066 766676992 130639 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 187177 130639 2751 2900 0 183691 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 748708 KiB
Current children cumulated memory: 522556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 871374
/proc/meminfo: memFree=122045132/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=753828 memory=525988 CPUtime=3451.54 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 50705 0 0 0 344093 1061 0 0 20 0 1 0 163413066 771919872 131497 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 188457 131497 2751 2900 0 184971 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 753828 KiB
Current children cumulated memory: 525988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 871384
/proc/meminfo: memFree=122026512/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=753828 memory=526016 CPUtime=3511.35 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 50842 0 0 0 350056 1079 0 0 20 0 1 0 163413066 771919872 131504 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 188457 131504 2751 2900 0 184971 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 753828 KiB
Current children cumulated memory: 526016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 871397
/proc/meminfo: memFree=122022972/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=757288 memory=528804 CPUtime=3571.15 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 51694 0 0 0 356025 1090 0 0 20 0 1 0 163413066 775462912 132201 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 189322 132201 2751 2900 0 185836 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 757288 KiB
Current children cumulated memory: 528804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 871494
/proc/meminfo: memFree=122666208/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=757288 memory=528804 CPUtime=3600.05 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 51729 0 0 0 358910 1095 0 0 20 0 1 0 163413066 775462912 132201 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 189322 132201 2751 2900 0 185836 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 757288 KiB
Current children cumulated memory: 528804 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.11 s, system=10.9555 s

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

[startup+3611.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 871494
/proc/meminfo: memFree=122666208/131524600 swapFree=131071996/131071996
[pid=869460] ppid=869457 vsize=757288 memory=528804 CPUtime=3600.05 cores=0,2
/proc/869460/stat : 869460 (ipbhs_static_sc) R 869457 869460 866893 0 -1 4194304 51729 0 0 0 358910 1095 0 0 20 0 1 0 163413066 775462912 132201 134679101440 4194304 16068861 140723978496096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 47648768 140723978499110 140723978499197 140723978499197 140723978506212 0
/proc/869460/statm: 189322 132201 2751 2900 0 185836 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 757288 KiB
Current children cumulated memory: 528804 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.3
CPU time (s): 3600.07
CPU user time (s): 3589.11
CPU system time (s): 10.9555
CPU usage (%): 99.6888
Max. virtual memory (cumulated for all children) (KiB): 757288
Max. memory (cumulated for all children) (KiB): 528804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.11
system time used= 10.9555
maximum resident set size= 528804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51729
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= 101
involuntary context switches= 24675


# summary of solver processes directly reported to runsolver:
#   pid: 869460
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3589.11
#   total CPU system time (s): 10.9555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91162 second user time and 15.7771 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-16 08:48:10
IDJOB=4431931
IDBENCH=148187
IDSOLVER=3057
FILE ID=nodeC025/4431931-1721112477
RUNJOBID= nodeC025-1721108875-866903
SLURM_JOB_ID= 7505641
Free space on /tmp= 889852 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431931-1721112477/watcher-4431931-1721112477 -o /tmp/evaluation-result-4431931-1721112477/solver-4431931-1721112477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866903 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431931-1721112477.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1346174971

nodeC025.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		: 3673.233
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.72
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		: 3682.214
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	: 7007.09
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		: 3682.353
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.72
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		: 3599.918
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	: 7007.09
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		: 3679.545
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.72
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		: 3682.239
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	: 7007.09
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		: 3600.331
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.72
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		: 3600.097
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118659428 kB
MemAvailable:   124065764 kB
Buffers:          419264 kB
Cached:          5759660 kB
SwapCached:            0 kB
Active:           795252 kB
Inactive:       11322024 kB
Active(anon):       1552 kB
Inactive(anon):  5974552 kB
Active(file):     793700 kB
Inactive(file):  5347472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113352 kB
Writeback:             0 kB
AnonPages:       5935104 kB
Mapped:           138664 kB
Shmem:             37720 kB
KReclaimable:     209624 kB
Slab:             328776 kB
SReclaimable:     209624 kB
SUnreclaim:       119152 kB
KernelStack:        4108 kB
PageTables:        20732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6738460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4464640 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:      273108 kB
DirectMap2M:    36200448 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889816 MiB
End job on nodeC025 at 2024-07-16 09:48:21