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.59/0.62 c limit for coefficient in constraints and objective to 1000000000
0.59/0.62 c will solve HOME/instance-4489308-1751350940.opb
0.59/0.62 c [0.01] will start solving
4.67/4.77 c [0.02] solve iteration 1, LB=0, UB=477
4.67/4.77 c [0.88] solve iteration 2, LB=144, UB=210
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 (62280 MiB free)
memory of node 1: 64465 MiB (63802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489308-1751350940/watcher-4489308-1751350940 -o /tmp/evaluation-result-4489308-1751350940/solver-4489308-1751350940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751343715-50064 --watchdog 3760 ./ipbhs_scip HOME/instance-4489308-1751350940.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=50805, runsolver pid=50798
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.04 4.07 4.08 4/251 50828
/proc/meminfo: memFree=128807056/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1511764 memory=225124 CPUtime=0.09 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 694 0 0 0 2 7 0 0 20 0 1 0 50773463 1548046336 56281 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 377941 56281 1600 2790 0 371366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1511764 KiB
Current children cumulated memory: 225124 KiB
[startup+0.213787 s]*
/proc/loadavg: 4.04 4.07 4.08 5/249 50835
/proc/meminfo: memFree=128380816/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1511764 memory=507748 CPUtime=0.2 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 832 0 0 0 4 16 0 0 20 0 1 0 50773463 1548046336 126937 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 377941 126937 1600 2790 0 371366 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1511764 KiB
Current children cumulated memory: 507748 KiB
[startup+0.313684 s]*
/proc/loadavg: 4.04 4.07 4.08 5/249 50839
/proc/meminfo: memFree=128158388/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1511764 memory=753508 CPUtime=0.3 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 952 0 0 0 6 24 0 0 20 0 1 0 50773463 1548046336 188377 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 377941 188377 1600 2790 0 371366 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1511764 KiB
Current children cumulated memory: 753508 KiB
[startup+0.70032 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 50840
/proc/meminfo: memFree=127661024/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1522272 memory=1494672 CPUtime=0.68 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 4076 0 0 0 19 49 0 0 20 0 1 0 50773463 1558806528 373668 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 380568 373668 3616 2790 0 373993 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1522272 KiB
Current children cumulated memory: 1494672 KiB
[startup+1.50024 s]
/proc/loadavg: 4.04 4.07 4.08 5/248 50841
/proc/meminfo: memFree=127305908/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1527960 memory=1499440 CPUtime=1.47 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 5389 0 0 0 98 49 0 0 20 0 1 0 50773463 1564631040 374860 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 381990 374860 3648 2790 0 375415 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1527960 KiB
Current children cumulated memory: 1499440 KiB
[startup+3.11276 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 50850
/proc/meminfo: memFree=127013380/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1574092 memory=1546820 CPUtime=3.08 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 17959 0 0 0 257 51 0 0 20 0 1 0 50773463 1611870208 386705 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 393523 386705 3680 2790 0 386948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1574092 KiB
Current children cumulated memory: 1546820 KiB
[startup+6.30023 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 50850
/proc/meminfo: memFree=126453716/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1664860 memory=1634320 CPUtime=6.26 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 40875 0 0 0 571 55 0 0 20 0 1 0 50773463 1704816640 408580 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 416215 408580 3680 2790 0 409640 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1664860 KiB
Current children cumulated memory: 1634320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/253 50850
/proc/meminfo: memFree=124639836/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1664860 memory=1634448 CPUtime=12.64 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 40884 0 0 0 1209 55 0 0 20 0 1 0 50773463 1704816640 408612 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 416215 408612 3680 2790 0 409640 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1664860 KiB
Current children cumulated memory: 1634448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.08 4.09 5/253 50850
/proc/meminfo: memFree=123086152/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1728772 memory=1696016 CPUtime=25.41 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 56292 0 0 0 2482 59 0 0 20 0 1 0 50773463 1770262528 424004 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 432193 424004 3680 2790 0 425618 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1728772 KiB
Current children cumulated memory: 1696016 KiB
[startup+51.1129 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 50851
/proc/meminfo: memFree=120931132/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1760880 memory=1730552 CPUtime=50.93 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 64751 0 0 0 5033 60 0 0 20 0 1 0 50773463 1803141120 432638 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 440220 432638 3680 2790 0 433645 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1760880 KiB
Current children cumulated memory: 1730552 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/252 50853
/proc/meminfo: memFree=120860668/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1762924 memory=1735416 CPUtime=101.95 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 65371 0 0 0 10135 60 0 0 20 0 1 0 50773463 1805234176 433854 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 440731 433854 3680 2790 0 434156 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1762924 KiB
Current children cumulated memory: 1735416 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.14 4.11 5/252 50854
/proc/meminfo: memFree=120529132/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1782156 memory=1755896 CPUtime=161.77 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 70952 0 0 0 16116 61 0 0 20 0 1 0 50773463 1824927744 438974 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 445539 438974 3680 2790 0 438964 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1782156 KiB
Current children cumulated memory: 1755896 KiB
[startup+222.3 s]
/proc/loadavg: 4.60 4.27 4.15 5/252 50856
/proc/meminfo: memFree=120489084/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1795340 memory=1769336 CPUtime=221.59 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 74374 0 0 0 22098 61 0 0 20 0 1 0 50773463 1838428160 442334 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 448835 442334 3680 2790 0 442260 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1795340 KiB
Current children cumulated memory: 1769336 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.25 4.15 5/252 50858
/proc/meminfo: memFree=120468252/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1795340 memory=1769336 CPUtime=281.4 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 74384 0 0 0 28079 61 0 0 20 0 1 0 50773463 1838428160 442334 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 448835 442334 3680 2790 0 442260 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1795340 KiB
Current children cumulated memory: 1769336 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/250 50860
/proc/meminfo: memFree=120468000/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1796680 memory=1770872 CPUtime=341.22 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 74869 0 0 0 34061 61 0 0 20 0 1 0 50773463 1839800320 442718 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 449170 442718 3680 2790 0 442595 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1796680 KiB
Current children cumulated memory: 1770872 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.19 4.14 5/250 50862
/proc/meminfo: memFree=120475816/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1796680 memory=1770872 CPUtime=401.04 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 74984 0 0 0 40043 61 0 0 20 0 1 0 50773463 1839800320 442718 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 449170 442718 3680 2790 0 442595 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1796680 KiB
Current children cumulated memory: 1770872 KiB
[startup+462.3 s]
/proc/loadavg: 4.73 4.35 4.20 5/251 50867
/proc/meminfo: memFree=120451352/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1800076 memory=1773304 CPUtime=460.85 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 75609 0 0 0 46024 61 0 0 20 0 1 0 50773463 1843277824 443326 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 450019 443326 3680 2790 0 443444 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 1831520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/250 50988
/proc/meminfo: memFree=119438140/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1856360 memory=1831904 CPUtime=2853.34 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 91882 0 0 0 285270 64 0 0 20 0 1 0 50773463 1900912640 457976 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 464090 457976 3680 2790 0 457515 0
Current children cumulated CPU time: 2853.34 s
Current children cumulated vsize: 1856360 KiB
Current children cumulated memory: 1831904 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.08 4.10 5/250 50990
/proc/meminfo: memFree=119435936/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1856360 memory=1831904 CPUtime=2913.15 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 91988 0 0 0 291251 64 0 0 20 0 1 0 50773463 1900912640 457976 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 464090 457976 3680 2790 0 457515 0
Current children cumulated CPU time: 2913.15 s
Current children cumulated vsize: 1856360 KiB
Current children cumulated memory: 1831904 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/253 50996
/proc/meminfo: memFree=119440784/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1856516 memory=1831904 CPUtime=2972.97 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 92003 0 0 0 297233 64 0 0 20 0 1 0 50773463 1901072384 457976 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 464129 457976 3680 2790 0 457554 0
Current children cumulated CPU time: 2972.97 s
Current children cumulated vsize: 1856516 KiB
Current children cumulated memory: 1831904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/253 51002
/proc/meminfo: memFree=119430536/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1859304 memory=1834464 CPUtime=3032.78 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 92645 0 0 0 303214 64 0 0 20 0 1 0 50773463 1903927296 458616 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 464826 458616 3680 2790 0 458251 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 1859304 KiB
Current children cumulated memory: 1834464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/253 51004
/proc/meminfo: memFree=119428916/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1860332 memory=1836000 CPUtime=3092.58 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93023 0 0 0 309194 64 0 0 20 0 1 0 50773463 1904979968 459000 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465083 459000 3680 2790 0 458508 0
Current children cumulated CPU time: 3092.58 s
Current children cumulated vsize: 1860332 KiB
Current children cumulated memory: 1836000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 51006
/proc/meminfo: memFree=119428468/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1860332 memory=1836128 CPUtime=3152.39 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93039 0 0 0 315175 64 0 0 20 0 1 0 50773463 1904979968 459032 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465083 459032 3680 2790 0 458508 0
Current children cumulated CPU time: 3152.39 s
Current children cumulated vsize: 1860332 KiB
Current children cumulated memory: 1836128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 51008
/proc/meminfo: memFree=119430940/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1860332 memory=1836128 CPUtime=3212.2 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93159 0 0 0 321156 64 0 0 20 0 1 0 50773463 1904979968 459032 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465083 459032 3680 2790 0 458508 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 1860332 KiB
Current children cumulated memory: 1836128 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 51010
/proc/meminfo: memFree=119414976/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1862496 memory=1838304 CPUtime=3272.02 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93702 0 0 0 327138 64 0 0 20 0 1 0 50773463 1907195904 459576 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465624 459576 3680 2790 0 459049 0
Current children cumulated CPU time: 3272.02 s
Current children cumulated vsize: 1862496 KiB
Current children cumulated memory: 1838304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51012
/proc/meminfo: memFree=119407424/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1863672 memory=1838304 CPUtime=3331.83 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93836 0 0 0 333119 64 0 0 20 0 1 0 50773463 1908400128 459576 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465918 459576 3680 2790 0 459343 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 1863672 KiB
Current children cumulated memory: 1838304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 51014
/proc/meminfo: memFree=119406520/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1863672 memory=1838304 CPUtime=3391.64 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 93850 0 0 0 339100 64 0 0 20 0 1 0 50773463 1908400128 459576 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 465918 459576 3680 2790 0 459343 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 1863672 KiB
Current children cumulated memory: 1838304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 51019
/proc/meminfo: memFree=119406356/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1866500 memory=1840608 CPUtime=3451.45 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 94427 0 0 0 345081 64 0 0 20 0 1 0 50773463 1911296000 460152 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 466625 460152 3680 2790 0 460050 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 1866500 KiB
Current children cumulated memory: 1840608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 51021
/proc/meminfo: memFree=119406096/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1866500 memory=1840736 CPUtime=3511.26 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 94450 0 0 0 351062 64 0 0 20 0 1 0 50773463 1911296000 460184 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 466625 460184 3680 2790 0 460050 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 1866500 KiB
Current children cumulated memory: 1840736 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 51023
/proc/meminfo: memFree=119405684/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1866500 memory=1841248 CPUtime=3571.08 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 94699 0 0 0 357043 65 0 0 20 0 1 0 50773463 1911296000 460312 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 466625 460312 3680 2790 0 460050 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 1866500 KiB
Current children cumulated memory: 1841248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.09 4.09 4.09 4/244 51037
/proc/meminfo: memFree=120466532/131382112 swapFree=33010684/33010684
[pid=50805] ppid=50798 vsize=1866500 memory=1841248 CPUtime=3600.09 cores=0,2
/proc/50805/stat : 50805 (ipbhs_scip) R 50798 50805 50049 0 -1 4194304 94699 0 0 0 359944 65 0 0 20 0 1 0 50773463 1911296000 460312 18446744073709551615 94825762881536 94825774307933 140734533049488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94825776443608 94825776488626 94825793622016 140734533052818 140734533052937 140734533052937 140734533058539 0
/proc/50805/statm: 466625 460312 3680 2790 0 460050 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1866500 KiB
Current children cumulated memory: 1841248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 50805 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.44 s, system=0.660277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.41
CPU time (s): 3600.1
CPU user time (s): 3599.44
CPU system time (s): 0.660277
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 1866500
Max. memory (cumulated for all children) (KiB): 1841248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.44
system time used= 0.660277
maximum resident set size= 1841248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94699
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= 105
involuntary context switches= 8846
# summary of solver processes directly reported to runsolver:
# pid: 50805
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.44
# total CPU system time (s): 0.660277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4677 second user time and 33.6549 second system time
The end
Begin job on nodeC005 at 2025-07-01 08:22:20
IDJOB=4489308
IDBENCH=147545
IDSOLVER=3335
FILE ID=nodeC005/4489308-1751350940
RUNJOBID= nodeC005-1751343715-50064
SLURM_JOB_ID= 9598113
Free space on /tmp= 430604 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489308-1751350940/watcher-4489308-1751350940 -o /tmp/evaluation-result-4489308-1751350940/solver-4489308-1751350940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751343715-50064 --watchdog 3760 ./ipbhs_scip HOME/instance-4489308-1751350940.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=1029617505
nodeC005 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 : 1197.407
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.90
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 : 1197.244
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.90
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.459
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.90
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.799
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.90
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 : 3492.945
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.90
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 : 1197.223
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.90
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.660
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.90
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 : 3700.000
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129109780 kB
MemAvailable: 129951412 kB
Buffers: 2752 kB
Cached: 1640880 kB
SwapCached: 0 kB
Active: 409348 kB
Inactive: 1302876 kB
Active(anon): 78384 kB
Inactive(anon): 8168 kB
Active(file): 330964 kB
Inactive(file): 1294708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 209356 kB
Writeback: 0 kB
AnonPages: 71408 kB
Mapped: 103956 kB
Shmem: 17960 kB
KReclaimable: 111172 kB
Slab: 196020 kB
SReclaimable: 111172 kB
SUnreclaim: 84848 kB
KernelStack: 3916 kB
PageTables: 3052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 348588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430380 MiB
End job on nodeC005 at 2025-07-01 09:22:32