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
2.18/2.25 c limit for coefficient in constraints and objective to 1000000000
2.18/2.25 c will solve HOME/instance-4502816-1751480425.opb
2.18/2.25 c [0.01] will start solving
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 (58667 MiB free)
memory of node 1: 64465 MiB (62142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502816-1751480425/watcher-4502816-1751480425 -o /tmp/evaluation-result-4502816-1751480425/solver-4502816-1751480425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751480338-67942 --watchdog 3760 ./ipbhs_scip HOME/instance-4502816-1751480425.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el
solver pid=68231, runsolver pid=68228
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123700028/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=50132 memory=16304 CPUtime=0.1 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 2752 0 0 0 9 1 0 0 20 0 1 0 63721819 51335168 4076 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 12533 4076 1600 2790 0 5958 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50132 KiB
Current children cumulated memory: 16304 KiB
[startup+0.212976 s]*
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123691964/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=58772 memory=24880 CPUtime=0.21 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 4901 0 0 0 20 1 0 0 20 0 1 0 63721819 60182528 6220 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 14693 6220 1600 2790 0 8118 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24880 KiB
[startup+0.312803 s]*
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123683900/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=66484 memory=32520 CPUtime=0.31 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 6888 0 0 0 29 2 0 0 20 0 1 0 63721819 68079616 8130 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 16621 8130 1600 2790 0 10046 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66484 KiB
Current children cumulated memory: 32520 KiB
[startup+0.700294 s]
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123668024/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=103820 memory=69832 CPUtime=0.68 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 16397 0 0 0 64 4 0 0 20 0 1 0 63721819 106311680 17458 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 25955 17458 1600 2790 0 19380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103820 KiB
Current children cumulated memory: 69832 KiB
[startup+1.50031 s]
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123604016/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=182768 memory=157220 CPUtime=1.48 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 36973 0 0 0 138 10 0 0 20 0 1 0 63721819 187154432 39305 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 45692 39305 1664 2790 0 39117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182768 KiB
Current children cumulated memory: 157220 KiB
[startup+3.11367 s]
/proc/loadavg: 3.62 2.70 4.33 5/252 68232
/proc/meminfo: memFree=123323580/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=469352 memory=438192 CPUtime=3.09 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 99703 0 0 0 275 34 0 0 20 0 1 0 63721819 480616448 109548 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 117338 109548 3136 2790 0 110763 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 469352 KiB
Current children cumulated memory: 438192 KiB
[startup+6.30033 s]
/proc/loadavg: 3.65 2.72 4.33 5/252 68232
/proc/meminfo: memFree=122548912/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=1265100 memory=1223148 CPUtime=6.27 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 265576 0 0 0 559 68 0 0 20 0 1 0 63721819 1295462400 305787 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 316275 305787 3488 2790 0 309700 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1265100 KiB
Current children cumulated memory: 1223148 KiB
[startup+12.7003 s]
/proc/loadavg: 3.68 2.75 4.33 5/252 68232
/proc/meminfo: memFree=120981764/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=3099844 memory=2773228 CPUtime=12.65 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 282223 0 0 0 1168 97 0 0 20 0 1 0 63721819 3174240256 693307 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 774961 693307 3520 2790 0 768386 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3099844 KiB
Current children cumulated memory: 2773228 KiB
[startup+25.5003 s]
/proc/loadavg: 3.75 2.81 4.32 5/252 68232
/proc/meminfo: memFree=119178240/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=25.42 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 423942 0 0 0 2387 155 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+51.113 s]
/proc/loadavg: 3.84 2.90 4.31 5/252 68233
/proc/meminfo: memFree=119290952/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=50.95 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 423942 0 0 0 4940 155 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 3.09 4.30 5/252 68234
/proc/meminfo: memFree=119232240/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=102 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 423942 0 0 0 10044 156 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.29 4.29 5/254 68238
/proc/meminfo: memFree=119104348/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=161.8 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424022 0 0 0 16024 156 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.45 4.28 5/253 68240
/proc/meminfo: memFree=119059392/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=221.6 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424102 0 0 0 22004 156 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.55 4.26 5/253 68242
/proc/meminfo: memFree=118988044/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=281.4 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424102 0 0 0 27984 156 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.68 4.26 5/252 68244
/proc/meminfo: memFree=118959488/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4390736 CPUtime=341.21 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424193 0 0 0 33964 157 0 0 20 0 1 0 63721819 4913106944 1097684 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097684 3680 2790 0 1192914 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4390736 KiB
[startup+402.3 s]
/proc/loadavg: 4.77 3.94 4.31 5/252 68246
/proc/meminfo: memFree=118910924/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4391376 CPUtime=401.01 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424234 0 0 0 39943 158 0 0 20 0 1 0 63721819 4913106944 1097844 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097844 3680 2790 0 1192914 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 4797956 KiB
Current children cumulated memory: 4391376 KiB
[startup+462.3 s]
/proc/loadavg: 4.37 3.98 4.30 5/250 68251
/proc/meminfo: memFree=118876936/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=4797956 memory=4391376 CPUtime=460.84 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 424274 0 0 0 45926 158 0 0 20 0 1 0 63721819 4913106944 1097844 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 1199489 1097844 3680 2790 0 1192914 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 7770448 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 68377
/proc/meminfo: memFree=114919268/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8484128 memory=7770448 CPUtime=2914.34 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 851046 0 0 0 291033 401 0 0 20 0 1 0 63721819 8687747072 1942612 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2121032 1942612 3680 2790 0 2114457 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 8484128 KiB
Current children cumulated memory: 7770448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 68379
/proc/meminfo: memFree=114908968/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8484128 memory=7770576 CPUtime=2974.17 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 851618 0 0 0 297015 402 0 0 20 0 1 0 63721819 8687747072 1942644 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2121032 1942644 3712 2790 0 2114457 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 8484128 KiB
Current children cumulated memory: 7770576 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 68385
/proc/meminfo: memFree=114840392/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8560888 memory=7837852 CPUtime=3034 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 859425 0 0 0 302992 408 0 0 20 0 1 0 63721819 8766349312 1959463 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2140222 1959463 3712 2790 0 2133647 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 8560888 KiB
Current children cumulated memory: 7837852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.63 4.24 4.14 5/250 68387
/proc/meminfo: memFree=114849404/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8560888 memory=7837852 CPUtime=3093.84 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 859558 0 0 0 308975 409 0 0 20 0 1 0 63721819 8766349312 1959463 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2140222 1959463 3712 2790 0 2133647 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 8560888 KiB
Current children cumulated memory: 7837852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.46 4.27 4.16 5/250 68389
/proc/meminfo: memFree=114845344/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8560888 memory=7840028 CPUtime=3153.68 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 859829 0 0 0 314958 410 0 0 20 0 1 0 63721819 8766349312 1960007 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2140222 1960007 3712 2790 0 2133647 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 8560888 KiB
Current children cumulated memory: 7840028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.92 4.44 4.22 5/251 68392
/proc/meminfo: memFree=114846416/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8560888 memory=7840028 CPUtime=3213.52 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 860103 0 0 0 320941 411 0 0 20 0 1 0 63721819 8766349312 1960007 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2140222 1960007 3712 2790 0 2133647 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 8560888 KiB
Current children cumulated memory: 7840028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.39 4.22 5/251 68394
/proc/meminfo: memFree=114833996/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8561940 memory=7841052 CPUtime=3273.36 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 860794 0 0 0 326925 411 0 0 20 0 1 0 63721819 8767426560 1960263 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2140485 1960263 3712 2790 0 2133910 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 8561940 KiB
Current children cumulated memory: 7841052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.31 4.20 5/251 68396
/proc/meminfo: memFree=114821644/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8568064 memory=7842076 CPUtime=3333.19 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 861582 0 0 0 332907 412 0 0 20 0 1 0 63721819 8773697536 1960519 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2142016 1960519 3712 2790 0 2135441 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 8568064 KiB
Current children cumulated memory: 7842076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.28 4.20 5/251 68443
/proc/meminfo: memFree=114774664/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8568064 memory=7842332 CPUtime=3392.99 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 861921 0 0 0 338884 415 0 0 20 0 1 0 63721819 8773697536 1960583 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2142016 1960583 3712 2790 0 2135441 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 8568064 KiB
Current children cumulated memory: 7842332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.25 4.18 5/251 68447
/proc/meminfo: memFree=112348452/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8575208 memory=7842588 CPUtime=3452.82 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 862586 0 0 0 344866 416 0 0 20 0 1 0 63721819 8781012992 1960647 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2143802 1960647 3712 2790 0 2137227 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 8575208 KiB
Current children cumulated memory: 7842588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.31 4.21 5/249 68449
/proc/meminfo: memFree=112344168/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8583380 memory=7846300 CPUtime=3512.64 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 863832 0 0 0 350848 416 0 0 20 0 1 0 63721819 8789381120 1961575 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2145845 1961575 3712 2790 0 2139270 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 8583380 KiB
Current children cumulated memory: 7846300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.47 4.36 4.23 5/249 68540
/proc/meminfo: memFree=109732616/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8583380 memory=7848220 CPUtime=3572.48 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 864061 0 0 0 356831 417 0 0 20 0 1 0 63721819 8789381120 1962055 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2145845 1962055 3712 2790 0 2139270 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 8583380 KiB
Current children cumulated memory: 7848220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.39 4.34 4.23 5/249 68541
/proc/meminfo: memFree=109702532/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8589504 memory=7849372 CPUtime=3600 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 864621 0 0 0 359583 417 0 0 20 0 1 0 63721819 8795652096 1962343 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2147376 1962343 3712 2790 0 2140801 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8589504 KiB
Current children cumulated memory: 7849372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.96 s]
# the end of solver process 68231 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3595.84 s, system=4.23062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.39 4.34 4.23 5/249 68541
/proc/meminfo: memFree=109702532/131382116 swapFree=33010160/33010684
[pid=68231] ppid=68228 vsize=8589504 memory=7849372 CPUtime=3600 cores=1,3
/proc/68231/stat : 68231 (ipbhs_scip) R 68228 68231 67930 0 -1 4194304 864621 0 0 0 359583 417 0 0 20 0 1 0 63721819 8795652096 1962343 18446744073709551615 94304515760128 94304527186525 140734748561616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94304529322200 94304529367218 94304564379648 140734748563858 140734748563977 140734748563977 140734748569579 0
/proc/68231/statm: 2147376 1962343 3712 2790 0 2140801 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8589504 KiB
Current children cumulated memory: 7849372 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.96
CPU time (s): 3600.07
CPU user time (s): 3595.84
CPU system time (s): 4.23062
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 8694684
Max. memory (cumulated for all children) (KiB): 7974068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.84
system time used= 4.23062
maximum resident set size= 7979828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864621
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= 78
involuntary context switches= 1272
# summary of solver processes directly reported to runsolver:
# pid: 68231
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.84
# total CPU system time (s): 4.23062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9307 second user time and 32.4367 second system time
The end
Begin job on nodeC004 at 2025-07-02 20:20:26
IDJOB=4502816
IDBENCH=155399
IDSOLVER=3335
FILE ID=nodeC004/4502816-1751480425
RUNJOBID= nodeC004-1751480338-67942
SLURM_JOB_ID= 9598522
Free space on /tmp= 431472 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502816-1751480425/watcher-4502816-1751480425 -o /tmp/evaluation-result-4502816-1751480425/solver-4502816-1751480425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751480338-67942 --watchdog 3760 ./ipbhs_scip HOME/instance-4502816-1751480425.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=15513268
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 : 3662.666
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 : 1795.818
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.571
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 : 3661.533
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 : 3591.651
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 : 3700.000
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 : 1197.217
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: 123709604 kB
MemAvailable: 129525336 kB
Buffers: 2720 kB
Cached: 6565380 kB
SwapCached: 20 kB
Active: 689552 kB
Inactive: 6228700 kB
Active(anon): 361920 kB
Inactive(anon): 6188 kB
Active(file): 327632 kB
Inactive(file): 6222512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 117800 kB
Writeback: 4 kB
AnonPages: 351876 kB
Mapped: 133872 kB
Shmem: 17956 kB
KReclaimable: 210432 kB
Slab: 296992 kB
SReclaimable: 210432 kB
SUnreclaim: 86560 kB
KernelStack: 4064 kB
PageTables: 3856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 760840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 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= 431344 MiB
End job on nodeC004 at 2025-07-02 21:20:37