0.00/0.00 c initialize IPBHS solver
0.00/0.00 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.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.09/0.18 c limit for coefficient in constraints and objective to 1000000000
0.09/0.18 c will solve HOME/instance-4509134-1751505720.opb
0.09/0.18 c [0.01] will start solving
244.63/245.45 c [0.01] solve iteration 1, LB=0, UB=31981
244.63/245.45 c [4.65] solve iteration 2, LB=0, UB=1308
244.63/245.45 c [10.63] solve iteration 3, LB=311, UB=1308
244.63/245.45 c [19.73] solve iteration 4, LB=353, UB=1308
244.63/245.45 c [58.32] solve iteration 5, LB=386, UB=1308
244.63/245.45 c [118.91] solve iteration 6, LB=404, UB=1235
1059.08/1062.85 c [901.57] solve iteration 7, LB=415, UB=1235
2320.66/2328.81 c [2121.12] solve iteration 8, LB=432, UB=1210
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: 63708 MiB (53185 MiB free)
memory of node 1: 64465 MiB (53040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509134-1751505720/watcher-4509134-1751505720 -o /tmp/evaluation-result-4509134-1751505720/solver-4509134-1751505720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69562 --watchdog 3760 ./ipbhs_scip HOME/instance-4509134-1751505720.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=70737, runsolver pid=70734
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.44 4.22 4.15 5/266 70738
/proc/meminfo: memFree=108386116/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=685384 memory=435036 CPUtime=0.09 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 1047 0 0 0 1 8 0 0 20 0 1 0 66250692 701833216 108759 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 171346 108759 1600 2790 0 164771 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 685384 KiB
Current children cumulated memory: 435036 KiB
[startup+0.205887 s]*
/proc/loadavg: 4.44 4.22 4.15 5/266 70738
/proc/meminfo: memFree=108125868/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=707336 memory=681880 CPUtime=0.19 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 6849 0 0 0 6 13 0 0 20 0 1 0 66250692 724312064 170470 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 176834 170470 3520 2790 0 170259 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 707336 KiB
Current children cumulated memory: 681880 KiB
[startup+0.305657 s]*
/proc/loadavg: 4.44 4.22 4.15 5/266 70738
/proc/meminfo: memFree=108125868/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=707336 memory=681880 CPUtime=0.3 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 6863 0 0 0 13 17 0 0 20 0 1 0 66250692 724312064 170470 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 176834 170470 3520 2790 0 170259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 707336 KiB
Current children cumulated memory: 681880 KiB
[startup+0.700179 s]
/proc/loadavg: 4.44 4.22 4.15 5/266 70738
/proc/meminfo: memFree=108125868/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=707336 memory=682008 CPUtime=0.68 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 6891 0 0 0 35 33 0 0 20 0 1 0 66250692 724312064 170502 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 176834 170502 3520 2790 0 170259 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 707336 KiB
Current children cumulated memory: 682008 KiB
[startup+1.50017 s]
/proc/loadavg: 4.41 4.21 4.15 5/266 70738
/proc/meminfo: memFree=108126120/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=707336 memory=682264 CPUtime=1.48 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 6940 0 0 0 82 66 0 0 20 0 1 0 66250692 724312064 170566 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 176834 170566 3520 2790 0 170259 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 707336 KiB
Current children cumulated memory: 682264 KiB
[startup+3.10554 s]
/proc/loadavg: 4.41 4.21 4.15 5/266 70738
/proc/meminfo: memFree=108126136/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=707336 memory=682648 CPUtime=3.09 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 7049 0 0 0 178 131 0 0 20 0 1 0 66250692 724312064 170662 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 176834 170662 3520 2790 0 170259 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 707336 KiB
Current children cumulated memory: 682648 KiB
[startup+6.30016 s]
/proc/loadavg: 4.38 4.21 4.15 5/266 70738
/proc/meminfo: memFree=108109760/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=708408 memory=683672 CPUtime=6.27 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 7289 0 0 0 377 250 0 0 20 0 1 0 66250692 725409792 170918 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 177102 170918 3520 2790 0 170527 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 708408 KiB
Current children cumulated memory: 683672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.43 4.22 4.15 5/266 70738
/proc/meminfo: memFree=107978868/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=848664 memory=808764 CPUtime=12.66 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 42407 0 0 0 860 406 0 0 20 0 1 0 66250692 869031936 202191 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 212166 202191 3744 2790 0 205591 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 848664 KiB
Current children cumulated memory: 808764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.23 4.16 5/266 70738
/proc/meminfo: memFree=107804016/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1025384 memory=964948 CPUtime=25.42 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 77273 0 0 0 1876 666 0 0 20 0 1 0 66250692 1049993216 241237 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 256346 241237 3744 2790 0 249771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1025384 KiB
Current children cumulated memory: 964948 KiB
[startup+51.1056 s]
/proc/loadavg: 4.27 4.21 4.15 5/266 70739
/proc/meminfo: memFree=107600376/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1272040 memory=1174576 CPUtime=50.94 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 100929 0 0 0 4369 725 0 0 20 0 1 0 66250692 1302568960 293644 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 318010 293644 3744 2790 0 311435 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1174576 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.15 5/266 70742
/proc/meminfo: memFree=107351020/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1497656 memory=1386464 CPUtime=101.97 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 131263 0 0 0 9298 899 0 0 20 0 1 0 66250692 1533599744 346616 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 374414 346616 3744 2790 0 367839 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1497656 KiB
Current children cumulated memory: 1386464 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/266 70744
/proc/meminfo: memFree=107172244/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1696792 memory=1556960 CPUtime=161.78 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 160755 0 0 0 15122 1056 0 0 20 0 1 0 66250692 1737515008 389240 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 424198 389240 3744 2790 0 417623 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1696792 KiB
Current children cumulated memory: 1556960 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/265 70746
/proc/meminfo: memFree=107142120/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1706756 memory=1564716 CPUtime=221.6 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 162650 0 0 0 21103 1057 0 0 20 0 1 0 66250692 1747718144 391179 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 426689 391179 3744 2790 0 420114 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1706756 KiB
Current children cumulated memory: 1564716 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/265 70753
/proc/meminfo: memFree=107065944/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1752368 memory=1609076 CPUtime=281.42 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 172215 0 0 0 27083 1059 0 0 20 0 1 0 66250692 1794424832 402269 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 438092 402269 3776 2790 0 431517 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1752368 KiB
Current children cumulated memory: 1609076 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/265 70755
/proc/meminfo: memFree=107032332/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1752368 memory=1609204 CPUtime=341.23 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 172231 0 0 0 33064 1059 0 0 20 0 1 0 66250692 1794424832 402301 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 438092 402301 3776 2790 0 431517 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1752368 KiB
Current children cumulated memory: 1609204 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/266 70761
/proc/meminfo: memFree=107006036/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1753616 memory=1610356 CPUtime=401.01 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 172533 0 0 0 39042 1059 0 0 20 0 1 0 66250692 1795702784 402589 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 438404 402589 3776 2790 0 431829 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 1753616 KiB
Current children cumulated memory: 1610356 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/267 70764
/proc/meminfo: memFree=106990872/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1753616 memory=1610356 CPUtime=460.79 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 172533 0 0 0 45020 1059 0 0 20 0 1 0 66250692 1795702784 402589 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 438404 402589 3776 2790 0 431829 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
Current children cumulated memory: 1823312 KiB
[startup+2922.3 s]
/proc/loadavg: 2.19 2.85 3.53 3/253 71006
/proc/meminfo: memFree=109635764/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1928704 memory=1823952 CPUtime=2912.45 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208096 0 0 0 289933 1312 0 0 20 0 1 0 66250692 1974992896 455988 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482176 455988 3776 2790 0 475601 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 1928704 KiB
Current children cumulated memory: 1823952 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.71 3.44 3/253 71008
/proc/meminfo: memFree=109618788/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1928704 memory=1823952 CPUtime=2972.28 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208099 0 0 0 295916 1312 0 0 20 0 1 0 66250692 1974992896 455988 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482176 455988 3776 2790 0 475601 0
Current children cumulated CPU time: 2972.28 s
Current children cumulated vsize: 1928704 KiB
Current children cumulated memory: 1823952 KiB
[startup+3042.3 s]
/proc/loadavg: 2.14 2.61 3.36 3/252 71011
/proc/meminfo: memFree=109554404/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1928704 memory=1823952 CPUtime=3032.1 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208150 0 0 0 301898 1312 0 0 20 0 1 0 66250692 1974992896 455988 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482176 455988 3776 2790 0 475601 0
Current children cumulated CPU time: 3032.1 s
Current children cumulated vsize: 1928704 KiB
Current children cumulated memory: 1823952 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.51 3.27 3/252 71013
/proc/meminfo: memFree=109457524/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1928704 memory=1823952 CPUtime=3091.93 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208279 0 0 0 307881 1312 0 0 20 0 1 0 66250692 1974992896 455988 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482176 455988 3776 2790 0 475601 0
Current children cumulated CPU time: 3091.93 s
Current children cumulated vsize: 1928704 KiB
Current children cumulated memory: 1823952 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.43 3.20 3/252 71015
/proc/meminfo: memFree=109433444/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1928704 memory=1823952 CPUtime=3151.76 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208279 0 0 0 313864 1312 0 0 20 0 1 0 66250692 1974992896 455988 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482176 455988 3776 2790 0 475601 0
Current children cumulated CPU time: 3151.76 s
Current children cumulated vsize: 1928704 KiB
Current children cumulated memory: 1823952 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.37 3.13 3/251 71017
/proc/meminfo: memFree=109426144/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1929116 memory=1824464 CPUtime=3211.59 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208407 0 0 0 319847 1312 0 0 20 0 1 0 66250692 1975414784 456116 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482279 456116 3776 2790 0 475704 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 1929116 KiB
Current children cumulated memory: 1824464 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.31 3.06 3/251 71018
/proc/meminfo: memFree=109409392/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1929248 memory=1826256 CPUtime=3271.42 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208562 0 0 0 325830 1312 0 0 20 0 1 0 66250692 1975549952 456564 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482312 456564 3776 2790 0 475737 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 1929248 KiB
Current children cumulated memory: 1826256 KiB
[startup+3342.3 s]
/proc/loadavg: 2.06 2.27 2.99 3/252 71025
/proc/meminfo: memFree=109335712/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1929248 memory=1826256 CPUtime=3331.25 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208587 0 0 0 331813 1312 0 0 20 0 1 0 66250692 1975549952 456564 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482312 456564 3776 2790 0 475737 0
Current children cumulated CPU time: 3331.25 s
Current children cumulated vsize: 1929248 KiB
Current children cumulated memory: 1826256 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.23 2.93 3/254 71031
/proc/meminfo: memFree=109324440/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1929248 memory=1826256 CPUtime=3391.07 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208587 0 0 0 337795 1312 0 0 20 0 1 0 66250692 1975549952 456564 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482312 456564 3776 2790 0 475737 0
Current children cumulated CPU time: 3391.07 s
Current children cumulated vsize: 1929248 KiB
Current children cumulated memory: 1826256 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 2.23 2.89 3/254 71033
/proc/meminfo: memFree=109323956/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1929248 memory=1826256 CPUtime=3450.9 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 208588 0 0 0 343778 1312 0 0 20 0 1 0 66250692 1975549952 456564 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482312 456564 3776 2790 0 475737 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 1929248 KiB
Current children cumulated memory: 1826256 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.20 2.84 3/255 71038
/proc/meminfo: memFree=109307128/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1930512 memory=1827536 CPUtime=3510.73 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 209075 0 0 0 349761 1312 0 0 20 0 1 0 66250692 1976844288 456884 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482628 456884 3776 2790 0 476053 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 1930512 KiB
Current children cumulated memory: 1827536 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 2.16 2.78 3/255 71040
/proc/meminfo: memFree=109267356/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1930512 memory=1827536 CPUtime=3570.56 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 209081 0 0 0 355744 1312 0 0 20 0 1 0 66250692 1976844288 456884 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482628 456884 3776 2790 0 476053 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 1930512 KiB
Current children cumulated memory: 1827536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 2.09 2.17 2.77 3/255 71042
/proc/meminfo: memFree=109257952/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1930512 memory=1827536 CPUtime=3600.07 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 209081 0 0 0 358695 1312 0 0 20 0 1 0 66250692 1976844288 456884 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482628 456884 3776 2790 0 476053 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1930512 KiB
Current children cumulated memory: 1827536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 70737 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3586.96 s, system=13.1267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 2.09 2.17 2.77 3/255 71042
/proc/meminfo: memFree=109257952/131249996 swapFree=33010160/33010684
[pid=70737] ppid=70734 vsize=1930512 memory=1827536 CPUtime=3600.07 cores=5,7
/proc/70737/stat : 70737 (ipbhs_scip) R 70734 70737 69549 0 -1 4194304 209081 0 0 0 358695 1312 0 0 20 0 1 0 66250692 1976844288 456884 18446744073709551615 93944444866560 93944456292957 140724252167824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93944458428632 93944458473650 93944479113216 140724252174738 140724252174857 140724252174857 140724252180459 0
/proc/70737/statm: 482628 456884 3776 2790 0 476053 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1930512 KiB
Current children cumulated memory: 1827536 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.91
CPU time (s): 3600.08
CPU user time (s): 3586.96
CPU system time (s): 13.1267
CPU usage (%): 99.6727
Max. virtual memory (cumulated for all children) (KiB): 1930512
Max. memory (cumulated for all children) (KiB): 1827536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.96
system time used= 13.1267
maximum resident set size= 1827536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209081
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= 88
involuntary context switches= 18739
# summary of solver processes directly reported to runsolver:
# pid: 70737
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.96
# total CPU system time (s): 13.1267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14487 second user time and 14.6011 second system time
The end
Begin job on nodeC032 at 2025-07-03 03:22:00
IDJOB=4509134
IDBENCH=158598
IDSOLVER=3335
FILE ID=nodeC032/4509134-1751505720
RUNJOBID= nodeC032-1751497501-69562
SLURM_JOB_ID= 9598573
Free space on /tmp= 430360 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509134-1751505720/watcher-4509134-1751505720 -o /tmp/evaluation-result-4509134-1751505720/solver-4509134-1751505720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69562 --watchdog 3760 ./ipbhs_scip HOME/instance-4509134-1751505720.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1072347436
nodeC032 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 : 0xb00002a
cpu MHz : 3599.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.928
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3691.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3567.056
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108776180 kB
MemAvailable: 125366132 kB
Buffers: 2728 kB
Cached: 17269444 kB
SwapCached: 20 kB
Active: 4718916 kB
Inactive: 16901528 kB
Active(anon): 4363196 kB
Inactive(anon): 3124 kB
Active(file): 355720 kB
Inactive(file): 16898404 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69940 kB
Writeback: 0 kB
AnonPages: 4351336 kB
Mapped: 136840 kB
Shmem: 18048 kB
KReclaimable: 350136 kB
Slab: 443344 kB
SReclaimable: 350136 kB
SUnreclaim: 93208 kB
KernelStack: 4288 kB
PageTables: 12076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4986552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1718272 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430432 MiB
End job on nodeC032 at 2025-07-03 04:22:13