Trace number 4432029

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.42

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
MD5SUM1fbef458f61b2221fcf0474a376c4852
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15008
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint65
Maximum length of a constraint90
Number of terms in the objective function 15008
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 15008
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15008
Number of bits of the biggest sum of numbers14
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: 64059 MiB (60583 MiB free)
  memory of node 1: 64510 MiB (62652 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=841286, runsolver pid=841283

[startup+0.10031 s]*
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=126188376/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=33968 memory=10100 CPUtime=0.1 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 1724 0 0 0 10 0 0 0 20 0 1 0 164513942 34783232 2525 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 8492 2525 1023 2900 0 5006 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 10100 KiB

[startup+0.213023 s]*
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=126177624/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=44940 memory=20924 CPUtime=0.21 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 4465 0 0 0 20 1 0 0 20 0 1 0 164513942 46018560 5231 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 11235 5231 1023 2900 0 7749 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44940 KiB
Current children cumulated memory: 20924 KiB

[startup+0.312578 s]*
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=126167740/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=54828 memory=30692 CPUtime=0.31 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 6900 0 0 0 30 1 0 0 20 0 1 0 164513942 56143872 7673 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 13707 7673 1023 2900 0 10221 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 30692 KiB

[startup+0.70033 s]
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=126148160/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=91376 memory=67184 CPUtime=0.69 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 16179 0 0 0 66 3 0 0 20 0 1 0 164513942 93569024 16796 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 22844 16796 1023 2900 0 19358 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91376 KiB
Current children cumulated memory: 67184 KiB

[startup+1.50033 s]
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=126100444/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=167448 memory=146744 CPUtime=1.48 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 35676 0 0 0 141 7 0 0 20 0 1 0 164513942 171466752 36686 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 41862 36686 1135 2900 0 38376 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167448 KiB
Current children cumulated memory: 146744 KiB

[startup+3.11264 s]
/proc/loadavg: 4.29 4.40 4.28 5/244 841287
/proc/meminfo: memFree=125730892/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=548988 memory=528716 CPUtime=3.09 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 126723 0 0 0 272 37 0 0 20 0 1 0 164513942 562163712 132113 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 137247 132179 2559 2900 0 133761 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 548988 KiB
Current children cumulated memory: 528716 KiB

[startup+6.30031 s]
/proc/loadavg: 4.34 4.41 4.28 5/244 841287
/proc/meminfo: memFree=124984432/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=1242064 memory=1208964 CPUtime=6.26 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 266109 0 0 0 567 59 0 0 20 0 1 0 164513942 1271873536 302241 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 310516 302241 2671 2900 0 307030 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1242064 KiB
Current children cumulated memory: 1208964 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.40 4.28 5/244 841289
/proc/meminfo: memFree=123445792/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=3075996 memory=2735892 CPUtime=12.65 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 281591 0 0 0 1172 93 0 0 20 0 1 0 164513942 3149819904 683973 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 768999 683973 2671 2900 0 765513 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3075996 KiB
Current children cumulated memory: 2735892 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.38 4.27 5/244 841290
/proc/meminfo: memFree=122344828/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4179532 memory=3820940 CPUtime=25.42 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 332693 0 0 0 2407 135 0 0 20 0 1 0 164513942 4279840768 955235 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1044883 955235 2719 2900 0 1041397 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4179532 KiB
Current children cumulated memory: 3820940 KiB

[startup+51.1128 s]
/proc/loadavg: 4.23 4.37 4.27 5/244 841295
/proc/meminfo: memFree=121657584/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4854948 memory=4472164 CPUtime=50.98 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 447106 0 0 0 4928 170 0 0 20 0 1 0 164513942 4971466752 1118041 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1213737 1118041 2863 2900 0 1210251 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 4854948 KiB
Current children cumulated memory: 4472164 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.32 4.26 5/244 841303
/proc/meminfo: memFree=121610348/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4865704 memory=4485320 CPUtime=102.05 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 448233 0 0 0 10032 173 0 0 20 0 1 0 164513942 4982480896 1121330 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1216426 1121330 2863 2900 0 1212940 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 4865704 KiB
Current children cumulated memory: 4485320 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.26 4.25 5/244 841699
/proc/meminfo: memFree=121609692/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4865704 memory=4485320 CPUtime=161.93 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 448728 0 0 0 16017 176 0 0 20 0 1 0 164513942 4982480896 1121330 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1216426 1121330 2863 2900 0 1212940 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 4865704 KiB
Current children cumulated memory: 4485320 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.24 4.24 5/244 841709
/proc/meminfo: memFree=121608856/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4865704 memory=4485320 CPUtime=221.79 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 449131 0 0 0 22001 178 0 0 20 0 1 0 164513942 4982480896 1121330 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1216426 1121330 2863 2900 0 1212940 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 4865704 KiB
Current children cumulated memory: 4485320 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.21 4.23 5/244 841719
/proc/meminfo: memFree=121606680/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4876720 memory=4486512 CPUtime=281.65 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 449834 0 0 0 27984 181 0 0 20 0 1 0 164513942 4993761280 1121628 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1219180 1121628 2863 2900 0 1215694 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 4876720 KiB
Current children cumulated memory: 4486512 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.22 4.23 5/246 841899
/proc/meminfo: memFree=121603688/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4876720 memory=4486532 CPUtime=341.51 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 450330 0 0 0 33967 184 0 0 20 0 1 0 164513942 4993761280 1121633 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1219180 1121633 2863 2900 0 1215694 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 4876720 KiB
Current children cumulated memory: 4486532 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.21 4.22 5/246 841910
/proc/meminfo: memFree=121559972/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4876720 memory=4486532 CPUtime=401.37 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 450634 0 0 0 39951 186 0 0 20 0 1 0 164513942 4993761280 1121633 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1219180 1121633 2863 2900 0 1215694 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 4876720 KiB
Current children cumulated memory: 4486532 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.21 4.22 5/244 841922
/proc/meminfo: memFree=121479228/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=4876720 memory=4486884 CPUtime=461.23 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 451034 0 0 0 45935 188 0 0 20 0 1 0 164513942 4993761280 1121721 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1219180 1121721 2863 2900 0 1215694 0

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

Current children cumulated memory: 5457508 KiB

[startup+2862.3 s]
/proc/loadavg: 1.11 1.16 1.61 2/224 843070
/proc/meminfo: memFree=122743380/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=5998824 memory=5479468 CPUtime=2854.98 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 528569 0 0 0 285190 308 0 0 20 0 1 0 164513942 6142795776 1369867 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1499706 1369867 2863 2900 0 1496220 0
Current children cumulated CPU time: 2854.98 s
Current children cumulated vsize: 5998824 KiB
Current children cumulated memory: 5479468 KiB

[startup+2922.3 s]
/proc/loadavg: 1.13 1.16 1.58 2/224 843080
/proc/meminfo: memFree=122732300/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6006996 memory=5490352 CPUtime=2914.83 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 531667 0 0 0 291174 309 0 0 20 0 1 0 164513942 6151163904 1372588 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1501749 1372588 2863 2900 0 1498263 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 6006996 KiB
Current children cumulated memory: 5490352 KiB

[startup+2982.3 s]
/proc/loadavg: 1.14 1.16 1.55 2/224 843091
/proc/meminfo: memFree=122731972/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6006996 memory=5490352 CPUtime=2974.69 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 531978 0 0 0 297159 310 0 0 20 0 1 0 164513942 6151163904 1372588 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1501749 1372588 2863 2900 0 1498263 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 6006996 KiB
Current children cumulated memory: 5490352 KiB

[startup+3042.3 s]
/proc/loadavg: 1.10 1.14 1.52 2/224 843101
/proc/meminfo: memFree=122703840/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6026888 memory=5517932 CPUtime=3034.52 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 534629 0 0 0 303134 318 0 0 20 0 1 0 164513942 6171533312 1379483 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1506722 1379483 2863 2900 0 1503236 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 6026888 KiB
Current children cumulated memory: 5517932 KiB

[startup+3102.3 s]
/proc/loadavg: 1.15 1.14 1.50 2/224 843111
/proc/meminfo: memFree=122703708/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6026888 memory=5517932 CPUtime=3094.38 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 534984 0 0 0 309119 319 0 0 20 0 1 0 164513942 6171533312 1379483 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1506722 1379483 2863 2900 0 1503236 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 6026888 KiB
Current children cumulated memory: 5517932 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.13 1.47 2/222 843124
/proc/meminfo: memFree=122652944/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6119828 memory=5568608 CPUtime=3154.21 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 541031 0 0 0 315096 325 0 0 20 0 1 0 164513942 6266703872 1392152 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1529957 1392152 2863 2900 0 1526471 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 6119828 KiB
Current children cumulated memory: 5568608 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.12 1.44 2/222 843134
/proc/meminfo: memFree=122651752/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6120464 memory=5569300 CPUtime=3214.05 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 541630 0 0 0 321079 326 0 0 20 0 1 0 164513942 6267355136 1392325 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1530116 1392325 2863 2900 0 1526630 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 6120464 KiB
Current children cumulated memory: 5569300 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.13 1.43 2/222 843145
/proc/meminfo: memFree=122631396/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6139992 memory=5589440 CPUtime=3273.87 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 544282 0 0 0 327052 335 0 0 20 0 1 0 164513942 6287351808 1397360 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1534998 1397360 2863 2900 0 1531512 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 6139992 KiB
Current children cumulated memory: 5589440 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.12 1.40 2/222 843155
/proc/meminfo: memFree=122624936/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6141624 memory=5595436 CPUtime=3333.7 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 545224 0 0 0 333035 335 0 0 20 0 1 0 164513942 6289022976 1398859 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1535406 1398859 2863 2900 0 1531920 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 6141624 KiB
Current children cumulated memory: 5595436 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.11 1.38 2/222 843166
/proc/meminfo: memFree=122622664/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6141624 memory=5596220 CPUtime=3393.54 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 545667 0 0 0 339018 336 0 0 20 0 1 0 164513942 6289022976 1399055 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1535406 1399055 2863 2900 0 1531920 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 6141624 KiB
Current children cumulated memory: 5596220 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.10 1.36 2/224 843181
/proc/meminfo: memFree=122604928/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6157348 memory=5614020 CPUtime=3453.37 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 548872 0 0 0 344992 345 0 0 20 0 1 0 164513942 6305124352 1403505 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1539337 1403505 2863 2900 0 1535851 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 6157348 KiB
Current children cumulated memory: 5614020 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.09 1.34 2/224 843191
/proc/meminfo: memFree=122604012/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6157404 memory=5614240 CPUtime=3513.21 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 549361 0 0 0 350976 345 0 0 20 0 1 0 164513942 6305181696 1403560 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1539351 1403560 2863 2900 0 1535865 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 6157404 KiB
Current children cumulated memory: 5614240 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.11 1.33 2/225 843203
/proc/meminfo: memFree=122588640/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6170636 memory=5629332 CPUtime=3573.06 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 551745 0 0 0 356951 355 0 0 20 0 1 0 164513942 6318731264 1407333 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1542659 1407333 2863 2900 0 1539173 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 6170636 KiB
Current children cumulated memory: 5629332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 1.09 1.10 1.32 2/225 843207
/proc/meminfo: memFree=122586448/131655788 swapFree=131071996/131071996
[pid=841286] ppid=841283 vsize=6170636 memory=5631380 CPUtime=3600.08 cores=4,6
/proc/841286/stat : 841286 (ipbhs_static_sc) R 841283 841286 833747 0 -1 4194304 552065 0 0 0 359653 355 0 0 20 0 1 0 164513942 6318731264 1407845 134679101440 4194304 16068861 140724959645088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55668736 140724959650854 140724959650941 140724959650941 140724959657956 0
/proc/841286/statm: 1542659 1407845 2863 2900 0 1539173 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6170636 KiB
Current children cumulated memory: 5631380 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.53 s, system=3.57843 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.42
CPU time (s): 3600.11
CPU user time (s): 3596.53
CPU system time (s): 3.57843
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 6170636
Max. memory (cumulated for all children) (KiB): 5631380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.53
system time used= 3.57843
maximum resident set size= 5631380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552065
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= 14
involuntary context switches= 2043


# summary of solver processes directly reported to runsolver:
#   pid: 841286
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3596.53
#   total CPU system time (s): 3.57843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3452 second user time and 32.4987 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-16 11:53:05
IDJOB=4432029
IDBENCH=155404
IDSOLVER=3057
FILE ID=nodeC007/4432029-1721123572
RUNJOBID= nodeC007-1721113771-833758
SLURM_JOB_ID= 7505647
Free space on /tmp= 723564 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432029-1721123572/watcher-4432029-1721123572 -o /tmp/evaluation-result-4432029-1721123572/solver-4432029-1721123572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4432029-1721123572.opb

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

MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=1144080915

nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.089
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3668.670
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.208
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.205
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.875
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3667.840
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.195
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126194216 kB
MemAvailable:   128062352 kB
Buffers:          407040 kB
Cached:          2283816 kB
SwapCached:            0 kB
Active:           730792 kB
Inactive:        4158888 kB
Active(anon):       1460 kB
Inactive(anon):  2235112 kB
Active(file):     729332 kB
Inactive(file):  1923776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            102184 kB
Writeback:            52 kB
AnonPages:       2194676 kB
Mapped:           138232 kB
Shmem:             37704 kB
KReclaimable:     110116 kB
Slab:             208848 kB
SReclaimable:     110116 kB
SUnreclaim:        98732 kB
KernelStack:        3904 kB
PageTables:        13576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2903536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52512 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1347584 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC007 at 2024-07-16 12:53:15