0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "scip"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.51/0.55 c limit for coefficient in constraints and objective to 1000000000
0.51/0.55 c will solve HOME/instance-4521524-1751572073.opb
0.51/0.55 c [0.01] will start solving
88.55/88.85 c [0.04] solve iteration 1, LB=0, UB=5042
88.55/88.85 c [1.38] solve iteration 2, LB=2521, UB=2590
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: 63837 MiB (60582 MiB free)
memory of node 1: 64465 MiB (50758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521524-1751572073/watcher-4521524-1751572073 -o /tmp/evaluation-result-4521524-1751572073/solver-4521524-1751572073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89203 --watchdog 3760 ./ipbhs_scip HOME/instance-4521524-1751572073.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=90807, runsolver pid=90804
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.13 4.16 4.17 5/249 90808
/proc/meminfo: memFree=113856728/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1636688 memory=348004 CPUtime=0.1 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 749 0 0 0 2 8 0 0 20 0 1 0 72886460 1675968512 87001 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 409172 87001 1600 2790 0 402597 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 1636688 KiB
Current children cumulated memory: 348004 KiB
[startup+0.213352 s]*
/proc/loadavg: 4.13 4.16 4.17 5/249 90808
/proc/meminfo: memFree=113474792/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1636688 memory=728932 CPUtime=0.21 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 935 0 0 0 5 16 0 0 20 0 1 0 72886460 1675968512 182233 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 409172 182233 1600 2790 0 402597 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 1636688 KiB
Current children cumulated memory: 728932 KiB
[startup+0.313366 s]*
/proc/loadavg: 4.13 4.16 4.17 5/249 90808
/proc/meminfo: memFree=113136904/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1636688 memory=1064804 CPUtime=0.31 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 1099 0 0 0 7 24 0 0 20 0 1 0 72886460 1675968512 266201 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 409172 266201 1600 2790 0 402597 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1636688 KiB
Current children cumulated memory: 1064804 KiB
[startup+0.70034 s]
/proc/loadavg: 4.13 4.16 4.17 5/249 90808
/proc/meminfo: memFree=112559368/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1699856 memory=1663668 CPUtime=0.68 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 14914 0 0 0 25 43 0 0 20 0 1 0 72886460 1740652544 415917 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 424964 415917 3584 2790 0 418389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1699856 KiB
Current children cumulated memory: 1663668 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.16 4.17 6/249 90808
/proc/meminfo: memFree=112515456/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1731272 memory=1688756 CPUtime=1.48 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 21193 0 0 0 104 44 0 0 20 0 1 0 72886460 1772822528 422189 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 432818 422189 3616 2790 0 426243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1731272 KiB
Current children cumulated memory: 1688756 KiB
[startup+3.11299 s]
/proc/loadavg: 4.12 4.16 4.17 6/250 90809
/proc/meminfo: memFree=112451488/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1789732 memory=1759024 CPUtime=3.08 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 40549 0 0 0 261 47 0 0 20 0 1 0 72886460 1832685568 439756 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 447433 439756 3712 2790 0 440858 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1789732 KiB
Current children cumulated memory: 1759024 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.16 4.17 6/250 90809
/proc/meminfo: memFree=112435636/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1816196 memory=1783008 CPUtime=6.27 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 46037 0 0 0 578 49 0 0 20 0 1 0 72886460 1859784704 445752 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 454049 445752 3744 2790 0 447474 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1816196 KiB
Current children cumulated memory: 1783008 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.17 6/250 90809
/proc/meminfo: memFree=112427880/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1832576 memory=1796960 CPUtime=12.65 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 49510 0 0 0 1216 49 0 0 20 0 1 0 72886460 1876557824 449240 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 458144 449240 3744 2790 0 451569 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1832576 KiB
Current children cumulated memory: 1796960 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.16 4.17 6/250 90810
/proc/meminfo: memFree=112412060/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1844704 memory=1806816 CPUtime=25.41 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 51995 0 0 0 2491 50 0 0 20 0 1 0 72886460 1888976896 451704 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 461176 451704 3744 2790 0 454601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1844704 KiB
Current children cumulated memory: 1806816 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.15 4.17 6/250 90810
/proc/meminfo: memFree=112360392/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1898856 memory=1857248 CPUtime=50.96 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 64597 0 0 0 5043 53 0 0 20 0 1 0 72886460 1944428544 464312 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 474714 464312 3744 2790 0 468139 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1898856 KiB
Current children cumulated memory: 1857248 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.17 6/250 90812
/proc/meminfo: memFree=112336548/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1891936 CPUtime=102.01 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 73274 0 0 0 10146 55 0 0 20 0 1 0 72886460 1988931584 472984 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 472984 3744 2790 0 479004 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1891936 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.17 6/250 90814
/proc/meminfo: memFree=112337008/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1891936 CPUtime=161.84 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 73923 0 0 0 16129 55 0 0 20 0 1 0 72886460 1988931584 472984 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 472984 3744 2790 0 479004 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1891936 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 6/250 90816
/proc/meminfo: memFree=112334016/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1892064 CPUtime=221.67 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 74013 0 0 0 22112 55 0 0 20 0 1 0 72886460 1988931584 473016 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 473016 3744 2790 0 479004 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1892064 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.16 6/251 90823
/proc/meminfo: memFree=112339420/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1892064 CPUtime=281.5 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 74014 0 0 0 28095 55 0 0 20 0 1 0 72886460 1988931584 473016 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 473016 3744 2790 0 479004 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1892064 KiB
[startup+342.3 s]
/proc/loadavg: 4.54 4.24 4.20 6/250 90825
/proc/meminfo: memFree=112336468/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1892064 CPUtime=341.34 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 74020 0 0 0 34079 55 0 0 20 0 1 0 72886460 1988931584 473016 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 473016 3744 2790 0 479004 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1892064 KiB
[startup+402.3 s]
/proc/loadavg: 4.56 4.32 4.22 6/251 90828
/proc/meminfo: memFree=112337540/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942316 memory=1892064 CPUtime=401.17 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 74101 0 0 0 40062 55 0 0 20 0 1 0 72886460 1988931584 473016 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485579 473016 3744 2790 0 479004 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1942316 KiB
Current children cumulated memory: 1892064 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.27 4.21 6/251 90830
/proc/meminfo: memFree=112327328/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=1942856 memory=1894752 CPUtime=461.01 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 74803 0 0 0 46045 56 0 0 20 0 1 0 72886460 1989484544 473688 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 485714 473688 3744 2790 0 479139 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 1995728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 91317
/proc/meminfo: memFree=96862808/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=2914.28 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93543 0 0 0 291367 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 91319
/proc/meminfo: memFree=96856004/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=2974.12 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93543 0 0 0 297351 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 91324
/proc/meminfo: memFree=96857516/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3033.96 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93678 0 0 0 303335 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 91326
/proc/meminfo: memFree=96858304/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3093.8 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93678 0 0 0 309319 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/251 91329
/proc/meminfo: memFree=96859816/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3153.64 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93766 0 0 0 315303 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 91331
/proc/meminfo: memFree=96862096/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3213.48 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93815 0 0 0 321287 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 91333
/proc/meminfo: memFree=96855776/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3273.32 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93823 0 0 0 327271 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 91340
/proc/meminfo: memFree=96836320/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995856 CPUtime=3333.16 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93965 0 0 0 333255 61 0 0 20 0 1 0 72886460 2069426176 498964 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498964 3744 2790 0 498656 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 91341
/proc/meminfo: memFree=96836320/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3393 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 93977 0 0 0 339239 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 91343
/proc/meminfo: memFree=96835336/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3452.83 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 94108 0 0 0 345222 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 91345
/proc/meminfo: memFree=96835604/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3512.67 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 94113 0 0 0 351206 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 91348
/proc/meminfo: memFree=96835628/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3572.51 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 94114 0 0 0 357190 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 91352
/proc/meminfo: memFree=96834396/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3600.04 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 94244 0 0 0 359943 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 90807 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.43 s, system=0.620857 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 91352
/proc/meminfo: memFree=96834396/131382112 swapFree=33005784/33010684
[pid=90807] ppid=90804 vsize=2020924 memory=1995984 CPUtime=3600.04 cores=4,6
/proc/90807/stat : 90807 (ipbhs_scip) R 90804 90807 89192 0 -1 4194304 94244 0 0 0 359943 61 0 0 20 0 1 0 72886460 2069426176 498996 18446744073709551615 94636903567360 94636914993757 140720502176992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94636917129432 94636917174450 94636942983168 140720502184338 140720502184457 140720502184457 140720502190059 0
/proc/90807/statm: 505231 498996 3744 2790 0 498656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2020924 KiB
Current children cumulated memory: 1995984 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.91
CPU time (s): 3600.05
CPU user time (s): 3599.43
CPU system time (s): 0.620857
CPU usage (%): 99.727
Max. virtual memory (cumulated for all children) (KiB): 2020924
Max. memory (cumulated for all children) (KiB): 1995984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 0.620857
maximum resident set size= 1995984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94244
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= 99
involuntary context switches= 2255
# summary of solver processes directly reported to runsolver:
# pid: 90807
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.43
# total CPU system time (s): 0.620857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1067 second user time and 34.2511 second system time
The end
Begin job on nodeC007 at 2025-07-03 21:47:53
IDJOB=4521524
IDBENCH=178340
IDSOLVER=3335
FILE ID=nodeC007/4521524-1751572073
RUNJOBID= nodeC007-1751566271-89203
SLURM_JOB_ID= 9598776
Free space on /tmp= 430804 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521524-1751572073/watcher-4521524-1751572073 -o /tmp/evaluation-result-4521524-1751572073/solver-4521524-1751572073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751566271-89203 --watchdog 3760 ./ipbhs_scip HOME/instance-4521524-1751572073.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2dad4d4d97748033eacd0c8bb0bd5214
RANDOM SEED=787494169
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3662.510
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3579.906
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.285
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.738
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3662.235
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.550
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.477
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 114013444 kB
MemAvailable: 120892976 kB
Buffers: 16 kB
Cached: 7548080 kB
SwapCached: 252 kB
Active: 9019416 kB
Inactive: 7281820 kB
Active(anon): 8718928 kB
Inactive(anon): 47716 kB
Active(file): 300488 kB
Inactive(file): 7234104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70064 kB
Writeback: 0 kB
AnonPages: 8754184 kB
Mapped: 130572 kB
Shmem: 13504 kB
KReclaimable: 369132 kB
Slab: 458708 kB
SReclaimable: 369132 kB
SUnreclaim: 89576 kB
KernelStack: 4016 kB
PageTables: 20340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 9596108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5834752 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430660 MiB
End job on nodeC007 at 2025-07-03 22:48:03