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.30/0.33 c limit for coefficient in constraints and objective to 1000000000
0.30/0.33 c will solve HOME/instance-4503868-1751435565.opb
0.30/0.33 c [0.01] will start solving
345.47/346.47 c [0.11] solve iteration 1, LB=-50, UB=43040120997
345.47/346.47 c [264.41] solve iteration 2, LB=1167945, UB=3178867
696.67/698.51 c [550.4] solve iteration 3, LB=1428142, UB=3178867
1215.29/1218.56 c [991.17] solve iteration 4, LB=1475460, UB=3178867
1868.96/1873.92 c [1566.57] solve iteration 5, LB=1523494, UB=3178867
2984.18/2992.22 c [2571.39] solve iteration 6, LB=1565005, UB=3178867
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 (58905 MiB free)
memory of node 1: 64465 MiB (62392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503868-1751435565/watcher-4503868-1751435565 -o /tmp/evaluation-result-4503868-1751435565/solver-4503868-1751435565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751435565-61321 --watchdog 3760 ./ipbhs_scip HOME/instance-4503868-1751435565.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
Current StackSize limit: 8192 KiB
solver pid=61357, runsolver pid=61349
[startup+0.100071 s]*
/proc/loadavg: 0.46 0.93 1.32 3/246 61371
/proc/meminfo: memFree=124040956/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=340292 memory=200420 CPUtime=0.09 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 676 0 0 0 2 7 0 0 20 0 1 0 59235724 348459008 50105 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 85073 50105 1568 2790 0 78498 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 340292 KiB
Current children cumulated memory: 200420 KiB
[startup+0.214995 s]*
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123748620/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=345508 memory=312036 CPUtime=0.21 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 2615 0 0 0 8 13 0 0 20 0 1 0 59235724 353800192 78009 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 86377 78009 1664 2790 0 79802 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 345508 KiB
Current children cumulated memory: 312036 KiB
[startup+0.314264 s]*
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123710804/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=361208 memory=336904 CPUtime=0.3 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 6440 0 0 0 13 17 0 0 20 0 1 0 59235724 369876992 84226 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 90302 84226 3104 2790 0 83727 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 361208 KiB
Current children cumulated memory: 336904 KiB
[startup+0.700349 s]
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123655048/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=399132 memory=371616 CPUtime=0.67 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 15025 0 0 0 44 23 0 0 20 0 1 0 59235724 408711168 92904 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 99783 92904 3584 2790 0 93208 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 399132 KiB
Current children cumulated memory: 371616 KiB
[startup+1.50034 s]
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123397252/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=433444 memory=401116 CPUtime=1.46 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 22501 0 0 0 121 25 0 0 20 0 1 0 59235724 443846656 100279 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 108361 100279 3680 2790 0 101786 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 433444 KiB
Current children cumulated memory: 401116 KiB
[startup+3.11333 s]
/proc/loadavg: 0.75 0.98 1.34 5/254 61379
/proc/meminfo: memFree=123207348/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=431544 memory=399356 CPUtime=3.07 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 22558 0 0 0 258 49 0 0 20 0 1 0 59235724 441901056 99839 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 107886 99839 3680 2790 0 101311 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 431544 KiB
Current children cumulated memory: 399356 KiB
[startup+6.30027 s]
/proc/loadavg: 0.75 0.98 1.34 5/254 61379
/proc/meminfo: memFree=123027044/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=431544 memory=401676 CPUtime=6.25 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 22636 0 0 0 528 97 0 0 20 0 1 0 59235724 441901056 100419 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 107886 100419 3680 2790 0 101311 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 431544 KiB
Current children cumulated memory: 401676 KiB
[startup+12.7003 s]
/proc/loadavg: 1.25 1.08 1.37 5/254 61379
/proc/meminfo: memFree=123013316/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=443744 memory=413244 CPUtime=12.63 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 24499 0 0 0 1087 176 0 0 20 0 1 0 59235724 454393856 103311 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 110936 103311 3680 2790 0 104361 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 443744 KiB
Current children cumulated memory: 413244 KiB
[startup+25.5004 s]
/proc/loadavg: 1.74 1.20 1.40 5/254 61379
/proc/meminfo: memFree=122975064/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=479332 memory=444884 CPUtime=25.39 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 29791 0 0 0 2245 294 0 0 20 0 1 0 59235724 490835968 111221 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 119833 111221 3680 2790 0 113258 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 479332 KiB
Current children cumulated memory: 444884 KiB
[startup+51.1127 s]
/proc/loadavg: 2.51 1.42 1.47 5/253 61379
/proc/meminfo: memFree=122886148/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=530712 memory=489552 CPUtime=50.94 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 38475 0 0 0 4598 496 0 0 20 0 1 0 59235724 543449088 122388 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 132678 122388 3680 2790 0 126103 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 530712 KiB
Current children cumulated memory: 489552 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.89 1.63 5/254 61382
/proc/meminfo: memFree=122778232/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=593152 memory=548300 CPUtime=101.98 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 46911 0 0 0 9435 763 0 0 20 0 1 0 59235724 607387648 137075 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 148288 137075 3680 2790 0 141713 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 593152 KiB
Current children cumulated memory: 548300 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.31 1.79 5/255 61385
/proc/meminfo: memFree=122596228/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=629964 memory=601112 CPUtime=161.84 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 56127 0 0 0 15125 1059 0 0 20 0 1 0 59235724 645083136 150278 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 157491 150278 3680 2790 0 150916 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 629964 KiB
Current children cumulated memory: 601112 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.66 1.95 5/255 61387
/proc/meminfo: memFree=122290428/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=654980 memory=628120 CPUtime=221.69 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 62509 0 0 0 20862 1307 0 0 20 0 1 0 59235724 670699520 157030 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 163745 157030 3680 2790 0 157170 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 654980 KiB
Current children cumulated memory: 628120 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.93 2.09 5/254 61392
/proc/meminfo: memFree=121111912/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=1859128 memory=1702800 CPUtime=281.53 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 331731 0 0 0 26562 1591 0 0 20 0 1 0 59235724 1903747072 425668 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 464782 425700 3680 2790 0 458207 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1859128 KiB
Current children cumulated memory: 1702800 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.14 2.21 5/253 61394
/proc/meminfo: memFree=119553908/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=3033316 memory=2838908 CPUtime=341.38 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 550354 0 0 0 32506 1632 0 0 20 0 1 0 59235724 3106115584 709727 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 758329 709727 3712 2790 0 751754 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 3033316 KiB
Current children cumulated memory: 2838908 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.33 2.34 5/251 61396
/proc/meminfo: memFree=119366704/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=3033316 memory=2838908 CPUtime=401.22 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 550446 0 0 0 38437 1685 0 0 20 0 1 0 59235724 3106115584 709727 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 758329 709727 3712 2790 0 751754 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 3033316 KiB
Current children cumulated memory: 2838908 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.45 2.45 5/251 61399
/proc/meminfo: memFree=119172872/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=3033316 memory=2838908 CPUtime=461.07 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 550448 0 0 0 44189 1918 0 0 20 0 1 0 59235724 3106115584 709727 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 758329 709727 3712 2790 0 751754 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
/proc/meminfo: memFree=107974932/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11180304 memory=10683604 CPUtime=2914.45 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1741531 0 0 0 286329 5116 0 0 20 0 1 0 59235724 11448631296 2670901 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2795076 2670901 3712 2790 0 2788501 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 11180304 KiB
Current children cumulated memory: 10683604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/251 61531
/proc/meminfo: memFree=107932432/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11184460 memory=10684116 CPUtime=2974.31 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1742509 0 0 0 292313 5118 0 0 20 0 1 0 59235724 11452887040 2671029 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2796115 2671029 3712 2790 0 2789540 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 11184460 KiB
Current children cumulated memory: 10684116 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/251 61533
/proc/meminfo: memFree=107855292/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11223712 memory=10722008 CPUtime=3034.14 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1751155 0 0 0 298294 5120 0 0 20 0 1 0 59235724 11493081088 2680502 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2805928 2680502 3712 2790 0 2799353 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 11223712 KiB
Current children cumulated memory: 10722008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.03 5/250 61535
/proc/meminfo: memFree=107769556/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11291432 memory=10775232 CPUtime=3093.99 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1754070 0 0 0 304276 5123 0 0 20 0 1 0 59235724 11562426368 2693808 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2822858 2693808 3712 2790 0 2816283 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 11291432 KiB
Current children cumulated memory: 10775232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/250 61537
/proc/meminfo: memFree=107725148/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11307760 memory=10790092 CPUtime=3153.83 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1764936 0 0 0 310251 5132 0 0 20 0 1 0 59235724 11579146240 2697523 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2826940 2697523 3712 2790 0 2820365 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 11307760 KiB
Current children cumulated memory: 10790092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.14 4.05 5/250 61539
/proc/meminfo: memFree=107688632/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11311896 memory=10790092 CPUtime=3213.69 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1765872 0 0 0 316235 5134 0 0 20 0 1 0 59235724 11583381504 2697523 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2827974 2697523 3712 2790 0 2821399 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 11311896 KiB
Current children cumulated memory: 10790092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/250 61543
/proc/meminfo: memFree=107637872/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11319140 memory=10790220 CPUtime=3273.54 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1766837 0 0 0 322219 5135 0 0 20 0 1 0 59235724 11590799360 2697555 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2829785 2697555 3712 2790 0 2823210 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 11319140 KiB
Current children cumulated memory: 10790220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/250 61545
/proc/meminfo: memFree=107531452/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11382568 memory=10850696 CPUtime=3333.37 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1780923 0 0 0 328198 5139 0 0 20 0 1 0 59235724 11655749632 2712674 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2845642 2712674 3712 2790 0 2839067 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 11382568 KiB
Current children cumulated memory: 10850696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/251 61548
/proc/meminfo: memFree=107489920/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11382568 memory=10850696 CPUtime=3393.18 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1781494 0 0 0 334178 5140 0 0 20 0 1 0 59235724 11655749632 2712674 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2845642 2712674 3712 2790 0 2839067 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 11382568 KiB
Current children cumulated memory: 10850696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/251 61550
/proc/meminfo: memFree=107428928/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11382568 memory=10850696 CPUtime=3452.97 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1782264 0 0 0 340156 5141 0 0 20 0 1 0 59235724 11655749632 2712674 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2845642 2712674 3712 2790 0 2839067 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 11382568 KiB
Current children cumulated memory: 10850696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/251 61552
/proc/meminfo: memFree=107393508/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11382568 memory=10850696 CPUtime=3512.77 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1783136 0 0 0 346134 5143 0 0 20 0 1 0 59235724 11655749632 2712674 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2845642 2712674 3712 2790 0 2839067 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 11382568 KiB
Current children cumulated memory: 10850696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/251 61558
/proc/meminfo: memFree=107344312/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11382568 memory=10850696 CPUtime=3572.57 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1784025 0 0 0 352112 5145 0 0 20 0 1 0 59235724 11655749632 2712674 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2845642 2712674 3712 2790 0 2839067 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 11382568 KiB
Current children cumulated memory: 10850696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.10 4.05 5/250 61559
/proc/meminfo: memFree=107544044/131382116 swapFree=33010160/33010684
[pid=61357] ppid=61349 vsize=11174524 memory=10642772 CPUtime=3600.08 cores=5,7
/proc/61357/stat : 61357 (ipbhs_scip) R 61349 61357 60790 0 -1 4194304 1784637 0 0 0 354732 5276 0 0 20 0 1 0 59235724 11442712576 2660693 18446744073709551615 94300584357888 94300595784285 140734428739648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94300597919960 94300597964978 94300608024576 140734428748178 140734428748297 140734428748297 140734428753899 0
/proc/61357/statm: 2793631 2660693 3712 2790 0 2787056 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 11174524 KiB
Current children cumulated memory: 10642772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 61357 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3547.33 s, system=52.9876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.09 4.10 4.05 3/238 61583
/proc/meminfo: memFree=117612920/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.11 s]
/proc/loadavg: 4.09 4.10 4.05 3/238 61583
/proc/meminfo: memFree=117612920/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.13
CPU time (s): 3600.31
CPU user time (s): 3547.33
CPU system time (s): 52.9876
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 11485656
Max. memory (cumulated for all children) (KiB): 10902040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.33
system time used= 52.9876
maximum resident set size= 10985024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1784637
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= 142
involuntary context switches= 2903
# summary of solver processes directly reported to runsolver:
# pid: 61357
# total CPU time (s): 3600.31
# total CPU user time (s): 3547.33
# total CPU system time (s): 52.9876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6719 second user time and 35.8898 second system time
The end
Begin job on nodeC004 at 2025-07-02 07:52:45
IDJOB=4503868
IDBENCH=155610
IDSOLVER=3335
FILE ID=nodeC004/4503868-1751435565
RUNJOBID= nodeC004-1751435565-61321
SLURM_JOB_ID= 9598382
Free space on /tmp= 431724 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503868-1751435565/watcher-4503868-1751435565 -o /tmp/evaluation-result-4503868-1751435565/solver-4503868-1751435565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751435565-61321 --watchdog 3760 ./ipbhs_scip HOME/instance-4503868-1751435565.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=177683776
nodeC004 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.610
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.74
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.214
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.74
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.216
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.74
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 : 3700.000
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.74
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.224
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.74
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 : 1396.748
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.74
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.234
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.74
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 124210068 kB
MemAvailable: 129875212 kB
Buffers: 2720 kB
Cached: 6415308 kB
SwapCached: 20 kB
Active: 405564 kB
Inactive: 6078636 kB
Active(anon): 77948 kB
Inactive(anon): 6188 kB
Active(file): 327616 kB
Inactive(file): 6072448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 283016 kB
Writeback: 0 kB
AnonPages: 69232 kB
Mapped: 102644 kB
Shmem: 17956 kB
KReclaimable: 209412 kB
Slab: 295044 kB
SReclaimable: 209412 kB
SUnreclaim: 85632 kB
KernelStack: 3856 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3680 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431448 MiB
End job on nodeC004 at 2025-07-02 08:52:56