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.10/0.19 c limit for coefficient in constraints and objective to 1000000000
0.10/0.19 c will solve HOME/instance-4522076-1751595922.opb
0.10/0.19 c [0.01] will start solving
0.59/0.64 c [0.1] solve iteration 1, LB=-2046, UB=1
825.25/827.87 c [824.55] solve iteration 2, LB=-1023, UB=-98
1681.59/1687.11 WARNING: Orbital fixing symmetry for 0x55c6cbde3550 broken before symmetry. Requires fixing 16/22 affected variables.
1681.59/1687.11 WARNING: Orbital fixing symmetry for 0x55c6ce2203b0 broken before symmetry. Requires fixing 64/330 affected variables.
1681.59/1687.11 WARNING: Orbital fixing symmetry for 0x55c6ce220408 broken before symmetry. Requires fixing 32/110 affected variables.
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 (62726 MiB free)
memory of node 1: 64465 MiB (63188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522076-1751595922/watcher-4522076-1751595922 -o /tmp/evaluation-result-4522076-1751595922/solver-4522076-1751595922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81655 --watchdog 3760 ./ipbhs_scip HOME/instance-4522076-1751595922.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81701, runsolver pid=81693
[startup+0.100068 s]*
/proc/loadavg: 1.36 1.22 1.51 6/250 81706
/proc/meminfo: memFree=128736600/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=44448 memory=12940 CPUtime=0.1 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 1546 0 0 0 7 3 0 0 20 0 1 0 75271107 45514752 3235 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 11112 3235 1664 2790 0 4537 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44448 KiB
Current children cumulated memory: 12940 KiB
[startup+0.213478 s]*
/proc/loadavg: 1.36 1.22 1.51 6/250 81706
/proc/meminfo: memFree=128455492/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=58860 memory=35268 CPUtime=0.2 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 5360 0 0 0 13 7 0 0 20 0 1 0 75271107 60272640 8817 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 14715 8817 3168 2790 0 8140 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58860 KiB
Current children cumulated memory: 35268 KiB
[startup+0.313472 s]*
/proc/loadavg: 1.36 1.22 1.51 6/250 81706
/proc/meminfo: memFree=128299224/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=69592 memory=46148 CPUtime=0.3 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 8078 0 0 0 18 12 0 0 20 0 1 0 75271107 71262208 11537 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 17398 11537 3168 2790 0 10823 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69592 KiB
Current children cumulated memory: 46148 KiB
[startup+0.700294 s]
/proc/loadavg: 1.36 1.22 1.51 6/250 81706
/proc/meminfo: memFree=128245296/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=128932 memory=99016 CPUtime=0.68 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 21033 0 0 0 50 18 0 0 20 0 1 0 75271107 132026368 24754 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 32233 24754 3648 2790 0 25658 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128932 KiB
Current children cumulated memory: 99016 KiB
[startup+1.50027 s]
/proc/loadavg: 1.36 1.22 1.51 6/250 81706
/proc/meminfo: memFree=127971940/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=169680 memory=134856 CPUtime=1.47 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 29961 0 0 0 127 20 0 0 20 0 1 0 75271107 173752320 33714 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 42420 33714 3680 2790 0 35845 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 169680 KiB
Current children cumulated memory: 134856 KiB
[startup+3.11225 s]
/proc/loadavg: 1.36 1.22 1.51 6/253 81716
/proc/meminfo: memFree=127243860/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=186160 memory=149960 CPUtime=3.08 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 33756 0 0 0 287 21 0 0 20 0 1 0 75271107 190627840 37490 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 46540 37490 3680 2790 0 39965 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 186160 KiB
Current children cumulated memory: 149960 KiB
[startup+6.30029 s]
/proc/loadavg: 1.57 1.27 1.53 6/253 81716
/proc/meminfo: memFree=126778088/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=210976 memory=166272 CPUtime=6.26 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 38016 0 0 0 604 22 0 0 20 0 1 0 75271107 216039424 41568 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 52744 41568 3680 2790 0 46169 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 210976 KiB
Current children cumulated memory: 166272 KiB
[startup+12.7003 s]
/proc/loadavg: 1.77 1.31 1.54 6/253 81716
/proc/meminfo: memFree=124733916/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=241068 memory=190640 CPUtime=12.64 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 45181 0 0 0 1241 23 0 0 20 0 1 0 75271107 246853632 47660 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 60267 47660 3680 2790 0 53692 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 241068 KiB
Current children cumulated memory: 190640 KiB
[startup+25.5003 s]
/proc/loadavg: 2.33 1.46 1.59 6/253 81717
/proc/meminfo: memFree=123942008/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=247212 memory=198192 CPUtime=25.4 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 47081 0 0 0 2517 23 0 0 20 0 1 0 75271107 253145088 49548 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 61803 49548 3680 2790 0 55228 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 247212 KiB
Current children cumulated memory: 198192 KiB
[startup+51.113 s]
/proc/loadavg: 2.90 1.67 1.65 6/253 81717
/proc/meminfo: memFree=122420904/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=261000 memory=219952 CPUtime=50.93 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 52532 0 0 0 5069 24 0 0 20 0 1 0 75271107 267264000 54988 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 65250 54988 3680 2790 0 58675 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 261000 KiB
Current children cumulated memory: 219952 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.04 1.78 6/252 81719
/proc/meminfo: memFree=122396524/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=361628 memory=272304 CPUtime=101.96 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 65637 0 0 0 10169 27 0 0 20 0 1 0 75271107 370307072 68076 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 90407 68076 3680 2790 0 83832 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 361628 KiB
Current children cumulated memory: 272304 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.43 1.93 6/252 81721
/proc/meminfo: memFree=122211956/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=416356 memory=313312 CPUtime=161.77 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 77223 0 0 0 16148 29 0 0 20 0 1 0 75271107 426348544 78328 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 104089 78328 3680 2790 0 97514 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 416356 KiB
Current children cumulated memory: 313312 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.73 2.07 6/251 81725
/proc/meminfo: memFree=122096792/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=463080 memory=357064 CPUtime=221.59 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 89979 0 0 0 22127 32 0 0 20 0 1 0 75271107 474193920 89266 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 115770 89266 3680 2790 0 109195 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 463080 KiB
Current children cumulated memory: 357064 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.00 2.21 6/251 81727
/proc/meminfo: memFree=122040960/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=463080 memory=369736 CPUtime=281.41 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 93147 0 0 0 28107 34 0 0 20 0 1 0 75271107 474193920 92434 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 115770 92434 3680 2790 0 109195 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 463080 KiB
Current children cumulated memory: 369736 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.20 2.33 6/249 81729
/proc/meminfo: memFree=121962328/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=463080 memory=378696 CPUtime=341.22 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 95377 0 0 0 34088 34 0 0 20 0 1 0 75271107 474193920 94674 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 115770 94674 3680 2790 0 109195 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 463080 KiB
Current children cumulated memory: 378696 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.45 6/249 81731
/proc/meminfo: memFree=121894480/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=463080 memory=398536 CPUtime=401.04 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 100351 0 0 0 40068 36 0 0 20 0 1 0 75271107 474193920 99634 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 115770 99634 3680 2790 0 109195 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 463080 KiB
Current children cumulated memory: 398536 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.52 2.55 6/250 81738
/proc/meminfo: memFree=121738556/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=531028 memory=441776 CPUtime=460.86 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 122044 0 0 0 46047 39 0 0 20 0 1 0 75271107 543772672 110444 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 132757 110444 3680 2790 0 126182 0
################
# More data... #
################
Current children cumulated memory: 895856 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.27 4.15 6/250 81864
/proc/meminfo: memFree=118101792/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1136020 memory=895984 CPUtime=2853 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 256001 0 0 0 285229 71 0 0 20 0 1 0 75271107 1163284480 223996 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 284005 223996 3712 2790 0 277430 0
Current children cumulated CPU time: 2853 s
Current children cumulated vsize: 1136020 KiB
Current children cumulated memory: 895984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.25 4.15 6/250 81866
/proc/meminfo: memFree=118033228/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1165352 memory=924528 CPUtime=2912.79 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 263147 0 0 0 291206 73 0 0 20 0 1 0 75271107 1193320448 231132 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 291338 231132 3712 2790 0 284763 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 1165352 KiB
Current children cumulated memory: 924528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.25 4.16 6/251 81869
/proc/meminfo: memFree=118021100/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1165352 memory=925936 CPUtime=2972.6 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 263496 0 0 0 297187 73 0 0 20 0 1 0 75271107 1193320448 231484 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 291338 231484 3712 2790 0 284763 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 1165352 KiB
Current children cumulated memory: 925936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.23 4.16 6/251 81871
/proc/meminfo: memFree=117958760/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1165352 memory=925936 CPUtime=3032.4 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 263722 0 0 0 303167 73 0 0 20 0 1 0 75271107 1193320448 231484 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 291338 231484 3712 2790 0 284763 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 1165352 KiB
Current children cumulated memory: 925936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.20 4.15 6/251 81873
/proc/meminfo: memFree=117942212/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1179120 memory=932592 CPUtime=3092.21 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 265400 0 0 0 309147 74 0 0 20 0 1 0 75271107 1207418880 233148 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 294780 233148 3712 2790 0 288205 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 1179120 KiB
Current children cumulated memory: 932592 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.15 6/250 81875
/proc/meminfo: memFree=117917564/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1189428 memory=942192 CPUtime=3152.01 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 267803 0 0 0 315127 74 0 0 20 0 1 0 75271107 1217974272 235548 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 297357 235548 3712 2790 0 290782 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 1189428 KiB
Current children cumulated memory: 942192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.15 6/251 81880
/proc/meminfo: memFree=117835152/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1221336 memory=972016 CPUtime=3211.81 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 275268 0 0 0 321106 75 0 0 20 0 1 0 75271107 1250648064 243004 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 305334 243004 3712 2790 0 298759 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 1221336 KiB
Current children cumulated memory: 972016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.14 6/251 81882
/proc/meminfo: memFree=117830864/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1236236 memory=984432 CPUtime=3271.61 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 278368 0 0 0 327085 76 0 0 20 0 1 0 75271107 1265905664 246108 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 309059 246108 3712 2790 0 302484 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 1236236 KiB
Current children cumulated memory: 984432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.14 6/251 81884
/proc/meminfo: memFree=117787984/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1236236 memory=984560 CPUtime=3331.41 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 278620 0 0 0 333065 76 0 0 20 0 1 0 75271107 1265905664 246140 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 309059 246140 3712 2790 0 302484 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 1236236 KiB
Current children cumulated memory: 984560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.13 6/251 81886
/proc/meminfo: memFree=117727708/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1249336 memory=997488 CPUtime=3391.21 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 281847 0 0 0 339045 76 0 0 20 0 1 0 75271107 1279320064 249372 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 312334 249372 3712 2790 0 305759 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 1249336 KiB
Current children cumulated memory: 997488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.13 6/251 81892
/proc/meminfo: memFree=117733032/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1249336 memory=997616 CPUtime=3451.01 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 281874 0 0 0 345025 76 0 0 20 0 1 0 75271107 1279320064 249404 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 312334 249404 3712 2790 0 305759 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 1249336 KiB
Current children cumulated memory: 997616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.13 6/251 81894
/proc/meminfo: memFree=117621428/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1249336 memory=997744 CPUtime=3510.81 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 281908 0 0 0 351005 76 0 0 20 0 1 0 75271107 1279320064 249436 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 312334 249436 3712 2790 0 305759 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 1249336 KiB
Current children cumulated memory: 997744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.12 6/250 81896
/proc/meminfo: memFree=117555152/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1270360 memory=1018224 CPUtime=3570.61 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 287032 0 0 0 356984 77 0 0 20 0 1 0 75271107 1300848640 254556 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 317590 254556 3712 2790 0 311015 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 1270360 KiB
Current children cumulated memory: 1018224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.11 4.12 4.12 4/248 81911
/proc/meminfo: memFree=119314988/131382120 swapFree=33010416/33010684
[pid=81701] ppid=81693 vsize=1270360 memory=1018224 CPUtime=3600.01 cores=0,2
/proc/81701/stat : 81701 (ipbhs_scip) R 81693 81701 81645 0 -1 4194304 287254 0 0 0 359924 77 0 0 20 0 1 0 75271107 1300848640 254556 18446744073709551615 94312287326208 94312298752605 140726800299152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94312300888280 94312300933298 94312307965952 140726800304530 140726800304649 140726800304649 140726800310251 0
/proc/81701/statm: 317590 254556 3712 2790 0 311015 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1270360 KiB
Current children cumulated memory: 1018224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.82 s]
# the end of solver process 81701 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.797352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.82
CPU time (s): 3600.04
CPU user time (s): 3599.24
CPU system time (s): 0.797352
CPU usage (%): 99.6738
Max. virtual memory (cumulated for all children) (KiB): 1270360
Max. memory (cumulated for all children) (KiB): 1018224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.797352
maximum resident set size= 1018224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287254
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= 172
involuntary context switches= 8311
# summary of solver processes directly reported to runsolver:
# pid: 81701
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.797352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3723 second user time and 32.4763 second system time
The end
Begin job on nodeC002 at 2025-07-04 04:25:22
IDJOB=4522076
IDBENCH=178576
IDSOLVER=3335
FILE ID=nodeC002/4522076-1751595922
RUNJOBID= nodeC002-1751595922-81655
SLURM_JOB_ID= 9598862
Free space on /tmp= 432692 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522076-1751595922/watcher-4522076-1751595922 -o /tmp/evaluation-result-4522076-1751595922/solver-4522076-1751595922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81655 --watchdog 3760 ./ipbhs_scip HOME/instance-4522076-1751595922.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=1664786214
nodeC002 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.217
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.81
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.825
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.81
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.349
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.81
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.81
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.226
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
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.81
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.260
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.81
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128922332 kB
MemAvailable: 129884516 kB
Buffers: 2128 kB
Cached: 1766724 kB
SwapCached: 28 kB
Active: 376504 kB
Inactive: 1463592 kB
Active(anon): 82828 kB
Inactive(anon): 6404 kB
Active(file): 293676 kB
Inactive(file): 1457188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 237964 kB
Writeback: 0 kB
AnonPages: 74344 kB
Mapped: 103168 kB
Shmem: 17932 kB
KReclaimable: 101896 kB
Slab: 186896 kB
SReclaimable: 101896 kB
SUnreclaim: 85000 kB
KernelStack: 3872 kB
PageTables: 2860 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 339480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432348 MiB
End job on nodeC002 at 2025-07-04 05:25:35