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.09/0.18 c limit for coefficient in constraints and objective to 1000000000
0.09/0.18 c will solve HOME/instance-4503822-1751433043.opb
0.09/0.18 c [0.01] will start solving
2368.35/2375.93 c [0.09] solve iteration 1, LB=-70, UB=89969826277
2368.35/2375.93 c [2030.33] solve iteration 2, LB=1538360, UB=5046945
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: 63665 MiB (53233 MiB free)
memory of node 1: 64507 MiB (59341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503822-1751433043/watcher-4503822-1751433043 -o /tmp/evaluation-result-4503822-1751433043/solver-4503822-1751433043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66637 --watchdog 3760 ./ipbhs_scip HOME/instance-4503822-1751433043.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=67330, runsolver pid=67327
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.40 4.20 4.12 5/262 67331
/proc/meminfo: memFree=115096124/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=219460 memory=188020 CPUtime=0.09 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 3942 0 0 0 5 4 0 0 20 0 1 0 58984531 224727040 47005 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 54865 47005 1696 2790 0 48290 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 219460 KiB
Current children cumulated memory: 188020 KiB
[startup+0.20549 s]*
/proc/loadavg: 4.40 4.20 4.12 5/262 67331
/proc/meminfo: memFree=115063616/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=250256 memory=226476 CPUtime=0.2 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 11792 0 0 0 12 8 0 0 20 0 1 0 58984531 256262144 56619 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 62564 56619 3200 2790 0 55989 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 250256 KiB
Current children cumulated memory: 226476 KiB
[startup+0.305386 s]*
/proc/loadavg: 4.40 4.20 4.12 5/262 67331
/proc/meminfo: memFree=115047740/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=273432 memory=249680 CPUtime=0.29 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 17622 0 0 0 17 12 0 0 20 0 1 0 58984531 279994368 62420 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 68358 62420 3392 2790 0 61783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 273432 KiB
Current children cumulated memory: 249680 KiB
[startup+0.70019 s]
/proc/loadavg: 4.40 4.20 4.12 5/262 67331
/proc/meminfo: memFree=115015328/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=320220 memory=287824 CPUtime=0.68 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 26890 0 0 0 55 13 0 0 20 0 1 0 58984531 327905280 71956 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 80055 71956 3680 2790 0 73480 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 320220 KiB
Current children cumulated memory: 287824 KiB
[startup+1.50019 s]
/proc/loadavg: 4.40 4.20 4.12 5/262 67331
/proc/meminfo: memFree=114983072/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=370052 memory=327760 CPUtime=1.48 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 36918 0 0 0 133 15 0 0 20 0 1 0 58984531 378933248 81940 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 92513 81940 3712 2790 0 85938 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 370052 KiB
Current children cumulated memory: 327760 KiB
[startup+3.10533 s]
/proc/loadavg: 4.37 4.20 4.12 5/262 67332
/proc/meminfo: memFree=114966692/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=371688 memory=329168 CPUtime=3.08 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 37271 0 0 0 280 28 0 0 20 0 1 0 58984531 380608512 82292 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 92922 82292 3712 2790 0 86347 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 371688 KiB
Current children cumulated memory: 329168 KiB
[startup+6.30018 s]
/proc/loadavg: 4.37 4.20 4.12 5/262 67333
/proc/meminfo: memFree=114962960/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=371688 memory=331320 CPUtime=6.26 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 37278 0 0 0 563 63 0 0 20 0 1 0 58984531 380608512 82830 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 92922 82830 3712 2790 0 86347 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 371688 KiB
Current children cumulated memory: 331320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.19 4.12 5/262 67333
/proc/meminfo: memFree=114954768/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=374408 memory=332216 CPUtime=12.65 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 37529 0 0 0 1134 131 0 0 20 0 1 0 58984531 383393792 83054 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 93602 83054 3712 2790 0 87027 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 374408 KiB
Current children cumulated memory: 332216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.34 4.20 4.12 5/262 67333
/proc/meminfo: memFree=114932840/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=378828 memory=339060 CPUtime=25.42 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 38720 0 0 0 2280 262 0 0 20 0 1 0 58984531 387919872 84765 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 94707 84765 3712 2790 0 88132 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 378828 KiB
Current children cumulated memory: 339060 KiB
[startup+51.1054 s]
/proc/loadavg: 4.22 4.18 4.12 5/262 67333
/proc/meminfo: memFree=114906564/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=402488 memory=358768 CPUtime=50.95 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 41087 0 0 0 4606 489 0 0 20 0 1 0 58984531 412147712 89692 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 100622 89692 3712 2790 0 94047 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 402488 KiB
Current children cumulated memory: 358768 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/262 67335
/proc/meminfo: memFree=114844156/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=473544 memory=433604 CPUtime=102.01 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 54692 0 0 0 9326 875 0 0 20 0 1 0 58984531 484909056 108401 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 118386 108401 3712 2790 0 111811 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 473544 KiB
Current children cumulated memory: 433604 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/263 67342
/proc/meminfo: memFree=114848932/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=556284 memory=512180 CPUtime=161.82 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 68208 0 0 0 14965 1217 0 0 20 0 1 0 58984531 569634816 128045 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 139071 128045 3712 2790 0 132496 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 556284 KiB
Current children cumulated memory: 512180 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/263 67344
/proc/meminfo: memFree=112777520/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=649336 memory=589064 CPUtime=221.64 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 79788 0 0 0 20670 1494 0 0 20 0 1 0 58984531 664920064 147266 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 162334 147266 3712 2790 0 155759 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 649336 KiB
Current children cumulated memory: 589064 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 67346
/proc/meminfo: memFree=112154012/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=762884 memory=649936 CPUtime=281.44 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 88383 0 0 0 26420 1724 0 0 20 0 1 0 58984531 781193216 162484 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 190721 162484 3712 2790 0 184146 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 762884 KiB
Current children cumulated memory: 649936 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 67348
/proc/meminfo: memFree=112135820/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=784828 memory=694336 CPUtime=341.26 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 93848 0 0 0 32192 1934 0 0 20 0 1 0 58984531 803663872 173584 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 196207 173584 3712 2790 0 189632 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 784828 KiB
Current children cumulated memory: 694336 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 67352
/proc/meminfo: memFree=112037448/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=820916 memory=740620 CPUtime=401.06 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 102875 0 0 0 37919 2187 0 0 20 0 1 0 58984531 840617984 185155 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 205229 185155 3712 2790 0 198654 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 820916 KiB
Current children cumulated memory: 740620 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 67354
/proc/meminfo: memFree=112078336/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=863040 memory=782732 CPUtime=460.88 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 113399 0 0 0 43631 2457 0 0 20 0 1 0 58984531 883752960 195683 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 215760 195683 3712 2790 0 209185 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
/proc/67330/statm: 2346312 2201883 3744 2790 0 2339737 0
Current children cumulated CPU time: 2853.24 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8807532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/262 67598
/proc/meminfo: memFree=116831644/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8808044 CPUtime=2913.09 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1817916 0 0 0 282064 9245 0 0 20 0 1 0 58984531 9610493952 2202011 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202011 3744 2790 0 2339737 0
Current children cumulated CPU time: 2913.09 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8808044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/262 67600
/proc/meminfo: memFree=116670248/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8808940 CPUtime=2972.95 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1817946 0 0 0 287884 9411 0 0 20 0 1 0 58984531 9610493952 2202235 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202235 3744 2790 0 2339737 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8808940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/262 67613
/proc/meminfo: memFree=116521496/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3032.79 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1818052 0 0 0 293724 9555 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/262 67615
/proc/meminfo: memFree=116360040/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3092.65 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1818283 0 0 0 299570 9695 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/264 67623
/proc/meminfo: memFree=116227880/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3152.5 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1818491 0 0 0 305418 9832 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/264 67625
/proc/meminfo: memFree=116065680/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3212.35 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1818714 0 0 0 311175 10060 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/264 67627
/proc/meminfo: memFree=115886372/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3272.2 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1818941 0 0 0 316946 10274 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/264 67629
/proc/meminfo: memFree=115677304/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3332.06 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1819218 0 0 0 322735 10471 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3332.06 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/264 67631
/proc/meminfo: memFree=115551448/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3391.9 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1819539 0 0 0 328553 10637 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/263 67636
/proc/meminfo: memFree=115383512/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3451.75 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1819975 0 0 0 334390 10785 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/263 67638
/proc/meminfo: memFree=115250924/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3511.6 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1820513 0 0 0 340239 10921 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/263 67640
/proc/meminfo: memFree=115095628/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3571.45 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1820881 0 0 0 346094 11051 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.05 4.10 4.09 5/263 67640
/proc/meminfo: memFree=115033864/131250000 swapFree=33010684/33010684
[pid=67330] ppid=67327 vsize=9385248 memory=8809068 CPUtime=3600.09 cores=5,7
/proc/67330/stat : 67330 (ipbhs_scip) R 67327 67330 66624 0 -1 4194304 1820892 0 0 0 348897 11112 0 0 20 0 1 0 58984531 9610493952 2202267 18446744073709551615 94214529159168 94214540585565 140724856905216 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94214542721240 94214542766258 94214574112768 140724856908178 140724856908297 140724856908297 140724856913899 0
/proc/67330/statm: 2346312 2202267 3744 2790 0 2339737 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 9385248 KiB
Current children cumulated memory: 8809068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.23 s]
# the end of solver process 67330 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3488.97 s, system=111.344 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.21 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 67640
/proc/meminfo: memFree=118920744/131250000 swapFree=33010684/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): 3611.23
CPU time (s): 3600.31
CPU user time (s): 3488.97
CPU system time (s): 111.344
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 9507188
Max. memory (cumulated for all children) (KiB): 8929232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3488.97
system time used= 111.344
maximum resident set size= 8981420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1820892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 3439
# summary of solver processes directly reported to runsolver:
# pid: 67330
# total CPU time (s): 3600.31
# total CPU user time (s): 3488.97
# total CPU system time (s): 111.344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74826 second user time and 16.1498 second system time
The end
Begin job on nodeC013 at 2025-07-02 07:10:43
IDJOB=4503822
IDBENCH=155605
IDSOLVER=3335
FILE ID=nodeC013/4503822-1751433043
RUNJOBID= nodeC013-1751428542-66637
SLURM_JOB_ID= 9598364
Free space on /tmp= 432400 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503822-1751433043/watcher-4503822-1751433043 -o /tmp/evaluation-result-4503822-1751433043/solver-4503822-1751433043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66637 --watchdog 3760 ./ipbhs_scip HOME/instance-4503822-1751433043.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1496731512
nodeC013 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 : 3600.257
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.67
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.833
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.67
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 : 3602.252
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.67
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 : 3601.477
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.67
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.840
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.67
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 : 3700.000
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.67
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 : 3598.548
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.67
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 : 3599.842
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 115275840 kB
MemAvailable: 116342936 kB
Buffers: 3280 kB
Cached: 1866096 kB
SwapCached: 0 kB
Active: 13690604 kB
Inactive: 1621176 kB
Active(anon): 13455688 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 1621176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70556 kB
Writeback: 16 kB
AnonPages: 13445096 kB
Mapped: 131788 kB
Shmem: 13284 kB
KReclaimable: 100084 kB
Slab: 188800 kB
SReclaimable: 100084 kB
SUnreclaim: 88716 kB
KernelStack: 4224 kB
PageTables: 30016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 14906536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6443008 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432420 MiB
End job on nodeC013 at 2025-07-02 08:10:54