Trace number 4431850

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.12 3615.73

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUMeddbc5130f16a1842e21dd4bd4477bf2
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 benchmark254
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494527
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494527
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

909.77/914.16	c initialize IPBHS solver
909.77/914.16	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
909.77/914.16	c optimizer = "scip"
909.77/914.16	c pbsolver = "roundingsat"
909.77/914.16	c load symmetries from file ""
909.77/914.16	c set time limit for symmetry computation to 100 seconds.
909.77/914.16	c set interchangeable summation variable limit to 3
909.77/914.16	c set abs symmetric core budget per WCE-iteration to 100
909.77/914.16	c set rel symmetric core budget per WCE-iteration to 0
909.77/914.16	c set lit symmetric core budget per WCE-iteration to 0
909.77/914.16	c set sym generation to 's'
909.77/914.16	c set abstraction set creation to 10 iterations without LB change
909.77/914.16	c set abstraction set inputs to 0
909.77/914.16	c set abstraction set cluster min size to 2
909.77/914.16	c set abstraction set cluster max size to 100000000
909.77/914.16	c set abstraction set cluster activation limit to 2
909.77/914.16	c enable abstraction set require equal cost
909.77/914.16	c set abstraction set assumptions to 0
909.77/914.16	c set abstraction set constraint type to 0
909.77/914.16	c set abstract core extraction strategy to b
909.77/914.16	c set core extraction strategy to 2
909.77/914.16	c set core extraction shuffles 10
909.77/914.16	c set cores per iteration to 5
909.77/914.16	c set optimizer bound usage strategy to 2
909.77/914.16	c set optimizer max non-optimal iterations to 1000
909.77/914.16	c set small core cardinality limit to 2
909.77/914.16	c set max coef in cores to 1000000000
909.77/914.16	c set SIS iterations to 5
909.77/914.16	c set SIS budget abs to 1000
909.77/914.16	c set SIS budget rel to 0.05
909.77/914.16	c limit for coefficient in constraints and objective to 9223372036854775807
909.77/914.16	c will solve HOME/instance-4431850-1721092151.opb
909.77/914.16	c [1.43] solve iteration 1, LB=0, UB=494528

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62301 MiB free)
  memory of node 1: 64510 MiB (63216 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431850-1721092151/watcher-4431850-1721092151 -o /tmp/evaluation-result-4431850-1721092151/solver-4431850-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821236 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431850-1721092151.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=821285, runsolver pid=821281
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 3.76 4.04 4.08 5/244 821300
/proc/meminfo: memFree=128514120/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=34824 memory=10488 CPUtime=0.1 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 2235 0 0 0 10 0 0 0 20 0 1 0 161371859 35659776 2622 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 8706 2622 1023 2900 0 5220 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34824 KiB
Current children cumulated memory: 10488 KiB

[startup+0.213654 s]*
/proc/loadavg: 3.76 4.04 4.08 5/244 821300
/proc/meminfo: memFree=128492060/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=44664 memory=18568 CPUtime=0.21 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 3740 0 0 0 21 0 0 0 20 0 1 0 161371859 45735936 4642 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 11166 4642 1023 2900 0 7680 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44664 KiB
Current children cumulated memory: 18568 KiB

[startup+0.313918 s]*
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=128480432/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=47964 memory=22260 CPUtime=0.32 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 4646 0 0 0 31 1 0 0 20 0 1 0 161371859 49115136 5565 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 11991 5565 1023 2900 0 8505 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 47964 KiB
Current children cumulated memory: 22260 KiB

[startup+0.700337 s]
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=128452448/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=69356 memory=44248 CPUtime=0.68 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 8601 0 0 0 66 2 0 0 20 0 1 0 161371859 71020544 10996 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 17339 11062 1023 2900 0 13853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69356 KiB
Current children cumulated memory: 44248 KiB

[startup+1.50033 s]
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=128365740/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=122064 memory=88132 CPUtime=1.49 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 16426 0 0 0 116 33 0 0 20 0 1 0 161371859 124993536 22033 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 30516 22033 1135 2900 0 27030 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122064 KiB
Current children cumulated memory: 88132 KiB

[startup+3.11268 s]
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=127537432/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=447452 memory=403788 CPUtime=3.09 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 80908 0 0 0 207 102 0 0 20 0 1 0 161371859 458190848 100947 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 111863 100947 2383 2900 0 108377 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 447452 KiB
Current children cumulated memory: 403788 KiB

[startup+6.3003 s]
/proc/loadavg: 3.86 4.06 4.09 5/244 821302
/proc/meminfo: memFree=125009816/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=1297844 memory=1218784 CPUtime=6.27 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 266121 0 0 0 439 188 0 0 20 0 1 0 161371859 1328992256 304696 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 324461 304696 2639 2900 0 320975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1297844 KiB
Current children cumulated memory: 1218784 KiB

[startup+12.7003 s]
/proc/loadavg: 3.87 4.06 4.09 5/244 821303
/proc/meminfo: memFree=120099100/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=3094520 memory=2798716 CPUtime=12.65 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 286511 0 0 0 1045 220 0 0 20 0 1 0 161371859 3168788480 699679 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 773630 699679 2671 2900 0 770144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3094520 KiB
Current children cumulated memory: 2798716 KiB

[startup+25.5004 s]
/proc/loadavg: 3.90 4.05 4.08 6/244 821305
/proc/meminfo: memFree=117887124/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=3837492 memory=3530508 CPUtime=25.4 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 432189 0 0 0 2292 248 0 0 20 0 1 0 161371859 3929591808 882627 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 959373 882627 2879 2900 0 955887 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3837492 KiB
Current children cumulated memory: 3530508 KiB

[startup+51.1128 s]
/proc/loadavg: 4.02 4.07 4.09 6/244 821310
/proc/meminfo: memFree=111187652/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6330356 memory=5750292 CPUtime=50.88 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 542694 0 0 0 4786 302 0 0 20 0 1 0 161371859 6482284544 1437573 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1582589 1437573 2895 2900 0 1579103 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 6330356 KiB
Current children cumulated memory: 5750292 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/246 821322
/proc/meminfo: memFree=111149856/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6330356 memory=5756220 CPUtime=101.75 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 542854 0 0 0 9872 303 0 0 20 0 1 0 161371859 6482284544 1439055 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1582589 1439055 2895 2900 0 1579103 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 6330356 KiB
Current children cumulated memory: 5756220 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.10 4.10 5/246 821332
/proc/meminfo: memFree=110831728/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6532152 memory=5853936 CPUtime=161.47 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 550179 0 0 0 15841 306 0 0 20 0 1 0 161371859 6688923648 1463484 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1633038 1463484 2895 2900 0 1629552 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 6532152 KiB
Current children cumulated memory: 5853936 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.15 4.11 5/246 821343
/proc/meminfo: memFree=110781660/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6604004 memory=5864204 CPUtime=221.19 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 551015 0 0 0 21812 307 0 0 20 0 1 0 161371859 6762500096 1466051 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1651001 1466051 2895 2900 0 1647515 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 6604004 KiB
Current children cumulated memory: 5864204 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/246 821353
/proc/meminfo: memFree=110685284/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6694392 memory=5893016 CPUtime=280.92 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 551926 0 0 0 27783 309 0 0 20 0 1 0 161371859 6855057408 1473254 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1673598 1473254 2895 2900 0 1670112 0
Current children cumulated CPU time: 280.92 s
Current children cumulated vsize: 6694392 KiB
Current children cumulated memory: 5893016 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/245 821364
/proc/meminfo: memFree=110681336/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6755984 memory=5893020 CPUtime=340.63 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 552542 0 0 0 33754 309 0 0 20 0 1 0 161371859 6918127616 1473255 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1688996 1473255 2895 2900 0 1685510 0
Current children cumulated CPU time: 340.63 s
Current children cumulated vsize: 6755984 KiB
Current children cumulated memory: 5893020 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/243 821375
/proc/meminfo: memFree=110669948/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6755984 memory=5893020 CPUtime=400.34 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 552683 0 0 0 39724 310 0 0 20 0 1 0 161371859 6918127616 1473255 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1688996 1473255 2895 2900 0 1685510 0
Current children cumulated CPU time: 400.34 s
Current children cumulated vsize: 6755984 KiB
Current children cumulated memory: 5893020 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/243 821385
/proc/meminfo: memFree=110629932/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=6827840 memory=5903912 CPUtime=460.06 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 553542 0 0 0 45695 311 0 0 20 0 1 0 161371859 6991708160 1475978 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 1706960 1475978 2895 2900 0 1703474 0

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

Current children cumulated memory: 6567052 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 822837
/proc/meminfo: memFree=108709384/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8898120 memory=6571144 CPUtime=2909.59 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 712417 0 0 0 290604 355 0 0 20 0 1 0 161371859 9111674880 1642786 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2224530 1642786 2895 2900 0 2221044 0
Current children cumulated CPU time: 2909.59 s
Current children cumulated vsize: 8898120 KiB
Current children cumulated memory: 6571144 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 823017
/proc/meminfo: memFree=108694372/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8898120 memory=6573188 CPUtime=2969.34 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 713081 0 0 0 296579 355 0 0 20 0 1 0 161371859 9111674880 1643297 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2224530 1643297 2895 2900 0 2221044 0
Current children cumulated CPU time: 2969.34 s
Current children cumulated vsize: 8898120 KiB
Current children cumulated memory: 6573188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 823027
/proc/meminfo: memFree=108688264/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8898120 memory=6575660 CPUtime=3029.09 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 714225 0 0 0 302554 355 0 0 20 0 1 0 161371859 9111674880 1643915 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2224530 1643915 2895 2900 0 2221044 0
Current children cumulated CPU time: 3029.09 s
Current children cumulated vsize: 8898120 KiB
Current children cumulated memory: 6575660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 823051
/proc/meminfo: memFree=108684192/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6579196 CPUtime=3088.85 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 715076 0 0 0 308529 356 0 0 20 0 1 0 161371859 9174753280 1644799 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1644799 2895 2900 0 2236444 0
Current children cumulated CPU time: 3088.85 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6579196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 823061
/proc/meminfo: memFree=108503872/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6582092 CPUtime=3148.59 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 715445 0 0 0 314503 356 0 0 20 0 1 0 161371859 9174753280 1645523 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645523 2895 2900 0 2236444 0
Current children cumulated CPU time: 3148.59 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6582092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 823073
/proc/meminfo: memFree=108502348/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3208.33 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 716269 0 0 0 320477 356 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3208.33 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 823083
/proc/meminfo: memFree=108501972/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3268.07 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 716930 0 0 0 326450 357 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3268.07 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 823094
/proc/meminfo: memFree=108501764/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3327.81 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 718145 0 0 0 332424 357 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3327.81 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/242 823105
/proc/meminfo: memFree=108499368/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3387.54 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 719037 0 0 0 338397 357 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3387.54 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 823120
/proc/meminfo: memFree=108496000/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3447.31 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 719684 0 0 0 344374 357 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3447.31 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 823130
/proc/meminfo: memFree=108304420/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3507.08 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 720525 0 0 0 350351 357 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3507.08 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/245 823141
/proc/meminfo: memFree=108174820/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3566.83 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 721155 0 0 0 356325 358 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3566.83 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/239 823275
/proc/meminfo: memFree=121949884/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3600.09 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 721438 0 0 0 359651 358 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.51 s, system=3.60879 s

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

[startup+3615.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/239 823275
/proc/meminfo: memFree=121949884/131655788 swapFree=131071996/131071996
[pid=821285] ppid=821281 vsize=8959720 memory=6583192 CPUtime=3600.09 cores=0,2
/proc/821285/stat : 821285 (ipbhs_static_sc) R 821281 821285 821226 0 -1 4194304 721438 0 0 0 359651 358 0 0 20 0 1 0 161371859 9174753280 1645798 134679101440 4194304 16068861 140722644860128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 27156480 140722644866086 140722644866173 140722644866173 140722644873188 0
/proc/821285/statm: 2239930 1645798 2895 2900 0 2236444 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8959720 KiB
Current children cumulated memory: 6583192 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3615.73
CPU time (s): 3600.12
CPU user time (s): 3596.51
CPU system time (s): 3.60879
CPU usage (%): 99.5684
Max. virtual memory (cumulated for all children) (KiB): 8959720
Max. memory (cumulated for all children) (KiB): 6583724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.51
system time used= 3.60879
maximum resident set size= 6583724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721438
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= 76
involuntary context switches= 25218


# summary of solver processes directly reported to runsolver:
#   pid: 821285
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3596.51
#   total CPU system time (s): 3.60879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5188 second user time and 35.3907 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-16 03:09:24
IDJOB=4431850
IDBENCH=147554
IDSOLVER=3057
FILE ID=nodeC007/4431850-1721092151
RUNJOBID= nodeC007-1721092164-821236
SLURM_JOB_ID= 7505588
Free space on /tmp= 723672 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431850-1721092151/watcher-4431850-1721092151 -o /tmp/evaluation-result-4431850-1721092151/solver-4431850-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821236 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431850-1721092151.opb

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
RANDOM SEED=1343467761

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128530096 kB
MemAvailable:   129929940 kB
Buffers:          392004 kB
Cached:          1837680 kB
SwapCached:            0 kB
Active:           692312 kB
Inactive:        1883428 kB
Active(anon):       1432 kB
Inactive(anon):   382360 kB
Active(file):     690880 kB
Inactive(file):  1501068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            265452 kB
Writeback:             0 kB
AnonPages:        346132 kB
Mapped:           114948 kB
Shmem:             37704 kB
KReclaimable:      95856 kB
Slab:             192008 kB
SReclaimable:      95856 kB
SUnreclaim:        96152 kB
KernelStack:        3668 kB
PageTables:        10184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     804812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723556 MiB
End job on nodeC007 at 2024-07-16 04:09:40