Trace number 4431970

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.09 3612.9

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
MD5SUM91ecd4a7d2e975c8e8a35b07ef7013ef
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark130.294
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables774
Total number of constraints994
Number of constraints which are clauses771
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints192
Minimum length of a constraint2
Maximum length of a constraint192
Number of terms in the objective function 3
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 3
Number of bits of the sum of numbers in the objective function 2
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 380
Number of bits of the biggest sum of numbers9
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: 63968 MiB (41319 MiB free)
  memory of node 1: 64473 MiB (61745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431970-1721117168/watcher-4431970-1721117168 -o /tmp/evaluation-result-4431970-1721117168/solver-4431970-1721117168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843797 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431970-1721117168.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
Current StackSize limit: 8192 KiB

solver pid=845035, runsolver pid=845032

[startup+0.100751 s]*
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105533432/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=32564 memory=15056 CPUtime=0.09 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 1319 0 0 0 9 0 0 0 20 0 1 0 163881821 33345536 3764 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8141 3764 2703 2900 0 4655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 15056 KiB

[startup+0.205515 s]*
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105532592/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=32564 memory=15848 CPUtime=0.19 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 1532 0 0 0 19 0 0 0 20 0 1 0 163881821 33345536 3962 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8141 3962 2703 2900 0 4655 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 15848 KiB

[startup+0.305482 s]*
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105532116/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=32564 memory=16376 CPUtime=0.3 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 1637 0 0 0 29 1 0 0 20 0 1 0 163881821 33345536 4094 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8141 4094 2703 2900 0 4655 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 16376 KiB

[startup+0.700229 s]
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105531560/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=33228 memory=19212 CPUtime=0.69 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 1873 0 0 0 67 2 0 0 20 0 1 0 163881821 34025472 4803 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8307 4803 2703 2900 0 4821 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33228 KiB
Current children cumulated memory: 19212 KiB

[startup+1.50023 s]
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105528924/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=33908 memory=20004 CPUtime=1.48 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 2036 0 0 0 144 4 0 0 20 0 1 0 163881821 34721792 5001 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8477 5001 2703 2900 0 4991 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33908 KiB
Current children cumulated memory: 20004 KiB

[startup+3.1055 s]
/proc/loadavg: 4.18 4.19 4.14 5/254 845036
/proc/meminfo: memFree=105527636/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=34472 memory=20528 CPUtime=3.08 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 2168 0 0 0 303 5 0 0 20 0 1 0 163881821 35299328 5132 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8618 5132 2703 2900 0 5132 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34472 KiB
Current children cumulated memory: 20528 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.19 4.14 5/254 845038
/proc/meminfo: memFree=105525988/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=35900 memory=22108 CPUtime=6.26 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 2592 0 0 0 617 9 0 0 20 0 1 0 163881821 36761600 5527 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 8975 5527 2703 2900 0 5489 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 35900 KiB
Current children cumulated memory: 22108 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.20 4.15 5/254 845038
/proc/meminfo: memFree=105522204/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=40132 memory=26232 CPUtime=12.64 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 3074 0 0 0 1247 17 0 0 20 0 1 0 163881821 41095168 6558 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 10033 6558 2703 2900 0 6547 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 26232 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.15 5/254 845041
/proc/meminfo: memFree=105516032/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=47264 memory=31796 CPUtime=25.39 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 3997 0 0 0 2511 28 0 0 20 0 1 0 163881821 48398336 7949 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 11816 7949 2703 2900 0 8330 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 47264 KiB
Current children cumulated memory: 31796 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.18 4.14 5/254 845044
/proc/meminfo: memFree=105513560/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=49048 memory=33368 CPUtime=50.9 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 4386 0 0 0 5044 46 0 0 20 0 1 0 163881821 50225152 8342 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 12262 8342 2703 2900 0 8776 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 33368 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/254 845052
/proc/meminfo: memFree=105510764/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=51372 memory=35996 CPUtime=101.9 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 5046 0 0 0 10106 84 0 0 20 0 1 0 163881821 52604928 8999 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 12843 8999 2703 2900 0 9357 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 51372 KiB
Current children cumulated memory: 35996 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/254 845062
/proc/meminfo: memFree=105499804/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=61440 memory=46332 CPUtime=161.67 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 6078 0 0 0 16048 119 0 0 20 0 1 0 163881821 62914560 11583 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 15360 11583 2703 2900 0 11874 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 61440 KiB
Current children cumulated memory: 46332 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/254 845073
/proc/meminfo: memFree=105497552/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=62960 memory=47904 CPUtime=221.44 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 6473 0 0 0 21989 155 0 0 20 0 1 0 163881821 64471040 11976 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 15740 11976 2703 2900 0 12254 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 47904 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/256 845089
/proc/meminfo: memFree=105493460/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=78380 memory=51920 CPUtime=281.21 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 7459 0 0 0 27934 187 0 0 20 0 1 0 163881821 80261120 12980 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 19595 12980 2703 2900 0 16109 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 78380 KiB
Current children cumulated memory: 51920 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/256 845099
/proc/meminfo: memFree=105487828/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=79996 memory=55812 CPUtime=340.97 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 7963 0 0 0 33879 218 0 0 20 0 1 0 163881821 81915904 13953 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 19999 13953 2703 2900 0 16513 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 79996 KiB
Current children cumulated memory: 55812 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.17 4.14 5/256 845109
/proc/meminfo: memFree=105486180/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=80288 memory=56340 CPUtime=400.74 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 8061 0 0 0 39824 250 0 0 20 0 1 0 163881821 82214912 14085 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 20072 14085 2703 2900 0 16586 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 80288 KiB
Current children cumulated memory: 56340 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/256 845120
/proc/meminfo: memFree=105480460/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=83160 memory=60484 CPUtime=460.5 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 8637 0 0 0 45773 277 0 0 20 0 1 0 163881821 85155840 15121 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 20790 15121 2703 2900 0 17304 0

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

Current children cumulated memory: 112464 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.19 4.15 6/257 846310
/proc/meminfo: memFree=127295976/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=130564 memory=112464 CPUtime=2911.58 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16162 0 0 0 290091 1067 0 0 20 0 1 0 163881821 133697536 28116 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 32641 28116 2703 2900 0 29155 0
Current children cumulated CPU time: 2911.58 s
Current children cumulated vsize: 130564 KiB
Current children cumulated memory: 112464 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.19 4.15 6/256 846703
/proc/meminfo: memFree=127284416/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=130564 memory=112528 CPUtime=2971.4 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16207 0 0 0 296061 1079 0 0 20 0 1 0 163881821 133697536 28132 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 32641 28132 2703 2900 0 29155 0
Current children cumulated CPU time: 2971.4 s
Current children cumulated vsize: 130564 KiB
Current children cumulated memory: 112528 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.14 6/256 846713
/proc/meminfo: memFree=127281652/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=132236 memory=113772 CPUtime=3031.22 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16578 0 0 0 302029 1093 0 0 20 0 1 0 163881821 135409664 28443 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33059 28443 2703 2900 0 29573 0
Current children cumulated CPU time: 3031.22 s
Current children cumulated vsize: 132236 KiB
Current children cumulated memory: 113772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.14 6/256 846724
/proc/meminfo: memFree=127277196/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=133420 memory=114640 CPUtime=3091.04 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16865 0 0 0 307997 1107 0 0 20 0 1 0 163881821 136622080 28660 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33355 28660 2703 2900 0 29869 0
Current children cumulated CPU time: 3091.04 s
Current children cumulated vsize: 133420 KiB
Current children cumulated memory: 114640 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.14 6/258 846904
/proc/meminfo: memFree=127265588/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=133420 memory=114792 CPUtime=3150.85 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16948 0 0 0 313962 1123 0 0 20 0 1 0 163881821 136622080 28698 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33355 28698 2703 2900 0 29869 0
Current children cumulated CPU time: 3150.85 s
Current children cumulated vsize: 133420 KiB
Current children cumulated memory: 114792 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.13 6/258 846914
/proc/meminfo: memFree=127258580/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=133420 memory=114940 CPUtime=3210.67 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 16994 0 0 0 319931 1136 0 0 20 0 1 0 163881821 136622080 28735 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33355 28735 2703 2900 0 29869 0
Current children cumulated CPU time: 3210.67 s
Current children cumulated vsize: 133420 KiB
Current children cumulated memory: 114940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.16 4.14 6/257 846939
/proc/meminfo: memFree=127247960/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=133900 memory=115148 CPUtime=3270.49 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17122 0 0 0 325899 1150 0 0 20 0 1 0 163881821 137113600 28787 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33475 28787 2703 2900 0 29989 0
Current children cumulated CPU time: 3270.49 s
Current children cumulated vsize: 133900 KiB
Current children cumulated memory: 115148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.12 6/257 846949
/proc/meminfo: memFree=127246448/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=133900 memory=115272 CPUtime=3330.31 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17168 0 0 0 331867 1164 0 0 20 0 1 0 163881821 137113600 28818 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33475 28818 2703 2900 0 29989 0
Current children cumulated CPU time: 3330.31 s
Current children cumulated vsize: 133900 KiB
Current children cumulated memory: 115272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 6/258 846960
/proc/meminfo: memFree=127236972/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135092 memory=116100 CPUtime=3390.12 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17451 0 0 0 337836 1176 0 0 20 0 1 0 163881821 138334208 29025 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33773 29025 2703 2900 0 30287 0
Current children cumulated CPU time: 3390.12 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 116100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.12 6/256 846971
/proc/meminfo: memFree=127232292/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135644 memory=116712 CPUtime=3449.94 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17632 0 0 0 343805 1189 0 0 20 0 1 0 163881821 138899456 29178 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33911 29178 2703 2900 0 30425 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 135644 KiB
Current children cumulated memory: 116712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.11 6/256 846982
/proc/meminfo: memFree=127225404/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135644 memory=116712 CPUtime=3509.76 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17678 0 0 0 349772 1204 0 0 20 0 1 0 163881821 138899456 29178 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33911 29178 2703 2900 0 30425 0
Current children cumulated CPU time: 3509.76 s
Current children cumulated vsize: 135644 KiB
Current children cumulated memory: 116712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 6/255 846992
/proc/meminfo: memFree=127221328/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135644 memory=117832 CPUtime=3569.57 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17730 0 0 0 355739 1218 0 0 20 0 1 0 163881821 138899456 29458 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33911 29458 2703 2900 0 30425 0
Current children cumulated CPU time: 3569.57 s
Current children cumulated vsize: 135644 KiB
Current children cumulated memory: 117832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.06 4.09 4.10 6/255 846998
/proc/meminfo: memFree=127220244/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135996 memory=117988 CPUtime=3600.07 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17829 0 0 0 358786 1221 0 0 20 0 1 0 163881821 139259904 29497 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33999 29497 2703 2900 0 30513 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 135996 KiB
Current children cumulated memory: 117988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.87 s, system=12.2202 s

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

[startup+3612.9 s]
/proc/loadavg: 4.06 4.09 4.10 6/255 846998
/proc/meminfo: memFree=127220244/131524600 swapFree=131071996/131071996
[pid=845035] ppid=845032 vsize=135996 memory=117988 CPUtime=3600.07 cores=0,2
/proc/845035/stat : 845035 (ipbhs_static_sc) R 845032 845035 843787 0 -1 4194304 17829 0 0 0 358786 1221 0 0 20 0 1 0 163881821 139259904 29497 134679101440 4194304 16068861 140730899895312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 54362112 140730899899430 140730899899517 140730899899517 140730899906532 0
/proc/845035/statm: 33999 29497 2703 2900 0 30513 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 135996 KiB
Current children cumulated memory: 117988 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3612.9
CPU time (s): 3600.09
CPU user time (s): 3587.87
CPU system time (s): 12.2202
CPU usage (%): 99.6453
Max. virtual memory (cumulated for all children) (KiB): 135996
Max. memory (cumulated for all children) (KiB): 117988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.87
system time used= 12.2202
maximum resident set size= 118028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17829
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= 40
involuntary context switches= 25432


# summary of solver processes directly reported to runsolver:
#   pid: 845035
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3587.87
#   total CPU system time (s): 12.2202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78535 second user time and 16.4913 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 10:06:21
IDJOB=4431970
IDBENCH=148776
IDSOLVER=3057
FILE ID=nodeC023/4431970-1721117168
RUNJOBID= nodeC023-1721115599-843797
SLURM_JOB_ID= 7505653
Free space on /tmp= 889660 MiB

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

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

MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=543860277

nodeC023.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		: 3678.784
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.61
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.585
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
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		: 3660.019
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.61
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.851
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
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		: 3677.527
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.61
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.620
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
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		: 3611.845
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.61
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		: 3599.833
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105538716 kB
MemAvailable:   107400052 kB
Buffers:          425980 kB
Cached:          2257696 kB
SwapCached:            0 kB
Active:          1028040 kB
Inactive:       24289252 kB
Active(anon):       1572 kB
Inactive(anon): 22669800 kB
Active(file):    1026468 kB
Inactive(file):  1619452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             53724 kB
Writeback:             0 kB
AnonPages:      22632244 kB
Mapped:           136524 kB
Shmem:             37720 kB
KReclaimable:     110480 kB
Slab:             218244 kB
SReclaimable:     110480 kB
SUnreclaim:       107764 kB
KernelStack:        4048 kB
PageTables:        53672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   24268340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6694912 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889864 MiB
End job on nodeC023 at 2024-07-16 11:06:34