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.67/0.73 c limit for coefficient in constraints and objective to 1000000000
0.67/0.73 c will solve HOME/instance-4522122-1751595922.opb
0.67/0.73 c [0.02] will start solving
55.25/55.44 c [0.19] solve iteration 1, LB=0, UB=499999946
55.25/55.44 c [5.11] solve iteration 2, LB=792700, UB=1310887
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-4522122-1751595922/watcher-4522122-1751595922 -o /tmp/evaluation-result-4522122-1751595922/solver-4522122-1751595922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81656 --watchdog 3760 ./ipbhs_scip HOME/instance-4522122-1751595922.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81697, runsolver pid=81692
[startup+0.100074 s]*
/proc/loadavg: 1.36 1.22 1.51 5/250 81706
/proc/meminfo: memFree=128736600/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=612360 memory=212504 CPUtime=0.08 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 602 0 0 0 2 6 0 0 20 0 1 0 75271106 627056640 53126 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 153090 53126 1600 2790 0 146515 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 612360 KiB
Current children cumulated memory: 212504 KiB
[startup+0.214228 s]*
/proc/loadavg: 1.36 1.22 1.51 5/250 81706
/proc/meminfo: memFree=128467780/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=612360 memory=480792 CPUtime=0.2 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 733 0 0 0 4 16 0 0 20 0 1 0 75271106 627056640 120198 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 153090 120198 1600 2790 0 146515 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 612360 KiB
Current children cumulated memory: 480792 KiB
[startup+0.313953 s]*
/proc/loadavg: 1.36 1.22 1.51 5/250 81706
/proc/meminfo: memFree=128300232/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=616104 memory=581892 CPUtime=0.3 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 2106 0 0 0 10 20 0 0 20 0 1 0 75271106 630890496 145473 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 154026 145473 1600 2790 0 147451 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 616104 KiB
Current children cumulated memory: 581892 KiB
[startup+0.700375 s]
/proc/loadavg: 1.36 1.22 1.51 5/250 81706
/proc/meminfo: memFree=128245296/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=640084 memory=617208 CPUtime=0.67 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 8277 0 0 0 45 22 0 0 20 0 1 0 75271106 655446016 154270 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 160021 154302 3200 2790 0 153446 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 640084 KiB
Current children cumulated memory: 617208 KiB
[startup+1.50031 s]
/proc/loadavg: 1.36 1.22 1.51 5/250 81706
/proc/meminfo: memFree=127971940/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=754460 memory=725624 CPUtime=1.47 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 35144 0 0 0 117 30 0 0 20 0 1 0 75271106 772567040 181406 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 188615 181406 3488 2790 0 182040 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 754460 KiB
Current children cumulated memory: 725624 KiB
[startup+3.11309 s]
/proc/loadavg: 1.36 1.22 1.51 5/253 81716
/proc/meminfo: memFree=127243860/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=881748 memory=831168 CPUtime=3.08 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 62574 0 0 0 273 35 0 0 20 0 1 0 75271106 902909952 207792 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 220437 207792 3648 2790 0 213862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 881748 KiB
Current children cumulated memory: 831168 KiB
[startup+6.30031 s]
/proc/loadavg: 1.57 1.27 1.53 5/253 81716
/proc/meminfo: memFree=126778088/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1041760 memory=976064 CPUtime=6.25 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 110579 0 0 0 581 44 0 0 20 0 1 0 75271106 1066762240 244016 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 260440 244016 3680 2790 0 253865 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1041760 KiB
Current children cumulated memory: 976064 KiB
[startup+12.7003 s]
/proc/loadavg: 1.77 1.31 1.54 5/253 81716
/proc/meminfo: memFree=124733916/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1141412 memory=1095508 CPUtime=12.64 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 141732 0 0 0 1214 50 0 0 20 0 1 0 75271106 1168805888 273877 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 285353 273877 3680 2790 0 278778 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1141412 KiB
Current children cumulated memory: 1095508 KiB
[startup+25.5003 s]
/proc/loadavg: 2.33 1.46 1.59 5/253 81717
/proc/meminfo: memFree=123942008/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1202688 memory=1154844 CPUtime=25.41 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 147943 0 0 0 2490 51 0 0 20 0 1 0 75271106 1231552512 288711 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 300672 288711 3680 2790 0 294097 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1202688 KiB
Current children cumulated memory: 1154844 KiB
[startup+51.1132 s]
/proc/loadavg: 2.90 1.67 1.65 5/253 81717
/proc/meminfo: memFree=122420904/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1223948 memory=1176288 CPUtime=50.97 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 149724 0 0 0 5045 52 0 0 20 0 1 0 75271106 1253322752 294072 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 305987 294072 3680 2790 0 299412 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1223948 KiB
Current children cumulated memory: 1176288 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.04 1.78 5/252 81719
/proc/meminfo: memFree=122396524/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1279340 memory=1234400 CPUtime=102.02 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 163859 0 0 0 10148 54 0 0 20 0 1 0 75271106 1310044160 308600 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 319835 308600 3680 2790 0 313260 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1279340 KiB
Current children cumulated memory: 1234400 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.43 1.93 5/252 81721
/proc/meminfo: memFree=122211956/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1324956 memory=1277920 CPUtime=161.85 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 174731 0 0 0 16129 56 0 0 20 0 1 0 75271106 1356754944 319480 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 331239 319480 3680 2790 0 324664 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1324956 KiB
Current children cumulated memory: 1277920 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.73 2.07 5/251 81725
/proc/meminfo: memFree=122096792/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1332644 memory=1291232 CPUtime=221.69 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 177852 0 0 0 22112 57 0 0 20 0 1 0 75271106 1364627456 322808 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 333161 322808 3680 2790 0 326586 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1332644 KiB
Current children cumulated memory: 1291232 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.00 2.21 5/251 81727
/proc/meminfo: memFree=122040960/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1338528 memory=1300960 CPUtime=281.53 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 179070 0 0 0 28096 57 0 0 20 0 1 0 75271106 1370652672 325240 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 334632 325240 3680 2790 0 328057 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1338528 KiB
Current children cumulated memory: 1300960 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.20 2.33 5/249 81729
/proc/meminfo: memFree=121962328/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1361836 memory=1333600 CPUtime=341.37 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 185179 0 0 0 34079 58 0 0 20 0 1 0 75271106 1394520064 333400 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 340459 333400 3680 2790 0 333884 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 1361836 KiB
Current children cumulated memory: 1333600 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.45 5/249 81731
/proc/meminfo: memFree=121894480/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1361836 memory=1340256 CPUtime=401.21 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 185611 0 0 0 40062 59 0 0 20 0 1 0 75271106 1394520064 335064 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 340459 335064 3680 2790 0 333884 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1361836 KiB
Current children cumulated memory: 1340256 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.52 2.55 5/250 81738
/proc/meminfo: memFree=121738556/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1455752 memory=1429856 CPUtime=461.05 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 207870 0 0 0 46041 64 0 0 20 0 1 0 75271106 1490690048 357464 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 363938 357464 3680 2790 0 357363 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 1727988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.25 4.15 5/250 81866
/proc/meminfo: memFree=118033228/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1749108 memory=1730164 CPUtime=2914.77 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 291870 0 0 0 291397 80 0 0 20 0 1 0 75271106 1791086592 432541 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 437277 432541 3808 2790 0 430702 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 1749108 KiB
Current children cumulated memory: 1730164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.25 4.16 5/251 81869
/proc/meminfo: memFree=118021100/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1758156 memory=1739124 CPUtime=2974.62 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 294086 0 0 0 297381 81 0 0 20 0 1 0 75271106 1800351744 434781 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 439539 434781 3808 2790 0 432964 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 1758156 KiB
Current children cumulated memory: 1739124 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.23 4.16 5/251 81871
/proc/meminfo: memFree=117958760/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1758156 memory=1739380 CPUtime=3034.47 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 294351 0 0 0 303366 81 0 0 20 0 1 0 75271106 1800351744 434845 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 439539 434845 3808 2790 0 432964 0
Current children cumulated CPU time: 3034.47 s
Current children cumulated vsize: 1758156 KiB
Current children cumulated memory: 1739380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.20 4.15 5/251 81873
/proc/meminfo: memFree=117942212/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1758156 memory=1739508 CPUtime=3094.31 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 294544 0 0 0 309350 81 0 0 20 0 1 0 75271106 1800351744 434877 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 439539 434877 3808 2790 0 432964 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 1758156 KiB
Current children cumulated memory: 1739508 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/250 81875
/proc/meminfo: memFree=117917564/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1758156 memory=1740020 CPUtime=3154.16 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 294666 0 0 0 315335 81 0 0 20 0 1 0 75271106 1800351744 435005 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 439539 435005 3808 2790 0 432964 0
Current children cumulated CPU time: 3154.16 s
Current children cumulated vsize: 1758156 KiB
Current children cumulated memory: 1740020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/251 81880
/proc/meminfo: memFree=117835152/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1764372 memory=1745012 CPUtime=3214 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 295897 0 0 0 321319 81 0 0 20 0 1 0 75271106 1806716928 436253 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 441093 436253 3808 2790 0 434518 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 1764372 KiB
Current children cumulated memory: 1745012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/251 81882
/proc/meminfo: memFree=117830864/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1764372 memory=1745012 CPUtime=3273.85 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 296219 0 0 0 327304 81 0 0 20 0 1 0 75271106 1806716928 436253 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 441093 436253 3808 2790 0 434518 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 1764372 KiB
Current children cumulated memory: 1745012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/251 81884
/proc/meminfo: memFree=117787984/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1771604 memory=1750132 CPUtime=3333.7 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 297519 0 0 0 333289 81 0 0 20 0 1 0 75271106 1814122496 437533 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 442901 437533 3808 2790 0 436326 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 1771604 KiB
Current children cumulated memory: 1750132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 81886
/proc/meminfo: memFree=117727708/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1772484 memory=1753204 CPUtime=3393.55 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 298301 0 0 0 339273 82 0 0 20 0 1 0 75271106 1815023616 438301 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 443121 438301 3808 2790 0 436546 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1753204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/251 81892
/proc/meminfo: memFree=117733032/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1772484 memory=1753204 CPUtime=3453.39 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 298301 0 0 0 345257 82 0 0 20 0 1 0 75271106 1815023616 438301 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 443121 438301 3808 2790 0 436546 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1753204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/251 81894
/proc/meminfo: memFree=117621428/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1778744 memory=1759092 CPUtime=3513.23 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 300098 0 0 0 351241 82 0 0 20 0 1 0 75271106 1821433856 439773 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 444686 439773 3808 2790 0 438111 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 1778744 KiB
Current children cumulated memory: 1759092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/250 81896
/proc/meminfo: memFree=117555152/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1778744 memory=1759092 CPUtime=3573.08 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 300101 0 0 0 357226 82 0 0 20 0 1 0 75271106 1821433856 439773 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 444686 439773 3808 2790 0 438111 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 1778744 KiB
Current children cumulated memory: 1759092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 81897
/proc/meminfo: memFree=117571724/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1778744 memory=1759092 CPUtime=3600.01 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 300101 0 0 0 359919 82 0 0 20 0 1 0 75271106 1821433856 439773 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 444686 439773 3808 2790 0 438111 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1778744 KiB
Current children cumulated memory: 1759092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.32 s]
# the end of solver process 81697 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.19 s, system=0.845553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 81897
/proc/meminfo: memFree=117571724/131382120 swapFree=33010416/33010684
[pid=81697] ppid=81692 vsize=1778744 memory=1759092 CPUtime=3600.01 cores=4,6
/proc/81697/stat : 81697 (ipbhs_scip) R 81692 81697 81645 0 -1 4194304 300101 0 0 0 359919 82 0 0 20 0 1 0 75271106 1821433856 439773 18446744073709551615 94562848698368 94562860124765 140736029070320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94562862260440 94562862305458 94562879627264 140736029075858 140736029075977 140736029075977 140736029081579 0
/proc/81697/statm: 444686 439773 3808 2790 0 438111 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1778744 KiB
Current children cumulated memory: 1759092 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.32
CPU time (s): 3600.04
CPU user time (s): 3599.19
CPU system time (s): 0.845553
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 1778744
Max. memory (cumulated for all children) (KiB): 1759092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.845553
maximum resident set size= 1759092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300101
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= 121
involuntary context switches= 1556
# summary of solver processes directly reported to runsolver:
# pid: 81697
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.19
# total CPU system time (s): 0.845553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2977 second user time and 34.7734 second system time
The end
Begin job on nodeC002 at 2025-07-04 04:25:22
IDJOB=4522122
IDBENCH=178608
IDSOLVER=3335
FILE ID=nodeC002/4522122-1751595922
RUNJOBID= nodeC002-1751595922-81656
SLURM_JOB_ID= 9598862
Free space on /tmp= 432684 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522122-1751595922/watcher-4522122-1751595922 -o /tmp/evaluation-result-4522122-1751595922/solver-4522122-1751595922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751595922-81656 --watchdog 3760 ./ipbhs_scip HOME/instance-4522122-1751595922.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3caef0af1778b7e481a62fab9deebc2
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 : 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.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: 339096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 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= 432344 MiB
End job on nodeC002 at 2025-07-04 05:25:33