Trace number 4432113

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 3608.6

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
MD5SUM0048c1c5d89c09890e717f6e64ce7569
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 benchmark101
Best CPU time to get the best result obtained on this benchmark1.45304
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 clauses27574
Number of constraints which are cardinality constraints (but not clauses)226
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 

1804.09/1808.56	c initialize IPBHS solver
1804.09/1808.56	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
1804.09/1808.56	c optimizer = "scip"
1804.09/1808.56	c pbsolver = "roundingsat"
1804.09/1808.56	c load symmetries from file ""
1804.09/1808.56	c set time limit for symmetry computation to 100 seconds.
1804.09/1808.56	c set interchangeable summation variable limit to 3
1804.09/1808.56	c set abs symmetric core budget per WCE-iteration to 100
1804.09/1808.56	c set rel symmetric core budget per WCE-iteration to 0
1804.09/1808.56	c set lit symmetric core budget per WCE-iteration to 0
1804.09/1808.56	c set sym generation to 's'
1804.09/1808.56	c set abstraction set creation to 10 iterations without LB change
1804.09/1808.56	c set abstraction set inputs to 0
1804.09/1808.56	c set abstraction set cluster min size to 2
1804.09/1808.56	c set abstraction set cluster max size to 100000000
1804.09/1808.56	c set abstraction set cluster activation limit to 2
1804.09/1808.56	c enable abstraction set require equal cost
1804.09/1808.56	c set abstraction set assumptions to 0
1804.09/1808.56	c set abstraction set constraint type to 0
1804.09/1808.56	c set abstract core extraction strategy to b
1804.09/1808.56	c set core extraction strategy to 2
1804.09/1808.56	c set core extraction shuffles 10
1804.09/1808.56	c set cores per iteration to 5
1804.09/1808.56	c set optimizer bound usage strategy to 2
1804.09/1808.56	c set optimizer max non-optimal iterations to 1000
1804.09/1808.56	c set small core cardinality limit to 2
1804.09/1808.56	c set max coef in cores to 1000000000
1804.09/1808.56	c set SIS iterations to 5
1804.09/1808.56	c set SIS budget abs to 1000
1804.09/1808.56	c set SIS budget rel to 0.05
1804.09/1808.56	c limit for coefficient in constraints and objective to 9223372036854775807
1804.09/1808.56	c will solve HOME/instance-4432113-1721159628.opb
1804.09/1808.56	c [0.01] solve iteration 1, LB=0, UB=212
1804.09/1808.56	c [1781.7] solve iteration 2, LB=0, UB=211
2497.00/2503.04	c [1881.4] solve iteration 3, LB=22, UB=101
2497.00/2503.04	c [2134.72] solve iteration 4, LB=22, UB=101
2497.00/2503.04	c [2235.85] solve iteration 5, LB=22, UB=101
2497.00/2503.04	c [2377.02] solve iteration 6, LB=22, UB=101
2497.00/2503.04	c [2377.16] solve iteration 7, LB=22, UB=101
2497.00/2503.04	c [2467.4] solve iteration 8, LB=22, UB=101
2510.87/2516.93	c [2467.68] solve iteration 9, LB=34, UB=101
2510.87/2516.93	c [2468.18] solve iteration 10, LB=34, UB=101
2510.87/2516.93	c [2480.98] solve iteration 11, LB=34, UB=101
2511.36/2517.40	c [2481.45] solve iteration 12, LB=34, UB=101
2665.21/2671.67	c [2633.96] solve iteration 13, LB=34, UB=101
2945.09/2952.16	c [2911.21] solve iteration 14, LB=34, UB=101
2945.68/2952.71	c [2911.71] solve iteration 15, LB=34, UB=101
3005.05/3012.25	c [2970.43] solve iteration 16, LB=34, UB=101
3152.20/3159.78	c [3116.35] solve iteration 17, LB=34, UB=101
3214.97/3222.67	c [3178.46] solve iteration 18, LB=34, UB=101

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 (54143 MiB free)
  memory of node 1: 64473 MiB (63028 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=887607, runsolver pid=887604

[startup+0.100265 s]*
/proc/loadavg: 4.21 4.19 4.17 5/256 887608
/proc/meminfo: memFree=119955808/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=53244 memory=36764 CPUtime=0.1 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 6803 0 0 0 7 3 0 0 20 0 1 0 168125242 54521856 9191 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 13311 9191 2383 2900 0 9825 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53244 KiB
Current children cumulated memory: 36764 KiB

[startup+0.204976 s]*
/proc/loadavg: 4.21 4.19 4.17 5/256 887608
/proc/meminfo: memFree=119930944/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=79740 memory=61136 CPUtime=0.2 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 12645 0 0 0 16 4 0 0 20 0 1 0 168125242 81653760 15284 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 19935 15284 2687 2900 0 16449 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 61136 KiB

[startup+0.305357 s]*
/proc/loadavg: 4.21 4.19 4.17 5/256 887608
/proc/meminfo: memFree=119930356/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=79740 memory=61460 CPUtime=0.3 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 12684 0 0 0 25 5 0 0 20 0 1 0 168125242 81653760 15365 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 19935 15365 2703 2900 0 16449 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 61460 KiB

[startup+0.700163 s]
/proc/loadavg: 4.21 4.19 4.17 5/256 887608
/proc/meminfo: memFree=119928852/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=81696 memory=63308 CPUtime=0.69 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 13137 0 0 0 59 10 0 0 20 0 1 0 168125242 83656704 15827 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 20424 15827 2703 2900 0 16938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81696 KiB
Current children cumulated memory: 63308 KiB

[startup+1.50016 s]
/proc/loadavg: 4.21 4.19 4.17 5/256 887608
/proc/meminfo: memFree=119924340/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=82324 memory=63836 CPUtime=1.49 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 13295 0 0 0 137 12 0 0 20 0 1 0 168125242 84299776 15959 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 20581 15959 2703 2900 0 17095 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 82324 KiB
Current children cumulated memory: 63836 KiB

[startup+3.10526 s]
/proc/loadavg: 4.21 4.19 4.17 5/256 887654
/proc/meminfo: memFree=122359012/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=82456 memory=64360 CPUtime=3.08 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 13417 0 0 0 294 14 0 0 20 0 1 0 168125242 84434944 16090 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 20614 16090 2703 2900 0 17128 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82456 KiB
Current children cumulated memory: 64360 KiB

[startup+6.30015 s]
/proc/loadavg: 4.19 4.19 4.17 5/256 887655
/proc/meminfo: memFree=122346428/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=82852 memory=65148 CPUtime=6.27 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 13630 0 0 0 605 22 0 0 20 0 1 0 168125242 84840448 16287 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 20713 16287 2703 2900 0 17227 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82852 KiB
Current children cumulated memory: 65148 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.18 4.17 5/256 887657
/proc/meminfo: memFree=122321496/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=83380 memory=66460 CPUtime=12.66 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 13928 0 0 0 1230 36 0 0 20 0 1 0 168125242 85381120 16615 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 20845 16615 2703 2900 0 17359 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 83380 KiB
Current children cumulated memory: 66460 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.17 4.17 5/256 887658
/proc/meminfo: memFree=122301764/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=86892 memory=68416 CPUtime=25.43 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 14404 0 0 0 2479 64 0 0 20 0 1 0 168125242 88977408 17104 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 21723 17104 2703 2900 0 18237 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 86892 KiB
Current children cumulated memory: 68416 KiB

[startup+51.105 s]
/proc/loadavg: 4.15 4.17 4.17 5/256 887663
/proc/meminfo: memFree=122280508/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=88080 memory=70528 CPUtime=50.98 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 14941 0 0 0 4977 121 0 0 20 0 1 0 168125242 90193920 17632 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 22020 17632 2703 2900 0 18534 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 88080 KiB
Current children cumulated memory: 70528 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/258 888055
/proc/meminfo: memFree=122223088/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=95168 memory=76196 CPUtime=102.05 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 16637 0 0 0 9981 224 0 0 20 0 1 0 168125242 97452032 19049 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 23792 19049 2703 2900 0 20306 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 95168 KiB
Current children cumulated memory: 76196 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.21 4.18 5/256 888065
/proc/meminfo: memFree=122193340/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=96284 memory=77504 CPUtime=161.91 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 16923 0 0 0 15875 316 0 0 20 0 1 0 168125242 98594816 19376 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 24071 19376 2703 2900 0 20585 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 96284 KiB
Current children cumulated memory: 77504 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/256 888076
/proc/meminfo: memFree=122179124/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=95872 memory=78632 CPUtime=221.77 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 18174 0 0 0 21768 409 0 0 20 0 1 0 168125242 98172928 19658 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 23968 19658 2703 2900 0 20482 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 95872 KiB
Current children cumulated memory: 78632 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/258 888256
/proc/meminfo: memFree=122070804/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=103656 memory=80088 CPUtime=281.63 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 19164 0 0 0 27674 489 0 0 20 0 1 0 168125242 106143744 20022 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 25914 20022 2703 2900 0 22428 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 103656 KiB
Current children cumulated memory: 80088 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/258 888266
/proc/meminfo: memFree=122040676/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=105364 memory=81404 CPUtime=341.49 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 19559 0 0 0 33565 584 0 0 20 0 1 0 168125242 107892736 20351 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 26341 20351 2703 2900 0 22855 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 105364 KiB
Current children cumulated memory: 81404 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/258 888278
/proc/meminfo: memFree=122009056/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=105600 memory=83972 CPUtime=401.34 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 19630 0 0 0 39462 672 0 0 20 0 1 0 168125242 108134400 20993 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 26400 20993 2703 2900 0 22914 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 105600 KiB
Current children cumulated memory: 83972 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/257 888301
/proc/meminfo: memFree=121959176/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=106548 memory=86804 CPUtime=461.2 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 19869 0 0 0 45368 752 0 0 20 0 1 0 168125242 109105152 21701 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 26637 21701 2703 2900 0 23151 0

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

Current children cumulated memory: 180992 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 889390
/proc/meminfo: memFree=126518876/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=211768 memory=181532 CPUtime=2855.48 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 64840 0 0 0 282224 3324 0 0 20 0 1 0 168125242 216850432 45383 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 52942 45383 2943 2900 0 49456 0
Current children cumulated CPU time: 2855.48 s
Current children cumulated vsize: 211768 KiB
Current children cumulated memory: 181532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/256 889400
/proc/meminfo: memFree=126514156/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=213048 memory=182288 CPUtime=2915.35 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 66584 0 0 0 288169 3366 0 0 20 0 1 0 168125242 218161152 45572 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 53262 45572 2943 2900 0 49776 0
Current children cumulated CPU time: 2915.35 s
Current children cumulated vsize: 213048 KiB
Current children cumulated memory: 182288 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 889410
/proc/meminfo: memFree=126502788/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=222904 memory=191112 CPUtime=2975.22 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 70348 0 0 0 294104 3418 0 0 20 0 1 0 168125242 228253696 47778 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 55726 47778 2943 2900 0 52240 0
Current children cumulated CPU time: 2975.22 s
Current children cumulated vsize: 222904 KiB
Current children cumulated memory: 191112 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 889423
/proc/meminfo: memFree=126490180/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=227288 memory=195264 CPUtime=3035.07 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 72878 0 0 0 300027 3480 0 0 20 0 1 0 168125242 232742912 48816 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 56822 48816 2943 2900 0 53336 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 227288 KiB
Current children cumulated memory: 195264 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/254 889433
/proc/meminfo: memFree=126476412/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=230000 memory=197488 CPUtime=3094.94 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 74285 0 0 0 305967 3527 0 0 20 0 1 0 168125242 235520000 49372 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 57500 49372 2943 2900 0 54014 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 230000 KiB
Current children cumulated memory: 197488 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/254 889443
/proc/meminfo: memFree=126462044/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=232740 memory=201900 CPUtime=3154.8 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 74891 0 0 0 311892 3588 0 0 20 0 1 0 168125242 238325760 50475 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 58185 50475 2943 2900 0 54699 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 232740 KiB
Current children cumulated memory: 201900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 889454
/proc/meminfo: memFree=126457656/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=234056 memory=203568 CPUtime=3214.66 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 76840 0 0 0 317820 3646 0 0 20 0 1 0 168125242 239673344 50892 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 58514 50892 2943 2900 0 55028 0
Current children cumulated CPU time: 3214.66 s
Current children cumulated vsize: 234056 KiB
Current children cumulated memory: 203568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 889464
/proc/meminfo: memFree=126443612/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=237696 memory=207720 CPUtime=3274.52 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 78483 0 0 0 323754 3698 0 0 20 0 1 0 168125242 243400704 51930 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 59424 51930 2943 2900 0 55938 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 237696 KiB
Current children cumulated memory: 207720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/254 889474
/proc/meminfo: memFree=126411264/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=241184 memory=214968 CPUtime=3334.39 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 80618 0 0 0 329695 3744 0 0 20 0 1 0 168125242 246972416 53742 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 60296 53742 2943 2900 0 56810 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 241184 KiB
Current children cumulated memory: 214968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 889488
/proc/meminfo: memFree=126386860/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=242464 memory=215652 CPUtime=3394.25 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 81638 0 0 0 335660 3765 0 0 20 0 1 0 168125242 248283136 53913 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 60616 53913 2943 2900 0 57130 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 242464 KiB
Current children cumulated memory: 215652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 889499
/proc/meminfo: memFree=126377560/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=242464 memory=215656 CPUtime=3454.11 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 81731 0 0 0 341629 3782 0 0 20 0 1 0 168125242 248283136 53914 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 60616 53914 2943 2900 0 57130 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 242464 KiB
Current children cumulated memory: 215656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 889510
/proc/meminfo: memFree=126370412/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=244256 memory=218500 CPUtime=3513.98 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 82806 0 0 0 347586 3812 0 0 20 0 1 0 168125242 250118144 54625 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 61064 54625 2943 2900 0 57578 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 244256 KiB
Current children cumulated memory: 218500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 889520
/proc/meminfo: memFree=126345184/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=244768 memory=219084 CPUtime=3573.84 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 83684 0 0 0 353545 3839 0 0 20 0 1 0 168125242 250642432 54771 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 61192 54771 2943 2900 0 57706 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 244768 KiB
Current children cumulated memory: 219084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 889526
/proc/meminfo: memFree=126340632/131524600 swapFree=131071996/131071996
[pid=887607] ppid=887604 vsize=245536 memory=219268 CPUtime=3600.08 cores=5,7
/proc/887607/stat : 887607 (ipbhs_static_sc) R 887604 887607 883519 0 -1 4194304 83775 0 0 0 356162 3846 0 0 20 0 1 0 168125242 251428864 54817 134679101440 4194304 16068861 140735908251808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30670848 140735908254758 140735908254845 140735908254845 140735908261860 0
/proc/887607/statm: 61384 54817 2943 2900 0 57898 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 245536 KiB
Current children cumulated memory: 219268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3561.63 s, system=38.4657 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.6
CPU time (s): 3600.09
CPU user time (s): 3561.63
CPU system time (s): 38.4657
CPU usage (%): 99.7642
Max. virtual memory (cumulated for all children) (KiB): 247024
Max. memory (cumulated for all children) (KiB): 221296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.63
system time used= 38.4657
maximum resident set size= 221584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83775
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= 44
involuntary context switches= 2233


# summary of solver processes directly reported to runsolver:
#   pid: 887607
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3561.63
#   total CPU system time (s): 38.4657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37499 second user time and 14.2067 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-16 21:54:00
IDJOB=4432113
IDBENCH=158387
IDSOLVER=3057
FILE ID=nodeC018/4432113-1721159628
RUNJOBID= nodeC018-1721152425-883532
SLURM_JOB_ID= 7505753
Free space on /tmp= 889816 MiB

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

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

MD5SUM BENCH= 0048c1c5d89c09890e717f6e64ce7569
RANDOM SEED=1128197

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		: 3672.028
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		: 3678.566
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		: 3600.065
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		: 3599.775
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		: 3672.000
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		: 3682.839
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.195
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		: 3667.728
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:        119983808 kB
MemAvailable:   122344812 kB
Buffers:          411764 kB
Cached:          2764088 kB
SwapCached:            0 kB
Active:           901872 kB
Inactive:        9976160 kB
Active(anon):       1552 kB
Inactive(anon):  7738364 kB
Active(file):     900320 kB
Inactive(file):  2237796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            109232 kB
Writeback:             0 kB
AnonPages:       7700372 kB
Mapped:           141080 kB
Shmem:             37720 kB
KReclaimable:     125420 kB
Slab:             238464 kB
SReclaimable:     125420 kB
SUnreclaim:       113044 kB
KernelStack:        4064 kB
PageTables:        24540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8247528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63136 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2301952 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= 889868 MiB
End job on nodeC018 at 2024-07-16 22:54:09