Trace number 4432134

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.13 3608.04

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
MD5SUMee8efe71b9f67a5ece24692873b8eec2
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 benchmark47
Best CPU time to get the best result obtained on this benchmark211.651
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35840
Total number of constraints1248
Number of constraints which are clauses559
Number of constraints which are cardinality constraints (but not clauses)559
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint560
Number of terms in the objective function 64
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 64
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 193587
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 515704
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59936 MiB free)
  memory of node 1: 64473 MiB (62001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432134-1721173937/watcher-4432134-1721173937 -o /tmp/evaluation-result-4432134-1721173937/solver-4432134-1721173937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721173949-874926 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432134-1721173937.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=874981, runsolver pid=874978
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 1.21 1.93 2.69 6/248 874992
/proc/meminfo: memFree=124842712/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=36068 memory=10928 CPUtime=0.1 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 2344 0 0 0 9 1 0 0 20 0 1 0 169549596 36933632 2732 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 9017 2732 1023 2900 0 5531 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36068 KiB
Current children cumulated memory: 10928 KiB

[startup+0.214134 s]*
/proc/loadavg: 1.21 1.93 2.69 7/248 874992
/proc/meminfo: memFree=124802020/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=49672 memory=31240 CPUtime=0.21 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 6292 0 0 0 19 2 0 0 20 0 1 0 169549596 50864128 7810 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 12418 7810 2383 2900 0 8932 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 31240 KiB

[startup+0.314688 s]*
/proc/loadavg: 1.21 1.93 2.69 6/248 874992
/proc/meminfo: memFree=124772352/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=49672 memory=31240 CPUtime=0.31 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 6292 0 0 0 29 2 0 0 20 0 1 0 169549596 50864128 7810 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 12418 7810 2383 2900 0 8932 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 31240 KiB

[startup+0.700252 s]
/proc/loadavg: 1.21 1.93 2.69 6/248 874992
/proc/meminfo: memFree=124731456/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=56120 memory=38824 CPUtime=0.68 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 7705 0 0 0 63 5 0 0 20 0 1 0 169549596 57466880 9706 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 14030 9706 2927 2900 0 10544 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56120 KiB
Current children cumulated memory: 38824 KiB

[startup+1.50025 s]
/proc/loadavg: 1.21 1.93 2.69 6/248 874992
/proc/meminfo: memFree=124675760/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=59268 memory=41512 CPUtime=1.49 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 8357 0 0 0 141 8 0 0 20 0 1 0 169549596 60690432 10378 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 14817 10378 2927 2900 0 11331 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59268 KiB
Current children cumulated memory: 41512 KiB

[startup+3.11291 s]
/proc/loadavg: 1.21 1.93 2.69 6/248 874993
/proc/meminfo: memFree=124605768/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=71284 memory=49512 CPUtime=3.1 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 9322 0 0 0 301 9 0 0 20 0 1 0 169549596 72994816 12378 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 17821 12378 2927 2900 0 14335 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 49512 KiB

[startup+6.30029 s]
/proc/loadavg: 1.43 1.97 2.70 6/248 874993
/proc/meminfo: memFree=124543436/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=111128 memory=81768 CPUtime=6.28 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 12318 0 0 0 611 17 0 0 20 0 1 0 169549596 113795072 20442 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 27782 20442 2927 2900 0 24296 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 111128 KiB
Current children cumulated memory: 81768 KiB

[startup+12.7003 s]
/proc/loadavg: 1.64 2.00 2.71 5/248 875041
/proc/meminfo: memFree=124487948/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=133568 memory=114396 CPUtime=12.66 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 17891 0 0 0 1231 35 0 0 20 0 1 0 169549596 136773632 28599 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 33392 28599 2927 2900 0 29906 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 133568 KiB
Current children cumulated memory: 114396 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 2.15 2.74 5/248 875042
/proc/meminfo: memFree=124327736/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=209924 memory=186356 CPUtime=25.43 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 29802 0 0 0 2497 46 0 0 20 0 1 0 169549596 214962176 46589 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 52481 46589 2927 2900 0 48995 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 209924 KiB
Current children cumulated memory: 186356 KiB

[startup+51.1128 s]
/proc/loadavg: 3.33 2.39 2.81 5/248 875045
/proc/meminfo: memFree=124013888/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=326476 memory=271444 CPUtime=50.99 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 46995 0 0 0 5017 82 0 0 20 0 1 0 169549596 334311424 67861 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 81619 67861 2927 2900 0 78133 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 326476 KiB
Current children cumulated memory: 271444 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 2.75 2.91 5/248 875055
/proc/meminfo: memFree=123538788/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=432772 memory=406724 CPUtime=102.06 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 72116 0 0 0 10058 148 0 0 20 0 1 0 169549596 443158528 101681 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 108193 101681 2927 2900 0 104707 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 432772 KiB
Current children cumulated memory: 406724 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 2.99 2.99 5/251 875451
/proc/meminfo: memFree=123121420/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=488776 memory=460172 CPUtime=161.93 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 85827 0 0 0 15995 198 0 0 20 0 1 0 169549596 500506624 115043 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 122194 115043 2927 2900 0 118708 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 488776 KiB
Current children cumulated memory: 460172 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.19 3.06 5/248 875462
/proc/meminfo: memFree=122828228/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=520444 memory=490660 CPUtime=221.79 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 93637 0 0 0 21909 270 0 0 20 0 1 0 169549596 532934656 122665 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 130111 122665 2927 2900 0 126625 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 520444 KiB
Current children cumulated memory: 490660 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.36 3.13 5/248 875472
/proc/meminfo: memFree=122461984/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=663800 memory=558248 CPUtime=281.65 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 108044 0 0 0 27840 325 0 0 20 0 1 0 169549596 679731200 139562 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 165950 139562 2927 2900 0 162464 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 663800 KiB
Current children cumulated memory: 558248 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 3.54 3.20 5/244 875650
/proc/meminfo: memFree=121957416/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=745940 memory=682136 CPUtime=341.5 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 125283 0 0 0 33798 352 0 0 20 0 1 0 169549596 763842560 170534 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 186485 170534 2927 2900 0 182999 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 745940 KiB
Current children cumulated memory: 682136 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.64 3.26 5/244 875661
/proc/meminfo: memFree=121626384/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=776068 memory=711668 CPUtime=401.37 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 133120 0 0 0 39723 414 0 0 20 0 1 0 169549596 794693632 177917 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 194017 177917 2927 2900 0 190531 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 776068 KiB
Current children cumulated memory: 711668 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.73 3.32 5/244 875673
/proc/meminfo: memFree=121365500/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=958456 memory=794876 CPUtime=461.24 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 145396 0 0 0 45666 458 0 0 20 0 1 0 169549596 981458944 198719 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 239614 198719 2927 2900 0 236128 0

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

Current children cumulated memory: 2712992 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/243 876729
/proc/meminfo: memFree=113042920/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3070952 memory=2729060 CPUtime=2855.96 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 489980 0 0 0 284174 1422 0 0 20 0 1 0 169549596 3144654848 682265 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 767738 682265 2927 2900 0 764252 0
Current children cumulated CPU time: 2855.96 s
Current children cumulated vsize: 3070952 KiB
Current children cumulated memory: 2729060 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/243 876739
/proc/meminfo: memFree=112898500/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3126804 memory=2770208 CPUtime=2915.83 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 501361 0 0 0 290153 1430 0 0 20 0 1 0 169549596 3201847296 692552 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 781701 692552 2927 2900 0 778215 0
Current children cumulated CPU time: 2915.83 s
Current children cumulated vsize: 3126804 KiB
Current children cumulated memory: 2770208 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.06 5/243 876749
/proc/meminfo: memFree=112757108/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3126804 memory=2770208 CPUtime=2975.71 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 502409 0 0 0 296135 1436 0 0 20 0 1 0 169549596 3201847296 692552 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 781701 692552 2927 2900 0 778215 0
Current children cumulated CPU time: 2975.71 s
Current children cumulated vsize: 3126804 KiB
Current children cumulated memory: 2770208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.07 5/243 876760
/proc/meminfo: memFree=112646740/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2771436 CPUtime=3035.58 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 503782 0 0 0 302116 1442 0 0 20 0 1 0 169549596 3203944448 692859 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 692859 2927 2900 0 778727 0
Current children cumulated CPU time: 3035.58 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2771436 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/243 876770
/proc/meminfo: memFree=112514800/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772524 CPUtime=3095.44 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 505103 0 0 0 308094 1450 0 0 20 0 1 0 169549596 3203944448 693131 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693131 2927 2900 0 778727 0
Current children cumulated CPU time: 3095.44 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772524 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/243 876781
/proc/meminfo: memFree=112427696/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772612 CPUtime=3155.32 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 506322 0 0 0 314028 1504 0 0 20 0 1 0 169549596 3203944448 693153 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693153 2927 2900 0 778727 0
Current children cumulated CPU time: 3155.32 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.08 5/241 876792
/proc/meminfo: memFree=112377000/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772636 CPUtime=3215.19 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 507237 0 0 0 319972 1547 0 0 20 0 1 0 169549596 3203944448 693159 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693159 2927 2900 0 778727 0
Current children cumulated CPU time: 3215.19 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/241 876802
/proc/meminfo: memFree=112261092/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772644 CPUtime=3275.06 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 508448 0 0 0 325921 1585 0 0 20 0 1 0 169549596 3203944448 693161 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693161 2927 2900 0 778727 0
Current children cumulated CPU time: 3275.06 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/241 876812
/proc/meminfo: memFree=112100200/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772644 CPUtime=3334.94 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 509441 0 0 0 331877 1617 0 0 20 0 1 0 169549596 3203944448 693161 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693161 2927 2900 0 778727 0
Current children cumulated CPU time: 3334.94 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/241 876824
/proc/meminfo: memFree=111821124/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772644 CPUtime=3394.8 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 510574 0 0 0 337828 1652 0 0 20 0 1 0 169549596 3203944448 693161 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693161 2927 2900 0 778727 0
Current children cumulated CPU time: 3394.8 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/243 876838
/proc/meminfo: memFree=111312844/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772692 CPUtime=3454.69 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 511708 0 0 0 343782 1687 0 0 20 0 1 0 169549596 3203944448 693173 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693173 2927 2900 0 778727 0
Current children cumulated CPU time: 3454.69 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772692 KiB

[startup+3522.3 s]
/proc/loadavg: 4.84 4.32 4.16 5/243 876848
/proc/meminfo: memFree=110934624/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772696 CPUtime=3514.56 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 512777 0 0 0 349737 1719 0 0 20 0 1 0 169549596 3203944448 693174 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693174 2927 2900 0 778727 0
Current children cumulated CPU time: 3514.56 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.47 4.32 4.17 5/243 876858
/proc/meminfo: memFree=110698260/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3128852 memory=2772740 CPUtime=3574.43 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 513909 0 0 0 355710 1733 0 0 20 0 1 0 169549596 3203944448 693185 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 782213 693185 2927 2900 0 778727 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 3128852 KiB
Current children cumulated memory: 2772740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 4.39 4.31 4.17 5/243 876862
/proc/meminfo: memFree=110404124/131655788 swapFree=131071996/131071996
[pid=874981] ppid=874978 vsize=3140028 memory=2780524 CPUtime=3600.1 cores=4,6
/proc/874981/stat : 874981 (ipbhs_static_sc) R 874978 874981 870161 0 -1 4194304 516337 0 0 0 358269 1741 0 0 20 0 1 0 169549596 3215388672 695131 134679101440 4194304 16068861 140722278711264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32292864 140722278720550 140722278720637 140722278720637 140722278727652 0
/proc/874981/statm: 785007 695131 2927 2900 0 781521 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3140028 KiB
Current children cumulated memory: 2780524 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.69 s, system=17.4406 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): 3608.04
CPU time (s): 3600.13
CPU user time (s): 3582.69
CPU system time (s): 17.4406
CPU usage (%): 99.7808
Max. virtual memory (cumulated for all children) (KiB): 3140028
Max. memory (cumulated for all children) (KiB): 2780524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.69
system time used= 17.4406
maximum resident set size= 2780640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516337
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= 193
involuntary context switches= 3683


# summary of solver processes directly reported to runsolver:
#   pid: 874981
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3582.69
#   total CPU system time (s): 17.4406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9457 second user time and 35.0548 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-17 01:52:29
IDJOB=4432134
IDBENCH=158609
IDSOLVER=3057
FILE ID=nodeC004/4432134-1721173937
RUNJOBID= nodeC004-1721173949-874926
SLURM_JOB_ID= 7505793
Free space on /tmp= 723764 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432134-1721173937/watcher-4432134-1721173937 -o /tmp/evaluation-result-4432134-1721173937/solver-4432134-1721173937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721173949-874926 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4432134-1721173937.opb

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

MD5SUM BENCH= ee8efe71b9f67a5ece24692873b8eec2
RANDOM SEED=1230853167

nodeC004.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		: 2345.627
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	: 6984.29
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		: 1293.115
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.37
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.308
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	: 6984.29
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.329
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.307
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	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.526
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.37
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.425
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	: 6984.29
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		: 1244.029
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124871160 kB
MemAvailable:   129848744 kB
Buffers:          445696 kB
Cached:          5312704 kB
SwapCached:            0 kB
Active:           846872 kB
Inactive:        5274016 kB
Active(anon):       3240 kB
Inactive(anon):   396624 kB
Active(file):     843632 kB
Inactive(file):  4877392 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            232452 kB
Writeback:             0 kB
AnonPages:        361856 kB
Mapped:           108600 kB
Shmem:             37700 kB
KReclaimable:     193520 kB
Slab:             303372 kB
SReclaimable:     193520 kB
SUnreclaim:       109852 kB
KernelStack:        3824 kB
PageTables:        10024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     820188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54016 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      213832 kB
DirectMap2M:    23808000 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723552 MiB
End job on nodeC004 at 2024-07-17 02:52:38