Trace number 4432114

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.1 3611.11

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
MD5SUMb67c8b15922ffb2eac696beabc53406c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.826056
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26658
Number of constraints which are cardinality constraints (but not clauses)238
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
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 670
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 (57187 MiB free)
  memory of node 1: 64473 MiB (49160 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432114-1721159927/watcher-4432114-1721159927 -o /tmp/evaluation-result-4432114-1721159927/solver-4432114-1721159927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721153783-910751 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432114-1721159927.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=914548, runsolver pid=914545

[startup+0.100121 s]*
/proc/loadavg: 4.09 4.13 4.11 5/261 914549
/proc/meminfo: memFree=108871216/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=53108 memory=36472 CPUtime=0.09 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 6756 0 0 0 6 3 0 0 20 0 1 0 168160835 54382592 9118 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 13277 9118 2383 2900 0 9791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53108 KiB
Current children cumulated memory: 36472 KiB

[startup+0.20573 s]*
/proc/loadavg: 4.09 4.13 4.11 5/261 914549
/proc/meminfo: memFree=108849880/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=77364 memory=59056 CPUtime=0.2 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12068 0 0 0 16 4 0 0 20 0 1 0 168160835 79220736 14764 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19341 14764 2703 2900 0 15855 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 59056 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.09 4.13 4.11 5/261 914549
/proc/meminfo: memFree=108849740/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=77496 memory=59056 CPUtime=0.29 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12100 0 0 0 25 4 0 0 20 0 1 0 168160835 79355904 14764 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19374 14764 2703 2900 0 15888 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77496 KiB
Current children cumulated memory: 59056 KiB

[startup+0.70018 s]
/proc/loadavg: 4.09 4.13 4.11 5/261 914549
/proc/meminfo: memFree=108848228/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=78860 memory=60376 CPUtime=0.69 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12453 0 0 0 63 6 0 0 20 0 1 0 168160835 80752640 15094 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19715 15094 2703 2900 0 16229 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78860 KiB
Current children cumulated memory: 60376 KiB

[startup+1.50014 s]
/proc/loadavg: 4.09 4.13 4.11 5/261 914549
/proc/meminfo: memFree=108847528/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=79260 memory=60904 CPUtime=1.48 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12543 0 0 0 140 8 0 0 20 0 1 0 168160835 81162240 15226 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19815 15226 2703 2900 0 16329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79260 KiB
Current children cumulated memory: 60904 KiB

[startup+3.10542 s]
/proc/loadavg: 4.16 4.14 4.12 5/261 914549
/proc/meminfo: memFree=108844224/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=79524 memory=61164 CPUtime=3.08 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12638 0 0 0 296 12 0 0 20 0 1 0 168160835 81432576 15291 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19881 15291 2703 2900 0 16395 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79524 KiB
Current children cumulated memory: 61164 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.14 4.12 5/261 914550
/proc/meminfo: memFree=108842976/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=79920 memory=62216 CPUtime=6.27 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 12875 0 0 0 606 21 0 0 20 0 1 0 168160835 81838080 15554 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 19980 15554 2703 2900 0 16494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 62216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.12 5/261 914550
/proc/meminfo: memFree=108834428/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=80184 memory=63000 CPUtime=12.65 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 13070 0 0 0 1224 41 0 0 20 0 1 0 168160835 82108416 15750 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 20046 15750 2703 2900 0 16560 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80184 KiB
Current children cumulated memory: 63000 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.11 5/261 914553
/proc/meminfo: memFree=108814532/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=95288 memory=77144 CPUtime=25.4 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 16124 0 0 0 2471 69 0 0 20 0 1 0 168160835 97574912 19286 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 23822 19286 2703 2900 0 20336 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 95288 KiB
Current children cumulated memory: 77144 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.14 4.12 5/260 914557
/proc/meminfo: memFree=108721052/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=99660 memory=81368 CPUtime=50.94 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 17200 0 0 0 4976 118 0 0 20 0 1 0 168160835 102051840 20342 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 24915 20342 2703 2900 0 21429 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 99660 KiB
Current children cumulated memory: 81368 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/259 914568
/proc/meminfo: memFree=108654572/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=102300 memory=84236 CPUtime=101.98 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 18235 0 0 0 9989 209 0 0 20 0 1 0 168160835 104755200 21059 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 25575 21059 2703 2900 0 22089 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 102300 KiB
Current children cumulated memory: 84236 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/259 914591
/proc/meminfo: memFree=108571792/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=103736 memory=85544 CPUtime=161.79 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 18604 0 0 0 15869 310 0 0 20 0 1 0 168160835 106225664 21386 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 25934 21386 2703 2900 0 22448 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 103736 KiB
Current children cumulated memory: 85544 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/258 914602
/proc/meminfo: memFree=107988360/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=103968 memory=85732 CPUtime=221.6 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 23164 0 0 0 21753 407 0 0 20 0 1 0 168160835 106463232 21433 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 25992 21433 2703 2900 0 22506 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 103968 KiB
Current children cumulated memory: 85732 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/256 914613
/proc/meminfo: memFree=106972904/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=104992 memory=87440 CPUtime=281.42 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 27330 0 0 0 27644 498 0 0 20 0 1 0 168160835 107511808 21860 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 26248 21860 2703 2900 0 22762 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 104992 KiB
Current children cumulated memory: 87440 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/257 914625
/proc/meminfo: memFree=106653688/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=113324 memory=89568 CPUtime=341.22 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 30390 0 0 0 33548 574 0 0 20 0 1 0 168160835 116043776 22392 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 28331 22392 2703 2900 0 24845 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 113324 KiB
Current children cumulated memory: 89568 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 914637
/proc/meminfo: memFree=106435404/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=113708 memory=89936 CPUtime=401.03 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 33352 0 0 0 39448 655 0 0 20 0 1 0 168160835 116436992 22484 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 28427 22484 2703 2900 0 24941 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 113708 KiB
Current children cumulated memory: 89936 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 914648
/proc/meminfo: memFree=105903644/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=113708 memory=89968 CPUtime=460.84 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 35713 0 0 0 45337 747 0 0 20 0 1 0 168160835 116436992 22492 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 28427 22492 2703 2900 0 24941 0

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

Current children cumulated memory: 119264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.17 6/256 915860
/proc/meminfo: memFree=127510368/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119268 CPUtime=2913.33 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 94703 0 0 0 288029 3304 0 0 20 0 1 0 168160835 144060416 29817 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29817 2703 2900 0 31685 0
Current children cumulated CPU time: 2913.33 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119268 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/255 915870
/proc/meminfo: memFree=127507524/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119272 CPUtime=2973.14 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 96521 0 0 0 293956 3358 0 0 20 0 1 0 168160835 144060416 29818 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29818 2703 2900 0 31685 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119272 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/255 915881
/proc/meminfo: memFree=127503796/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119276 CPUtime=3032.97 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 97747 0 0 0 299886 3411 0 0 20 0 1 0 168160835 144060416 29819 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29819 2703 2900 0 31685 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/258 915896
/proc/meminfo: memFree=127499616/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119280 CPUtime=3092.8 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 98976 0 0 0 305820 3460 0 0 20 0 1 0 168160835 144060416 29820 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29820 2703 2900 0 31685 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119280 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/258 915907
/proc/meminfo: memFree=127488456/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119284 CPUtime=3152.62 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 100801 0 0 0 311747 3515 0 0 20 0 1 0 168160835 144060416 29821 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29821 2703 2900 0 31685 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/258 915917
/proc/meminfo: memFree=127485928/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119288 CPUtime=3212.44 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 102033 0 0 0 317675 3569 0 0 20 0 1 0 168160835 144060416 29822 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29822 2703 2900 0 31685 0
Current children cumulated CPU time: 3212.44 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.17 4.16 5/258 915928
/proc/meminfo: memFree=127483376/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119312 CPUtime=3272.26 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 103270 0 0 0 323604 3622 0 0 20 0 1 0 168160835 144060416 29828 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29828 2703 2900 0 31685 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/258 915940
/proc/meminfo: memFree=127478172/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=140684 memory=119320 CPUtime=3332.08 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 105105 0 0 0 329535 3673 0 0 20 0 1 0 168160835 144060416 29830 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35171 29830 2703 2900 0 31685 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 119320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.20 4.17 5/257 916337
/proc/meminfo: memFree=127567004/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=141196 memory=119636 CPUtime=3391.91 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 105821 0 0 0 335480 3711 0 0 20 0 1 0 168160835 144584704 29909 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35299 29909 2703 2900 0 31813 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 141196 KiB
Current children cumulated memory: 119636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.17 5/257 916347
/proc/meminfo: memFree=127554380/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=142220 memory=124332 CPUtime=3451.73 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 107211 0 0 0 341425 3748 0 0 20 0 1 0 168160835 145633280 31083 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35555 31083 2703 2900 0 32069 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 142220 KiB
Current children cumulated memory: 124332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/257 916359
/proc/meminfo: memFree=127535916/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=142732 memory=126380 CPUtime=3511.55 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 107895 0 0 0 347381 3774 0 0 20 0 1 0 168160835 146157568 31595 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35683 31595 2703 2900 0 32197 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 142732 KiB
Current children cumulated memory: 126380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/259 916539
/proc/meminfo: memFree=127528716/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=143500 memory=128004 CPUtime=3571.37 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 109822 0 0 0 353327 3810 0 0 20 0 1 0 168160835 146944000 32001 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35875 32001 2703 2900 0 32389 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 143500 KiB
Current children cumulated memory: 128004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.10 4.15 4.16 5/259 916544
/proc/meminfo: memFree=127518128/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=143500 memory=128004 CPUtime=3600.09 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 110622 0 0 0 356175 3834 0 0 20 0 1 0 168160835 146944000 32001 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35875 32001 2703 2900 0 32389 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 143500 KiB
Current children cumulated memory: 128004 KiB

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

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

# cumulated CPU time of all completed processes:  user=3561.76 s, system=38.3443 s

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

[startup+3611.11 s]
/proc/loadavg: 4.10 4.15 4.16 5/259 916544
/proc/meminfo: memFree=127518128/131524600 swapFree=131071996/131071996
[pid=914548] ppid=914545 vsize=143500 memory=128004 CPUtime=3600.09 cores=0,2
/proc/914548/stat : 914548 (ipbhs_static_sc) R 914545 914548 910741 0 -1 4194304 110622 0 0 0 356175 3834 0 0 20 0 1 0 168160835 146944000 32001 134679101440 4194304 16068861 140729706253056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38375424 140729706255398 140729706255485 140729706255485 140729706262500 0
/proc/914548/statm: 35875 32001 2703 2900 0 32389 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 143500 KiB
Current children cumulated memory: 128004 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.11
CPU time (s): 3600.1
CPU user time (s): 3561.76
CPU system time (s): 38.3443
CPU usage (%): 99.6953
Max. virtual memory (cumulated for all children) (KiB): 146780
Max. memory (cumulated for all children) (KiB): 130904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.76
system time used= 38.3443
maximum resident set size= 131012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110622
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= 32
involuntary context switches= 25194


# summary of solver processes directly reported to runsolver:
#   pid: 914548
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3561.76
#   total CPU system time (s): 38.3443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78647 second user time and 15.7628 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 21:59:00
IDJOB=4432114
IDBENCH=158390
IDSOLVER=3057
FILE ID=nodeC030/4432114-1721159927
RUNJOBID= nodeC030-1721153783-910751
SLURM_JOB_ID= 7505759
Free space on /tmp= 889624 MiB

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

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

MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=836665656

nodeC030.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		: 3680.099
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108900976 kB
MemAvailable:   110823984 kB
Buffers:          410900 kB
Cached:          2332012 kB
SwapCached:            0 kB
Active:          1242032 kB
Inactive:       20710888 kB
Active(anon):       1548 kB
Inactive(anon): 19246172 kB
Active(file):    1240484 kB
Inactive(file):  1464716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             54788 kB
Writeback:             0 kB
AnonPages:      19208208 kB
Mapped:           140168 kB
Shmem:             37720 kB
KReclaimable:     115260 kB
Slab:             224164 kB
SReclaimable:     115260 kB
SUnreclaim:       108904 kB
KernelStack:        4128 kB
PageTables:        46968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20610620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64896 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8491008 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:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889868 MiB
End job on nodeC030 at 2024-07-16 22:59:12