Trace number 4431975

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.11 3609.01

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
MD5SUMa11c5c9a015f48f3bddc22713bc48593
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 benchmark7
Best CPU time to get the best result obtained on this benchmark1363.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
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 (62263 MiB free)
  memory of node 1: 64510 MiB (58580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431975-1721116644/watcher-4431975-1721116644 -o /tmp/evaluation-result-4431975-1721116644/solver-4431975-1721116644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866904 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431975-1721116644.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=872303, runsolver pid=872300
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123735792/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=36252 memory=19144 CPUtime=0.1 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 2472 0 0 0 9 1 0 0 20 0 1 0 163829783 37122048 4786 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 9063 4786 2703 2900 0 5577 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36252 KiB
Current children cumulated memory: 19144 KiB

[startup+0.205456 s]*
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123732064/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=36384 memory=21984 CPUtime=0.2 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 2721 0 0 0 18 2 0 0 20 0 1 0 163829783 37257216 5496 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 9096 5496 2703 2900 0 5610 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36384 KiB
Current children cumulated memory: 21984 KiB

[startup+0.305414 s]*
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123731588/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=36780 memory=22508 CPUtime=0.3 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 2822 0 0 0 28 2 0 0 20 0 1 0 163829783 37662720 5627 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 9195 5627 2703 2900 0 5709 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36780 KiB
Current children cumulated memory: 22508 KiB

[startup+0.700213 s]
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123728752/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=41216 memory=25736 CPUtime=0.69 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 3638 0 0 0 66 3 0 0 20 0 1 0 163829783 42205184 6434 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 10304 6434 2703 2900 0 6818 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 25736 KiB

[startup+1.50022 s]
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123724572/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=42668 memory=28904 CPUtime=1.49 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 4445 0 0 0 144 5 0 0 20 0 1 0 163829783 43692032 7226 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 10667 7226 2703 2900 0 7181 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 28904 KiB

[startup+3.10535 s]
/proc/loadavg: 4.40 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123713128/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=49772 memory=36240 CPUtime=3.09 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 5254 0 0 0 302 7 0 0 20 0 1 0 163829783 50966528 9060 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 12443 9060 2703 2900 0 8957 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 36240 KiB

[startup+6.30017 s]
/proc/loadavg: 4.37 4.30 4.18 5/257 872304
/proc/meminfo: memFree=123704908/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=59640 memory=43036 CPUtime=6.27 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 6443 0 0 0 616 11 0 0 20 0 1 0 163829783 61071360 10759 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 14910 10759 2703 2900 0 11424 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59640 KiB
Current children cumulated memory: 43036 KiB

[startup+12.7002 s]
/proc/loadavg: 4.34 4.29 4.18 5/257 872307
/proc/meminfo: memFree=123696608/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=64416 memory=47780 CPUtime=12.66 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 7590 0 0 0 1247 19 0 0 20 0 1 0 163829783 65961984 11945 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 16104 11945 2703 2900 0 12618 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64416 KiB
Current children cumulated memory: 47780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 4.29 4.18 5/257 872308
/proc/meminfo: memFree=123672652/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=83284 memory=64636 CPUtime=25.43 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 9812 0 0 0 2512 31 0 0 20 0 1 0 163829783 85282816 16159 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 20821 16159 2703 2900 0 17335 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 83284 KiB
Current children cumulated memory: 64636 KiB

[startup+51.1055 s]
/proc/loadavg: 4.23 4.27 4.17 5/259 872483
/proc/meminfo: memFree=123594940/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=115384 memory=87024 CPUtime=50.97 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 13336 0 0 0 5040 57 0 0 20 0 1 0 163829783 118153216 21756 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 28846 21756 2703 2900 0 25360 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 87024 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/260 872492
/proc/meminfo: memFree=123511992/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=167576 memory=126512 CPUtime=102.04 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 18625 0 0 0 10113 91 0 0 20 0 1 0 163829783 171597824 31628 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 41894 31628 2703 2900 0 38408 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 167576 KiB
Current children cumulated memory: 126512 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.21 4.16 5/260 872505
/proc/meminfo: memFree=123429896/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=184432 memory=153452 CPUtime=161.89 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 22336 0 0 0 16054 135 0 0 20 0 1 0 163829783 188858368 38363 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 46108 38363 2703 2900 0 42622 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 184432 KiB
Current children cumulated memory: 153452 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/258 872527
/proc/meminfo: memFree=123367320/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=191852 memory=163772 CPUtime=221.74 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 23926 0 0 0 22002 172 0 0 20 0 1 0 163829783 196456448 40943 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 47963 40943 2703 2900 0 44477 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 191852 KiB
Current children cumulated memory: 163772 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.16 4.15 6/258 872537
/proc/meminfo: memFree=123285144/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=252248 memory=181784 CPUtime=281.59 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 26384 0 0 0 27956 203 0 0 20 0 1 0 163829783 258301952 45446 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 63062 45446 2703 2900 0 59576 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 252248 KiB
Current children cumulated memory: 181784 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.15 4.15 5/258 872549
/proc/meminfo: memFree=123256996/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=262744 memory=200964 CPUtime=341.44 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 28640 0 0 0 33923 221 0 0 20 0 1 0 163829783 269049856 50241 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 65686 50241 2703 2900 0 62200 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 262744 KiB
Current children cumulated memory: 200964 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.14 5/256 872561
/proc/meminfo: memFree=123222180/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=269136 memory=214396 CPUtime=401.27 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 29936 0 0 0 39892 235 0 0 20 0 1 0 163829783 275595264 53599 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 67284 53599 2703 2900 0 63798 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 269136 KiB
Current children cumulated memory: 214396 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/256 872571
/proc/meminfo: memFree=123186032/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=273516 memory=218092 CPUtime=461.1 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 30879 0 0 0 45839 271 0 0 20 0 1 0 163829783 280080384 54523 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 68379 54523 2703 2900 0 64893 0

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

Current children cumulated memory: 501636 KiB

[startup+2862.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/255 873628
/proc/meminfo: memFree=122380216/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=663616 memory=510108 CPUtime=2855.39 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 70005 0 0 0 284535 1004 0 0 20 0 1 0 163829783 679542784 127527 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 165904 127527 2703 2900 0 162418 0
Current children cumulated CPU time: 2855.39 s
Current children cumulated vsize: 663616 KiB
Current children cumulated memory: 510108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.44 4.29 4.21 5/255 873638
/proc/meminfo: memFree=122359536/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=686148 memory=527292 CPUtime=2915.24 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 74389 0 0 0 290513 1011 0 0 20 0 1 0 163829783 702615552 131823 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 171537 131823 2703 2900 0 168051 0
Current children cumulated CPU time: 2915.24 s
Current children cumulated vsize: 686148 KiB
Current children cumulated memory: 527292 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/255 873649
/proc/meminfo: memFree=122324592/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=716616 memory=547644 CPUtime=2975.1 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 79657 0 0 0 296492 1018 0 0 20 0 1 0 163829783 733814784 136911 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 179154 136911 2703 2900 0 175668 0
Current children cumulated CPU time: 2975.1 s
Current children cumulated vsize: 716616 KiB
Current children cumulated memory: 547644 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.25 4.20 5/255 873660
/proc/meminfo: memFree=122288644/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=733192 memory=560076 CPUtime=3034.91 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 82870 0 0 0 302460 1031 0 0 20 0 1 0 163829783 750788608 140019 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 183298 140019 2703 2900 0 179812 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 733192 KiB
Current children cumulated memory: 560076 KiB

[startup+3102.3 s]
/proc/loadavg: 3.01 3.91 4.08 3/241 873731
/proc/meminfo: memFree=123450240/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=733192 memory=560212 CPUtime=3094.73 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 83122 0 0 0 308435 1038 0 0 20 0 1 0 163829783 750788608 140053 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 183298 140053 2703 2900 0 179812 0
Current children cumulated CPU time: 3094.73 s
Current children cumulated vsize: 733192 KiB
Current children cumulated memory: 560212 KiB

[startup+3162.3 s]
/proc/loadavg: 2.41 3.57 3.96 3/244 873746
/proc/meminfo: memFree=123445912/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=733896 memory=560676 CPUtime=3154.56 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 83394 0 0 0 314412 1044 0 0 20 0 1 0 163829783 751509504 140169 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 183474 140169 2703 2900 0 179988 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 733896 KiB
Current children cumulated memory: 560676 KiB

[startup+3222.3 s]
/proc/loadavg: 2.21 3.30 3.84 3/244 873757
/proc/meminfo: memFree=123443544/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=736136 memory=562308 CPUtime=3214.37 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 84061 0 0 0 320385 1052 0 0 20 0 1 0 163829783 753803264 140577 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 184034 140577 2703 2900 0 180548 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 736136 KiB
Current children cumulated memory: 562308 KiB

[startup+3282.3 s]
/proc/loadavg: 2.16 3.09 3.73 3/244 873768
/proc/meminfo: memFree=123442784/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=736136 memory=562456 CPUtime=3274.19 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 84187 0 0 0 326355 1064 0 0 20 0 1 0 163829783 753803264 140614 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 184034 140614 2703 2900 0 180548 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 736136 KiB
Current children cumulated memory: 562456 KiB

[startup+3342.3 s]
/proc/loadavg: 2.18 2.92 3.63 3/244 873780
/proc/meminfo: memFree=123417668/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=736328 memory=586420 CPUtime=3334.03 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 84477 0 0 0 332333 1070 0 0 20 0 1 0 163829783 753999872 146605 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 184082 146605 2703 2900 0 180596 0
Current children cumulated CPU time: 3334.03 s
Current children cumulated vsize: 736328 KiB
Current children cumulated memory: 586420 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.77 3.53 3/244 873791
/proc/meminfo: memFree=123405884/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=737236 memory=595240 CPUtime=3393.86 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 84952 0 0 0 338302 1084 0 0 20 0 1 0 163829783 754929664 148810 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 184309 148810 2703 2900 0 180823 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 737236 KiB
Current children cumulated memory: 595240 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.64 3.44 3/246 874185
/proc/meminfo: memFree=123399664/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=745416 memory=600140 CPUtime=3453.7 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 86508 0 0 0 344276 1094 0 0 20 0 1 0 163829783 763305984 150035 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 186354 150035 2703 2900 0 182868 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 745416 KiB
Current children cumulated memory: 600140 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.55 3.35 3/243 874195
/proc/meminfo: memFree=123385364/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=770488 memory=615984 CPUtime=3513.57 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 90712 0 0 0 350254 1103 0 0 20 0 1 0 163829783 788979712 153996 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 192622 153996 2703 2900 0 189136 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 770488 KiB
Current children cumulated memory: 615984 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.46 3.27 3/243 874205
/proc/meminfo: memFree=123383272/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=770488 memory=616072 CPUtime=3573.44 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 90953 0 0 0 356231 1113 0 0 20 0 1 0 163829783 788979712 154018 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 192622 154018 2703 2900 0 189136 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 770488 KiB
Current children cumulated memory: 616072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 1.84 2.38 3.22 2/236 874240
/proc/meminfo: memFree=123818464/131524600 swapFree=131071996/131071996
[pid=872303] ppid=872300 vsize=770488 memory=616072 CPUtime=3600.1 cores=4,6
/proc/872303/stat : 872303 (ipbhs_static_sc) R 872300 872303 866893 0 -1 4194304 91103 0 0 0 358892 1118 0 0 20 0 1 0 163829783 788979712 154018 134679101440 4194304 16068861 140726276104048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48394240 140726276109350 140726276109437 140726276109437 140726276116452 0
/proc/872303/statm: 192622 154018 2703 2900 0 189136 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 770488 KiB
Current children cumulated memory: 616072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.92 s, system=11.1871 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.01
CPU time (s): 3600.11
CPU user time (s): 3588.92
CPU system time (s): 11.1871
CPU usage (%): 99.7534
Max. virtual memory (cumulated for all children) (KiB): 770488
Max. memory (cumulated for all children) (KiB): 616072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.92
system time used= 11.1871
maximum resident set size= 616072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91103
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= 192
involuntary context switches= 2834


# summary of solver processes directly reported to runsolver:
#   pid: 872303
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3588.92
#   total CPU system time (s): 11.1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61628 second user time and 15.3809 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-16 09:57:37
IDJOB=4431975
IDBENCH=148775
IDSOLVER=3057
FILE ID=nodeC025/4431975-1721116644
RUNJOBID= nodeC025-1721108875-866904
SLURM_JOB_ID= 7505641
Free space on /tmp= 889872 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431975-1721116644/watcher-4431975-1721116644 -o /tmp/evaluation-result-4431975-1721116644/solver-4431975-1721116644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866904 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431975-1721116644.opb

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

MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1053467187

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		: 3677.024
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		: 3687.623
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		: 3600.389
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		: 3600.111
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		: 3666.232
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		: 3687.625
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		: 3681.943
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.066
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:        123744612 kB
MemAvailable:   129181096 kB
Buffers:          421568 kB
Cached:          5787104 kB
SwapCached:            0 kB
Active:           776604 kB
Inactive:        6265252 kB
Active(anon):       1528 kB
Inactive(anon):   869412 kB
Active(file):     775076 kB
Inactive(file):  5395840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             54716 kB
Writeback:             4 kB
AnonPages:        831252 kB
Mapped:           136296 kB
Shmem:             37720 kB
KReclaimable:     210432 kB
Slab:             329672 kB
SReclaimable:     210432 kB
SUnreclaim:       119240 kB
KernelStack:        4128 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1326668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63264 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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= 889980 MiB
End job on nodeC025 at 2024-07-16 10:57:46