Trace number 4432106

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 3610.4

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
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 benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61313 MiB free)
  memory of node 1: 64473 MiB (62768 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432106-1721161218/watcher-4432106-1721161218 -o /tmp/evaluation-result-4432106-1721161218/solver-4432106-1721161218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721152425-883529 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432106-1721161218.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=888552, runsolver pid=888549
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127033592/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=53252 memory=35248 CPUtime=0.09 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 6974 0 0 0 6 3 0 0 20 0 1 0 168284195 54530048 8812 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 13313 8812 2383 2900 0 9827 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53252 KiB
Current children cumulated memory: 35248 KiB

[startup+0.205719 s]*
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127009876/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=79744 memory=60208 CPUtime=0.2 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 12870 0 0 0 16 4 0 0 20 0 1 0 168284195 81657856 15052 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 19936 15052 2703 2900 0 16450 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79744 KiB
Current children cumulated memory: 60208 KiB

[startup+0.305619 s]*
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127007604/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=79744 memory=62256 CPUtime=0.3 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 12921 0 0 0 25 5 0 0 20 0 1 0 168284195 81657856 15564 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 19936 15564 2703 2900 0 16450 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79744 KiB
Current children cumulated memory: 62256 KiB

[startup+0.70019 s]
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127006120/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=81252 memory=63836 CPUtime=0.68 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 13275 0 0 0 62 6 0 0 20 0 1 0 168284195 83202048 15959 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 20313 15959 2703 2900 0 16827 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81252 KiB
Current children cumulated memory: 63836 KiB

[startup+1.50019 s]
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127005152/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=81384 memory=63836 CPUtime=1.49 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 13315 0 0 0 140 9 0 0 20 0 1 0 168284195 83337216 15959 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 20346 15959 2703 2900 0 16860 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81384 KiB
Current children cumulated memory: 63836 KiB

[startup+3.10569 s]
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127004816/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=81648 memory=64100 CPUtime=3.08 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 13387 0 0 0 293 15 0 0 20 0 1 0 168284195 83607552 16025 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 20412 16025 2703 2900 0 16926 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81648 KiB
Current children cumulated memory: 64100 KiB

[startup+6.30016 s]
/proc/loadavg: 4.01 4.12 4.12 5/257 888553
/proc/meminfo: memFree=127001448/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=84984 memory=68052 CPUtime=6.27 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 14349 0 0 0 584 43 0 0 20 0 1 0 168284195 87023616 17013 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 21246 17013 2703 2900 0 17760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84984 KiB
Current children cumulated memory: 68052 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.11 4.11 5/257 888555
/proc/meminfo: memFree=126992488/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=91312 memory=74456 CPUtime=12.65 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 15448 0 0 0 1185 80 0 0 20 0 1 0 168284195 93503488 18614 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 22828 18614 2703 2900 0 19342 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 91312 KiB
Current children cumulated memory: 74456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.11 4.11 5/257 888557
/proc/meminfo: memFree=126986820/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=96708 memory=79992 CPUtime=25.4 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 16808 0 0 0 2393 147 0 0 20 0 1 0 168284195 99028992 19998 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 24177 19998 2703 2900 0 20691 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 96708 KiB
Current children cumulated memory: 79992 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.11 4.11 5/256 888562
/proc/meminfo: memFree=126974200/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=107716 memory=89872 CPUtime=50.92 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 20165 0 0 0 4780 312 0 0 20 0 1 0 168284195 110301184 22468 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 26929 22468 2703 2900 0 23443 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 107716 KiB
Current children cumulated memory: 89872 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/256 888570
/proc/meminfo: memFree=126942284/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=129904 memory=108520 CPUtime=101.94 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 25752 0 0 0 9648 546 0 0 20 0 1 0 168284195 133021696 27130 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 32476 27130 2703 2900 0 28990 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 129904 KiB
Current children cumulated memory: 108520 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/256 888580
/proc/meminfo: memFree=126920320/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=141456 memory=119248 CPUtime=161.73 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 30690 0 0 0 15403 770 0 0 20 0 1 0 168284195 144850944 29812 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 35364 29812 2703 2900 0 31878 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 141456 KiB
Current children cumulated memory: 119248 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/256 888593
/proc/meminfo: memFree=126899700/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=148676 memory=128304 CPUtime=221.52 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 33103 0 0 0 21107 1045 0 0 20 0 1 0 168284195 152244224 32076 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 37169 32076 2703 2900 0 33683 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 148676 KiB
Current children cumulated memory: 128304 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 888603
/proc/meminfo: memFree=126835428/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=156980 memory=137808 CPUtime=281.32 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 36498 0 0 0 26771 1361 0 0 20 0 1 0 168284195 160747520 34452 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 39245 34452 2703 2900 0 35759 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 156980 KiB
Current children cumulated memory: 137808 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 888998
/proc/meminfo: memFree=126806484/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=172348 memory=155448 CPUtime=341.12 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 42564 0 0 0 32662 1450 0 0 20 0 1 0 168284195 176484352 38862 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 43087 38862 2703 2900 0 39601 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 172348 KiB
Current children cumulated memory: 155448 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 889008
/proc/meminfo: memFree=126781648/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=192128 memory=169928 CPUtime=400.93 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 48467 0 0 0 38427 1666 0 0 20 0 1 0 168284195 196739072 42482 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 48032 42482 2703 2900 0 44546 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 192128 KiB
Current children cumulated memory: 169928 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 889019
/proc/meminfo: memFree=126769236/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=200652 memory=177788 CPUtime=460.75 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 51500 0 0 0 44133 1942 0 0 20 0 1 0 168284195 205467648 44447 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 50163 44447 2703 2900 0 46677 0

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

Current children cumulated memory: 413672 KiB

[startup+2862.3 s]
/proc/loadavg: 1.05 1.27 2.29 2/233 890339
/proc/meminfo: memFree=127216608/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=447596 memory=413676 CPUtime=2853.83 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 212169 0 0 0 276547 8836 0 0 20 0 1 0 168284195 458338304 103419 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 111899 103419 2703 2900 0 108413 0
Current children cumulated CPU time: 2853.83 s
Current children cumulated vsize: 447596 KiB
Current children cumulated memory: 413676 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.25 2.22 2/233 890350
/proc/meminfo: memFree=127209840/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=448780 memory=420088 CPUtime=2913.68 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 216531 0 0 0 282273 9095 0 0 20 0 1 0 168284195 459550720 105022 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 112195 105022 2703 2900 0 108709 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 448780 KiB
Current children cumulated memory: 420088 KiB

[startup+2982.3 s]
/proc/loadavg: 1.10 1.22 2.14 2/235 890364
/proc/meminfo: memFree=127207056/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=452588 memory=422568 CPUtime=2973.53 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 219761 0 0 0 288139 9214 0 0 20 0 1 0 168284195 463450112 105642 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 113147 105642 2703 2900 0 109661 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 452588 KiB
Current children cumulated memory: 422568 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.19 2.07 2/235 890378
/proc/meminfo: memFree=127199396/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=461740 memory=429872 CPUtime=3033.38 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 224126 0 0 0 294066 9272 0 0 20 0 1 0 168284195 472821760 107468 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 115435 107468 2703 2900 0 111949 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 461740 KiB
Current children cumulated memory: 429872 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.17 2.01 2/235 890388
/proc/meminfo: memFree=127195752/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=466860 memory=433312 CPUtime=3093.23 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 226774 0 0 0 299996 9327 0 0 20 0 1 0 168284195 478064640 108328 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 116715 108328 2703 2900 0 113229 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 466860 KiB
Current children cumulated memory: 433312 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.15 1.95 2/235 890398
/proc/meminfo: memFree=127193196/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=470444 memory=435640 CPUtime=3153.09 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 229035 0 0 0 305923 9386 0 0 20 0 1 0 168284195 481734656 108910 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 117611 108910 2703 2900 0 114125 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 470444 KiB
Current children cumulated memory: 435640 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.15 1.90 2/235 890410
/proc/meminfo: memFree=127187148/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=472332 memory=441264 CPUtime=3212.94 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 231958 0 0 0 311765 9529 0 0 20 0 1 0 168284195 483667968 110316 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 118083 110316 2703 2900 0 114597 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 472332 KiB
Current children cumulated memory: 441264 KiB

[startup+3282.3 s]
/proc/loadavg: 1.05 1.12 1.84 2/234 890421
/proc/meminfo: memFree=127185608/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=474572 memory=442648 CPUtime=3272.79 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 235721 0 0 0 317537 9742 0 0 20 0 1 0 168284195 485961728 110662 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 118643 110662 2703 2900 0 115157 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 474572 KiB
Current children cumulated memory: 442648 KiB

[startup+3342.3 s]
/proc/loadavg: 1.06 1.11 1.79 2/234 890432
/proc/meminfo: memFree=127184524/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=475212 memory=443288 CPUtime=3332.65 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 240099 0 0 0 323219 10046 0 0 20 0 1 0 168284195 486617088 110822 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 118803 110822 2703 2900 0 115317 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 475212 KiB
Current children cumulated memory: 443288 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 1.14 1.75 2/234 890442
/proc/meminfo: memFree=127172096/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=480332 memory=455332 CPUtime=3392.49 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 242776 0 0 0 329153 10096 0 0 20 0 1 0 168284195 491859968 113833 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 120083 113833 2703 2900 0 116597 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 480332 KiB
Current children cumulated memory: 455332 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.12 1.71 2/234 890453
/proc/meminfo: memFree=127170884/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=481612 memory=456416 CPUtime=3452.34 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 247316 0 0 0 334862 10372 0 0 20 0 1 0 168284195 493170688 114104 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 120403 114104 2703 2900 0 116917 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 481612 KiB
Current children cumulated memory: 456416 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.12 1.67 2/234 890464
/proc/meminfo: memFree=127170236/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=482124 memory=456704 CPUtime=3512.2 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 250848 0 0 0 340632 10588 0 0 20 0 1 0 168284195 493694976 114176 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 120531 114176 2703 2900 0 117045 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 482124 KiB
Current children cumulated memory: 456704 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.63 2/234 890474
/proc/meminfo: memFree=127169900/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=482380 memory=456844 CPUtime=3572.05 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 254335 0 0 0 346430 10775 0 0 20 0 1 0 168284195 493957120 114211 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 120595 114211 2703 2900 0 117109 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 482380 KiB
Current children cumulated memory: 456844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 1.14 1.12 1.62 2/235 890484
/proc/meminfo: memFree=127168136/131524600 swapFree=131071996/131071996
[pid=888552] ppid=888549 vsize=484812 memory=458680 CPUtime=3600.08 cores=0,2
/proc/888552/stat : 888552 (ipbhs_static_sc) R 888549 888552 883519 0 -1 4194304 255725 0 0 0 349204 10804 0 0 20 0 1 0 168284195 496447488 114670 134679101440 4194304 16068861 140730706205360 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40689664 140730706211878 140730706211965 140730706211965 140730706218980 0
/proc/888552/statm: 121203 114670 2703 2900 0 117717 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 484812 KiB
Current children cumulated memory: 458680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3492.05 s, system=108.046 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): 3610.4
CPU time (s): 3600.09
CPU user time (s): 3492.05
CPU system time (s): 108.046
CPU usage (%): 99.7144
Max. virtual memory (cumulated for all children) (KiB): 485652
Max. memory (cumulated for all children) (KiB): 459864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3492.05
system time used= 108.046
maximum resident set size= 460504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255725
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= 60
involuntary context switches= 24697


# summary of solver processes directly reported to runsolver:
#   pid: 888552
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3492.05
#   total CPU system time (s): 108.046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47932 second user time and 15.5438 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-16 22:20:30
IDJOB=4432106
IDBENCH=158396
IDSOLVER=3057
FILE ID=nodeC018/4432106-1721161218
RUNJOBID= nodeC018-1721152425-883529
SLURM_JOB_ID= 7505753
Free space on /tmp= 889920 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432106-1721161218/watcher-4432106-1721161218 -o /tmp/evaluation-result-4432106-1721161218/solver-4432106-1721161218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721152425-883529 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4432106-1721161218.opb

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=59337443

nodeC018.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		: 3662.524
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.52
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		: 3686.032
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.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	: 0xb00002a
cpu MHz		: 3680.339
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.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.262
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.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	: 0xb00002a
cpu MHz		: 3674.899
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.52
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		: 3686.051
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.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	: 0xb00002a
cpu MHz		: 3600.136
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.52
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.950
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127060200 kB
MemAvailable:   129320652 kB
Buffers:          412644 kB
Cached:          2664096 kB
SwapCached:            0 kB
Active:           794900 kB
Inactive:        3023284 kB
Active(anon):       1544 kB
Inactive(anon):   777612 kB
Active(file):     793356 kB
Inactive(file):  2245672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             54760 kB
Writeback:             0 kB
AnonPages:        739592 kB
Mapped:           139732 kB
Shmem:             37720 kB
KReclaimable:     122492 kB
Slab:             235644 kB
SReclaimable:     122492 kB
SUnreclaim:       113152 kB
KernelStack:        4096 kB
PageTables:        10940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1164924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      234196 kB
DirectMap2M:    17364992 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-16 23:20:41